相关论文: Trace test
Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…
For a given l-adic sheaf F on a commutative algebraic group over a finite field k and an integer r we define the r-th local norm L-function of F at a point t in G(k) and prove its rationality. This function gives information on the sum of…
Modern machine learning systems are increasingly realised as multistage pipelines, yet existing transparency mechanisms typically operate at a model level: they describe what a system is and why it behaves as it does, but not how individual…
We study two-dimensional subshifts whose horizontal trace (a.k.a. projective subdynamics) contains only points of finite support. Our main result is a classification result for such subshifts satisfying a minimality property. As…
In this short note we give some techniques for constructing, starting from a {\it sufficient} family $\mc F$ of semifinite or finite traces on a von Neumann algebra $\M$, a new trace which is faithful.
The method of partial derivatives is one of the most successful lower bound methods for arithmetic circuits. It uses as a complexity measure the dimension of the span of the partial derivatives of a polynomial. In this paper, we consider…
In this paper an integral transform between spaces of nonstandard test functions on the affine space of dimension n is constructed. The integral transform satisfies a summation formula of Poisson type, which is derived from an analogue of…
We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…
Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In…
We give a necessary and sufficient condition on a $d$-dimensional affine subspace of $\mathbb{R}^n$ to be characterized by a finite set of patterns which are forbidden to appear in its digitization. This can also be stated in terms of local…
We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs. Our proofs overapproximate the set of program traces using failure automata, finite-state…
About 20 years ago, J-P.~Serre announced a bound on the trace of elements of compact Lie groups under the adjoint representation together with related results, provided indications of his proofs, and invited a better proof. This note…
We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry,…
The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider…
We establish new and different kinds of proofs of properties that arise due to the orthogonal decomposition of the Hilbert space, including projections, over the unit interval of one dimension. We also see angles between functions,…
In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…
We consider the method of alternating projections for finding a point in the intersection of two closed sets, possibly nonconvex. Assuming only the standard transversality condition (or a weaker version thereof), we prove local linear…
Recently, a number of reconstruction algorithms have been presented for residual strain tomography from Bragg-edge neutron transmission measurements. In this paper, we examine whether strain tomography can also be achieved from diffraction…
We investigate minimal degree smooth algebraic space filling curves on the product of projective lines. We prove that there are plenty of examples in an explicit sense, extending the existence result of Homma and Kim.
In the study of computer codes, filling space as uniformly as possible is important to describe the complexity of the investigated phenomenon. However, this property is not conserved by reducing the dimension. Some numeric experiment…