Related papers: Desingularization of function fields

Functional equations satisfied by additive functions have a special interest not only in the theory of functional equations, but also in the theory of (commutative) algebra because the fundamental notions such as derivations and…

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using…

We prove in arbitrary characteristic that an immediate valued algebraic function field $F$ of transcendence degree 1 over a tame field $K$ is contained in the henselization of $K(x)$ for a suitably chosen $x\in F$. This eliminates…

We propose a simple but effective multi-source domain generalization technique based on deep neural networks by incorporating optimized normalization layers that are specific to individual domains. Our approach employs multiple…

We address univariate root isolation when the polynomial's coefficients are in a multiple field extension. We consider a polynomial $F \in L[Y]$, where $L$ is a multiple algebraic extension of $\mathbb{Q}$. We provide aggregate bounds for…

Consider a tensor product of free algebras over a field $k$, the so-called multipartite free algebra $A=k \langle X^{(1)}\rangle\otimes\cdots\otimes k\langle X^{(G)}\rangle$. It is well-known that $A$ is a domain, but not a fir nor even a…

Let D be a Euclidean domain, with fraction field K. Let R(D) be the subring of K generated by the reciprocals of the nonzero elements of D. The main theorem states that if R(D) is not equal to K, then R(D) is a rank 1 discrete valuation…

Quantization is studied from a viewpoint of field extension. If the dynamical fields and their action have a periodicity, the space of wave functions should be algebraically extended `a la Galois, so that it may be consistent with the…

Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this work, we use Lean 4 to formalize the mathematics of…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

A brief overview of some computer algebra methods for computations with nested integrals is given. The focus is on nested integrals over integrands involving square roots. Rewrite rules for conversion to and from associated nested sums are…

Non-integer dimensions are commonplace in quantum field theories (QFTs) through dimensional regularization. In particular this affects angular calculations involving dot products. The structure of these rises from the generally accepted…

We give an exposition of Deligne's theory of local $\epsilon_0$-factors over fields and discrete valuation rings under the assumption that the theory over the complex numbers is known. We then employ standard techniques from algebraic…

Neural network quantization has become an important research area due to its great impact on deployment of large models on resource constrained devices. In order to train networks that can be effectively discretized without loss of…

We have recently proposed a new regularization framework based on the loop-tree duality theorem. This theorem allows to rewrite loop level amplitudes in terms of tree-level structures and phase-space integrations. In consequence, it is…

We introduce the notion of a lowering-raising (or LR) triple of linear transformations on a nonzero finite-dimensional vector space. We show how to normalize an LR triple, and classify up to isomorphism the normalized LR triples. We…

In this study we consider domains that are composed of an infinite sequence of self-similar rings and corresponding finite element spaces over those domains. The rings are parameterized using piecewise polynomial or tensor-product B-spline…

The Pauli--Villars regularization procedure confirms and sharpens the conclusions reached previously by covariant point splitting. The divergences in the stress tensor of a quantized scalar field interacting with a static scalar potential…

An approach to renormalization of scalar fields on the Doplicher-Fredenhagen-Roberts (DFR) quantum spacetime is presented. The effective non-local theory obtained through the use of states of optimal localization for the quantum spacetime…

Single domain generalization aims to address the challenge of out-of-distribution generalization problem with only one source domain available. Feature distanglement is a classic solution to this purpose, where the extracted task-related…