-
TeenyTinyLlama: open-source tiny language models trained in Brazilian Portuguese
Authors:
Nicholas Kluge Corrêa,
Sophia Falk,
Shiza Fatimah,
Aniket Sen,
Nythamar de Oliveira
Abstract:
Large language models (LLMs) have significantly advanced natural language processing, but their progress has yet to be equal across languages. While most LLMs are trained in high-resource languages like English, multilingual models generally underperform monolingual ones. Additionally, aspects of their multilingual foundation sometimes restrict the byproducts they produce, like computational deman…
▽ More
Large language models (LLMs) have significantly advanced natural language processing, but their progress has yet to be equal across languages. While most LLMs are trained in high-resource languages like English, multilingual models generally underperform monolingual ones. Additionally, aspects of their multilingual foundation sometimes restrict the byproducts they produce, like computational demands and licensing regimes. In this study, we document the development of open-foundation models tailored for use in low-resource settings, their limitations, and their benefits. This is the TeenyTinyLlama pair: two compact models for Brazilian Portuguese text generation. We release them under the permissive Apache 2.0 license on GitHub and Hugging Face for community use and further development. See https://github.com/Nkluge-correa/TeenyTinyLlama
△ Less
Submitted 17 May, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Local space-preserving decompositions for the bubble transform
Authors:
Richard S. Falk,
Ragnar Winther
Abstract:
The bubble transform is a procedure to decompose differential forms, which are piecewise smooth with respect to a given triangulation of the domain, into a sum of local bubbles. In this paper, an improved version of a construction in the setting of the de Rham complex previously proposed by the authors is presented. The major improvement in the decomposition is that unlike the previous results, in…
▽ More
The bubble transform is a procedure to decompose differential forms, which are piecewise smooth with respect to a given triangulation of the domain, into a sum of local bubbles. In this paper, an improved version of a construction in the setting of the de Rham complex previously proposed by the authors is presented. The major improvement in the decomposition is that unlike the previous results, in which the individual bubbles were rational functions with the property that groups of local bubbles summed up to preserve piecewise smoothness, the new decomposition is strictly space-preserving in the sense that each local bubble preserves piecewise smoothness. An important property of the transform is that the construction only depends on the given triangulation of the domain and is independent of any finite element space. On the other hand, all the standard piecewise polynomial spaces are invariant under the transform. Other key properties of the transform are that it commutes with the exterior derivative, is bounded in L^2, and satisfies the stable decomposition property.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Construction of polynomial preserving cochain extensions by blending
Authors:
Richard S. Falk,
Ragnar Winther
Abstract:
A classical technique to construct polynomial preserving extensions of scalar functions defined on the boundary of an $n$ simplex to the interior is to use so-called rational blending functions. The purpose of this paper is to generalize the construction by blending to the de Rham complex. More precisely, we define polynomial preserving extensions which map traces of $k$ forms defined on the bound…
▽ More
A classical technique to construct polynomial preserving extensions of scalar functions defined on the boundary of an $n$ simplex to the interior is to use so-called rational blending functions. The purpose of this paper is to generalize the construction by blending to the de Rham complex. More precisely, we define polynomial preserving extensions which map traces of $k$ forms defined on the boundary of the simplex to $k$ forms defined in the interior. Furthermore, the extensions are cochain maps, i.e., they commute with the exterior derivative.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
The Bubble Transform and the de Rham Complex
Authors:
Richard S. Falk,
Ragnar Winther
Abstract:
The purpose of this paper is to discuss a generalization of the bubble transform to differential forms. The bubble transform was discussed in a previous paper by the authors for scalar valued functions, or zero-forms, and represents a new tool for the understanding of finite element spaces of arbitrary polynomial degree. The present paper contains a similar study for differential forms. From a sim…
▽ More
The purpose of this paper is to discuss a generalization of the bubble transform to differential forms. The bubble transform was discussed in a previous paper by the authors for scalar valued functions, or zero-forms, and represents a new tool for the understanding of finite element spaces of arbitrary polynomial degree. The present paper contains a similar study for differential forms. From a simplicial mesh of the domain, we build a map which decomposes piecewise smooth $k$-forms into a sum of local bubbles supported on appropriate macroelements. The key properties of the decomposition are that it commutes with the exterior derivative and preserves the piecewise polynomial structure of the standard finite element spaces of $k$-forms. Furthermore, the transform is bounded in $L^2$ and also on the appropriate subspace consisting of $k$-forms with exterior derivatives in $L^2$.
△ Less
Submitted 6 February, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Hidden Positivity and a New Approach to Numerical Computation of Hausdorff Dimension: Higher Order Methods
Authors:
Richard S. Falk,
Roger D. Nussbaum
Abstract:
In [14], the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In this paper, we extend this approach to incorporate high order approximation methods. We again rely on the fact that we can associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$, an idea known in varying…
▽ More
In [14], the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In this paper, we extend this approach to incorporate high order approximation methods. We again rely on the fact that we can associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$, an idea known in varying degrees of generality for many years. Although $L_s$ is not compact in the setting we consider, it possesses a strictly positive $C^m$ eigenfunction $v_s$ with eigenvalue $R(L_s)$ for arbitrary $m$ and all other points $z$ in the spectrum of $L_s$ satisfy $|z| \le b$ for some constant $b < R(L_s)$. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value $s=s_*$ for which $R(L_s) =1$. This eigenvalue problem is then approximated by a collocation method at the extended Chebyshev points of each subinterval using continuous piecewise polynomials of arbitrary degree $r$. Using an extension of the Perron theory of positive matrices to matrices that map a cone $K$ to its interior and explicit a priori bounds on the derivatives of the strictly positive eigenfunction $v_s$, we give rigorous upper and lower bounds for the Hausdorff dimension $s_*$, and these bounds converge rapidly to $s_*$ as the mesh size decreases and/or the polynomial degree increases.
△ Less
Submitted 27 February, 2021; v1 submitted 25 August, 2020;
originally announced August 2020.
-
$C^m$ Eigenfunctions of Perron-Frobenius Operators and a New Approach to Numerical Computation of Hausdorff Dimension: Applications in $\mathbb{R}^1$
Authors:
Richard S. Falk,
Roger D. Nussbaum
Abstract:
We develop a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In the one dimensional case that we consider here, our methods require only $C^3$ regularity of the maps in the IFS. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linea…
▽ More
We develop a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In the one dimensional case that we consider here, our methods require only $C^3$ regularity of the maps in the IFS. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$. The operators $L_s$ can typically be studied in many different Banach spaces. Here, unlike most of the literature, we study $L_s$ in a Banach space of real-valued, $C^k$ functions, $k \ge 2$. We note that $L_s$ is not compact, but has essential spectral radius $ρ_s$ strictly less than the spectral radius $λ_s$ and possesses a strictly positive $C^k$ eigenfunction $v_s$ with eigenvalue $λ_s$. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value $s=s_*$ for which $λ_s =1$. This eigenvalue problem is then approximated by a collocation method using continuous piecewise linear functions. Using the theory of positive linear operators and explicit a priori bounds on the derivatives of the strictly positive eigenfunction $v_s$, we give rigorous upper and lower bounds for the Hausdorff dimension $s_*$, and these bounds converge to $s_*$ as the mesh size approaches zero.
△ Less
Submitted 30 August, 2017; v1 submitted 2 December, 2016;
originally announced December 2016.
-
A New Approach to Numerical Computation of Hausdorff Dimension of Iterated Function Systems: Applications to Complex Continued Fractions
Authors:
Richard S. Falk,
Roger D. Nussbaum
Abstract:
In a previous paper, dealing with "Applications in $\mathbb{R}^1$," the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS and studied some applications in one dimension. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positi…
▽ More
In a previous paper, dealing with "Applications in $\mathbb{R}^1$," the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS and studied some applications in one dimension. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$. In our context, $L_s$ is studied in a space of $C^m$ functions and is not compact. Nevertheless, it is has a strictly positive $C^m$ eigenfunction $v_s$ with positive eigenvalue $λ_s$ equal to the spectral radius of $L_s$. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value $s=s_*$ for which $λ_s =1$. To compute the Hausdorff dimension of an IFS associated to complex continued fractions, (which may arise from an infinite iterated function system), we again approximate the eigenvalue problem by a collocation method, but now using continuous piecewise bilinear functions. Using the theory of positive linear operators and explicit a priori bounds on the partial derivatives of the strictly positive eigenfunction $v_s$, we are able to give rigorous upper and lower bounds for the Hausdorff dimension $s_*$, and these bounds converge to $s_*$ as the mesh size approaches zero. We also demonstrate by numerical computations that improved estimates can be obtained by the use of higher order piecewise tensor product polynomial approximations, although the present theory does not guarantee that these are strict upper and lower bounds. An important feature of our approach is that it also applies to the much more general problem of computing approximations to the spectral radius of positive transfer operators, which arise in many other applications.
△ Less
Submitted 5 September, 2017; v1 submitted 2 December, 2016;
originally announced December 2016.
-
C^m Eigenfunctions of Perron-Frobenius Operators and a New Approach to Numerical Computation of Hausdorff Dimension
Authors:
Richard S. Falk,
Roger D. Nussbaum
Abstract:
We develop a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In the one dimensional case, our methods require only C^3 regularity of the maps in the IFS. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius oper…
▽ More
We develop a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In the one dimensional case, our methods require only C^3 regularity of the maps in the IFS. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators L_s. The operators L_s can typically be studied in many different Banach spaces. Here, unlike most of the literature, we study L_s in a Banach space of real-valued, C^k functions, k >= 2; and we note that L_s is not compact, but has a strictly positive eigenfunction v_s with positive eigenvalue lambda_s equal to the spectral radius of L_s. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value s=s_* for which lambda_s =1. This eigenvalue problem is then approximated by a collocation method using continuous piecewise linear functions (in one dimension) or bilinear functions (in two dimensions). Using the theory of positive linear operators and explicit a priori bounds on the derivatives of the strictly positive eigenfunction v_s, we give rigorous upper and lower bounds for the Hausdorff dimension s_*, and these bounds converge to s_* as the mesh size approaches zero.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
A Contribution to the Numerics of Polynomials and Matrix Polynomials
Authors:
Sigurd Falk
Abstract:
In this paper some algorithms will be presented which can be used for the calculation of zeros of polynomials and eigenvalues of polynomial matrices with a multiplicity larger than one. The numerical values calculated with MATLAB are used as starting values. The reliability of the algorithms is demonstrated by means of 8 examples.
In this paper some algorithms will be presented which can be used for the calculation of zeros of polynomials and eigenvalues of polynomial matrices with a multiplicity larger than one. The numerical values calculated with MATLAB are used as starting values. The reliability of the algorithms is demonstrated by means of 8 examples.
△ Less
Submitted 20 September, 2014;
originally announced September 2014.
-
The bubble transform: A new tool for analysis of finite element methods
Authors:
Richard S. Falk,
Ragnar Winther
Abstract:
The purpose of this paper is to discuss the construction of a linear operator, referred to as the bubble transform, which maps scalar functions defined on a bounded domain $Ω$ in $\mathbb{R}^n$ into a collection of functions with local support. In fact, for a given simplicial triangulation of $Ω$, the associated bubble transform produces a decomposition of functions on $Ω$ into a sum of functions…
▽ More
The purpose of this paper is to discuss the construction of a linear operator, referred to as the bubble transform, which maps scalar functions defined on a bounded domain $Ω$ in $\mathbb{R}^n$ into a collection of functions with local support. In fact, for a given simplicial triangulation of $Ω$, the associated bubble transform produces a decomposition of functions on $Ω$ into a sum of functions with support on the corresponding macroelements. The transform is bounded in both $L^2$ and the Sobolev space $H^1$, it is local, and it preserves the corresponding continuous piecewise polynomial spaces. As a consequence, this transform is a useful tool for constructing local projection operators into finite element spaces such that the appropriate operator norms are bounded independently of polynomial degree. The transform is basically constructed by two families of operators, local averaging operators and rational trace preserving cut--off operators.
△ Less
Submitted 5 December, 2013;
originally announced December 2013.
-
An evaluation of the exposure in nadir observation of the JEM-EUSO mission
Authors:
J. H. Adams,
S. Ahmad,
J. -N. Albert,
D. Allard,
M. Ambrosio,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
C. Aramo,
K. Asano,
M. Ave,
P. Barrillon,
T. Batsch,
J. Bayer,
T. Belenguer,
R. Bellotti,
A. A. Berlind,
M. Bertaina,
P. L. Biermann,
S. Biktemerova,
C. Blaksley,
J. Blecki,
S. Blin-Bondil,
J. Bluemer,
P. Bobik
, et al. (236 additional authors not shown)
Abstract:
We evaluate the exposure during nadir observations with JEM-EUSO, the Extreme Universe Space Observatory, on-board the Japanese Experiment Module of the International Space Station. Designed as a mission to explore the extreme energy Universe from space, JEM-EUSO will monitor the Earth's nighttime atmosphere to record the ultraviolet light from tracks generated by extensive air showers initiated b…
▽ More
We evaluate the exposure during nadir observations with JEM-EUSO, the Extreme Universe Space Observatory, on-board the Japanese Experiment Module of the International Space Station. Designed as a mission to explore the extreme energy Universe from space, JEM-EUSO will monitor the Earth's nighttime atmosphere to record the ultraviolet light from tracks generated by extensive air showers initiated by ultra-high energy cosmic rays. In the present work, we discuss the particularities of space-based observation and we compute the annual exposure in nadir observation. The results are based on studies of the expected trigger aperture and observational duty cycle, as well as, on the investigations of the effects of clouds and different types of background light. We show that the annual exposure is about one order of magnitude higher than those of the presently operating ground-based observatories.
△ Less
Submitted 11 May, 2013;
originally announced May 2013.
-
On the consistency of the combinatorial codifferential
Authors:
Douglas N. Arnold,
Richard S. Falk,
Johnny Guzmán,
Gantumur Tsogtgerel
Abstract:
In 1976, Dodziuk and Patodi employed Whitney forms to define a combinatorial codifferential operator on cochains, and they raised the question whether it is consistent in the sense that for a smooth enough differential form the combinatorial codifferential of the associated cochain converges to the exterior codifferential of the form as the triangulation is refined. In 1991, Smits proved this to b…
▽ More
In 1976, Dodziuk and Patodi employed Whitney forms to define a combinatorial codifferential operator on cochains, and they raised the question whether it is consistent in the sense that for a smooth enough differential form the combinatorial codifferential of the associated cochain converges to the exterior codifferential of the form as the triangulation is refined. In 1991, Smits proved this to be the case for the combinatorial codifferential applied to 1-forms in two dimensions under the additional assumption that the initial triangulation is refined in a completely regular fashion, by dividing each triangle into four similar triangles. In this paper we extend Smits's result to arbitrary dimensions, showing that the combinatorial codifferential on 1-forms is consistent if the triangulations are uniform or piecewise uniform in a certain precise sense. We also show that this restriction on the triangulations is needed, giving a counterexample in which a different regular refinement procedure, namely Whitney's standard subdivision, is used. Further, we show by numerical example that for 2-forms in three dimensions, the combinatorial codifferential is not consistent even for the most regular subdivision process.
△ Less
Submitted 4 February, 2014; v1 submitted 18 December, 2012;
originally announced December 2012.
-
Local bounded cochain projection
Authors:
Richard S. Falk,
Ragnar Winther
Abstract:
We construct projections from the space of differential k-forms which belong to L2 and whose exterior derivative also belongs to L2, to finite dimensional subspaces of piecewise polynomial differential forms defined on a simplicial mesh. These projections have the properties that they commute with the exterior derivative and are bounded independent of the mesh size. Unlike some other recent work i…
▽ More
We construct projections from the space of differential k-forms which belong to L2 and whose exterior derivative also belongs to L2, to finite dimensional subspaces of piecewise polynomial differential forms defined on a simplicial mesh. These projections have the properties that they commute with the exterior derivative and are bounded independent of the mesh size. Unlike some other recent work in this direction, the projections are also locally defined in the sense that they are defined by local operators on overlap** macroelements, in the spirit of the Clement interpolant.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
The JEM-EUSO Mission: Status and Prospects in 2011
Authors:
The JEM-EUSO Collaboration,
:,
J. H. Adams Jr,
S. Ahmad,
J. -N. Albert,
D. Allard,
M. Ambrosio,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
C. Aramo,
K. Asano,
P. Barrillon,
T. Batsch,
J. Bayer,
T. Belenguer,
R. Bellotti,
A. A. Berlind,
M. Bertaina,
P. L. Biermann,
S. Biktemerova,
C. Blaksley,
J. Blecki,
S. Blin-Bondil,
J. Bluemer
, et al. (235 additional authors not shown)
Abstract:
Contributions of the JEM-EUSO Collaboration to the 32nd International Cosmic Ray Conference, Bei**g, August, 2011.
Contributions of the JEM-EUSO Collaboration to the 32nd International Cosmic Ray Conference, Bei**g, August, 2011.
△ Less
Submitted 23 April, 2012;
originally announced April 2012.
-
Mixed finite element approximation of the vector Laplacian with Dirichlet boundary conditions
Authors:
Douglas N. Arnold,
Richard S. Falk,
Jay Gopalakrishnan
Abstract:
We consider the finite element solution of the vector Laplace equation on a domain in two dimensions. For various choices of boundary conditions, it is known that a mixed finite element method, in which the rotation of the solution is introduced as a second unknown, is advantageous, and appropriate choices of mixed finite element spaces lead to a stable, optimally convergent discretization. Howeve…
▽ More
We consider the finite element solution of the vector Laplace equation on a domain in two dimensions. For various choices of boundary conditions, it is known that a mixed finite element method, in which the rotation of the solution is introduced as a second unknown, is advantageous, and appropriate choices of mixed finite element spaces lead to a stable, optimally convergent discretization. However, the theory that leads to these conclusions does not apply to the case of Dirichlet boundary conditions, in which both components of the solution vanish on the boundary. We show, by computational example, that indeed such mixed finite elements do not perform optimally in this case, and we analyze the suboptimal convergence that does occur. As we indicate, these results have implications for the solution of the biharmonic equation and of the Stokes equations using a mixed formulation involving the vorticity.
△ Less
Submitted 16 September, 2011;
originally announced September 2011.
-
Finite element exterior calculus: from Hodge theory to numerical stability
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de Rham cohomology and Hodge theory are key tools for the continuous problem. Aft…
▽ More
This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de Rham cohomology and Hodge theory are key tools for the continuous problem. After a brief introduction to finite element methods, the discretization methods we consider, we develop an abstract Hilbert space framework for analyzing stability and convergence. In this framework, the differential complex is represented by a complex of Hilbert spaces and stability is obtained by transferring Hodge theoretic structures from the continuous level to the discrete. We show stable discretization is achieved if the finite element spaces satisfy two hypotheses: they form a subcomplex and there exists a bounded cochain projection from the full complex to the subcomplex. Next, we consider the most canonical example of the abstract theory, in which the Hilbert complex is the de Rham complex of a domain in Euclidean space. We use the Koszul complex to construct two families of finite element differential forms, show that these can be arranged in subcomplexes of the de Rham complex in numerous ways, and for each construct a bounded cochain projection. The abstract theory therefore applies to give the stability and convergence of finite element approximations of the Hodge Laplacian. Other applications are considered as well, especially to the equations of elasticity. Background material is included to make the presentation self-contained for a variety of readers.
△ Less
Submitted 26 August, 2009; v1 submitted 23 June, 2009;
originally announced June 2009.
-
Renormalization in Quantum Field Theory: An Improved Rigorous Method
Authors:
Silke Falk,
Rainer Häußling,
Florian Scheck
Abstract:
The perturbative construction of the S-matrix in the causal spacetime approach of Epstein and Glaser may be interpreted as a method of regularization for divergent Feynman diagrams. The results of any method of regularization must be equivalent to those obtained from the Epstein-Glaser (EG) construction, within the freedom left by the latter. In particular, the conceptually well-defined approach…
▽ More
The perturbative construction of the S-matrix in the causal spacetime approach of Epstein and Glaser may be interpreted as a method of regularization for divergent Feynman diagrams. The results of any method of regularization must be equivalent to those obtained from the Epstein-Glaser (EG) construction, within the freedom left by the latter. In particular, the conceptually well-defined approach of Bogoliubov, Parasuk, Hepp, and Zimmermann (BPHZ), though conceptually different from EG, meets this requirement. Based on this equivalence we propose a modified BPHZ procedure which provides a significant simplification of the techniques of perturbation theory, and which applies equally well to standard quantum field theory and to chiral theories. We illustrate the proposed method by a number of examples of various orders in perturbation theory. At the level of multi-loop diagrams we find that subdiagrams as classified by Zimmermann's forest formula in BPHZ may be restricted to subdiagrams in the sense of Epstein-Glaser, thus entailing an important reduction of actual computations. Furthermore, the relationship of our approach to the method of dimensional regularization is particularly transparent, without having to invoke analytic continuation to unphysical spacetime dimension, and sheds new light on certain parameters within dimensional regularization.
△ Less
Submitted 24 November, 2009; v1 submitted 15 January, 2009;
originally announced January 2009.
-
Geometric decompositions and local bases for spaces of finite element differential forms
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields, frequently referred to as Raviart-Thomas, Brezzi-Douglas-Marini, and Nedelec spaces. In the present paper, we derive geometric decompositions of these spaces…
▽ More
We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields, frequently referred to as Raviart-Thomas, Brezzi-Douglas-Marini, and Nedelec spaces. In the present paper, we derive geometric decompositions of these spaces which lead directly to explicit local bases for them, generalizing the Bernstein basis for ordinary Lagrange finite elements. The approach applies to both families of finite element spaces, for arbitrary polynomial degree, arbitrary order of the differential forms, and an arbitrary simplicial triangulation in any number of space dimensions. A prominent role in the construction is played by the notion of a consistent family of extension operators, which expresses in an abstract framework a sufficient condition for deriving a geometric decomposition of a finite element space leading to a local basis.
△ Less
Submitted 6 June, 2008;
originally announced June 2008.
-
Mixed finite element methods for linear elasticity with weakly imposed symmetry
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
In this paper, we construct new finite element methods for the approximation of the equations of linear elasticity in three space dimensions that produce direct approximations to both stresses and displacements. The methods are based on a modified form of the Hellinger--Reissner variational principle that only weakly imposes the symmetry condition on the stresses. Although this approach has been…
▽ More
In this paper, we construct new finite element methods for the approximation of the equations of linear elasticity in three space dimensions that produce direct approximations to both stresses and displacements. The methods are based on a modified form of the Hellinger--Reissner variational principle that only weakly imposes the symmetry condition on the stresses. Although this approach has been previously used by a number of authors, a key new ingredient here is a constructive derivation of the elasticity complex starting from the de Rham complex. By mimicking this construction in the discrete case, we derive new mixed finite elements for elasticity in a systematic manner from known discretizations of the de Rham complex. These elements appear to be simpler than the ones previously derived. For example, we construct stable discretizations which use only piecewise linear elements to approximate the stress field and piecewise constant functions to approximate the displacement field.
△ Less
Submitted 18 January, 2007;
originally announced January 2007.
-
Magnetic tunneling junctions with the Heusler compound Co_2Cr_{0.6}Fe_{0.4}Al
Authors:
A. Conca,
S. Falk,
G. Jakob,
M. Jourdan,
H. Adrian
Abstract:
The Heusler alloy is used as an electrode of magnetic tunneling junctions. The junctions are deposited by magnetron dc sputtering using shadow mask techniques with AlO_{x} as a barrier and cobalt as counter electrode. Measurements of the magnetoresistive differential conductivity in a temperature range between 4K and 300K are shown. An analysis of the barrier properties applying the Simmons mode…
▽ More
The Heusler alloy is used as an electrode of magnetic tunneling junctions. The junctions are deposited by magnetron dc sputtering using shadow mask techniques with AlO_{x} as a barrier and cobalt as counter electrode. Measurements of the magnetoresistive differential conductivity in a temperature range between 4K and 300K are shown. An analysis of the barrier properties applying the Simmons model to the bias dependent junction conductivity is performed. VSM measurements were carried out to examine the magnetic properties of the samples.
△ Less
Submitted 1 July, 2004;
originally announced July 2004.
-
Swee** the Space of Admissible Quark Mass Matrices
Authors:
Silke Falk,
Rainer Hausling,
Florian Scheck
Abstract:
We propose a new and efficient method of reconstructing quark mass matrices from their eigenvalues and a complete set of mixing observables. By a combination of the principle of NNI (nearest neighbour interaction) bases which are known to cover the general case, and of the polar decomposition theorem that allows to convert arbitrary nonsingular matrices to triangular form, we achieve a parameter…
▽ More
We propose a new and efficient method of reconstructing quark mass matrices from their eigenvalues and a complete set of mixing observables. By a combination of the principle of NNI (nearest neighbour interaction) bases which are known to cover the general case, and of the polar decomposition theorem that allows to convert arbitrary nonsingular matrices to triangular form, we achieve a parameterization where the remaining freedom is reduced to one complex parameter. While this parameter runs through the domain bounded by a circle with radius R determined by the up-quark masses around the origin in the complex plane one sweeps the space of all mass matrices compatible with the given set of data.
△ Less
Submitted 25 April, 2002; v1 submitted 4 March, 2002;
originally announced March 2002.
-
Approximation by quadrilateral finite elements
Authors:
Douglas N. Arnold,
Daniele Boffi,
Richard S. Falk
Abstract:
We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then transformed to a space of functions on each convex quadrilateral element via a bilinear isomorphism of the square onto the element. It is known that for affine…
▽ More
We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then transformed to a space of functions on each convex quadrilateral element via a bilinear isomorphism of the square onto the element. It is known that for affine isomorphisms, a necessary and sufficient condition for approximation of order r+1 in L2 and order r in H1 is that the given space of functions on the reference element contain all polynomial functions of total degree at most r. In the case of bilinear isomorphisms, it is known that the same estimates hold if the function space contains all polynomial functions of separate degree r. We show, by means of a counterexample, that this latter condition is also necessary. As applications we demonstrate degradation of the convergence order on quadrilateral meshes as compared to rectangular meshes for serendipity finite elements and for various mixed and nonconforming finite elements.
△ Less
Submitted 3 May, 2000;
originally announced May 2000.