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

About 2 years old · traced to

Suppose that a median-dual region is constructed around an interior point pj∈Rd\bm{p}_{j} \in \mathbb{R}^{d}, and let the generic adjacent edge be pk−pj\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 (d−1)(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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.