Related papers: Core equality of real sequences
For a bounded metric space $ X $ one can consider the quantity $ \delta(X) := \text{inf\rule[-0.5ex]{0em}{1ex}}_{\,p\in X}\; \text{sup}_{q \in X} \; d(p,q) $. This purely metric invariant is known from approximation theory as the relative…
In this article we produce Groebner bases for the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers, correcting previous work of Sengupta,(2003).
A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the…
We show that if the real line is the disjoint union of kappa meager sets such that every meager set is contained in a countable union of them, then kappa = omega_1. This answers a question addressed by J. Cichon. We also prove two theorems…
In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{\alpha(I_k)}{k}$,…
Let $F$ be a field and $M_n(F)$ the ring of $n \times n$ matrices over $F$. Given a subset $S$ of $M_n(F)$, the null ideal of $S$ is the set of all polynomials $f$ with coefficients from $M_n(F)$ such that $f(A) = 0$ for all $A \in S$. We…
Let $\alpha(G)$ denote the cardinality of a maximum independent set. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. Let…
Let $X=(x_{ij})_{m\times n}$ be a matrix of indeterminates and let $S=\mathbb{k}[x_{ij} \mid 1\leq i\leq m,\ 1\leq j\leq n]$ be a polynomial ring over an infinite field $\mathbb{k}$. Let $I$ be an ideal generated by a subset of the set of…
We show that any nonzero polynomial in the ideal generated by the $r \times r$ minors of an $n \times n$ matrix $X$ can be used to efficiently approximate the determinant. For any nonzero polynomial $f$ in this ideal, we construct a small…
Given an edge ideal of graph G, we show that if the first nonlinear strand in the resolution of $I_G$ is zero until homological stage $a_1$, then the next nonlinear strand in the resolution is zero until homological stage $2a_1$.…
Let $R$ be a commutative integral domain and let $\star$ be a semistar operation of finite type on $R$, and $I$ be a quasi-$\star$-ideal of $R$. We show that, if every minimal prime ideal of $I$ is the radical of a $\star$-finite ideal,…
For a family $\mathcal{F}\subseteq \omega^\omega$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $\omega\times\omega$ to be the ideal generated by the family $\{A\subseteq \omega\times\omega:\exists f\in \mathcal{F}\,\forall^\infty n\,…
A separable covariance model for a random matrix provides a parsimonious description of the covariances among the rows and among the columns of the matrix, and permits likelihood-based inference with a very small sample size. However, in…
We study the space $c_{0,\mathcal{I}}$ of all bounded sequences $(x_n)$ that $\mathcal{I}$-converge to $0$, endowed with the sup norm, where $\mathcal{I}$ is an ideal of subsets of $\mathbb{N}$. We show that two such spaces,…
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…
Some monotone increasing sequences of the lower bounds for the minimum eigenvalue of $M$-matrices are given. It is proved that these sequences are convergent and improve some existing results. Numerical examples show that these sequences…
We establish a comparison principle providing accurate upper bounds for the modulus of vector valued minimizers of an energy functional, associated when the potential is smooth, to elliptic gradient systems. Our assumptions are very mild:…
Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of…
Let $X$ be the Hankel matrix of size $2\times n$ and let $G$ be a closed graph on the vertex set $[n].$ We study the binomial ideal $I_G\subset K[x_1,\ldots,x_{n+1}]$ which is generated by all the $2$-minors of $X$ which correspond to the…
The equator of a graph is the length of a longest isometric cycle. We bound the order $n$ of a graph from below by its equator $q$, girth $g$ and minimum degree $\delta$ - and show that this bound is sharp when there exists a Moore graph…