Elliot Lipnowski's Avatar

Elliot Lipnowski

@elliotlip.bsky.social

To be specific, in the Dawes, Tomes, Mousely, Grubbs Fidelity Fiduciary Bank. http://elliotlipnowski.com/

2,034 Followers  |  384 Following  |  749 Posts  |  Joined: 03.05.2023  |  1.8478

Latest posts by elliotlip.bsky.social on Bluesky

The remaining proofs would surely have been easier to write.

06.12.2025 18:14 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Aren't we all

05.12.2025 16:43 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It's equilibrium existence, so fitting that it's about as popular at the party as a theorist is.

05.12.2025 16:43 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Did you work more on this after first posting?

I think I tried it at the time (working on this paper was what prompted my question), and the flow chart it gave was way sparser than this one (which is pretty great though not complete).

05.12.2025 16:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Incredibly good??

05.12.2025 15:42 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 3    πŸ“Œ 0
Post image

New paper!

elliotlipnowski.com/wp-content/u...

05.12.2025 14:43 β€” πŸ‘ 19    πŸ” 7    πŸ’¬ 1    πŸ“Œ 1
Post image

Please join us on 20/Nov to hear Marina Halac (Yale) present "Agreeing to Implement", a joint work with Elliot Lipnowski and Doron Ravid. Panellists: Matteo Camboni and Sam Kapon.
@elliotlip.bsky.social @doronravid.bsky.social @samkapon.bsky.social

14.11.2025 10:10 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1

I’m sorry to learn your baby isn’t a theorist

30.09.2025 09:28 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

That is good too! But I meant noticing you can replace an argument with a bunch of derivative-taking and epsilon-counting to one where an application of Tarski or Krein-Milman does most of the work.

28.09.2025 11:48 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

#mathsky notation question. We feel totally comfortable with a decoration being a function (e.g., for a number x, let \bar{x}:=x^2). But what about a case/font/format change as a function (e.g., for a number x, let \mathbf{x} denote the constant function on [0,1] taking value x)?

21.09.2025 11:22 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 6    πŸ“Œ 0

Jimmy Kimmel has learned his lesson.

by Susan Collins

18.09.2025 00:58 β€” πŸ‘ 1135    πŸ” 100    πŸ’¬ 29    πŸ“Œ 4

The same mathematical result, not the same result as the sex. Perverts.

17.09.2025 20:55 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Sex is great but have you tried replacing annoying quantitative bookkeeping arguments in a proof with qualitative arguments to get the same result??

17.09.2025 20:54 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 3    πŸ“Œ 0

I think there’s still an opportunity for price discrimination since the thing you’re screening on is how much time people are happy to spend on consuming the same content. And extra steps take timeβ€”so it’s similar to coupon clipping as price discrimination.

13.09.2025 15:42 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

My reasoning: the marginal cost is negligible relative to revenue, so it's a demand question. I think charging more to listen double-speed is effective price discrimination, since I would guess the people that want the fast version are less price-elastic.

13.09.2025 11:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This could be an argument for fairness of the "=rp" answer.

12.09.2025 23:43 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Your way of phrasing is way better: if I listen to a book at double speed, should Spotify want to charge me more (>rp), less (<rp), or the same (=rp) as if I listen at regular speed?

12.09.2025 23:14 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I think I disagree, but I’m curious about your reasoning.

12.09.2025 22:50 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Thank you!

12.09.2025 21:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Fun micro #econsky problem set question: If p is the price Spotify charges for unit-speed listening (replacing a budget with a price for simplicity) and r>1, should they price r-speed listening =rp, >rp, or <rp?

12.09.2025 21:23 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Spotify account gives a budget of audiobook hours before needing to pay for more hours, but if you listen to a 10-hour book at double-speed (so 5 listening hours), it counts as 10 hours of your budget. So they price r-speed listening at exactly r times that of unit-speed listening.

12.09.2025 21:23 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wednesday Addams is fashionable af

06.09.2025 22:50 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Boat question.

15.08.2025 15:55 β€” πŸ‘ 408    πŸ” 58    πŸ’¬ 4    πŸ“Œ 5

Schumer, Jeffries propose strongly-worded letter to counter RFK Jr.'s purge at the CDC.

29.08.2025 03:14 β€” πŸ‘ 901    πŸ” 79    πŸ’¬ 46    πŸ“Œ 12

I was under the impression these were called "siblings"

28.08.2025 19:37 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I didn’t know this!

14.08.2025 02:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I should check!

14.08.2025 01:59 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

A kind of mechanical approach modifies Hart and Schmeidler's program to check, for every product set B of action profiles, whether some strict CE has marginal supports B_i. Then A^S is the largest B that passes the test (or empty if nothing does).

But there must be something more interpretable!

13.08.2025 13:44 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

1) The set CE^S is convex.
2) There's a product set A^S of action profiles such that (i) CE^S is contained in Ξ”(A^S), and (ii) if CE^S is nonempty, then something in CE^S has support A^S.
3) The closure of CE^S is just the intersection of CE and Ξ”(A^S).

So it all comes down to what A^S is.

13.08.2025 13:44 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Has anybody developed the theory of STRICT correlated equilibria of a finite game?

#econsky #mathsky #ECsky #TCSsky

I was playing around with it a bit, and here are some things that are easy to show about the set CE^S of strict correlated equilibrium distributions.

13.08.2025 13:44 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

@elliotlip is following 20 prominent accounts