Related papers: Inductive Proof of Borchardt's Theorem
We compute the divisors of Borcherds products on integral models of orthogonal Shimura varieties. As an application, we obtain an integral version of a theorem of Borcherds on the modularity of a generating series of special divisors.
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…
This article gives a new matrix function named "twisted immanant," which can be regarded as an analogue of the immanant. This is defined for each self-conjugate partition through a "twisted" analogue of the irreducible character of the…
We prove a converse theorem for the multiplicative Borcherds lift for lattices of square-free level whose associated discriminant group is anisotropic. This can be seen as generalization of Bruinier's results in \cite{Br2}, which provides a…
As an application of Cauchy's Theorem we prove that $\int_0^1\arctan\left({\arctanh x-\arctan x\over \pi+\arctanh x-\arctan x}\right) {dx\over x}= {\pi\over 8}\log{\pi^2\over 8}$ answering a question first posted in Mathematics Stack…
In this work, we give a rigorous explicit formula for the Lyapunov exponent for some binary infinite products of random $2\times 2$ real matrices. All these products are constructed using only two types of matrices, $A$ and $B$, which are…
Symmetrizable matrices are those which are symmetric when multiplied by a diagonal matrix with positive entries. The Cauchy interlace theorem states that the eigenvalues of a real symmetric matrix interlace with those of any principal…
We give the strong asymptotic of Cauchy biorthogonal polynomials under the assumption that the defining measures are supported on non intersecting intervals of the real line and satisfy Szeg\H{o}'s condition. The biorthogonal polynomials…
We prove continuous dependence on Cauchy data for a backward parabolic operator whose coefficients are Log-Lipschitz continuous in time.
We study the arithmetic circuit complexity of some well-known family of polynomials through the lens of parameterized complexity. Our main focus is on the construction of explicit algebraic branching programs (ABP) for determinant and…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
We provide a construction of the multiplicative Borcherds lift for unitary groups U(1,m), which takes weakly holomorphic elliptic modular forms and lifts them to meromorphic automorphic forms having infinite product expansions and taking…
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic…
In his striking 1995 paper, Borcherds found an infinite product expansion for certain modular forms with CM divisors. In particular, this applies to the Hilbert class polynomial of discriminant $-d$ evaluated at the modular $j$-function.…
We clarify the linear algebra used in the quaternionic pluripotential theory so that proofs of several results there can be greatly simplified. In particular, we characterize and normalize real $2$-forms with respect to the quaternionic…
A version of Auslander theorem is proven for the following classes of noncommutative algebras: (a) noetherian PI local (or connected graded) algebras of finite injective dimension, (b) universal enveloping algebras of finite dimensional Lie…
We prove the absolute convergence, functional equations and meromorphic continuation of local intertwining periods on parabolically induced representations of finite length for certain symmetric spaces over local fields of characteristic…
Borchers has shown that in a translation covariant vacuum representation of a theory of local observables with positive energy the following holds: The (Tomita) modular objects associated with the observable algebra of a fixed wedge region…
In this paper we give the absolutely new proof of a conjecture of R.F.Scott(1881) on the permanent of a Cauchy matrix $\ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct…
A new method for constructing absolutely continuous two--dimensional copulas by differential equations is presented. The copulas are symmetric with respect to reflection in the opposite diagonal. The support of the copula density may be…