Related papers: Volume-type functions for numerical cycle classes
Let X be a real algebraic surface. The comparison between the volume of real and complex loci of ample divisors D brings us to define the concordance, which is a number between 0 and 1. This number equals 1 when the Picard number is 1, and…
Integral of a certain multivalued form over cycle $\pmb\Delta$ provides zonal spherical function of type $A_n$. This paper is devoted to quantum group analysis and verification of monodromy properties of the distinguished cycle…
We characterize the inclusions of weighted classes of entire functions in terms of the defining weights resp. weight systems. First we treat weights defined in terms of a so-called associated weight function where the weight(system) is…
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…
Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as deBruijn cycles or $U$-cycles) of several…
Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…
In this paper, a criterion for a sequence of composition operators defined on the space of holomorphic functions in a complex domain to be frequently hypercyclic is provided. Such criterion improves some already known special cases and, in…
In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic…
We describe an inequality of finite or infinite sequences of real numbers and their quotients. More precisely, we compare the quotient of H\"older functionals of two sequences of numbers with the sum of their quotients. In the last section…
An almost periodic function in finite-dimensional space extends to a holomorphic bounded function in a tube domain with a cone in the base if and only if the spectrum belongs to the conjugate cone. Also, an almost periodic function in…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We consider the links between consistent and approximate descriptions of the quantum-classical systems, i.e. systems are composed of two interacting subsystems, one of which behaves almost classically while the other requires a quantum…
It is proved that the volume of spherical or hyperbolic simplices, when considered as a function of the dihedral angles, can be extended continuously to degenerated simplices.
By examining the rate of growth of an invariant volume $\mathcal V$ of some spacetime region along a divergence-free vector field $v^\alpha$, we introduce the concept of a "vector volume" $\mathcal{V}_v$. This volume can be defined in…
A vast class of exponential functions are shown to be deterministic. This class includes functions whose exponents are polynomial-like or "piece-wise" close to polynomials after differentiation. Many of these functions are proved to be…
Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls…
We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with…
This paper concerns the enumeration of isomorphism classes of modules of a polynomial algebra in several variables over a finite field. This is the same as the classification of commuting tuples of matrices over a finite field up to…