Showing 20 papers (Total: 82901 papers, 47900 authors in database)
A Hales--Jewett type property of finite solvable groups
A conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if" direction of their conjecture follows if all finite groups have a Hales--Jewett type property. In this paper, we show that this property is satisfied in the case of finite solvable groups. Our result can be used to recover the work of Kříž in Euclidean Ramsey theory.
Group distance magic Cartesian product of two cycles
Published in Discrete Mathematics 343 (2020)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $Γ$ an Abelian group both of order $n$. A $Γ$-distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow Γ$ for which there exists $μ\in Γ$ such that $% \sum_{x\in N(v)}\ell (x)=μ$ for all $v\in V$, where $N(v)$ is the neighborhood of $v$. Froncek %(\cite{ref_CicAus}) showed that the Cartesian product $C_m \square C_n$, $m, n\geq3$ is a $\mathbb{Z}_{mn}$-distance magic graph if and only if $mn$ is even. It is also known that if $mn$ is even then $C_m \square C_n$ has $\mathbb{Z}_α\times \mathcal{A}$-magic labeling for any $α\equiv 0 \pmod {{\rm lcm}(m,n)}$ and any Abelian group $\mathcal{A}$ of order $mn/α$. %\cite{ref_CicAus} However, the full characterization of group distance magic Cartesian product of two cycles is still unknown.
In the paper we make progress towards the complete solution this problem by proving some necessary conditions. We further prove that for $n$ even the graph $C_{n}\square C_{n}$ has a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $n^{2}$. Moreover we show that if $m\neq n$, then there does not exist a $(\mathbb{Z}_2)^{m+n}$-distance magic labeling of the Cartesian product $C_{2^m} \square C_{2^{n}}$. We also give necessary and sufficient condition for $C_{m} \square C_{n}$ with $\gcd(m,n)=1$ to be $Γ$-distance magic.
Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.
Small weight code words arising from the incidence of points and hyperplanes in PG($\boldsymbol{n,q}$)
Published in Des. Codes Cryptogr. 88 (4), 771-788 (2020)
• View Publication
• BIB
Let $C_{n-1}(n,q)$ be the code arising from the incidence of points and hyperplanes in the Desarguesian projective space PG($n,q$). Recently, Polverino and Zullo proved that within this code, all non-zero code words of weight at most $2q^{n-1}$ are scalar multiples of either the incidence vector of one hyperplane, or the difference of the incidence vectors of two distinct hyperplanes. We improve this result, proving that when $q>17$ and $q\notin\{25,27,29,31,32,49,121\}$, all code words of weight at most $(4q-\sqrt{8q}-\frac{33}{2})q^{n-2}$ are linear combinations of incidence vectors of hyperplanes through a fixed $(n-3)$-space. Depending on the omitted value for $q$, we can lower the bound on the weight of $c$ to obtain the same results.
Mixing time of PageRank surfers on sparse random digraphs
We consider the generalised PageRank walk on a digraph $G$, with refresh probability $α$ and resampling distribution $λ$. We analyse convergence to stationarity when $G$ is a large sparse random digraph with given degree sequences, in the limit of vanishing $α$. We identify three scenarios: when $α$ is much smaller than the inverse of the mixing time of $G$ the relaxation to equilibrium is dominated by the simple random walk and displays a cutoff behaviour; when $α$ is much larger than the inverse of the mixing time of $G$ on the contrary one has pure exponential decay with rate $α$; when $α$ is comparable to the inverse of the mixing time of $G$ there is a mixed behaviour interpolating between cutoff and exponential decay. This trichotomy is shown to hold uniformly in the starting point and uniformly in the resampling distribution $λ$.
Metric dimension of combinatorial game graphs
The study of combinatorial games is intimately tied to the study of graphs, as any game can be realized as a directed graph in which players take turns traversing the edges until reaching a sink. However, there have heretofore been few efforts towards analyzing game graphs using graph theoretic metrics and techniques. A set $S$ of vertices in a graph $G$ resolves $G$ if every vertex in $G$ is uniquely determined by the vector of its distances from the vertices in $S$. A metric basis of $G$ is a smallest resolving set and the metric dimension is the cardinality of a metric basis. In this article we examine the metric dimension of the graphs resulting from some rulesets, including both short games (those which are sure to end after finitely many turns) and loopy games (those games for which the associated graph contains cycles).
Approximate arithmetic structure in large sets of integers
We prove that if a set is `large' in the sense of Erdős, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap length $Δ$ of the progression, we improve a previous result of $o(Δ)$ to $O(Δ^α)$ for any $α\in (0,1)$.
Minimal Cohen-Macaulay Simplicial Complexes
We define and study the notion of a minimal Cohen-Macaulay simplicial complex. We prove that any Cohen-Macaulay complex is shelled over a minimal one in our sense, and we give sufficient conditions for a complex to be minimal Cohen-Macaulay. We show that many interesting examples of Cohen-Macaulay complexes in combinatorics are minimal, including Rudin's ball, Ziegler's ball, the dunce hat, and recently discovered non-partitionable Cohen-Macaulay complexes. We further provide various ways to construct such complexes.
On Szemerédi's theorem with differences from a random set
We consider, over both the integers and finite fields, Szemerédi's theorem on $k$-term arithmetic progressions where the set $S$ of allowed common differences in those progressions is restricted and random. Fleshing out a line of enquiry suggested by Frantzikinakis et al, we show that over the integers, the conjectured threshold for $\mathbb{P}(d \in S)$ for Szemerédi's theorem to hold a.a.s follows from a conjecture about how so-called dual functions are approximated by nilsequences. We also show that the threshold over finite fields is different to this threshold over the integers.
Identifying codes in line digraphs
Given an integer $\ell\ge 1$, a $(1,\le \ell)$-identifying code in a digraph is a dominating subset $C$ of vertices such that all distinct subsets of vertices of cardinality at most $\ell$ have distinct closed in-neighbourhood within $C$. In this paper, we prove that every $k$-iterated line digraph of minimum in-degree at least 2 and $k\geq2$, or minimum in-degree at least 3 and $k\geq1$, admits a $(1,\le \ell)$-identifying code with $\ell\leq2$, and in any case it does not admit a $(1,\le \ell)$-identifying code for $\ell\geq3$. Moreover, we find that the identifying number of a line digraph is lower bounded by the size of the original digraph minus its order. Furthermore, this lower bound is attained for oriented graphs of minimum in-degree at least 2.
Partitioning infinite hypergraphs into few monochromatic Berge-paths
Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in \mathbb{N}$ with $k \geq t \geq 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete $k$-graph can be partitioned into the cores of at most $s$ monochromatic $t$-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.
An example related to the Erdos-Falconer question over arbitrary finite fields
Published in Bull. Hellenic Math. Soc. 63, pp. 38-39, 2019
• Search Publication
There exists an infinite family of examples of subsets of $\mathbb{F}_q^2$ with $q^{4/3}$ elements whose distance sets are not the whole of $\mathbb{F}_q$.
Bijective proofs of skew Schur polynomial factorizations
Published in Journal of Combinatorial Theory, Series A Volume 174, August 2020, 105241, 40pp
• View Publication
• BIB
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.
Stationary points at infinity for analytic combinatorics
On complex algebraic varieties, height functions arising in combinatorial applications fail to be proper. This complicates the description and computation via Morse theory of key topological invariants. Here we establish checkable conditions under which the behavior at infinity may be ignored, and the usual theorems of classical and stratified Morse theory may be applied. This allows for simplified arguments in the field of analytic combinatorics in several variables, and forms the basis for new methods applying to problems beyond the reach of previous techniques.
Books versus triangles at the extremal density
A celebrated result of Mantel shows that every graph on $n$ vertices with $\lfloor n^2/4 \rfloor + 1$ edges must contain a triangle. A robust version of this result, due to Rademacher, says that there must in fact be at least $\lfloor n/2 \rfloor$ triangles in any such graph. Another strengthening, due to the combined efforts of many authors starting with Erdős, says that any such graph must have an edge which is contained in at least $n/6$ triangles. Following Mubayi, we study the interplay between these two results, that is, between the number of triangles in such graphs and their book number, the largest number of triangles sharing an edge. Among other results, Mubayi showed that for any $1/6 \leq β< 1/4$ there is $γ> 0$ such that any graph on $n$ vertices with at least $\lfloor n^2/4\rfloor + 1$ edges and book number at most $βn$ contains at least $(γ-o(1))n^3$ triangles. He also asked for a more precise estimate for $γ$ in terms of $β$. We make a conjecture about this dependency and prove this conjecture for $β= 1/6$ and for $0.2495 \leq β< 1/4$, thereby answering Mubayi's question in these ranges.
Fractional matching preclusion for restricted hypercube-like graphs
Published
• View Publication
• BIB
The restricted hypercube-like graphs, variants of the hypercube, were proposed as desired interconnection networks of parallel systems. The matching preclusion number of a graph is the minimum number of edges whose deletion results in the graph with neither perfect matchings nor almost perfect matchings. The fractional perfect matching preclusion and fractional strong perfect matching preclusion are generalizations of the concept matching preclusion. In this paper, we obtain fractional matching preclusion number and fractional strong matching preclusion numbers of restricted hypercube-like graphs, which extend some known results.
Monochromatic connected matchings in 2-edge-colored multipartite graphs
A matching $M$ in a graph $G$ is connected if all the edges of $M$ are in the same component of $G$. Following Łuczak,there have been many results using the existence of large connected matchings in cluster graphs with respect to regular partitions of large graphs to show the existence of long paths and other structures in these graphs. We prove exact
Ramsey-type bounds on the sizes of monochromatic connected matchings in $2$-edge-colored multipartite graphs. In addition, we prove a stability theorem for such matchings.
Long monochromatic paths and cycles in 2-edge-colored multipartite graphs
We solve four similar problems: For every fixed $s$ and large $n$, we describe all values of $n_1,\ldots,n_s$ such that for every $2$-edge-coloring of the complete $s$-partite graph $K_{n_1,\ldots,n_s}$ there exists a monochromatic (i) cycle $C_{2n}$ with $2n$ vertices, (ii) cycle $C_{\geq 2n}$ with at least $2n$ vertices, (iii) path $P_{2n}$ with $2n$ vertices, and (iv) path $P_{2n+1}$ with $2n+1$ vertices.
This implies a generalization for large $n$ of the conjecture by Gyárfás, Ruszinkó, Sárkőzy and Szemerédi that for every $2$-edge-coloring of the complete $3$-partite graph $K_{n,n,n}$ there is a monochromatic path $P_{2n+1}$. An important tool is our recent stability theorem on monochromatic connected matchings.
A note of values of minors for Hadamard matrices
In this note we present a formulae for all possible values of $(n-j)\times(n-j)$ minors of an Hadamard matrix of order $n$.
A construction for clique-free pseudorandom graphs
A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $Θ(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $Θ(n^{-1/(k - 1)})$.