Related papers: Characteristic-free test ideals
Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing.…
Suppose that $X$ is an integral scheme (quasi-)projective over a complete local ring of mixed characteristic. Using ideas of Takamatsu-Yoshikawa and Bhatt-Ma-et. al, we define a notion of a $+$-test ideal on $X$, including for divisors and…
We study the Cohen-Macaulay property of a particular class of radical extensions of an unramified regular local ring having mixed characteristic.
In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of…
Expanding on the work of Fouli and Vassilev \cite{FV}, we determine a formula for the *-$\rm{core}$ of an ideal in two different settings: (1) in a Cohen--Macaulay local ring of characteristic $p>0$, perfect residue field and test ideal of…
This paper is about the local geometry of a real surfaces. It introduces machinery for studying families of subsets which are determined by conditions which are similar to base conditions, but also involve positivity/non-negativity. The…
In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…
Score tests have the advantage of requiring estimation alone of the model restricted by the null hypothesis, which often is much simpler than models defined under the alternative hypothesis. This is typically so when the alternative…
A Noetherian local ring $(R,\mathfrak{m})$ is called Buchsbaum if the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q})$, where $\mathfrak{q}$ is an ideal generated by a system of parameters, is a constant independent of $\mathfrak{q}$.…
We provide a characterization of one-dimensional almost Gorenstein rings in terms of the trace ideal. As an application, we investigate the almost Gorenstein property of certain $\mathbb{Z}_2$-graded rings.
Completeness is a desirable property of test suites. Roughly, completeness guarantees that a non-equivalent implementation under test will always be identified. Several approaches proposed sufficient, and sometimes also necessary,…
We characterize the strongly Cohen-Macaulay ideals of second analytic deviation one in terms of depth properties of the powers of the ideal in the `standard range.' This provides an explanation of the behaviour of certain ideals that have…
We study higher jumping numbers and generalized test ideals associated to determinantal ideals over a field of positive characteristic. We work in positive characteristic and give a complete characterization of both families for ideals…
In this paper, we study the differential power operation on ideals. We begin with a focus on monomial ideals in characteristic 0 and find a class of ideals whose differential powers are eventually principal. We also study the containment…
When anti-canonical rings are finitely generated, we give a characterization of adjoint ideals using ultra-Frobenii, a characteristic zero analogue of Frobenius morphisms. This characterization enables us to give an alternative proof of a…
We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…
In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these…
We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten…
The article investigates the properties of associative ideals in monoids. Such ideals have some applications in the logic of non-standard sequences and category theory. The relations of these ideals with the verbal structure of words over…
This paper adopts a tool from computational topology, the Euler characteristic curve (ECC) of a sample, to perform one- and two-sample goodness of fit tests. We call our procedure TopoTests. The presented tests work for samples of arbitrary…