Mathematics

Let $\mathcal{H}(b)$ be the de Branges-Rovnyak space associated to a non-extreme point $b$ of the unit ball of $H^\infty$, and let $\phi=b/a$, where $a$ is the Pythagorean mate of $b$. It is known that, if $f$ is a function holomorphic on a…

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

Let $(R,\frak m)$ be a generalized Cohen-Macaulay local ring of prime characteristic $p$. In this paper we give a sharp bound for the Frobenius test exponent of parameter ideals. Namely, we prove that $$\mathrm{Fte}(R) \le \lceil…

We give a simple example of a polynomial contraction automorphism of $\mathbb C^d$, $ d\ge 3 $, with unbounded degree growth. Combined with Poincar\'e-Dulac theorem it provides an algebraic automorphism of $\mathbb C^d$, $ d\ge 3 $, which…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

Let $R$ be a local or positively graded ring with a regular presentation $R \cong Q/I$ where $I$ is a monomial ideal generated by $n$ elements on a regular sequence. In Briggs-Grifo-Pollitz (2025), the authors classify the cohomological…

In this paper, we investigate two subclasses of analytic and univalent functions associated with the exponential mapping $\varphi(z)=e^{\alpha z},\qquad 0<\alpha\le1,$ defined via the subordination conditions $\frac{zf'(z)}{f(z)}\prec…

We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published…

In this note we study the multiplier norm estimates for the multiplication operators between weighted Bergman spaces, whose symbols are the higher-order Schwarzian derivatives of univalent functions. We establish sharp multiplier estimates…

We introduce and study the Bourbaki degree as a numerical invariant for \(2 \times 4\) matrices $\Theta$ of homogeneous polynomials over a polynomial ring \(R = k[x_1, \dots, x_n]\). This invariant, defined via a Bourbaki sequence for the…

We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…

In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…

Dobbs proved that the second iterate of almost every line in the complex plane under the exponential function is dense in the plane. In this paper, we prove an analogous result for the second iterate of the Zorich map in $\mathbb{R}^3$.

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…

In this article we study devlop some fundaments for a function theory in the 16-dimensional complexified octonions.

We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary,…

We study the geodesic flow on the unit cotangent bundle $M=S^{*}\mathcal{N}$ of a closed hyperbolic surface $\mathcal{N}$, using the representation theory of $SL_{2}(\mathbb{R})$. We construct explicit $X$-adapted Hilbert spaces, obtained…

Let $\mathcal{H}(\mathbb{D})$ denote the space of analytic functions in the unit disc $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$. For $0<p<\infty$ and $f\in\mathcal{H}(\mathbb{D})$, let $M_p^p(r,f)=\int_0^{2\pi}|f(re^{i\theta})|^p…

We develop an ind-Banach framework for revisiting analytification in complex geometry, inspired by Bambozzi-Chiarellotto-Vanni's work on tempered cohomology. We define several ind-Banach rings of overconvergent and holomorphic power series…