collaborators

10 papers

econ.TH2026

Rational Learning One Step Off the Path

Zihao Li, Minghao Pan

We study how endogenous learning shapes beliefs and strategies in extensive-form games. We adopt the overlapping-generations model of \citet{FL1993}, in which finitely lived Bayesi…

cs.GT2026

Competing Auctions in Intermediated Markets

Bruno Mazorra, Minghao Pan, Christoph Schlegel

We analyze competing auctions in intermediated markets, where a seller selects among parallel mechanisms for the sale of a single good, most prominently the relay-and-protocol arch…

math.PR2026

Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree

Chenyang An, Minghao Pan

We derive the sharp return-probability asymptotic for the switch--walk--switch lamplighter walk with lamp group over the infinite -regular tree: \[ p_{2n}(e,e) = ρ…

cs.AI2026

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

Chenyang An, Qihao Ye, Minghao Pan +1

We present QED, an open-source multi-agent system that turns human-provided research questions into complete mathematical proofs without further human guidance. Its pipeline is des…

cs.CR2026

Decentralized Equilibrium for Bitcoin Mining

Manuel Mueller-Frank, Minghao Pan, Omer Tamuz

Cryptocurrencies such as Bitcoin are defined by protocols that specify how participants record transactions and create new currency units. These protocols are not enforced by law o…

math.PR2024

Dimension jump at the uniqueness threshold for percolation in dimensions

Tom Hutchcroft, Minghao Pan

Consider percolation on , the product of a regular tree of degree with the hypercubic lattice . It is known that this graph has $0<p_c…

econ.TH2024

Network and timing effects in social learning

Wade Hann-Caruthers, Minghao Pan, Omer Tamuz

We consider a group of agents who can each take an irreversible costly action whose payoff depends on an unknown state. Agents learn about the state from private signals, as well a…

math.GR2024

Infinite stationary measures of co-compact group actions

Mohammedsaid Alhalimi, Tom Hutchcroft, Minghao Pan +2

Let be a finitely generated group, and let be a nondegenerate, finitely supported probability measure on . We show that every co-compact action on a locally compact…

math.PR2024

Percolation at the uniqueness threshold via subgroup relativization

Tom Hutchcroft, Minghao Pan

We study percolation on nonamenable groups at the uniqueness threshold , the critical value that separates the phase in which there are infinitely many infinite clusters from…

cs.GT2024

On Sybil-proof Mechanisms

Minghao Pan, Bruno Mazorra, Christoph Schlegel +1

We show that in the single-parameter mechanism design environment, the only non-wasteful, symmetric, incentive compatible and Sybil-proof direct mechanism is a second price auction…