arXiv subjects

Maria Axenovich

Publications and source records attributed to Maria Axenovich.

At least 19 recordsLinked to original sources

arXiv2026

On high-girth layered graphs of positive Tur\'an density in a hypercube

For a graph $H$, let $\operatorname{ex}(Q_n, H)$ be the largest number of edges in a subgraph of the hypercube $Q_n$ of dimension $n$ that contains no subgraph isomorphic to $H$. The Tur\'an density of $H$ in a hypercube, denoted $\pi_\square(H)$, is defined as $\lim_{n\rightarrow \infty} \operatorname{ex}(Q_n, H)/|E(Q_n)|$. Determining $\pi_\square(H)$ remains a widely open question for general $H$. Conlon found a large class of graphs with zero Tur\'an density in a hypercube. In this note, we address the case when $\pi_{\square} (H)>0$. If a graph $H$ is not embeddable in an edge-layer of a hypercube, then $\pi_{\square} (H)\geq 1/2$, as can be seen by taking every other edge layer of $Q_n$. Among the layered graphs, the only ones known to have positive Tur\'an density in a hypercube are graphs containing cycles of length $6$ or $10$. We show that, for every $g \geq 3$, there is a layered graph of girth at least $g$ whose Tur\'an density in a hypercube is at least $1/2$.

math.CO↗

arXiv2026

Vertex-Ramsey theorems for Cartesian powers of graphs

For graphs $G,H$ and positive integers $r$ and $n$ we write $G^{\square n} \xrightarrow{r} H$ if every $r$-vertex-coloring of the Cartesian power $G^{\square n}$ of $G$ contains a monochromatic copy of $H$. Since chromatic number $\chi$ of $G^{\square n}$ is the same as $\chi(G)$, there is an $r$-vertex coloring of $G^{\square n}$ for $r=\chi(G)$, such that each color class is an independent set. We prove that for $r<\chi(G)$ there is a large class of graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. These graphs are so-called layered graphs in a hypercube. We also show that for some graphs $G$, such as for example odd cycles or cliques, the class of layered graphs $H$ is the only one satisfying the above Ramsey property when $\chi(G)/2 < r < \chi(G)$. In addition, we prove a more general result relating Ramsey properties of $G$ and graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. One of the technical tools is a Ramsey-type statement for discrete cubes $[m]^n$ that we call the Cube Layered Lemma, which is of independent interest. One of the original motivations for studying Ramsey properties of Cartesian powers of $G$ is the fact that $G^{\square n}$ is a unit distance graph if $G$ is a unit distance graph. This provides applications in Euclidean Ramsey theory.

math.CO↗

arXiv2026

Largest density of a layered subgraph of a hypercube

Let $L(t)$ denote the largest number of edges induced by $t$ vertices from two vertex layers of a hypercube. We show that $$\frac14 t\log_2 t+\frac18 t\log_2\log_2 t-O(t) \leq L(t) \leq \frac14 t\log_2 t+ (1+o(1))t\log_2\log_2 t.$$

math.CO↗

arXiv2026

A note on Ramsey numbers for minors

Let $R_h(k; \ell)$ be the smallest integer $n$ such that any edge coloring of a complete graph on $n$ vertices in $\ell$ colors results in a monochromatic $K_k$-minor, in other words, a graph with Hadwiger number $k$, i.e., a graph that could be transformed into a clique $K_k$ on $k$ vertices via a sequence of edge contractions and vertex deletions. More generally, for a graph $F$ and integer $\ell$ let $R_h(F;\ell)$ be the smallest integer $n$ such that any edge coloring of a complete graph on $n$ vertices in $\ell$ colors results in a monochromatic $F$-minor. In 2001 Thomason and in 2005 Myers and Thomason asymptotically determined the extremal numbers for clique minors and $F$-minors, respectively. They found the respective explicitly computable leading constants $\beta=0.265656...$ and $\gamma(F)\cdot \beta$ for these extremal numbers. We determine $R_h(F;2)$ for every graph $F$ as $$R_h(F;2)=(\gamma(F)+o(1))|V(F)|\sqrt{\log_2(|V(F)|)},$$ where the $o(1)$-term tends to zero as $|V(F)|\rightarrow \infty$. In particular, $$R_h(k;2)=(1+o(1))k\sqrt{\log_2 k}.$$ When $\ell\gg k \gg 1$, we show that $$ R_h(k; \ell) = (2\beta+o(1)) \ell k \sqrt{\log_2 k}.$$

math.CO↗

arXiv2025

Ramsey problems for graphs in Euclidean spaces and Cartesian powers

Given a graph $H$, let $\chi_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one. This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $\chi(\mathbb{R}^n)=\chi_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances. Among others, we show that $\chi_H(\mathbb{R}^n)=\chi(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $\chi_H(\mathbb{R}^n)=\lceil\chi(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Tur\'an-type characteristics, such as zero hypercube Tur\'an density. In addition, we prove induced variants of these results, find bounds on $\chi_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $\chi_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.

math.CO↗

arXiv2025

Online Ramsey turnaround numbers

The online Ramsey turnaround game is a game between two players, Builder and Painter, on a board of $n$ vertices using $3$ colors, for a fixed graph $H$ on at most $n$ vertices. The goal of Painter is to force a monochromatic copy of $H$, the goal of Builder is to avoid this as long as possible. In each round of the game, Builder exposes one new edge and is allowed to forbid the usage of one color for Painter to color this newly exposed edge, and Painter colors the edge according to this restriction. The game is over as soon as Painter manages to achieve a monochromatic copy of $H$. For sufficiently large $n$, we consider the smallest number $f(n, H)$ of edges so that Painter can always win after $f(n, H)$ edges have been exposed by Builder. In addition, we define $f(H)$ to be the smallest $n$ such that Painter can always win on a clique with $n$ vertices. We give bounds for both functions and show that this problem is closely related to other concepts in extremal graph theory, such as polychromatic colorings, set-coloring Ramsey numbers, chromatic Ramsey numbers, and 2-color Tur\'an numbers.

math.CO↗

arXiv2025

An improved upper bound for the multicolour Ramsey number of odd cycles

We show that the $k$-colour Ramsey number of an odd cycle of length $2 \ell + 1$ is at most $(4 \ell)^k \cdot k^{k/\ell}$. This proves a conjecture of Fox and is the first improvement in the exponent that goes beyond an absolute constant factor since the work of Bondy and Erd\H{o}s from 1973.

math.CO↗

arXiv2025

Tur\'an problems for simplicial complexes

An abstract simplicial complex $\mathbf{F}$ is a non-uniform hypergraph without isolated vertices, whose edge set is closed under taking subsets. The extremal number $\mathrm{ex}(n,\mathbf{F})$ is defined as the maximum number of edges in an $n$-vertex $\mathbf{F}$-free simplicial complex. Although Tur\'an-type problems for simplicial complexes have long appeared in extremal set theory, a systematic study of $\mathrm{ex}(n,\mathbf{F})$ was initiated only recently by Conlon, Piga, and Sch\"ulke. In contrast to uniform hypergraphs, even the order of magnitude of $\mathrm{ex}(n,\mathbf{F})$ remains unknown for most simplicial complexes. In this paper, we present a general framework for estimating $\mathrm{ex}(n,\mathbf{F})$ via generalised Tur\'an numbers of associated hypergraphs. Using this approach, we determine the asymptotic behaviour, and in some cases the exact value, of $\mathrm{ex}(n,\mathbf{F})$ for broad classes of simplicial complexes, extending a result of Conlon, Piga, and Sch\"ulke. We also exhibit simplicial complexes whose extremal numbers are not governed by the corresponding generalised Tur\'an numbers, and determine their extremal numbers asymptotically. In addition, we study how the extremal number changes when a new edge is added to the forbidden simplicial complex, and obtain a tight bound for this behaviour.

math.CO↗

arXiv2024

A note on the mutual-visibility coloring of hypercubes

A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if for any two vertices $u,v\in{M}$ there exists a shortest $u$-$v$ path in $G$ that contains no elements of $M$ as internal vertices. Let $\chi_{\mu}(G)$ be the least number of colors needed to color the vertices of $G$, so that each color class is a mutual-visibility set. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. It was proved by the authors that the maximum size of a mutual-visibility set in $Q_{n}$ is at least $\Omega(2^{n})$. Klav\v{z}ar, Kuziak, Valenzuela-Tripodoro, and Yero further asked whether it is true that $\chi_{\mu}(Q_{n})=O(1)$. In this note we answer their question in the negative by showing that $$\omega(1)=\chi_{\mu}(Q_{n})=O(\log\log{n}).$$

math.CO↗

arXiv2024

On hypercube statistics

Let $d \geq 1$ and $s \leq 2^d$ be nonnegative integers. For a subset $A$ of vertices of the hypercube $Q_n$ and $n\geq d$, let $\lambda(n,d,s,A)$ denote the fraction of subcubes $Q_d$ of $Q_n$ that contain exactly $s$ vertices of $A$. Let $\lambda(n,d,s)$ denote the maximum possible value of $\lambda(n,d,s,A)$ as $A$ ranges over all subsets of vertices of $Q_n$, and let $\lambda(d,s)$ denote the limit of this quantity as $n$ tends to infinity. We prove several lower and upper bounds on $\lambda(d,s)$, showing that for all admissible values of $d$ and $s$ it is larger than $0.28$. We also show that the values of $s=s(d)$ such that $\lambda(d,s)=1$ are exactly $\{0,2^{d-1},2^d\}$. In addition we prove that if $0<s< d/8$, then $\lambda(d, s) \leq 1 - \Omega(1/s)$, and that if $s$ is divisible by a power of $2$ which is $\Omega(s)$ then $\lambda(d,s) \geq 1-O(1/s)$. We suspect that $\lambda(d,1)=(1+o(1))/e$ where the $o(1)$-term tends to $0$ as $d$ tends to infinity, but this remains open, as does the problem of obtaining tight bounds for essentially all other quantities $\lambda(d,s)$.

math.CO↗

arXiv2024

Faces in girth-saturated graphs on surfaces

What is the maximum length ${\rm f}_{\rm max}(\ell, \Sigma)$ of a facial cycle of an inclusion-maximal graph with girth at least $\ell$ embedded on a given surface $\Sigma$? If $\Sigma=\mathcal{P}$ is a plane, we show that $3\ell-11\leq {\rm f}_{\rm max}(\ell, \mathcal{P})\leq 8\ell-13$. We also prove that ${\rm f}_{\rm max}(\ell, \Sigma)$ is bounded for any integer $\ell$ and any closed surface $\Sigma$. For a fixed $\Sigma$, we show that $\Omega(\ell) ={\rm f}_{\rm max}(\ell, \Sigma) = O(\ell^2)$, while for a fixed $\ell\ge 6$, ${\rm f}_{\rm max}(\ell, \Sigma)=\Theta(g)$, where $g$ is the genus of $\Sigma$.

math.CO↗

arXiv2024

Chromatic Ramsey numbers and two-color Tur\'{a}n densities

Given a graph $G$, its $2$-color Tur\'{a}n number $\mathrm{ex}^{(2)}(n,G)$ is the maximum number of edges in an $n$-vertex graph, such that the edges can be colored with two colors avoiding a monochromatic copy of $G$. Let $\pi^{(2)}(G)=\lim_{n\to\infty}\mathrm{ex}^{(2)}(n,G)/\binom{n}{2}$ be the $2$-color Tur\'{a}n density of $G$. What real numbers in the interval $(0,1)$ are realized as the $2$-color Tur\'{a}n density of some graph? It is known that $\pi^{(2)}(G)=1-(R_{\chi}(G)-1)^{-1}$, where $R_{\chi}(G)$ is the chromatic Ramsey number of $G$. Burr, Erd\H{o}s, and Lov\'{a}sz showed that $(k-1)^2+1\leq{R_{\chi}(G)}\leq{R(k)}$, for any $k$-chromatic graph $G$, where $R(k)$ is the classical Ramsey number. However, it is an open problem to determine how many distinct values between $(k-1)^{2}+1$ and $R(k)$ can be realized as $R_{\chi}(G)$ of some $k$-chromatic graph $G$ for general $k$. In this paper, among others, we prove that there are $\Omega(k)$ different values of $R_{\chi}(G)$ among $k$-chromatic graphs $G$. This sheds more light onto the possible $2$-color Tur\'{a}n densities of graphs.

math.CO↗

arXiv2024

Diagonal poset Ramsey numbers

A poset $(Q,\le_Q)$ contains an induced copy of a poset $(P,\le_P)$ if there exists an injective mapping $\phi\colon P\to Q$ such that for any two elements $X,Y\in P$, $X\le_P Y$ if and only if $\phi(X)\le_Q \phi(Y)$. By $Q_n$ we denote the Boolean lattice $(2^{[n]},\subseteq)$. The poset Ramsey number $R(P,Q)$ for posets $P$ and $Q$ is the least integer $N$ for which any coloring of the elements of $Q_N$ in blue and red contains either a blue induced copy of $P$ or a red induced copy of $Q$. In this paper, we show that $R(Q_m,Q_n)\le nm-\big(1-o(1)\big)n\log m$ where $n\ge m$ and $m$ is sufficiently large. This improves the best known upper bound on $R(Q_n,Q_n)$ from $n^2-n+2$ to $n^2-\big(1-o(1)\big) n\log n$. Furthermore, we determine $R(P,P)$ where $P$ is an $n$-fork or $n$-diamond up to an additive constant of $2$. A poset $(Q,\le_Q)$ contains a weak copy of $(P,\le_P)$ if there is an injection $\psi\colon P\to Q$ such that $\psi(X)\le_Q \psi(Y)$ for any $X,Y\in P$ with $X\le_P Y$. The weak poset Ramsey number $R^{\text{w}}(P,Q)$ is the smallest $N$ for which any blue/red-coloring of $Q_N$ contains a blue weak copy of $P$ or a red weak copy of $Q$. We show that $R^{\text{w}}(Q_n,Q_n)\le 0.96n^2$.

math.CO↗

arXiv2024

Visibility in hypercubes

A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if any two vertices $u$ and $v$ in $M$ ``see'' each other in $G$, that is, there exists a shortest $u,v$-path in $G$ that contains no elements of $M$ as internal vertices. The mutual-visibility number $\mu(G)$ of a graph $G$ is the largest size of a mutual-visibility set in $G$. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. Cicerone, Di Fonso, Di Stefano, Navarra, and Piselli showed that $2^{n}/\sqrt{n}\leq\mu(Q_{n})\leq2^{n-1}$. In this paper, we prove that $\mu(Q_{n})>0.186\cdot2^n$ and thus establish that $\mu(Q_{n})=\Theta(2^{n})$. We also consider the chromatic mutual-visibility number, $\chi_{\mu}(G)$, defined as the smallest number of colors used on vertices of $G$, such that every color class is a mutual-visibility set in $G$. Klav\v{z}ar, Kuziak, Valenzuela-Tripodoro, and Yero asked whether $\chi_{\mu}(Q_{n})=O(1)$. We answer their question in the negative, namely, we show that $\chi_{\mu}(Q_{n})$ is a growing function of $n$. Moreover, we show that $\chi_{\mu}(Q_{n})=O(\log\log{n})$. Finally, we study the so-called total mutual-visibility number of graphs and give asymptotically tight bounds on this parameter for hypercubes.

math.CO↗

arXiv2024

Induced Tur\'an problem in bipartite graphs

The classical extremal function for a graph $H$, $ex(K_n, H)$ is the largest number of edges in a subgraph of $K_n$ that contains no subgraph isomorphic to $H$. Note that defining $ex(K_n, H-ind)$ by forbidding induced subgraphs isomorphic to $H$ is not very meaningful for a non-complete $H$ since one can avoid it by considering a clique. For graphs $F$ and $H$, let $ex(K_n, \{F, H-ind\})$ be the largest number of edges in an $n$-vertex graph that contains no subgraph isomorphic to $F$ and no induced subgraph isomorphic to $H$. Determining this function asymptotically reduces to finding either $ex(K_n, F)$ or $ex(K_n, H)$, unless $H$ is a biclique or both $F$ and $H$ are bipartite. Here, we consider the bipartite setting, $ex(K_{n,n}, \{F, H-ind\})$ when $K_n$ is replaced with $K_{n,n}$, $F$ is a biclique, and $H$ is a bipartite graph. Our main result, a strengthening of a result by Sudakov and Tomon, implies that for any $d\geq 2$ and any $K_{d,d}$-free bipartite graph $H$ with each vertex in one part of degree either at most $d$ or a full degree, so that there are at most $d-2$ full degree vertices in that part, one has $ex(K_{n,n}, \{K_{t,t}, H-ind\}) = o(n^{2-1/d})$. This provides an upper bound on the induced Tur\'an number for a wide class of bipartite graphs and implies in particular an extremal result for bipartite graphs of bounded VC-dimension by Janzer and Pohoata.

math.CO↗

arXiv2023

A note on multicolour Erd\H{o}s-Hajnal conjecture

Informally, the Erd\H{o}s-Hajnal conjecture (shortly EH-conjecture) asserts that if a sufficiently large host clique on $n$ vertices is edge-coloured avoiding a copy of some fixed edge-coloured clique, then there is a large homogeneous set of size $n^\beta$ for some positive $\beta$, where a set of vertices is homogeneous if it does not induce all the colours. This conjecture, if true, claims that imposing local conditions on edge-partitions of cliques results in a global structural consequence such as a large homogeneous set, a set avoiding all edges of some part. While this conjecture attracted a lot of attention, it is still open even for two colours. In this note, we reduce the multicolour EH-conjecture to the case when the number of colours used in a host clique is either the same as in the forbidden pattern or one more. We exhibit a non-monotonicity behaviour of homogeneous sets in coloured cliques with forbidden patterns by showing that allowing an extra colour in the host graph could actually decrease the size of a largest homogeneous set.

math.CO↗

arXiv2023

A class of graphs of zero Tur\'an density in a hypercube

A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is at least a positive proportion of the number of edges in $Q_n$, $H$ is said to have a positive Tur\'an density in a hypercube or simply a positive Tur\'an density; otherwise it has a zero Tur\'an density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has a positive or a zero Tur\'an density remains a widely open question for general $H$. By relating extremal numbers in a hypercube and certain corresponding hypergraphs, Conlon found a large class of cubical graphs, ones having so-called partite representation, that have a zero Tur\'an density. He raised a question whether this gives a characterisation, i.e., whether a cubical graph has zero Tur\'an density if and only if it has partite representation. Here, we show that, as suspected by Conlon, this is not the case. We give an example of a class of cubical graphs which have no partite representation, but on the other hand, have a zero Tur\'an density. In addition, we show that any graph whose every block has partite representation has a zero Tur\'an density in a hypercube.

math.CO↗

arXiv2023

Large cliques or co-cliques in hypergraphs with forbidden order-size pairs

The well-known Erd\H{o}s-Hajnal conjecture states that for any graph $F$, there exists $\epsilon>0$ such that every $n$-vertex graph $G$ that contains no induced copy of $F$ has a homogeneous set of size at least $n^{\epsilon}$. We consider a variant of the Erd\H{o}s-Hajnal problem for hypergraphs where we forbid a family of hypergraphs described by their orders and sizes. For graphs, we observe that if we forbid induced subgraphs on $m$ vertices and $f$ edges for any positive $m$ and $0\leq f \leq \binom{m}{2}$, then we obtain large homogeneous sets. For triple systems, in the first nontrivial case $m=4$, for every $S \subseteq \{0,1,2,3,4\}$, we give bounds on the minimum size of a homogeneous set in a triple system where the number of edges spanned by every four vertices is not in $S$. In most cases the bounds are essentially tight. We also determine, for all $S$, whether the growth rate is polynomial or polylogarithmic. Some open problems remain.

math.CO↗