-
Decks of rooted binary trees
Authors:
Ann Clifton,
Eva Czabarka,
Audace Dossou-Olory,
Kevin Liu,
Sarah Loeb,
Utku Okur,
Laszlo Szekely,
Kristina Wicke
Abstract:
We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree $T$ refers to the set (resp. multiset) of leaf induced binary subtrees of $T$. On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size requir…
▽ More
We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree $T$ refers to the set (resp. multiset) of leaf induced binary subtrees of $T$. On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on $n$ leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for $k$-universal trees, i.e., rooted binary trees that contain all $k$-leaf rooted binary trees as induced subtrees.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Bridging the Novice-Expert Gap via Models of Decision-Making: A Case Study on Remediating Math Mistakes
Authors:
Rose E. Wang,
Qingyang Zhang,
Carly Robinson,
Susanna Loeb,
Dorottya Demszky
Abstract:
Scaling high-quality tutoring remains a major challenge in education. Due to growing demand, many platforms employ novice tutors who, unlike experienced educators, struggle to address student mistakes and thus fail to seize prime learning opportunities. Our work explores the potential of large language models (LLMs) to close the novice-expert knowledge gap in remediating math mistakes. We contribu…
▽ More
Scaling high-quality tutoring remains a major challenge in education. Due to growing demand, many platforms employ novice tutors who, unlike experienced educators, struggle to address student mistakes and thus fail to seize prime learning opportunities. Our work explores the potential of large language models (LLMs) to close the novice-expert knowledge gap in remediating math mistakes. We contribute Bridge, a method that uses cognitive task analysis to translate an expert's latent thought process into a decision-making model for remediation. This involves an expert identifying (A) the student's error, (B) a remediation strategy, and (C) their intention before generating a response. We construct a dataset of 700 real tutoring conversations, annotated by experts with their decisions. We evaluate state-of-the-art LLMs on our dataset and find that the expert's decision-making model is critical for LLMs to close the gap: responses from GPT4 with expert decisions (e.g., "simplify the problem") are +76% more preferred than without. Additionally, context-sensitive decisions are critical to closing pedagogical gaps: random decisions decrease GPT4's response quality by -97% than expert decisions. Our work shows the potential of embedding expert thought processes in LLM generations to enhance their capability to bridge novice-expert knowledge gaps. Our dataset and code can be found at: \url{https://github.com/rosewang2008/bridge}.
△ Less
Submitted 6 April, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Universal rooted phylogenetic tree shapes and universal tanglegrams
Authors:
Ann Clifton,
Eva Czabarka,
Kevin Liu,
Sarah Loeb,
Utku Okur,
Laszlo Szekely,
Kristina Wicke
Abstract:
We provide an $Ω(n\log n) $ lower bound and an $O(n^2)$ upper bound for the smallest size of rooted binary trees (a.k.a. phylogenetic tree shapes), which are universal for rooted binary trees with $n$ leaves, i.e., contain all of them as induced binary subtrees. We explicitly compute the smallest universal trees for $n\leq 11$. We also provide an $Ω(n^2) $ lower bound and an $O(n^4)$ upper bound f…
▽ More
We provide an $Ω(n\log n) $ lower bound and an $O(n^2)$ upper bound for the smallest size of rooted binary trees (a.k.a. phylogenetic tree shapes), which are universal for rooted binary trees with $n$ leaves, i.e., contain all of them as induced binary subtrees. We explicitly compute the smallest universal trees for $n\leq 11$. We also provide an $Ω(n^2) $ lower bound and an $O(n^4)$ upper bound for the smallest size of tanglegrams, which are universal for size $n$ tanglegrams, i.e., which contain all of them as induced subtanglegrams. Some of our results generalize to rooted $d$-ary trees and to $d$-ary tanglegrams.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Symmetry Parameters of Two-Generator Circulant Graphs
Authors:
Sally Cockburn,
Sarah Loeb
Abstract:
The derived graph of a voltage graph consisting of a single vertex and two loops of different voltages is a circulant graph with two generators. We characterize the automorphism groups of connected, two-generator circulant graphs, and give their determining and distinguishing number, and when relevant, their cost of 2-distinguishing. We do the same for the subdivisions of connected, two-generator…
▽ More
The derived graph of a voltage graph consisting of a single vertex and two loops of different voltages is a circulant graph with two generators. We characterize the automorphism groups of connected, two-generator circulant graphs, and give their determining and distinguishing number, and when relevant, their cost of 2-distinguishing. We do the same for the subdivisions of connected, two-generator circulant graphs obtained by replacing one loop in the voltage graph with a directed cycle.
△ Less
Submitted 14 June, 2024; v1 submitted 27 May, 2023;
originally announced May 2023.
-
Symmetry Parameters of Various Hypercube Families
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
Puck Rombach
Abstract:
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Strategy-indifferent games of best choice
Authors:
Brant Jones,
Katelynn D. Kochalski,
Sarah Loeb,
Julia C. Walk
Abstract:
The game of best choice (or "secretary problem") is a model for making an irrevocable decision among a fixed number of candidate choices that are presented sequentially in random order, one at a time. Because the classically optimal solution is known to reject an initial sequence of candidates, a paradox emerges from the fact that candidates have an incentive to position themselves immediately aft…
▽ More
The game of best choice (or "secretary problem") is a model for making an irrevocable decision among a fixed number of candidate choices that are presented sequentially in random order, one at a time. Because the classically optimal solution is known to reject an initial sequence of candidates, a paradox emerges from the fact that candidates have an incentive to position themselves immediately after this cutoff which challenges the assumption that candidates arrive in uniformly random order.
One way to resolve this is to consider games for which every (reasonable) strategy results in the same probability of success. In this work, we classify these "strategy-indifferent" games of best choice. It turns out that the probability of winning such a game is essentially the reciprocal of the expected number of left-to-right maxima in the full collection of candidate rank orderings. We present some examples of these games based on avoiding permutation patterns of size 3, which involves computing the distribution of left-to-right maxima in each of these pattern classes.
△ Less
Submitted 13 July, 2021; v1 submitted 10 July, 2021;
originally announced July 2021.
-
Symmetry Parameters for Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same paramet…
▽ More
The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same parameters of $G$. These symmetry parameters include determining number, distinguishing number, and cost of distinguishing.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Determining Number and Cost of Generalized Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smal…
▽ More
A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $Dist(G)$. If $Dist(G) = 2$, the cost of 2-distinguishing, $ρ(G)$, is the size of a smallest color class over all 2-distinguishing colorings of $G$. The Mycielskian, $μ(G)$, of a graph $G$ is constructed by adding a shadow master vertex $w$, and for each vertex $v_i$ of $G$ adding a shadow vertex $u_i$ with edges so that the neighborhood of $u_i$ in $μ(G)$ is the same as the neighborhood of $v_i$ in $G$ with the addition of $w$. That is, $N(u_i)=N_G(v_i)\cup\{w\}$. The generalized Mycielskian $μ^{(t)}(G)$ of a graph $G$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below, and $w$ only adjacent to the top layer of shadow vertices. A graph is twin-free if it has no pair of vertices with the same set of neighbors. This paper examines the determining number and, when relevant, the cost of 2-distinguishing for Mycielskians and generalized Mycielskians of simple graphs with no isolated vertices. In particular, if $G \neq K_2$ is twin-free with no isolated vertices, then $Det(μ^{(t)}(G)) = Det(G)$. Further, if $Det(G) = k \geq 2$ and $t \ge k-1$, then $Dist(μ^{(t)}(G))=2$, and $Det(μ^{(t)}(G)) = ρ(μ^{(t)}(G))= k$. For $G$ with twins, we develop a framework using quotient graphs with respect to equivalence classes of twin vertices to give bounds on the determining number of Mycielskians. Moreover, we identify classes of graphs with twins for which $Det(μ^{(t)}(G)) = (t{+}1) Det(G)$.
△ Less
Submitted 8 March, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Distinguishing Generalized Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so t…
▽ More
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so that $N(u_i)~=~N_G(v_i)~\cup~\{w\}$. The generalized Mycielskian $μ_t(G)$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below. This paper examines the distinguishing number of the traditional and generalized Mycielskian graphs. Notably, if $G~\neq ~K_1,~K_2$ and the number of isolated vertices in $μ_t(G)$ is at most $\operatorname{Dist}(G)$, then $\operatorname{Dist}(μ_t(G)) \le \operatorname{Dist}(G)$. This result proves and exceeds a conjecture of Alikhani and Soltani.
△ Less
Submitted 28 January, 2021; v1 submitted 5 June, 2020;
originally announced June 2020.
-
Towards Automatic Detection of Misinformation in Online Medical Videos
Authors:
Rui Hou,
Verónica Pérez-Rosas,
Stacy Loeb,
Rada Mihalcea
Abstract:
Recent years have witnessed a significant increase in the online sharing of medical information, with videos representing a large fraction of such online sources. Previous studies have however shown that more than half of the health-related videos on platforms such as YouTube contain misleading information and biases. Hence, it is crucial to build computational tools that can help evaluate the qua…
▽ More
Recent years have witnessed a significant increase in the online sharing of medical information, with videos representing a large fraction of such online sources. Previous studies have however shown that more than half of the health-related videos on platforms such as YouTube contain misleading information and biases. Hence, it is crucial to build computational tools that can help evaluate the quality of these videos so that users can obtain accurate information to help inform their decisions. In this study, we focus on the automatic detection of misinformation in YouTube videos. We select prostate cancer videos as our entry point to tackle this problem. The contribution of this paper is twofold. First, we introduce a new dataset consisting of 250 videos related to prostate cancer manually annotated for misinformation. Second, we explore the use of linguistic, acoustic, and user engagement features for the development of classification models to identify misinformation. Using a series of ablation experiments, we show that we can build automatic models with accuracies of up to 74%, corresponding to a 76.5% precision and 73.2% recall for misinformative instances.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
DP-3-coloring of planar graphs without $4,9$-cycles and two cycles from $\{5,6,7,8\}$
Authors:
Runrun Liu,
Sarah Loeb,
Martin Rolek,
Yuxue Yin,
Gexin Yu
Abstract:
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note tha…
▽ More
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note that list-coloring results do not always extend to DP-coloring results. Our main result in this paper is to prove that every planar graph without cycles of length $\{4, a, b, 9\}$ for $a, b \in \{6, 7, 8\}$ is DP-$3$-colorable, extending three existing results on $3$-choosability of planar graphs.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
DP-3-coloring of some planar graphs
Authors:
Runrun Liu,
Sarah Loeb,
Yuxue Yin,
Gexin Yu
Abstract:
In this article, we use a unified approach to prove several classes of planar graphs are DP-$3$-colorable, which extend the corresponding results on $3$-choosability.
In this article, we use a unified approach to prove several classes of planar graphs are DP-$3$-colorable, which extend the corresponding results on $3$-choosability.
△ Less
Submitted 19 September, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
On Edge-Colored Saturation Problems
Authors:
Michael Ferrara,
Daniel Johnston,
Sarah Loeb,
Florian Pfender,
Alex Schulte,
Heather C. Smith,
Eric Sullivan,
Michael Tait,
Casey Tompkins
Abstract:
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a…
▽ More
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs
Authors:
Ivan Contreras,
Sarah Loeb,
Chengzheng Yu
Abstract:
In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arisin…
▽ More
In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians.
△ Less
Submitted 26 August, 2017;
originally announced August 2017.
-
Fractional and Circular Separation Dimension of Graphs
Authors:
Sarah J. Loeb,
Douglas B. West
Abstract:
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition…
▽ More
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition allowed) separate every two nonincident edges at least $b$ times.
In contrast to separation dimension, fractional separation dimension is bounded: always $π_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $π_f(K_{m,m})=π_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $π_f(G)$ for cycles and some complete tripartite graphs. We show that $π_f(G)<\sqrt 2$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$.
Finally, we consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $π^\circ(G)$ be the number of circular orderings needed to separate all pairs and $π_f^\circ(G)$ be the fractional version. Among our results: (1) $π^\circ(G)=1$ if and only $G$ is outerplanar. (2) $π^\circ(G)\le2$ when $G$ is bipartite. (3) $π^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $π_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $π_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Dynamic coloring parameters for graphs with given genus
Authors:
Sarah Loeb,
Thomas Mahoney,
Benjamin Reiniger,
Jennifer Wise
Abstract:
A proper vertex coloring of a graph $G$ is $r$-dynamic if for each $v\in V(G)$, at least $\min\{r,d(v)\}$ colors appear in $N_G(v)$. In this paper we investigate $r$-dynamic versions of coloring, list coloring, and paintability. We prove that planar and toroidal graphs are 3-dynamically 10-colorable, and this bound is sharp for toroidal graphs. We also give bounds on the minimum number of colors n…
▽ More
A proper vertex coloring of a graph $G$ is $r$-dynamic if for each $v\in V(G)$, at least $\min\{r,d(v)\}$ colors appear in $N_G(v)$. In this paper we investigate $r$-dynamic versions of coloring, list coloring, and paintability. We prove that planar and toroidal graphs are 3-dynamically 10-colorable, and this bound is sharp for toroidal graphs. We also give bounds on the minimum number of colors needed for any $r$ in terms of the genus of the graph: for sufficiently large $r$, every graph with genus $g$ is $r$-dynamically $((r+1)(g+5)+3)$-colorable when $g\leq2$ and $r$-dynamically $((r+1)(2g+2)+3)$-colorable when $g\geq3$. Furthermore, each of these upper bounds for $r$-dynamic $k$-colorability also holds for $r$-dynamic $k$-choosability and for $r$-dynamic $k$-paintability. We develop a method to prove that certain configurations are reducible for each of the corresponding $r$-dynamic parameters.
△ Less
Submitted 12 November, 2015;
originally announced November 2015.
-
I,F-partitions of Sparse Graphs
Authors:
Axel Brandt,
Michael Ferrara,
Mohit Kumbhat,
Sarah Loeb,
Derrick Stolee,
Matthew Yancey
Abstract:
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and dischar…
▽ More
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an I,F-partition, which is sharp and answers a question of Cranston and West [A guide to the discharging method, arXiv:1306.4434]. This result implies that planar graphs of girth at least 10 are star 4-colorable, improving upon previous results of Bu, Cranston, Montassier, Raspaud, and Wang [Star coloring of sparse graphs, J. Graph Theory 62 (2009), 201-219].
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Asymptotically optimal neighbor sum distinguishing total colorings of graphs
Authors:
Sarah Loeb,
Jakub Przybyło,
Yunfang Tang
Abstract:
Given a proper total $k$-coloring $c:V(G)\cup E(G)\to\{1,2,\ldots,k\}$ of a graph $G$, we define the value of a vertex $v$ to be $c(v) + \sum_{uv \in E(G)} c(uv)$. The smallest integer $k$ such that $G$ has a proper total $k$-coloring whose values form a proper coloring is the neighbor sum distinguishing total chromatic number of $G$, $χ"_Σ(G)$. Pilśniak and Woźniak (2013) conjectured that…
▽ More
Given a proper total $k$-coloring $c:V(G)\cup E(G)\to\{1,2,\ldots,k\}$ of a graph $G$, we define the value of a vertex $v$ to be $c(v) + \sum_{uv \in E(G)} c(uv)$. The smallest integer $k$ such that $G$ has a proper total $k$-coloring whose values form a proper coloring is the neighbor sum distinguishing total chromatic number of $G$, $χ"_Σ(G)$. Pilśniak and Woźniak (2013) conjectured that $χ"_Σ(G)\leq Δ(G)+3$ for any simple graph with maximum degree $Δ(G)$. In this paper, we prove this bound to be asymptotically correct by showing that $χ"_Σ(G)\leq Δ(G)(1+o(1))$. The main idea of our argument relies on Przybyło's proof (2014) regarding neighbor sum distinguishing edge-colorings.
△ Less
Submitted 5 August, 2016; v1 submitted 27 July, 2015;
originally announced July 2015.
-
Fool's Solitaire on Joins and Cartesian Products of Graphs
Authors:
Jennifer Wise,
Sarah Loeb
Abstract:
Peg solitaire is a game generalized to connected graphs by Beeler and Hoilman. In the game pegs are placed on all but one vertex. If $xyz$ form a 3-vertex path and $x$ and $y$ each have a peg but $z$ does not, then we can remove the pegs at $x$ and $y$ and place a peg at $z$. By analogy with the moves in the original game, this is called a jump. The goal of the peg solitaire game on graphs is to f…
▽ More
Peg solitaire is a game generalized to connected graphs by Beeler and Hoilman. In the game pegs are placed on all but one vertex. If $xyz$ form a 3-vertex path and $x$ and $y$ each have a peg but $z$ does not, then we can remove the pegs at $x$ and $y$ and place a peg at $z$. By analogy with the moves in the original game, this is called a jump. The goal of the peg solitaire game on graphs is to find jumps that reduce the number of pegs on the graph to 1.
Beeler and Rodriguez proposed a variant where we instead want to maximize the number of pegs remaining when no more jumps can be made. Maximizing over all initial locations of a single hole, the maximum number of pegs left on a graph $G$ when no jumps remain is the fool's solitaire number $F(G)$. We determine the fool's solitaire number for the join of any graphs $G$ and $H$. For the cartesian product, we determine $F(G \Box K_k)$ when $k \ge 3$ and $G$ is connected and show why our argument fails when $k=2$. Finally, we give conditions on graphs $G$ and $H$ that imply $F(G \Box H) \ge F(G) F(H)$.
△ Less
Submitted 27 February, 2014;
originally announced February 2014.
-
A Dual-Purpose Ion-Accelerator for Nuclear-Reaction-Based Explosives-and SNM-Detection in Massive Cargo
Authors:
M. B. Goldberg,
V. Dangendorf,
D. Vartsky,
D. Bar,
R. Böttger,
M. Brandis,
B. Bromberger,
G. Feldman,
E. Friedman,
D. Heflinger,
R. Lauck,
S. Löb,
P. Maier-Komor,
I. Mardor,
I. Mor,
K. -H. Speidel,
K. Tittelmeier,
M. Weierganz
Abstract:
A dual-purpose ion-accelerator concept, capable of serving as radiation source in a versatile, nuclear-reaction-based cargo inspection system, is presented. The system will automatically and reliably detect small, operationally-relevant quantities of concealed explosives and special nuclear materials (SNM). It will be cost-effective, employing largely-common hardware, but different reactions/DAQ…
▽ More
A dual-purpose ion-accelerator concept, capable of serving as radiation source in a versatile, nuclear-reaction-based cargo inspection system, is presented. The system will automatically and reliably detect small, operationally-relevant quantities of concealed explosives and special nuclear materials (SNM). It will be cost-effective, employing largely-common hardware, but different reactions/DAQ-modes. Typical expected throughput is 10-20 aviation containers/hr.
PACS: 25.20.Dc; 25.40.Ny; 27.20.+n; 29.27.Fh; 79.77.+g; 89.20.Bb; 89.20.Dd
Keywords: Cargo inspection; Nuclear-reaction-based methods; Explosives detection; SNM detection
△ Less
Submitted 19 January, 2010;
originally announced January 2010.