Coloring and covering problems on graphs

The \emph{separation dimension} of a graph $G$, written $\pi(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 \emph{fractional separation dimension} $\pi_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, we show fractional separation dimension is bounded: always $\pi_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $\pi_f(K_{m,m})=\pi_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $\pi_f(G)$ for cycles and some complete tripartite graphs. We show that $\pi_f(G)<\sqrt{2}$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$. We conjecture that when $n=3m$ the $K_4$-free $n$-vertex graph maximizing $\pi_f(G)$ is $K_{m,m,m}$. We also consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $\pi^\circ(G)$ be the number of circular orderings needed to separate all pairs, and let $\pi_f^\circ(G)$ be the fractional version. Among our results: (1) $\pi^\circ(G)=1$ if and only $G$ is outerplanar. (2) $\pi^\circ(G)\le2$ when $G$ is bipartite. (3) $\pi^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $\pi_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $\pi_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$. A \emph{star $k$-coloring} is a proper $k$-coloring where the union of any 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 \emph{\Ifp}. We use discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an \Ifp, which is sharp and improves the result of Bu, Cranston, Montassier, Raspaud, and Wang (2009). As a corollary, we gain that every planar graph with girth at least 10 has a star 4-coloring. A proper vertex coloring of a graph $G$ is \emph{$r$-dynamic} if for each $v\in V(G)$, at least $\min\{r,d(v)\}$ colors appear in $N_G(v)$. We investigate $3$-dynamic versions of coloring and list coloring. We prove that planar and toroidal graphs are 3-dynamically 10-choosable, and this bound is sharp for toroidal graphs. Given a proper total $k$-coloring $c$ of a graph $G$, we define the \emph{sum 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 sum values form a proper coloring is the \emph{neighbor sum distinguishing total chromatic number} $\chi''_{\Sigma}(G)$. Pil{\'s}niak and Wo{\'z}niak~(2013) conjectured that $\chi''_{\Sigma}(G)\leq \Delta(G)+3$ for any simple graph with maximum degree $\Delta(G)$. We prove this bound to be asymptotically correct by showing that $\chi''_{\Sigma}(G)\leq \Delta(G)(1+o(1))$. The main idea of our argument relies on Przyby{\l}o's proof (2014) for neighbor sum distinguishing edge-coloring

Dagstuhl Reports : Volume 1, Issue 2, February 2011

Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061) : Simone Fischer-Hübner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris and Michael Marhöfer Self-Repairing Programs (Dagstuhl Seminar 11062) : Mauro Pezzé, Martin C. Rinard, Westley Weimer and Andreas Zeller Theory and Applications of Graph Searching Problems (Dagstuhl Seminar 11071) : Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer and Dimitrios M. Thilikos Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081) : Maxime Crochemore, Lila Kari, Mehryar Mohri and Dirk Nowotka Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091) Klaus Jansen, Claire Mathieu, Hadas Shachnai and Neal E. Youn

Laplace\u27s Equation in Fractional-Dimension Spaces

The correct way to model gravity is a question in physics whose answer continues to elude our understanding. One major difficulty is the dark matter problem, which exists due to the mass discrepancy between predicted and measured values in our universe. One possible solution to this problem is Modified Newtonian Dynamics (MOND). MOND is an alternative gravity model that modifies Newtonian Dynamics with the hope to avoid the necessity of dark matter. Dr. Varieschi has done work connecting MOND to Newtonian Fractional-Dimension Gravity—the application of fractional calculus and fractional mechanics to classical gravitation laws. In this formulation, we can consider dimension (D) to be somewhere between 1 and 3. Laplace’s equation has already been found in the spherical coordinate system for this model, but the cylindrical case has not been explored. My work will answer two questions: “What is Laplace’s equation in cylindrical coordinates for varying fractional dimensions?” and “How can this result be applied to model galactic systems?” First, I conducted a thorough review of Laplace’s equation in spherical coordinates for both the three-dimensional and fractional-dimensional cases. I then compared these two cases and analyzed the results of that comparison. Then, I utilized Mathematica to determine Laplace’s equation in cylindrical coordinates. Finally, I applied the equation I found to galactic models, concluding that this formulation might be a promising start towards modeling gravity correctly