arXiv subjects

Nicolás Sanhueza-Matamala

Publications and source records attributed to Nicolás Sanhueza-Matamala.

25 records · Page 2Linked to original sources

arXiv2021

Universal arrays

A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-universal with high probability, where $c_q$ is an explicit constant whose value is roughly $q\log q$. Moreover, we show that the $k$-universality property for uniformly chosen words exhibits a sharp threshold. Finally, by extending techniques of Alon [Geometric and Functional Analysis 27 (2017), no. 1, 1--32], we give asymptotically tight bounds for every higher dimensional analogue of this problem.

math.CO↗

arXiv2021

Minimum degree conditions for tight Hamilton cycles

We develop a new framework to study minimum $d$-degree conditions in $k$-uniform hypergraphs, which guarantee the existence of a tight Hamilton cycle. Our main theoretical result deals with the typical absorption, path cover and connecting arguments for all $k$ and $d$ at once, and thus sheds light on the underlying structural problems. Building on this, we show that one can study minimum $d$-degree conditions of $k$-uniform tight Hamilton cycles by focusing on the inner structure of the neighbourhoods. This reduces the matter to an Erdős--Gallai-type question for $(k-d)$-uniform hypergraphs, which is of independent interest. Once this framework is established, we can easily derive two new bounds. Firstly, we extend a classic result of Rödl, Ruciński and Szemerédi for $d=k-1$ by determining asymptotically best possible degree conditions for $d = k-2$ and all $k \ge 3$. This was proved independently by Polcyn, Reiher, Rödl and Schülke. Secondly, we provide a general upper bound of $1-1/(2(k-d))$ for the tight Hamilton cycle $d$-degree threshold in $k$-uniform hypergraphs, thus narrowing the gap to the lower bound of $1-1/\sqrt{k-d}$ due to Han and Zhao.

math.CO↗

arXiv2021

Longest paths in random hypergraphs

Given integers $k,j$ with $1\le j \le k-1$, we consider the length of the longest $j$-tight path in the binomial random $k$-uniform hypergraph $H^k(n,p)$. We show that this length undergoes a phase transition from logarithmic length to linear and determine the critical threshold, as well as proving upper and lower bounds on the length in the subcritical and supercritical ranges. In particular, for the supercritical case we introduce the `Pathfinder' algorithm, a depth-first search algorithm which discovers $j$-tight paths in a $k$-uniform hypergraph. We prove that, in the supercritical case, with high probability this algorithm will find a long $j$-tight path.

math.CO↗

arXiv2021

Cycle decompositions in $3$-uniform hypergraphs

We show that $3$-graphs on $n$ vertices whose codegree is at least $(2/3 + o(1))n$ can be decomposed into tight cycles and admit Euler tours, subject to the trivial necessary divisibility conditions. We also provide a construction showing that our bounds are best possible up to the $o(1)$ term. All together, our results answer in the negative some recent questions of Glock, Joos, Kühn, and Osthus.

math.CO↗

arXiv2019

Covering and tiling hypergraphs with tight cycles

Given $3 \leq k \leq s$, we say that a $k$-uniform hypergraph $C^k_s$ is a tight cycle on $s$ vertices if there is a cyclic ordering of the vertices of $C^k_s$ such that every $k$ consecutive vertices under this ordering form an edge. We prove that if $k \ge 3$ and $s \ge 2k^2$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + o(1))n$ has the property that every vertex is covered by a copy of $C^k_s$. Our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime. A perfect $C^k_s$-tiling is a spanning collection of vertex-disjoint copies of $C^k_s$. When $s$ is divisible by $k$, the problem of determining the minimum codegree that guarantees a perfect $C^k_s$-tiling was solved by a result of Mycroft. We prove that if $k \ge 3$ and $s \ge 5k^2$ is not divisible by $k$ and $s$ divides $n$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + 1/(2s) + o(1))n$ has a perfect $C^k_s$-tiling. Again our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime with $k$ even.

math.CO↗

arXiv2018

Density of monochromatic infinite paths

For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBiasio and McKenney.

math.CO↗

arXiv2018

An asymptotic bound for the strong chromatic number

The strong chromatic number $χ_{\text{s}}(G)$ of a graph $G$ on $n$ vertices is the least number $r$ with the following property: after adding $r \lceil n/r \rceil - n$ isolated vertices to $G$ and taking the union with any collection of spanning disjoint copies of $K_r$ in the same vertex set, the resulting graph has a proper vertex-colouring with $r$ colours. We show that for every $c > 0$ and every graph $G$ on $n$ vertices with $Δ(G) \ge cn$, $χ_{\text{s}}(G) \leq (2 + o(1)) Δ(G)$, which is asymptotically best possible.

math.CO↗