Hi, niplav!  You might be wondering, "what's this about?", and you would be right.

You see, I was going to write this to you on Schelling.pt (⛯) in response to our chat about lie-detection and the future of human civilization, but instead I am writing it here.  I also considered writing it as an email, and I really liked that idea.  But I changed my mind about that too.  "Nah", I said.  "I'll write it here instead."

Postscript

In the context of trying to make society more honest, I wonder to what extent clever truthfwl mechanisms (re mechanism design) could be important for facilitating the civilizational adoption of / managing the transition to brain-scanning credibility-tech.

What I actually should have written in that sentence is:  "I have some maybe-interesting maybe-important things which I felt inspired to say to you, but I don't have a smooth-simple way to make them seem coherently relevant, so I'll just say the things."  But instead I tried really hard to find a sentence which would justify why I was talking about the things in the first place, especially since I now decided to write it on LessWrong!

Tangentially relevant background preposterous claims which I will not be defending here:

The magic shop in the middle of everywhere: cheap spells against egregores, ungods, akrasia, and you-know-whos!

Anyway, Vickrey auctions feels to me like an almost magical solvent for many societal problems.  It's got more practical applications than assurance contracts, and I'm already excited about those.  So I asked Sonnet whether there were more patterns like that where it came from:

👀

Idk what those things are yet, but I smell structure within which I intuit a kernel with which I can generate many such solutions to the problems I care about.  If the textbook offers a variety of applications for which there are proofs, the real-life applicability of the kernel likely expands beyond that (once adequately grokked).  I suspect I may already be unhappily familiar with problem(s) "Strategyproof Task Scheduling" aims to solve.

The meta-pattern is:  If a game has a Nash equilibrium for deceptive strategies, it is sometimes/often feasible to change the game rules/mechanics such that the deception is an automated baked-in part of the game.  This can be be win-win-win if eg the baked-in "deception" is now symmetric so you avoid deadweight losses or smth.  At the very least, it means I no longer gain anything from doing epistem/-ic/-ological warfare on you.

Like in first-price auctions, I have an incentive to bid just above the second-highest bid, even if I value the item much more than that.  And I want to act as if I value the item less than I do, so that you think you can get away with bidding much less than your true value, so that I can get away with bidding just above whatever you think is just above what I'm bidding.

Thus Vickrey spake:  Just short-circuit that whole Death Note drama by declaring that the highest bidder only has to pay the second-highest bid.  (The general move here is something like: infer the limit of what deception can provide the players, and declare that as the automatic outcome of the game.)

This spell has Nice Properties 🪄 ✨

1. I don't have to worry about "overpaying" relative to the competition, so I can just bid my true value (ie indifference price) for the item.
2. The trade is surplus utility for me, despite having revealed my indifference price.  In fact, it gives me the maximum surplus/rent I could have got, assuming the counterfactual is a first-price auction with the same bids.
   1. (Granted, the bids would not stay the same if it were a first-price auction, so this is an unsafe simplification.)
3. The trade is also surplus utility for the seller, as long as the auction starting price is their indifference price.
   1. Though they don't net as much as they could have from a first-price auction (assuming same bids).
      1. This is usually fine and good, however, because most things sold are sold by richer people.  And rich people usually have lower marginal utility on money, so mechanisms that favor the buyer (still within bounds of what's positive sum) are usually higher net utility.
         1. (Unfortunately, the rules of the game are usually also set by richer people, so Vickrey-ideal markets are rare in the wild.)

Interestingly, in Vickrey, the bids have to be sealed in order for it to work.  The incomplete information people have about each others' bids is now causing the incentive to reveal true preferences, whereas before it was making people want to hide them.

Mechanisms for progressive redistribution is good because money-inequality is bad

In games/markets where it's the sellers who tend to be poorer (eg in employment), we may instead want mechanisms slightly biased in favor of seller-surplus.  The more general heuristic here is just to aim for progressive redistribution of money, so that when people spend their comparative advantages on what's profitable of them, then that happens to allocate them where they generate the most utility for others too.

Money-inequality breaks the symmetry (dilutes the signal) between [willingness-to-trade] & [surplus utility from trade], so movement in the direction of equality is a step toward making money more incentive-compatible with altruism.

And with extreme inequality (viz the current state of the world), voluntary exchange of money can be a minor catastrophe.

To see this, consider a limiting-case utopian economy where everybody has ~equal money, and financial incentives drive all of them to allocate their work-hours to where people are happiest to receive them.

Now I fly in from space with a bajillion money in their currency, and I just really have a craving for an extravagant pyramid that day.  To my surprise, people seem really interested in this green paper stuff I've incidentally got dusting in my luggage.  So I strike a deal:  they build me a pyramid, and I give them the papers.  Seems unambiguously like a win-win, no?

Only if we ignore opportunity costs.  It may indeed be positive-sum for the thousands of workers I employed, but in the world where they didn't spend their time digging dirt, they would have spent that time doing things which were much higher utility for thousands of other people.  I'm the only rich person around they can waste their work-hours on, so they couldn't possibly have spent their time any worse if they traded with others.

(reminder: I find it easier (and epistemologically healthier) to write to specific people instead of a general crowd.)

Aborted draft response to Robin re combining assurance contracts with lie-detection

I was going to reply to Robin re this tweet, but I have a new workflow that drastically reduces the number of tasks I'm able to complete, and grew too ambitious wrt what I wanted to explain, so I thought it'd be better to at least give you my draft instead of archiving this task permanently.

Anecdote about what makes me honest while nobody's looking

Personally, probably the biggest part of what keeps me aligned with my stated values/intentions while nobody's looking (aka "out-of-distribution"), is that I want to be able to truthfwly say—while people are looking (aka "in-distribution")—that I've been consistent with my stated values while nobody was looking.

When I consider cheating some rule I know nobody can check, I think to myself "but then I'll lose the ability to honestly claim that I haven't cheated, and I really cherish the simplicity and feeling-of-righteousness of that… or smth." ¹

The point is:  *You don't need to constantly wear a lie-detector in order to constantly incentivize honest behavior.*  Your ability to make believed-or-unbelieved sentences that reference your past, enables incentives from probable-future lie-detection to touch many more contexts than they're explicitly used in.  See [spot-checking]() & [indirect reciprocity]().

Premises

assurance contracts aim at solving the assurance problem

Note to prevent misunderstanding:  "Lie detection" does not necessarily mean "let's catch the bad guys!", and I'm much more interested in the aspect of "I can voluntarily use this to utter credible statements!"

To get my perspective, you need at least two premises:

1. Coordination problems, pluralistic ignorance (common-knowledge-bottleneck), Keynesian culture bubbles ("beauty contests") are civilizational-scale problems with the possibility of technical solutions.
   1. Importance is high because even if AI-alignment gets "solved" (in the sense of corrigibility), that may not obviate the need for human thinking on the above problems now.  By then it might be too late, because AI-proliferation & speed builds up dependency-debt much faster, and refactoring the system becomes intractable after that.
2. "Assurance democracy" (a strategy for civilizational organization inspired by assurance contracts, but not adequately summed up by saying "just use assurance contracts!") may solve most of the above problems, if only people could be assured that the contracts they sign with others are actually upheld.
3. Lie-detection solves the problem that bottlenecks assurance contracts from solving the aforementioned problems.

Assurance contract fictional example

By "assurance contract", I'm trying refer to something like the example below.  Lie-detection make contracts like these feasible and cheap to verify.

☐ I will begin doing X at time Tₓ if at least N others from group G sign this contract before expiration date Tₖ.

☐ I agree to have my ongoing compliance randomly spot-checked with a registered Veracity™-device at least once a year, and I will pay a $Y fine if I fail to report that I'm complying.

(All signees are required to have their intentions confirmed using a verified Veracity™ during signup.)

(Sunset: 5 years at a time.)

In an "assurance democracy", anybody can define the parameters of their contracts as they wish, and people can self-organize into whatever laws they want.

Evil dictators win by preventing population from organizing against them;  a central platform for cheaply generating common-knowledge-assurance and atomic-commit coordinated action against them prevents this.  (not optimizing sentences atm...)

Another fictional example from a time I wanted to organize a coworking event on EAGT (except I never actually launched this, so the numbers are fictional):

Assurance contracts against pluralistic ignorance (Keynesian culture-bubbles)

Lie-detection + assurance contracts give ppl is the ability to cheaply generate common knowledge.  Required for coordinating on stuff, ∀stuff.

public goods bottlenecks

Pop bubbles of pluralistic ignorance (aka Keynesian culture-bubbles (wherein everyone knows everyone's pretending, but still enforce the norm bc failure-to-pretend is enforced against-‒"and merry-around we go!") (see also "simulacrum levels").

[Smart and Clever thoughts on indirect reciprocity and plausible deniability should go here;  but if I just mention words like that, I may activate concepts in your head that could generate the relevant patterns.]

(Not super-relevant to saving the world, but just really neat: assurance contracts allow you to refactor language with atomic-commit pre-agreed-upon updates.)

Assurance democracy obviates the need for VCG, because the "truthfwl mechanism" is just a device you can strap on

I've been calling this sort of stuff an "assurance democracy", but please find a better name for it.  Consider it an alternative or supplement to futarchy if you will.

Re fertility & assurance democracy

And wrt to Robin's last question "How for example would they increase fertility?", I don't really have detailed thoughts, and didn't think it was priority to generate them on-the-spot.

My hope is that we can globally coordinate (via assurance) to regulate fertility (aka self-copying), and commit to disincentivize defectors, because that seems the obvious choice once you have the ability to globally coordinate on anything.  If a ceiling is assured, cultures don't have to sacrifice values in the competition to be the most self-copying.

The meta-pattern is:  If a game has a Nash equilibrium for deceptive strategies, it is sometimes/often feasible to change the game rules/mechanics such that the deception is an automated baked-in part of the game.  This can be be win-win-win if eg the baked-in "deception" is now symmetric so you avoid deadweight losses or smth.  At the very least, it means I no longer gain anything from doing epistem/-ic/-ological warfare on you.

Yep, your intuition is completely correct! In mechanism design this is called the revelation principle.

Interestingly, in Vickrey, the bids have to be sealed in order for it to work. The incomplete information people have about each others' bids is now causing the incentive to reveal true preferences, whereas before it was making people want to hide them.

On my last meditation retreat I spent a while thinking about this in the context of *salary negotiations*. Current SOTA of salary negotiations appears to me to be highly suboptimal, favoring disagreeableness, deception, time-wasting &c.

I want to add this to https://niplav.site/services.html as a new pricing scheme, but the short version is very similar to a sealed-bid auction, but symmetric in this case:

The buyer pre-registers (e.g. via hashsum) their maximum willingness-to-pay $p_b$, the seller pre-registers their mimimum willingness-to-be-paid $p_s$. If $p_b>p_s$, the deal takes place, the actual price is $p_b+(p_b-p_s)/2$ (i.e. splitting the difference). If $p_b<p_s$, no deal takes place.

This is fun because the numbers can be negative, and it allows for price discrimination, the best kind of discrimination.

Now I fly in from space with a bajillion money in their currency, and I just really have a craving for an extravagant pyramid that day.  To my surprise, people seem really interested in this green paper stuff I've incidentally got dusting in my luggage.  So I strike a deal:  they build me a pyramid, and I give them the papers.
Seems unambiguously like a win-win, no?

Hah, I've defended this as a bad thing in other (real-life) discussions as "it's better if billionaires buy old paintings as opposed to yachts". Never considered it as an argument against wealth-inequality, but it's a good one.

My inner libertarian speaks out: "Why don't all the other people ignore the bajillion green papers in the luggage and instead shift to an equilibrium with the new currency? After all, *they have all the labor-power*."

I think redistribution is good, probably even above a citizen's dividend from LVT, but I want to keep redistribution out of mechanisms—it's a cleaner and more modular design, so that we don't have to futz with our complicated mechanisms when adjusting the redistribution parameers.

The point is:  *You don't need to constantly wear a lie-detector in order to constantly incentivize honest behavior.*  Your ability to make believed-or-unbelieved sentences that reference your past, enables incentives from probable-future lie-detection to touch many more contexts than they're explicitly used in.  See [spot-checking]() & [indirect reciprocity]().

One thing that makes me a bit less optimistic about lie detectors than you is that I think that most/~all? people don't have internal representations of over-time-stable beliefs about the world (or, god forbid, their own actions—see procrastination paradoxes).
(Predictions about your own actions will kind of diagonalize against your actions, which is why we need a formalization of Steam at some point.)

I think that it'll work well in contexts where the commitment is short-term, and relatively small-scale, and something the lie-detectee has experience with.

I don't think I understand your premises, but they seem fascinating. Will ponder.

…
…
…

Ah, I think now I get it! Lie detection allows for credible commitments of the
form "I will uphold this assurance contract, even if the respective infrastructure is unstable/under coalitional attack". Is that right?

I think there's (there was?) people working on a dominant-assurance contract website(s). I wonder what happened with those.

Plausible deniability indeed invokes ~*~concepts~*~ in my head, it's the kind of thing that for me is always at the boundary of formalizability. Slippery bastard :-)

(Not super-relevant to saving the world, but just really neat: assurance contracts allow you to refactor language with atomic-commit pre-agreed-upon updates.)

…what? I don't understand this ^^

> I've been calling this sort of stuff an "assurance democracy", but please find a better name for it.  Consider it an alternative or supplement to futarchy if you will.

I don't know whether I'm misunderstanding here, but with a setup like "In an
"assurance democracy", anybody can define the parameters of their contracts as they wish, and people can self-organize into whatever laws they want", doesn't one get major problems with negotiations between incompatible/conflicting assurance contracts? Similar how in polycentric law all legal systems need to negotiate between each other, requiring $O\left(n²\right)$ negotiations, as opposed to 0 in a centralized system.

And wrt to Robin's last question "How for example would they increase fertility?", I don't really have detailed thoughts, and didn't think it was priority to generate them on-the-spot.

My shoulder-Robin answers as a response to your post: "We can, if polycentric assurance democracy works out, have a mechanism for generating and then perpetuating many different cultures with different norms. If these cultures respect each others' boundaries (unlike it is the case today), these many cultures can then compete with each other as for how appealing they are to people, and also at how good they are at producing more humans. The problem is whether children can be grandfathered into an assurance contract—if they can, then a culture can remain stable and perpetuate itself and its fertility norms, if they *can't*, then we have the same problem as in the current world, where low-fertility cultures are more appealing and offspring of high-fertility cultures move over to low-fertility cultures/assurance-contract-clusters."