論文の概要: Asymptotic stabilization under homomorphic encryption: A re-encryption free method
- arxiv url: http://arxiv.org/abs/2504.09248v1
- Date: Sat, 12 Apr 2025 15:07:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-04-15 16:48:02.874821
- Title: Asymptotic stabilization under homomorphic encryption: A re-encryption free method
- Title(参考訳): ホモモルフィック暗号化による漸近安定化:再暗号化自由法
- Authors: Shuai Feng, Qian Ma, Junsoo Kim, Shengyuan Xu,
- Abstract要約: 本稿では、制御入力を再暗号化することなく、均質な暗号化で予め用意された動的コントローラを暗号化する方法を提案する。
まず, 動的量子化におけるズームイン係数により, 予め用意した動的コントローラの係数を整数にスケールアップできることを示す予備的な結果を示す。
そこで我々は,事前閉ループシステムの収束率からズームイン係数を分離する,事前閉ループの動的コントローラを近似した新しいコントローラを設計する。
- 参考スコア(独自算出の注目度): 19.367758967188138
- License:
- Abstract: In this paper, we propose methods to encrypted a pre-given dynamic controller with homomorphic encryption, without re-encrypting the control inputs. We first present a preliminary result showing that the coefficients in a pre-given dynamic controller can be scaled up into integers by the zooming-in factor in dynamic quantization, without utilizing re-encryption. However, a sufficiently small zooming-in factor may not always exist because it requires that the convergence speed of the pre-given closed-loop system should be sufficiently fast. Then, as the main result, we design a new controller approximating the pre-given dynamic controller, in which the zooming-in factor is decoupled from the convergence rate of the pre-given closed-loop system. Therefore, there always exist a (sufficiently small) zooming-in factor of dynamic quantization scaling up all the controller's coefficients to integers, and a finite modulus preventing overflow in cryptosystems. The process is asymptotically stable and the quantizer is not saturated.
- Abstract(参考訳): 本稿では, 制御入力を再暗号化することなく, 既成の動的コントローラを均質な暗号化で暗号化する方法を提案する。
まず, 動的量子化のズームイン係数により, 事前生成した動的コントローラの係数を整数にスケールアップできることを, 再暗号化を使わずに示す予備的な結果を示す。
しかし、事前の閉ループシステムの収束速度が十分に高速である必要があるため、十分に小さなズームイン因子が常に存在するとは限らない。
そこで,本研究では,事前閉ループシステムの収束率からズームイン係数を分離した,事前閉ループの動的コントローラを近似した新しいコントローラを設計する。
したがって、全てのコントローラの係数を整数にスケールアップする動的量子化の(十分小さい)ズームイン係数と、暗号系におけるオーバーフローを防ぐ有限のモジュラーが存在する。
この過程は漸近的に安定であり、定量剤は飽和していない。
関連論文リスト
- Convergence rates of stochastic gradient method with independent sequences of step-size and momentum weight [1.4141453107129398]
我々はPolyakの加速度を用いたプログラミングを用いて収束速度を解析する。
収束速度は、ステップサイズおよび運動量重みにおいて指数的に記述できることを示す。
論文 参考訳(メタデータ) (2024-07-31T04:25:39Z) - Optimality and Noise-Resilience of Critical Quantum Sensing [0.0]
臨界量子センシングと受動量子戦略を比較して周波数推定を行う。
ユニタリの場合、どちらの戦略も光子数と精度2次スケーリングを達成するが、散逸の存在下では、これは批判的戦略にのみ当てはまる。
論文 参考訳(メタデータ) (2024-02-23T19:01:17Z) - Sub-linear Regret in Adaptive Model Predictive Control [56.705978425244496]
本稿では,STT-MPC (Self-Tuning tube-based Model Predictive Control) について述べる。
システム力学を最初に認識したアルゴリズムと比較して,アルゴリズムの後悔を解析する。
論文 参考訳(メタデータ) (2023-10-07T15:07:10Z) - Robust Control of Single-Qubit Gates at the Quantum Speed Limit [0.0]
最適なバランスをとるために、基礎となる頑健な時間最適制御問題について検討する。
系のユニタリプロパゲータのテイラー展開に基づいて、拡張有限次元系の最適制御として設計問題を定式化する。
単一量子ビット系の数値シミュレーションにより、得られた時間-最適制御パルスはゲート誤差を効果的に抑制できることを示した。
論文 参考訳(メタデータ) (2023-09-11T10:10:58Z) - Security of discrete-modulated continuous-variable quantum key distribution [4.637027109495763]
離散変調を持つ連続変数量子鍵分布は、情報理論のセキュリティを提供する可能性がある。
離散変調量子鍵分布プロトコルにおけるコヒーレント攻撃に対する有限サイズセキュリティを証明した。
論文 参考訳(メタデータ) (2023-03-16T12:14:07Z) - D4FT: A Deep Learning Approach to Kohn-Sham Density Functional Theory [79.50644650795012]
コーンシャム密度汎関数論(KS-DFT)を解くための深層学習手法を提案する。
このような手法はSCF法と同じ表現性を持つが,計算複雑性は低下する。
さらに,本手法により,より複雑なニューラルベース波動関数の探索が可能となった。
論文 参考訳(メタデータ) (2023-03-01T10:38:10Z) - Multi-squeezed state generation and universal bosonic control via a
driven quantum Rabi model [68.8204255655161]
ボゾン自由度に対する普遍的な制御は、量子ベース技術の探求において鍵となる。
ここでは、駆動量子ラビモデルを介して、ボソニックモードの興味と相互作用する単一の補助的な2レベルシステムを考える。
ガウス門と非ガウス門の大きな類を決定論的に実現することは十分であることを示す。
論文 参考訳(メタデータ) (2022-09-16T14:18:53Z) - Composably secure data processing for Gaussian-modulated continuous
variable quantum key distribution [58.720142291102135]
連続可変量子鍵分布(QKD)は、ボソニックモードの二次構造を用いて、2つのリモートパーティ間の秘密鍵を確立する。
構成可能な有限サイズセキュリティの一般的な設定におけるホモダイン検出プロトコルについて検討する。
特に、ハイレート(非バイナリ)の低密度パリティチェックコードを使用する必要のあるハイシグネチャ・ツー・ノイズ・システマを解析する。
論文 参考訳(メタデータ) (2021-03-30T18:02:55Z) - Designing arbitrary single-axis rotations robust against perpendicular
time-dependent noise [0.0]
任意の単軸回転を実装した有界かつ連続的な制御フィールドを設計するためのプロトコルを導入する。
非負の制御パルスのセットを提示することで,本手法の汎用性を示す。
論文 参考訳(メタデータ) (2021-03-15T16:26:57Z) - Gaussian Process-based Min-norm Stabilizing Controller for
Control-Affine Systems with Uncertain Input Effects and Dynamics [90.81186513537777]
本稿では,この問題の制御・アフィン特性を捉えた新しい化合物カーネルを提案する。
この結果の最適化問題は凸であることを示し、ガウス過程に基づく制御リャプノフ関数第二次コーンプログラム(GP-CLF-SOCP)と呼ぶ。
論文 参考訳(メタデータ) (2020-11-14T01:27:32Z) - Simulating nonnative cubic interactions on noisy quantum machines [65.38483184536494]
量子プロセッサは、ハードウェアに固有のものではないダイナミクスを効率的にシミュレートするためにプログラムできることを示す。
誤差補正のないノイズのあるデバイスでは、モジュールゲートを用いて量子プログラムをコンパイルするとシミュレーション結果が大幅に改善されることを示す。
論文 参考訳(メタデータ) (2020-04-15T05:16:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。