d-Dimensional p-Normed Nowhere-Zero Flows

• d-Dimensional p-normed nowhere-zero flows generalize classical graph flows by assigning nonzero vectors with constrained p-norms to edges while satisfying Kirchhoff's law.
• The framework unifies integer, circular, and vector-valued flows through geometric constructions and oriented cycle double covers in finite bridgeless graphs.
• Key results include sharp bounds on flow numbers across various norms and dimensions, linking combinatorial properties with convex geometric representations.

A $d$-dimensional $p$-normed nowhere-zero flow is a multidimensional generalization of classical graph flows, in which each edge is assigned a vector in $\mathbb{R}^d$ whose $p$-norm lies strictly within a specified annular interval, and the usual Kirchhoff flow-conservation law is enforced at every vertex. This extension simultaneously encompasses and generalizes integer flows, circular flows ($d=1$), and the vector-valued flows of Mattiolo–Mazzuoccolo–Rajn–Tabarelli, providing a unified geometric and combinatorial framework for the study of flow properties in finite bridgeless graphs. The subject incorporates combinatorial graph theory, convex geometry, and, through its connections to cycle double covers, higher-dimensional polyhedral constructions.

1. Formal Definitions and Fundamental Notions

Let $G = (V, E)$ be a finite bridgeless graph, $d \ge 1$ an integer, $r \ge 2$ a real parameter, and $p \in [1, \infty]$ a norm index. An orientation $O$ of $G$ fixes a direction for each edge. A function

$$\varphi : E \to \mathbb{R}^d \setminus \{\mathbf{0}\}$$

is called a \textbf{$d$-dimensional $p$-normed nowhere-zero $r$-flow} (abbreviated $(r,d,p)$-NZF) if it satisfies:

• (i) At each vertex $v \in V$, the vector sum (interpreted by orientation) of incident flows vanishes:

$$\sum_{e \in E_{\text{out}}(v)} \varphi(e) - \sum_{e \in E_{\text{in}}(v)} \varphi(e) = \mathbf{0} \in \mathbb{R}^d$$

• (ii) For every edge $e \in E$, the $p$-norm constraint is enforced:

$1 \le \|\varphi(e)\|_p \le r-1$

The associated \textbf{flow index} (or $p$-normed flow number) is

$$\phi_{d,p}(G) := \inf \left\{ r > 0 \mid \exists~(r,d,p)\text{-NZF on } G \right\}$$

With $d=1$, $p=1$, this recovers the classical integer flow number; for $d=1$, general $p$ (equipped, suitably, with the circular interval) this characterizes circular flows.

2. Geometric and Combinatorial Descriptions

In the Euclidean case ($p=2$), $(r,d)$-NZFs are particularly amenable to geometric construction. Given an \textbf{oriented $d$-cycle double cover} (oriented $d$-CDC)—a collection of $d$ directed cycles $\{O_1(C_1),\dots,O_d(C_d)\}$ in which each edge is traversed by exactly two of the cycles, in opposing directions—one obtains an $(2,d)$-NZF with edge-values in the set

$$H_d := \left\{ x \in \mathbb{Z}^d : \text{exactly one } +1, \text{ one } -1, \text{ rest } 0 \right\}$$

Through the assignment $\varphi(e) = \mathbf{e}_h - \mathbf{e}_k$ (standard basis vectors indexed by cycles), each flow-vector lies on the discrete sphere $$\Sigma_d = \{ x \in \mathbb{R}^d : \sum x_i = 0,\, \sum x_i^2 = 2 \}$$.

This correspondence is formalized:

$\mathbf{G}$ admits an $H_d$-valued flow if and only if it admits an oriented $d$-cycle double cover (Mattiolo et al., 22 Oct 2025).

For more general $p$-norms, the construction is analogous: one seeks a symmetric finite set $X \subset \mathbb{R}^d$ of vectors on the $p$-norm unit sphere such that superpositions (sum/difference along covered edges) remain within a fixed norm ratio.

3. Principal Structural Results and Bounds

Boundedness results for $\phi_{d,p}(G)$ are central. The following highlights best-known theorems across key values of $d$ and $p$:

Dimension $d$	Norm $p$	General Upper Bound	Sharpness/Condition	Reference
$2$	$2$	$1+\sqrt{5}$	Always, via Seymour's decomposition	(Mattiolo et al., 2023)
$2$	$p$	$3$	All $p \ge 1$	(Li et al., 17 Jan 2026)
$2$	$2$	$1+\tau \approx 2.618$	If oriented $5$-CDC exists	(Mattiolo et al., 2023)
$2$	$1,\infty$	$3$	Always, and $\Phi^1_2 = \Phi^\infty_2$	(Gáborik et al., 25 Oct 2025)
$3$	$p$	$1+\sqrt{2}$	All $p \ge 1$	(Li et al., 17 Jan 2026)
$d \ge 3$	$p$	$2$	If $G$ admits suitable cycle $2$-cover	(Li et al., 17 Jan 2026)
$d$	$2$	$1 + \sqrt{d/(d-2)}$	$G$ has non-oriented $d$-CDC	(Mattiolo et al., 22 Oct 2025)

Special Cases and Tightness

• In dimension two, for graphs with an oriented $5$-cycle double cover, the Euclidean flow number is $\le \tau^2 = 1 + \tau \approx 2.618$ (with $\tau = (1+\sqrt{5})/2$ the golden ratio) (Mattiolo et al., 2023).
• In Manhattan and Chebyshev norms, the flow numbers $\Phi^1_2(G)$ and $\Phi^\infty_2(G)$ are always rational and, for $d = 2$, exactly coincide (Gáborik et al., 25 Oct 2025).
• If a graph admits a nowhere-zero $k$-flow, it supports an oriented cycle double cover of $k$ cycles, hence, per geometric construction, can attain the sharp lower bound $\phi_{k-1,p}(G) = 2$ for all $p$ (Li et al., 17 Jan 2026).

4. Cycle Double Covers, Flow Construction, and Geometric Representation

Cycle double covers, especially their oriented variants (OCDC), play a central organizing role:

• Existence of an oriented $d$-CDC is \textit{equivalent} to the existence of an $H_d$-flow in the Euclidean norm (Mattiolo et al., 22 Oct 2025).
• Cycle cover constructions for arbitrary norms adopt a similar formalism: given $k$ cycles, label them by points on the $p$-unit sphere in the $(k-1)$-dimensional hyperplane $\sum x_i = 0$. Each edge, covered equally in forward and reverse directions, receives the vector sum of the corresponding cycle labels, ensuring non-vanishing and norm constraints.

Geometric representations further facilitate construction, especially in the cubic ($3$-regular) case: every flow at a vertex corresponds to a triangle in $\mathbb{R}^2$, and gluing constraints prescribe boundary congruence for incident edges. Such triangulation encodings furnish succinct witnesses for $(r,2)$-NZFs (Mattiolo et al., 2023).

5. Norm Dependence: Manhattan, Chebyshev, and General $p$-Norms

For each $p$-norm, there is a corresponding flow number and associated geometric/linear program:

• \textbf{Manhattan ($p=1$):} $(r,d)$-MNZFs are defined with edge-vectors $\|\varphi(e)\|_1 \in [1, r-1]$.
• \textbf{Chebyshev ($p = \infty$):} $(r,d)$-ChNZFs require $\|\varphi(e)\|_\infty \in [1, r-1]$.
• In $d=2$, the transformation $(x, y) \mapsto (x-y, x+y)$ (up to scaling) bijects the $\ell_1$ and $\ell_\infty$ annuli, yielding $\Phi_2^1(G) = \Phi_2^\infty(G)$ for any $G$ (Gáborik et al., 25 Oct 2025).
• For all $d$, both flow numbers are rational, and Chebyshev flows admit a canonical normal form with rational coordinates (Gáborik et al., 25 Oct 2025).
• In arbitrary $d$ and $p$, duality conjectures arise: $\phi_{d,p}(G)$ increases on $[1,2]$ and decreases on $[2, \infty]$, indicative of a potential $\ell_p$–$\ell_q$ duality in flow geometry (Li et al., 17 Jan 2026).

6. Connections to Classical Conjectures and Open Problems

• \textbf{Tutte's $5$-Flow Conjecture:} For $d=1$, $\phi_1(G) \le 5$ for all bridgeless $G$. Multidimensional and $p$-normed analogues demonstrate substantially lower bounds, e.g. $\phi_{2,p} \le 3$, underscoring the power of higher-dimensional embeddings (Li et al., 17 Jan 2026).
• \textbf{S$^2$-Flow Conjecture (Jain):} Asserts $\phi_{3,2}(G) = 2$ for all bridgeless $G$. The current best general bound is $\phi_{3,2} \le 1+\sqrt{2}$, achieved via structural decomposition and explicit constructive flows, with equality for graphs possessing an oriented $4$-cycle double cover (Li et al., 17 Jan 2026).
• \textbf{Analogue for $d=2$:} The existence of an oriented $5$-cycle double cover would yield $\phi_2(G) \le \tau^2$ in the Euclidean norm, and this is conjecturally optimal (Mattiolo et al., 2023).

A variety of open problems remain, notably concerning optimal bounds for $\phi_{d,p}$ as $d$ and $p$ grow, dependence on the existence and size of oriented cycle double covers, the detailed behavior of $\phi_{d,p}(G)$ for snarks and other cubic graphs, and the extension to further normed spaces and integral flows (Li et al., 17 Jan 2026, Mattiolo et al., 2023).

7. Geometric and Topological Interpretations

Each nowhere-zero $p$-normed flow corresponds to placing edge-values in an $\ell_p$-annular shell: $$\{\mathbf{x} \in \mathbb{R}^d : 1 \leq \|\mathbf{x}\|_p \leq r - 1\}$$ For $r=2$, the flows reside on the $p$-sphere $S_p^{d-1}$. Oriented cycle cover formulations embed the construction into the hyperplane $\sum x_i=0$, forming a regular simplex in various norm geometries. The combinatorial-to-geometric dictionary facilitates the transfer of results among integer flows, circular flows, and their higher-dimensional generalizations, permitting the application of algebraic, polyhedral, and computational techniques (Mattiolo et al., 22 Oct 2025, Li et al., 17 Jan 2026).

---

References:

• “Geometric description of $d$-dimensional flows of a graph” (Mattiolo et al., 22 Oct 2025)
• “On $d$-dimensional nowhere-zero $r$-flows on a graph” (Mattiolo et al., 2023)
• “Manhattan and Chebyshev flows” (Gáborik et al., 25 Oct 2025)
• “High-Dimensional $p$-Normed Flows” (Li et al., 17 Jan 2026)