Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Chiral covers of hypermaps
Published
• View Publication
• BIB
Generalising a conjecture of Singerman, it is shown that there exist orientably regular chiral hypermaps of every non-spherical type. The proof uses the representation theory of automorphism groups acting on homology and on various spaces of differentials. Some examples are given.
Distinguishing graphs with infinite motion and nonlinear growth
Published in Ars Mathematica Contemporanea, Vol 7, No 1 (2014)
• View Publication
• BIB
The distinguishing number $\operatorname D(G)$ of a graph $G$ is the least cardinal $d$ such that $G$ has a labeling with $d$ labels which is only preserved by the trivial automorphism. We show that the distinguishing number of infinite, locally finite, connected graphs $G$ with infinite motion and growth $o \left(\frac{n^2}{\log_2 n} \right)$ is either $1$ or $2$, which proves the Infinite Motion Conjecture of Tom Tucker for this type of graphs. The same holds true for graphs with countably many ends that do not grow too fast. We also show that graphs $G$ of arbitrary cardinality are $2$-distinguishable if every nontrivial automorphism moves at least uncountably many vertices $m(G)$, where $m(G) \geq \left\vert\operatorname{Aut}(G)\right\vert$. This extends a result of Imrich et al. to graphs with automorphism groups of arbitrary cardinality.
Two bijections on Tamari intervals
Published in DMTCS Proceedings, 0(01):241-252 (FPSAC 2014)
• View Publication
• BIB
We use a recently introduced combinatorial object, the interval-poset, to describe two bijections on intervals of the Tamari lattice. Both bijections give a combinatorial proof of some previously known results. The first one is an inner bijection between Tamari intervals that exchanges the initial rise and lower contacts statistics. Those were introduced by Bousquet-Mélou, Fusy, and Préville-Ratelle who proved they were symmetrically distributed but had no combinatorial explanation. The second bijection sends a Tamari interval to a closed flow of an ordered forest. These combinatorial objects were studied by Chapoton in the context of the Pre-Lie operad and the connection with the Tamari order was still unclear.
Counting results for thin Butson matrices
Published in Electron. J. Combin. 21 (2014), 1-14
• View Publication
• BIB
A partial Butson matrix is a matrix $H\in M_{M\times N}(\mathbb Z_q)$ having its rows pairwise orthogonal, where $\mathbb Z_q\subset\mathbb C^\times$ is the group of $q$-th roots of unity. We investigate here the counting problem for these matrices in the "thin" regime, where $M=2,3,\ldots$ is small, and where $N\to\infty$ (subject to the condition $N\in p\mathbb N$ when $q=p^k>2$). The proofs are inspired from the de Launey-Levin and Richmond-Shallit counting results.
Critical properties on Roman domination graphs
A Roman domination function on a graph G is a function $r:V(G)\to \{0,1,2\}$ satisfying the condition that every vertex $u$ for which $r(u)=0$ is adjacent to at least one vertex $v$ for which $r(v)=2$. The weight of a Roman function is the value $r(V(G))=\sum_{u\in V(G)}r(u)$. The Roman domination number $γ_R(G)$ of $G$ is the minimum weight of a Roman domination function on $G$. "Roman Criticality" has been defined in general as the study of graphs where the Roman domination number decreases when removing an edge or a vertex of the graph. In this paper we give further results in this topic as well as the complete characterization of critical graphs that have Toman Domination number $γ_R(G)=4$.
Zeilberger's KOH theorem and the strict unimodality of q-binomial coefficients
Published in Proc. Amer. Math. Soc. 143 (2015), no. 7, 2795--2799
• View Publication
• BIB
A recent nice result due to I. Pak and G. Panova is the strict unimodality of the $q$-binomial coefficients $\binom{a+b}{b}_q$ (see \cite{PP} and also \cite{PP2} for a slightly revised version of their theorem). Since their proof used representation theory and Kronecker coefficients, the authors also asked for an argument that would employ Zeilberger's KOH theorem. In this note, we give such a proof. Then, as a further application of our method, we also provide a short proof of their conjecture that the difference between consecutive coefficients of $\binom{a+b}{b}_q$ can get arbitrarily large, when we assume that $b$ is fixed and $a$ is large enough.
Multiplicate inverse forms of terminating hypergeometric series
Published
• View Publication
• BIB
The multiplicate form of Gould--Hsu's inverse series relations enables to investigate the dual relations of the Chu-Vandermonde-Gauß's, the Pfaff-Saalschütz's summation theorems and the binomial convolution formula due to Hagen and Rothe. Several identitity and reciprocal relations are thus established for terminating hypergeometric series. By virtue of the duplicate inversions, we establish several dual formulae of Chu-Vandermonde-Gauß's and Pfaff-Saalschütz's summation theorems in Section (3)\cite{ChuVanGauss} and (4)\cite{PfaffSaalsch}, respectively. Finally, the last section is devoted to deriving several identities and reciprocal relations for terminating balanced hypergeometric series from Hagen-Rothe's convolution identity in accordance with the duplicate, triplicate and multiplicate inversions.
Generalised Knight's Tours
Published in The Electronic Journal of Combinatorics 21.1 (2014): p. 1-31
• Search Publication
The problem of existence of closed knight's tours in $[n]^d$, where $[n]=\{0, 1, \dots, n-1\}$, was recently solved by Erde, Golénia, and Golénia. They raised the same question for a generalised, $(a, b)$ knight, which is allowed to move along any two axes of $[n]^d$ by $a$ and $b$ unit lengths respectively. Given an even number $a$, we show that the $[n]^d$ grid admits an $(a, 1)$ knight's tour for sufficiently large even side length $n$.
Maximizing the number of independent sets of a fixed size
Published in Combinator. Probab. Comp. 24 (2015) 521-527
• View Publication
• BIB
Let $i_t(G)$ be the number of independent sets of size $t$ in a graph $G$. Engbers and Galvin asked how large $i_t(G)$ could be in graphs with minimum degree at least $δ$. They further conjectured that when $n\geq 2δ$ and $t\geq 3$, $i_t(G)$ is maximized by the complete bipartite graph $K_{δ, n-δ}$. This conjecture has drawn the attention of many researchers recently. In this short note, we prove this conjecture.
Polynomial-time Solvable #CSP Problems via Algebraic Models and Pfaffian Circuits
Published
• View Publication
• BIB
A Pfaffian circuit is a tensor contraction network where the edges are labeled with changes of bases in such a way that a very specific set of combinatorial properties are satisfied. By modeling the permissible changes of bases as systems of polynomial equations, and then solving via computation, we are able to identify classes of 0/1 planar #CSP problems solvable in polynomial-time via the Pfaffian circuit evaluation theorem (a variant of L. Valiant's Holant Theorem). We present two different models of 0/1 variables, one that is possible under a homogeneous change of basis, and one that is possible under a heterogeneous change of basis only. We enumerate a series of 1,2,3, and 4-arity gates/cogates that represent constraints, and define a class of constraints that is possible under the assumption of a ``bridge" between two particular changes of bases. We discuss the issue of planarity of Pfaffian circuits, and demonstrate possible directions in algebraic computation for designing a Pfaffian tensor contraction network fragment that can simulate a swap gate/cogate. We conclude by developing the notion of a decomposable gate/cogate, and discuss the computational benefits of this definition.
Distance two labeling of direct product of paths and cycles
Suppose that $[n]=\left\{0,1,2,...,n\right\}$ is a set of non-negative integers and $h,k \in [n]$. The $L(h,k)$-labeling of graph $G$ is the function $l:V(G)\rightarrow[n]$ such that $\left|l(u)-l(v)\right|\geq h$ if the distance $d(u,v)$ between $u$ and $v$ is one and $\left|l(u)-l(v)\right| \geq k$ if the distance $d(u,v)$ is two. Let $L(V(G))=\left\{l(v): v \in V(G)\right\}$ and let $p$ be the maximum value of $L(V(G)).$ Then $p$ is called $λ_h^k-$number of $G$ if $p$ is the least possible member of $[n]$ such that $G$ maintains an $L(h,k)-$labeling. In this paper, we establish $λ_1^1-$ numbers of $P _m \times C_n$ graphs for all $m \geq 2$ and $n\geq 3$.
Combinatorial Applications of the Subspace Theorem
Published
• View Publication
• BIB
The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and the construction of transcendental numbers. But its usefulness extends beyond the realms of number theory. Other applications of the Subspace Theorem include linear recurrence sequences and finite automata. In fact, these structures are closely related to each other and the construction of transcendental numbers.
The Subspace Theorem also has a number of remarkable combinatorial applications. The purpose of this paper is to give a survey of some of these applications including sum-product estimates and bounds on unit distances. The presentation will be from the point of view of a discrete mathematician. We will state a number of variants of the Subspace Theorem below but we will not prove any of them as the proofs are beyond the scope of this work. However we will give a proof of a simplified special case of the Subspace Theorem which is still very useful for many problems in discrete mathematics.
The Las Vergnas Polynomial for embedded graphs
Published
• View Publication
• BIB
The Las Vergnas polynomial is an extension of the Tutte polynomial to cellularly embedded graphs. It was introduced by Michel Las Vergnas in 1978 as special case of his Tutte polynomial of a morphism of matroids. While the general Tutte polynomial of a morphism of matroids has a complete set of deletion-contraction relations, its specialisation to cellularly embedded graphs does not. Here we extend the Las Vergnas polynomial to graphs in pseudo-surfaces. We show that in this setting we can define deletion and contraction for embedded graphs consistently with the deletion and contraction of the underlying matroid perspective, thus yielding a version of the Las Vergnas polynomial with complete recursive definition. This also enables us to obtain a deeper understanding of the relationships among the Las Vergnas polynomial, the Bollobas-Riordan polynomial, and the Krushkal polynomial. We also take this opportunity to extend some of Las Vergnas' results on Eulerian circuits from graphs in surfaces of low genus to surfaces of arbitrary genus.
On the boundary as an $x$-geodominating set in graphs
Given a graph $G$ and a vertex $x\in V(G)$, a vertex set $S \subseteq V(G)$ is an $x$-geodominating set of $G$ if each vertex $v\in V(G)$ lies on an $x-y$ geodesic for some element $y\in S$. The minimum cardinality of an $x$-geodominating set of $G$ is defined as the $x$-geodomination number of $G$, $g_x(G)$, and an $x$-geodominating set of cardinality $g_x(G)$ is called a $g_x$-set and it is known that it is unique for each vertex $x$. We prove that, in any graph $G$, the $g_x$-set associated to a vertex $x$ is the set of boundary vertices of $x$, that is $\partial(x)= \{v \in V(G) : \forall w \in N(v): d(x,w) \leq d(u, v)\}$. This characterization of $g_x$-sets allows to deduce, on a easy way, different properties of these sets and also to compute both $g_x$-sets and $x$-geodomination number $g_x(G)$, in graphs obtained using different graphs products: cartesian, strong and lexicographic.
On Generating Permutations Under User-Defined Constraints
In this paper, a method to generate permutations of a string under a set of constraints decided by the user is presented. The required permutations are generated without generating all the permutations.
Lower bounds on the Graver complexity of $M$-fold matrices
Published
• View Publication
• BIB
In this paper, we present a construction that turns certain relations on Graver basis elements of an $M$-fold matrix $A^{(M)}$ into relations on Graver basis elements of an $(M+1)$-fold matrix $A^{(M+1)}$. In doing so, we strengthen the bound on the Graver complexity of the $M$-fold matrix $A_{3\times M}$ from $g(A_{3\times M})\geq 17\cdot 2^{M-3}-7$ (Berstein and Onn) to $g(A_{3\times M})\geq 24\cdot 2^{M-3}-21$, for $M\geq 4$. Moreover, we give a lower bound on the Graver complexity $g(A^{(M)})$ of general $M$-fold matrices $A^{(M)}$ and we prove that the bound for $g(A_{3\times M})$ is not tight.
The Robber Locating game
Published in Discrete Mathematics 339 no. 1 (2016)
• View Publication
• BIB
We consider a game in which a cop searches for a moving robber on a graph using distance probes, studied by Carragher, Choi, Delcourt, Erickson and West, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West show that for any fixed graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$, obtained by replacing each edge of $G$ by a path of length $m$, if $m$ is sufficiently large. They conjecture that the cop does not have a winning strategy on $K_n^{1/m}$ if $m<n$; we show that in fact the cop wins if and only if $m\geqslant n/2$, for all but a few small values of $n$. They also show that the robber can avoid capture on any graph of girth 3, 4 or 5, and ask whether there is any graph of girth 6 on which the cop wins. We show that there is, but that no such graph can be bipartite; in the process we give a counterexample for their conjecture that the set of graphs on which the cop wins is closed under the operation of subdividing edges. We also give a complete answer to the question of when the cop has a winning strategy on $K_{a,b}^{1/m}$.
On the automorphism groups of binary linear codes
Published
• View Publication
• BIB
Let C be a binary linear code and suppose that its automorphism group contains a non trivial subgroup G. What can we say about C knowing G? In this paper we collect some answers to this question in the cases G=C_p, G=C_2p and G=D_2p (p an odd prime), with a particular regard to the case in which C is self-dual. Furthermore we generalize some methods used in other papers on this subject. Finally we give a short survey on the problem of determining the automorphism group of a putative self-dual [72,36,16] code, in order to show where these methods can be applied.
An Algorithm to Solve the Equal-Sum-Product Problem
A recursive algorithm is constructed which finds all solutions to a class of Diophantine equations connected to the problem of determining ordered n-tuples of positive integers satisfying the property that their sum is equal to their product. An examination of the use of Binary Search Trees in implementing the algorithm into a working program is given. In addition an application of the algorithm for searching possible extra exceptional values of the equal-sum-product problem is explored after demonstrating a link between these numbers and the Sophie Germain primes.
Deciding first-order properties of nowhere dense graphs
Published
• View Publication
• BIB
Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion.
We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-order properties of graphs in C is fixed-parameter tractable, then C must be nowhere dense (under a reasonable complexity theoretic assumption).
As a by-product, we give an algorithmic construction of sparse neighbourhood covers for nowhere dense graphs. This extends and improves previous constructions of neighbourhood covers for graph classes with excluded minors. At the same time, our construction is considerably simpler than those. Our proofs are based on a new game-theoretic characterisation of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes. On the logical side, we prove a "rank-preserving" version of Gaifman's locality theorem.