GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 1171–1200 iš 1709

InformacijaSaugumo įrodymas ir įgyvendinimo informacijos nutekėjimas

Juodosios dėžės šifravimo ar parašų žaidimo įrodyme paprastai atskleidžiami nurodyti išėjimai ir orakulai, bet ne nuo paslapties priklausantis vykdymo laikas, galios vartojimas, podėlio pėdsakai ar gedimų atsakai.

MetodasInformacijaPAC mokymasis: realizuojamojo ir agnostinio atvejų garantijos

PAC mokymasis, remdamasis nepriklausomomis ir vienodai pasiskirsčiusiomis imtimis, apriboja populiacijos riziką su bent 1−delta tikimybe.

Matematinis teiginysInformacijaBaigtinės klasės tolygaus konvergavimo riba

Baigtinei hipotezių klasei H, nepriklausomiems ir vienodai pasiskirsčiusiems stebėjimams bei nuostoliams intervale [0,1], Hoeffding nelygybė ir sąjungos tikimybės riba rodo, kad tikimybė, jog bent viena empirinė rizika nuo populiacijos rizikos skirsis daugiau nei epsilon, yra ne didesnė kaip 2|H|exp(−2n epsilon²).

Matematinis teiginysInformacijaVC dimensija ir išmokstamumas nepriklausomai nuo skirstinio

VC dimensija yra didžiausias taškų aibės dydis, kuriam dvejetainė hipotezių klasė gali realizuoti kiekvieną žymų priskyrimą.

Matematinis teiginysInformacijaPosteriorinis vertinimas, priorai ir identifikuojamumas

Bayesinis vertinimas sujungia tikėtinumo funkciją ir priorinį skirstinį į posteriorinį skirstinį, sąlygotą stebėtų duomenų.

ApibrėžimasInformacijaKubitai, tankio būsenos ir matavimo tikimybės

Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius.

ApibrėžimasInformacijaKvantiniai kanalai ir visiškas teigiamumas

Fizikinis posistemės kanalas modeliuojamas visiškai teigiamu, pėdsaką išsaugančiu atvaizdžiu.

ApibrėžimasInformacijaKvantinės grandinės, vartai ir išteklių apskaita

Kvantinė grandinė jungia unitarinius vartus, pagalbines sistemas, kanalus ir matavimus pagal nurodytą vartų rinkinį.

ApibrėžimasInformacijaGrover paieška ir jos juodosios dėžės apatinė riba

Nestruktūruotai paieškai tarp N alternatyvų, turint koherentinį žymėjimo orakulą ir vieną pažymėtą elementą, amplitudės stiprinimas naudoja O(sqrt(N)) orakulo užklausų, kad sėkmės tikimybė būtų atskirta nuo nulio.

Matematinis teiginysInformacijaShor periodo paieška ir skaidymo daugikliais prielaidos

Shor skaidymo daugikliais algoritmas redukuoja skaidymą į periodo paiešką ir naudoja modulinį kėlimą laipsniu, kvantinį fazės bei Fourier apdorojimą ir klasikines grandinines trupmenas.

MetodasInformacijaKvantinė entropija ir Holevo riba

Von Neumann entropija yra −tr rho log2 rho ir lygi tankio operatoriaus tikrinių verčių Shannon entropijai.

Matematinis teiginysInformacijaReliacinė algebra ir užklausos prasmė

Santykis yra kortežų aibė, apibrėžta pagal schemą.

ApibrėžimasInformacijaRaktai ir reliacinio vientisumo apribojimai

Raktas kandidatas yra minimali atributų aibė, vienareikšmiškai identifikuojanti kortežą; superraktas neprivalo būti minimalus.

ApibrėžimasInformacijaTransakcijos ir serializuojami rezultatai

Transakcija sujungia operacijas, kurios atomiškai patvirtinamos arba atšaukiamos.

MetodasInformacijaMomentinių kopijų izoliacijos ir serializuojamumo palyginimas

PostgreSQL 18 repeatable read naudoja momentinių kopijų izoliaciją: kiekviena transakcija skaito stabilią momentinę kopiją, tačiau lygiagretūs skirtingų eilučių įrašymai gali sukelti write skew anomaliją ir neserializuojamą bendrą rezultatą.

ApibrėžimasInformacijaSmulkių žingsnių semantika ir stebimas vykdymas

Operacinė semantika apibrėžia perėjimo sąryšį tarp programos konfigūracijų, prireikus apimdama ir būseną.

ApibrėžimasInformacijaProgresas ir tipo išsaugojimas kaip tipų saugumo reikalavimai

Nurodytai paprastai tipizuotai kalbai progresas reiškia, kad uždaras tinkamai tipizuotas termas yra reikšmė arba gali atlikti žingsnį; tipo išsaugojimas reiškia, kad vertinant jo tipas nesikeičia.

Matematinis teiginysInformacijaLygiagretumas, happens-before sąryšis ir duomenų lenktynių nebuvimas

Nuoseklusis suderinamumas pateikia operacijas viena tvarka, išsaugančia kiekvienos gijos programos tvarką.

ApibrėžimasInformacijaPatikrintas kompiliavimas ir jo pasitikėjimo riba

Pagrindinė CompCert semantikos išsaugojimo teorema susieja priimtą C abstrakčiąją sintaksę su sugeneruota asemblerio abstrakčiąja sintakse: esant teoremos prielaidoms, sugeneruota elgsena patikslina leidžiamą pradinės programos elgseną.

MetodasInformacijaCompCert 3.18: datuotas formalios patikros pokytis

Oficiali CompCert 3.18 laida, išleista 2026 m. rugpjūtį, pakeičia formalų alignment/free tvarkymą ir prideda Rocq 9.2 palaikymą.

MetodasInformacijaPopuliacijos rizika ir empiriniai mokymosi tikslai

Prognozuotojui h populiacijos rizika yra nuostolio matematinis vidurkis pagal nurodytą duomenų skirstinį; empirinė rizika yra imties nuostolio vidurkis.

ApibrėžimasInformacijaReguliarizavimas ir optimizavimas yra atskiros valdymo priemonės

Reguliarizuotas empirinis minimizavimas prie imties nuostolio prideda sudėtingumo baudą, padaugintą iš lambda.

MetodasInformacijaStochastinis gradientas ir konvergavimo prielaidos

Stochastinio gradiento metodas atnaujina parametrus pagal imtimi įvertintą gradientą arba subgradientą.

MetodasInformacijaPagrindinės komponentės ir reprezentacijos prielaidos

PCA randa ortogonalią mažo rango poerdvio projekciją, minimizuojančią centruotų stebėjimų kvadratinę atkūrimo paklaidą.

MetodasInformacijaValidavimas, testo nepriklausomumas ir informacijos nutekėjimas

Mokymas pritaiko parametrus, validavimas parenka modelius ir jų derinimą, o galutinis atskirtas testas įvertina pasirinktos procedūros veikimą populiacijoje, iš kurios imama jo imtis.

MetodasInformacijaBayesiniai tinklai, d-atskyrimas ir vertinimas

Bayesinis tinklas naudoja orientuotą aciklinį grafą ir vietinius sąlyginius skirstinius jungtiniam skirstiniui faktorizuoti.

ApibrėžimasInformacijaVariacinis vertinimas ir duomenų tikimybės logaritmo apatinė riba

Variacinis vertinimas aproksimuoja posteriorinį skirstinį, iš nurodytos šeimos parinkdamas q, kuris minimizuoja KL(q||posterior).

MetodasInformacijaMCMC ir variacinis vertinimas: įrodymai ir kompromisai

MCMC sudaro Markovo grandinę su norimu stacionariu posterioriniu skirstiniu ir vertina integralus pagal koreliuotus generuotus stebėjimus; reikia tikrinti konvergavimą, maišymąsi ir efektyvųjį imties dydį.

ApibrėžimasInformacijaPrognozavimas, priežastinė intervencija ir identifikuojamumas

Sąlygojimas pagal stebėjimą p(Y|X=x) ir intervencija p(Y|do(X=x)) apibūdina skirtingas operacijas.

ApibrėžimasInformacijaGedimų ir laiko prielaidos paskirstytosiose sistemose

Sustojimo gedimas sustabdo procesą; bizantiniai gedimai leidžia bet kokią elgseną, įskaitant nenuoseklius pranešimus.

Apibrėžimas
ApibrėžimasPatikrinta pagal šaltinius

Kubitai, tankio būsenos ir matavimo tikimybės

Informacija

Tyrimų kontekstas

postgraduate concept · established · Patikros data 2026-10-10

Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius.

Esminės žinios

Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius. POVM sudaro teigiami efektų operatoriai, kurių suma lygi tapatybės operatoriui; rezultato tikimybė yra tr(rho E-m). Tankio matrica gali turėti daug ansamblio skaidinių, todėl ji nenustato vienintelio paslėpto klasikinio paruošimo. Kvantinių matavimų ir nekomutuojančių stebimųjų negalima modeliuoti viena savavališka klasikine baigčių erdve be papildomos struktūros.

Vertės ir lygtys

rho≥0; tr rho=1; E_m≥0; sum_m E_m=I; p(m)=tr(rho E_m)

rho
Kvantinis tankio operatorius
E_m
POVM efekto operatorius rezultatui m
I
Tapatybės operatorius

Sąlygos ir taikymo ribos

  • Nurodytos baigtinių matmenų būsenos ir normuoti matavimo operatoriai.
  • Vien rezultatų skirstinys nenustato būsenos po matavimo; tą operaciją apibrėžia matavimo instrumentas – operacijų rinkinys.
Šaltiniai · 2

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. John Preskill / Caltech2 šaltiniai
    1. Quantum Information, chapter 2: states and ensemblesJohn Preskill / CaltechPaskaitų medžiaga · PDFpreskill.caltech.eduSkaityti šaltinį
    2. Quantum Information, chapter 3: quantum channelsJohn Preskill / CaltechPaskaitų medžiaga · PDFpreskill.caltech.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: Kubitai, tankio operatoriai, ansambliai, von Neumann entropija ir klonavimo negalimumas; CPTP/Kraus atvaizdžiai, unitarinis išplėtimas, apibendrinti matavimai ir redukuotų būsenų kanalai. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.

2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.

Susiję žinyno įrašai

Tyrinėkite ryšius šioje pažinimo srityje ir jos sąsajas su kitomis sritimis.

Rodomi 1–5 iš 5 ryšių

Mokslinių žinių ryšiai · 5 / 5

Ryšio tipas nusako santykį. Susieti teiginiai, šaltiniai ir sąlygos apibrėžia jo taikymo ribas.

  1. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • QMA atveju polinominiu laiku veikiantis kvantinis tikrintojas gauna polinominio kubitų skaičiaus liudijimą: teigiamais atvejais priimamas bent vienas liudijimas, o neigiamais atvejais atmetamas kiekvienas liudijimas, esant apribotam pilnumo ir korektiškumo tikimybių skirtumui. 2-lokaliojo hamiltoniano pažado uždavinys yra QMA pilnas, kai pagal nurodytą įvesties kodavimą energijos tarpas išskiriamas polinominiu tikslumu. Konkrečios mažos energijos būsenos parengimas ar patikrinimas skiriasi nuo efektyvaus visų atvejų sprendimo, o pažado tarpas yra esminis.

    A quantum witness is a state, not an exponentially long classical amplitude list.

  2. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius. POVM sudaro teigiami efektų operatoriai, kurių suma lygi tapatybės operatoriui; rezultato tikimybė yra tr(rho E-m). Tankio matrica gali turėti daug ansamblio skaidinių, todėl ji nenustato vienintelio paslėpto klasikinio paruošimo. Kvantinių matavimų ir nekomutuojančių stebimųjų negalima modeliuoti viena savavališka klasikine baigčių erdve be papildomos struktūros.

    Density operators describe statistical quantum states.

  3. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius. POVM sudaro teigiami efektų operatoriai, kurių suma lygi tapatybės operatoriui; rezultato tikimybė yra tr(rho E-m). Tankio matrica gali turėti daug ansamblio skaidinių, todėl ji nenustato vienintelio paslėpto klasikinio paruošimo. Kvantinių matavimų ir nekomutuojančių stebimųjų negalima modeliuoti viena savavališka klasikine baigčių erdve be papildomos struktūros.

    Born probabilities are normalized classical outcome probabilities.

  4. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Fizikinis posistemės kanalas modeliuojamas visiškai teigiamu, pėdsaką išsaugančiu atvaizdžiu. Baigtiniuose matmenyse jis turi Kraus pavidalą sum K-a rho K-a†, kuriam sum K-a† K-a=I. Visiškas teigiamumas reikalauja teigiamumo ir tada, kai atvaizdis veikia su etalonine sistema supintos sistemos dalį; vien teigiamumo nepakanka. Kraus pavidalas nebūtinai yra vienintelis.

    Channels map density states to density states.

  5. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Von Neumann entropija yra −tr rho log2 rho ir lygi tankio operatoriaus tikrinių verčių Shannon entropijai. Ansambliui {p-x,rho-x} matavimu prieinama klasikinė abipusė informacija apribota dydžiu chi=S(sum p-x rho-x)−sum p-x S(rho-x). Neortogonalios būsenos riboja atskiriamumą. Supynimas ir sąlyginė kvantinė entropija sukuria elgseną, kurios nėra įprastoje klasikinėje sąlyginėje entropijoje; viena formulė negali pakeisti visų kvantinių išteklių talpų.

    A measurement extracts a classical outcome from a quantum state.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
research-info-quantum-state-measurement
Versija
research.1
Struktūruotas žinyno įrašas
Podiplominis ir tyrimų žinynas