Dafa Li

Available identifiers

zbMath Open li.dafaMaRDI QIDQ200696

List of research outcomes

Publication	Date of Publication	Type
Simplifying the axiomatization for ordered affine geometry via a theorem prover	2023-07-10	Paper
Reducing the detection of genuine entanglement of \(n\) qubits to two qubits	2023-03-17	Paper
Local unitary equivalence of the SLOCC class of three qubits	2023-01-23	Paper
Entanglement classification via integer partitions	2023-01-05	Paper
A relation among tangle, 3-tangle, and von Neumann entropy of entanglement for three qubits	2022-12-23	Paper
Detection of genuine \(n\)-qubit entanglement via the proportionality of two vectors	2022-12-08	Paper
Simplifying the axiomatization for the order affine geometry	2022-04-24	Paper
Why the quantitative condition fails to reveal quantum adiabaticity	2021-01-11	Paper
Stochastic local operations and classical communication (SLOCC) and local unitary operations (LU) classifications of n qubits via ranks and singular values of the spin-flipping matrices	2018-11-05	Paper
SLOCC classification of \(n\) qubits invoking the proportional relationships for spectrums and standard Jordan normal forms	2018-08-07	Paper
Necessary and Sufficient Conditions of Separability for Multipartite Pure States	2018-08-03	Paper
On the transition probability for the near or exact resonance with the RWA	2018-06-13	Paper
The Necessary and Sufficient Conditions for a Universal Conservation of a State of a Unitary Quantum Circuit	2013-07-09	Paper
SLOCC polynomial invariants of degree 6 for evennqubits	2013-04-26	Paper
The \(n\)-tangle of odd \(n\) qubits	2012-05-31	Paper
SLOCC determinant invariants of order 2n/2for evennqubits	2012-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3104221	2011-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q3172463	2011-10-05	Paper
Stochastic local operations and classical communication equations and classification of evennqubits	2011-05-13	Paper
FIXED-POINT SEARCH WITH TWO ARBITRARY EQUAL PHASE SHIFTS FOR ANY NUMBER OF ITERATIONS	2011-03-22	Paper
Fixed-point quantum search for different phase shifts	2010-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q3181658	2009-10-12	Paper
Simple criteria for the SLOCC classification	2008-09-05	Paper
No-cloning of nonorthogonal states does not require inner product preserving	2007-05-16	Paper
IMPOSSIBILITY OF REVERSING OR COMPLEMENTING AN UNKNOWN QUANTUM STATE AND A GENERAL NO-CLONING PRINCIPLE	2005-11-14	Paper
Using the prover ANDP to simplify orthogonality.	2003-11-25	Paper
Is DNA computing viable for 3-SAT problems?	2003-08-17	Paper
More general quantum search algorithm \(Q=-I_\gamma VI_\tau U\) and the precise formula for the amplitude and the non-symmetric effects of different rotating angles	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4701962	2000-07-18	Paper
Simplifying von Plato's axiomatization of constructive apartness geometry	2000-06-29	Paper
Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving	1997-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q3818297	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818298	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3327748	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dafa Li