相关论文: A Generalisation of Niven's Theorem for Trigonomet…

We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by…

Quillen's localization theorem is well known as a fundamental theorem in the study of algebraic K-theory. In this paper, we present its arithmetic analogue for the equivariant K-theory of arithmetic schemes, which are endowed with an action…

Loop Quantum Gravity provides a natural truncation of the infinite degrees of freedom of gravity, obtained by studying the theory on a given finite graph. We review this procedure and we present the construction of the canonical theory on a…

The Jacobian Conjecture states that any locally invertible polynomial system in C^n is globally invertible with polynomial inverse. C. W. Bass et al. (1982) proved a reduction theorem stating that the conjecture is true for any degree of…

A large family of "standard" coboundary Hopf algebras is investigated. The existence of a universal R-matrix is demonstrated for the case when the parameters are in general position. Special values of the parameters are characterized by the…

A generic computation of a subset $A$ of $\mathbb{N}$ is a computation which correctly computes most of the bits of $A$, but which potentially does not halt on all inputs. The motivation for this concept is derived from complexity theory,…

A fundamental issue in the $\lambda$-calculus is to find appropriate notions for meaningfulness. It is well-known that in the call-by-name $\lambda$-calculus (CbN) the meaningful terms can be identified with the solvable ones, and that this…

We completely classify the atomic summands in a graph product $(M,\varphi) = *_{v \in \mathcal{G}} (M_v,\varphi_v)$ of von Neumann algebras with faithful normal states. Each type I factor summand $(N,\psi)$ is a tensor product of type I…

It is shown that the structure of thermodynamics is "form invariant", when it is derived using maximum entropy principle for various choices of entropy and even beyond equilibrium. By the form invariance of thermodynamics, it is meant that…

We discuss the classical results of Stanis{\l}aw Go\l\k{a}b, on the values of pi in arbitrary normed planes, including the classification of extremal values. We reprove the result of J. Duncan, D. Luecking, and C. McGregor, which states…

The Seifert-van Kampen theorem computes the fundamental group of a space from the fundamental groups of its constituents. We develop a modular SVK framework within the setting of computational paths - an approach to equality where witnesses…

We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree…

We establish a Second Main Theorem for entire holomorphic curves \( f: \mathbb{C} \to \mathbb{P}^2 \) intersecting a generic configuration of three conics \(\mathcal{C}= \mathcal{C}_1+ \mathcal{C}_2+ \mathcal{C}_3 \) in the complex…

We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary…

Let $T$ be a $\R$-tree in the boundary of the Outer Space CV$_N$, with dense orbits. The $Q$-index of $T$ is defined by means of the dual lamination of $T$. It is a generalisation of the Euler-Poincar\'e index of a foliation on a surface.…

052<p type="texpara" tag="Body Text" et="abstract" >A completely $n$ -positive linear map from a locally $C^{\ast}$-algebra $A$ to another locally $C^{\ast}$-algebra $B $is an $n\times n$ matrix whose elements are continuous linear maps…

In this note, we prove the following inequality for the norm of a convex body $K$ in $\mathbb{R}^n$, $n\geq 2$: $N(K) \leq \frac{\pi^{\frac{n-1}{2}}}{2 \Gamma \left(\frac{n+1}{2}\right)}\cdot \operatorname{length} (\gamma) +…

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting…

Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/\pi$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by…

We introduce {\em quadri-tilings} and show that they are in bijection with dimer models on a {\em family} of graphs $\{R^*\}$ arising from rhombus tilings. Using two height functions, we interpret a sub-family of all quadri-tilings, called…