Dafa Li
YOU?
Author Swipe
View article: Scaling Up, Speeding Up: A Benchmark of Speculative Decoding for Efficient LLM Test-Time Scaling
Scaling Up, Speeding Up: A Benchmark of Speculative Decoding for Efficient LLM Test-Time Scaling Open
Test-time scaling has emerged as a powerful paradigm for enhancing the reasoning capabilities of large language models (LLMs) by allocating additional computational resources during inference. However, this paradigm is inherently inefficie…
A High-Accuracy and Reliable End-to-End Phase Calculation Network and Its Demonstration in High Dynamic Range 3D Reconstruction Open
In fringe projection profilometry 3D measurement systems, the measurement of surfaces with high variability in reflectivity poses a challenge due to the limited dynamic range of cameras. The main solution involves using multiple exposures …
SLOCC and LU classification of black holes with eight electric and magnetic charges Open
In \cite{Linde}, Kallosh and Linde discussed the SLOCC classification of black holes. However, the criteria for the SLOCC classification of black holes have not been given. In addition, the LU classification of black holes has not been stu…
The Functions of Phasic Wing-Tip Folding on Flapping-Wing Aerodynamics Open
Insects produce a variety of highly acrobatic maneuvers in flight owing to their ability to achieve various wing-stroke trajectories. Among them, beetles can quickly change their flight velocities and make agile turns. In this work, we rep…
A difference between inner Pasch and outer Pasch and outer Pasch is not independent in Tarskian Geometry Open
Tarski originally took outer Pasch as an axiom. Later, Szmielew chose to take inner Pasch as an axiom instead of outer Pasch. Outer Pasch can be written as the form ∀[∃A→∃B]. In this paper, we can show that outer Pasch itself is equivalent…
Simplifying the axiomatization for the ordered affine geometry via a theorem prover Open
Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which …
Classification of "large" black holes into seven families Open
The black-hole--qubit correspondence has been proven to be ``useful for obtaining additional insight into one of the string black hole theory and quantum information theory by exploiting approaches of the other"[Phys. Rev. D 82, 026003 (20…
Simplifying the axiomatization for the order affine geometry Open
Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which the …
A relation among tangle, 3-tangle, and von Neumann entropy of entanglement for three qubits Open
In this paper, we derive a general formula of the tangle for pure states of three qubits, and present three explicit local unitary (LU) polynomial invariants. Our result goes beyond the classical work of tangle, 3-tangle and von Neumann en…
Partition GHZ SLOCC class of three qubits into ten families under LU Open
In [Science 340:1205, (2013)], via entanglement polytopes Michael Walter et al. obtained a finite yet systematic classification of multi-particle entanglement. It is well known that under SLOCC, pure states of three (four) qubits are parti…
View article: Measurement method of pillow spring based on machine vision
Measurement method of pillow spring based on machine vision Open
In the current maintenance of pillow springs of railway freight cars in our country, the measuring method of manually using measuring scale and measure gauges is still common. In order to improve the quality and efficiency of the pillow sp…
Entanglement classification via integer partitions Open
In [M. Walter et al., Science 340, 1205, 7 June (2013)], they gave a sufficient condition for genuinely entangled pure states and discussed SLOCC classification via polytopes and the eigenvalues of the single-particle states. In this paper…
Detection of genuine n-qubit entanglement via the proportionality of two vectors Open
In [Science 340, 1205, 7 June (2013)], via polytopes Michael Walter et al. proposed a sufficient condition detecting the genuinely entangled pure states. In this paper, we indicate that generally, the coefficient vector of a pure product s…