Related papers: A Young-type integration on self-similar sets in i…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
We study the representations of the infinite symmetric group induced from the identity representations of Young subgroups. It turns out that such induced representations can be either of type~I or of type~II. Each Young subgroup corresponds…
We introduce mixed Segre numbers of ideals which generalize the notion of mixed multiplicities of ideals of finite colength and show how many results on mixed multiplicities can be extended to results on mixed Segre numbers. In particular,…
We propose a general formalism of iterated random functions with semigroup property, under which exact and approximate Bayesian posterior updates can be viewed as specific instances. A convergence theory for iterated random functions is…
Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p$, in equal characteristic zero as well. A summary of their properties and…
In this paper we generalize notions of iterated integral with regard to an unpredictable process. We establish a formula of integration by parts, the existence of a continuous modification and give an expression of the increasing process.
We will discuss an integrable structure for weakly coupled superconformal Yang-Mills theories, describe certain equivalences for the Yangian algebra, and fill a technical gap in our previous study of this subject.
We study synchronisation properties of networks of coupled dynamical systems with interaction akin to diffusion. We assume that the isolated node dynamics possesses a forward invariant set on which it has a bounded Jacobian, then we…
We prove that a class of randomized integration methods, including averages based on $(t,d)$-sequences, Latin hypercube sampling, Frolov points as well as Cranley-Patterson rotations, consistently estimates expectations of integrable…
We consider a renewal process with regularly varying stationary and weakly dependent steps, and prove that the steps made before a given time $t$, satisfy an interesting invariance principle. Namely, together with the age of the renewal…
This paper completely characterizes the standard Young tableaux that can be reconstructed from their sets or multisets of $1$-minors. In particular, any standard Young tableau with at least $5$ entries can be reconstructed from its set of…
In this note, we establish a novel maximal inequality of the 2D Young integral $\int_a^b\int_c^d FdG$ in terms of the $(p,q)$-bivariation norms of the section functions $x\mapsto F(x,y)$ and $y\mapsto F(x,y)$ where $G:[a,b]\times…
In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…
We investigate indeterminate points in discrete integrable system. They appear in singularity confinement phenomenon naturally. We develop a method to analyse indeterminate points of dynamical maps and using this method we clarify behaviour…
We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…
Some properties of integral averages of functions on intervals and their asymptotic behavior are investigated. The results are aimed at applications to entire and subharmonic functions.
We relate the exponential integrability of the conjugate function $\tilde{f}$ to the size of the gap in the essential range of $f$. Our main result complements a related theorem of Zygmund.
Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed,…
This article gives some properties of intervals in $\mathbb{R}$ and discusses some problems involving intervals for which the concept of outer measure on $\mathbb{R}$ provides a more efficient solution than an elementary approach. The outer…