Related papers: On the constancy regions for mixed test ideals

Consider a given space, e.g., the Euclidean plane, and its decomposition into Voronoi regions induced by given sites. It seems intuitively clear that each point in the space belongs to at least one of the regions, i.e., no neutral region…

In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$ in the polynomial ring $K[x_1,\dots,x_n]$ over a field $K$,…

For $n \in \mathbb{N}$ let $\Pi[n]$ denote the set of partitions of $n$, i.e., the set of positive integer tuples $(x_1,x_2,\ldots,x_k)$ such that $x_1 \geq x_2 \geq \cdots \geq x_k$ and $x_1 + x_2 + \cdots + x_k = n$. Fixing…

Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$…

In this paper, we discuss the normality of the toric rings of stable set polytopes, and the set of generators and Gr\"obner bases of toric ideals of stable set polytopes by using the results on that of edge polytopes of finite nonsimple…

The toric ring together with the toric ideal arising from a nested configuration is studied, with particular attention given to the algebraic study of normality of the toric ring as well as the Gr\"obner bases of the toric ideal. One of the…

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$-points, definable tight MAD families and definable selective independent families. As a result, we…

Confidence intervals are central to statistical inference as a tool to evaluate the type I error risk at a given significance level. We devise a method to construct confidence intervals using a single run of a permutation test. This…

Given a monoidal triangulated category $T$ with noetherian spectrum, we show that there is an order preserving bijection between the collection of all Thomason subsets of the non-commutative spectrum $\mathrm{Spc}(T)$ and the collection of…

We prove that the finitistic test ideal $\tau_{\rm fg}(R, \Delta, \mathfrak{a}^t)$ coincides with the big test ideal $\tau_{\rm b}(R, \Delta, \mathfrak{a}^t)$ if the pair $(R,\Delta)$ is numerically log $\mathbb{Q}$-Gorenstein.

Explicit examples of {\bf positive} crystalline measures and Fourier quasicrystals are constructed using pairs of stable of polynomials, answering several open questions in the area.

Given a map $\varphi:\mathbb{P}^1\rightarrow \mathbb{P}^1$ of degree greater than 1 defined over a number field $k$, one can define a map $\varphi_\mathfrak{p}:\mathbb{P}^1(\mathfrak{o}_k/\mathfrak{p})\rightarrow…

In this note, we consider a corollary of the ACC conjecture for F-pure thresholds. Specifically, we show that the F-pure threshold (and more generally, the test ideals) associated to a polynomial with an isolated singularity are locally…

Given a reduced, local ring $R$ and an ideal $\mathfrak{a}$ of positive height, we give a decomposition of the test module, $\tau(\omega_T, t^{-\lambda})$, of the extended Rees algebra, $T =R[\mathfrak{a} t, t^{-1}]$. In particular, the…

A popular approach for testing if two univariate random variables are statistically independent consists of partitioning the sample space into bins, and evaluating a test statistic on the binned data. The partition size matters, and the…

Gauge invariability guarantees the same form of the Maxwell equations in different coordinate systems, and is instrumental for electromagnetic cloaking to hide a region of interest (ROI) perfectly. On the other hand, interior tomography is…

Let $X=\mathcal{M}(A)$ be an affinoid space and let $f,g \in A$. We study the sets of connected components of the spaces defined by an inequality of the form $|f|\le r|g|$, with $r\ge 0$. We prove that there exists a finite partition of…

The main goal of this note is to prove the following theorem. If $A_n$ is a sequence of measurable sets in a $\sigma$-finite measure space $(X, \mathcal{A}, \mu)$ that covers $\mu$-a.e. $x \in X$ infinitely many times, then there exists a…

We introduce a continuous version of preprojective algebras of type $A$. In particular, we are interested in the preprojective category over an open, bounded subinterval $\mathbb{I}$ of $\mathbb{R}$, denoted $\Lambda_{\mathbb{I}}$. We study…

Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the…