Da-Fa Li

Available identifiers

zbMath Open li.dafaMaRDI QIDQ200696

List of research outcomes

Publication	Date of Publication	Type
SLOCC and LU classification of black holes with eight electric and magnetic charges	2024-08-06	Paper
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 nessessary 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

This page was built for person: Da-Fa Li