Equivalent Reflection Point in Convex Geometry

• Equivalent Reflection Point (ERP) is a reflection-based equivalence where, in planar convex geometry, a point z satisfies the condition that K ∪ (2z-K) is convex.
• ERP is context-dependent, manifesting as convexity points in geometry, effective reflector points in indoor localization, and reflection-equivalence conditions in electromagnetic theory.
• The structural dichotomy between centrally symmetric and non-symmetric convex bodies ensures at least one ERP in symmetric cases and multiple affinely independent ERP-type points in non-symmetric bodies.

Searching arXiv for papers directly using or closely relating to the term "Equivalent Reflection Point" and its established variants. Equivalent Reflection Point (ERP) denotes a reflection-based equivalence notion whose formal meaning depends strongly on domain. In the most explicit mathematical identification available, an ERP-type point for a planar convex body $K \subset \mathbb{R}^2$ is a point $z$ such that the union of the body with its point reflection,

$K \cup (2z-K),$

is convex; the paper introducing this notion uses the term convexity point rather than ERP (Schneider, 2015). Other works associated with similar language do not preserve that definition: one replaces it by effective reflector points reconstructed from AoA/ToA data in indoor localization, another states that its “Equivalent Reflection Point” idea is not a geometric point in space in the usual sense but a reflection-equivalence property for eigen plane waves, and still others study specular reflection points, non-local reflection formulas, or reflection non-equivalence (Johnny et al., 2024, Lindell et al., 2021, Kollas, 2017, Zharkov, 2013). The term is therefore best understood as context-dependent, with planar convex geometry providing the clearest point-based formalization.

1. Domain-specific meanings of ERP

Within planar convexity, the ERP-type object is rigorously defined by point reflection. For a convex body $K$ and a point $z$, the reflected set is

$2z-K := \{\,2z-x : x\in K\,\},$

and $z$ is a convexity point exactly when $K \cup (2z-K)$ is convex (Schneider, 2015). This is the strongest explicit match to an “Equivalent Reflection Point” in the provided literature.

Other fields use related but non-identical constructions. In indoor localization, the closest object is an effective reflector point, defined as a point that can reflect the signal from a transmitter in a specific location in the RoL to the receiver; these points populate a reflection map inferred offline from measurements (Johnny et al., 2024). In electromagnetic boundary theory, the analogous concept is not a point but a boundary condition under which two eigen plane waves have angle-independent reflection coefficients $R_\pm=\pm R$, so the boundary behaves as though it were a canonical ideal reflector (Lindell et al., 2021).

Context	Object	Defining relation
Planar convex bodies	Convexity point $z$	$z$0 is convex
Indoor localization	Effective reflector point $z$1	$z$2
Electromagnetic boundaries	Reflection-equivalence property	$z$3, angle-independent

This distribution of meanings matters conceptually. It rules out any single universal ERP formalism spanning geometry, wave reflection, and localization. A plausible implication is that ERP should be treated as a family of reflection-equivalence constructs rather than a single invariant.

2. Convexity points in planar convex geometry

For $z$4, the convex-union condition admits a basic hull criterion: $z$5 Applied to $z$6, this criterion turns the ERP problem into a boundary-coverage condition (Schneider, 2015).

The analysis is organized via supporting geometry. For $z$7, let $z$8 be the supporting line of $z$9 with outer unit normal $K \cup (2z-K),$0, and $K \cup (2z-K),$1 the associated face. The middle line and middle set are then

$K \cup (2z-K),$2

They satisfy

$K \cup (2z-K),$3

When the boundary of $K \cup (2z-K),$4 does not contain two parallel edges, the decisive characterization is

$K \cup (2z-K),$5

Thus, whenever $K \cup (2z-K),$6 lies on a middle line, it must lie in the corresponding middle set; this is the operative geometric test for the ERP-type condition (Schneider, 2015).

The proof theory is further encoded in the auxiliary convex body

$K \cup (2z-K),$7

which aggregates the middle sets over all directions. The support-function representation

$K \cup (2z-K),$8

together with

$K \cup (2z-K),$9

gives

$K$0

The derivative formulas

$K$1

and

$K$2

control the endpoints of middle sets and are central to the exposed-point argument for convexity points (Schneider, 2015).

3. Existence, multiplicity, and symmetry structure

The main theorem for the planar theory states:

A convex body in the plane which is not centrally symmetric has three affinely independent convexity points.

Since every centrally symmetric convex body obviously has its center as such a point, it follows that every planar convex body has at least one ERP-type point in the convexity-point sense (Schneider, 2015).

The proof reduces the general case to convex bodies whose boundary has no pair of parallel edges. The reduction writes

$K$3

where $K$4 is a centrally symmetric sum of segments accounting for all parallel edges and $K$5 has no parallel edges. Convexity of $K$6 then implies convexity of

$K$7

so convexity points of $K$8 are also convexity points of $K$9 (Schneider, 2015).

The auxiliary body $z$0 provides the multiplicity mechanism. If $z$1 has no pair of parallel edges and

$z$2

then $z$3 is centrally symmetric. Equivalently, for a non-centrally symmetric $z$4,

$z$5

Every exposed point of $z$6 is then a convexity point of $z$7, and because a two-dimensional convex body has at least three affinely independent exposed points, one obtains three affinely independent ERP-type points (Schneider, 2015).

This yields a clean structural dichotomy. Central symmetry collapses the family of convexity points to the symmetry center; failure of central symmetry forces a genuinely two-dimensional locus of middle-set geometry and therefore multiple reflection-convex points. A plausible implication is that ERP multiplicity is itself a symmetry diagnostic for planar convex bodies.

4. Geometric and algorithmic relatives

A nearby but distinct geometric notion is the specular reflection point on a sphere. Given exterior points $z$8 and $z$9, the desired point $2z-K := \{\,2z-x : x\in K\,\},$0 on the sphere is the unique point where the incident and reflected rays satisfy equal angles with respect to the local normal $2z-K := \{\,2z-x : x\in K\,\},$1. Because reflection occurs in the plane determined by $2z-K := \{\,2z-x : x\in K\,\},$2, the problem reduces to a two-dimensional circle construction. The paper provides an iterative ruler-and-compass algorithm: start from $2z-K := \{\,2z-x : x\in K\,\},$3, draw $2z-K := \{\,2z-x : x\in K\,\},$4, let $2z-K := \{\,2z-x : x\in K\,\},$5 be the intersection of $2z-K := \{\,2z-x : x\in K\,\},$6 with the circle of radius $2z-K := \{\,2z-x : x\in K\,\},$7, then replace $2z-K := \{\,2z-x : x\in K\,\},$8 by the point $2z-K := \{\,2z-x : x\in K\,\},$9 whose direction bisects $z$0; repeated iteration converges to the true specular point by a contraction argument and the Banach fixed-point theorem (Kollas, 2017).

The analytic characterization of the spherical reflection point is the quartic equation

$z$1

If $z$2, the solution is simply $z$3, i.e. the bisector of the angle between $z$4 and $z$5. The first iteration also provides a first-order approximation, with the paper reporting numerically that it is often accurate to within three orders of magnitude and that the iterative sequence converges linearly (Kollas, 2017).

Indoor localization introduces another point-based reflection construct. For a measurement pair $z$6, the paper defines the ToA ellipse

$z$7

and the AoA line

$z$8

The effective reflector point is then

$z$9

With $K \cup (2z-K)$0 and $K \cup (2z-K)$1, the closed-form reconstruction is

$K \cup (2z-K)$2

These reflector points populate the reflection map used in the online likelihood maximization stage (Johnny et al., 2024).

The same paper states that moving a transmitter on the boundary of the RoL and measuring both AoA and ToA at the receiver is sufficient for identifying all effective reflectors on an empty RoL. In the high-SNR no-LoS regime, the log-scale accuracy ratio satisfies

$K \cup (2z-K)$3

where $K \cup (2z-K)$4 is the reflectivity parameter, i.e. the typical number of first-order reflection paths from the user to the BS (Johnny et al., 2024). This suggests that, in localization, ERP-like points function as environment-level geometric constraints rather than convexity witnesses.

5. Reflection equivalence without a point

Several reflection theories explicitly depart from any literal point-based ERP. In electromagnetics, the relevant object is a class of linear local boundary conditions for a planar surface,

$K \cup (2z-K)$5

for which the two eigen plane waves satisfy

$K \cup (2z-K)$6

with $K \cup (2z-K)$7 independent of the angle of incidence. The paper shows that only two angle-independent possibilities occur: $K \cup (2z-K)$8, giving the GSHDB class with $K \cup (2z-K)$9 and $R_\pm=\pm R$0, and $R_\pm=\pm R$1, giving the new EPEMC class with $R_\pm=\pm R$2 (Lindell et al., 2021). Here “equivalent reflection” means that eigenwaves reflect as from PEC/PMC or special PEMC-type surfaces, not that a point on a reflector has been identified.

Elliptic PDE reflection theory pushes further away from pointwise ERP language. For

$R_\pm=\pm R$3

with $R_\pm=\pm R$4 on a real-analytic curve $R_\pm=\pm R$5, the reflected value is generally given by the non-local formula

$R_\pm=\pm R$6

where $R_\pm=\pm R$7 is induced by the Schwarz function of $R_\pm=\pm R$8 (Savina, 2010). The paper states that, unlike the classical Schwarz formula, this is a point-to-compact-set reflection in general. Point-to-point reflection survives only in special cases such as a line boundary with constant coefficients or the coefficient condition $R_\pm=\pm R$9 (Savina, 2010).

Tropical geometry supplies an even stronger limitation. For a generic genus-3 tropical curve of type $z$0, the Abel–Jacobi image

$z$1

is not algebraically equivalent to its reflected image

$z$2

More generally, if the underlying graph of a tropical curve $z$3 of genus $z$4 contains $z$5 as a subgraph, then

$z$6

The obstruction is detected by a tropical homology calculation involving a determinantal $z$7-form $z$8 and a nonzero period $z$9 for the explicit connecting chain (Zharkov, 2013). The paper notes a caveat: for hyperelliptic tropical curves, $z$00 does occur (Zharkov, 2013). In this literature, reflection equivalence is not generic and sometimes fails precisely where an ERP-style intuition might suggest it.

6. Terminological collisions and scope

The acronym ERP is heavily overloaded outside reflection geometry. In neuroscience and BCI, ERP means event-related potential. The paper “ERP-XTTN: Interpretable Prototype-Guided Cross-Attention for Cross-Subject ERP Classification” studies ERN, LRP, ErrP, N170, P300, N2pc, MMN, and N400 under leave-one-subject-out evaluation, and explicitly concerns event-related potentials rather than reflection points (Wyman et al., 1 Jun 2026). Likewise, “Benchmarking ERP Analysis: Manual Features, Deep Learning, and Foundation Models” uses ERP exclusively in the EEG sense across 12 publicly available datasets (Wang et al., 2 Jan 2026).

A different collision occurs with Equivalent Representations (ERs) of code. The self-reflection framework of “Generating Equivalent Representations of Code By A Self-Reflection Approach” defines ERs as textual representations of code that preserve the same semantics as the code itself, with a semantic-equivalent score

$z$01

and an iterative two-LLM loop between $z$02 and $z$03 (Li et al., 2024). Despite the reflection terminology, this work is not about geometric or physical reflection points.

Reflection-group theory adds yet another neighboring concept: reflexponents, defined as fake degrees of an orbit-specific representation $z$04, refining Solomon-type generating functions by hyperplane orbit (Williams, 2019). This is reflection-theoretic but not point-based. The presence of these separate literatures makes it misleading to treat “ERP” as self-interpreting.

The technically safest usage is therefore narrow. In a strict point-based sense, ERP aligns most closely with the planar-convex-body convexity point $z$05 for which $z$06 is convex (Schneider, 2015). In localization, the nearest analogue is the inferred effective reflector point $z$07 on a reflection map (Johnny et al., 2024). In electromagnetic, PDE, and tropical settings, the relevant notion is often a reflection law, a non-local operator relation, or even a proved failure of reflection equivalence rather than a point. This suggests that “Equivalent Reflection Point” is best treated as a domain-qualified term whose meaning must be specified at the level of the underlying reflection model.