Research / Method explorer
← Live workflow
THE IDEA, MADE VISIBLE

Inside
MFG-RegretNet.

Turn private preferences into coordinated contributions. Explore how population context, neural contracts, and incentive constraints work together.

Explore the method ↓
⌘Learned mechanismAllocation + Payment
b₁ … bₙPrivate preferences
mNPopulation context
ε, pFeasible offers
Two connected ideas

A mean-field game studies how clients respond to a fixed mechanism. MFG-RegretNet learns the mechanism itself through allocation, payment, and regret penalties. These are different optimization loops.

01
BUILD THE POPULATION CONTEXT

Many reports. A compact view of the market.

Each client has a private cost and a privacy capacity. Their reports form an empirical population; a feature mean supplies context to the network.

INTERACTIVE · SYNTHETIC REPORTSMove one report. Watch the population change.
Individual reports100 clients
One client changes its report
Reported cost distributionAll N reports
Low costHigh cost
μNb = (1/N) ∑ δbⱼ
MEAN COST COORDINATE—
Δm = —
mN = (1/N) ∑ φ(bj)
0 · Unchanged+3 credits / ε
↳

Population influence shrinks with N. This coordinate changes by Δb/N. The same report can still directly change its own allocation and payment; small population influence alone does not imply small regret.

State distribution, report distribution, and network input

The game models a type/state law μs. A reporting policy π maps those types into reports, producing a report law μb and features m = E[φ(b)]. The deployed AHN retains the full bid profile and a repeated mean-bid vector, together with B. The mean is additional context, not a proven sufficient statistic. This teaching example varies just the cost coordinate.

02
CONSTRUCT THE GAME

An equilibrium has to agree with itself.

Hold the mechanism fixed. Clients choose their best reports for a given population. Those choices must reproduce the population used to make them.

mGuess the populationA field clients respond to
→
arg maxFind best responsesπ(s) maximizes uθ(s, a, m)
→
E[φ]Rebuild the populationFrom the induced client choices
↶ Repeat until best responses and population consistency agree
NUMERICAL TOY · THREE CLIENT TYPESReady to iterate

Make the feedback loop move.

Three equally likely types prefer an action near their type plus a population effect. Increasing λ makes that feedback stronger.

s ∈ {0.2, 0.4, 0.6}, a ∈ [0, 1]u(s, a, m) = −[a − (s + λm)]²BR(s, m) = clip(s + λm, 0, 1)
0 · Independent0.6 · Stronger feedback

Each step best-responds, then moves the field 60% toward the mean response. For this toy, λ < 1 makes the map a contraction.

Population agreementIteration 0
Population field and mean response across iterationsCurves are computed from the displayed three-type toy game.
Current field mMean actionFixed point
Best-response gap—Remaining utility gain
Consistency residual—|mean action − m|
↳

Nash means no profitable unilateral change. A mean-field equilibrium combines optimal responses with population consistency. Transferring it to a finite network also needs sampling and representation error control. Equilibrium reports need not be truthful.

Where HJB, Fokker–Planck, and the neural network fit

The theoretical game

HJB describes an individual's value and optimal response given the population; Fokker–Planck describes the evolving state law. Their consistency defines a dynamic MFE. Under the manuscript's R5 assumption, type dynamics are exogenous, so a bid does not control that state evolution and the response reduces to one-round utility maximization.

The deployed mechanism

MFG-RegretNet learns allocation and payment from bids and context. It does not numerically solve the HJB–FP system. The interactive quadratic-utility game above is a separate, explicitly defined example of fixed-point reasoning, not a paper experiment or the proposed auction.

03
LEARN THE CONTRACT MAPPING

One input. Two learned decisions.

The network decides how much privacy to procure and how much to offer. A budget projection constrains the total proposed payment for every input.

MFG-REGRETNET · SINGLE PRIVACY ITEMOne forward pass at deployment
NORMALIZED INPUT
Full bid profile b₁ … bN
Repeated mean bid mN
Financial budget B
Allocation encoderTanh MLP
→
Per-client softmaxzi = σ(hi1 − hi0)Includes an abstain output
→
ALLOCATE PRIVACYεi = zi ε̂i
Payment encoderSeparate tanh MLP
→
Sigmoid paymentpi = B σ(hi)Then project to the budget
→
OFFER PAYMENT∑ p̄i ≤ B
Budget projectionp̄ᵢ = pᵢ / max(1, Σⱼpⱼ / B)Preserves nonnegative payments and caps their sum.
OFFLINE TRAINING

Teach the mechanism to resist misreports.

↳

Optimize utility differences, not a bid-dependent critic. Strong deviation search exposes profitable reports. The largest gain found is a lower bound on true regret; a formal upper bound needs a valid certificate and independent evaluation.

04
MAKE PARTICIPATION WORTHWHILE

Compensation meets a local decision.

A participant weighs the offered payment against its true privacy cost. It releases an update only if the offer also passes its capacity and cumulative-ledger checks.

INTERACTIVE · ONE SYNTHETIC CLIENTLinear cost model: c(ε) = vε
True capacity 0.80Already used 0.40Cumulative cap 1.00
Payment
Privacy cost
Offer surplus · p − vε
    ↳

    Participation and truthfulness are separate. Nonnegative realized utility supports voluntary participation. Regret control addresses whether a different report could earn more. Refusal alone does not establish incentive compatibility.

    05
    ALLOCATE UNDER CONSTRAINTS

    What should an “optimal” allocation optimize?

    More privacy can reduce noise, but unequal contributions can distort the aggregate. A finite teaching example makes this trade-off visible under a fixed financial budget.

    EXACT GRID SEARCH · KNOWN SYNTHETIC COSTS125 candidate allocations

    Balance representation and noise.

    MINIMIZE A P2 DEVELOPMENT SURROGATEJκ = κ‖α − π‖² + |I| / S²S = ∑ εi   ·   αi = εi / S
    1 credit6 credits
    0 · Noise only20 · More balance

    Each ε is in {0, 0.25, 0.5, 0.75, 1}. Costs are [1, 2, 3]; target data shares π are [0.5, 0.3, 0.2]. The budget pays known cost ∑viεi.

    Best feasible grid allocation
    Total privacy S
    Cost / budget
    Active clients |I|
    Best grid Jκ
    Equal-allocation grid Jκ
    Mismatch term Noise term

    ↳

    Optimal here means best among the displayed grid candidates. The real procurement goal is FL utility subject to incentives, participation, budget, and privacy. This known-cost oracle isolates allocation; it does not implement truthful payments or measure model accuracy.

    How this relates to the learned objective

    The manuscript's evaluated neural configuration uses a purchased-privacy surrogate with regret and participation penalties. Jκ above comes from the P2 objective development and separates weight mismatch from the noise contribution. A learned network only approximates its chosen training objective; lower surrogate loss alone does not establish globally optimal FL accuracy or superiority to a baseline. Zero procurement has infinite objective in this example.

    PUT THE PIECES TOGETHER

    From a private bid to a shared detector.

    Collect reports → form population context → infer allocations and payments → validate locally → train and release → aggregate and settle.

    Explore the baselines ↗