12,341,982 research outputs found
Power Partial Isometry Index and Ascent of a Finite Matrix
We give a complete characterization of nonnegative integers and and a
positive integer for which there is an -by- matrix with its power
partial isometry index equal to and its ascent equal to . Recall that
the power partial isometry index of a matrix is the supremum,
possibly infinity, of nonnegative integers such that are all partial isometries while the ascent of is the smallest
integer for which equals . It was known
before that, for any matrix , either or
. In this paper, we prove more precisely that there is an
-by- matrix such that and if and only if one of the
following conditions holds: (a) , (b) and ,
and (c) and . This answers a question we asked in a previous
paper.Comment: 11 page
2-irreducible and strongly 2-irreducible ideals of commutative rings
An ideal I of a commutative ring R is said to be irreducible if it cannot be
written as the intersection of two larger ideals. A proper ideal I of a ring R
is said to be strongly irreducible if for each ideals J, K of R, J\cap
K\subseteq I implies that J\subset I or K\subset I. In this paper, we introduce
the concepts of 2-irreducible and strongly 2-irreducible ideals which are
generalizations of irreducible and strongly irreducible ideals, respectively.
We say that a proper ideal I of a ring R is 2-irreducible if for each ideals J,
K and L of R, I= J\cap K\cap L implies that either I=J\cap K or I=J\cap L or
I=K\cap L. A proper ideal I of a ring R is called strongly 2-irreducible if for
each ideals J, K and L of R, J\cap K\cap L\subseteq I implies that either J\cap
K\subseteq I or J\cap L\subseteq I or K\cap L\subseteq I.Comment: 15 page
Lattice-point generating functions for free sums of convex sets
Let \J and \K be convex sets in whose affine spans intersect at
a single rational point in \J \cap \K, and let \J \oplus \K = \conv(\J \cup
\K). We give formulas for the generating function {equation*} \sigma_{\cone(\J
\oplus \K)}(z_1,..., z_n, z_{n+1}) = \sum_{(m_1,..., m_n) \in t(\J \oplus \K)
\cap \Z^{n}} z_1^{m_1}... z_n^{m_n} z_{n+1}^{t} {equation*} of lattice points
in all integer dilates of \J \oplus \K in terms of \sigma_{\cone \J} and
\sigma_{\cone \K}, under various conditions on \J and \K. This work is
motivated by (and recovers) a product formula of B.\ Braun for the Ehrhart
series of \P \oplus \Q in the case where and \Q are lattice polytopes
containing the origin, one of which is reflexive. In particular, we find
necessary and sufficient conditions for Braun's formula and its multivariate
analogue.Comment: 17 pages, 2 figures, to appear in Journal of Combinatorial Theory
Series
- β¦