Related papers: A family of formulas with reversal of arbitrarily …
For a one-parameter family of lower triangular matrices with entries involving continuous $q$-ultraspherical polynomials we give an explicit lower triangular inverse matrix, with entries involving again continuous $q$-ultraspherical…
We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak K\H{o}nig's lemma (WWKL), and…
The derived category of a Gorenstein triangular matrix algebra $A$ admits an unbounded ladder, which is of period $3$ if $A = T_2(B)$. Also, a left recollement of triangulated categories with Serre functors sits in a ladder of period $1$;…
We construct a general framework for deriving error bounds for conic feasibility problems. In particular, our approach allows one to work with cones that fail to be amenable or even to have computable projections, two previously challenging…
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on…
Recently there has been several works estimating the number of $n\times n$ matrices with elements from some finite sets $\mathcal X$ of arithmetic interest and of a given determinant. Typically such results are compared with the trivial…
We prove an inverse relation and a family of convolution formulas involving partial Bell polynomials. Known and some presumably new combinatorial identities of convolution type are discussed. Our approach relies on an interesting…
Working with a presumed asymptotic series for lambda_d developed in previous work, we make some intelligent guesses for lambda_d with d=3, 4, 5; and estimates for the corresponding errors. We present arguments in favor of these guesses, we…
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with $n$ elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus…
The irreducible alternative superbimodules are studied. The complete classification is obtained for even bimodules of arbitrary dimension and for finite-dimensional irreducible superbimodules over an algebraically closed field.
Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.
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.
For a rational number $r$ such that $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where the word $x$ is nonempty, the word $x'$ is in $\{x,x^R\}$, and we have $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$…
We introduce a new infinite class of superintegrable quantum systems in the plane. Their Hamiltonians involve reflection operators. The associated Schr\"odinger equations admit separation of variables in polar coordinates and are exactly…
A polynomial f(x) has emergent reducibility at depth n if f^{\circ k}(x) is irreducible for 0\leq k\leq n-1 but f^{\circ n}(x) is reducible. In this paper we prove that there are infinitely many irreducible cubics f \in \mathbb{Z}[x] with…
In this article, we investigate the avoidance property of ideals and rings. Among the main results, a general version of the avoidance lemma is formulated. It is shown that every idempotent ideal (and hence every pure ideal) has avoidance.…
We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…
We study the boundedness of families of algebraic flat connections with bounded irregularity. As an application, we study the boundedness of families of holonomic $D$-modules with dominated characteristic cycles.
We study C*-irreducibility of inclusions of reduced twisted group C*-algebras and of reduced group C*-algebras. We characterize C*-irreducibility in the case of an inclusion arising from a normal subgroup, and exhibit many new examples of…
We investigate compositional iteration of fractional order for transseries. For any large positive transseries $T$ of exponentiality 0, there is a family $T^{[s]}$ indexed by real numbers $s$ corresponding to teration of order $s$. It is…