An exact solution on the ferromagnetic Face-Cubic spin model on a Bethe lattice

The lattice spin model with $Q$--component discrete spin variables restricted to have orientations orthogonal to the faces of $Q$-dimensional hypercube is considered on the Bethe lattice, the recursive graph which contains no cycles. The partition function of the model with dipole--dipole and quadrupole--quadrupole interaction for arbitrary planar graph is presented in terms of double graph expansions. The latter is calculated exactly in case of trees. The system of two recurrent relations which allows to calculate all thermodynamic characteristics of the model is obtained. The correspondence between thermodynamic phases and different types of fixed points of the RR is established. Using the technique of simple iterations the plots of the zero field magnetization and quadrupolar moment are obtained. Analyzing the regions of stability of different types of fixed points of the system of recurrent relations the phase diagrams of the model are plotted. For $Q \leq 2$ the phase diagram of the model is found to have three tricritical points, whereas for $Q> 2$ there are one triple and one tricritical points.Comment: 20 pages, 7 figure

The Complexity of Routing with Few Collisions

We study the computational complexity of routing multiple objects through a network in such a way that only few collisions occur: Given a graph $G$ with two distinct terminal vertices and two positive integers $p$ and $k$, the question is whether one can connect the terminals by at least $p$ routes (e.g. paths) such that at most $k$ edges are time-wise shared among them. We study three types of routes: traverse each vertex at most once (paths), each edge at most once (trails), or no such restrictions (walks). We prove that for paths and trails the problem is NP-complete on undirected and directed graphs even if $k$ is constant or the maximum vertex degree in the input graph is constant. For walks, however, it is solvable in polynomial time on undirected graphs for arbitrary $k$ and on directed graphs if $k$ is constant. We additionally study for all route types a variant of the problem where the maximum length of a route is restricted by some given upper bound. We prove that this length-restricted variant has the same complexity classification with respect to paths and trails, but for walks it becomes NP-complete on undirected graphs

Visibility Representations of Boxes in 2.5 Dimensions

We initiate the study of 2.5D box visibility representations (2.5D-BR) where vertices are mapped to 3D boxes having the bottom face in the plane $z=0$ and edges are unobstructed lines of sight parallel to the $x$- or $y$-axis. We prove that: $(i)$ Every complete bipartite graph admits a 2.5D-BR; $(ii)$ The complete graph $K_n$ admits a 2.5D-BR if and only if $n \leq 19$; $(iii)$ Every graph with pathwidth at most $7$ admits a 2.5D-BR, which can be computed in linear time. We then turn our attention to 2.5D grid box representations (2.5D-GBR) which are 2.5D-BRs such that the bottom face of every box is a unit square at integer coordinates. We show that an $n$-vertex graph that admits a 2.5D-GBR has at most $4n - 6 \sqrt{n}$ edges and this bound is tight. Finally, we prove that deciding whether a given graph $G$ admits a 2.5D-GBR with a given footprint is NP-complete. The footprint of a 2.5D-BR $\Gamma$ is the set of bottom faces of the boxes in $\Gamma$.Comment: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016