-
Foundations of space-time finite element methods: polytopes, interpolation, and integration
Authors:
Cory V. Frontin,
Gage S. Walters,
Freddie D. Witherden,
Carl W. Lee,
David M. Williams,
David L. Darmofal
Abstract:
The main purpose of this article is to facilitate the implementation of space-time finite element methods in four-dimensional space. In order to develop a finite element method in this setting, it is necessary to create a numerical foundation, or equivalently a numerical infrastructure. This foundation should include a collection of suitable elements (usually hypercubes, simplices, or closely rela…
▽ More
The main purpose of this article is to facilitate the implementation of space-time finite element methods in four-dimensional space. In order to develop a finite element method in this setting, it is necessary to create a numerical foundation, or equivalently a numerical infrastructure. This foundation should include a collection of suitable elements (usually hypercubes, simplices, or closely related polytopes), numerical interpolation procedures (usually orthonormal polynomial bases), and numerical integration procedures (usually quadrature rules). It is well known that each of these areas has yet to be fully explored, and in the present article, we attempt to directly address this issue. We begin by develo** a concrete, sequential procedure for constructing generic four-dimensional elements (4-polytopes). Thereafter, we review the key numerical properties of several canonical elements: the tesseract, tetrahedral prism, and pentatope. Here, we provide explicit expressions for orthonormal polynomial bases on these elements. Next, we construct fully symmetric quadrature rules with positive weights that are capable of exactly integrating high-degree polynomials, e.g. up to degree 17 on the tesseract. Finally, the quadrature rules are successfully tested using a set of canonical numerical experiments on polynomial and transcendental functions.
△ Less
Submitted 5 March, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Estimates for Brascamp-Lieb forms in $L^p$ spaces with power weights
Authors:
Russell M. Brown,
Carl W. Lee,
Katharine A. Ott
Abstract:
We establish a set of necessary conditions and a set of sufficient conditions for boundedness of a family of Brascamp-Lieb forms in Lorentz spaces and $L^p$-spaces with power weights. The conditions are close to optimal.
We establish a set of necessary conditions and a set of sufficient conditions for boundedness of a family of Brascamp-Lieb forms in Lorentz spaces and $L^p$-spaces with power weights. The conditions are close to optimal.
△ Less
Submitted 16 June, 2020; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Recovering Lexicographic Triangulations
Authors:
Carl W. Lee,
Wendy Weber
Abstract:
Given a finite set $V=\{v^1, \dots, v^n\} \subset \mathbb R^d$ with dim conv $(V)=d$, a triangulation $T$ of $V$ is a collection of distinct subsets $\{T_1, \dots, T_m\}$ where $T_i \subseteq V$ is the vertex set of a $d$-simplex, $\mathrm{conv} (V)=\bigcup_{i=1}^m \mathrm{conv} (T_i)$, and $T_i \cap T_j$ is a common (possibly empty) face of both $T_i$ and $T_j$. Associated with each triangulation…
▽ More
Given a finite set $V=\{v^1, \dots, v^n\} \subset \mathbb R^d$ with dim conv $(V)=d$, a triangulation $T$ of $V$ is a collection of distinct subsets $\{T_1, \dots, T_m\}$ where $T_i \subseteq V$ is the vertex set of a $d$-simplex, $\mathrm{conv} (V)=\bigcup_{i=1}^m \mathrm{conv} (T_i)$, and $T_i \cap T_j$ is a common (possibly empty) face of both $T_i$ and $T_j$. Associated with each triangulation $T$ of $V$ is the GKZ-vector $φ(T)=(z_1, \dots, z_n)$ where $z_i$ is the sum of the volumes of all $d$-simplices of $T$ having $v^i \in V$ as a vertex. It is clear that given $V$ and a triangulation $T$ we can find $φ(T)$. The focus of this paper is recovering a lexicographic triangulation from its GKZ-vector.
The motivation for studying triangulations and their GKZ-vectors arises from the work of Gel'fand, Kapranov, and Zelevinskiǐ in which they illuminate connections between regular triangulations and subdivisions of Newton polytopes, and generalized discriminants and determinants.
The secondary polytope, $Σ(V)$, of an arbitrary finite point set $V \subset \mathbb R^d$, introduced by Gel'fand, Kapranov, and Zelevinskiǐ, is defined to be the convex hull of the GKZ-vectors of all triangulations of $V$. They showed the vertices of $Σ(V)$ are in one-to-one correspondence with the regular triangulations of $V$. Since the GKZ-vector of a regular triangulation is uniquely associated with that triangulation, a natural question is how that triangulation can be recovered from its vector. We answer this question in the case that the associated triangulation is lexicographic.
△ Less
Submitted 17 November, 2017;
originally announced November 2017.
-
Swee** the cd-Index and the Toric h-Vector
Authors:
Carl W. Lee
Abstract:
We derive formulas for the cd-index and the toric h-vector of a convex polytope P from a swee** by a hyperplane. These arise from interpreting the corresponding S-shelling of the dual of P. We describe a partition of the faces of the complete truncation of P to reflect explicitly the nonnegativity of its cd-index and what its components are counting. One corollary is a quick way to compute the t…
▽ More
We derive formulas for the cd-index and the toric h-vector of a convex polytope P from a swee** by a hyperplane. These arise from interpreting the corresponding S-shelling of the dual of P. We describe a partition of the faces of the complete truncation of P to reflect explicitly the nonnegativity of its cd-index and what its components are counting. One corollary is a quick way to compute the toric h-vector directly from the cd-index. We also propose an "extended toric" h-vector that fully captures the information in the flag h-vector.
△ Less
Submitted 9 November, 2010;
originally announced November 2010.