semi-device-independent-nlwe-certification

name	semi-device-independent-nlwe-certification
description	Semi-device-independent certification methodology for nonlocality without entanglement (NLWE) using maximum-confidence discrimination of separable state ensembles.

Semi-Device-Independent NLWE Certification

Description

Methodology for certifying nonlocality without entanglement (NLWE) through maximum-confidence discrimination of separable states. Demonstrates global measurements outperform separable ones in confidence-based state identification. Enables semi-device-independent verification of NLWE with present-day quantum measurement devices, tolerant to non-unit detection efficiencies.

Activation Keywords

• nonlocality without entanglement
• NLWE certification
• maximum-confidence discrimination
• semi-device-independent quantum
• separable state discrimination
• global vs separable measurements
• quantum state identification
• 无纠缠非定域性
• 半设备无关认证

Tools Used

• exec: Run quantum state discrimination simulations
• write: Save certification results
• terminal: Execute quantum measurement protocols

Usage Patterns

Pattern 1: Maximum-Confidence Discrimination

For ensemble of separable states {rho_i, p_i}:

1. Define confidence C(i|M_j) = P(rho_i|M_j)
2. Optimize measurement to maximize confidence
3. Compare global vs separable measurement confidence
4. NLWE established when global > separable

Pattern 2: Semi-Device-Independent Certification

1. Prepare separable state ensemble
2. Perform measurement and record outcomes
3. Verify achievable confidence from outcomes only
4. Certify global measurements (hence NLWE)
5. Works with non-unit detection efficiency

Pattern 3: Experimental Feasibility Analysis

For current quantum devices:

1. Characterize detector efficiency eta
2. Determine minimum eta for NLWE detection
3. Design measurement scheme tolerant to losses
4. Verify robustness against experimental noise

Instructions for Agents

Step 1: State Ensemble Preparation

• Define separable states rho_i = rho_i^A tensor rho_i^B
• Assign prior probabilities p_i
• Ensure ensemble cannot be perfectly distinguished locally

Step 2: Confidence Optimization

def max_confidence_measurement(states, priors, measurement_type='global'):
    """Optimize measurement for maximum confidence."""
    # Global measurement: joint POVM on AB
    if measurement_type == 'global':
        povm = optimize_joint_povm(states, priors)
    # Separable measurement: local POVMs + classical communication
    else:
        povm = optimize_separable_povm(states, priors)
    
    confidence = compute_confidence(povm, states, priors)
    return povm, confidence

# NLWE when confidence_global > confidence_separable

Step 3: Certification Protocol

1. Fix state ensemble and priors
2. Run measurement experiment
3. Compute achieved confidence from outcome statistics
4. Compare against separable measurement bound
5. Certify NLWE if confidence exceeds bound

Step 4: Efficiency Tolerance

• Analyze how detection efficiency affects confidence
• Determine threshold eta_min for NLWE detection
• Design post-selection strategy if needed

Error Handling

Low Detection Efficiency

If eta < eta_min:

• Use heralded detection scheme
• Apply fair-sampling assumption (with caveat)
• Increase ensemble size for better statistics

State Preparation Errors

If states not perfectly separable:

• Bound entanglement in prepared states
• Account for preparation error in confidence calculation
• Use robustness analysis

Mathematical Framework

Maximum Confidence

C_max = max_{M} sum_j P(j) * max_i P(rho_i | M_j) where P(j) = sum_i p_i * tr(M_j * rho_i)

NLWE Criterion

NLWE exists iff: C_max(global) > C_max(separable) for some ensemble of separable states

Semi-Device-Independent Certification

Observed confidence >= theoretical separable bound => certifies use of global measurement (hence NLWE)

Resources

• arXiv: 2606.13667 (Lee & Bae, 2026)
• Related: Maximum-confidence discrimination (Croke et al. 2006)
• NLWE: Nonlocality without entanglement (Bennett et al. 1999)

Related Skills

• quantum-entanglement-detection
• quantum-state-isomorphism-groups
• quantum-hypothesis-testing-bounds