論文の概要: A Note on Rough Set Algebra and Core Regular Double Stone Algebras
- arxiv url: http://arxiv.org/abs/2101.02313v2
- Date: Mon, 18 Jan 2021 18:57:26 GMT
- ステータス: 処理完了
- システム内更新日: 2021-04-10 13:29:02.776649
- Title: A Note on Rough Set Algebra and Core Regular Double Stone Algebras
- Title(参考訳): Rough Set AlgebraとCoreular Double Stone Algebraについての一考察
- Authors: Daniel J. Clouse
- Abstract要約: 主定理では、$R_theta$ with $|theta_u| > 1 forall u in U$ to isomorphic to $TP_E$ and $C_3E$, and the three CRDSA's are complete and atomic。
Main Corollaryでは、$R_theta$を$TP_U$、$C_3U$、$phicirc alpha_r:R_thetahookrightに埋め込む方法を明確に示しています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Given an approximation space $\langle U,\theta \rangle$, assume that $E$ is
the indexing set for the equivalence classes of $\theta$ and let $R_\theta$
denote the collection of rough sets of the form
$\langle\underline{X},\overline{X}\rangle$ as a regular double Stone algebra
and what I. Dunstch referred to as a Katrinak algebra.[7],[8] We give an
alternate proof from the one given in [1] of the fact that if $|\theta_u| > 1\
\forall\ u \in U$ then $R_\theta$ is a core regular double Stone algebra.
Further let $C_3$ denote the 3 element chain as a core regular double Stone
algebra and $TP_U$ denote the collection of ternary partitions over the set
$U$. In our Main Theorem we show $R_\theta$ with $|\theta_u| > 1\ \forall\ u
\in U$ to be isomorphic to $TP_E$ and $C_3^E$, with $E$ is an indexing set for
$\theta$, and that the three CRDSA's are complete and atomic. We feel this
could be very useful when dealing with a specific $R_\theta$ in an application.
In our Main Corollary we show explicitly how we can embed such $R_\theta$ in
$TP_U$, $C_3^U$, respectively, $\phi\circ \alpha_r:R_\theta\hookrightarrow
TP_U\hookrightarrow C_3^U$, and hence identify it with its specific images.
Following in the footsteps of Theorem 3. and Corollary 2.4 of [7], we show
$C_3^J \cong R_\theta$ for $\langle U,\theta \rangle$ the approximation space
given by $U = J \times \{0,1\}$, $\theta = \{(j0),(j1)\} : j \in J\}$ and every
CRDSA is isomorphic to a subalgebra of a principal rough set algebra,
$R_\theta$, for some approximation space $\langle U,\theta \rangle$. Finally,
we demonstrate this and our Main Theorem by expanding an example from [1].
Further, we know a little more about the subalgebras of $TP_U$ and $C_3^U$ in
general as they must exist for every $E$ that is an indexing set for the
equivalence classes of any equivalence relation $\theta$ on $U$ satisfying
$|\theta_u| > 1\ \forall\ u \in U$.
- Abstract(参考訳): 近似空間 $\langle u,\theta \rangle$ が与えられたとき、$e$ が$\theta$ の同値類のインデックス集合であると仮定し、$r_\theta$ を通常の二重石代数として $\langle\underline{x},\overline{x}\rangle$ という形の粗集合の集合と、i. dunstch がカトリナック代数と呼ぶものと仮定する。
[7],[8] が [1] で与えられる証明から別の証明を与える:$|\theta_u| > 1\ \forall\ u \in U$ ならば、$R_\theta$ は核正則な二重ストーン代数である。
さらに、$C_3$ は 3 つの元鎖をコア正則ダブルストーン代数とし、$TP_U$ は集合 $U$ 上の三次分割の集合を表す。
R_\theta$ with $|\theta_u| > 1\ \forall\ u \in U$ to be isomorphic to $TP_E$ and $C_3^E$, with $E$ is a indexing set for $\theta$, and the three CRDSA's are complete and atomic。
これはアプリケーション内の特定の$r_\theta$を扱うときに非常に便利だと思います。
r_\theta$をそれぞれ$tp_u$、$c_3^u$、$\phi\circ \alpha_r:r_\theta\hookrightarrow tp_u\hookrightarrow c_3^u$に組み込む方法を明確に示します。
定理 3 と [7] の補題 2.4 を踏襲すると、$c_3^j \cong r_\theta$ for $\langle u,\theta \rangle$ $u = j \times \{0,1\}$, $\theta = \{(j0),(j1)\} : j \in j\}$ で与えられる近似空間が示され、すべての crdsa は主粗集合代数の部分代数 $r_\theta$ に同型である。
最後に、 [1] から例を拡張することで、これと主定理を実証する。
さらに、一般に$TP_U$ および $C_3^U$ の部分代数についてもう少し知ることができ、これは任意の同値関係の同値類に対するインデックス集合である$E$ に対して、$|\theta_u| > 1\ \forall\ u \in U$ に対して存在しなければならない。
関連論文リスト
- The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
任意の$K$に対して、$n$とは独立に「普遍集合」$Uサブセット[n]$が存在し、任意の$Q$と任意の行$i$に対して、大きな注目スコアが$A_i,j$ in row $i$ of $A$は全て$jin U$を持つことを示す。
我々は、視覚変換器のスキームの利点を実証的に示し、トレーニング中に我々の普遍的なセットを使用する新しいモデルのトレーニング方法を示した。
論文 参考訳(メタデータ) (2024-10-07T19:47:13Z) - A class of ternary codes with few weights [0.0]
本稿では,$mathcalC$ := (textTr) := (textTr(dx), dots, dots, d_n$で定義される3次コード$mathcalC$ of length $n$について検討する。
指数和の明示的な評価に関する最近の結果を用いて、Weil境界とテクニックを判定し、$mathcalC$の双対符号がハミング境界に対して最適であることを示す。
論文 参考訳(メタデータ) (2024-10-05T16:15:50Z) - Synthesis and Arithmetic of Single Qutrit Circuits [0.9208007322096532]
本稿では,Clifford+$mathcalD$ゲート集合上の単語からなる単一量子回路について検討する。
我々は、$mathbbZ[xi, frac1chi]$のエントリを持つクォート単位ベクトルのクラスを$z$で特徴づける。
論文 参考訳(メタデータ) (2023-11-15T04:50:41Z) - Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits [0.8411424745913132]
n$ が 2 のパワーであるとき、多ビットユニタリ行列 $U$ は $mathcalG_n$ 上の回路で正確に表現できることを示す。
さらに、$log(n)-2$ ancillasは常に$U$の回路を構築するのに十分であることを示す。
論文 参考訳(メタデータ) (2023-11-13T20:46:51Z) - Subspace Controllability and Clebsch-Gordan Decomposition of Symmetric
Quantum Networks [0.0]
任意の次元$d$, it quditsの量子系のネットワークの可制御性解析のためのフレームワークについて述べる。
対称性のため、基礎となるヒルベルト空間である$cal H=(mathbbCd)otimes n$ は$S_n$-不変元を$u(dn)$ のリー代数の不変部分空間に分割し、ここで$uS_n(dn)$ と表記する。
論文 参考訳(メタデータ) (2023-07-24T16:06:01Z) - Realization of an arbitrary structure of perfect distinguishability of
states in general probability theory [0.0]
単一の要素を持つすべてのサブセットは、もちろん$mathcal A$であり、より小さなコレクションは、$Hin Mathcal A$ と $L subset H$ then $Lin mathcal A$; 言い換えれば、$mathcal A$ は $textitindependence system$ と呼ばれる、インデックスの集合上の $[n]$ である。
論文 参考訳(メタデータ) (2023-01-16T18:33:39Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。
境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。
治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
論文 参考訳(メタデータ) (2022-08-12T15:05:07Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
我々は、任意のSchatten-$p$ノルムの下で、低ランク近似のためのクリロフ部分空間に基づく反復法について研究する。
我々の主な成果は、$tildeO(k/sqrtepsilon)$ matrix-vector productのみを使用するアルゴリズムである。
論文 参考訳(メタデータ) (2022-02-10T16:10:41Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
関数 $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
ここでは、$|mathbb E[R(z)] - tilde R(z)|_F を示す。
論文 参考訳(メタデータ) (2021-09-06T14:21:43Z) - Simplest non-additive measures of quantum resources [77.34726150561087]
我々は $cal E(rhootimes N) = E(e;N) ne Ne$ で説明できる測度について研究する。
論文 参考訳(メタデータ) (2021-06-23T20:27:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。