2017
DOI: 10.1073/pnas.1710707114
|View full text |Cite
|
Sign up to set email alerts
|

Mathematical picture language program

Abstract: SignificanceWe reevaluate ways that one can use pictures, not only to gain mathematical insights, but also to prove mathematical theorems. As an example, we describe ways that the quon language, invented to study quantum information, sheds light on several other areas of mathematics. It results in proofs and algebraic identities of interest in several fields. Motivated by this success, we outline a picture-language program for further research.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
10
0

Year Published

2018
2018
2020
2020

Publication Types

Select...
4
1

Relationship

4
1

Authors

Journals

citations
Cited by 8 publications
(10 citation statements)
references
References 31 publications
(55 reference statements)
0
10
0
Order By: Relevance
“…Some Context: Manin and Feynman introduced the concept of quantum simulation for quantum systems [60,21,61]. One can use an abstract language L with words and grammar, along with a simulation S : L → R to map onto some interesting mathematical area R, as discussed in [36].…”
mentioning
confidence: 99%
See 1 more Smart Citation
“…Some Context: Manin and Feynman introduced the concept of quantum simulation for quantum systems [60,21,61]. One can use an abstract language L with words and grammar, along with a simulation S : L → R to map onto some interesting mathematical area R, as discussed in [36].…”
mentioning
confidence: 99%
“…The simulation S of elementary pictures in L leads us to concepts that may have no physical meaning in R. We call them virtual concepts in R, as discussed in [36]. In this paper we introduce one additional notion inspired by quantum information, that one does not find in PAPPA: a dotted line dividing pictures that correspond to different physical regions, see §4.5.…”
mentioning
confidence: 99%
“…The quantum symmetries could be finite or infinite, discrete or continuous, commutative or noncommutative. In certain contexts F can be defined pictorially-as in the picture language program (19). QFA is the study of structures involving F.…”
Section: Qfamentioning
confidence: 99%
“…In section 4 in ref. 19, one finds expressions for the various |Max n basis states, as well as their relation to, and expressions for, the |GHZ n basis states. Also see ref.…”
Section: Asmentioning
confidence: 99%
“…In an earlier paper [JL17], we gave a new proof of the reflectionpositivity (RP) property for Hamiltonians, see Definition 2.1. We presented that proof within the framework of a picture language [JL18]. Our language includes a geometric transformation F s , that we call the string Fourier transform (SFT).…”
Section: Introductionmentioning
confidence: 99%