http://arxiv.org/api/1I7E3ujO/HV7uJ8NmHMzX8iLwsg 2025-05-06T00:00:00-04:00 13665 405 15 http://arxiv.org/abs/2502.06880v1 2025-02-08T14:18:50Z 2025-02-08T14:18:50Z

Let $(R, \frak m)$ be a local ring of prime characteristic $p$ and of dimension $d$ with the embedding dimension $v$, type $s$ and the Frobenius test exponent for parameter ideals $\mathrm{Fte}(R)$. We will give an upper bound for the multiplicity of Cohen-Macaulay rings in prime characteristic in terms of $\mathrm{Fte}(R),d,v$ and $s$. Our result extends the main results for Gorenstein rings due to Huneke and Watanabe.

Duong Thi Huong Pham Hung Quy Thang Long Journal of Science: Mathematics and Mathematical Sciences, Vol. 3, 17--27. arXiv admin note: substantial text overlap with arXiv:1901.00849 http://arxiv.org/abs/2401.06756v2 2025-02-08T13:55:10Z 2024-01-12T18:43:28Z

We prove that if the first tight Hilbert coefficient vanishes then ring is $F$-rational provided it is a Buchsbaum local ring satisfying the $(S_2)$ condition.

Duong Thi Huong Nguyen Tuan Long Pham Hung Quy 10 pages, To appear in Communication in Algebra http://arxiv.org/abs/2502.05358v1 2025-02-07T22:15:53Z 2025-02-07T22:15:53Z

We describe the equivariant syzygies of the ideal of $2 \times 2$ permanents of a generic $2 \times n$ matrix under its natural symmetric and torus group actions. Our proof gives us a new method of finding the Betti numbers of this ideal, which were first described by Gesmundo, Huang, Schenck, and Weyman.

Jacob Zoromski 11 pages http://arxiv.org/abs/2502.05278v1 2025-02-07T19:25:59Z 2025-02-07T19:25:59Z

The computational complexity of polynomial ideals and Gr\"obner bases has been studied since the 1980s. In recent years the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational algebra, with a view towards effective algorithms. We investigate the computational complexity of the subalgebra membership problem and degree bounds. In particular, we place these problems in the complexity class EXPSPACE and prove PSPACE-completeness for homogeneous algebras. We highlight parallels and differences compared to the settings of ideals and also look at important classes of polynomials such as monomial algebras.

Leonie Kayser 16 pages, comments welcome! http://arxiv.org/abs/2502.05126v1 2025-02-07T17:56:30Z 2025-02-07T17:56:30Z

We prove that the regularity of edge ideals of powers of forests is weakly decreasing. We then compute the regularity of edge ideals of powers of cycles.

My Hanh Pham Thanh Vu http://arxiv.org/abs/2502.04872v1 2025-02-07T12:24:56Z 2025-02-07T12:24:56Z

In this paper, we characterize the Cohen-Macaulayness of the second power $I(G_\omega)^2$ of the weighted edge ideal $I(G_\omega)$ when the underlying graph $G$ is a very well-covered graph. We also characterize the Cohen-Macaulayness of all ordinary powers of $I(G_\omega)^n$ when $G$ is a tree with a perfect matching consisting of pendant edges and the induced subgraph $G[V(G)\setminus S]$ of $G$ on $V(G)\setminus S$ is a star, where $S$ is the set of all leaf vertices, or if $G$ is a connected graph with a perfect matching consisting of pendant edges and the induced subgraph $G[V(G)\setminus S]$ of $G$ on $V(G)\setminus S$ is a complete graph and the weight function $\omega$ satisfies $\omega(e)=1$ for all $e\in E(G[V(G)\setminus S])$.

Jiaxin Li Tran Nam Trung Guangjun Zhu http://arxiv.org/abs/2306.03308v3 2025-02-07T10:56:44Z 2023-06-05T23:30:30Z

There is a one-to-one and onto correspondence between the class of numerical semigroups of depth $n$, where $n$ is an integer, and a certain language over the alphabet $\{1,\ldots,n\}$ which we call a Kunz language of depth $n$. The Kunz language associated with the numerical semigroups of depth $2$ is the regular language $\{1,2\}^*2\{1,2\}^*$. We prove that Kunz languages associated with numerical semigroups of larger depth are context-sensitive but not regular.

Manuel Delgado Jaume Usó i Cubertorer 13 pages, to be published in Involve http://arxiv.org/abs/2502.04276v1 2025-02-06T18:20:38Z 2025-02-06T18:20:38Z

This paper introduces a computationally efficient algorithm in system theory for solving inverse problems governed by linear partial differential equations (PDEs). We model solutions of linear PDEs using Gaussian processes with priors defined based on advanced commutative algebra and algebraic analysis. The implementation of these priors is algorithmic and achieved using the Macaulay2 computer algebra software. An example application includes identifying the wave speed from noisy data for classical wave equations, which are widely used in physics. The method achieves high accuracy while enhancing computational efficiency.

Xin Li Markus Lange-Hegermann Bogdan Raiţă http://arxiv.org/abs/2502.04179v1 2025-02-06T16:11:22Z 2025-02-06T16:11:22Z

In algebraic statistics, the maximum likelihood degree of a statistical model refers to the number of solutions (counted with multiplicity) of the score equations over the complex field. In this paper, the maximum likelihood degree of the association parameter of Gumbels Type-I bivariate exponential distribution is investigated using algebraic techniques.

Pooja Yadav Tanuja Srivastava http://arxiv.org/abs/2502.04422v1 2025-02-06T16:10:46Z 2025-02-06T16:10:46Z

The maximum likelihood degree of a statistical model refers to the number of solutions, where the derivative of the log-likelihood function is zero, over the complex field. This paper examines the maximum likelihood degree of the parameter in Farlie-Gumbel-Morgenstern bivariate exponential distribution.

Pooja Yadav Tanuja Srivastava http://arxiv.org/abs/2502.04119v1 2025-02-06T14:48:45Z 2025-02-06T14:48:45Z

Gotzmann's persistence theorem provides a method for determining the Hilbert polynomial of a subscheme of projective space by evaluating the Hilbert function at only two points, irrespective of the dimension of the ambient space. In arXiv:2405.02275 we established an analogue of Gotzmann's persistence theorem for smooth projective toric varieties. We generalise our results to the setting of Mori dream spaces, whose associated Cox rings are also finitely generated. We also give an alternative, stronger, persistence result for points in products of projective spaces.

Patience Ablett http://arxiv.org/abs/2502.03343v1 2025-02-05T16:37:31Z 2025-02-05T16:37:31Z

A.A. Suslin proved a normality theorem for an elementary linear group and V.I. Kopeiko extended this result of Suslin for a symplectic group defined with respect to the standard skew-symmetric matrix of even size. We generalized the result of Kopeiko for a symplectic group defined with respect to any invertible skew-symmetric matrix of Pfaffian one. Vaserstein group is an extension of a symplectic group defined with respect to any invertible skew-symmetric matrix of Pfaffian one in the set up of projective modules. Here we prove a normality theorem for Vaserstein group.

Ruddarraju Amrutha Pratyusha Chattopadhyay arXiv admin note: text overlap with arXiv:2211.01416, arXiv:2412.10696 http://arxiv.org/abs/2101.05236v5 2025-02-05T16:32:34Z 2021-01-13T17:58:49Z

We show an intrinsic version of Thomason's fixed point theorem. Then we determine the local structure of the Hilbert scheme of $\leq 7$ points in $\mathbb{A}^3$. In particular, we show that in these cases the points with the same extra dimension have the same singularity type. Using these results we compute the equivariant Hilbert functions at the singularities and verify a conjecture of Zhou on the Euler characteristics of tautological sheaves on Hilbert schemes of points on $\mathbb{P}^3$ for $\leq 6$ points.

Xiaowen Hu Changes from v3: the historical account around Conjecture 1.1 is reorganized; theorem 5.20 follows directly from a proposition in Krug's paper, and we add Remark 5.16 addressing this; we enhance Lemma 4.3 so that the proof of Proposition 4.3 works. Changes from v4: relevant Macaulay2 and Mathematica codes are re-uploaded http://arxiv.org/abs/2407.18751v3 2025-02-05T10:51:20Z 2024-07-26T14:06:11Z

The Terracini locus $\mathbb{T}(n, d; x)$ is the locus of all finite subsets $S$ of $ \mathbb{P}^n$ of cardinality $x$ such that $\langle S \rangle = \mathbb{P}^n$, $h^0(\mathcal{I}_{2S}(d)) > 0$, and $h^1(\mathcal{I}_{2S}(d)) > 0$. The celebrated Alexander-Hirschowitz Theorem classifies the triples $(n,d,x)$ for which $\dim\mathbb{T}(n, d; x)=xn$. Here we fully characterize the next step in the case $n=2$, namely, we prove that $\mathbb{T}(2,d;x)$ has at least one irreducible component of dimension $2x-1$ if and only if either $(d,x)\in\{(4,4),$ $(5,6),(5,7),$ $(6,9),(6,10)\}$, or $d\ge 7$, $d\equiv 1,2 \pmod{3}$ and $x=(d+2)(d+1)/6$.

Edoardo Ballico Maria Chiara Brambilla Claudio Fontanari Revised version, minor changes. 12 pages http://arxiv.org/abs/2408.16240v2 2025-02-05T07:20:14Z 2024-08-29T03:46:03Z

Let $R$ be a commutative unital ring and $N$ be a submodule of an $R$-module $M$. The submodule $\langle E_M(N)\rangle$ generated by the envelope $E_M(N)$ of $N$ is instrumental in studying rings and modules that satisfy the radical formula. We show that: 1) the semiprime radical is an invariant on all the submodules which are respectively generated by envelopes in the ascending chain of envelopes of a given submodule; 2) for rings that satisfy the radical formula, $\langle E_M(0)\rangle$ is an idempotent radical and it induces a torsion theory whose torsion class consists of all nil $R$-modules and the torsionfree class consists of all reduced $R$-modules; and 3) Noetherian uniserial modules satisfy the semiprime radical formula and their semiprime radical is a nil module.

David Ssevviiri Annet Kyomuhangi 10 pages