Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the order of vertex-stabilisers in vertex-transitive graphs with local group $C_p\times C_p$ or $C_p \wr C_2$
Let $p$ be a prime and let $L$ be either the intransitive permutation group $C_p\times C_p$ of degree $2p$ or the transitive permutation group $C_p \wr C_2$ of degree $2p$. Let $Γ$ be a connected $G$-vertex-transitive and $G$-edge-transitive graph and let $v$ be a vertex of $Γ$. We show that if the permutation group induced by the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is isomorphic to $L$ then either $|V(Γ)|\geq p|G_v|\log_p\left(|G_v|/2\right)$, or $|V(Γ)|$ is bounded by a constant depending only on $p$, or $Γ$ is a very-well understood graph. This generalises a few recent results.
Geometry of the inversion in a finite field and partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves
Published
• View Publication
• BIB
Let $L=\mathbb F_{q^n}$ be a finite field and let $F=\mathbb F_q$ be a subfield of $L$.
Consider $L$ as a vector space over $F$ and the associated projective space that is isomorphic to ${\mathrm{PG}}(n-1,q)$.
The properties of the projective mapping induced by $x\mapsto x^{-1}$ have been studied in \cite{Cs13,Fa02,Ha83,He85,Bu95}, where it is proved that the image of any line is a normal rational curve in some subspace.
In this note a more detailed geometric description is achieved.
Consequences are found related to mixed partitions of the projective spaces; in particular, it is proved that for any positive integer $k$, if $q\ge2^k-1$, then there are partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves of degree $2^k-1$.
For smaller $q$ the same construction gives partitions in $(q+1)$-tuples of independent points.
Notions of Anonymity, Fairness and Symmetry for Finite Strategic-Form Games
In this paper we survey various notions of anonymity and symmetry for finite strategic-form games present in relevant literature, and discuss notions of fairness; show that game bijections and game isomorphisms form groupoids; introduce matchings as a convenient characterisation of strategy triviality; and outline how to construct and partially order parameterised (symmetric) games with examples that range all combinations of surveyed symmetry notions, which when combined with other results in this paper gives the precise relationship between the various symmetry notions.
Asymptotics of crank generating functions and Ramanujan congruences
Published
• View Publication
• BIB
In this paper we obtain asymptotic formulas for the Fourier coefficients of an infinite family of crank generating functions. Moreover we use this result to show that the crank obeys certain inequalities. This implies that the crank can not explain any partition congruences in the usual way beside the three deduced by Ramanujan.
The Potts model and chromatic functions of graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014), 47-60
• View Publication
• BIB
The $U$-polynomial of Noble and Welsh is known to have intimate connections with the Potts model as well as with several important graph polynomials. For each graph $G$, $U(G)$ is equivalent to Stanley's symmetric bad colouring polynomial $XB(G)$. Moreover Sarmiento established the equivalence between $U$ and the polychromate of Brylawski. Loebl defined the $q$-dichromate $B_q(G,x,y)$ as a function of a graph $G$ and three independent variables $q,x,y$, proved that it is equal to the partition function of the Potts model with variable number of states and with a certain external field contribution, and conjectured that the $q$-dichromate is equivalent to the $U$-polynomial. He also proposed a stronger conjecture on integer partitions. The aim of this paper is two-fold. We present a construction disproving Loebl's integer partitions conjecture, and we introduce a new function $B_{r,q}(G;x,k)$ which is also equal to the partition function of the Potts model with variable number of states and with a (different) external field contribution, and we show that $B_{r,q}(G;x,k)$ is equivalent to the $U$-polynomial and to Stanley's symmetric bad colouring polynomial.
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.