MétaCan
Menu
Retour à la cohorte
Enregistrement W2141274581 · doi:10.1017/s0960129512000163

A formalism-local framework for general probabilistic theories, including quantum theory

2013· preprint· en· W2141274581 sur OpenAlex

Pourquoi ce travail est dans la base

Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.

affAu moins un auteur déclare une institution canadienne dans l'instantané OpenAlex épinglé.
fundUn bailleur canadien est enregistré sur le travail.

Notice bibliographique

RevueMathematical Structures in Computer Science · 2013
Typepreprint
Langueen
DomainePhysics and Astronomy
ThématiqueQuantum Mechanics and Applications
Établissements canadiensPerimeter Institute
Organismes subventionnairesInstitut Périmètre de physique théoriqueNatural Sciences and Engineering Research Council of CanadaGovernment of Canada
Mots-clésProbabilistic logicSpacetimeFormalism (music)LocalityComputer scienceFragment (logic)Theoretical computer scienceAlgorithmMathematicsTopology (electrical circuits)PhysicsQuantum mechanicsArtificial intelligenceCombinatorics

Résumé

récupéré en direct d'OpenAlex

In this paper we consider general probabilistic theories pertaining to circuits that satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region of space–time employ only mathematical objects associated with that region. We call this formalism locality . It incorporates the idea that space and time should be treated on an equal footing. Formulations that use a foliation of space--time to evolve a state do not have this property, nor do histories-based approaches. An operation has inputs and outputs (through which systems travel), for example, A circuit is built by wiring together operations such that we have no open inputs or outputs left over. A fragment is a part of a circuit and may have open inputs and outputs, for example, We show how each operation is associated with a certain mathematical object, which we call a duotensor (this is like a tensor but with a bit more structure). The following diagram shows how a duotensor is represented graphically: We can link duotensors together such that black and white dots match up to get the duotensor corresponding to any fragment. The following diagram shows the duotensor for the above fragment: Links represent summation over the corresponding indices. We can use such duotensors to make probabilistic statements pertaining to fragments. Since fragments are the circuit equivalent of arbitrary space–time regions, we have formalism locality. The probability for a circuit is given by the corresponding duotensorial calculation (which is a scalar since there are no indices left over). We show how to put classical probability theory and quantum theory into this framework.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,001
score de la tête « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesMéta-épidémiologie (sens strict)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Théorique ou conceptuel · Signal consensuel: Théorique ou conceptuel
GenreSignal candidat: Méthodes · Signal consensuel: aucune
Score de désaccord entre enseignants0,667
Score d'incertitude au seuil1,000

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0010,000
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0000,000
Études des sciences et des technologies0,0000,001
Communication savante0,0010,000
Science ouverte0,0020,002
Intégrité de la recherche0,0000,001
Charge utile insuffisante (le modèle a refusé de juger)0,0000,000

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,027
Tête enseignante GPT0,311
Écart entre enseignants0,285 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle