-
Rainbow considerations around the Hales-Jewett theorem
Authors:
Amanda Montejano
Abstract:
For positive integers $t$ and $n$ let $C_t^n$ be the $n$-cube over $t$ elements, that is, the set of ordered $n$-tuples over the alphabet $\{0,\dots, t-1\}$. We address the question of whether a balanced finite coloring of $C_t^n$ guarantees the presence of a rainbow geometric or combinatorial line. For every even $t\geq 4$ and every $n$, we provide a $\left(\frac{t}{2}\right)^n$--coloring of…
▽ More
For positive integers $t$ and $n$ let $C_t^n$ be the $n$-cube over $t$ elements, that is, the set of ordered $n$-tuples over the alphabet $\{0,\dots, t-1\}$. We address the question of whether a balanced finite coloring of $C_t^n$ guarantees the presence of a rainbow geometric or combinatorial line. For every even $t\geq 4$ and every $n$, we provide a $\left(\frac{t}{2}\right)^n$--coloring of $C_t^n$ such that all color classes have the same size, and without rainbow combinatorial or geometric lines.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability
Authors:
Yair Caro,
Adriana Hansberg,
Amanda Montejano
Abstract:
We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that…
▽ More
We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones.
△ Less
Submitted 7 June, 2023; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Sidon-Ramsey and $B_{h}$-Ramsey numbers
Authors:
Manuel A. Espinosa-García,
Amanda Montejano,
Edgardo Roldán-Pensado,
J. David Suárez
Abstract:
For a given positive integer $k$, the Sidon-Ramsey number $\SR(k)$ is defined as the minimum value of $n$ such that, in every partition of the set $[1, n]$ into $k$ parts, there exists a part that contains two distinct pairs of numbers with the same sum. In other words, there is a part that is not a Sidon set. In this paper, we investigate the asymptotic behavior of this parameter and two generali…
▽ More
For a given positive integer $k$, the Sidon-Ramsey number $\SR(k)$ is defined as the minimum value of $n$ such that, in every partition of the set $[1, n]$ into $k$ parts, there exists a part that contains two distinct pairs of numbers with the same sum. In other words, there is a part that is not a Sidon set. In this paper, we investigate the asymptotic behavior of this parameter and two generalizations of it. The first generalization involves replacing pairs of numbers with $h$-tuples, such that in every partition of $[1, n]$ into $k$ parts, there exists a part that contains two distinct $h$-tuples with the same sum. Alternatively, there is a part that is not a $B_h$ set. The second generalization considers the scenario where the interval $[1, n]$ is substituted with a non-necessarily symmetric $d$-dimensional box of the form $\prod_{i=1}^d[1,n_i]$. For the general case of $h\geq 3$ and non-symmetric boxes, before applying our method to obtain the Ramsey-type result, we needed to establish an upper bound for the corresponding density parameter.
△ Less
Submitted 3 August, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Erdős-Ginzburg-Ziv type generalizations for linear equations and linear inequalities in three variables
Authors:
Mario Huicochea,
Amanda Montejano
Abstract:
For any linear inequality in three variables $\mathcal{L}$, we determine (if it exist) the smallest integer $R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})$ such that: for every map** $χ:[1,n] \to \{0,1,2\}$, with $n\geq R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})$, there is a solution $(x_1,x_2,x_3)\in [1,n]^3$ of $\mathcal{L}$ with $χ(x_1)+χ(x_2)+χ(x_3)\equiv 0$ (mod $3$). Moreover, we prove that…
▽ More
For any linear inequality in three variables $\mathcal{L}$, we determine (if it exist) the smallest integer $R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})$ such that: for every map** $χ:[1,n] \to \{0,1,2\}$, with $n\geq R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})$, there is a solution $(x_1,x_2,x_3)\in [1,n]^3$ of $\mathcal{L}$ with $χ(x_1)+χ(x_2)+χ(x_3)\equiv 0$ (mod $3$). Moreover, we prove that $R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})=R(\mathcal{L}, 2)$, where $R(\mathcal{L}, 2)$ denotes the classical $2$-color Rado number, that is, the smallest integer (provided it exist) such that for every $2$-coloring of $[1,n]$, with $n\geq R(\mathcal{L}, 2)$, there exist a monochromatic solution of $\mathcal{L}$. Thus, we get an Erdős-Ginzburg-Ziv type generalization for all lineal inequalities in three variables having a solution in the positive integers. We also show a number of families of linear equations in three variables $\mathcal{L}$ such that they do not admit such Erdős-Ginzburg-Ziv type generalization, named $R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})\neq R(\mathcal{L}, 2)$. At the end of this paper some questions are proposed.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Recursive constructions of amoebas
Authors:
Adriana Hansberg,
Amanda Montejano,
Yair Caro
Abstract:
Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, the…
▽ More
Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, then every global amoeba can be found embedded in $K_n$ such that it has half its edges in each color. Even more surprising, every bipartite global amoeba $G$ is unavoidable in every tonal-variation, meaning that, for any pair of integers $r, b$ such that $r + b $ is the number of edges of $G$, there is a subgraph of $K_n$ isomorphic to $G$ with $r$ edges in the first color and $b$ edges in the second. The feature that makes global amoebas work are one-by-one edge replacements that leave the structure of the graph invariant. By means of a group theoretical approach, the dynamics of this feature can be modeled. As a counterpart to the global amoebas that "live" inside a possibly large complete graph $K_n$, we also consider local amoebas which are spanning subgraphs of $K_n$ with the same feature.
In an effort to highlight their richness and versatility, we present here three different recursive constructions of amoebas, two of them yielding interesting families per se and one of them offering a wide range of possibilities.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Graphs isomorphisms under edge-replacements and the family of amoebas
Authors:
Yair Caro,
Adriana Hansberg,
Amanda Montejano
Abstract:
This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let…
▽ More
This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.
△ Less
Submitted 31 May, 2023; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Zero-sum squares in bounded discrepancy {-1,1}-matrices
Authors:
Alma R. Arévalo,
Amanda Montejano,
Edgardo Roldán-Pensado
Abstract:
For $n\ge 5$, we prove that every $n\times n$ matrix $M=(a_{i,j})$ with entries in $\{-1,1\}$ and absolute discrepancy $|\mathrm{disc}(M)|=|\sum a_{i,j}|\le n$ contains a zero-sum square except for the split matrix (up to symmetries). Here, a square is a $2\times 2$ sub-matrix of $M$ with entries $a_{i,j}, a_{i+s,s}, a_{i,j+s}, a_{i+s,j+s}$ for some $s\ge 1$, and a split matrix is a matrix with al…
▽ More
For $n\ge 5$, we prove that every $n\times n$ matrix $M=(a_{i,j})$ with entries in $\{-1,1\}$ and absolute discrepancy $|\mathrm{disc}(M)|=|\sum a_{i,j}|\le n$ contains a zero-sum square except for the split matrix (up to symmetries). Here, a square is a $2\times 2$ sub-matrix of $M$ with entries $a_{i,j}, a_{i+s,s}, a_{i,j+s}, a_{i+s,j+s}$ for some $s\ge 1$, and a split matrix is a matrix with all entries above the diagonal equal to $-1$ and all remaining entries equal to $1$. In particular, we show that for $n\ge 5$ every zero-sum $n\times n$ matrix with entries in $\{-1,1\}$ contains a zero-sum square.
△ Less
Submitted 7 June, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Colored unavoidable patterns and balanceable graphs
Authors:
Matt Bowen,
Adriana Hansberg,
Amanda Montejano,
Alp Müyesser
Abstract:
We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member fro…
▽ More
We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Girão and Narayanan confirms this conjecture when $r=2$.
Next, we study a related problem where the corresponding Turán threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.
△ Less
Submitted 15 July, 2021; v1 submitted 12 December, 2019;
originally announced December 2019.
-
A rainbow version of Mantel's Theorem
Authors:
Ron Aharoni,
Matt DeVos,
Sebastián González Hermosillo de la Maza,
Amanda Montejano,
Robert Šámal
Abstract:
Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist disti…
▽ More
Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist distinct vertices $v_1,v_2,v_3$ so that (working with the indices modulo 3) we have $v_i v_{i+1} \in E(G_i)$ for $1 \le i \le 3$. We provide an example to show this bound is best possible. This also answers a question of Diwan and Mubayi. We include a new short proof of Mantel's Theorem we obtained as a byproduct.
△ Less
Submitted 25 February, 2020; v1 submitted 31 December, 2018;
originally announced December 2018.
-
On the Number of Order Types in Integer Grids of Small Size
Authors:
Luis E. Caraballo,
José-Miguel Díaz-Báñez,
Ruy Fabila-Monroy,
Carlos Hidalgo-Toscano,
Jesús Leaños,
Amanda Montejano
Abstract:
Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on th…
▽ More
Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on the number of different order types of $n$ points that can be realized in integer grids of polynomial
△ Less
Submitted 16 November, 2018; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Unavoidable chromatic patterns in 2-colorings of the complete graph
Authors:
Yair Caro,
Adriana Hansberg,
Amanda Montejano
Abstract:
We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omni…
▽ More
We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Turán numbers. Many more results and problems of similar flavor are presented.
△ Less
Submitted 8 April, 2019; v1 submitted 29 October, 2018;
originally announced October 2018.
-
Non-monochromatic Triangles in a 2-Edge-Coloured Graph
Authors:
Matt DeVos,
Jessica McDonald,
Amanda Montejano
Abstract:
Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.
Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Short rainbow cycles in graphs and matroids
Authors:
Matt DeVos,
Matthew Drescher,
Daryl Funk,
Sebastián González Hermosillo de la Maza,
Krystal Guo,
Tony Huynh,
Bojan Mohar,
Amanda Montejano
Abstract:
Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-Häggkvist conjecture, due to Aharoni. We also show that the matroid generaliza…
▽ More
Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-Häggkvist conjecture, due to Aharoni. We also show that the matroid generalization of our main result also holds for cographic matroids, but fails for binary matroids.
△ Less
Submitted 7 May, 2020; v1 submitted 3 June, 2018;
originally announced June 2018.
-
Zero-sum $K_m$ over $\mathbb{Z}$ and the story of $K_4$
Authors:
Yair Caro,
Adriana Hansberg,
Amanda Montejano
Abstract:
We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are infinitely many values of $n$ such that the following holds: There is a weighting function $f:E(K_n)\to \{-1,1\}$ (and hence a weighting function…
▽ More
We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are infinitely many values of $n$ such that the following holds: There is a weighting function $f:E(K_n)\to \{-1,1\}$ (and hence a weighting function $f: E(K_n)\to \{-1,0,1\}$), such that $\sum_{e\in E(K_n)}f(e)=0$ but, for every copy $H$ of $K_m$ in $K_n$, $\sum_{e\in E(H)}f(e)\neq 0$. On the other hand, for every integer $n\geq 5$ and every weighting function $f:E(K_n)\to \{-1,1\}$ such that $|\sum_{e\in E(K_n)}f(e)|\leq \binom{n}{2}-h(n)$, where $h(n)=2(n+1)$ if $n \equiv 0$ (mod $4$) and $h(n)=2n$ if $n \not\equiv 0$ (mod $4$), there is always a copy $H$ of $K_4$ in $K_n$ for which $\sum_{e\in E(H)}f(e)=0$, and the value of $h(n)$ is sharp.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
On the $X$-coordinates of Pell equations which are Tribonacci numbers
Authors:
Florian Luca,
Amanda Montejano,
Laszlo Szalay,
Alain Togbé
Abstract:
For an integer $d\geq 2$ which is not a square, we show that there is at most one value of the positive integer $X$ participating in the Pell equation $X^2-dY^2=\pm 1$ which is a Tribonacci number, with a few exceptions that we completely characterize.
For an integer $d\geq 2$ which is not a square, we show that there is at most one value of the positive integer $X$ participating in the Pell equation $X^2-dY^2=\pm 1$ which is a Tribonacci number, with a few exceptions that we completely characterize.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
-
Zero-sum subsequences in bounded-sum $\{-1, 1\}$-sequences
Authors:
Yair Caro,
Adriana Hansberg,
Amanda Montejano
Abstract:
The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any f…
▽ More
The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any function $f:[n]\to \{-1,1\}$ with $|\sum_{i=1}^nf(i)| \le q$, there is a set $B \subseteq [n]$ of $k$ consecutive integers with $|\sum_{y\in B}f(y)| \le t$. Moreover, this bound is sharp for all the parameters involved and a characterization of the extremal sequences is given.
This and other similar results involving different subsequences are presented, including decompositions of sequences into subsequences of bounded weight.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
On transversal and $2$-packing numbers in straight line systems on $\mathbb{R}^{2}$
Authors:
Gabriela Araujo-Pardo,
Amanda Montejano,
Luis Montejano,
Adrián Vázquez-Ávila
Abstract:
A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal…
▽ More
A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
-
The structure of rainbow-free colorings for linear equations on three variables in Zp
Authors:
Mario Huicochea,
Amanda Montejano
Abstract:
Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we…
▽ More
Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.
△ Less
Submitted 15 February, 2015;
originally announced February 2015.
-
About an Erdős-Grünbaum conjecture concerning piercing of non bounded convex sets
Authors:
Amanda Montejano,
Luis Montejano,
Edgardo Roldán-Pensado,
Pablo Soberón
Abstract:
In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies…
▽ More
In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies a bound on the number of points needed to intersect the whole family. We also study variations of this problem.
△ Less
Submitted 24 December, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
A Rainbow Ramsey Analogue of Rado's Theorem
Authors:
Jesús A. De Loera,
Reuben N. La Haye,
Amanda Montejano,
Deborah Oliveros,
Edgardo Roldán-Pensado
Abstract:
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
△ Less
Submitted 4 November, 2014; v1 submitted 5 April, 2014;
originally announced April 2014.
-
The chromatic number of comparability 3-hypergraphs
Authors:
Natalia Garcia-Colin,
Amanda Montejano,
Deborah Oliveros
Abstract:
Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show three different behaviors in respect to the relationship between the chromatic number and the clique number of a comparability 3-hypergraph, this is in contrast wi…
▽ More
Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show three different behaviors in respect to the relationship between the chromatic number and the clique number of a comparability 3-hypergraph, this is in contrast with the fact that a comparability simple graph is a perfect graph.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
A New Proof of Kemperman's Theorem
Authors:
Tomas Boothby,
Matt DeVos,
Amanda Montejano
Abstract:
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arb…
▽ More
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arbitrary abelian group. Here we give a new proof of Kemperman's Theorem.
△ Less
Submitted 15 March, 2013; v1 submitted 1 January, 2013;
originally announced January 2013.
-
Null and non--rainbow colorings of projective plane and sphere triangulations
Authors:
Jorge L. Arocha,
Amanda Montejano
Abstract:
For maximal planar graphs of order $n\geq 4$, we prove that a vertex--coloring containing no rainbow faces uses at most $\lfloor\frac{2n-1}{3}\rfloor$ colors, and this is best possible. For maximal graph embedded on the projective plane, we obtain the analogous best bound $\lfloor\frac{2n+1}{3}\rfloor$. The main ingredients in the proofs are classical homological tools. By considering graphs as to…
▽ More
For maximal planar graphs of order $n\geq 4$, we prove that a vertex--coloring containing no rainbow faces uses at most $\lfloor\frac{2n-1}{3}\rfloor$ colors, and this is best possible. For maximal graph embedded on the projective plane, we obtain the analogous best bound $\lfloor\frac{2n+1}{3}\rfloor$. The main ingredients in the proofs are classical homological tools. By considering graphs as topological spaces, we introduce the notion of a null coloring, and prove that for any graph $G$ a maximal null coloring $f$ is such that the quotient graph $G/f$ is a forest.
△ Less
Submitted 25 October, 2012;
originally announced October 2012.
-
Transitive oriented 3-Hypergraphs of cyclic orders
Authors:
Natalia Garcia-Colin,
Amanda Montejano,
Luis Montejano,
Deborah Oliveros
Abstract:
In this paper we introduce the definition of transitivity for oriented 3-hypergraphs in order to study partial and complete cyclic orders. This definition allow us to give sufficient conditions on a partial cyclic order to be totally extendable. Furthermore, we introduce the 3-hypergraph associated to a cyclic permutation and characterize it in terms of cyclic comparability 3-hypergraphs.
In this paper we introduce the definition of transitivity for oriented 3-hypergraphs in order to study partial and complete cyclic orders. This definition allow us to give sufficient conditions on a partial cyclic order to be totally extendable. Furthermore, we introduce the 3-hypergraph associated to a cyclic permutation and characterize it in terms of cyclic comparability 3-hypergraphs.
△ Less
Submitted 25 October, 2012;
originally announced October 2012.
-
Rainbow-free 3-colorings of Abelian Groups
Authors:
Amanda Montejano,
Oriol Serra
Abstract:
A 3-coloring of the elements of an abelian group is said to be rainbow--free if there is no 3-term arithmetic progression with its members having pairwise distinct colors. We give a structural characterization of rainbow--free colorings of abelian groups. This characterization proves a conjecture of Jungić et al. on the size of the smallest chromatic class of a rainbow-free 3-coloring of cyclic gr…
▽ More
A 3-coloring of the elements of an abelian group is said to be rainbow--free if there is no 3-term arithmetic progression with its members having pairwise distinct colors. We give a structural characterization of rainbow--free colorings of abelian groups. This characterization proves a conjecture of Jungić et al. on the size of the smallest chromatic class of a rainbow-free 3-coloring of cyclic groups.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
Counting patterns in colored orthogonal arrays
Authors:
Amanda Montejano,
Oriol Serra
Abstract:
Let $S$ be an orthogonal array $OA(d,k)$ and let $c$ be an $r$--coloring of its ground set $X$. We give a combinatorial identity which relates the number of vectors in $S$ with given color patterns under $c$ with the cardinalities of the color classes. Several applications of the identity are considered. Among them, we show that every equitable $r$--coloring of the integer interval $[1,n]$ has at…
▽ More
Let $S$ be an orthogonal array $OA(d,k)$ and let $c$ be an $r$--coloring of its ground set $X$. We give a combinatorial identity which relates the number of vectors in $S$ with given color patterns under $c$ with the cardinalities of the color classes. Several applications of the identity are considered. Among them, we show that every equitable $r$--coloring of the integer interval $[1,n]$ has at least $1/2(n/r)^2+O(n)$ monochromatic Schur triples. We also show that in an orthogonal array $OA(d,d-1)$, the number of monochromatic vectors of each color depends only on the number of vectors which miss that color and the cardinality of the color class.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.