discopy

불일치

Discopy는 문자열 다이어그램으로 컴퓨팅을위한 파이썬 툴킷입니다.

• 조직 : https://discopy.org
• 문서 : https://docs.discopy.org
• 소스 코드 : https://github.com/discopy/discopy
• 논문 (응용 범주 이론가) : https://doi.org/10.4204/eptcs.333.13
• 논문 (양자 컴퓨터 과학자) : https://arxiv.org/abs/2205.05190

Discopy는 Discocat 및 QNLP의 구현으로 시작되었습니다. 이것은 이제 자체 도서관이되었습니다 : Lambeq.

특징

• 공식적인 합계, 단독 연산자 Arrow 심포
• 그래픽 언어의 계층 구조 (브레이드, 비틀기, 거미 등)의 모든 (사전) 단일 단일 카테고리의 평면 문자열 다이어그램에 대한 Diagram 데이터 구조.
• 하이퍼 그래프 카테고리의 문자열 다이어그램에 대한 Hypergraph 데이터 구조 및 대칭, 추적, 작곡 및 Markov 카테고리에 대한 제한
• 다이어그램 구성, 드로잉, 재 작성 및 Functor 평가 방법 :
  • 파이썬 코드, 즉 유형 및 함수로서의 와이어
  • 텐서 네트워크, 즉 Numpy, Pytorch, Tensorflow, Tensornetwork 및 Jax의 배열로서 치수 및 상자로서의 와이어
• 범주 형 양자 역학의 구현 :
  • 회로 컴파일을위한 tket
  • ZX 미적분학 최적화를위한 PYZX
  • 자동 차별화를위한 Pennylane
• Lambeq, Spacy 및 NLTK와의 인터페이스를 갖춘 공식 문법 (컨텍스트 프리, 카테고리어, 사전 그룹 또는 종속성) 구현

예 : 요리

이 예는 Pawel Sobocinski의 블로그 게시물 Crema di Mascarpone 및 Diagrammatic Orade에서 영감을 얻었습니다.

 from discopy . symmetric import Ty as Ingredient , Box as Step , Diagram as Recipe

egg , white , yolk = Ingredient ( "egg" ), Ingredient ( "white" ), Ingredient ( "yolk" )
crack = Step ( "crack" , egg , white @ yolk )
merge = lambda x : Step ( "merge" , x @ x , x )

# DisCoPy allows string diagrams to be defined as Python functions

@ Recipe . from_callable ( egg @ egg , white @ yolk )
def crack_two_eggs ( left_egg , right_egg ):
    left_white , left_yolk = crack ( left_egg )
    right_white , right_yolk = crack ( right_egg )
    return ( merge ( white )( left_white , right_white ),
            merge ( yolk )( left_yolk , right_yolk ))

# ... or in point-free style using parallel (@) and sequential (>>) composition

assert crack_two_eggs == crack @ crack 
  >> white @ Recipe . swap ( yolk , white ) @ yolk 
  >> merge ( white ) @ merge ( yolk )

crack_two_eggs . draw ()

QuickStart

pip install discopy

Discopy가 작동하는 것을 보려면 QNLP 튜토리얼을 확인하십시오!

기여하다

우리는 새로운 기고자들을 환영하고 싶어합니다!

먼저 기고 가이드 라인을 읽으십시오. 그런 다음 Discord를 연락하거나 문제를여십시오.

인용하는 방법

학술 간행물의 맥락에서 Discopy를 사용한 경우 다음을 인용하는 것이 좋습니다.

• G. De Felice, A. Toumi & B. Coecke, Discopy : Python , EPTCS 333, 2021, pp. 183-197, doi : 10.4204/eptcs.333.13

또한 귀하의 작업이 Quantum Computing과 관련이있는 경우 다음을 인용 할 수도 있습니다.

• A. Toumi, G. de Felice & R. Yeung, 양자 컴퓨터 과학자의 불일치 , Arxiv : 2205.05190

최근 기능 (예 : Hypergraph )을 사용하는 경우 다음을 언급해야합니다.

• A. Toumi, R. Yeung, B. Poór & G. Felice, Discopy : Python Arxiv에서 그래픽 언어의 계층 : 2311.10608