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 review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and K\H{o}nig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about…

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,…

Motivated by the recent work of Batkam-Tcheka on pointed multiplicative operads, we construct in this paper new chain complex algebras and two distinct bicomplex algebra structures on a free symmetric connected multiplicative differential…

In this work, we introduce a new class of Leibniz algebras, called quasi-Artinian Leibniz algebras, which generalizes the minimal condition on ideals. Furthermore, we provide some characterizations and give conditions under which a…

Sepsis remains a diagnostic challenge due to its heterogeneous molecular signatures and complex immune responses. In this study, we develop a logical data analysis framework based on Boolean polynomial rings. This method constructs an ideal…

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…

A scheme theoretic version of the automorphism group of a grading on an algebra is presented, and the classical result that shows that, over algebraically closed fields of characteristic 0, the automorphism group of a grading is the…

In this paper, we initiate the study of Leavitt path algebra over Kronecker square of a quiver and show the similarities and contrasts in the properties of Leavitt path algebra over a quiver and its Kronecker square. Furthermore, we discuss…

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…