Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Journal of the Korea institute of electronic communication sciences

Gate Cost Reduction Policy for Direct Irreversible-to-Reversible Mapping Method without Reversible Embedding

Dong-Young Park, Yeon-Man Jeong

Published Nov 30, 2014• 2 citations
Publisher

Abstract

1980년 Toffoli 가역게이트 출현 이후 지난 30년 간 적당한 함수 상에 가역 임베딩을 하는 많은 가역회로 합성법들이 발표되어 오는 동안 소수의 논문만이 가역 임베딩 없이 직접적인 비가역-가역 회로 매핑 방법을 채택해 왔다. 본 논문에서는 가역 임베딩 없는 직접적 가역 매핑에 대한 효과적인 게이트비용 절감 정책을 개발하였다. 새로운 비용절감 정책을 개발하기 위해 고전회로에서 NOT 게이트 배치에 따른 Toffoli 모듈 비용의 영향을 고찰하고, 이것을 기초로 하여 고전적 AND(OR)게이트에 대한 반전입력 추가가 가역 Toffoli 모듈의 비용을 증가(감소)시킨다-라는 고전 게이트 반전입력 수와 가역 Toffoli 모듈 비용 사이의 반비례적 성질을 이끌어내었다. 직접적 가역 매핑에 선행한 반전입력 재배치 정책은 현존하는 팬-아웃 및 슈퍼셀 정책들과 병행할 경우에 가역 Toffoli 모듈의 비용과 복잡성을 개선할 수 있는 효과적인 방법이다. For the last three decades after the advent of the Toffoli gate in 1980, while many reversible circuit syntheses have been presented reversible embedding methods onto suitable reversible functions, only a few proposed direct irreversible-to-reversible mapping methods without reversible embedding. In this paper we present two effective policies to reduce the gate cost and complexity for the existing direct reversible mapping methods without reversible embedding. In order to develop new cost reduction policies we consider the cost influence of Toffoli module according to NOT gate arrangement in classical circuits. From this we deduced an inverse proportional property between inverting input numbers of classical AND/OR gates and reversible Toffoli module cost based on a fact - the inverting inputs of classical AND(OR) gates increase(decrease) the Toffoli module cost. We confirm the applications of the inverting input rearrangement and maximum fan-out policies preceding direct reversible mapping will be effective method to improve the reversible Toffoli module cost and complexity with the parallel using of the fan-out and supercell ones.

DOI
10.13067/jkiecs.2014.9.11.1233

Related papers

양자 논리회로의 정보 가역성에 대한 고찰

박동영

양자논리회로의 가역성은 정보 가역적 및 에너지 가역적 회로라는 두 가지 가역 조건을 만족할 때 실현될 수 있다. 본 논문은 다치 양자논리 회로에서 원래상태로의 정보가역성 회복에 필요한 연산 사이클을 모델링하였다. 모델링을 위해 유니터리 스위치를 산술 멱승 스위치로 사용하는 함수 임베딩 방법을 사용하였다. 양...

The Journal of the Korea institute of electronic communication sciences•Jan 1, 2017•0 citations

확률진폭 스위치에 의한 양자게이트의 함수 임베딩과 투사측정

박동영

본 논문은 양자게이트의 모든 제어 동작점에서 양자들의 확률진폭, 확률, 평균 기댓값 및 정상상태 단위행렬의 행렬요소 등을 수학적 투사로 측정할 수 있는 새로운 함수 임베딩 방법을 제안하였다. 본 논문의 함수 임베딩 방법은 디랙 기호와 크로네커델타 기호를 사용해 각 제어 동작점에 대한 확률진폭의 직교 정규화조건을 2진 스칼라 연산자에 임베딩 한 것이다. 이와...

The Journal of the Korea institute of electronic communication sciences•Dec 1, 2017•0 citations

양자물리학이 국제정치에 던지는 메시지

양준희

본 논문은 웬트의 양자역학에 대한 연구를 높이 평가함과 동시에 그 한계를 논하고 있다. 특히 웬트의 양자역학에 대한 설명이 너무 복잡하여 설득력이 떨어질 수도 있다는 것과 양자역학에 대한 연구는 참여적 인식론과 규범적 논의가 부각될 수밖에 없는데 그 부분에 대해 웬트가 침묵하고 있는 것을 지적하고 있다. 그와 같은 논의를 바탕으로 본 논문은 웬트의 한계를 넘어 좀 더 ‘과감하고’ ‘창조적’으로 양자역학을 해석하여 국제정치를 재해석하고 있다. 국제정치의 현실은 시공을 초월하여 ‘객관적’으로 존재하고 측정될 수 있는 것이 아니라 관찰자의 관점에 따라 얼마든지 다르게 해석될 수 있고 또한 창조될 수 있다는 것이 본 논문의 양자역학적 해석이다. 그것은 국제정치에 대한 연구가 ‘있는 그대로’의 현실을 설명하고 미래를 예측하는 것에 집중하기 보다는 우리가 어떤 세상을 창조하기를 원하고 그런 세상을 현실화시키기 위해서는 어떤 의식을 가져야 할 것인가를 고민하여야 된다는 것을 의미한다. 유럽의 국가들이 역사상 유래가 없는 긴 평화를 유지하고 있듯이 오랜 세월을 걸쳐 우리는 많은 것을 배웠다. 언젠가는 인류가 두려움 없이 평화롭게 사는 방법을 터득하게 될 날이 올 것이다. 양자역학은 이와 같은 문제에 관심을 가지는 것이 ‘비과학적’이고 ‘비현실적’인 시도가 아님을 ‘과학적’으로 밝혀주고 있다. 이제까지의 국제정치학계의 주요 문제의식이 현실주의 및 실증주의 패러다임을 기초로 하고 있었다면 미래에는 참여적 인식론을 바탕으로 한 규범이론의 확장이 필요하다는 것이 본 논문의 관점이다.

국제정치논총•Dec 1, 2008•0 citations

Realization of Multiple-Control Toffoli gate based on Mutiple-Valued Quantum Logic

Dong-Young Park

다중제어 Toffoli(multiple-control Toffoli, MCT) 게이트는 원시 게이트에 의존적인 양자 기술을 필요로 하는 매크로 레벨 다치(multiple-valued) 게이트이며, Galois Field sum-of-product(GFSOP)형 양자논리 함수의 합성에 사용되어 왔다. 가역 논리는 저전력 회로 설계를 위한 양자계산(quantum computing, QC)에서 매우 중요하다. 본 논문은 먼저 GF4 가역 승산기를 제안한 후 GF4 승산기 기반의 quaternary MCT 게이트 실현을 제안하였다. MCT 게이트 실현을 위한 비교에서 제안한 MCT 게이트가 다중제어 입력이 증가할수록 종전의 작은 MCT 게이트 합성 방법보다 원시 게이트 수와 게이트 지연을 상당량 줄일 수 있음을 보였다. Multiple-control Toffoli(MCT) gates are macro-level multiple-valued gates needing quantum technology dependent primitive gates, and have been used in Galois Field sum-of-product (GFSOP) based synthesis of quantum logic circuit. Reversible logic is very important in quantum computing for low-power circuit design. This paper presents a reversible GF4 multiplier at first, and GF4 multiplier based quaternary MCT gate realization is also proposed. In the comparisons of MCT gate realization, we show the proposed MCT gate can reduce considerably primitive gates and delays in contrast to the composite one of the smaller MCT gates in proportion to the multiple-control input increase.

The Journal of Advanced Navigation Technology•Feb 29, 2012•2 citations

다치양자논리에 의한 다중제어 Toffoli 게이트의 실현

박동영

다중제어 Toffoli(multiple-control Toffoli, MCT) 게이트는 원시 게이트에 의존적인 양자 기술을 필요로 하는 매크로 레벨 다치(multiple-valued) 게이트이며, Galois Field sum-of-product(GFSOP)형 양자논리 함수의 합성에 사용되어 왔다. 가역 논리는 저전력 회로 설계를 위한 양자계산(quantum computing, QC)에서 매우 중요하다. 본 논문은 먼저 GF4 가역 승산기를 제안한 후 GF4 승산기 기반의 quaternary MCT 게이트 실현을 제안하였다. MCT 게이트 실현을 위한 비교에서 제안한 MCT 게이트가 다중제어 입력이 증가할수록 종전의 작은 MCT 게이트 합성 방법보다 원시 게이트 수와 게이트 지연을 상당량 줄일 수 있음을 보였다.

The Journal of Advanced Navigation Technology•Jan 1, 2012•0 citations

포퍼의 성향해석에 대한 비판적 고찰

진성배

이 논문에서는 확률론과 양자역학의 해석문제를 살펴보려고 한다. 먼저 포퍼의 성향해석을 평가하고, 그것과 관련된 문제를 비판적으로 고찰해 보려고 한다.특히, 콜모고르보의 공리체계에 기초한 수피즈의 비판에 대해 수피즈와 밀른과 관련된 포퍼의 성향 해석을 대비시켜 볼 것이다. 그래서 “과학적 탐구의 논리”에서 포퍼 자신이 주장한 공리체제를 지지해 보일 것이다. 그러나, 객관적 해석이 견지되는 한, 포퍼의 조건적 성향해석에 대한 밀른의 비판의 타탕성을 인정하고, 그 점과 관련하여 포퍼의 성향해석을 수정해 보일 것이다.다음으로, 양자역학과 관련하여, 포퍼의 성향해석에 대한 페처와 파이어아벤드의 비판을 검토해 보일 것이다. 여기서 빈도해석보다 설득력 있는 페처의 성향해석에 대한 논리적 형태를 수용해 보일 것이다.또한 보어의 입장에 기초한 파이어아벤드의 비판의 타탕성도 검토해 볼 것이다. 여기서 필자는 포퍼의 객관적 성향해석을 재구성한 바틀리의 입장을 견지하면서 파이어아벤드의 비판을 재평가해 보일 것이다.

Journal of the Daedong Philosophical Association•Jun 1, 2000•0 citations
1980년 Toffoli 가역게이트 출현 이후 지난 30년 간 적당한 함수 상에 가역 임베딩을 하는 많은 가역회로 합성법들이 발표되어 오는 동안 소수의 논문만이 가역 임베딩 없이 직접적인 비가역-가역 회로 매핑 방법을 채택해 왔다. 본 논문에서는 가역 임베딩 없는 직접적 가역 매핑에 대한 효과적인 게이트비용 절감 정책을 개발하였다. 새로운 비용절감 정책을 개발하기 위해 고전회로에서 NOT 게이트 배치에 따른 Toffoli 모듈 비용의 영향을 고찰하고, 이것을 기초로 하여 고전적 AND(OR)게이트에 대한 반전입력 추가가 가역 Toffoli 모듈의 비용을 증가(감소)시킨다-라는 고전 게이트 반전입력 수와 가역 Toffoli 모듈 비용 사이의 반비례적 성질을 이끌어내었다. 직접적 가역 매핑에 선행한 반전입력 재배치 정책은 현존하는 팬-아웃 및 슈퍼셀 정책들과 병행할 경우에 가역 Toffoli 모듈의 비용과 복잡성을 개선할 수 있는 효과적인 방법이다. For the last three decades after the advent of the Toffoli gate in 1980, while many reversible circuit syntheses have been presented reversible embedding methods onto suitable reversible functions, only a few proposed direct irreversible-to-reversible mapping methods without reversible embedding. In this paper we present two effective policies to reduce the gate cost and complexity for the existing direct reversible mapping methods without reversible embedding. In order to develop new cost reduction policies we consider the cost influence of Toffoli module according to NOT gate arrangement in classical circuits. From this we deduced an inverse proportional property between inverting input numbers of classical AND/OR gates and reversible Toffoli module cost based on a fact - the inverting inputs of classical AND(OR) gates increase(decrease) the Toffoli module cost. We confirm the applications of the inverting input rearrangement and maximum fan-out policies preceding direct reversible mapping will be effective method to improve the reversible Toffoli module cost and complexity with the parallel using of the fan-out and supercell ones.
본 논문은 웬트의 양자역학에 대한 연구를 높이 평가함과 동시에 그 한계를 논하고 있다. 특히 웬트의 양자역학에 대한 설명이 너무 복잡하여 설득력이 떨어질 수도 있다는 것과 양자역학에 대한 연구는 참여적 인식론과 규범적 논의가 부각될 수밖에 없는데 그 부분에 대해 웬트가 침묵하고 있는 것을 지적하고 있다. 그와 같은 논의를 바탕으로 본 논문은 웬트의 한계를 넘어 좀 더 ‘과감하고’ ‘창조적’으로 양자역학을 해석하여 국제정치를 재해석하고 있다. 국제정치의 현실은 시공을 초월하여 ‘객관적’으로 존재하고 측정될 수 있는 것이 아니라 관찰자의 관점에 따라 얼마든지 다르게 해석될 수 있고 또한 창조될 수 있다는 것이 본 논문의 양자역학적 해석이다. 그것은 국제정치에 대한 연구가 ‘있는 그대로’의 현실을 설명하고 미래를 예측하는 것에 집중하기 보다는 우리가 어떤 세상을 창조하기를 원하고 그런 세상을 현실화시키기 위해서는 어떤 의식을 가져야 할 것인가를 고민하여야 된다는 것을 의미한다. 유럽의 국가들이 역사상 유래가 없는 긴 평화를 유지하고 있듯이 오랜 세월을 걸쳐 우리는 많은 것을 배웠다. 언젠가는 인류가 두려움 없이 평화롭게 사는 방법을 터득하게 될 날이 올 것이다. 양자역학은 이와 같은 문제에 관심을 가지는 것이 ‘비과학적’이고 ‘비현실적’인 시도가 아님을 ‘과학적’으로 밝혀주고 있다. 이제까지의 국제정치학계의 주요 문제의식이 현실주의 및 실증주의 패러다임을 기초로 하고 있었다면 미래에는 참여적 인식론을 바탕으로 한 규범이론의 확장이 필요하다는 것이 본 논문의 관점이다.
다중제어 Toffoli(multiple-control Toffoli, MCT) 게이트는 원시 게이트에 의존적인 양자 기술을 필요로 하는 매크로 레벨 다치(multiple-valued) 게이트이며, Galois Field sum-of-product(GFSOP)형 양자논리 함수의 합성에 사용되어 왔다. 가역 논리는 저전력 회로 설계를 위한 양자계산(quantum computing, QC)에서 매우 중요하다. 본 논문은 먼저 GF4 가역 승산기를 제안한 후 GF4 승산기 기반의 quaternary MCT 게이트 실현을 제안하였다. MCT 게이트 실현을 위한 비교에서 제안한 MCT 게이트가 다중제어 입력이 증가할수록 종전의 작은 MCT 게이트 합성 방법보다 원시 게이트 수와 게이트 지연을 상당량 줄일 수 있음을 보였다. Multiple-control Toffoli(MCT) gates are macro-level multiple-valued gates needing quantum technology dependent primitive gates, and have been used in Galois Field sum-of-product (GFSOP) based synthesis of quantum logic circuit. Reversible logic is very important in quantum computing for low-power circuit design. This paper presents a reversible GF4 multiplier at first, and GF4 multiplier based quaternary MCT gate realization is also proposed. In the comparisons of MCT gate realization, we show the proposed MCT gate can reduce considerably primitive gates and delays in contrast to the composite one of the smaller MCT gates in proportion to the multiple-control input increase.
다중제어 Toffoli(multiple-control Toffoli, MCT) 게이트는 원시 게이트에 의존적인 양자 기술을 필요로 하는 매크로 레벨 다치(multiple-valued) 게이트이며, Galois Field sum-of-product(GFSOP)형 양자논리 함수의 합성에 사용되어 왔다. 가역 논리는 저전력 회로 설계를 위한 양자계산(quantum computing, QC)에서 매우 중요하다. 본 논문은 먼저 GF4 가역 승산기를 제안한 후 GF4 승산기 기반의 quaternary MCT 게이트 실현을 제안하였다. MCT 게이트 실현을 위한 비교에서 제안한 MCT 게이트가 다중제어 입력이 증가할수록 종전의 작은 MCT 게이트 합성 방법보다 원시 게이트 수와 게이트 지연을 상당량 줄일 수 있음을 보였다.
이 논문에서는 확률론과 양자역학의 해석문제를 살펴보려고 한다. 먼저 포퍼의 성향해석을 평가하고, 그것과 관련된 문제를 비판적으로 고찰해 보려고 한다.특히, 콜모고르보의 공리체계에 기초한 수피즈의 비판에 대해 수피즈와 밀른과 관련된 포퍼의 성향 해석을 대비시켜 볼 것이다. 그래서 “과학적 탐구의 논리”에서 포퍼 자신이 주장한 공리체제를 지지해 보일 것이다. 그러나, 객관적 해석이 견지되는 한, 포퍼의 조건적 성향해석에 대한 밀른의 비판의 타탕성을 인정하고, 그 점과 관련하여 포퍼의 성향해석을 수정해 보일 것이다.다음으로, 양자역학과 관련하여, 포퍼의 성향해석에 대한 페처와 파이어아벤드의 비판을 검토해 보일 것이다. 여기서 빈도해석보다 설득력 있는 페처의 성향해석에 대한 논리적 형태를 수용해 보일 것이다.또한 보어의 입장에 기초한 파이어아벤드의 비판의 타탕성도 검토해 볼 것이다. 여기서 필자는 포퍼의 객관적 성향해석을 재구성한 바틀리의 입장을 견지하면서 파이어아벤드의 비판을 재평가해 보일 것이다.