Related papers: On the complexity of solving linear congruences an…
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus \mathfrak{g}_{\bar{1}}$ be a classical Lie superalgebra and $\mathcal{F}$ be the category of finite dimensional $\mathfrak{g}$-supermodules which are completely reducible over the reductive Lie…
We introduce and study certain hyperbolic versions of automorphic Lie algebras related to the modular group. Let $\Gamma$ be a finite index subgroup of $\mathrm{SL}(2,\mathbb{Z})$ with an action on a complex simple Lie algebra $\mathfrak…
Let $f(q)$ denote Ramanujan's mock theta function \[f(q) = \sum_{n=0}^{\infty} a(n) q^{n} := 1+\sum_{n=1}^{\infty} \frac{q^{n^{2}}}{(1+q)^{2}(1+q^{2})^{2}\cdots(1+q^{n})^{2}}.\] It is known that there are many linear congruences for the…
In this article we study the combinatorics of congruence subgroups of the modular group. We consider the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of Coxeter friezes),…
In this paper, we develop a quantified propositional proof systems that corresponds to logarithmic-space reasoning. We begin by defining a class SigmaCNF(2) of quantified formulas that can be evaluated in log space. Then our new proof…
The polynomial-time computability of the permanent over fields of characteristic 3 for k-semi-unitary matrices (i.e. square matrices such that the differences of their Gram matrices and the corresponding identity matrices are of rank k) in…
Let $k\geq 2$ be an integer. Given a uniform function $f$ - one that satisfies $\|f\|_{U(k)}<\infty$, there is an associated anti-uniform function $g$ - one that satisfied $\|g\|_{U(k)}^{*}$. The question is, can one approximate $g$ with…
We point out the existence of an arithmetical symmetry for the commutant of the modular matrices S and T. This symmetry holds for all affine simple Lie algebras at all levels and implies the equality of certain coefficients in any modular…
Many problems in robotics require reasoning over a mix of continuous dynamics and discrete events, such as making and breaking contact in manipulation and locomotion. These problems are locally well modeled by linear complementarity…
Let $X$ be a compact K\"ahler manifold whose anticanonical cohomology class is semipositive. Let $L$ be a big and semi-ample line bundle on $X$ and $\alpha$ be the Chern class of $L$. We give a sufficient condition ensuring that the…
Affine Kac-Moody algebras give rise to interesting systems of differential equations, so-called Knizhnik-Zamolodchikov equations. The monodromy properties of their solutions can be encoded in the structure of a modular tensor category on (a…
We work in the category $\mathcal{CLM}^u_k$ of [5] of separated complete bounded $k$-linearly topologized modules over a complete linearly topologized ring $k$ and discuss duality on certain exact subcategories. We study topological and…
We consider the long-standing question of whether every regular LB-space is complete. This problem has been open since the 1950s and originates in Grothendieck's early work in functional analysis. Rather than seeking a direct proof or…
The goal of the present paper is to provide a mathematically rigorous foundation to certain aspects of rational orbifold conformal field theory, in other words the theory of rational vertex operator algebras and their automorphisms. Under a…
A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any…
The arithmetic properties of the ordinary partition function $p(n)$ have been the topic of intensive study for the past century. Ramanujan proved that there are linear congruences of the form $p(\ell n+\beta)\equiv 0\pmod\ell$ for the…
Given a lattice $\mathbb{L}$ and a class $K$ of algebraic structures, we say that $\mathbb{L}$ \emph{forces nilpotency} in $K$ if every algebra $\mathbf{A} \in K$ whose congruence lattice $\mathrm{Con} (\mathbf{A})$ is isomorphic to…
Suppose that $\ell \geq 5$ is prime. For a positive integer $N$ with $4 \mid N$, previous works studied properties of half-integral weight modular forms on $\Gamma_0(N)$ which are supported on finitely many square classes modulo $\ell$, in…
A significant progress has been made in the past three decades over the study of combinatorial NP optimization problems and their associated optimization and approximate classes, such as NPO, PO, APX (or APXP), and PTAS. Unfortunately, a…
We investigate finite-dimensional constrained structured optimization problems, featuring composite objective functions and set-membership constraints. Offering an expressive yet simple language, this problem class provides a modeling…