Related papers: Symbolic Defect of Monomial Ideals
We present machine-learning-based approaches for determining the \emph{degree} of inconsistency -- which is a numerical value -- for propositional logic knowledge bases. Specifically, we present regression- and neural-based models that…
We study the asymptotic power means of the coefficients associated with the Schneider continued fraction map on $p\mathbb{Z}_p$. Using tools from thermodynamic formalism, we compute the Hausdorff dimension of the corresponding level sets…
Given distinct points $p_1,\cdots,p_r$ of the projective plane $P^2$ and a positive integer $m$, the homogeneous ideal defining the fat point subscheme $Z=m(p_1+\cdots+p_r)$ is the symbolic power $I^{(m)}$ of the homogeneous ideal $I$…
We show that a monomial ideal $I$ has projective dimension $\leq$ 1 if and only if the minimal free resolution of $S/I$ is supported on a graph that is a tree. This is done by constructing specific graphs which support the resolution of the…
Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal generated in degree $d$. Bandari and Herzog conjectured that a monomial ideal $I$ is polymatroidal if and only if all its monomial…
We consider the value distribution of the difference between logarithms of two symmetric power $L$-functions at $s=\sigma > 1/2$. We prove that certain averages of those values can be written as integrals involving a density function which…
In this paper we consider graded ideals in a polynomial ring over a field and ask when such an ideal has the property that all of its powers have a linear resolution. In particular it is shown that all powers of a monomial ideal with…
Large language models (LLMs) are increasingly used in situations where human values are at stake, such as decision-making tasks that involve reasoning when performed by humans. We investigate the so-called reasoning capabilities of LLMs…
The theory of testing statistical functionals is developed for non-parametric two-sample problems. For differentiable real-valued statistical functionals, some tests for the one-sided and two-sided cases are proposed and studied. The…
We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid.
Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the…
We give explicit formulas for the Bhattacharya function of m-primary complete monomial ideals in two variables in terms of the vertices of the Newton polyhedra or in terms of the decompositions of the ideals as products of simple ideals.
This paper studies properties of simplicial complexes for which the m-th symbolic power of the Stanley-Reisner ideal equals to the m-th ordinary power for a given m > 1. The main results are combinatorial characterizations of such complexes…
Given a piecewise $C^{1+\beta}$ map of the interval, possibly with critical points and discontinuities, we construct a symbolic model for invariant probability measures with nonuniform expansion that do not approach the critical points and…
We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals…
In this paper we give an improvement of the degree of the homogeneous linear recurrence with integer coefficients that exponential sums of symmetric Boolean functions satisfy. This improvement is tight. We also compute the asymptotic…
The object of study is the problem of testing for uniformity of the multinomial distribution. We consider tests based on symmetric statistics, defined as the sum of some function of cell-frequencies. Mainly, attention is focused on the…
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity,…
The aim of this work is to study the dual and the algebraic dual of an evaluation code using standard monomials and indicator functions. We show that the dual of an evaluation code is the evaluation code of the algebraic dual. We develop an…
Let $B_n$ be the Euclidean unit ball in ${\mathbb R}^n$ given by the inequality $\|x\|\leq 1$, $\|x\|:=\left(\sum\limits_{i=1}^n x_i^2\right)^{\frac{1}{2}}$. By $C(B_n)$ we mean the space of continuous functions $f:B_n\to{\mathbb R}$ with…