Schedule for: 24w5313 - Homological Perspective on Splines and Finite Elements

Beginning on Sunday, May 19 and ending Friday May 24, 2024

All times in UBC Okanagan, Canada time, PDT (UTC-7).

Sunday, May 19
16:00 - 23:00 Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk Nechako Residence)
20:00 - 22:00 Informal gathering
Nechako residence
(Lounge)
Monday, May 20
08:00 - 08:45 Breakfast
Please use the meal card and get the breakfast items from Comma(or any food merchants)
(UBC Okanagan - Food services)
08:45 - 09:00 Introduction and Welcome by BIRS-UBCO Staff (Main Meeting Room - ARTS 110)
09:00 - 10:00 Rebecca Goldin: Introduction to equivariant cohomology and GKM theory
Equivariant cohomology is an algebraic invariant associated to a group action on a space. GKM theory describes this graded ring in a very special set of commonly arising circumstances. In this talk, we will explain defining properties of equivariant cohomology for these spaces (with their group actions) and how to use GKM theory to calculate it. Along the way, we will explain how to associate labeled graphs, recently interpreted as splines, to these spaces.
(Main Meeting Room - ARTS 110)
10:00 - 11:00 Kaibo Hu
TBD
(Main Meeting Room - ARTS 110)
11:00 - 11:30 Coffee Break (ARTS 112)
11:30 - 12:30 Hendrik Speleers
TBD
(Main Meeting Room - ARTS 110)
12:30 - 14:30 Lunch (ARTS 112)
14:30 - 15:30 Bert Juettler
TBD
(Main Meeting Room - ARTS 110)
15:30 - 16:15 Coffee Break (ARTS 112)
16:15 - 17:15 Beihui Yuan: Homological perspectives on splines
TBD
(Main Meeting Room - ARTS 110)
17:30 - 18:00 Shuttle bus : UBCO Eme building - Parking lot
Please meet up at the parking lot.
(Other - See Description)
18:00 - 20:00 Dinner (Four Points Hotel)
Tuesday, May 21
08:00 - 09:00 Breakfast
Please use the meal card and get the breakfast items from Comma(or any food merchants)
(UBC Okanagan - Food services)
09:00 - 09:45 Johnny Guzman: Exact finite element sequences on macro triangulations
Abstract: Starting with C^1 spaces on macro triangulations (Alfeld, Worsey-Farin splits), we show that they are part of a finite element complex. We then discuss how some of the spaces can be used for problems in fluid flow, electro-magnetics and solid mechanics.
(Main Meeting Room - ARTS 110)
09:45 - 10:30 Cesare Bracco: Spline operators on Hilbert spaces
Spline functions are a well-known and widely employed tool, with applications to CAD, CAE, CAGD, numerical solution of PDEs, etc.. The theory about spline spaces has been and still is continuously growing, and led to countless types of of spline spaces [1, 2]: univariate and multivariate, polynomial and generalized, defined on triangulations and on (locally) tensor-product meshes, etc.. All these splines are traditionally functions s : Rm −→ Rn with varying regularities. In this presentation we explore the possibility to extend the concept of spline to operators (functions) s : X −→ R where X is an infinite-dimensional Hilbert space, motivated by the fact that such a tool could be applied both to approximation methods and to the solution of functional differential equations [3, 4]. We will present a couple of constructions for piecewise k-linear operators, as a proof of concept that splines can be defined and used in this more general setting.
(Main Meeting Room - ARTS 110)
10:30 - 11:00 Coffee Break (ARTS 112)
11:00 - 11:45 Martin Vohralik: Potential and flux reconstructions for optimal a priori and a posteriori error estimates
Given a scalar-valued discontinuous piecewise polynomial, a “potential reconstruction” is a piecewise polynomial that is trace-continuous, i.e., H1-conforming. It is best obtained via a conforming finite element solution of local homogeneous Dirichlet problems on patches of elements sharing a vertex. Similarly, given a vector-valued discontinuous piecewise polynomial not satisfying the target divergence, a “flux reconstruction” is a piecewise polynomial that is normal-trace-continuous, i.e., H(div)-conforming, and has the target divergence. It is best obtained via local homogeneous Neumann problems on patches of elements, using the mixed finite element method. These concepts are known to lead to guaranteed, locally efficient, and polynomial-degree-robust a posteriori error estimates. We show that they also allow to devise stable local commuting projectors that lead to p-robust equivalence of global-best approximation over the whole computational domain using a conforming finite element space with local- (elementwise-)best approximations without any continuity requirement along the interfaces and without any constraint on the divergence. Therefrom, optimal hp approximation / a priori error estimates under minimal elementwise Sobolev regularity follow.
(Main Meeting Room - ARTS 110)
11:45 - 12:30 Thomas Grandine: Spline modeling with BSpy
Recently, Eric Brechner and I have developed an open source Python package for building spline models of points, curves, surfaces, solids, and n-dimensional manifolds called BSpy. This package, based primarily on a single object class and a handful of methods, offers a powerful capability for building and manipulating geometric models in many dimensions. This talk will explain the history and philosophy that have gone into BSpy and will demonstrate some of the surprisingly complex operations that can be performed with coding idioms that are often only a few lines of code long.
(Main Meeting Room - ARTS 110)
12:30 - 14:30 Lunch (ARTS 112)
14:30 - 14:50 Group Photo (Main Meeting Room - ARTS 110)
14:50 - 17:30 Working groups
Additional breakout rooms: Art 106, Art 108 and Art 114(big room).
(Main Meeting Room - ARTS 110)
15:00 - 15:30 Coffee Break (ARTS 112)
17:30 - 18:00 Shuttle bus : UBCO Eme building - Parking lot
Please meet up at the parking lot.
(Other - See Description)
18:00 - 20:00 Dinner (Four Points Hotel)
20:00 - 22:00 Open problems (Main Meeting Room - ARTS 110)
Wednesday, May 22
08:00 - 08:45 Breakfast
Please use the meal card and get the breakfast items from Comma(or any food merchants)
(UBC Okanagan - Food services)
09:00 - 09:45 Julianna Tymoczko
TBD
(Main Meeting Room - ARTS 110)
09:45 - 10:30 Elizabeth Milicevic: Folded Alcove Walks & Applications to GKM Theory
This talk will explain the tool of folded alcove walks, which enjoy a wide range of applications throughout combinatorics, representation theory, number theory, and algebraic geometry. We will survey the construction of flag varieties through this lens, focusing on the problem of understanding intersections of different kinds of Schubert cells. We then highlight a key application in GKM theory.
(Main Meeting Room - ARTS 110)
10:30 - 11:00 Coffee Break (ARTS 112)
11:00 - 11:45 Ana Maria Alonso Rodriguez: High Order Whitney Finite Elements: geometrical degrees of freedom
The talk concerns the degrees of freedom that can be used to determine univocally the fields in high order Whitney finite element spaces. There are indeed two different families of such degrees of freedom, the weights and the moments. Weights and moments coincide in the lower order case, but are rather different as soon as we consider the high order case. I will mainly fo- cus on weights. Thank to their natural geometrical localization on the mesh, weights allow, for instance, to generalize, to the polynomial interpolation of differential k-forms, some fundamental concepts of the polynomial interpo- lation of regular scalar functions or to extend to the high order case graph techniques used in the low order case. I will also discuss about the relation- ship between weights and moments through a particular isomorphism that preserves the matrix of the gradient operator. This is a long term collaboration with Francesca Rapetti, from the University Coˆte d’Azur, France.
(Main Meeting Room - ARTS 110)
11:45 - 12:30 Jan Grošelj: A higher-degree super-smooth C^1 Powell-Sabin finite element
The Powell-Sabin 6-refinement has proven to be a convenient splitting technique for constructing smooth splines over a general triangulation. In this talk we use it to define a C^1 spline space of arbitrary degree with optimal polynomial precision and prescribed super-smoothness at split points inside triangles. Instead of traditional interpolation, we use blossoming to establish a set of functionals that characterize the spline space. The associated basis functions have some favorable properties, namely, they form a convex partition of unity and can be naturally represented in the Bernstein-Bezier form.
(Main Meeting Room - ARTS 110)
12:30 - 13:30 Lunch (ARTS 112)
13:30 - 17:30 Working groups
Additional breakout rooms: Art 106, Art 108 and Art 114(big room).
(Other - See Description)
17:30 - 18:00 Shuttle bus : UBCO Eme building - Parking lot
Please meet up at the parking lot.
(Other - See Description)
18:00 - 20:00 Dinner (Four Points Hotel)
Thursday, May 23
08:00 - 09:00 Breakfast
Please use the meal card and get the breakfast items from Comma(or any food merchants)
(UBC Okanagan - Food services)
09:00 - 09:45 Andrea Bressan: On the dimension of the space of C^{p-1} splines of degree p on the Wang-Shi split
The Wang-Shi split is a cross-cut partition of a triangle and consequently the dimension formula for the space of C^{p-1} splines of degree p does not have an homology term and it only involves the number of crossing lines containing each inner point. The talk will present a proof that the number of cut-lines containing any inner point is less than or equal to p+1 allowing to simplifying the formula to dim spline = dim polynomials + number of cut-lines.
(Main Meeting Room - ARTS 110)
09:45 - 10:30 Robert Piel: Adaptive, Structure-Preserving Finite Elements through Subdivision
This talk will introduce a novel construction of adaptive and yet structure preserving finite element discretizations with function spaces induced by subdivision. In many applications, for example in geo- physical fluid dynamics, adaptive and structure-preserving methods can be highly beneficial to simulate the long-term evolution of a multi-scale system with several invariants of motion like the total energy. If the discretizations of such systems do not preserve these invariants, the simulation results can differ significantly from the true physical behaviour of the systems. Combining the benefits of structure preservation and adaptive finite elements is notoriously difficult. If no special care is taken, adaptive mesh refinement algorithms of standard finite element approaches usually lose the property of structure preservation. Alternatively, the refinement can be chosen to be conforming, which in turn leads to unnecessary propagation of the refinement because surrounding cells need to be refined as well. On the other hand, IGA tensor-product techniques suffer from mesh topology restrictions. For this reason, we chose to build our function spaces upon subdivision. We extend the work of [1], who introduced vector field subdivision schemes that commute with the standard vector calculus operators like the gradient or the curl. Translating their work to the finite ele- ments realm yields de-Rham-complex-preserving finite elements for scalar functions, vector fields, and density functions. We added adaptivity to their structure-preserving discretization by leveraging the hi- erarchy of the basis functions induced by the subdivision algorithm. By carefully keeping track of the introduced degrees of freedom across the refinement levels, we maintain a discrete de Rham complex and thus enable structure-preserving simulations. Our method was verified by simulating the Maxwell eigenvalue problem, a well-known test case that reproduces the analytical eigenvalues if the chosen finite element spaces constitute a discrete de Rham complex. We show that our discretization indeed yields the correct spectrum and investigate the compu-tational effort and accuracy gains of our method.
(Main Meeting Room - ARTS 110)
10:30 - 11:00 Coffee Break (ARTS 112)
11:00 - 11:45 Alexander Woo
TBD
(Main Meeting Room - ARTS 110)
11:45 - 12:30 Jeremias Arf: Mixed Isogeometric Methods for Hodge–Laplace Problems induced by Second-Order Hilbert Complexes
Through the seminal works of Buffa et al., the fruitful integration of the two discretization paradigms of Finite Element Exterior Calculus (FEEC) and Isogeometric Analysis (IGA) was demonstrated already in 2011. The latter evolved over the last nearly 20 years, stemming from the publications of Hughes et al., into a powerful concept for linking Finite Element Methods with Computer-aided design. In fact, the introduction of isogeometric discrete differential forms by Buffa et al. laid the foundation for discretizing de Rham complexes in a structure-preserving manner using B-splines. However, although the FEEC theory was derived in an abstract setting, and while Hilbert sequences play a role in various physical applications, connecting IGA and FEEC often proves challenging or is sometimes not directly clear. This is especially true for Hilbert complexes that also encompass differential operators of higher orders. We present two approaches to obtain well-posed discretizations of a whole class of Hodge–Laplace problems using IGA, while maintaining the inf-sup stability condition. We focus on mixed weak formulations of saddle-point structure and second-order Hilbert complexes. In particular, we go beyond the standard de Rham case and demonstrate that ideas from FEEC and IGA are useful for non-de Rham chains as well. A central tool for describing the underlying settings and for choosing the Finite Element spaces is the Bernstein–Gelfand–Gelfand (BGG) construction discussed by Arnold and Hu in 2021. Our approach allows us to incorporate geometries with curved boundaries, which is not directly possible with classical FEEC approaches, and also provides suitable discretizations in arbitrary dimensions. We show error estimates for both approximation methods and explain their applicability in the field of linear elasticity theory. The theoretical discussions and estimates are further illustrated with various numerical examples perfomed utilizing the GeoPDEs software package.
(Main Meeting Room - ARTS 110)
12:30 - 13:30 Lunch (ARTS 112)
13:30 - 18:00 Excursion
Kelowna https://www.tourismkelowna.com/blog/post/how-to-use-transit-to-explore-kelownas-hiking-trails/
(Other - See Description)
19:00 - 20:30 Dinner (Four Points Hotel)
Friday, May 24
08:00 - 09:00 Breakfast
Please use the meal card and get the breakfast items from Comma(or any food merchants)
(UBC Okanagan - Food services)
09:00 - 09:45 Ulrich Reif (Main Meeting Room - ARTS 110)
10:00 - 10:30 Checkout by 11AM (Main Meeting Room - ARTS 110)
10:30 - 11:00 Coffee Break (ARTS 112)
12:00 - 13:30 Lunch (ARTS 112)