Related papers: Proving Properties of $\varphi$-Representations wi…
By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…
It is shown that the integral representation of Feynman diagrams in terms of the traditional Feynman parameters, when combined with properties of the Mellin--Barnes representation and the so called {\it converse mapping theorem}, provide a…
We propose to study value automata with filters, a natural generalization of regular cost automata to nondeterminism. Models such as weighted automata and Parikh automata appear naturally as specializations. Results on the expressiveness of…
We introduce a theory of probability in $\lambda$-rings designed to efficiently describe random variables valued in multisets of complex numbers, varieties over a field, or other similar enriched settings. A key role is played by the…
In this note we prove a representation theorem for the symmetric cone automorphisms in the spin algebra\, $\Ln$.
We develop a numerical approach for computing the additive, multiplicative and compressive convolution operations from free probability theory. We utilize the regularity properties of free convolution to identify (pairs of) `admissible'…
We derive an implicit description of the image of a semialgebraic set under a birational map, provided that the denominators of the map are positive on the set. For statistical models which are globally rationally identifiable, this yields…
Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be a function for which we want to take local averages. Assuming we cannot look into the future, the 'average' at time $t$ can only use $f(s)$ for $s \leq t$. A natural way to do so is via a weight…
In this note we revisit Lurie's representability theorem for geometric stacks and prove that one of the conditions can be mildly relaxed. The proof uses ideas from Hall--Rydh's work on the (classical) Artin's representability theorem. We…
The results of several papers concerning the \v{C}ern\'y conjecture are deduced as consequences of a simple idea that I call the averaging trick. This idea is implicitly used in the literature, but no attempt was made to formalize the proof…
The purpose of this article is to show how the isotropy subgroup of leaf permutations on binary trees can be used to systematically identify tree-informative invariants relevant to models of phylogenetic evolution. In the quartet case, we…
We use Young's raising operators to give short and uniform proofs of several well known results about Schur polynomials and symmetric functions, starting from the Jacobi-Trudi identity.
Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Quantitative specification can be assisted by automata…
We introduce the notion of continuously invertible volatility models that relies on some Lyapunov condition and some regularity condition. We show that it is almost equivalent to the ability of the volatilities forecasting using the…
In this paper, we develop efficient and accurate evaluation for the Lyapunov operator function $\varphi_l(\mathcal{L}_A)[Q],$ where $\varphi_l(\cdot)$ is the function related to the exponential, $\mathcal{L}_A$ is a Lyapunov operator and…
We give a computability result for open Gromov-Witten invariants based on open WDVV equations. This is analogous to the result of Kontsevich-Manin for closed Gromov-Witten invariants. For greater generality, we base the argument on a formal…
A large part of modern machine learning theory often involves computing the high-dimensional expected trace of a rational expression of large rectangular random matrices. To symbolically compute such quantities using free probability…
For various series of complex semi-simple Lie algebras $\fg (t)$ equipped with irreducible representations $V(t)$, we decompose the tensor powers of $V(t)$ into irreducible factors in a uniform manner, using a tool we call {\it diagram…
In this paper we prove the WALA conjecture.
The aim of this paper is to find an expression for second derivative of the function $\phi(t)$ defined by $$\phi(t) = \lt(\int_V \vphi(t,x)^{-\beta} dx\rt)^{-\frac1{\be -n}},\qquad \beta\not= n,$$ where $U\subset \R$ and $V\subset \R^n$ are…