Related papers: Rectangular $C^1$-$P_k$ finite elements with $Q_k$…
For a set $S$ of quadratic polynomials over a finite field, let $C$ be the (infinite) set of arbitrary compositions of elements in $S$. In this paper we show that there are examples with arbitrarily large $S$ such that every polynomial in…
Recent work of Kass--Wickelgren gives an enriched count of the $27$ lines on a smooth cubic surface over arbitrary fields. Their approach using $\mathbb{A}^1$-enumerative geometry suggests that other classical enumerative problems should…
In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…
In this article, a family of $H^2$-nonconforming finite elements on tetrahedral grids is constructed for solving the biharmonic equation in 3D. In the family, the $P_\ell$ polynomial space is enriched by some high order polynomials for all…
We construct examples of complete quaternionic K\"ahler manifolds with an end of finite volume, which are not locally homogeneous. The manifolds are aspherical with fundamental group which is up to an infinite cyclic extension a semi-direct…
For any $n$ and $k$, we provide an explicit (that is, computable in polynomial time) example of integer $B_k$-sequence of size $n$ consisting of elements bounded by $n^{k+o(k)}$.
In this paper we study (continuous) polynomials $p: J\to X$, where $J$ is an abelian topological semigroup and $X$ is a topological vector space. If $J$ is a subsemigroup with non-empty interior of a locally compact abelian group $G$ and…
An efficient finite element method (FEM) for calculating eigenvalues and eigenfunctions of quantum billiard systems is presented. We consider the FEM based on triangular $C_1$ continuity quartic interpolation. Various shapes of quantum…
Finding functions, particularly permutations, with good differential properties has received a lot of attention due to their varied applications. For instance, in combinatorial design theory, a correspondence of perfect $c$-nonlinear…
It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree…
For a class of interacting particle systems in continuous space, we show that finite-volume approximations of the bulk diffusion matrix converge at an algebraic rate. The models we consider are reversible with respect to the Poisson…
The well-known Hermite-Biehler theorem claims that a univariate monic polynomial s of degree k has all roots in the open upper half-plane if and only if s=p+iq where p and q are real polynomials of degree k and k-1 resp. with all real,…
We propose and analyze a new family of nonconforming finite elements for the three-dimensional quad-curl problem. The proposed finite element spaces are subspaces of $\pmb{H}(\mathrm{curl})$, but not of…
The successful A4 family symmetry for leptons is applied to quarks, motivated by the quark-lepton assignments of SU(5). Realistic quark masses and mixing angles are obtained, in good agreement with data. In particular, we find a strong…
We consider bivariate piecewise polynomial finite element spaces for curved domains bounded by piecewise conics satisfying homogeneous boundary conditions, construct stable local bases for them using Bernstein-B\'ezier techniques, prove…
We show that the decomposition matrix of unipotent $\ell$-blocks of a finite reductive group $\mathbf{G}(\mathbb{F}_q)$ has a unitriangular shape, assuming $q$ is a power of a good prime and $\ell$ is very good for $\mathbf{G}$. This was…
Let $C$ be a closed convex cone in ${\mathbb R}^n$, pointed and with interior points. We consider sets of the form $A=C\setminus A^\bullet$, where $A^\bullet\subset C$ is a closed convex set. If $A$ has finite volume (Lebesgue measure),…
It is shown that any smooth closed orientable manifold of dimension $2k + 1$, $k \geq 2$, admits a smooth polynomially convex embedding into $\mathbb C^{3k}$. This improves by $1$ the previously known lower bound of $3k+1$ on the possible…
A finite element cochain complex on Cartesian meshes of any dimension based on the H1-inner product is introduced. It yields H1-conforming finite element spaces with exterior derivatives in H1. We use a tensor product construction to obtain…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…