Wine/water mixing problem¶

A conservation puzzle showing that after equal-volume containers exchange material and return to equal volume, the amount of wine in the water container equals the amount of water in the wine container, regardless of stirring or transfer size.

Version: v1 · 2026-09-28 · History
Domain-specific #: 12895
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Recreational Mathematics, Conservation Puzzles → Mathematics

Core Idea¶

The wine/water mixing problem asks which of two mixtures is purer after wine is transferred into an equal volume of water and an equal cup of the resulting mixture is returned. The answer is that each container has the same amount of the other component.

The result is a conservation identity, not a consequence of thorough stirring. If the wine container finishes with x units of water, it has lost x units of wine relative to its fixed final volume; that missing wine must be in the other container. Cup size, number of exchanges, and returned composition alter the path but not the terminal balance.

The familiar marble model replaces fluid with red and white counters, making the complement relation visible. The physical wine–water example idealizes additive volume; real alcohol and water can contract on mixing, so the puzzle's conclusion concerns the stated accounting model.

Structural Signature¶

Sig role-phrases:

two conserved components. Tracks wine and water separately through all transfers. Constitutive inventory. If altered: Creation, loss, or reaction of a component breaks the equality argument.
equal initial totals. Starts the two containers with matched volume and pure components. Constitutive setup. If altered: Unequal baselines require a modified balance.
arbitrary exchanges. Moves any quantity or mixture between the containers. Permitted transformation. If altered: The exact path is intentionally irrelevant to the invariant.
equal final container volumes. Closes the balance after the exchanges. Identity-bearing terminal constraint. If altered: Without equal final totals, cross-contamination need not match.
additive-volume assumption. Lets component volumes sum without contraction or reaction. Necessary model boundary. If altered: Real alcohol–water contraction violates the literal volume idealization.

What It Is Not¶

Not equal concentration. Equal cross-contaminant amounts need not mean identical compositions under other setups.
Not dependent on stirring. The invariant uses totals, not homogeneity.
Not one numerical cup. Any exchange path satisfying the terminal constraint works.
Not exact real-fluid volume physics. Alcohol–water mixing can be nonadditive.

Scope of Application¶

Use the puzzle to teach invariants and conservation when components remain countable or additive and equal final totals are restored.

Mathematical recreation. Demonstrates a result without detailed calculation.
Conservation reasoning. Tracks missing and displaced components.
Invariant teaching. Separates path from endpoint constraint.
Discrete modeling. Uses colored counters instead of liquid.
Model criticism. Identifies nonadditive-volume limits.

Clarity¶

The equality concerns amounts of opposite contaminant: wine in the water container and water in the wine container. It does not require knowing either amount. The terminal equal-volume condition makes one deficit exactly the other container's surplus.

Manages Complexity¶

Potentially many transfers, partial mixing states, and cup compositions collapse to a two-component balance. This is legitimate compression because conservation and final totals make the history irrelevant; if either condition fails, history can matter again.

Abstract Reasoning¶

Define component totals separately from container totals.
Record the equal initial pure allocation.
Ignore intermediate composition while preserving every transfer in the global inventory.
Use the equal final container volumes to express one component's deficit.
Test physical departures such as loss, reaction, or nonadditive volume.

Knowledge Transfer¶

The invariant transfers to colored counters, solutes, tokens, or any two conserved additive component types. It stops when items are created, destroyed, transformed, or measured by a nonadditive quantity. The wine story is illustrative; the cargo is reciprocal displacement under equal terminal capacity.

Examples¶

Canonical¶

One cup moves from wine to water and one cup of any resulting mixture returns. If the wine barrel contains x cup of water at the end, its fixed volume is missing x cup of wine, which must be in the water barrel.

Mapped back: two conserved components → wine and water; equal initial totals → equal pure barrel volumes; arbitrary exchanges → out-and-back cups; equal final container volumes → one cup returned; additive-volume assumption → idealized component volumes.

Applied / In Practice¶

With 100 red and 100 white marbles, 25 red move to the white box and any 25 marbles return. If x white marbles finish in the red box, conservation forces x red marbles into the white box.

Mapped back: two conserved components → red and white marbles; equal initial totals → 100 of each; arbitrary exchanges → 25 out and 25 back; equal final container volumes → 100 marbles per box; additive-volume assumption → discrete counting.

Structural Tensions¶

T1: path detail vs. endpoint invariant. Intermediate mixtures look complicated although the terminal balance ignores them. Diagnostic: Which facts survive every allowed exchange?

T2: intuitive purity vs. component amount. Visual dilution invites guesses that conservation corrects. Diagnostic: Which exact quantity is being compared?

T3: ideal model vs. physical mixture. Additive accounting teaches the invariant while real fluids can contract. Diagnostic: Does the measurement obey the assumed conservation law?

Structural–Framed Character¶

The wine/water problem is structural: its answer follows from conservation and equal terminal capacity, while the beverage story is replaceable. It is non-evaluative and highly transferable under additive accounting. Its character: a reciprocal-displacement invariant disguised as a mixing puzzle.

Structural Core vs. Domain Accent¶

Skeletal core. Two conserved types exchange between equal-capacity containers, so each type's displacement equals the other's intrusion at the restored endpoint.

Domain-bound accent. Wine, water, cups, stirring, and volume provide the recreational presentation and physical caveat.

Why not prime. The conservation skeleton is broadly portable and a future-prime candidate, but the entry denotes one canonical puzzle and its assumptions.

This entry under conditions is a kind of Logic Puzzle.

Conservation. Global component totals remain fixed.
Invariant. Cross-contamination equality survives arbitrary allowed transfer paths.
No strict parent is asserted in the current root placement.

Relationships to Other Abstractions¶

Current abstraction Wine/water mixing problem Domain-specific

Parents (1) — more general patterns this builds on

Wine/water mixing problem is a kind of, conditional Logic Puzzle Domain-specific

Supported as a conservation-based logic puzzle when presented as a constrained reasoning problem rather than merely a worked quantitative example.

Condition / exception Supported as a conservation-based logic puzzle when presented as a constrained reasoning problem rather than merely a worked quantitative example.

Hierarchy path (1) — routes to 1 parentless root

Wine/water mixing problem → Logic Puzzle

Neighborhood in Abstraction Space¶

Wine/water mixing problem sits in a sparse region of the domain-specific corpus (61^st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Domain-Specific Measurement Parameters (36 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Dilution. Tell: Are concentrations being computed without restoring equal totals?
Equal mixtures. Tell: Are whole compositions equal or only cross-component amounts?
Detailed balance. Tell: Is a stochastic transition symmetry being claimed?
Nonadditive mixing. Tell: Does the physical quantity contract or react on combination?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Wine/water_mixing_problem (revision 1364136981).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.