Local Boxicity, Local Dimension, and Maximum Degree

In this paper, we focus on two recently introduced parameters in the literature, namely `local boxicity' (a parameter on graphs) and `local dimension' (a parameter on partially ordered sets). We give an `almost linear' upper bound for both the parameters in terms of the maximum degree of a graph (for local dimension we consider the comparability graph of a poset). Further, we give an $O(n\Delta^2)$ time deterministic algorithm to compute a local box representation of dimension at most $3\Delta$ for a claw-free graph, where $n$ and $\Delta$ denote the number of vertices and the maximum degree, respectively, of the graph under consideration. We also prove two other upper bounds for the local boxicity of a graph, one in terms of the number of vertices and the other in terms of the number of edges. Finally, we show that the local boxicity of a graph is upper bounded by its `product dimension'.Comment: 11 page

Increasing United States Investment in Foreign Securities: An Evaluation of SEC Rule 144A

The dimension of a poset $P$ is the minimum number of total orders whose intersection is $P$. We prove that the dimension of every poset whose comparability graph has maximum degree $\Delta$ is at most $\Delta \log ^{1+o(1)} \Delta$. This result improves on a 30-year old bound of Füredi and Kahn and is within a $\log ^{o(1)}\Delta$ factor of optimal. We prove this result via the notion of boxicity. The boxicity of a graph $G$ is the minimum integer $d$ such that $G$ is the intersection graph of $d$-dimensional axis-aligned boxes. We prove that every graph with maximum degree $\Delta$ has boxicity at most $\Delta \log ^{1+o(1)} \Delta$, which is also within a $\log ^{o(1)}\Delta$ factor of optimal. We also show that the maximum boxicity of graphs with Euler genus $g$ is $\Theta (\sqrt {g \log g})$, which solves an open problem of Esperet and Joret and is tight up to a constant factor

On (2,3)-agreeable Box Societies

The notion of $(k,m)$-agreeable society was introduced by Deborah Berg et al.: a family of convex subsets of $\R^d$ is called $(k,m)$-agreeable if any subfamily of size $m$ contains at least one non-empty $k$-fold intersection. In that paper, the $(k,m)$-agreeability of a convex family was shown to imply the existence of a subfamily of size $\beta n$ with non-empty intersection, where $n$ is the size of the original family and $\beta\in[0,1]$ is an explicit constant depending only on $k,m$ and $d$. The quantity $\beta(k,m,d)$ is called the minimal \emph{agreement proportion} for a $(k,m)$-agreeable family in $\R^d$. If we only assume that the sets are convex, simple examples show that $\beta=0$ for $(k,m)$-agreeable families in $\R^d$ where $k<d$. In this paper, we introduce new techniques to find positive lower bounds when restricting our attention to families of $d$-boxes, i.e. cuboids with sides parallel to the coordinates hyperplanes. We derive explicit formulas for the first non-trivial case: the case of $(2,3)$-agreeable families of $d$-boxes with $d\geq 2$.Comment: 15 pages, 10 figure

Boxicity and separation dimension

A family $\mathcal{F}$ of permutations of the vertices of a hypergraph $H$ is called 'pairwise suitable' for $H$ if, for every pair of disjoint edges in $H$, there exists a permutation in $\mathcal{F}$ in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for $H$ is called the 'separation dimension' of $H$ and is denoted by $\pi(H)$. Equivalently, $\pi(H)$ is the smallest natural number $k$ so that the vertices of $H$ can be embedded in $\mathbb{R}^k$ such that any two disjoint edges of $H$ can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph $H$ is equal to the 'boxicity' of the line graph of $H$. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.Comment: This is the full version of a paper by the same name submitted to WG-2014. Some results proved in this paper are also present in arXiv:1212.6756. arXiv admin note: substantial text overlap with arXiv:1212.675

Revisiting Interval Graphs for Network Science

The vertices of an interval graph represent intervals over a real line where overlapping intervals denote that their corresponding vertices are adjacent. This implies that the vertices are measurable by a metric and there exists a linear structure in the system. The generalization is an embedding of a graph onto a multi-dimensional Euclidean space and it was used by scientists to study the multi-relational complexity of ecology. However the research went out of fashion in the 1980s and was not revisited when Network Science recently expressed interests with multi-relational networks known as multiplexes. This paper studies interval graphs from the perspective of Network Science