相关论文: A note on De Concini and Procesi's curious identit…

In this note we show that the n-2-dimensional volumes of codimension 2 faces of an n-dimensional simplex are algebraically independent quantities of the volumes of its edge-lengths. The proof involves computation of the eigenvalues of…

We consider a smooth Euclidean solid cone endowed with a smooth homogeneous density function used to weight Euclidean volume and hypersurface area. By assuming convexity of the cone and a curvature-dimension condition we prove that the…

Let M be a hyperbolic n-manifold whose cusps have torus cross-sections. In arXiv:0901.0056, the authors constructed a variety of nonpositively and negatively curved spaces as "2\pi-fillings" of M by replacing the cusps of M with compact…

In this paper, we prove some general convergence theorems for the Picard iteration in cone metric spaces over a solid vector space. As an application, we provide a detailed convergence analysis of the Weierstrass iterative method for…

We study the Poincar\'e series of the mixed and pure trace rings of generic matrices. These series are known to be rational functions. We obtain an explicit formula in lowest terms in the case of $2\times2$ matrices; a denominator, which we…

Let a random simplex in a d-dimensional convex body be the convex hull of d+1 random points from the body. We study the following question: As a function of the convex body, is the expected volume of a random simplex monotone non-decreasing…

This paper investigates the relationship between the topology of hyperbolizable 3-manifolds M with incompressible boundary and the volume of hyperbolic convex cores homotopy equivalent to M. Specifically, it proves a conjecture of Bonahon…

Let $M$ be an open (i.e. complete and noncompact) manifold with nonnegative Ricci curvature. In this paper, we study whether the volume growth order of $M$ is always greater than or equal to the dimension of some (or every) asymptotic cone…

Connes' functional formula of the Riemannian distance is generalized to the Lorentzian case using the so-called Lorentzian distance, the d'Alembert operator and the causal functions of a globally hyperbolic spacetime. As a step of the…

This work investigates the algorithmic complexity of non-classical logics, focusing on superintuitionistic and modal systems. It is shown that propositional logics are usually polynomial-time reducible to their fragments with at most two…

We show that smooth curves of monic complex polynomials $P_a (Z)=Z^n+\sum_{j=1}^n a_j Z^{n-j}$, $a_j : I \to \mathbb C$ with $I \subset \mathbb R$ a compact interval, have absolutely continuous roots in a uniform way. More precisely, there…

We show that surface bundles over surfaces with base and fiber of genus at least 2 have non-vanishing simplicial volume.

The aim of this short note is to give a simple proof of the non-rationality of the double cover of the three-dimensional projective space branched over a sufficiently general quartic.

In a recent paper the first two authors proved that the generating series of the Poincare polynomials of the quasihomogeneous Hilbert schemes of points in the plane has a simple decomposition in an infinite product. In this paper we give a…

We show that the set of colored Jones polynomials and the set of generalized Alexander polynomials defined by Akutsu, Deguchi and Ohtsuki intersect non-trivially. Moreover it is shown that the intersection is (at least includes) the set of…

In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this…

It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a…

We study a set of topological roots of the local Bernstein-Sato polynomial of arbitrary plane curve singularities. These roots are characterized in terms of certain divisorial valuations and the numerical data of the minimal log resolution.…

Let $\mu$ be a compactly supported probability measure on the real line. Bercovici-Voiculescu and Nica-Speicher proved the existence of a free convolution power $\mu^{\boxplus k}$ for any real $k \geq 1$. The purpose of this short note is…

This study is devoted to the polynomial representation of the matrix $p$th root functions. The Fibonacci-H\"orner decomposition of the matrix powers and some techniques arisen from properties of generalized Fibonacci sequences, notably the…