Related papers: Addendum to "On the $p^{\lambda}$ problem"
For a prime $p\equiv 3$ $(\text{mod }4)$ and $m\ge 2$, Romik raised a question about whether the Taylor coefficients around $\sqrt{-1}$ of the classical Jacobi theta function $\theta_3$ eventually vanish modulo $p^m$. This question can be…
This paper is withdrawn due to some gaps in the proof
For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…
This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).
Random constraint satisfaction problems (CSPs) such as random $3$-SAT are conjectured to be computationally intractable. The average case hardness of random $3$-SAT and other CSPs has broad and far-reaching implications on problems in…
This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. It is shown that, in certain circumstances, including for all solvable algebras, for all Lie algebras over…
Abel's functional equation for $2^{x/2}$ and half-iterates of $\lambda x (1-x)$ & $\sqrt{1+x}$ are featured in this collection of exercises ($0 < \lambda \neq 1 < 2$).
The Mathieu operator {equation*} L(y)=-y"+2a \cos{(2x)}y, \quad a\in \mathbb{C},\;a\neq 0, {equation*} considered with periodic or anti-periodic boundary conditions has, close to $n^2$ for large enough $n$, two periodic (if $n$ is even) or…
In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…
We prove two lower bounds for stopping times of sequential tests between general composite nulls and alternatives. The first lower bound is for the setting where the type-1 error level $\alpha$ approaches zero, and equals $\log(1/\alpha)$…
Assuming the Riemann Hypothesis, we provide explicit upper bounds for moduli of $S(t)$, $S_1(t)$, and $\zeta\left(1/2+\mathrm{i}t\right)$ while comparing them with recently proven unconditional ones. As a corollary we obtain a conditional…
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in…
We consider elliptic equations with operators $L=a^{ij}D_{ij}+b^{i}D_{i}-c$ with $a$ being almost in VMO, $b\in L_{d}$ and $c\in L_{q}$, $c\geq0$, $d>q\geq d/2$. We prove the solvability of $Lu=f\in L_{p}$ in bounded $C^{1,1}$-domains,…
The dimer problem arose in a thermodynamic study of diatomic molecules, and was abstracted into one of the most basic and natural problems in both statistical mechanics and combinatoric mathematics. Given a rectangular lattice of volume V…
Let f: X -> Y be a separated morphism of schemes of finite type over a finite field of characteristic p, let Lambda be an artinian local Z_p-algebra with finite residue field, let m be the maximal ideal of Lambda, and let L^\bullet be a…
We provide new sufficient conditions under which Ryser's conjecture holds.
Sufficient conditions are given for a function $F(p)$ to be the Laplace transform of a function $f(t)$ or a distribution $f$. No assumption on $f$ is given a priori. It is not even assumed that $f=0$ for $t<0$.
We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting…
Provability logics are modal or polymodal systems designed for modeling the behavior of G\"odel's provability predicate in arithmetical theories and its natural extensions. If \Lambda is any ordinal, the G\"odel-L\"ob calculus GLP(\Lambda)…
This document contains additional numerical and graphical evidence to support some of the conjectures mentioned in \cite{GM3}. We give more evidence for $\kappa=3,4$ in dimension 2. As mentioned in that article we still don't quite…