Abstract:Let $D=(V,A)$ be a digraph whose underlying graph is $2$-edge-connected, and let $P$ be the polytope whose vertices are the incidence vectors of arc sets whose reversal makes $D$ strongly connected. We study the lattice theoretic properties of the integer points contained in a proper face $F$ of $P$ not contained in $\{x:x_a=i\}$ for any $a\in A,i\in \{0,1\}$. We prove under a mild necessary condition that $F\cap \{0,1\}^A$ contains an integral basis $B$, i.e., $B$ is linearly independent, and any integral vector in the linear hull of $F$ is an integral linear combination of $B$. This result is surprising as the integer points in $F$ do not necessarily form a Hilbert basis. In proving the result, we develop a theory similar to Matching Theory for degree-constrained dijoins in bipartite digraphs. Our result has consequences for head-disjoint strong orientations in hypergraphs, and also to a famous conjecture by Woodall that the minimum size of a dicut of $D$, say $\tau$, is equal to the maximum number of disjoint dijoins. We prove a relaxation of this conjecture, by finding for any prime number $p\geq 2$, a $p$-adic packing of dijoins of value $\tau$ and of support size at most $2|A|$. We also prove that the all-ones vector belongs to the lattice generated by $F\cap \{0,1\}^A$, where $F$ is the face of $P$ satisfying $x(\delta^+(U))=1$ for every minimum dicut $\delta^+(U)$.

Strong Embeddings and $2$-Isomorphism

Two conjectures on strong embeddings and 2-isomorphism for graphs

Strong embeddings and -isomorphism

Maximum Genus of Strong Embeddings

Strong Embedding of HP-Graphs on Surface with Higher Genus

L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry

Strong Embeddings of 3-connected Cubic Planar Graphs on Surfaces of non-negative Euler Characteristic

Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs

Minkowski weak embedding theorem

Strong Embeddings of Outer Planar Near-triangulations on Non-orientable Surfaces

The embedding conjecture and the approximation conjecture in higher dimension

Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs.

Isometric embeddings of surfaces for scl

Thick embeddings of graphs into symmetric spaces via coarse geometry

Strong 1-boundedness, $L^2$-Betti numbers, algebraic soficity, and graph products

A Strengthening of Erdős-Gallai Theorem and Proof of Woodall's Conjecture

A structure theorem for strong immersions

Strongly connected orientations and integer lattices

Graph invariants from ideas in physics and number theory

On Dense Strongly Z2s+1-connected Graphs

Thick embeddings into the Heisenberg group and coarse wirings into groups with polynomial growth