Directed-hyperarea vector identity in Rd\mathbb{R}^d

From papers

Suppose that a median-dual region is constructed around an interior point pjRd\bm{p}_{j} \in \mathbb{R}^{d}, and let the generic adjacent edge be pkpj\bm{p}_{k} - \bm{p}_{j}. For each dd-simplex TT sharing this edge, let njT\bm{n}_{j}^{T} be a normal vector associated with the (d1)(d-1)-facet of TT opposite jj, with magnitude equal to the hypervolume of that facet:

njT=oppj(T).\left\| \bm{n}_{j}^{T}\right\| = |\mathrm{opp}_{j}(T)|.

Directed-hyperarea vector identity. The directed-hyperarea vector satisfies

njk=2d(d+1)T{Tjk(d)}njT.\bm{n}_{jk} = \frac{2}{d(d+1)} \sum_{T \in \left\{\mathbb{T}^{(d)}_{jk} \right\}} \bm{n}_{j}^{T}.

This identity is presented as a theoretical property governing median-dual regions in Rd\mathbb{R}^{d}, relating the directed-hyperarea vector of an edge to the normal vectors of the opposite facets of all adjacent simplices. The supplied text does not indicate whether the identity has been proved or remains conjectural.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nicholas Tufillaro, David M. Williams and Hiroaki Nishikawa, “Edge-based discretizations on triangulations in R^d, with special attention to four-dimensional space”, arXiv:2412.02555 (2026).

Solutions 0

No solutions have been posted yet.