sized bounded int split sum constructor

Make a Transformation that computes the sum of bounded ints with known dataset size.

Usage

make_sized_bounded_int_split_sum(size, bounds, .T = NULL)

Arguments

size

Number of records in input data.

bounds

Tuple of lower and upper bounds for data in the input domain.

.T

Atomic Input Type and Output Type

Value

Transformation

Details

This uses a restricted-sensitivity proof that takes advantage of known dataset size for better utility. Adds the saturating sum of the positives to the saturating sum of the negatives.

make_sized_bounded_int_split_sum in Rust documentation.

Citations:

• CSVW22 Widespread Underestimation of Sensitivity...

• DMNS06 Calibrating Noise to Sensitivity in Private Data Analysis

Supporting Elements:

• Input Domain: VectorDomain<AtomDomain<T>>

• Output Domain: AtomDomain<T>

• Input Metric: SymmetricDistance

• Output Metric: AbsoluteDistance<T>