Time complexity and gate complexity

We formulate and investigate the simplest version of time-optimal quantum computation theory (t-QCT), where the computation time is defined by the physical one and the Hamiltonian contains only one- and two-qubit interactions. This version of t-QCT is also considered as optimality by sub-Riemannian geodesic length. The work has two aims: one is to develop a t-QCT itself based on physically natural concept of time, and the other is to pursue the possibility of using t-QCT as a tool to estimate the complexity in conventional gate-optimal quantum computation theory (g-QCT). In particular, we investigate to what extent is true the statement: time complexity is polynomial in the number of qubits if and only if so is gate complexity. In the analysis, we relate t-QCT and optimal control theory (OCT) through fidelity-optimal computation theory (f-QCT); f-QCT is equivalent to t-QCT in the limit of unit optimal fidelity, while it is formally similar to OCT. We then develop an efficient numerical scheme for f-QCT by modifying Krotov's method in OCT, which has monotonic convergence property. We implemented the scheme and obtained solutions of f-QCT and of t-QCT for the quantum Fourier transform and a unitary operator that does not have an apparent symmetry. The former has a polynomial gate complexity and the latter is expected to have exponential one because a series of generic unitary operators has a exponential gate complexity. The time complexity for the former is found to be linear in the number of qubits, which is understood naturally by the existence of an upper bound. The time complexity for the latter is exponential. Thus the both targets are examples satisfyng the statement above. The typical characteristics of the optimal Hamiltonians are symmetry under time-reversal and constancy of one-qubit operation, which are mathematically shown to hold in fairly general situations.Comment: 11 pages, 6 figure

Time Optimal Unitary Operations

Extending our previous work on time optimal quantum state evolution, we formulate a variational principle for the time optimal unitary operation, which has direct relevance to quantum computation. We demonstrate our method with three examples, i.e. the swap of qubits, the quantum Fourier transform and the entangler gate, by choosing a two-qubit anisotropic Heisenberg model.Comment: 4 pages, 1 figure. References adde

Time-optimal CNOT between indirectly coupled qubits in a linear Ising chain

We give analytical solutions for the time-optimal synthesis of entangling gates between indirectly coupled qubits 1 and 3 in a linear spin chain of three qubits subject to an Ising Hamiltonian interaction with equal coupling $J$ plus a local magnetic field acting on the intermediate qubit. The energy available is fixed, but we relax the standard assumption of instantaneous unitary operations acting on single qubits. The time required for performing an entangling gate which is equivalent, modulo local unitary operations, to the $\mathrm{CNOT}(1, 3)$ between the indirectly coupled qubits 1 and 3 is $T=\sqrt{3/2} J^{-1}$, i.e. faster than a previous estimate based on a similar Hamiltonian and the assumption of local unitaries with zero time cost. Furthermore, performing a simple Walsh-Hadamard rotation in the Hlibert space of qubit 3 shows that the time-optimal synthesis of the $\mathrm{CNOT}^{\pm}(1, 3)$ (which acts as the identity when the control qubit 1 is in the state $\ket{0}$, while if the control qubit is in the state $\ket{1}$ the target qubit 3 is flipped as $\ket{\pm}\rightarrow \ket{\mp}$) also requires the same time $T$.Comment: 9 pages; minor modification

Amino acid polymorphisms in human histocompatibility leukocyte antigen class II and proinsulin epitope have impacts on type 1 diabetes mellitus induced by immune-checkpoint inhibitors

IntroductionImmune-checkpoint inhibitors are effective in various advanced cancers. Type 1 diabetes mellitus induced by them (ICI-T1DM) is a serious complication requiring prompt insulin treatment, but the immunological mechanism behind it is unclear.MethodsWe examined amino acid polymorphisms in human histocompatibility leukocyte antigen (HLA) molecules and investigated proinsulin epitope binding affinities to HLA molecules.Results and DiscussionTwelve patients with ICI-T1DM and 35 patients in a control group without ICI-T1DM were enrolled in the study. Allele and haplotype frequencies of HLA-DRB1*04:05, DQB1*04:01, and most importantly DPB1*05:01 were significantly increased in patients with ICI-T1DM. In addition, novel amino acid polymorphisms in HLA-DR (4 polymorphisms), in DQ (12 polymorphisms), and in DP molecules (9 polymorphisms) were identified. These amino acid polymorphisms might be associated with the development of ICI-T1DM. Moreover, novel human proinsulin epitope clusters in insulin A and B chains were discovered in silico and in vitro peptide binding assays to HLA-DP5. In conclusion, significant amino acid polymorphisms in HLA-class II molecules, and conformational alterations in the peptide-binding groove of the HLA-DP molecules were considered likely to influence the immunogenicity of proinsulin epitopes in ICI-T1DM. These amino acid polymorphisms and HLA-DP5 may be predictive genetic factors for ICI-T1DM