Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Isomorphisms of Cayley graphs on nilpotent groups
Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. For the special case where the groups are abelian, these results were previously proved by A.A.Ryabchenko and C.Loeh, respectively.
Ramsey numbers of $4$-uniform loose cycles
Gyárfás, Sárközy and Szemerédi proved that the $2$-color Ramsey number $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$ of a $k$-uniform loose cycle $\mathcal{C}^k_n$ is asymptotically $\frac{1}{2}(2k-1)n,$ generating the same result for $k=3$ due to Haxell et al. Concerning their results, it is conjectured that for every $n\geq m\geq 3$ and $k\geq 3,$ $$R(\mathcal{C}^k_n,\mathcal{C}^k_m)=(k-1)n+\lfloor\frac{m-1}{2}\rfloor.$$ In $2014$, the case $k=3$ is proved by the authors. Recently, the authors showed that this conjecture is true for $n=m\geq 2$ and $k\geq 8$. In this paper, we show that the conjecture holds for $k=4$ when $n>m$ or $n=m$ is odd. When $n=m$ is even, we show that $R(\mathcal{C}^4_n,\mathcal{C}^4_n)$ is between two values with difference one.
Locally toroidal polytopes of rank 6 and sporadic groups
Published in Advances in Mathematics 312 (2017), 459--472
• View Publication
• BIB
We augment the list of finite universal locally toroidal regular polytopes of type {3,3,4,3,3} due to P.McMullen and E.Schulte, adding as well as removing entries. This disproves a related long-standing conjecture. Our new universal polytope is related to a well-known Y-shaped presentation for the sporadic simple group $Fi_{22}$, and admits $S_4\times O_8^+(2){:}S_3$ as the automorphism group. We also discuss further extensions of its quotients in the context of Y-shaped presentations. As well, we note that two known examples of finite universal polytopes of type {3,3,4,3,3} are related to Y-shaped presentations of orthogonal groups over GF(2). Mixing construction is used in a number of places to describe covers and 2-covers.
Freiman homomorphisms on sparse random sets
Published
• View Publication
• BIB
A result of Fiz Pontiveros shows that if $A$ is a random subset of $\mathbb{Z}_N$ where each element is chosen independently with probability $N^{-1/2+o(1)}$, then with high probability every Freiman homomorphism defined on $A$ can be extended to a Freiman homomorphism on the whole of $\mathbb{Z}_N$. In this paper we improve the bound to $CN^{-2/3}(\log N)^{1/3}$, which is best possible up to the constant factor.
Some Results on Superpatterns for Preferential Arrangements
Published
• View Publication
• BIB
A {\it superpattern} is a string of characters of length $n$ that contains as a subsequence, and in a sense that depends on the context, all the smaller strings of length $k$ in a certain class. We prove structural and probabilistic results on superpatterns for {\em preferential arrangements}, including (i) a theorem that demonstrates that a string is a superpattern for all preferential arrangements if and only if it is a superpattern for all permutations; and (ii) a result that is reminiscent of a still unresolved conjecture of Alon on the smallest permutation on $[n]$ that contains all $k$-permutations with high probability.
Cubic arc-transitive $k$-circulants
Published
• View Publication
• BIB
For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjecture when $k$ is squarefree and coprime to $6$.
Hamiltonian prisms on 5-chordal graphs
In this paper, we provide a method to find a Hamiltonian cycle in the prism of a 5-chordal graph, which is $(1+ε)$-tough, with some special conditions.
Reptilings and space-filling curves for acute triangles
Published
• View Publication
• BIB
An $r$-gentiling is a dissection of a shape into $r \geq 2$ parts which are all similar to the original shape. An $r$-reptiling is an $r$-gentiling of which all parts are mutually congruent. By applying gentilings recursively, together with a rule that defines an order on the parts, one may obtain an order in which to traverse all points within the original shape. We say such a traversal is a face-continuous space-filling curve if, at any level of recursion, the interior of the union of any set of consecutive parts is connected---that is, consecutive parts must always meet along an edge. Most famously, the isosceles right triangle admits a 2-reptiling, which forms the basis of the face-continuous Sierpinski space-filling curve; many other right triangles admit reptilings and gentilings that yield face-continuous space-filling curves as well. In this study we investigate what acute triangles admit non-trivial reptilings and gentilings, and whether these can form the basis for face-continuous space-filling curves. We derive several properties of reptilings and gentilings of acute (sometimes also obtuse) triangles, leading to the following conclusion: no face-continuous space-filling curve can be constructed on the basis of reptilings of acute triangles.
Pluriassociative algebras II: The polydendriform operad and related operads
Published in Advances in Applied Mathematics, 77, 43--85, 2016
• View Publication
• BIB
Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter $γ$ of dendriform algebras, called $γ$-polydendriform algebras, so that $1$-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the $γ$-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, $γ$-polydendriform algebras seem adapted structures to split associative operations into $2γ$ operation so that some partial sums of these operations are associative. We provide a complete study of the $γ$-polydendriform operads, the underlying operads of the category of $γ$-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.
Short note on the number of 1-ascents in dispersed dyck paths
Published
• View Publication
• BIB
A dispersed Dyck path (DDP) of length n is a lattice path on $N\times N$ from (0,0) to (n,0) in which the following steps are allowed: "up" (x, y) $\to$ (x+1, y+1); "down" (x, y) $\to$ (x+1, y-1); and "right" (x,0) $\to$ (x+1,0). An ascent in a DDP is an inclusion-wise maximal sequence of consecutive up steps. A 1-ascent is an ascent consisting of exactly 1 up step. We give a closed formula for the total number of 1-ascents in all dispersed Dyck paths of length n, A191386 in Sloane's OEIS. Previously, only implicit generating function relations and asymptotics were known.
Cubic graphs and related triangulations on orientable surfaces
Published
• View Publication
• BIB
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}γ^{2n}(2n)!$, where $γ$ is an algebraic constant and $c_g$ is a constant depending only on the genus $g$. We also derive an analogous result for simple cubic graphs and weighted cubic multigraphs. Additionally we prove that a typical cubic multigraph embeddable on $\mathbb{S}_g$, $g\ge 1$, has exactly one non-planar component.
Terraces for Small Groups
We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups $A_6$, $S_6$, $PSL(2,q_1)$ and $PGL(2, q_2)$ where $q_1$ and $q_2$ are prime powers with $3 \leq q_1 \leq 11$ and $3 \leq q_2 \leq 8$. A sequencing for a group of a given order implies the existence of a complete latin square at that order. We show that there is a sequenceable group for each odd order up to 555 at which there is a non-abelian group. This gives 31 new orders at which complete latin squares are now known to exist, the smallest of which is 63. In addition, we consider terraces with some special properties, including constructing a directed $T_2$-terrace for the non-abelian group of order 21 and hence a Roman-2 square of order 21 (the first known such square of odd order). Finally we report the total number terraces and directed terraces for groups of order at most 15.
Arborified multiple zeta values
Published in Proceedings "Periods in Quantum Field Theory and Arithmetic", 2020
• View Publication
• BIB
We describe some particular finite sums of multiple zeta values which arise from J. Ecalle's "arborification", a process which can be described as a surjective Hopf algebra morphism from the Hopf algebra of decorated rooted forests onto a Hopf algebra of shuffles or quasi-shuffles. This formalism holds for both the iterated sum picture and the iterated integral picture. It involves a decoration of the forests by the positive integers in the first case, by only two colours in the second case.
Web matrices: structural properties and generating combinatorial identities
Published in Electron. J. Combin. 23 (2016), no. 1, #P1.45
• View Publication
• BIB
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the first web diagram that will produce the second diagram.
We introduce the black diamond product on power series and show how it determines the web-colouring matrix of disjoint web worlds. Furthermore, we show that combining known physical results with the black diamond product gives a new technique for generating combinatorial identities. Due to the complicated action of the product on power series, the resulting identities appear highly non-trivial.
We present two results to explain repeated entries that appear in the web matrices. The first of these shows how diagonal web matrix entries will be the same if the comparability graphs of their associated decomposition posets are the same. The second result concerns general repeated entries in conjunction with a flipping operation on web diagrams.
We present a combinatorial proof of idempotency of the web-mixing matrices, previously established using physical arguments only. We also show how the entries of the square of the web-colouring matrix can be achieved by a linear transformation that maps the standard basis for formal power series in one variable to a sequence of polynomials. We look at one parameterized web world that is related to indecomposable permutations and show how determining the web-colouring matrix entries in this case is equivalent to a combinatorics on words problem.
Dichotomic random number generators
We introduce several classes of pseudorandom sequences which represent a natural extension of classical methods in random number generation. The sequences are obtained from constructions on labeled binary trees, generalizing the well-known Stern-Brocot tree.
A size-sensitive inequality for cross-intersecting families
Published
• View Publication
• BIB
Two families $\mathcal A$ and $\mathcal B$ of $k$-subsets of an $n$-set are called cross-intersecting if $A\cap B\ne\emptyset$ for all $A\in \mathcal A, B\in \mathcal B $. Strengthening the classical Erd\H os-Ko-Rado theorem, Pyber proved that $|\mathcal A||\mathcal B|\le {n-1\choose k-1}^2$ holds for $n\ge 2k$. In the present paper we sharpen this inequality. We prove that assuming $|\mathcal B|\ge {n-1\choose k-1}+{n-i\choose k-i+1}$ for some $3\le i\le k+1$ the stronger inequality $$|\mathcal A||\mathcal B|\le \Bigl({n-1\choose k-1}+{n-i\choose k-i+1}\Bigr)\Bigl({n-1\choose k-1}-{n-i\choose k-1}\Bigr)$$ holds. These inequalities are best possible.
Intersection theorems for $\{0,\pm 1\}$-vectors and $s$-cross-intersecting families
In this paper we study two directions of extending the classical Erd\H os-Ko-Rado theorem which states that any family of $k$-element subsets of the set $[n] = \{1,\ldots,n\}$ in which any two sets intersect, has cardinality at most ${n-1\choose k-1}$.
In the first part of the paper we study the families of $\{0,\pm 1\}$-vectors. Denote by $\mathcal L_k$ the family of all vectors $\mathbf v$ from $\{0,\pm 1\}^n$ such that $\langle\mathbf v,\mathbf v\rangle = k$. For any $k$, most $l$ and sufficiently large $n$ we determine the maximal size of the family $\mathcal V\subset \mathcal L_k$ such that for any $\mathbf v,\mathbf w\in \mathcal V$ we have $\langle \mathbf v,\mathbf w\rangle\ge l$. We find some exact values of this function for all $n$ for small values of $k$.
In the second part of the paper we study cross-intersecting pairs of families. We say that two families are $\mathcal A, \mathcal B$ are \textit{$s$-cross-intersecting}, if for any $A\in\mathcal A,B\in \mathcal B$ we have $|A\cap B|\ge s$. We also say that a set family $\mathcal A$ is {\it $t$-intersecting}, if for any $A_1,A_2\in \mathcal A$ we have $|A_1\cap A_2|\ge t$. For a pair of nonempty $s$-cross-intersecting $t$-intersecting families $\mathcal A,\mathcal B$ of $k$-sets, we determine the maximal value of $|\mathcal A|+|\mathcal B|$ for $n$ sufficiently large.
Nonlinear functions and difference sets on group actions
Published
• View Publication
• BIB
Let $G$, $H$ be finite groups and let $X$ be a finite $G$-set. $G$-perfect nonlinear functions from $X$ to $H$ have been studied in several papers. They have more interesting properties than perfect nonlinear functions from $G$ itself to $H$. By introducing the concept of a $(G, H)$-related difference family of $X$, we obtain a characterization of $G$-perfect nonlinear functions on $X$. When $G$ is abelian, we characterize a $G$-difference set of $X$ by the Fourier transform on a normalized $G$-dual set $\widehat X$. We will also investigate the existence and constructions of $G$-perfect nonlinear functions and $G$-bent functions. Several known results in [2,6,10,17] are direct consequences of our results.
Fractional Clique Decompositions of Dense Partite Graphs
Published
• View Publication
• BIB
We give a minimum degree condition sufficent to ensure the existence of a fractional $K_r$-decomposition in a balanced $r$-partite graph (subject to some further simple necessary conditions). This generalises the non-partite problem studied recently by Barber, Lo, Kühn, Osthus and the author, and the $3$-partite fractional $K_3$-decomposition problem studied recently by Dukes. Combining our result with recent work by Barber, Kühn, Lo, Osthus and Taylor, this gives a minimum degree condition sufficient to ensure the existence of a (non-fractional) $K_r$-decomposition in a balanced $r$-partite graph (subject to the same simple necessary conditions).
Pluriassociative algebras I: The pluriassociative operad
Published in Advances in Applied Mathematics, 77, 1--42, 2016
• View Publication
• BIB
Diassociative algebras form a categoy of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter $γ$ of diassociative algebras, called $γ$-pluriassociative algebras, so that $1$-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with $2γ$ associative binary operations satisfying some relations. We provide a complete study of the $γ$-pluriassociative operads, the underlying operads of the category of $γ$-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in $γ$-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.