-
A Note on Mixed Cages of Girth 5
Authors:
Gabriela Araujo-Pardo,
Lydia Mirabel Mendoza-Cadena
Abstract:
A mixed regular graph is a graph where every vertex has $z$ incoming arcs, $z$ outgoing arcs, and $r$ edges; furthermore, if it has girth $g$, we say that the graph is a \emph{$[z,r;g]$-mixed graph}. A \emph{$[z,r;g]$-mixed cage} is a $[z,r;g]$-mixed graph with the smallest possible order. In this note, we give a family of $[z,q;5]$-mixed graphs for $q\geq 7$ power of prime and $q-1\leq 4z+R$ with…
▽ More
A mixed regular graph is a graph where every vertex has $z$ incoming arcs, $z$ outgoing arcs, and $r$ edges; furthermore, if it has girth $g$, we say that the graph is a \emph{$[z,r;g]$-mixed graph}. A \emph{$[z,r;g]$-mixed cage} is a $[z,r;g]$-mixed graph with the smallest possible order. In this note, we give a family of $[z,q;5]$-mixed graphs for $q\geq 7$ power of prime and $q-1\leq 4z+R$ with $z\geq 1$ and $R \in \{1,\ldots,5\}$. This provides better upper bounds on the order of mixed cages until this moment.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
Weighted Cages
Authors:
G. Araujo-Pardo,
C. De la Cruz,
M. Matamala,
M. A. Pizaña
Abstract:
Cages ($r$-regular graphs of girth $g$ and minimum order) and their variants have been studied for over seventy years. Here we propose a new variant, "weighted cages". We characterize their existence; for cases $g=3,4$ we determine their order; we give Moore-like bounds and present some computational results.
Cages ($r$-regular graphs of girth $g$ and minimum order) and their variants have been studied for over seventy years. Here we propose a new variant, "weighted cages". We characterize their existence; for cases $g=3,4$ we determine their order; we give Moore-like bounds and present some computational results.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Lines on digraphs of low diameter
Authors:
Gabriela Araujo-Pardo,
Martín Matamala,
Juan P. Peña,
José Zamora
Abstract:
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvtal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on n vertices defines a metric space that has at least n lines. We study the natural exten…
▽ More
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvtal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on n vertices defines a metric space that has at least n lines. We study the natural extension of Aboulker et al.'s conjecture into the context of quasi-metric spaces defined by digraphs of low diameter. We prove that it is valid for quasi-metric spaces defined by bipartite digraphs of diameter at most three, oriented graphs of diameter two and, digraphs of diameter three and directed girth four.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
On bipartite biregular large graphs
Authors:
G. Araujo-Pardo,
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ a…
▽ More
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
A note on girth-diameter cages
Authors:
Gabriela Araujo-Pardo,
Marston Conder,
Natalia García-Colín,
György Kiss,
Dimitri Leemans
Abstract:
In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus…
▽ More
In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus on $(k;\,5,4)$-graphs. We show that $n_0(k;\,5,4) \geq k^2+k+2$ for all $k$, and report on the determination of all $(k;\,5,4)$-cages for $k=3, 4$ and $5$ and examples with $k = 6$, and describe some examples of $(k;\,5,4)$-graphs which prove that $n_0(k;\,5,4) \leq 2k^2$ for infinitely many values of $k$.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
On extremal (almost) edge-girth-regular graphs
Authors:
Gabriela Araujo-Pardo,
György Kiss,
István Porupsánszki
Abstract:
A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of eg…
▽ More
A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of egr-graphs.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
On Mixed Cages of Girth 6
Authors:
Gabriela Araujo-Pardo,
Lydia Mirabel Mendoza-Cadena
Abstract:
A [z,r;g]-mixed cage is a mixed graph of minimum order such that each vertex has z in-arcs, z out-arcs, r edges, and it has girth g. We present an infinite family of mixed graphs with girth 6. This construction also provides an upper bound on the minimum order of mixed cages of girth 6. Additionally,we introduce a lower bound on the minimum order for any mixed cage.
A [z,r;g]-mixed cage is a mixed graph of minimum order such that each vertex has z in-arcs, z out-arcs, r edges, and it has girth g. We present an infinite family of mixed graphs with girth 6. This construction also provides an upper bound on the minimum order of mixed cages of girth 6. Additionally,we introduce a lower bound on the minimum order for any mixed cage.
△ Less
Submitted 29 January, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
A little more about bipartite biregular cages, block designs, and generalized polygons
Authors:
Gabriela Araujo-Pardo,
György Kiss,
Tamás Szönyi
Abstract:
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and su…
▽ More
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and sub-polygons in generalized polygons to obtain $(m,n;2r)$-bipartite biregular graphs. We emphasize that, as we improve the lower bounds on the order of these graphs, we also prove that some of them are $(m,n;2r)$-bipartite biregular cages.
In particular, we construct relatively small bipartite biregular graphs from a special class of generalized quadrangles and hexagons. In a special case, we show that the graph obtained is actually a $(3,4;8)$-bipartite biregular cage on $56$ vertices.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Semicubic cages and small graphs of even girth from voltage graphs
Authors:
Flor Aguilar,
Gabriela Araujo-Pardo,
Leah Bermann
Abstract:
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$).…
▽ More
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$). The second technique, the main content of this paper, produces bipartite semicubic $(3,m; g)$-graphs with fixed even girth $g = 4t$ or $4t+2$ using voltage graphs over $\mathbb{Z}_{m}$. When $g = 4t+2$, the graphs have two vertices of degree $m$, while when $g = 4t$ they have exactly three vertices of degree $m$ (the remaining vertices are of degree $3$ in both cases). Specifically, we describe infinite families of semicubic graphs $(3,m; g)$ for $g = \{6, 8, 10, 12\}$ for infinitely many values of $m$. The cases $g = \{6,8\}$ include the unique $6$-cage and the unique $8$-cage when $m = 3$.
The families obtained in this paper for girth $g=\{10,12\}$ include examples with the best known bounds for semicubic graphs $(3,m; g)$
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
On the existence of $(r,g,χ)$-cages
Authors:
Gabriela Araujo-Pardo,
Zhanar Berikkyzy,
Linda Lesniak
Abstract:
In this paper, we work with simple and finite graphs. We study a generalization of the \emph{Cage Problem}, which has been widely studied since cages were introduced by Tutte \cite{T47} in 1947 and after Erd\" os and Sachs \cite{ES63} proved their existence in 1963. An \emph{$(r,g)$-graph} is an $r$-regular graph in which the shortest cycle has length equal to $g$; that is, it is an $r$-regular gr…
▽ More
In this paper, we work with simple and finite graphs. We study a generalization of the \emph{Cage Problem}, which has been widely studied since cages were introduced by Tutte \cite{T47} in 1947 and after Erd\" os and Sachs \cite{ES63} proved their existence in 1963. An \emph{$(r,g)$-graph} is an $r$-regular graph in which the shortest cycle has length equal to $g$; that is, it is an $r$-regular graph with girth $g$. An \emph{$(r,g)$-cage} is an $(r,g)$-graph with the smallest possible number of vertices among all $(r,g)$-graphs; the order of an $(r,g)$-cage is denoted by $n(r,g)$. The Cage Problem consists of finding $(r,g)$-cages; it is well-known that $(r,g)$-cages have been determined only for very limited sets of parameter pairs $(r, g)$. There exists a simple lower bound for $n(r,g)$, given by Moore and denoted by $n_0(r,g)$. The cages that attain this bound are called \emph{Moore cages}.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Lines in quasi-metric spaces with four points
Authors:
Gabriela Araujo-Pardo,
Martín Matamala,
José Zamora
Abstract:
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvátal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, this conjecture was studied in the context of quasi-metric spaces. In this work we prove that there is a quasi-metric space on four points a, b, c and d whose betweenness is…
▽ More
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvátal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, this conjecture was studied in the context of quasi-metric spaces. In this work we prove that there is a quasi-metric space on four points a, b, c and d whose betweenness is B={(c,a,b),(a,b,c),(d,b,a),(b,a,d)}. Then, this space has only three lines none of which has four points. Moreover, we show that the betweenness of any quasi-metric space on four points with this property is isomorphic to B. Since B is not metric, we get that Chen and Chvátal's conjecture is valid for any metric space on four points.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
On the harmonious chromatic number of graphs
Authors:
Gabriela Araujo-Pardo,
Juan José Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
The harmonious chromatic number of a graph $G$ is the minimum number of colors that can be assigned to the vertices of $G$ in a proper way such that any two distinct edges have different color pairs. This paper gives various results on harmonious chromatic number related to homomorphisms, incidence graphs of finite linear systems, and some circulant graphs.
The harmonious chromatic number of a graph $G$ is the minimum number of colors that can be assigned to the vertices of $G$ in a proper way such that any two distinct edges have different color pairs. This paper gives various results on harmonious chromatic number related to homomorphisms, incidence graphs of finite linear systems, and some circulant graphs.
△ Less
Submitted 14 August, 2023; v1 submitted 9 June, 2022;
originally announced June 2022.
-
Achromatic arboricity on complete graphs
Authors:
Gabriela Araujo-Pardo,
Christian Rubio-Montiel
Abstract:
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes c…
▽ More
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes contain a cycle. In particular, if $G$ is a complete graph we prove that \[\frac{1}{4}n^{\frac{3}{2}}-Θ(n) \leq A_α(G)\leq \frac{1}{\sqrt{2}}n^{\frac{3}{2}}-Θ(n).\]
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
The digrundy number of digraphs
Authors:
Gabriela Araujo-Pardo,
Juan José Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digru…
▽ More
We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digrundy number, and improve the Nordhaus-Gaddum relations for the dichromatic and diachromatic numbers bounded previously by the authors in [Electron. J. Combin. 25 (2018) no. 3, Paper {\#} 3.51, 17 pp.]
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Bipartite biregular Moore graphs
Authors:
Gabriela Araujo-Pardo,
Cristina Dalfó,
Miguel Ángel Fiol,
Nacho López
Abstract:
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diamete…
▽ More
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diameter $d$ and large number of vertices $N(r_1,r_2;d)$, together with their spectra. In some cases of diameters $d=3$, $4$, and $5$, the new graphs attaining the Moore bound are unique up to isomorphism.
△ Less
Submitted 21 March, 2021;
originally announced March 2021.
-
Mixed Cages: monotony, connectivity and upper bounds
Authors:
Gabriela Araujo-Pardo,
Claudia de la Cruz,
Diego González-Moreno
Abstract:
A \emph{$[z, r; g]$-mixed cage} is a mixed graph $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. %In this paper we study structural properties of mixed cages: Let $n[z,r;g]$ denote the order of a $[z,r;g]$-mixed cage. In this paper we prove that $n[z,r;g]$ is a monotonicity function, with respect of $g$, for $z\in \{1,2\}$, and we use it to prove that the underlying gr…
▽ More
A \emph{$[z, r; g]$-mixed cage} is a mixed graph $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. %In this paper we study structural properties of mixed cages: Let $n[z,r;g]$ denote the order of a $[z,r;g]$-mixed cage. In this paper we prove that $n[z,r;g]$ is a monotonicity function, with respect of $g$, for $z\in \{1,2\}$, and we use it to prove that the underlying graph of a $[z,r;g]$-mixed cage is 2-connected, for $z\in \{1,2\}$. We also prove that $[z,r;g]$-mixed cages are strong connected. We present bounds of $n[z,r;g]$ and constructions of $[z,r;5]$-mixed graphs and show a $[10,3;5]$-mixed cage of order $50$.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
On new record graphs close to bipartite Moore graphs
Authors:
Gabriela Araujo-Pardo,
Nacho López
Abstract:
The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter…
▽ More
The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter or degree/girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with {\em local bipartite Moore graphs}. We find in some cases those local bipartite Moore graphs with local girths as close as possible to the local girths given by a bipartite Moore graph. Second, we construct a family of $(q+2)$-bipartite graphs of order $2(q^2+q+5)$ and diameter $3$, for $q$ a power of prime. These graphs attain the record value for $q=9$ and improve the values for $q=11$ and $q=13$.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Achromatic numbers of Kneser graphs
Authors:
Gabriela Araujo-Pardo,
Juan Carlos Díaz-Patiño,
Christian Rubio-Montiel
Abstract:
Complete colorings have the property that any two color classes has at least an edge between them. Parameters such as the Grundy, achromatic and pseudoachromatic numbers comes from complete colorings, with some additional requirement. In this paper, we estimate these numbers in the Kneser graph $K(n,k)$ for some values of $n$ and $k$. We give the exact value of the achromatic number of $K(n,2)$.
Complete colorings have the property that any two color classes has at least an edge between them. Parameters such as the Grundy, achromatic and pseudoachromatic numbers comes from complete colorings, with some additional requirement. In this paper, we estimate these numbers in the Kneser graph $K(n,k)$ for some values of $n$ and $k$. We give the exact value of the achromatic number of $K(n,2)$.
△ Less
Submitted 12 February, 2021; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Achromatic number, achromatic index and diachromatic number of circulant graphs and digraphs
Authors:
Gabriela Araujo-Pardo,
Juan Jos{\' e} Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $α(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general…
▽ More
In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $α(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general, we give the lower bounds $α(C_{4q^2+aq+1}(1,a))\geq 4q+1$ and $dac(\overrightarrow{C}_{8q^2+2(a+4)q+a+3}(1,a))\geq 4q+3$ when $a$ is a non quadratic residue of $\mathbb{Z}_{4q+1}$ for graphs and $\mathbb{Z}_{4q+3}$ for digraphs, and the equality is attained, in both cases, for $a=3$. Finally, we determine the achromatic index for circulant graphs of $q^2+q+1$ vertices when the projective cyclic plane of odd order $q$ exists.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Chen and Chvátal's Conjecture in tournaments
Authors:
Gabriela Araujo-Pardo,
Martı'n Matamala
Abstract:
In this work we present a version of the so called Chen and Chvátal's conjecture for directed graphs. A line of a directed graph D is defined by an ordered pair (u, v), with u and v two distinct vertices of D, as the set of all vertices w such that u, v, w belong to a shortest directed path in D containing a shortest directed path from u to v. A line is empty if there is no directed path from u to…
▽ More
In this work we present a version of the so called Chen and Chvátal's conjecture for directed graphs. A line of a directed graph D is defined by an ordered pair (u, v), with u and v two distinct vertices of D, as the set of all vertices w such that u, v, w belong to a shortest directed path in D containing a shortest directed path from u to v. A line is empty if there is no directed path from u to v. Another option is that a line is the set of all vertices.
The version of the Chen and Chvátal's conjecture we study states that if none of previous options hold, then the number of distinct lines in D is at least its number of vertices. Our main result is that any tournament satisfies this conjecture as well as any orientation of a complete bipartite graph of diameter three.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Scaffold for the polyhedral embedding of cubic graphs
Authors:
Flor Aguilar,
Gabriela Araujo-Pardo,
Natalia García-Colín
Abstract:
Let $G$ be a cubic graph and $Π$ be a polyhedral embedding of this graph. The extended graph, $G^{e},$ of $Π$ is the graph whose set of vertices is $V(G^{e})=V(G)$ and whose set of edges $E(G^{e})$ is equal to $E(G) \cup \mathcal{S}$, where $\mathcal{S}$ is constructed as follows: given two vertices $t_0$ and $t_3$ in $V(G^{e})$ we say $[t_0 t_3] \in \mathcal{S},$ if there is a $3$--path,…
▽ More
Let $G$ be a cubic graph and $Π$ be a polyhedral embedding of this graph. The extended graph, $G^{e},$ of $Π$ is the graph whose set of vertices is $V(G^{e})=V(G)$ and whose set of edges $E(G^{e})$ is equal to $E(G) \cup \mathcal{S}$, where $\mathcal{S}$ is constructed as follows: given two vertices $t_0$ and $t_3$ in $V(G^{e})$ we say $[t_0 t_3] \in \mathcal{S},$ if there is a $3$--path, $(t_0 t_1 t_2 t_3) \in G$ that is a $Π$-- facial subwalk of the embedding. We prove that there is a one to one correspondence between the set of possible extended graphs of $G$ and polyhedral embeddings of $G$.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
Bipartite Biregular Cages and Block Designs
Authors:
Gabriela Araujo-Pardo,
Alejandra Ramos-Rivera,
Robert Jajcay
Abstract:
A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the or…
▽ More
A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the orders of bipartite biregular $(n,m;g)$-graphs, and call the graphs that attain these bounds {\em bipartite biregular Moore cages}.
In parallel with the well-known classical results relating the existence of $k$-regular Moore graphs of even girths $g = 6,8 $ and $12$ to the existence of projective planes, generalized quadrangles, and generalized hexagons, we prove that the existence of $S(2,k,v)$-Steiner systems yields the existence of bipartite biregular $(k,\frac{v-1}{k-1};6)$-Moore cages. Moreover, in the special case of Steiner triple systems (i.e., in the case $k=3$), we completely solve the problem of the existence of $(3,m;6)$-bipartite biregular cages for all integers $m\geq 4$.
Considering girths higher than $6$ and prime powers $s$, we relate the existence of generalized polygons (quadrangles, hexagons and octagons) with the existence of $(n+1,n^2+1;8)$, $(n+1,n^3+1;12)$, and $(n+1,n^2+1;16)$-bipartite biregular Moore cages, respectively. Using this connection, we derive improved upper bounds for the orders of bipartite biregular cages of girths $8$, $12$ and $14$.
△ Less
Submitted 26 July, 2019;
originally announced July 2019.
-
On transversal and 2-packing numbers in uniform linear systems
Authors:
Carlos A. Alfaro,
G. Araujo-Pardo,
C. Rubio-Montiel,
Adrián Vázquez-Ávila
Abstract:
A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$, such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $T$ of points of $P$…
▽ More
A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$, such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $T$ of points of $P$ is a transversal of $(P,\mathcal{L})$ if $T$ intersects any line, and the transversal number, $τ(P,\mathcal{L})$, is the minimum order of a transversal. On the other hand, a 2-packing set of a linear system $(P,\mathcal{L})$ is a set $R$ of lines, such that any three of them have a common point, then the 2-packing number of $(P,\mathcal{L})$, $ν_2(P,\mathcal{L})$, is the size of a maximum 2-packing set. It is known that the transversal number $τ(P,\mathcal{L})$ is bounded above by a quadratic function of $ν_2(P,\mathcal{L})$. An open problem is to haracterize the families of linear systems which satisfies $τ(P,\mathcal{L})\leq λν_2(P,\mathcal{L})$, for some $λ\geq1$. In this paper, we give an infinite family of linear systems $(P,\mathcal{L})$ which satisfies $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})$ with smallest possible cardinality of $\mathcal{L}$, as well as some properties of $r$-uniform intersecting linear systems $(P,\mathcal{L})$, such that $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})=r$. Moreover, we state a characterization of $4$-uniform intersecting linear systems $(P,\mathcal{L})$ with $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})=4$.
△ Less
Submitted 28 March, 2019; v1 submitted 19 March, 2019;
originally announced March 2019.
-
Regular and biregular planar cages
Authors:
Gabriela Araujo-Pardo,
Fidel Barrera-Cruz,
Natalia García-Colín
Abstract:
We study the Cage Problem for regular and biregular planar graphs. A $(k,g)$-graph is a $k$-regular graph with girth $g$. A $(k,g)$-cage is a $(k,g)$-graph of minimum order. It is not difficult to conclude that the regular planar cages are the Platonic Solids. A $(\{r,m\};g)$-graph is a graph of girth $g$ whose vertices have degrees $r$ and $m.$ A $(\{r,m\};g)$-cage is a $(\{r,m\};g)$-graph of min…
▽ More
We study the Cage Problem for regular and biregular planar graphs. A $(k,g)$-graph is a $k$-regular graph with girth $g$. A $(k,g)$-cage is a $(k,g)$-graph of minimum order. It is not difficult to conclude that the regular planar cages are the Platonic Solids. A $(\{r,m\};g)$-graph is a graph of girth $g$ whose vertices have degrees $r$ and $m.$ A $(\{r,m\};g)$-cage is a $(\{r,m\};g)$-graph of minimum order. In this case we determine the triplets of values $(\{r,m\};g)$ for which there exist planar $(\{r,m\};g)$--graphs, for all those values we construct examples. Furthermore, for many triplets $(\{r,m\};g)$ we build the $(\{r,m\};g)$-cages.
△ Less
Submitted 18 November, 2018;
originally announced November 2018.
-
The diachromatic number of digraphs
Authors:
Gabriela Araujo-Pardo,
Juan José Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if eac…
▽ More
We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if each subdigraph induced by each chromatic class is acyclic, and a coloring is complete if for any pair of chromatic classes $x,y$, there is an arc from $x$ to $y$ and an arc from $y$ to $x$. The dichromatic and diachromatic numbers are, respectively, the smallest and the largest number of colors in a complete acyclic coloring. We give some general results for the diachromatic number and study it for tournaments. We also show that the interpolation property for complete acyclic colorings does hold and establish Nordhaus-Gaddum relations.
△ Less
Submitted 6 April, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.
-
On chromatic indices of finite affine spaces
Authors:
Gabriela Araujo-Pardo,
György Kiss,
Christian Rubio-Montiel,
Adrián Vázquez-Ávila
Abstract:
The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when…
▽ More
The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when $n$ is odd the value is bounded by $q^{1.5(n-1)}<ψ'(\mathrm{AG}(n,q))<q^{1.5n-1}$. Moreover, we prove that the achromatic index of $\mathrm{AG}(n,q)$ is $q^{1.5n-1}$ for even $n,$ and we provides the exact values of both indices in the planar case.
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
Complete colorings of planar graphs
Authors:
M. Gabriela Araujo-Pardo,
F. Esteban Contreras-Mendoza,
Sara J. Murillo-García,
Andrea B. Ramos-Tort,
Christian Rubio-Montiel
Abstract:
In this paper, we study the achromatic and the pseudoachromatic numbers of planar and outerplanar graphs as well as planar graphs of girth 4 and graphs embedded on a surface. We give asymptotically tight results and lower bounds for maximal embedded graphs.
In this paper, we study the achromatic and the pseudoachromatic numbers of planar and outerplanar graphs as well as planar graphs of girth 4 and graphs embedded on a surface. We give asymptotically tight results and lower bounds for maximal embedded graphs.
△ Less
Submitted 6 April, 2018; v1 submitted 9 June, 2017;
originally announced June 2017.
-
The strong convexity spectra of grids
Authors:
Gabriela Araujo-Pardo,
César Hernández-Cruz,
Juan José Montellano-Ballesteros
Abstract:
Let $D$ be a connected oriented graph. A set $S \subseteq V(D)$ is convex in $D$ if, for every pair of vertices $x, y \in S$, the vertex set of every $xy$-geodesic, ($xy$ shortest directed path) and every $yx$-geodesic in $D$ is contained in $S$. The convexity number, ${\rm con}(D)$, of a non-trivial oriented graph, $D$, is the maximum cardinality of a proper convex set of $D$. The strong convexit…
▽ More
Let $D$ be a connected oriented graph. A set $S \subseteq V(D)$ is convex in $D$ if, for every pair of vertices $x, y \in S$, the vertex set of every $xy$-geodesic, ($xy$ shortest directed path) and every $yx$-geodesic in $D$ is contained in $S$. The convexity number, ${\rm con}(D)$, of a non-trivial oriented graph, $D$, is the maximum cardinality of a proper convex set of $D$. The strong convexity spectrum of the graph $G$, $S_{SC} (G)$, is the set $\{{ \rm con}(D) \colon\ D {\rm \ is \ a \ strong \ orientation \ of \ } G \}$. In this paper we prove that the problem of determining the convexity number of an oriented graph is $\mathcal{NP}$-complete, even for bipartite oriented graphs of arbitrary large girth, extending previous known results for graphs. We also determine $S_{SC} (P_n \Box P_m)$, for every pair of integers $n,m \ge 2$.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Mixed Cages
Authors:
G. Araujo-Pardo,
C. Hernández-Cruz,
J. J. Montellano-Ballesteros
Abstract:
We introduce the notion of a $[z, r; g]$-mixed cage. A $[z, r; g]$-mixed cage is a mixed graph $G$, $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. In this paper we prove the existence of $[z, r ;g]$-mixed cages and exhibit families of mixed cages for some specific values. We also give lower and upper bounds for some choices of $z, r$ and $g$. In particular we present…
▽ More
We introduce the notion of a $[z, r; g]$-mixed cage. A $[z, r; g]$-mixed cage is a mixed graph $G$, $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. In this paper we prove the existence of $[z, r ;g]$-mixed cages and exhibit families of mixed cages for some specific values. We also give lower and upper bounds for some choices of $z, r$ and $g$. In particular we present the first results on $[z,r;g]$- mixed cages for $z=1$ and any $r\geq 1$ and $g\geq 3$, and for any $z\geq 1$, $r=1$ and $g=4$.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
On line colorings of finite projective spaces
Authors:
Gabriela Araujo-Pardo,
György Kiss,
Christian Rubio-Montiel,
Adrián Vázquez-Ávila
Abstract:
In this paper, we prove lower and upper bounds on the achromatic and the pseudoachromatic indices of the $n$-dimensional finite projective space of order $q$.
In this paper, we prove lower and upper bounds on the achromatic and the pseudoachromatic indices of the $n$-dimensional finite projective space of order $q$.
△ Less
Submitted 28 January, 2021; v1 submitted 22 February, 2017;
originally announced February 2017.
-
A note on Erdös-Faber-Lovász Conjecture and edge coloring of complete graphs
Authors:
Gabriela Araujo-Pardo,
Adrián Vázquez-Ávila
Abstract:
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove…
▽ More
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove the correctness of the conjecture for a new infinite class of $n$-quasiclusters using a specific edge coloring of the complete graph.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Pseudoachromatic and connected-pseudoachromatic indices of the complete graph
Authors:
G. Araujo-Pardo,
C. Rubio-Montiel
Abstract:
A complete $k$-coloring of a graph $G$ is a (not necessarily proper) $k$-coloring of the vertices of $G$, such that each pair of different colors appears in an edge. A complete $k$-coloring is also called connected, if each color class induces a connected subgraph of $G$. The pseudoachromatic index of a graph $G$, denoted by $ψ'(G)$, is the largest $k$ for which the line graph of $G$ has a complet…
▽ More
A complete $k$-coloring of a graph $G$ is a (not necessarily proper) $k$-coloring of the vertices of $G$, such that each pair of different colors appears in an edge. A complete $k$-coloring is also called connected, if each color class induces a connected subgraph of $G$. The pseudoachromatic index of a graph $G$, denoted by $ψ'(G)$, is the largest $k$ for which the line graph of $G$ has a complete $k$-coloring. Analogously the connected-pseudoachromatic index of $G$, denoted by $ψ_c'(G)$, is the largest $k$ for which the line graph of $G$ has a connected and complete $k$-coloring.
In this paper we study these two parameters for the complete graph $K_n$. Our main contribution is to improve the linear lower bound for the connected pseudoachromatic index given by Abrams and Berman [Australas J Combin 60 (2014), 314--324] and provide an upper bound. These two bounds prove that for any integer $n\geq 8$ the order of $ψ_c'(K_n)$ is $n^{3/2}$.
Related to the pseudoachromatic index we prove that for $q$ a power of $2$ and $n=q^2+q+1$, $ψ'(K_n)$ is at least $q^3+2q-3$ which improves the bound $q^3+q$ given by Araujo, Montellano and Strausz [J Graph Theory 66 (2011), 89--97].
△ Less
Submitted 31 March, 2017; v1 submitted 20 November, 2015;
originally announced November 2015.
-
A Family of Dense Mixed Graphs of Diameter $2$
Authors:
Gabriela Araujo-Pardo,
Camino Balbuena,
M. Miller,
M. Ždímalová
Abstract:
A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order.
We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters i…
▽ More
A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order.
We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to $\frac{9q^2-4q+3}{4}$ the defect of these mixed graphs is $({\frac{q-2}{2}})^2-\frac{1}{4}$.
In particular we obtain a known mixed Moore graph of order $18$, undirected degree $3$ and directed degree $1$ called Bosák's graph and a new mixed graph of order $50$, undirected degree $5$ and directed degree $2$, which is proved to be optimal.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
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.
-
A note on the Erdös-Faber-Lovász Conjecture: quasigroups and complete digraphs
Authors:
Gabriela Araujo-Pardo,
Christian Rubio-Montiel,
Adrian Vazquez-Avila
Abstract:
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of…
▽ More
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$.
The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.
△ Less
Submitted 21 September, 2016; v1 submitted 22 August, 2015;
originally announced August 2015.
-
New families of small regular graphs of girth 5
Authors:
E. Abajo,
G. Araujo-Pardo,
C. Balbuena,
M. Bendala
Abstract:
In this paper we are interested in the {\it{Cage Problem}} that consists in constructing regular graphs of given girth $g$ and minimum order. We focus on girth $g=5$, where cages are known only for degrees $k \le 7$. We construct regular graphs of girth $5$ using techniques exposed by Funk [Note di Matematica. 29 suppl.1, (2009) 91 - 114] and Abreu et al. [Discrete Math. 312 (2012), 2832 - 2842] t…
▽ More
In this paper we are interested in the {\it{Cage Problem}} that consists in constructing regular graphs of given girth $g$ and minimum order. We focus on girth $g=5$, where cages are known only for degrees $k \le 7$. We construct regular graphs of girth $5$ using techniques exposed by Funk [Note di Matematica. 29 suppl.1, (2009) 91 - 114] and Abreu et al. [Discrete Math. 312 (2012), 2832 - 2842] to obtain the best upper bounds known hitherto. The tables given in the introduction show the improvements obtained with our results.
△ Less
Submitted 6 August, 2015;
originally announced August 2015.
-
On the pseudoachromatic index of the complete graph III
Authors:
G. Araujo-Pardo,
J. J. Montellano-Ballesteros,
C. Rubio-Montiel,
R. Strausz
Abstract:
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following val…
▽ More
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$.
On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
On $ωψ$-Perfect Graphs
Authors:
G. Araujo-Pardo,
C. Rubio-Montiel
Abstract:
In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ ω, χ, Γ, α, ψ\} $ where $ ω$ is the clique number, $ χ$ is the chromatic number, $ Γ$ is the Grundy number, $ α$ is the achromatic number and $ ψ$ is the pseudoachromatic number.…
▽ More
In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ ω, χ, Γ, α, ψ\} $ where $ ω$ is the clique number, $ χ$ is the chromatic number, $ Γ$ is the Grundy number, $ α$ is the achromatic number and $ ψ$ is the pseudoachromatic number. A graph $ G $ is \emph{$ ab $-perfect}, if for every induced subgraph $ H $ of $G$, $ a(H)$ equals $b(H) $. In this paper, we characterize the $ab$-perfect graphs when $a=ω$ and $b=ψ$.
△ Less
Submitted 24 May, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
A construction of small (q-1)-regular graphs of girth 8
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate
Abstract:
In this note we construct a new infinite family of $(q-1)$-regular graphs of girth $8$ and order $2q(q-1)^2$ for all prime powers $q\ge 16$, which are the smallest known so far whenever $q-1$ is not a prime power or a prime power plus one itself.
In this note we construct a new infinite family of $(q-1)$-regular graphs of girth $8$ and order $2q(q-1)^2$ for all prime powers $q\ge 16$, which are the smallest known so far whenever $q-1$ is not a prime power or a prime power plus one itself.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
A formulation of a (q+1,8)-cage
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate
Abstract:
Let $q\ge 2$ be a prime power. In this note we present a formulation for obtaining the known $(q+1,8)$-cages which has allowed us to construct small $(k,g)$--graphs for $k=q-1, q$ and $g=7,8$. Furthermore, we also obtain smaller $(q,8)$-graphs for even prime power $q$.
Let $q\ge 2$ be a prime power. In this note we present a formulation for obtaining the known $(q+1,8)$-cages which has allowed us to construct small $(k,g)$--graphs for $k=q-1, q$ and $g=7,8$. Furthermore, we also obtain smaller $(q,8)$-graphs for even prime power $q$.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
Colorful Associahedra and Cyclohedra
Authors:
Gabriela Araujo-Pardo,
Isabel Hubard,
Deborah Oliveros,
Egon Schulte
Abstract:
Every n-edge colored n-regular graph G naturally gives rise to a simple abstract n-polytope, the colorful polytope of G, whose 1-skeleton is isomorphic to G. The paper describes colorful polytope versions of the associahedron and cyclohedron. Like their classical counterparts, the colorful associahedron and cyclohedron encode triangulations and flips, but now with the added feature that the diagon…
▽ More
Every n-edge colored n-regular graph G naturally gives rise to a simple abstract n-polytope, the colorful polytope of G, whose 1-skeleton is isomorphic to G. The paper describes colorful polytope versions of the associahedron and cyclohedron. Like their classical counterparts, the colorful associahedron and cyclohedron encode triangulations and flips, but now with the added feature that the diagonals of the triangulations are colored and adjacency of triangulations requires color preserving flips. The colorful associahedron and cyclohedron are derived as colorful polytopes from the edge colored graph whose vertices represent these triangulations and whose colors on edges represent the colors of flipped diagonals.
△ Less
Submitted 17 September, 2014;
originally announced September 2014.
-
The (p,q)-extremal problem and the fractional chromatic number of Kneser hypergraphs
Authors:
Gabriela Araujo-Pardo,
Juan Carlos Díaz-Patiño,
Luis Montejano,
Deborah Oliveros
Abstract:
The problem of computing the chromatic number of Kneser hypergraphs has been extensively studied over the last 40 years and the fractional version of the chromatic number of Kneser hypergraphs is only solved for particular cases. The \emph{$(p,q)$-extremal problem} consists in finding the maximum number of edges on a $k$-uniform hypergraph $\mathcal{H}$ with $n$ vertices such that among any $p$ ed…
▽ More
The problem of computing the chromatic number of Kneser hypergraphs has been extensively studied over the last 40 years and the fractional version of the chromatic number of Kneser hypergraphs is only solved for particular cases. The \emph{$(p,q)$-extremal problem} consists in finding the maximum number of edges on a $k$-uniform hypergraph $\mathcal{H}$ with $n$ vertices such that among any $p$ edges some $q$ of them have no empty intersection. In this paper we have found a link between the fractional chromatic number of Kneser hypergraphs and the $(p,q)$-extremal problem and also solve the $(p,q)$-extremal problem for graphs if $n$ is sufficiently large and $p \geq q \geq 3$ by proposing it as a problem of extremal graph theory. With the aid of this result we calculate the fractional chromatic number of Kneser hypergraphs when they are composed with sets of cardinality 2.
△ Less
Submitted 14 August, 2014;
originally announced August 2014.
-
Geometric achromatic and pseudoachromatic indices
Authors:
O. Aichholzer,
G. Araujo-Pardo,
N. García-Colín,
T. Hackl,
D. Lara,
C. Rubio-Montiel,
J. Urrutia
Abstract:
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. If for each vertex its incident edges have different color, then this maximum is known as achromatic index. Both indices have been widely studied. A geometric graph is a graph drawn in the plane such that its vertices are p…
▽ More
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. If for each vertex its incident edges have different color, then this maximum is known as achromatic index. Both indices have been widely studied. A geometric graph is a graph drawn in the plane such that its vertices are points in general position, and its edges are straight-line segments. In this paper we extend the notion of pseudoachromatic and achromatic indices for geometric graphs, and present results for complete geometric graphs. In particular, we show that for $n$ points in convex position the achromatic index and the pseudoachromatic index of the complete geometric graph are $\lfloor \tfrac{n^2+n}{4} \rfloor$.
△ Less
Submitted 19 March, 2013;
originally announced March 2013.
-
Families of small regular graphs of girth 7
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate,
J. Salas
Abstract:
The first known families of cages arised from the incidence graphs of generalized polygons of order $q$, $q$ a prime power. In particular, $(q+1,6)$--cages have been obtained from the projective planes of order $q$. Morever, infinite families of small regular graphs of girth 5 have been constructed performing algebraic operations on $\mathbb{F}_q$.
In this paper, we introduce some combinatorial…
▽ More
The first known families of cages arised from the incidence graphs of generalized polygons of order $q$, $q$ a prime power. In particular, $(q+1,6)$--cages have been obtained from the projective planes of order $q$. Morever, infinite families of small regular graphs of girth 5 have been constructed performing algebraic operations on $\mathbb{F}_q$.
In this paper, we introduce some combinatorial operations to construct new infinite families of small regular graphs of girth 7 from the $(q+1,8)$--cages arising from the generalized quadrangles of order $q$, $q$ a prime power.
△ Less
Submitted 12 November, 2012;
originally announced November 2012.
-
Biregular cages of girth five
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate,
G. Lopez-Chavez
Abstract:
Let $2 \le r < m$ and $g$ be positive integers. An $({r,m};g)$--graph} (or biregular graph) is a graph with degree set ${r,m}$ and girth $g$, and an $({r,m};g)$-cage (or biregular cage) is an $({r,m};g)$-graph of minimum order $n({r,m};g)$. If $m=r+1$, an $({r,m};g)$-cage is said to be a semiregular cage.
In this paper we generalize the reduction and graph amalgam operations from M. Abreu, G. Ar…
▽ More
Let $2 \le r < m$ and $g$ be positive integers. An $({r,m};g)$--graph} (or biregular graph) is a graph with degree set ${r,m}$ and girth $g$, and an $({r,m};g)$-cage (or biregular cage) is an $({r,m};g)$-graph of minimum order $n({r,m};g)$. If $m=r+1$, an $({r,m};g)$-cage is said to be a semiregular cage.
In this paper we generalize the reduction and graph amalgam operations from M. Abreu, G. Araujo-Pardo, C. Balbuena, D. Labbate (2011) on the incidence graphs of an affine and a biaffine plane obtaining two new infinite families of biregular cages and two new semiregular cages. The constructed new families are $({r,2r-3};5)$-cages for all $r=q+1$ with $q$ a prime power, and $({r,2r-5};5)$-cages for all $r=q+1$ with $q$ a prime. The new semiregular cages are constructed for r=5 and 6 with 31 and 43 vertices respectively.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Colorful Polytopes and Graphs
Authors:
Gabriela Araujo-Pardo,
Isabel Hubard,
Deborah Oliveros,
Egon Schulte
Abstract:
The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combin…
▽ More
The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combinatorial or algebraic structure of the underlying graph G, focussing in particular on aspects of symmetry. Several such families of colorful polytopes are studied including examples derived from a Cayley graph, in particular the graphicahedra, as well as the flag adjacency polytopes and related monodromy polytopes associated with a given abstract polytope. The duals of certain families of colorful polytopes have been important in the topological study of colored triangulations and crystallization of manifolds.
△ Less
Submitted 23 March, 2012;
originally announced March 2012.
-
An explicit formula for obtaining $(q+1,8)$-cages and others small regular graphs of girth 8
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate
Abstract:
Let $q$ be a prime power; $(q+1,8)$-cages have been constructed as incidence graphs of a non-degenerate quadric surface in projective 4-space $P(4, q)$. The first contribution of this paper is a construction of these graphs in an alternative way by means of an explicit formula using graphical terminology. Furthermore by removing some specific perfect dominating sets from a $(q+1,8)$-cage we derive…
▽ More
Let $q$ be a prime power; $(q+1,8)$-cages have been constructed as incidence graphs of a non-degenerate quadric surface in projective 4-space $P(4, q)$. The first contribution of this paper is a construction of these graphs in an alternative way by means of an explicit formula using graphical terminology. Furthermore by removing some specific perfect dominating sets from a $(q+1,8)$-cage we derive $k$-regular graphs of girth 8 for $k= q-1$ and $k=q$, having the smallest number of vertices known so far.
△ Less
Submitted 14 November, 2011;
originally announced November 2011.
-
Families of Small Regular Graphs of Girth 5
Authors:
M. Abreu,
G. Araujo-Pardo,
C. Balbuena,
D. Labbate
Abstract:
In this paper we obtain $(q+3)$--regular graphs of girth 5 with fewer vertices than previously known ones for $q=13,17,19$ and for any prime $q \ge 23$ performing operations of reductions and amalgams on the Levi graph $B_q$ of an elliptic semiplane of type ${\cal C}$. We also obtain a 13-regular graph of girth 5 on 236 vertices from $B_{11}$ using the same technique.
In this paper we obtain $(q+3)$--regular graphs of girth 5 with fewer vertices than previously known ones for $q=13,17,19$ and for any prime $q \ge 23$ performing operations of reductions and amalgams on the Levi graph $B_q$ of an elliptic semiplane of type ${\cal C}$. We also obtain a 13-regular graph of girth 5 on 236 vertices from $B_{11}$ using the same technique.
△ Less
Submitted 14 November, 2011;
originally announced November 2011.
-
The Graphicahedron
Authors:
Gabriela Araujo-Pardo,
Maria Del Rio-Francos,
Mariana Lopez-Dudet,
Deborah Oliveros,
Egon Schulte
Abstract:
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a g…
▽ More
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.