Mathematics

We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…

The term Gibbons conjecture is widely used in connection with symmetry results for the Allen-Cahn equation. However, its origin is less transparent than its frequent citation suggests. In this note, we revisit its emergence, tracing it to a…

In this paper we prove the WALA conjecture.

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…

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…

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 paper, we study the dual Minkowski problem under group symmetry. For $0<q\le n$, we give a complete existence characterization in the framework of $G$-invariant convex bodies when the group $G\subset O(n)$ has no nonzero fixed…

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…

In Grayson's combinatorial description of higher K-groups, the generators are bounded acyclic binary multi-complexes of arbitrary size. Generalising work by Kasprowski, Winges and the author, we show in this paper that multi-complexes of…

This paper gives a complete description of the solutions of the global positioning problem, emphasizing the under-determined case. We show that the solutions form a quadric, which may degenerate in various ways. Perhaps more surprisingly,…

We give a complete classification of the Jordan types occurring in the nilpotent commutator of a nilpotent matrix whose Jordan type is a hook partition. As a consequence, we also show that two partitions with the same generic commuting…

For a graded ideal I in a graded ring, the deviation of I is defined as the difference between the minimal number of generators of I and its grade. In this article, we provide bigraded free resolutions of the symmetric algebras for specific…

In one of his posthumous papers, conserved in G\"ottingen, Riemann considers the derivatives of $\log\zeta(s)$ at the point $1/2$, giving explicit values for them. Around 2010 we shared Riemann's value of the second derivative with some…

We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$,…

We construct an explicit commutative ring $R$ that is reduced and integrally closed, such that $R_{\mathfrak p}$ is an integrally closed McCoy ring for every maximal ideal $\mathfrak p$ of $R$, while $R$ itself is not a McCoy ring and is…

We give a negative answer to Problem 19 of Cahen, Fontana, Frisch, and Glaz concerning the flatness and freeness of rings of integer-valued polynomials. We construct an explicit one-dimensional Noetherian local domain D over the field with…

We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of…

We extend a property of Mazzola's theory of cadential sets in relation to the modulation between minor and major tonalities from triadic to tetradic harmony, using the PLRQ group of Cannas et al. (2017) as the analogue of the classical PLR…

The $C$-quasi-injective dimension is a recently introduced homological invariant that unifies and extends the notions of quasi-injective dimension and of injective dimension with respect to a semidualizing module, previously studied by…

In this paper, we explore the connections between Christiaan Huygens and Niels Henrik Abel through the tautochrone problem. The problem -- determining the curve along which a particle descends under gravity in the same time, regardless of…