Related papers: Inductive Proof of Borchardt's Theorem

We consider matrix orthogonal polynomials related to Jacobi type matrices of weights that can be defined in terms of a given matrix Pearson equation. Stating a Riemann-Hilbert problem we can derive first and second order differential…

A uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets, and uniformly continuous maps is presented. In work of Berger it was shown how to extract certified algorithms working with the signed…

A product of irreducible representations of magnetic translation group is considered. It leads to irreducible representations which were previously rejected as nonphysical. A very simple example indicates a possible application of these…

We study the monic orthogonal polynomials with respect to a singularly perturbed Airy weight. By using Chen and Ismail's ladder operator approach, we derive a discrete system satisfied by the recurrence coefficients for the orthogonal…

Let $V$ be a M\"{o}bius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without…

This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems($IFS_p$'s). Also, the article proves the Collage theorem for partial iterated function systems. Further, it provides a method to…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in bijection with such matrices. The model…

Given a graded module over a commutative ring, we define a dg-Lie algebra whose Maurer-Cartan elements are the strictly unital A-infinity algebra structures on that module. We use this to generalize Positselski's result that a curvature…

Infinite determinantal measures introduced in this note are inductive limits of determinantal measures on an exhausting family of subsets of the phase space. Alternatively, an infinite determinantal measure can be described as a product of…

We give necessary and sufficient conditions for the convergence with geometric rate of the denominators of linear Pad\'e-orthogonal approximants corresponding to a measure supported on a general compact set in the complex plane. Thereby, we…

We prove well-posedness for some abstract differential equations of the first order. Our result covers the usual case of Lipschitz composition operators. It also contains the case of some integro-differential operators acting on spaces with…

We prove that the periodic initial value problem for a modified Euler-Poisson equation is well-posed for initial data in $H^{s} (T^{m})$ when $s>m/2+2$ and we improve the Sobolev index to $s>3/2$ for $m=1$. We also study the analytic…

We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L^2 torsions which, unlike the work of…

The Cauchy-type problem for a nonlinear differential equation involving Hilfer fractional derivative is considered. We prove existence, uniqueness and continuous dependence of a solution for Cauchy-type problem using successive…

Let $G$ be a $p$-adic reductive group. We determine the extensions between admissible smooth mod $p$ representations of $G$ parabolically induced from supersingular representations of Levi subgroups of $G$, in terms of extensions between…

We give a new proof of the Brawley-Carlitz theorem on irreducibility of the composed products of irreducible polynomials. Our proof shows that associativity of the binary operation for the composed product is not necessary. We then…

In this paper we consider four basic multidimensional matrix operations (outer product, Kronecker product, contraction, and projection) and two derivative operations (dot and circle products). We start with the interrelations between these…

We develop the tools required to effectively evaluate the Bianchi rigid meromorphic cocycles introduced by Darmon-Gehrmann-Lipnowski at big ATR points, and use them to obtain the first numerical verification of the conjectured algebraicity…

We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the…