examples

FSharp.Azure.Quantum Examples

Comprehensive examples organized by business value and technical complexity

This directory contains 60+ examples demonstrating the FSharp.Azure.Quantum library, organized from business-focused (Level 1) to research/educational (Level 4).

Example Categorization

Examples are categorized into 4 levels based on business utility and technical complexity:

• Level 1 - Business-Ready Solutions (Start Here!)
• Level 2 - Practical Optimization Problems
• Level 3 - Advanced Quantum Algorithms
• Level 4 - Research & Educational (Quantum Physics)

---

Level 1: Business-Ready Solutions

For: Business analysts, product managers, enterprise developers
Goal: Solve real-world problems without quantum knowledge
Quantum Expertise Required: None (abstracted away)

Machine Learning & AI

Fraud Detection & Security

• BinaryClassification/FraudDetection.fsx START HERE
  Detect fraudulent transactions using quantum ML
  Use Case: Banking, e-commerce, insurance fraud detection
  ROI: Reduce fraud losses by 20-40%, improve detection accuracy
  Ready for: Production (with LocalBackend for <1000 transactions/sec)

• AnomalyDetection/SecurityThreatDetection.fsx
  Identify network intrusions and security threats
  Use Case: SIEM integration, real-time threat monitoring
  ROI: Detect zero-day attacks, reduce false positives by 30%

Customer Intelligence

• PredictiveModeling/CustomerChurnPrediction.fsx
  Predict which customers will cancel service
  Use Case: SaaS, telecom, subscription services
  ROI: Reduce churn by 15%, targeted retention campaigns

• SimilaritySearch/ProductRecommendations.fsx
  Find similar products for recommendations
  Use Case: E-commerce, content platforms
  ROI: Increase cross-sell/upsell by 25%, improve user engagement

AutoML

• AutoML/QuickPrototyping.fsx EASIEST START
  Zero-config machine learning - just provide data
  Use Case: Rapid prototyping, non-ML experts
  ROI: 10x faster model development, no ML expertise needed

• AutoML/CancellationAndProgressExample.fsx
  Production AutoML with progress tracking and cancellation
  Use Case: Long-running model searches, production ML pipelines

Workforce & Operations

Scheduling & Resource Allocation

• ConstraintScheduler_Example.fsx RECOMMENDED
  Schedule employees/resources with hard and soft constraints
  Use Case: Workforce management, cloud VM allocation, manufacturing
  ROI: $25,000/hour savings (validated in powerplant optimization)

• JobScheduling/JobScheduling.fsx
  Task scheduling with dependencies and resource constraints
  Use Case: Project management, manufacturing workflows
  ROI: Minimize makespan, optimize resource utilization

Supply Chain & Logistics

• DeliveryRouting/DeliveryRouting.fsx
  Optimize delivery routes to minimize distance/time
  Use Case: Last-mile delivery, logistics planning
  ROI: 10-15% reduction in fuel costs, faster deliveries

• SupplyChain/SupplyChain.fsx
  Multi-echelon supply chain optimization
  Use Case: Warehouse allocation, distribution planning
  ROI: Reduce inventory costs by 20%, improve fill rates

• SupplyChain/SupplyChain-Small.fsx
  Small-scale supply chain example (faster execution)

Network & Social Analysis

• SocialNetworkAnalyzer_Example.fsx
  Detect communities and fraud rings in social networks
  Use Case: Marketing (influencer groups), fraud detection (collusion)
  ROI: Targeted campaigns, detect coordinated fraud schemes

---

Level 2: Practical Optimization Problems

For: Developers, data scientists, operations research professionals
Goal: Solve combinatorial optimization with quantum acceleration
Quantum Expertise Required: Minimal (basic QAOA understanding helpful)

Classic NP-Hard Problems

Graph Problems

• GraphColoring/GraphColoring.fsx WELL-DOCUMENTED
  Register allocation, frequency assignment, exam scheduling
  Use Case: Compiler optimization, wireless networks, university timetabling
  Algorithm: QAOA (Quantum Approximate Optimization Algorithm)

• MaxCut/MaxCut.fsx
  Graph partitioning for load balancing and circuit design
  Use Case: Circuit partitioning, community detection
  Algorithm: QAOA with D-Wave quantum annealer support

• DWaveMaxCutExample.fsx
  MaxCut using D-Wave quantum annealer (2000+ qubits!)
  Hardware: D-Wave Advantage (5640 qubits)
  Note: Real quantum hardware example

Routing & Assignment

• Knapsack/Knapsack.fsx
  0/1 Knapsack - resource allocation, cargo loading
  Use Case: Portfolio selection, capacity planning

• InvestmentPortfolio/InvestmentPortfolio.fsx
  Financial portfolio optimization with risk/return tradeoff
  Use Case: Asset allocation, investment management

• InvestmentPortfolio/InvestmentPortfolio-Small.fsx
  Smaller portfolio example (faster prototyping)

Constraint Satisfaction

• ConstraintSolver/SudokuSolver.fsx
  SAT solving with Grover's algorithm (Sudoku as example)
  Algorithm: Quantum SAT solver with Grover search

Quantum ML Building Blocks

• QML/VQCExample.fsx
  Variational Quantum Classifier training pipeline
  Use Case: Custom quantum ML models, research

• QML/FeatureMapExample.fsx
  Quantum feature encoding demonstrations

• QML/VariationalFormExample.fsx
  Ansatz circuit design for VQC

Visualization & Debugging

• GraphColoring/GraphColoring-Visualization.fsx
  Visualize graph coloring problems and solutions

• GraphColoring/ProblemAndSolutionVisualization.fsx
  Mermaid diagram generation for problems/solutions

• GraphColoring/QuboVisualization.fsx
  Understand QUBO encoding for graph coloring

---

Level 3: Advanced Quantum Algorithms

For: Quantum algorithm researchers, PhD students, quantum enthusiasts
Goal: Explore advanced quantum computing techniques
Quantum Expertise Required: Moderate to High

Quantum Search & Optimization

• Grover_GraphColoring_Example.fsx
  Grover's algorithm applied to graph coloring
  Complexity: O(√N) speedup over classical search

• Grover_SAT_Example.fsx
  Boolean satisfiability with quantum search
  Theory: Amplitude amplification

• TreeSearch/GameAI.fsx
  Quantum tree search for game AI
  Use Case: Chess, Go, decision tree exploration

• PatternMatcher/ConfigurationOptimizer.fsx
  Quantum pattern matching for configuration optimization

Quantum Chemistry & Simulation

• QuantumChemistry/H2Molecule.fsx
  VQE (Variational Quantum Eigensolver) for molecular ground state
  Molecule: Hydrogen (H₂)

• QuantumChemistry/H2GroundState.fsx
  Alternative H₂ ground state calculation

• QuantumChemistry/H2OWater.fsx
  Water molecule (H₂O) quantum simulation
  Complexity: 10 qubits (requires cloud backend)

• QuantumChemistry/HamiltonianTimeEvolution.fsx
  Time evolution of molecular systems

• H2_UCCSD_VQE_Example.fsx
  UCCSD (Unitary Coupled Cluster) ansatz for H₂

• UCCSDExample.fsx
  Complete UCCSD workflow

• HartreeFockInitialStateExample.fsx
  Hartree-Fock initial state preparation

Quantum Arithmetic & Cryptography

• QuantumArithmetic/RSAEncryption.fsx
  Quantum arithmetic for RSA operations

• CryptographicAnalysis/RSAFactorization.fsx
  Shor's algorithm for RSA factorization
  Security Implication: Breaks RSA-2048 (with 4096+ qubits)

Quantum Phase Estimation

• PhaseEstimation/MolecularEnergy.fsx
  QPE (Quantum Phase Estimation) for molecular energies

Linear Algebra & Systems

• LinearSystemSolver/HHLAlgorithm.fsx
  HHL algorithm for solving linear systems
  Speedup: Exponential over classical (for specific systems)

• HHL_Extensions_Rigetti_Example.fsx
  HHL with Rigetti backend extensions

Quantum Communication & Security

• BB84_Complete_Pipeline_Example.fsx Complete BB84 quantum key distribution protocol
  Use Case: Secure communication, quantum cryptography

• BB84_Issue_Fix_Verification.fsx
  Verification tests for BB84 implementation

• QuantumTeleportationExample.fsx
  Quantum teleportation protocol

Finance & Risk

• QuantumOptionPricing/QuantumOptionPricing.fsx
  Monte Carlo option pricing with quantum acceleration

• QuantumDistributions/QuantumDistributions.fsx
  Load probability distributions into quantum states

Parameter Optimization

• QaoaParameterOptimizationExample.fsx
  QAOA parameter tuning strategies

• IntegerVariables/IntegerVariablesExample.fsx
  Encoding integer variables in QUBO

• IntegerVariables/test-encoding.fsx
  Test integer encoding strategies

• IntegerVariables/verify-fix.fsx
  Verification for integer variable encoding

Quantum Circuit Building

• CircuitBuilder/QuantumCircuits.fsx
  Low-level quantum circuit construction

• CircuitBuilder/CircuitVisualization.fsx
  Visualize quantum circuits (Mermaid, ASCII)

Azure Quantum Integration

• AzureQuantumWorkspace/WorkspaceExample.fsx
  Cloud quantum hardware (IonQ, Rigetti, Quantinuum, Atom Computing)
  Features: Quota management, job submission, circuit conversion

---

Level 4: Research & Educational (Quantum Physics)

For: Quantum physics students, topological quantum computing researchers
Goal: Understand fundamental quantum mechanics and exotic quantum models
Quantum Expertise Required: Advanced (graduate-level physics)

Topological Quantum Computing

• TopologicalExample.fsx
  Introduction to anyon braiding and topological qubits

• ToricCodeExample.fsx ⭐ EDUCATIONAL
  Toric code error correction
  Theory: Surface codes, topological protection

• ModularDataExample.fsx
  Modular S and T matrices (topological invariants)
  Theory: Modular tensor categories, fusion rules

• Topological/TopologicalVisualization.fsx
  Visualize anyon braiding operations

Topological Backend Examples

• TopologicalSimulator/BellState.fsx
  Bell state using topological qubits

• TopologicalSimulator/BasicFusion.fsx
  Anyon fusion demonstrations

• TopologicalSimulator/BackendComparison.fsx
  Compare gate-based vs topological backends

• TopologicalSimulator/FormatDemo.fsx
  Topological circuit file format (.tqp)

Educational Quantum Algorithms

• BellStatesExample.fsx
  Bell states and quantum entanglement

• DeutschJozsaExample.fsx
  Deutsch-Jozsa algorithm (first quantum advantage proof)

Game Examples (Educational)

• Kasino/Kasino.fsx
  Card game with quantum decision-making

• Gomoku/ (F# project)
  Board game AI with quantum tree search

---

Quick Start Guides

For Business Users (Start Here!)

Step 1: Install the library

dotnet add package FSharp.Azure.Quantum

Step 2: Run the easiest example (AutoML)

cd examples/AutoML
dotnet fsi QuickPrototyping.fsx

Step 3: Try a business problem

cd examples/BinaryClassification
dotnet fsi FraudDetection.fsx

For Developers

Step 1: Explore optimization problems

cd examples/GraphColoring
dotnet fsi GraphColoring.fsx

Step 2: Compare quantum vs classical

cd examples/MaxCut
dotnet fsi MaxCut.fsx

Step 3: Try cloud quantum hardware

cd examples/AzureQuantumWorkspace
# Edit WorkspaceExample.fsx with your Azure credentials
dotnet fsi WorkspaceExample.fsx

For Researchers

Step 1: Quantum chemistry

cd examples/QuantumChemistry
dotnet fsi H2Molecule.fsx

Step 2: Advanced algorithms

cd examples/LinearSystemSolver
dotnet fsi HHLAlgorithm.fsx

Step 3: Topological quantum computing

dotnet fsi ToricCodeExample.fsx

---

Running Examples

Prerequisites

# Install .NET 8.0+
dotnet --version

# Install FSharp.Azure.Quantum
dotnet add package FSharp.Azure.Quantum

Running Individual Examples

# Navigate to example directory
cd examples/BinaryClassification

# Run with F# Interactive
dotnet fsi FraudDetection.fsx

Running All Examples (Validation)

# From examples/ directory
dotnet fsi test-all-examples.fsx

---

🎓 Learning Path Recommendations

Beginner Path (Business Focus)

1. AutoML/QuickPrototyping.fsx - Easiest start
2. BinaryClassification/FraudDetection.fsx - Real use case
3. ConstraintScheduler_Example.fsx - Optimization intro
4. GraphColoring/GraphColoring.fsx - Classic problem

Developer Path (Quantum Optimization)

1. GraphColoring/GraphColoring.fsx - Best documented
2. MaxCut/MaxCut.fsx - Graph partitioning
3. Knapsack/Knapsack.fsx - Classic NP problem
4. DWaveMaxCutExample.fsx - Real quantum hardware

Research Path (Quantum Algorithms)

1. BellStatesExample.fsx - Quantum basics
2. Grover_SAT_Example.fsx - Quantum search
3. QuantumChemistry/H2Molecule.fsx - VQE
4. ToricCodeExample.fsx - Topological qubits

Expert Path (Full Stack)

1. CircuitBuilder/ - Low-level circuits
2. AzureQuantumWorkspace/ - Cloud infrastructure
3. TopologicalSimulator/ - Exotic quantum models
4. CryptographicAnalysis/ - Shor's algorithm

---

License

All examples are part of FSharp.Azure.Quantum library.
License: Unlicense (Public Domain)