-
Computational Serendipity and Tensor Product Finite Element Differential Forms
Authors:
Andrew Gillette,
Tyler Kloefkorn,
Victoria Sanders
Abstract:
Many conforming finite elements on squares and cubes are elegantly classified into families by the language of finite element exterior calculus and presented in the Periodic Table of the Finite Elements. Use of these elements varies, based principally on the ease or difficulty in finding a "computational basis" of shape functions for element families. The tensor product family, $Q^-_rΛ^k$, is most…
▽ More
Many conforming finite elements on squares and cubes are elegantly classified into families by the language of finite element exterior calculus and presented in the Periodic Table of the Finite Elements. Use of these elements varies, based principally on the ease or difficulty in finding a "computational basis" of shape functions for element families. The tensor product family, $Q^-_rΛ^k$, is most commonly used because computational basis functions are easy to state and implement. The trimmed and non-trimmed serendipity families, $S^-_rΛ^k$ and $S_rΛ^k$ respectively, are used less frequently because they are newer to the community and, until now, lacked a straightforward technique for computational basis construction. This represents a missed opportunity for computational efficiency as the serendipity elements in general have fewer degrees of freedom than elements of equivalent accuracy from the tensor product family. Accordingly, in pursuit of easy adoption of the serendipity families, we present complete lists of computational bases for both serendipity families, for any order $r\geq 1$ and for any differential form order $0\leq k\leq n$, for problems in dimension $n=2$ or $3$. The bases are defined via shared subspace structures, allowing easy comparison of elements across families. We use and include code in SageMath to find, list, and verify these computational basis functions.
△ Less
Submitted 31 May, 2018;
originally announced June 2018.
-
Trimmed Serendipity Finite Element Differential Forms
Authors:
Andrew Gillette,
Tyler Kloefkorn
Abstract:
We introduce the family of trimmed serendipity finite element differential form spaces, defined on cubical meshes in any number of dimensions, for any polynomial degree, and for any form order. The relation between the trimmed serendipity family and the (non-trimmed) serendipity family developed by Arnold and Awanou [Math. Comp. 83(288) 2014] is analogous to the relation between the trimmed and (n…
▽ More
We introduce the family of trimmed serendipity finite element differential form spaces, defined on cubical meshes in any number of dimensions, for any polynomial degree, and for any form order. The relation between the trimmed serendipity family and the (non-trimmed) serendipity family developed by Arnold and Awanou [Math. Comp. 83(288) 2014] is analogous to the relation between the trimmed and (non-trimmed) polynomial finite element differential form families on simplicial meshes from finite element exterior calculus. We provide degrees of freedom in the general setting and prove that they are unisolvent for the trimmed serendipity spaces. The sequence of trimmed serendipity spaces with a fixed polynomial order r provides an explicit example of a system described by Christiansen and Gillette [ESAIM:M2AN 50(3) 2016], namely, a minimal compatible finite element system on squares or cubes containing order r-1 polynomial differential forms.
△ Less
Submitted 5 January, 2018; v1 submitted 2 July, 2016;
originally announced July 2016.
-
Weakly Cohen-Macaulay posets and a class of finite-dimensional graded quadratic algebras
Authors:
Tyler Kloefkorn
Abstract:
To a finite ranked poset $Γ$ we associate a finite-dimensional graded quadratic algebra $R_Γ$. Assuming $Γ$ satisfies a combinatorial condition known as uniform, $R_Γ$ is related to a well-known algebra, the splitting algebra $A_Γ$. First introduced by Gelfand, Retakh, Serconek, and Wilson, splitting algebras originated from the problem of factoring non-commuting polynomials. Given a finite ranked…
▽ More
To a finite ranked poset $Γ$ we associate a finite-dimensional graded quadratic algebra $R_Γ$. Assuming $Γ$ satisfies a combinatorial condition known as uniform, $R_Γ$ is related to a well-known algebra, the splitting algebra $A_Γ$. First introduced by Gelfand, Retakh, Serconek, and Wilson, splitting algebras originated from the problem of factoring non-commuting polynomials. Given a finite ranked poset $Γ$, we ask: Is $R_Γ$ Koszul? The Koszulity of $R_Γ$ is related to a combinatorial topology property of $Γ$ called Cohen-Macaulay. Kloefkorn and Shelton proved that if $Γ$ is a finite ranked cyclic poset, then $Γ$ is Cohen-Macaulay if and only if $Γ$ is uniform and $R_Γ$ is Koszul. We define a new generalization of Cohen-Macaulay, weakly Cohen-Macaulay, and we note that this new class includes posets with disconnected open subintervals. We prove: if $Γ$ is a finite ranked cyclic poset, then $Γ$ is weakly Cohen-Macaulay if and only if $R_Γ$ is Koszul.
△ Less
Submitted 30 March, 2016;
originally announced March 2016.
-
Splitting Algebras: Koszul, Cohen-Macaulay and Numerically Koszul
Authors:
Tyler Kloefkorn,
Brad Shelton
Abstract:
We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebr…
▽ More
We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebra of A. We prove that R is Koszul and the poset is uniform if and only if the poset is Cohen-Macaulay. Koszulity of R implies Koszulity of A. We also show that when R is Koszul, the cohomology of the order complex of the poset can be identified with certain cohomology groups defined internally to the ring R. Finally, we settle in the negative the long-standing question: Does numerically Koszul imply Koszul for algebras of the form R?
△ Less
Submitted 1 December, 2013; v1 submitted 5 July, 2012;
originally announced July 2012.