Related papers: Trace test
A set $S\subset \mathbb{R}^n$ is a nonnegativity witness for a set $U$ of real homogeneous polynomials if $F$ in $U$ is nonnegative on $\mathbb{R}^n$ if and only if it is nonnegative at all points of $S$. We prove that the union of the…
We extend the geometric side of Arthur's non-invariant trace formula for a reductive group $G$ defined over $\mathbb{Q}$ continuously to a natural space $\mathcal{C}(G(\mathbb{A}^1))$ of test functions which are not necessarily compactly…
Motivated by recent advances in Catalan combinatorics, we study special values of the standard trace on affine Hecke algebras. Starting from a generating function for this trace calculated by Opdam, we use the theory of Szenes and Vergne to…
We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…
This is a comprehensive study of the relations between the global, local and pointwise variants of irreducibility and integrity of schemes, including examples and counterexamples, and aimed especially at learners of algebraic geometry.
We study the set of possible traces of anisotropic least gradient functions. We show that even on the unit disk it changes with the anisotropic norm: for two sufficiently regular strictly convex norms the trace spaces coincide if and only…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
In this work we develop a discrete trace theory that spans non-conforming hybrid discretization methods and holds on polytopal meshes. A notion of a discrete trace seminorm is defined, and trace and lifting results with respect to a…
The paper focuses on a classical tracking model, subspace learning, grounded on the fact that the targets in successive frames are considered to reside in a low-dimensional subspace or manifold due to the similarity in their appearances. In…
We revisit facial reduction from the point of view of projective geometry. This leads us to a homogenization strategy in conic programming that eliminates the phenomenon of weak infeasibility. For semidefinite programs (and others), this…
In this paper we develop new reduction techniques for testing the finiteness of the finitistic dimension of a finite dimensional algebra over a field. Viewing the latter algebra as a quotient of a path algebra, we propose two operations on…
We study linear series on curves inducing injective morphisms to projective space, using zero-dimensional schemes and cohomological vanishings. Albeit projections of curves and their singularities are of central importance in algebraic…
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However, on recursive constrained data-structures (e.g., sorted…
A basic problem in the study of algebraic morphisms is to determine which sets can be realised as the image of an endomorphism of affine space. This paper extends the results previously obtained by the first author on the question of…
We investigate the arithmetic of algebraic curves on coarse moduli spaces for special linear rank two local systems on surfaces with fixed boundary traces. We prove a structure theorem for morphisms from the affine line into the moduli…
In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible…
We define the local trace function for subspaces of $\ltworn$ which are invariant under integer translation. Our trace function contains the dimension function and the spectral function defined by Bownik and Rzeszotnik and completely…
A representation $\pi$ of a locally compact group $G$ is called \e{trace class}, if for every test function $f$ the induced operator $\pi(f)$ is a trace class operator. The group $G$ is called \e{trace class}, if every $\pi\in G$ is trace…
Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e.,…
We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…