PV1 ⊧ VeriQFaircomputes the Lipschitz constant of a quantum decision model

Application domain/field

• Machine learning
• Quantum machine learning
• Fairness

Expected input

• Quantum decision model
• Qubits (all qubits used in the model)
• Measurement (single qubit measurement)

Format:

The 'tool' can be imported in Python. One should then pass the inputs as parameters to a library call.

• Quantum decision model: defined using Cirq (library for representing quantum circuits)
• Qubits: defined using Cirq
• Measurement: numpy array

Expected output

Lipschitz constant

Internals

This tool can be used to compute the Lipschitz constant of a quantum decision model. This constant can be used to determine fairness for a quantum decision model. Specifically, they focus on individual fairness, i.e. "treating similar individuals similarly".