Key challenges and bridges among convergence analysis techniques for polytopal methods
Pith reviewed 2026-05-25 03:44 UTC · model grok-4.3
The pith
Conforming liftings bridge virtual-function and fully discrete convergence analyses for polytopal methods.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A novel framework based on conforming liftings, namely bounded and consistent mappings from the discrete space into the continuous space, bridges the virtual and fully discrete viewpoints, clarifies the role of norm equivalence for virtual functions, and leads to a decomposition of the consistency error usable for polytopal methods.
What carries the argument
Conforming liftings: bounded and consistent mappings from discrete spaces arising in polytopal methods into the corresponding continuous spaces, used to decompose consistency error and connect analysis techniques.
If this is right
- The same consistency-error decomposition applies across both virtual and fully discrete polytopal schemes.
- Norm-equivalence arguments for virtual functions become a derived consequence rather than a separate hypothesis.
- Convergence proofs for new polytopal methods can reuse the lifting-based decomposition without re-deriving virtual-function estimates.
- The framework extends directly to the convergence analysis of discrete differential complexes on polytopal meshes.
Where Pith is reading between the lines
- The lifting construction may simplify the transfer of stability and approximation results between different families of polytopal schemes.
- If explicit liftings can be built for a given method, the framework immediately supplies an a-priori error bound that separates consistency from approximation.
- The same lifting idea could be tested on other non-conforming discretizations outside the polytopal setting, such as certain hybrid discontinuous Galerkin methods.
Load-bearing premise
Bounded and consistent conforming liftings exist from the discrete spaces of polytopal methods into the continuous function spaces.
What would settle it
An explicit polytopal discretization for which no bounded consistent lifting into the continuous space can be constructed, so that the consistency-error decomposition cannot be obtained.
read the original abstract
Polytopal methods provide a flexible framework for the numerical approximation of partial differential equations on general meshes. Their convergence analysis raises specific challenges due to their inherently non-conforming nature and, in many cases, the fully discrete nature of their solution. Two main techniques are considered: the virtual-function approach, used, e.g., in the context of Virtual Element Methods, and the fully discrete approach, which underlies, e.g., the Discrete de Rham method. We introduce here a novel framework based on the notion of conforming liftings, namely bounded and consistent mappings from the discrete space into the continuous space. This approach bridges the virtual and fully discrete viewpoints, clarifies the role of norm equivalence for virtual functions, and leads to a decomposition of the consistency error usable for polytopal methods. The three approaches are demonstrated on a model problem, which provides the opportunity to discuss relevant technical points. Bridges with the convergence properties of discrete differential complexes are also built.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a novel framework for convergence analysis of polytopal methods based on conforming liftings, defined as bounded and consistent mappings from discrete spaces to continuous spaces. This is claimed to bridge the virtual-function approach (e.g., Virtual Element Methods) and the fully discrete approach (e.g., Discrete de Rham methods), clarify the role of norm equivalence for virtual functions, and yield a usable decomposition of the consistency error. The framework is demonstrated on a model problem and extended to connections with convergence properties of discrete differential complexes.
Significance. If the conforming liftings can be rigorously constructed with mesh-independent bounds for general polytopal discretizations, the work offers a unifying perspective that could streamline error analysis across non-conforming methods on arbitrary meshes and facilitate transfer of results between virtual and fully discrete viewpoints.
major comments (2)
- [Abstract and §3] Abstract and §3 (model problem): the central claim that conforming liftings exist with uniform boundedness and consistency for the discrete spaces arising in polytopal methods is load-bearing for the bridging result, yet the manuscript provides no explicit construction or verification that the lifting constants remain independent of the number of faces per element; without this, the decomposition of consistency error cannot be shown to be operational beyond the model problem.
- [§4] §4 (discrete differential complexes): the extension of the lifting framework to complexes is asserted to preserve the commuting diagram property, but the argument relies on the same unverified boundedness without an explicit diagram or norm estimate showing that the lifting commutes with the discrete exterior derivative up to higher-order terms.
minor comments (2)
- [§2] Notation for the lifting operator L_h is introduced without a clear statement of its domain and codomain in the first occurrence; a dedicated definition box would improve readability.
- [§3] The model problem statement omits the precise regularity assumed on the exact solution u; this affects the interpretation of the consistency error terms.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The observations correctly highlight the need for greater explicitness in the construction and verification of conforming liftings. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract and §3] Abstract and §3 (model problem): the central claim that conforming liftings exist with uniform boundedness and consistency for the discrete spaces arising in polytopal methods is load-bearing for the bridging result, yet the manuscript provides no explicit construction or verification that the lifting constants remain independent of the number of faces per element; without this, the decomposition of consistency error cannot be shown to be operational beyond the model problem.
Authors: In §3 the model problem uses a specific polytopal discretization in which each element has a fixed, bounded number of faces; the conforming lifting is constructed explicitly via a nodal interpolant onto a suitable continuous finite-element space, and boundedness with a mesh-independent constant is verified by direct computation of the operator norm. We agree that no general construction is supplied for elements whose number of faces may grow without bound, nor is independence of that number established under only the standard mesh-regularity assumptions of polytopal methods. The consistency-error decomposition is therefore shown to be operational for the demonstrated family of meshes. We will revise §3 to state this scope limitation explicitly and to record the precise mesh assumptions under which the lifting constants remain uniform. revision: partial
-
Referee: [§4] §4 (discrete differential complexes): the extension of the lifting framework to complexes is asserted to preserve the commuting diagram property, but the argument relies on the same unverified boundedness without an explicit diagram or norm estimate showing that the lifting commutes with the discrete exterior derivative up to higher-order terms.
Authors: Section 4 extends the abstract properties established for the model problem to the setting of discrete differential complexes. The commuting property is obtained formally from the definition of the liftings, but we concur that an explicit diagram and the accompanying norm estimates (showing that any failure of exact commutation is of higher order) are missing. We will insert a schematic commuting diagram together with the required estimates in the revised version of §4. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper introduces a novel framework based on the notion of conforming liftings (bounded and consistent mappings from discrete to continuous spaces) to bridge virtual-function and fully discrete analysis techniques for polytopal methods. This construction is presented as an external mapping concept that decomposes consistency error and clarifies norm equivalence, without any quoted reduction of the central claims to self-definitional inputs, fitted parameters renamed as predictions, or load-bearing self-citations. The existence of the liftings is invoked as part of the new framework rather than an unproven premise that collapses the derivation. No equations or steps in the provided material exhibit the patterns of circularity (self-definition, fitted-input prediction, uniqueness imported from authors, etc.). The derivation chain remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of bounded and consistent conforming liftings from discrete polytopal spaces to continuous function spaces
invented entities (1)
-
conforming liftings
no independent evidence
Reference graph
Works this paper leans on
-
[1]
A priori and a posteriori analysis of finite volume discretizations of Darcy’s equations
Y. Achdou, C. Bernardi, and F. Coquel. “A priori and a posteriori analysis of finite volume discretizations of Darcy’s equations”. In:Numer. Math.96.1 (2003), pp. 17–42.doi:10.1007/ s00211-002-0436-7
work page 2003
-
[2]
Equivalent projectors for virtual element methods
B. Ahmad, A. Alsaedi, F. Brezzi, L. D. Marini, and A. Russo. “Equivalent projectors for virtual element methods”. In:Comput. Math. Appl.66.3 (2013), pp. 376–391
work page 2013
-
[3]
Finite element exterior calculus, homological tech- niques, and applications
D. N. Arnold, R. S. Falk, and R. Winther. “Finite element exterior calculus, homological tech- niques, and applications”. In:Acta Numerica15 (2006), 1–155.doi:10.1017/S0962492906210018
-
[4]
The hitchhiker’s guide to the virtual element method
L. Beir ˜ao da Veiga, F. Brezzi, L. Marini, and A. Russo. “The hitchhiker’s guide to the virtual element method”. In:Math. Models Methods Appl. Sci.24.08 (2014), pp. 1541–1573.doi: 10.1142/S021820251440003X
-
[5]
Arbitrary-order pressure-robust DDR and VEM methods for the Stokes problem on polyhedral meshes
L. Beir ˜ao da Veiga, F. Dassi, D. A. Di Pietro, and J. Droniou. “Arbitrary-order pressure-robust DDR and VEM methods for the Stokes problem on polyhedral meshes”. In:Comput. Meth. Appl. Mech. Engrg.397.115061 (2022).doi:10.1016/j.cma.2022.115061
-
[6]
L. Beir ˜ao da Veiga, K. Lipnikov, and G. Manzini.The mimetic finite difference method for elliptic problems. Vol. 11. MS&A. Modeling, Simulation and Applications. Springer, Cham, 2014.doi: 10.1007/978-3-319-02663-3
-
[7]
Sharper error estimates for virtual elements and a bubble- enriched version
L Beir ˜ao da Veiga and G. Vacca. “Sharper error estimates for virtual elements and a bubble- enriched version”. In:SIAM J. Numer. Anal.60.4 (2022), pp. 1853–1878.doi:10 . 1137 / 21M1411275
work page 2022
-
[8]
L. Beir ˜ao da Veiga, F. Brezzi, L. D. Marini, and A. Russo. “The virtual element method”. In: Acta Numerica32 (2023), pp. 123–202.doi:10.1017/S0962492922000095
-
[9]
Stability analysis for the virtual element method
L. Beir ˜ao da Veiga, C. Lovadina, and A. Russo. “Stability analysis for the virtual element method”. In:Math. Models Methods Appl. Sci.27.13 (2017), pp. 2557–2594.doi:10.1142/ S021820251750052X
work page 2017
-
[10]
Interpolation and stability estimates for edge and face virtual elements of general order
L. Beir ˜ao da Veiga, L. Mascotto, and J. Meng. “Interpolation and stability estimates for edge and face virtual elements of general order”. In:Math. Models Methods Appl. Sci.32.08 (2022), pp. 1589–1631
work page 2022
-
[11]
Basic principles of virtual element methods
L. Beir ˜ao da Veiga, F. Brezzi, A. Cangiani, G. Manzini, L. D. Marini, and A. Russo. “Basic principles of virtual element methods”. In:Math. Models Methods Appl. Sci.23.01 (2013), pp. 199–214
work page 2013
-
[12]
Virtual element method for general second-order elliptic problems on polygonal meshes
L. Beir ˜ao da Veiga, F. Brezzi, L. D. Marini, and A. Russo. “Virtual element method for general second-order elliptic problems on polygonal meshes”. In:Math. Models Methods Appl. Sci.26.04 (2016), pp. 729–750
work page 2016
-
[13]
Arbitrary-order nodal mimetic discretizations of elliptic problems on polygonal meshes
L. Beir ˜ao da Veiga, K. Lipnikov, and G. Manzini. “Arbitrary-order nodal mimetic discretizations of elliptic problems on polygonal meshes”. In:SIAM J. Numer. Anal.49.5 (2011), pp. 1737–1760. 28
work page 2011
-
[14]
D. Boffi and D. A. Di Pietro. “Unified formulation and analysis of mixed and primal discontinuous skeletal methods on polytopal meshes”. In:ESAIM: Math. Model. Numer. Anal.52.1 (2018), pp. 1–28.doi:10.1051/m2an/2017036
-
[15]
An exterior calculus framework for polytopal methods
F. Bonaldi, D. A. Di Pietro, J. Droniou, and K. Hu. “An exterior calculus framework for polytopal methods”. In:J. Eur. Math. Soc.(2025). Published online.doi:10.4171/JEMS/1602
-
[16]
Analysis of compatible discrete operator schemes for elliptic problems on polyhedral meshes
J. Bonelle and A. Ern. “Analysis of compatible discrete operator schemes for elliptic problems on polyhedral meshes”. In:ESAIM: Math. Model. Numer. Anal.48 (2014), pp. 553–581.doi: 10.1051/m2an/2013104
-
[17]
A low-order nonconforming method for linear elasticity on general meshes
M. Botti, D. A. Di Pietro, and A. Guglielmana. “A low-order nonconforming method for linear elasticity on general meshes”. In:Comput. Meth. Appl. Mech. Engrg.354 (2019), pp. 96–118. doi:10.1016/j.cma.2019.05.031
-
[18]
Some estimates for Virtual Element methods
S. C. Brenner, Q. Guan, and L.-Y. Sung. “Some estimates for Virtual Element methods”. In: Comput. Methods Appl. Math.17.4 (2017), 553––574
work page 2017
-
[19]
A Morley finite element method for the displacement obstacle problem of clamped Kirchhoff plates
S. C. Brenner, L.-Y. Sung, H. Zhang, and Y. Zhang. “A Morley finite element method for the displacement obstacle problem of clamped Kirchhoff plates”. In:Journal of Computational and Applied Mathematics254 (2013), pp. 31–42.doi:10.1016/j.cam.2013.02.028
-
[20]
Convergence of nonconforming multigrid methods without full elliptic regular- ity
S. C. Brenner. “Convergence of nonconforming multigrid methods without full elliptic regular- ity”. In:Math. Comp.68.225 (1999), pp. 25–53.doi:10.1090/S0025-5718-99-01035-2
-
[21]
Virtual element methods on meshes with small edges or faces
S. C. Brenner and L.-Y. Sung. “Virtual element methods on meshes with small edges or faces”. In:Math. Models Methods Appl. Sci.28.07 (2018), pp. 1291–1336
work page 2018
-
[22]
Mimetic finite differences for elliptic problems
F. Brezzi, A. Buffa, and K. Lipnikov. “Mimetic finite differences for elliptic problems”. In: ESAIM: Mathematical Modelling and Numerical Analysis43.2 (2009), pp. 277–295
work page 2009
-
[23]
Convergence of the mimetic finite difference method for diffusion problems on polyhedral meshes
F. Brezzi, K. Lipnikov, and M. Shashkov. “Convergence of the mimetic finite difference method for diffusion problems on polyhedral meshes”. In:SIAM Journal on Numerical Analysis43.5 (2005), pp. 1872–1896
work page 2005
-
[24]
Conforming and nonconforming virtual element methods for elliptic problems
A. Cangiani, G. Manzini, and O. J. Sutton. “Conforming and nonconforming virtual element methods for elliptic problems”. In:IMA J. Numer. Anal.37.3 (2017), pp. 1317–1354
work page 2017
-
[25]
How to prove the discrete reliability for nonconforming finite element methods
C. Carstensen and S. Puttkammer. “How to prove the discrete reliability for nonconforming finite element methods”. In:J. Comput. Math.38.1 (2020), pp. 142–175.doi:10.4208/jcm.1908- m2018-0174
-
[26]
Approximation variationnelle des probl`emes aux limites
J. C ´ea. “Approximation variationnelle des probl`emes aux limites”. In:Ann. Inst. Fourier (Greno- ble)14 (1964), pp. 345–444.url:http://www.numdam.org/item?id=AIF_1964__14_2_ 345_0
work page 1964
-
[27]
Some error analysis on virtual element methods
L. Chen and J. Huang. “Some error analysis on virtual element methods”. In:Calcolo55.1 (2018), p. 5
work page 2018
- [28]
-
[29]
A construction of spaces of compatible differential forms on cellular complexes
S. H. Christiansen. “A construction of spaces of compatible differential forms on cellular complexes”. In:Math. Models Methods Appl. Sci.18.5 (2008), pp. 739–757.doi:10.1142/ S021820250800284X
work page 2008
-
[30]
Topics in structure-preserving discretiza- tion
S. H. Christiansen, H. Z. Munthe-Kaas, and B. Owren. “Topics in structure-preserving discretiza- tion”. In:Acta Numerica20 (2011), pp. 1–119.doi:10.1017/S096249291100002X. 29
-
[31]
A third Strang lemma for schemes in fully discrete formulation
D. A. Di Pietro and J. Droniou. “A third Strang lemma for schemes in fully discrete formulation”. In:Calcolo55.40 (2018).doi:10.1007/s10092-018-0282-3
-
[32]
D. A. Di Pietro and J. Droniou. “An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness, Poincar´e inequalities, and consistency”. In:Found. Comput. Math.23 (2023), pp. 85–164.doi:10.1007/s10208-021-09542-8
-
[33]
D. A. Di Pietro and J. Droniou.The Hybrid High-Order method for polytopal meshes. Design, analysis, and applications. Modeling, Simulation and Application 19. Springer International Publishing, 2020.doi:10.1007/978-3-030-37203-3
- [34]
-
[35]
A pressure-robust Discrete de Rham scheme for the Navier–Stokes equations
D. A. Di Pietro, J. Droniou, and J. J. Qian. “A pressure-robust Discrete de Rham scheme for the Navier–Stokes equations”. In:Comput. Meth. Appl. Mech. Engrg.421.116765 (2024).doi: 10.1016/j.cma.2024.116765
-
[36]
Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
D. A. Di Pietro, J. Droniou, and F. Rapetti. “Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra”. In:Math. Models Methods Appl. Sci.30.9 (2020), pp. 1809–1855.doi:10.1142/S0218202520500372
-
[37]
A hybrid high-order locking-free method for linear elasticity on general meshes
D. A. Di Pietro and A. Ern. “A hybrid high-order locking-free method for linear elasticity on general meshes”. In:Comput. Meth. Appl. Mech. Engrg.283 (2015), pp. 1–21.doi:10.1016/ j.cma.2014.09.009
work page 2015
-
[38]
D. A. Di Pietro, A. Ern, and S. Lemaire. “An arbitrary-order and compact-stencil discretization of diffusion on general meshes based on local reconstruction operators”. In:Comput. Meth. Appl. Math.14.4 (2014), pp. 461–472.doi:10.1515/cmam-2014-0018
-
[39]
A discrete de Rham method for the Reissner-Mindlin plate bending problem on polygonal meshes
D. A. Di Pietro and J. Droniou. “A discrete de Rham method for the Reissner-Mindlin plate bending problem on polygonal meshes”. In:Comput. Math. Appl.125 (2022), pp. 136–149.doi: 10.1016/j.camwa.2022.08.041
-
[40]
A mixed finite volume scheme for anisotropic diffusion problems on any grid
J. Droniou and R. Eymard. “A mixed finite volume scheme for anisotropic diffusion problems on any grid”. In:Numer. Math.105.1 (2006), pp. 35–71.doi:10.1007/s00211-006-0034-1
-
[41]
J. Droniou, R. Eymard, T. Gallou ¨et, C. Guichard, and R. Herbin.The gradient discretisation method. Vol. 82. Mathematics & Applications. Springer, 2018, 511p.isbn: 978-3-319-79041-1 (Softcover) 978-3-319-79042-8 (eBook).doi:10.1007/978-3-319-79042-8
-
[42]
J. Droniou, R. Eymard, T. Gallou ¨et, and R. Herbin. “A unified approach to mimetic finite difference, hybrid finite volume and mixed finite volume methods”. In:Math. Models Methods Appl. Sci.20.2 (2010), pp. 265–295.doi:10.1142/S0218202510004222
-
[43]
Gradient schemes: generic tools for the numerical analysis of diffusion equations
J. Droniou, R. Eymard, and R. Herbin. “Gradient schemes: generic tools for the numerical analysis of diffusion equations”. In:M2AN Math. Model. Numer. Anal.50.3 (2016). Special issue – Polyhedral discretization for PDE, pp. 749–781.doi:10.1051/m2an/2015079
-
[44]
J. Droniou, A. Haidar, and R. Masson. “Analysis of a VEM–fully discrete polytopal scheme with bubble stabilisation for contact mechanics with Tresca friction”. In:ESAIM: M2AN Math. Model. Numer. Anal.59.2 (2025), pp. 1043–1074.doi:10.1051/m2an/2025013
-
[45]
A. Ern and J.-L. Guermond. “Mollification in strongly Lipschitz domains with application to continuous and discrete de Rham complexes”. In:Comput. Methods Appl. Math.16.1 (2016), pp. 51–75.doi:10.1515/cmam-2015-0034. 30
-
[46]
A. Ern and M. Vohral ´ık. “Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations”. In:SIAM J. Numer. Anal.53.2 (2015), pp. 1058–1081.doi:10.1137/130950100
-
[47]
A. Ern and M. Vohral ´ık. “Stable broken𝐻 1 and𝑯(div)polynomial extensions for polynomial- degree-robust potential and flux reconstruction in three space dimensions”. In:Math. Comp. 89.322 (2020), pp. 551–594.doi:10.1090/mcom/3482
-
[48]
A. Ern and J.-L. Guermond.Finite elements II. Approximation and interpolation. Vol. 73. Texts in Applied Mathematics. Springer, Cham, 2021.doi:10.1007/978-3-030-56923-5
-
[49]
R. Eymard, T. Gallou ¨et, and R. Herbin. “Finite volume methods”. In:Techniques of Scientific Computing, Part III. Ed. by P. G. Ciarlet and J.-L. Lions. Handbook of Numerical Analysis, VII. Amsterdam: North-Holland, 2000, pp. 713–1020
work page 2000
-
[50]
O. A. Karakashian and F. Pascal. “A posteriori error estimates for a discontinuous Galerkin ap- proximation of second-order elliptic problems”. In:SIAM J. Numer. Anal.41.6 (2003), pp. 2374– 2399.doi:10.1137/S0036142902405217
-
[51]
The mimetic finite difference method on polygonal meshes for diffusion-type problems
Y. Kuznetsov, K. Lipnikov, and M. Shashkov. “The mimetic finite difference method on polygonal meshes for diffusion-type problems”. In:Comput. Geosci.8.4 (2004), pp. 301–324
work page 2004
-
[52]
A. Linke. “On the role of the Helmholtz decomposition in mixed methods for incompressible flows and a new variational crime”. In:Comput. Methods Appl. Mech. Engrg.268 (2014), pp. 782–800. doi:10.1016/j.cma.2013.10.011
-
[53]
A nonconforming finite element approximation for the von Karman equations
G. Mallik and N. Nataraj. “A nonconforming finite element approximation for the von Karman equations”. In:ESAIM Math. Model. Numer. Anal.50.2 (2016), pp. 433–454.doi:10.1051/ m2an/2015052
-
[54]
The role of stabilization in the virtual element method: a survey
L. Mascotto. “The role of stabilization in the virtual element method: a survey”. In:Comput. Math. Appl.151 (2023), pp. 244–251
work page 2023
-
[55]
A virtual element method for the Steklov eigenvalue problem
D. Mora, G. Rivera, and R. Rodr ´ıguez. “A virtual element method for the Steklov eigenvalue problem”. In:Math. Models Methods Appl. Sci.25.08 (2015), pp. 1421–1445
work page 2015
-
[56]
G. Strang. “The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations”. In: ed. by A. Aziz. New York, NY: Academic Press, 1972. Chap. Variational crimes in the finite element method
work page 1972
-
[57]
Vohral ´ık.A posteriori numerical analysis based on the method of equilibrated fluxes
M. Vohral ´ık.A posteriori numerical analysis based on the method of equilibrated fluxes. Lecture notes for the course NMNV464, Charles University, Prague. Apr. 2024.url:https://who. rocq.inria.fr/Martin.Vohralik/Enseig/APost/a_posteriori.pdf
work page 2024
-
[58]
P. Wriggers, F. Aldakheel, and B. Hudobivnik.Virtual element methods in engineering sciences. Springer, 2024. 31
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.