Pith. sign in

REVIEW 4 major objections 6 minor 18 references

MABLE learns node and graph embeddings from large heterogeneous graphs by coupling masked reconstruction to fixed cosine geometry, without learned discriminators or hard negatives.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-12 05:35 UTC pith:G6Q43C3S

load-bearing objection Clean geometric packaging of known SSL pieces for mineral graphs; theory is fine, but the load-bearing “complementary signal” claim is still mostly qualitative and partly redacted. the 4 major comments →

arxiv 2607.02990 v1 pith:G6Q43C3S submitted 2026-07-03 cs.LG physics.geo-ph

MABLE: Masked Autoencoding with Bi-Lipschitz Decoding for Embeddings and Graph Metric Learning

classification cs.LG physics.geo-ph
keywords self-supervised learningmasked autoencodersgraph embeddingsmetric learningbi-Lipschitz decodergeospatial graphsmineral prospectivity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

MABLE is a self-supervised method for turning large, uneven, multi-sensor graphs into node and graph embeddings that stay useful for mineral prospectivity work. It reconstructs masked node features through a low-dimensional slice of each embedding, while a bi-Lipschitz decoder forces that slice to respect feature similarity. A complementary contextual slice is kept consistent across matched nodes in two augmented views, and fixed cosine losses align positive graph views while spreading unpaired embeddings. Lipschitz-controlled attention pooling turns the node set into a stable graph vector. On local copper and regional Arabian Shield data the resulting embeddings add complementary signal to simple baselines and, when evaluated densely, produce coherent zonation, anomaly, and texture layers for hypothesis generation without absolute coordinates, learned critics, or hard-negative mining.

Core claim

The paper claims that masked autoencoding plus fixed cosine alignment/uniformity, with a bi-Lipschitz feature decoder on a reconstruction slice and Lipschitz pooling, yields node and graph embeddings that carry complementary downstream signal and produce spatially coherent embedding-derived layers on large geospatial mineral-exploration graphs, without learned discriminators or hard-negative selection.

What carries the argument

Bi-Lipschitz feature decoding of a low-dimensional reconstruction slice of each node embedding: accurate reconstruction then forces that slice to preserve feature similarity (Proposition 1), while a contextual slice and Lipschitz pooling carry view-stable graph geometry under fixed cosine losses.

Load-bearing premise

That in-batch unpaired graphs and tokens are good enough contrast for uniformity, and that a constrained linear decoder plus Lipschitz pooling will keep the embeddings semantically useful when geology and sampling are highly non-stationary and absolute location is withheld.

What would settle it

On a held-out copper or Arabian Shield region, check whether compact MABLE components still improve coordinate-only or engineered geophysical baselines, and whether dense embedding fields remain contiguous and geologically coherent rather than collapsing or fragmenting under the same fixed training recipe.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. MABLE is a self-supervised framework for node and graph embeddings on large heterogeneous graphs, combining masked feature reconstruction with fixed cosine-similarity alignment and uniformity losses (inspired by spectral contrastive loss) at both node and graph scales. A low-dimensional feature slice of each node embedding is decoded by a bi-Lipschitz linear map so that reconstruction accuracy approximately preserves feature similarity (Proposition 1); a complementary contextual slice is regularized by cross-view matched-node correspondence; and graph embeddings are formed by Lipschitz-controlled (including clipped softmax-attention) pooling with view-alignment and in-batch uniformity. The method is demonstrated on geospatial mineral-exploration data: a redacted local copper study and a large regional Arabian Shield corpus, with dense transfer evaluation over Suwaj. The paper claims that the resulting embeddings provide complementary downstream signal and coherent hypothesis-generating layers without learned discriminators or hard-negative mining.

Significance. If the applied claims hold, MABLE would be a useful contribution to graph self-supervised learning for heterogeneous geospatial corpora: it unifies masked autoencoding with fixed-cosine metric learning, avoids absolute-coordinate shortcuts and hard-negative selection, and supplies geometric stability arguments (bi-Lipschitz decoding, Lipschitz pooling) that are often missing from graph SSL practice. The Arabian Shield scale (≈145k graphs, ≈951M nodes) and the dense 100 m Suwaj transfer setup are operationally interesting for mineral prospectivity. The appendix proofs for Propositions 1–3, Lemma 1, and Corollary 1 are standard and correctly support the stated geometric bounds. The main significance, however, is conditional on quantitative evidence that the embeddings actually transfer and complement engineered features under geographic shift—evidence that is only partially disclosed in the present manuscript.

major comments (4)
  1. Abstract and §5 claim that “across local copper and regional Arabian Shield studies, MABLE embeddings provide complementary downstream signal.” The only quantitative transfer evidence is the redacted local copper benchmark (Experiment 1 / Study 4; Figure 12; Table 1). The conclusion itself states that embeddings alone fail under geographic holdout and only improve coordinate/geophysical baselines as compact components. Without the full experimental protocol, metrics, effect sizes, and holdout definition for Experiment 1, the load-bearing complementary-signal claim cannot be evaluated. Either restore a complete, non-redacted quantitative study or substantially narrow the abstract/conclusion claims to what the disclosed evidence supports.
  2. §4.2.1–4.2.2 present Arabian Shield and Suwaj results almost entirely as unsupervised spatial diagnostics (dimension maps, UMAP/PCA, IF/LOF retrieval, correlograms, Dirichlet energy, K-Means, anomaly/texture rasters). These show spatial coherence but do not measure predictive utility, label agreement, or improvement over baselines. For a method paper whose central applied claim is complementary downstream signal and hypothesis-generating layers, at least one quantitative regional or prospect-scale task (e.g., supervised zonation agreement, prospectivity ranking, or controlled transfer metrics) is needed, or the claim should be reframed as qualitative structure discovery only.
  3. The paper cites GraphCL, GRACE, BGRL, GraphMAE/GraphMAE2, and Deep Graph Infomax (§1–2) as related graph SSL methods, yet §4 reports no comparison against any of them (or against a plain MAE / plain SCL ablation) under a common backbone and data regime. Without such baselines, it is unclear whether the bi-Lipschitz slice, contextual correspondence, or fixed-cosine surrogates drive gains relative to existing graph SSL. A controlled comparison—or an explicit limitation that only internal ablations are available—is required for the method contribution to be assessable.
  4. §4.1 states that experiments ran in a proprietary commercial environment and that “most internal low-level implementation details and training hyperparameters are not fully disclosed.” Combined with free parameters listed in the objective (α,β,γ,λ,μ), de, singular-value bands, logit clip c, and augmentation schedules (§3.4, §2.5, §4.1), this severely limits reproducibility and independent verification. At minimum, the paper should release a complete hyperparameter table for the reported runs, the exact loss-weight settings used for each study, and either public code or a sufficiently detailed recipe that another group could reimplement the GeoReformer+MABLE stack on a public geospatial graph corpus.
minor comments (6)
  1. Table 1 (Appendix A.8) reports only train/val total and component losses for de ∈ {8,15,128}; it does not report downstream metrics. Cross-reference to Figure 12 (RF under spatial holdout) is helpful but incomplete—state which de was used for the main Arabian Shield runs.
  2. §2.6 correctly labels output-side conditioning as a “design hypothesis” rather than a formal encoder guarantee; the abstract and conclusion sometimes read as if stability of the full pipeline is established. Soften those sentences to match §2.6.
  3. Appendix A.3’s DV-style MI interpretation is explicitly heuristic under symmetry and small-variance assumptions. A brief forward pointer in §2.2 would prevent readers from treating it as a theorem.
  4. Notation: f(u) vs f(G,u) and the view operator T are carefully defined in §2.1 but reappear densely in §3; a short notation table would help.
  5. Figures 1–11 are informative but several captions are long; consider moving quantitative kurtosis/zero-crossing numbers into the main text for easier citation.
  6. Typo/consistency: “MaskedAutoencoding withBi-Lipschitz” spacing in the title block of the PDF text; also “Veliˇ ckovi´ c” spacing in references.

Circularity Check

0 steps flagged

No significant circularity: MABLE is a method paper whose losses, bi-Lipschitz/Lipschitz constraints, and propositions are design choices and geometric consequences, not predictions forced by their own inputs.

full rationale

Walking the load-bearing chain: (i) Proposition 1 is a standard triangle-inequality consequence of a bi-Lipschitz decoder plus pointwise reconstruction error; the proof in A.1 does not define the decoder in terms of the claimed proximity bound. (ii) Fixed-cosine surrogates are motivated as normalized SCL / local log-surrogate approximations (§2.2, A.2) and given only a heuristic second-order DV-style reading under explicit symmetry/small-variance assumptions (A.3)—not a closed-form derivation of a measured constant. (iii) Lipschitz pooling stability (Props. 2–3, Lemma 1, Cor. 1) follows from stated operator assumptions and is not self-definitional. (iv) Training objectives (reconstruction, node corr, node/graph align/uniform) are chosen losses, not fitted parameters renamed as predictions. (v) References are external SSL/GNN literature; no load-bearing uniqueness theorem or ansatz is imported from overlapping authors. Empirical claims (spatial coherence, complementary signal) are unsupervised diagnostics or redacted downstream probes, not tautological recoveries of training labels. Residual concerns about evidence strength and proprietary unreproducibility are correctness/support issues, not circularity. Score 0 with empty steps is the honest finding.

Axiom & Free-Parameter Ledger

6 free parameters · 5 axioms · 2 invented entities

The central empirical claim rests on design axioms about reconstruction geometry, fixed-cosine surrogates, and pooling stability, plus many free training knobs and proprietary data choices. No new physical entity is postulated; the invented constructs are architectural (feature vs contextual slices, MABLE objective stack).

free parameters (6)
  • Loss weights α, β, γ, λ, μ
    Scalar trade-offs among node recon, node corr, node uniform, graph align, and graph uniform in the combined objective (§3.4); not uniquely determined.
  • Feature-slice dimension de
    Chosen architectural width of the reconstruction component; ablation table compares 8/15/128 (§A.8).
  • Decoder singular-value band [m, L]
    Hand-set bi-Lipschitz clamps on Wdec that control the geometric link in Prop. 1 (§2.5, §4.1).
  • Pooling projection singular-value band and logit clip c
    Implementation controls for attention pooling Lipschitzness (§2.4, §4.1).
  • Masking/drop/rotation augmentation schedule and patch radii
    View operator hyperparameters that define positive pairs and retained-node sets (§4.1).
  • Graph patch radius / sampling density (e.g., 200 m, 100 m grid)
    Dataset construction choices that define what a “graph” is in the Arabian Shield and Suwaj studies (§4.2).
axioms (5)
  • standard math A bi-Lipschitz feature decoder plus small reconstruction error approximately preserves node feature similarity in the reconstruction slice (Prop. 1).
    Standard bi-Lipschitz distance transfer; proved in A.1 and used to justify the decoder design.
  • domain assumption Fixed cosine SCL-style surrogates are adequate replacements for learned discriminators/InfoNCE on geospatial graphs where hard negatives are unreliable.
    Core design premise in §2.2 and §3; motivated but not proved optimal.
  • domain assumption In-batch unpaired nodes/graphs are useful uniformity contrasts even if not guaranteed semantic negatives.
    Explicitly stated as heuristic in §3.1 and §3.3.
  • domain assumption Edge-free attention-induced connectivity is preferable to hand-crafted k-NN/radius graphs for heterogeneous mineral data.
    Design rationale in §4.1; domain-specific modeling choice.
  • ad hoc to paper Output-side bi-Lipschitz decoder and Lipschitz pooling encourage stable encoder representations without layer-wise spectral constraints.
    Stated as a design hypothesis, not a formal guarantee (§2.6).
invented entities (2)
  • MABLE objective stack (masked recon + node corr + node/graph cosine uniformity/alignment) no independent evidence
    purpose: End-to-end self-supervised training of node and graph embeddings without discriminators or hard negatives.
    The named framework and combined loss are the paper’s main construct; independent evidence is only the reported experiments.
  • Feature-embedding slice π(z) vs contextual slice ρ(z) no independent evidence
    purpose: Separate reconstruction geometry from view-stable context used by pooling.
    Architectural split introduced in §2.1 and used throughout training; not an external physical entity.

pith-pipeline@v1.1.0-grok45 · 36445 in / 3392 out tokens · 29953 ms · 2026-07-12T05:35:45.439170+00:00 · methodology

0 comments
read the original abstract

We propose MABLE (Masked Autoencoding with Bi-Lipschitz Decoding for Embeddings and Graph Metric Learning), a self-supervised framework for learning node and graph embeddings from large, heterogeneous graphs, demonstrated here on geospatial mineral-exploration data. MABLE combines masked reconstruction with fixed cosine-similarity losses that align matched augmented views while keeping unpaired embeddings well spread. A bi-Lipschitz feature decoder ties a low-dimensional reconstruction component of each node embedding to feature similarity, while matched-node consistency shapes the remaining context used by graph pooling. Lipschitz-controlled pooling helps stabilize graph-level representations under perturbations of retained node embeddings, while augmentation alignment trains robustness to masking, node dropping, and sampling variation. Across local copper and regional Arabian Shield studies, MABLE embeddings provide complementary downstream signal and produce coherent embedding-derived layers for hypothesis generation without learned discriminators or hard-negative selection.

Figures

Figures reproduced from arXiv: 2607.02990 by Jack B. Muir, Shaghayegh Akbarpour, Yaniv Shulman.

Figure 1
Figure 1. Figure 1: Spatial activation maps for selected Arabian Shield graph-embedding dimensions (Ex [PITH_FULL_IMAGE:figures/full_fig_p037_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Cosine-similarity distribution for 5,000 randomly sampled Arabian Shield graph em [PITH_FULL_IMAGE:figures/full_fig_p038_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Low-dimensional projections of the 256-dimensional Arabian Shield graph embeddings [PITH_FULL_IMAGE:figures/full_fig_p038_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Similarity-search diagnostics for Arabian Shield graph embedding-space outliers (Exper [PITH_FULL_IMAGE:figures/full_fig_p039_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Global spatial correlogram of Arabian Shield graph embedding similarity versus geo [PITH_FULL_IMAGE:figures/full_fig_p040_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Local radial correlograms comparing an Arabian Shield graph embedding outlier versus a [PITH_FULL_IMAGE:figures/full_fig_p040_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: 1D power spectral density (PSD) of the Arabian Shield 256-dimensional graph embeddings [PITH_FULL_IMAGE:figures/full_fig_p041_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: 2D spectral analysis of a dense local patch of Arabian Shield graph embeddings (Ex [PITH_FULL_IMAGE:figures/full_fig_p042_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Dirichlet energy (graph Laplacian quadratic form) computed for each Arabian Shield [PITH_FULL_IMAGE:figures/full_fig_p043_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Left: optical satellite imagery of the patch, used here as a qualitative surface refer [PITH_FULL_IMAGE:figures/full_fig_p043_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Dense graph embedding-derived layers over the Suwaj AOI evaluated on a 2D regular grid at [PITH_FULL_IMAGE:figures/full_fig_p044_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Embedding dimension ablation under spatial holdout (south [PITH_FULL_IMAGE:figures/full_fig_p044_12.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 4 canonical work pages

  1. [1]

    doi: 10.1145/3678717.3691268

    Association for Computing Machinery. doi: 10.1145/3678717.3691268. URLhttps://doi.org/10.1145/3678717.3691268. Ishaan Gulrajani, Faruk Ahmed, Martin Arjovsky, Vincent Dumoulin, and Aaron Courville. Improved training of wasserstein GANs. InAdvances in Neural In- formation Processing Systems (NeurIPS), volume 30, pages 5767–5777, Long Beach, USA,

  2. [2]

    URLhttps://papers.nips.cc/paper/2017/hash/ 892c3b60920f561af15af1b7f4ab8af4-Abstract.html

    Curran Associates, Inc. URLhttps://papers.nips.cc/paper/2017/hash/ 892c3b60920f561af15af1b7f4ab8af4-Abstract.html. Michael Gutmann and Aapo Hyv¨ arinen. Noise-contrastive estimation: A new estimation principle for unnormalized statistical models. InProceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS), volume...

  3. [4]

    org/abs/1911.05722

    URLhttps://arxiv. org/abs/1911.05722. CVPR 2020 camera-ready. Kaiming He, Xinlei Chen, Saining Xie, Yanghao Li, Piotr Doll´ ar, and Ross B. Girshick. Masked au- toencoders are scalable vision learners. InProceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pages 15979–15988,

  4. [5]

    2022.01551

    doi: 10.1109/CVPR52688. 2022.01551. URLhttps://doi.org/10.1109/CVPR52688.2022.01551. R. Devon Hjelm, Alex Fedorov, Samuel Lavoie-Marchildon, Karan Grewal, Phil Bachman, Adam Trischler, and Yoshua Bengio. Learning deep representations by mutual information estimation and maximization.CoRR, abs/1808.06670,

  5. [6]

    Zhoujing Hou, Fei Liu, Yuxiao Dong, Chao Huang, Mingxuan Ju, Zhen Zhang, Yu Qiao, and Yingyan Lin

    URLhttps://arxiv.org/abs/1808.06670. Zhoujing Hou, Fei Liu, Yuxiao Dong, Chao Huang, Mingxuan Ju, Zhen Zhang, Yu Qiao, and Yingyan Lin. Graphmae: Self-supervised masked graph autoencoders. InProceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, pages 594–604. Association for Computing Machinery,

  6. [7]

    URLhttps: //doi.org/10.1145/3534678.3539321

    doi: 10.1145/3534678.3539321. URLhttps: //doi.org/10.1145/3534678.3539321. Zhoujing Hou, Xiaolin Zhang, Linna Wang, Zhiwei Zhu, Yushun Dong, Mingxuan Ju, Fei Liu, Yi Yang, and Chuan Shi. Graphmae2: A decoding-enhanced masked self-supervised graph learner.Proceedings of the ACM Web Conference 2023 Companion, pages 737–746,

  7. [8]

    URLhttps://doi.org/10.1145/3543873.3587651

    doi: 10.1145/3543873.3587651. URLhttps://doi.org/10.1145/3543873.3587651. Nikita Kitaev, Lukasz Kaiser, and Anselm Levskaya. Reformer: The efficient transformer,

  8. [9]

    arXiv preprint arXiv:2001.04451, ICLR

    URLhttp://arxiv.org/abs/2001.04451. arXiv preprint arXiv:2001.04451, ICLR

  9. [10]

    ISBN 979-8-4007-0103-0

    Association for Computing Machinery. ISBN 979-8-4007-0103-0. doi: 10.1145/3580305.3599546. URLhttps://doi.org/10.1145/3580305.3599546. Takeru Miyato, Toshiki Kataoka, Masanori Koyama, and Yuichi Yoshida. Spectral normalization for generative adversarial networks. InInternational Conference on Learning Representations (ICLR), Vancouver, Canada,

  10. [11]

    doi: 10.1016/j.oregeorev.2024.106215

    ISSN 0169-1368. doi: 10.1016/j.oregeorev.2024.106215. Shantanu Thakoor, Corentin Tallec, Mohammad Gheshlaghi Azar, and Petar Veliˇ ckovi´ c. Boot- strapped representation learning on graphs. InInternational Conference on Learning Represen- tations (ICLR),

  11. [13]

    A¨ aron van den Oord, Yazhe Li, and Oriol Vinyals

    URLhttps://arxiv.org/abs/ 2008.10150. A¨ aron van den Oord, Yazhe Li, and Oriol Vinyals. Representation learning with Contrastive Predictive Coding.CoRR, abs/1807.03748,

  12. [14]

    Petar Veliˇ ckovi´ c, William Fedus, William L

    URLhttp://arxiv.org/abs/1807.03748. Petar Veliˇ ckovi´ c, William Fedus, William L. Hamilton, Pietro Li` o, Yoshua Bengio, and R. Devon Hjelm. Deep graph infomax. InInternational Conference on Learning Representations (ICLR), New Orleans, USA,

  13. [15]

    URLhttps://proceedings.neurips.cc/paper_files/paper/2021/file/ 2b6921f2c64dee16ba21ebf17f3c2c92-Paper.pdf

    Curran As- sociates, Inc. URLhttps://proceedings.neurips.cc/paper_files/paper/2021/file/ 2b6921f2c64dee16ba21ebf17f3c2c92-Paper.pdf. Nemin Wu, Qian Cao, Zhangyu Wang, Zeping Liu, Yanlin Qi, Jielu Zhang, Joshua Ni, Xiaobai Yao, Hongxu Ma, Lan Mu, Stefano Ermon, Tanuja Ganu, Akshay Nambi, Ni Lao, and Gengchen Mai. TorchSpatial: A location encoding framework...

  14. [16]

    Keyulu Xu, Weihua Hu, Jure Leskovec, and Stefanie Jegelka

    URLhttps://proceedings.neurips.cc/paper_files/paper/2024/file/ 9449c2d5b0cc8c9a445752f3ff195a1c-Paper-Datasets_and_Benchmarks_Track.pdf. Keyulu Xu, Weihua Hu, Jure Leskovec, and Stefanie Jegelka. How powerful are graph neural networks? InProceedings of the 7th International Conference on Learning Representations, ICLR ’19, New Orleans, LA, USA,

  15. [17]

    Manzil Zaheer, Satwik Kottur, Siamak Ravanbakhsh, Barnab´ as P´ oczos, Ruslan Salakhutdi- nov, and Alexander J

    URLhttps://proceedings.neurips.cc/paper/ 2020/hash/3fe230348e9a12c13120749e3f9fa4cd-Abstract.html. Manzil Zaheer, Satwik Kottur, Siamak Ravanbakhsh, Barnab´ as P´ oczos, Ruslan Salakhutdi- nov, and Alexander J. Smola. Deep sets. InAdvances in Neural Information Process- ing Systems, volume 30,

  16. [18]

    Qi Zhang, Yifei Wang, and Yisen Wang

    URLhttps://proceedings.neurips.cc/paper/2017/hash/ f22e4747da1aa27e363d86d40ff442fe-Abstract.html. Qi Zhang, Yifei Wang, and Yisen Wang. How mask matters: Towards theoretical understandings of masked autoencoders. InProceedings of the 36th International Conference on Neural Information Processing Systems, NeurIPS ’22, Red Hook, NY, USA,

  17. [19]

    Renguang Zuo, Yihui Xiong, Ziye Wang, Jian Wang, and Oliver P

    URLhttps://arxiv.org/abs/2006.04131. Renguang Zuo, Yihui Xiong, Ziye Wang, Jian Wang, and Oliver P. Kreuzer. A new generation of artificial intelligence algorithms for mineral prospectivity mapping.Natural Resources Research, 32(5):1859–1869, October

  18. [20]

    doi: 10.1007/s11053-023-10237-w

    ISSN 1573-8981. doi: 10.1007/s11053-023-10237-w. URLhttps: //doi.org/10.1007/s11053-023-10237-w. 29 A Appendix A.1 Proof of Proposition 1 - Node Feature Similarity Preservation. Proof.Recallh(u) =g(e u) withe u =π(f(u)), and assumegis bi-Lipschitz: for alle 1, e2, m∥e1 −e 2∥ ≤ ∥g(e 1)−g(e 2)∥ ≤L∥e 1 −e 2∥. In particular, fore u, ev we have m∥eu −e v∥ ≤ ∥h...