Showing 1–30 of 30 results for author: Krop, E

The Cordiality Game and the Game Cordiality Number

Authors: Elliot Krop, Aryan Mittal, Michael C. Wigal

Abstract: The cordiality game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting \track{unlabeled} vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the n… ▽ More The cordiality game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting \track{unlabeled} vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the number of edges with different labels as much as possible while Impish attempts to maximize this number. When both Admirable and Impish play their optimal games, we define the \emph{game cordiality number}, $c_g(G)$, as the absolute difference between the number of edges labeled zero and one. Let $P_n$ be the path on $n$ vertices. We show $c_g(P_n)\le \frac{n-3}{3}$ when $n \equiv 0 \pmod 3$, $c_g(P_n)\le \frac{n-1}{3}$ when $n \equiv 1 \pmod 3$, and $c_g(P_n)\le \frac{n+1}{3}$ when $n \equiv 2\pmod 3$. Furthermore, we show a similar bound, $c_g(T) \leq \frac{|T|}{2}$ holds for any tree $T$. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 12 pages

Grundy domination of forests and the strong product conjecture

Authors: Kayla Bell, Keith Driscoll, Elliot Krop, Kimber Wolff

Abstract: A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the no… ▽ More A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 17 pages

MSC Class: 05C69; 05C76

Journal ref: The Electronic Journal of Combinatorics 28(2) (2021), #P2.12

Upper bounds for inverse domination in graphs

Authors: Elliot Krop, Jessica McDonald, Gregory J. Puleo

Abstract: In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also p… ▽ More In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also prove that the conjecture holds whenever $γ(G)\leq 5$ or $|V(G)|\leq 16$. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 05C69

Journal ref: Theory and Applications of Graphs, 8(2): Article 5, (2021)

A Vizing-type result for semi-total domination

Authors: John Asplund, Randy Davila, Elliot Krop

Abstract: A set of vertices $S$ in a simple isolate-free graph $G$ is a semi-total dominating set of $G$ if it is a dominating set of $G$ and every vertex of $S$ is within distance 2 or less with another vertex of $S$. The semi-total domination number of $G$, denoted by $γ_{t2}(G)$, is the minimum cardinality of a semi-total dominating set of $G$. In this paper, we study semi-total domination of Cartesian p… ▽ More A set of vertices $S$ in a simple isolate-free graph $G$ is a semi-total dominating set of $G$ if it is a dominating set of $G$ and every vertex of $S$ is within distance 2 or less with another vertex of $S$. The semi-total domination number of $G$, denoted by $γ_{t2}(G)$, is the minimum cardinality of a semi-total dominating set of $G$. In this paper, we study semi-total domination of Cartesian products of graphs. Our main result establishes that for any graphs $G$ and $H$, $γ_{t2}(G\,\square\, H)\ge \frac{1}{3}γ_{t2}(G)γ_{t2}(H)$. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: 9 pages

MSC Class: 05C69

Journal ref: Discrete Applied Mathematics 258: 8-12, (2019)

On a Vizing-type integer domination conjecture

Authors: Randy Davila, Elliot Krop

Abstract: Given a simple graph $G$, a dominating set in $G$ is a set of vertices $S$ such that every vertex not in $S$ has a neighbor in $S$. Denote the domination number, which is the size of any minimum dominating set of $G$, by $γ(G)$. For any integer $k\ge 1$, a function $f : V (G) \rightarrow \{0, 1, . . ., k\}$ is called a \emph{$\{k\}$-dominating function} if the sum of its function values over any c… ▽ More Given a simple graph $G$, a dominating set in $G$ is a set of vertices $S$ such that every vertex not in $S$ has a neighbor in $S$. Denote the domination number, which is the size of any minimum dominating set of $G$, by $γ(G)$. For any integer $k\ge 1$, a function $f : V (G) \rightarrow \{0, 1, . . ., k\}$ is called a \emph{$\{k\}$-dominating function} if the sum of its function values over any closed neighborhood is at least $k$. The weight of a $\{k\}$-dominating function is the sum of its values over all the vertices. The $\{k\}$-domination number of $G$, $γ_{\{k\}}(G)$, is defined to be the minimum weight taken over all $\{k\}$-domination functions. Brešar, Henning, and Klavžar (On integer domination in graphs and Vizing-like problems. \emph{Taiwanese J. Math.} {10(5)} (2006) pp. 1317--1328) asked whether there exists an integer $k\ge 2$ so that $γ_{\{k\}}(G\square H)\ge γ(G)γ(H)$. In this note we use the Roman $\{2\}$-domination number, $γ_{R2}$ of Chellali, Haynes, Hedetniemi, and McRae, (Roman $\{2\}$-domination. \emph{Discrete Applied Mathematics} {204} (2016) pp. 22-28.) to prove that if $G$ is a claw-free graph and $H$ is an arbitrary graph, then $γ_{\{2\}}(G\square H)\ge γ_{R2}(G\square H)\ge γ(G)γ(H)$, which also implies the conjecture for all $k\ge 2$. △ Less

Submitted 7 July, 2020; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 8 pages

MSC Class: 05C69; 05C76

Journal ref: Theory and Applications of Graphs: Vol. 7 : Iss. 1 , Article 4, 2020

Vizing-type bounds for graphs with induced subgraph restrictions

Authors: Elliot Krop, Pritul Patel, Gaspar Porta

Abstract: For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer… ▽ More For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer $r\geq 2$, then for any graph $H$, $γ(G\square H)\geq \frac{r-1}{2r-3}γ(G)γ(H)$. We do this by bounding the power of $G$, $π(G)$. We show that if $G$ is claw-free and $P_6$-free or $K_4$ and $P_5$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. Furthermore, we show Vizing-type bounds in terms of the diameter of $G$. △ Less

Submitted 14 May, 2017; originally announced May 2017.

Comments: 9 pages

MSC Class: 05C69

Vizing's conjecture for cographs

Authors: Elliot Krop

Abstract: We show that if $G$ is a cograph, that is $P_4$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. By the characterization of cographs as a finite sequence of unions and joins of $K_1$, this result easily follows from that of Bartsalkin and German. However, the techniques used are new and may be useful to prove other results. We show that if $G$ is a cograph, that is $P_4$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. By the characterization of cographs as a finite sequence of unions and joins of $K_1$, this result easily follows from that of Bartsalkin and German. However, the techniques used are new and may be useful to prove other results. △ Less

Submitted 3 October, 2016; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 6 pages, 2 figures. Since cographs are disjoint unions of graphs with domination numbers one or two, this result is implied by the work of Bartsalkin and German. However, the techniques presented are new and may be useful to other researchers in the field

A new bound for Vizing's conjecture

Authors: Elliot Krop

Abstract: For any graph $G$, we define the power $π(G)$ as the minimum of the largest number of neighbors in a $γ$-set of $G$, of any vertex, taken over all $γ$-sets of $G$. We show that $γ(G\square H)\geq \frac{π(G)}{2π(G) -1}γ(G)γ(H)$. This implies that for any graphs $G$ and $H$, $γ(G\square H)\geq \frac{γ(G)}{2γ(G)-1}γ(G)γ(H)$, and if $G$ is claw-free or $P_4$-free,… ▽ More For any graph $G$, we define the power $π(G)$ as the minimum of the largest number of neighbors in a $γ$-set of $G$, of any vertex, taken over all $γ$-sets of $G$. We show that $γ(G\square H)\geq \frac{π(G)}{2π(G) -1}γ(G)γ(H)$. This implies that for any graphs $G$ and $H$, $γ(G\square H)\geq \frac{γ(G)}{2γ(G)-1}γ(G)γ(H)$, and if $G$ is claw-free or $P_4$-free, $γ(G\square H)\geq \frac{2}{3}γ(G)γ(H)$, where $γ(G)$ is the domination number of $G$. △ Less

Submitted 6 August, 2016; originally announced August 2016.

Comments: 7 pages

Vizing's conjecture: a two-thirds bound for claw-free graphs

Authors: Elliot Krop

Abstract: We show that for any claw-free graph $G$ and any graph $H$, $γ(G\square H)\geq \frac{2}{3}γ(G)γ(H)$, where $γ(G)$ is the domination number of $G$. We show that for any claw-free graph $G$ and any graph $H$, $γ(G\square H)\geq \frac{2}{3}γ(G)γ(H)$, where $γ(G)$ is the domination number of $G$. △ Less

Submitted 29 June, 2017; v1 submitted 23 July, 2016; originally announced July 2016.

Comments: 7 pages

MSC Class: 05C69

Journal ref: Discrete Applied Mathematics 230: 162-165, (2017)

All trees are six-cordial

Authors: Keith Driscoll, Elliot Krop, Michelle Nguyen

Abstract: For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other. We prove that… ▽ More For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other. We prove that all trees are six-cordial by an adjustment of the test proposed by Hovey (1991) to show all trees are $k$-cordial. △ Less

Submitted 1 May, 2017; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 16 pages, 12 figures

MSC Class: 05C78

Journal ref: Electronic Journal of Graph Theory and Applications, 5(1) (2017), 21-35

A class of graphs approaching Vizing's conjecture

Authors: Aziz Contractor, Elliot Krop

Abstract: For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we define cla… ▽ More For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we define classes of graphs $\mathcal{A}_n$, for $n\geq 0$, so that every graph belongs to some such class, and $\mathcal{A}_0$ corresponds to class $A$ of Bartsalkin and German. We prove that for any graph $G$ in class $\mathcal{A}_1$, $γ(G\square H)\geq \left(γ(G)-\sqrt{γ(G)}\right)γ(H)$. △ Less

Submitted 4 April, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: 7 pages in Theory and Applications of Graphs: Vol. 3: Iss. 1, Article 4 (2016)

MSC Class: 05C69

Vizing's Conjecture for Almost All Pairs of Graphs

Authors: Aziz Contractor, Elliot Krop

Abstract: For any graph $G=(V,E)$, a subset $S\subseteq V$ $dominates$ $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove that if… ▽ More For any graph $G=(V,E)$, a subset $S\subseteq V$ $dominates$ $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove that if $\left|G\right|\geq γ(G)γ(H)$ and $\left|H\right|\geq γ(G)γ(H)$, then the conjecture holds. This result quickly implies Vizing's conjecture for almost all pairs of graphs $G,H$ with $\left|G\right|\geq \left|H\right|$, satisfying $\left|G\right|\leq q^{\frac{\left|H\right|}{\log_q\left|H\right|}}$ for $q=\frac{1}{1-p}$ and $p$ the edge probability of the Erdős-Rényi random graph. △ Less

Submitted 2 February, 2015; originally announced February 2015.

Comments: 5 pages

A counterexample to a conjecture of Ghosh

Authors: Hung Hua, Elliot Krop, Christopher Raridan

Abstract: We answer two questions of Shamik Ghosh in the negative. We show that there exists a lobster tree of diameter less than 6 which accepts no alpha-labeling with two central vertices labeled by the critical number and the maximum vertex label. We also show a simple example of a tree of diameter 4, with an even degree central vertex which does not accept a maximum label in any graceful labeling. We answer two questions of Shamik Ghosh in the negative. We show that there exists a lobster tree of diameter less than 6 which accepts no alpha-labeling with two central vertices labeled by the critical number and the maximum vertex label. We also show a simple example of a tree of diameter 4, with an even degree central vertex which does not accept a maximum label in any graceful labeling. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 4 pages

On small Mixed Pattern Ramsey numbers

Authors: Marcus Bartlett, Elliot Krop, Thuhong Nguyen, Michael Ngo, Petra President

Abstract: We call the minimum order of any complete graph so that for any coloring of the edges by $k$ colors it is impossible to avoid a monochromatic or rainbow triangle, a Mixed Ramsey number. For any graph $H$ with edges colored from the above set of $k$ colors, if we consider the condition of excluding $H$ in the above definition, we produce a \emph{Mixed Pattern Ramsey number}, denoted $M_k(H)$. We de… ▽ More We call the minimum order of any complete graph so that for any coloring of the edges by $k$ colors it is impossible to avoid a monochromatic or rainbow triangle, a Mixed Ramsey number. For any graph $H$ with edges colored from the above set of $k$ colors, if we consider the condition of excluding $H$ in the above definition, we produce a \emph{Mixed Pattern Ramsey number}, denoted $M_k(H)$. We determine this function in terms of $k$ for all colored $4$-cycles and all colored $4$-cliques. We also find bounds for $M_k(H)$ when $H$ is a monochromatic odd cycles, or a star for sufficiently large $k$. We state several open questions. △ Less

Submitted 15 March, 2014; originally announced March 2014.

Comments: 16 pages

Lobsters with an almost perfect matching are graceful

Authors: Elliot Krop

Abstract: Let $T$ be a lobster with a matching that covers all but one vertex. We show that in this case, $T$ is graceful. Let $T$ be a lobster with a matching that covers all but one vertex. We show that in this case, $T$ is graceful. △ Less

Submitted 17 February, 2014; originally announced February 2014.

Comments: 4 pages

Improved Bounds for Relaxed Graceful Trees

Authors: Christian Barrientos, Elliot Krop

Abstract: We introduce left and right-layered trees as trees with a specific representation and define the excess of a tree. Applying these ideas, we show a range-relaxed graceful labeling which improves on the upper bound for maximum vertex label given by Van Bussel. For the case when the tree is a lobster of size $m$ and diameter $d$, the labeling produces vertex labels no greater than… ▽ More We introduce left and right-layered trees as trees with a specific representation and define the excess of a tree. Applying these ideas, we show a range-relaxed graceful labeling which improves on the upper bound for maximum vertex label given by Van Bussel. For the case when the tree is a lobster of size $m$ and diameter $d$, the labeling produces vertex labels no greater than $\frac{3}{2}m-\frac{1}{2}d$. Furthermore, we show that any lobster $T$ with $m$ edges and diameter $d$ has an edge-relaxed graceful bipartite labeling with at least $\max\{\frac{3m-d+6}{4},\frac{5m+d+15}{8}\}$ of the edge weights distinct, which is an improvement on a bound given by Rosa and Širáň on the $α$-size of trees, for $d<\frac{m+22}{7}$ and $d>\frac{5m-65}{7}$. We also show that there exists an edge-relaxed graceful labeling (not necessarily bipartite) with at least $\max\left\{\frac{3}{4}m+\frac{d-ν}{8}+\frac{3}{2},ν\right\}$ of the edge weights distinct, where $ν$ is twice the size of a partial matching of $T$. This is an improvement on the gracesize bound of Rosa and Širáň for certain values of $ν$ and $d$. We view these results as a step towards Bermond's conjecture. △ Less

Submitted 23 November, 2016; v1 submitted 2 February, 2014; originally announced February 2014.

Comments: 17 pages, 4 figures

MSC Class: 05C78

Journal ref: Graphs and Combinatorics 33: 287-305, (2017)

A Solution to the Edge-Balanced Index Set Problem for Complete Odd Bipartite Graphs

Authors: E. Krop, S. Minion, P. Patel, C. Raridan

Abstract: In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets (EBI) of complete bipartite graphs K_{m,n} by solving the cases where n = 1, 2, 3, 4, and 5, and also the case where m = n. In 2011, Krop and Sikes expanded upon that work by finding EBI(K_{m,m-2a}) for odd m > 5 and 1 <= a <= (m-3)/4. In this paper, we provide a general solution to the edge-balanced ind… ▽ More In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets (EBI) of complete bipartite graphs K_{m,n} by solving the cases where n = 1, 2, 3, 4, and 5, and also the case where m = n. In 2011, Krop and Sikes expanded upon that work by finding EBI(K_{m,m-2a}) for odd m > 5 and 1 <= a <= (m-3)/4. In this paper, we provide a general solution to the edge-balanced index set problem for all complete odd bipartite graphs, thereby concluding the problem for this case. △ Less

Submitted 30 July, 2013; originally announced July 2013.

Comments: 7 pages, no figures. This paper has been accepted for publication in the Bulletin of the Institute of Combinatorics and Its Applications

MSC Class: 05C78; 05C25

Appendix for almost-rainbow edge-colorings of some small subgraphs

Authors: Elliot Krop, Irina Krop

Abstract: This appendix for our article, "Almost-rainbow edge-colorings of some small subgraphs", contains the full proof of Theorem 4.1. This appendix for our article, "Almost-rainbow edge-colorings of some small subgraphs", contains the full proof of Theorem 4.1. △ Less

Submitted 20 September, 2012; v1 submitted 19 December, 2011; originally announced December 2011.

Comments: 26 pages

A brief, simple proof of Vizing's conjecture

Authors: Elliot Krop

Abstract: For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove the… ▽ More For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove the conjecture. △ Less

Submitted 16 September, 2011; v1 submitted 4 September, 2011; originally announced September 2011.

Comments: This paper has been withdrawn by the author due to a problem with the "label exchange"

On anti-Ramsey numbers for complete bipartite graphs and the Turan function

Authors: Elliot Krop, Michelle York

Abstract: Given two graphs $G$ and $H$ with $H\subseteq G$ we consider the anti-Ramsey function $AR(G,H)$ which is the maximum number of colors in any edge-coloring of $G$ so that every copy of $H$ receives the same color on at least one pair of edges. The classical Turán function for a graph $G$ and family of graphs $\mathcal{F}$, written $ex(G,\mathcal{F})$, is defined as the maximum number of edges of a… ▽ More Given two graphs $G$ and $H$ with $H\subseteq G$ we consider the anti-Ramsey function $AR(G,H)$ which is the maximum number of colors in any edge-coloring of $G$ so that every copy of $H$ receives the same color on at least one pair of edges. The classical Turán function for a graph $G$ and family of graphs $\mathcal{F}$, written $ex(G,\mathcal{F})$, is defined as the maximum number of edges of a subgraph of $G$ not containing any member of $\mathcal{F}$. We show that there exists a constant $c>0$ so that $AR(K_n,K_{s,t})-ex(K_n,K_{s,t})<cn$ and $c$ depends only on $s$ and $t$, which implies $AR(K_n,K_{s,t})\leq cn^{2-\frac{1}{s}}$, for $s\leq t$ by a result of K\H ovari, Sós, and Turán. △ Less

Submitted 18 November, 2015; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: 4 pages This paper has been withdrawn due to an incomplete argument

On super edge-graceful trees of diameter four

Authors: E. Krop, F. Mutiso, C. Raridan

Abstract: In "On the super edge graceful trees of even orders," Chung, Lee, Gao, and Schaffer posed the following problem: Characterize trees of diameter 4 which are super edge-graceful. In this paper, we provide super edge-graceful labelings for all caterpillars and even size lobsters of diameter 4 which permit such labelings. We also provide super edge-graceful labelings for several families of odd size l… ▽ More In "On the super edge graceful trees of even orders," Chung, Lee, Gao, and Schaffer posed the following problem: Characterize trees of diameter 4 which are super edge-graceful. In this paper, we provide super edge-graceful labelings for all caterpillars and even size lobsters of diameter 4 which permit such labelings. We also provide super edge-graceful labelings for several families of odd size lobsters of diameter 4. △ Less

Submitted 15 June, 2011; originally announced June 2011.

Comments: 17 pages, 7 figures

On the Edge-balanced Index Sets of Complete Bipartite Graphs

Authors: Elliot Krop, Keli Sikes

Abstract: Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. The \emph{edge-balanced index set} of the graph $G$, $EBI(G)$, is defined as the absolute difference between the number of vertices incident to more edges labeled… ▽ More Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. The \emph{edge-balanced index set} of the graph $G$, $EBI(G)$, is defined as the absolute difference between the number of vertices incident to more edges labeled 1 and the number of vertices incident to more edges labeled 0 over all edge-friendly labelings $f$. In 2009, Lee, Kong, and Wang \cite{LeeKongWang} found the $EBI(K_{l,n})$ for $l=1,2,3,4,5$ as well as $l=n$. We continue the investigation of the $EBI$ of complete bipartite graphs of other orders. △ Less

Submitted 6 June, 2011; originally announced June 2011.

Comments: 10 pages

Some work on a problem of Marco Buratti

Authors: Elliot Krop, Brandi Luongo

Abstract: Marco Buratti's conjecture states that if $p$ is a prime and $L$ a multiset containing $p-1$ non-zero elements from the integers modulo $p$, then there exists a Hamiltonian path in the complete graph of order $p$ with edge lengths in $L$. Say that a multiset satisfying the above conjecture is realizable. We generalize the problem for trees, show that multisets can be realized as trees with diamete… ▽ More Marco Buratti's conjecture states that if $p$ is a prime and $L$ a multiset containing $p-1$ non-zero elements from the integers modulo $p$, then there exists a Hamiltonian path in the complete graph of order $p$ with edge lengths in $L$. Say that a multiset satisfying the above conjecture is realizable. We generalize the problem for trees, show that multisets can be realized as trees with diameter at least one more than the number of distinct elements in the multiset, and affirm the conjecture for multisets of the form $\{φ_k(1)^a, φ_k(2)^b, φ_k(3)^c\}$ where $φ_k(i)=\min\{ki \pmod p, -ki \pmod p\}$. △ Less

Submitted 18 November, 2015; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 6 pages This paper has been withdrawn due to some mistakes

On the number of unlabeled vertices in edge-friendly labelings of graphs

Authors: Elliot Krop, Sin-Min Lee, Christopher Raridan

Abstract: Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. We say an edge-friendly labeling induces a \emph{partial vertex labeling} if vertices which are incident to more edges labeled 1 than 0, are labeled 1, and vertic… ▽ More Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. We say an edge-friendly labeling induces a \emph{partial vertex labeling} if vertices which are incident to more edges labeled 1 than 0, are labeled 1, and vertices which are incident to more edges labeled 0 than 1, are labeled 0. Vertices that are incident to an equal number of edges of both labels we call \emph{unlabeled}. Call a procedure on a labeled graph a \emph{label switching algorithm} if it consists of pairwise switches of labels. Given an edge-friendly labeling of $K_n$, we show a label switching algorithm producing an edge-friendly relabeling of $K_n$ such that all the vertices are labeled. We call such a labeling \textit{opinionated}. △ Less

Submitted 26 March, 2011; originally announced March 2011.

Comments: 7 pages, accepted to Discrete Mathematics, special issue dedicated to Combinatorics 2010

On the edge-balanced index sets of product graphs

Authors: Elliot Krop, Sin-Min Lee, Christopher Raridan

Abstract: We characterize strongly edge regular product graphs and find the edge-balanced index sets of complete bipartite graphs without a perfect matching, the direct product $K_n\times K_2$. We also prove a lemma that is helpful to determine the edge-balanced index sets of regular graphs. We characterize strongly edge regular product graphs and find the edge-balanced index sets of complete bipartite graphs without a perfect matching, the direct product $K_n\times K_2$. We also prove a lemma that is helpful to determine the edge-balanced index sets of regular graphs. △ Less

Submitted 25 March, 2011; originally announced March 2011.

Comments: 8 pages

Journal ref: J. Indones. Math. Soc. Special Edition (2011) p. 71-78

Nonmedian Direct Products of Graphs with Loops

Authors: Elliot Krop, Kristi Clark

Abstract: A \emph{median graph} is a connected graph in which, for every three vertices, there exists a unique vertex $m$ lying on the geodesic between any two of the given vertices. We show that the only median graphs of the direct product $G\times H$ are formed when $G=P_k$, for any integer $k\geq 3$ and $H=P_l$, for any integer $l\geq 2$, with a loop at an end vertex, where the direct product is taken ov… ▽ More A \emph{median graph} is a connected graph in which, for every three vertices, there exists a unique vertex $m$ lying on the geodesic between any two of the given vertices. We show that the only median graphs of the direct product $G\times H$ are formed when $G=P_k$, for any integer $k\geq 3$ and $H=P_l$, for any integer $l\geq 2$, with a loop at an end vertex, where the direct product is taken over all connected graphs $G$ on at least three vertices or at least two vertices with at least one loop, and connected graphs $H$ with at least one loop. △ Less

Submitted 22 February, 2011; originally announced February 2011.

Comments: Accepted to Ars Combinatoria (August 25, 2010)

Almost-rainbow edge-colorings of some small subgraphs

Authors: Elliot Krop, Irina Krop

Abstract: Let $f(n,p,q)$ be the minimum number of colors necessary to color the edges of $K_n$ so that every $K_p$ is at least $q$-colored. We improve current bounds on the {7/4}n-3$, slightly improving the bound of Axenovich. We make small improvements on bounds of Erd\H os and Gyárfás by showing ${5/6}n+1\leq f(n,4,5)$ and for all even $n\not\equiv 1 \pmod 3$, $f(n,4,5)\leq n-1… ▽ More Let $f(n,p,q)$ be the minimum number of colors necessary to color the edges of $K_n$ so that every $K_p$ is at least $q$-colored. We improve current bounds on the {7/4}n-3$, slightly improving the bound of Axenovich. We make small improvements on bounds of Erd\H os and Gyárfás by showing ${5/6}n+1\leq f(n,4,5)$ and for all even $n\not\equiv 1 \pmod 3$, $f(n,4,5)\leq n-1$ . For a complete bipartite graph $G=K_{n,n}$, we show an n-color construction to color the edges of $G$ so that every $C_4\subseteq G$ is colored by at least three colors. This improves the best known upper bound of M. Axenovich, Z. Füredi, and D. Mubayi. △ Less

Submitted 20 September, 2012; v1 submitted 4 March, 2008; originally announced March 2008.

Comments: 13 pages

MSC Class: 05A15; 05C38; 05C55

Journal ref: Discussiones Mathematicae Graph Theory 33(4), p. 771-784 (2013)

On the Number of Matchings in Regular Graphs

Authors: S. Friedland, E. Krop, K. Markström

Abstract: For the set of graphs with a given degree sequence, consisting of any number of $2's$ and $1's$, and its subset of bipartite graphs, we characterize the optimal graphs who maximize and minimize the number of $m$-matchings. We find the expected value of the number of $m$-matchings of $r$-regular bipartite graphs on $2n$ vertices with respect to the two standard measures. We state and discuss the… ▽ More For the set of graphs with a given degree sequence, consisting of any number of $2's$ and $1's$, and its subset of bipartite graphs, we characterize the optimal graphs who maximize and minimize the number of $m$-matchings. We find the expected value of the number of $m$-matchings of $r$-regular bipartite graphs on $2n$ vertices with respect to the two standard measures. We state and discuss the conjectured upper and lower bounds for $m$-matchings in $r$-regular bipartite graphs on $2n$ vertices, and their asymptotic versions for infinite $r$-regular bipartite graphs. We prove these conjectures for 2-regular bipartite graphs and for $m$-matchings with $m\le 4$. △ Less

Submitted 15 January, 2008; originally announced January 2008.

Comments: 26 pages, 4 figures

MSC Class: 05A15; 05A16; 05C70; 05C80; 82B20

Validations of the Asymptotic Matching Conjectures

Authors: Shmuel Friedland, Elliot Krop, Per Hakan Lundow, Klas Markström

Abstract: In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tor… ▽ More In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tori graphs and give algorithms for computing the monomer-dimer entropy of density $p$, for any $p\in [0,1]$, for these graphs. Finally we use tori graphs to test the asymptotic matching conjectures for certain infinite $r$-regular bipartite graphs. △ Less

Submitted 11 April, 2008; v1 submitted 28 February, 2006; originally announced March 2006.

Comments: 25 pages, 9 figures

MSC Class: 05A15; 05A16; 05C70; 05C80; 82B20

Exact conditions for countable inclusion-exclusion identity and extensions

Authors: Shmuel Friedland, Elliot Krop

Abstract: We give simple necessary and sufficient conditions for the inclusion-exclusion identity to hold for an infinite countable number of sets. In terms of a random variable, whose range are nonnegative integers, this condition is equivalent to the convergence to zero of binomial moments. Some standard extensions of the countable inclusion-exclusion identity are also given. We give simple necessary and sufficient conditions for the inclusion-exclusion identity to hold for an infinite countable number of sets. In terms of a random variable, whose range are nonnegative integers, this condition is equivalent to the convergence to zero of binomial moments. Some standard extensions of the countable inclusion-exclusion identity are also given. △ Less

Submitted 1 February, 2006; originally announced February 2006.

Comments: 4 pages

MSC Class: 05A19; 05A20; 60C05