Inferensys

Glossary

Differential Privacy (DP)

A mathematical framework providing provable privacy guarantees by injecting calibrated noise into computations, ensuring the output distribution is nearly indistinguishable regardless of any single record's inclusion.
AI evaluator reviewing output quality on laptop, comparison metrics visible, casual evaluation session.
PROVABLE PRIVACY GUARANTEE

What is Differential Privacy (DP)?

Differential privacy is a mathematical framework that provides a rigorous, quantifiable guarantee that the output of a computation reveals virtually no information about any single individual in the input dataset, regardless of whether that individual's record is included or excluded.

Differential Privacy (DP) is a formal privacy definition that bounds the influence of any single record on a computation's output. It guarantees that an adversary observing the result cannot confidently infer whether a specific individual's data was present. This is achieved by injecting calibrated statistical noise into the query response or model training process, masking the contribution of any one data point.

The guarantee is parameterized by a privacy budget (epsilon, ε) , where a smaller epsilon enforces stronger privacy by adding more noise. A critical property is composability, which allows tracking cumulative privacy loss across multiple queries. In machine learning, the DP-SGD optimizer operationalizes this by clipping per-sample gradients and adding Gaussian noise, enabling the training of deep learning models with a formal, end-to-end privacy guarantee.

FORMAL GUARANTEES

Key Properties of Differential Privacy

Differential privacy provides a mathematical framework for quantifying and bounding the privacy risk incurred by individuals when their data is used in computations. The following properties define its robustness and composability.

01

Sequential Composition

When multiple differentially private mechanisms are applied to the same dataset, the total privacy loss accumulates linearly. If mechanism M1 satisfies ε₁-DP and M2 satisfies ε₂-DP, the combined release satisfies (ε₁ + ε₂)-DP. This property forces privacy engineers to track a cumulative privacy budget across all queries or training epochs, ensuring the total leakage remains bounded.

ε_total = Σ ε_i
Composition Rule
02

Parallel Composition

When differentially private mechanisms operate on disjoint subsets of the data, the overall privacy cost equals the maximum epsilon among the mechanisms, not the sum. If a dataset is partitioned into non-overlapping shards and each is queried with ε-DP, the total release remains ε-DP. This property is critical for scalable federated learning, where user-level privacy is preserved across silos.

ε_total = max(ε_i)
Composition Rule
03

Post-Processing Immunity

Any computation applied to the output of a differentially private mechanism cannot weaken the privacy guarantee. An adversary with arbitrary auxiliary information cannot reverse-engineer the noise or extract additional signal by transforming the result. This property ensures that DP outputs are safe to publish, visualize, or use as features in downstream models without further privacy erosion.

100%
Resilience to Post-Processing
04

Group Privacy

Differential privacy's standard guarantee protects the presence or absence of a single record. When an individual contributes multiple records, the privacy loss scales linearly. A mechanism that is ε-DP for one record becomes kε-DP for an individual with k records. This property forces data curators to bound per-user contributions before applying DP, often through per-user clipping or sampling.

Group Privacy Bound
05

Privacy Budget (ε)

The epsilon (ε) parameter quantifies the privacy loss bound. A smaller epsilon enforces stronger privacy by making the output distribution nearly identical regardless of any single record's inclusion. Typical values range from ε = 0.1 (very strong privacy) to ε = 8 (weaker, higher utility). The budget is consumed across queries and must be tracked by a privacy accountant to prevent exceeding the predefined threshold.

ε < 1
Strong Privacy Regime
ε = 1–10
Practical Utility Range
06

Privacy Amplification by Subsampling

Randomly sampling a subset of data before applying a DP mechanism yields a stronger privacy guarantee than processing the full dataset. A mechanism that is ε-DP on the full batch becomes approximately qε-DP when applied to a sample drawn with probability q. This property is the foundation of DP-SGD, where mini-batch Poisson sampling dramatically reduces the per-step privacy cost during training.

O(qε)
Amplified Bound
DIFFERENTIAL PRIVACY CLARIFIED

Frequently Asked Questions

Clear, technically precise answers to the most common questions about the mathematical framework of differential privacy, its mechanisms, and its application in machine learning.

Differential privacy (DP) is a mathematical framework that provides a provable guarantee of privacy by ensuring the output of a computation is statistically nearly indistinguishable whether or not any single individual's record is included in the input dataset. It works by injecting calibrated noise into the computation's result. The magnitude of this noise is scaled to the sensitivity of the query—the maximum amount a single record can change the output. By adding noise drawn from a specific distribution, such as the Laplace or Gaussian mechanism, an adversary observing the output cannot confidently infer the presence or absence of any specific record. The privacy guarantee is parameterized by epsilon (ε) , the privacy budget, where smaller values enforce stronger privacy by adding more noise, trading off against the utility or accuracy of the result.

Prasad Kumkar

About the author

Prasad Kumkar

CEO & MD, Inference Systems

Prasad Kumkar is the CEO & MD of Inference Systems and writes about AI systems architecture, LLM infrastructure, model serving, evaluation, and production deployment. Over 5+ years, he has worked across computer vision models, L5 autonomous vehicle systems, and LLM research, with a focus on taking complex AI ideas into real-world engineering systems.

His work and writing cover AI systems, large language models, AI agents, multimodal systems, autonomous systems, inference optimization, RAG, evaluation, and production AI engineering.