Showing 20 papers (Total: 84460 papers, 48641 authors in database)
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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)})$.
Color-position symmetry in interacting particle systems
Published
• View Publication
• BIB
We prove a color-position symmetry for a class of ASEP-like interacting particle systems with discrete time on the one-dimensional lattice. The full space-time inhomogeneity of our systems allows to apply the result to colored (or multi-species) ASEP and stochastic vertex models for a certain class of initial/boundary conditions, generalizing previous results of Amir-Angel-Valko and Borodin-Wheeler. We are also able to use the symmetry, together with previously known results for uncolored models, to find novel asymptotic behavior of the second class particles in several situations.
A note on spanning $K_r$-cycles in random graphs
We find the threshold for the existence of a collection of edge disjoint copies of $K_r$ that form a cyclic structure and span all vertices of $G_{n,p}$. We use a recent result of Riordan to give a two line proof of the main result.
Generalized Lyndon Factorizations of Infinite Words
Published
• View Publication
• BIB
A generalized lexicographic order on words is a lexicographic order where the total order of the alphabet depends on the position of the comparison. A generalized Lyndon word is a finite word which is strictly smallest among its class of rotations with respect to a generalized lexicographic order. This notion can be extended to infinite words: an infinite generalized Lyndon word is an infinite word which is strictly smallest among its class of suffixes. We prove a conjecture of Dolce, Restivo, and Reutenauer: every infinite word has a unique nonincreasing factorization into finite and infinite generalized Lyndon words. When this factorization has finitely many terms, we characterize the last term of the factorization. Our methods also show that the infinite generalized Lyndon words are precisely the words with infinitely many generalized Lyndon prefixes.
The diameter of lattice zonotopes
Published in Proc. Am. Math. Soc. 148(8), 3507-3516 (2020)
• View Publication
• BIB
We establish sharp asymptotic estimates for the diameter of primitive zonotopes when their dimension is fixed. We also prove that, for infinitely many integers $k$, the largest possible diameter of a lattice zonotope contained in the hypercube $[0,k]^d$ is uniquely achieved by a primitive zonotope. As a consequence, we obtain that this largest diameter grows like $k^{d/(d+1)}$ up to an explicit multiplicative constant, when $d$ is fixed and $k$ goes to infinity, providing a new lower bound on the largest possible diameter of a lattice polytope contained in $[0,k]^d$.
Torus actions of complexity one in non-general position
Published in Osaka J. Math. 58:4 (2021), 839-853
• Search Publication
Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};\mathbb{Z})=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $Σ^3L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $Σ^{j+2}M$.