Open Research Index

871 records

  1. Monderer–Shapley Exact-Potential Characterization

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 4, 2026econ.THmachine-checkedscore 0

  2. Quantum Pauli basis test

    Ruixuan Deng

    Palomar RegistryOct 4, 2026quant-phmachine-checkedscore 0

  3. Identifying the rooted species tree from unrooted gene trees under the coalescent

    The-Anh Vu-Le

    Palomar RegistryOct 4, 2026q-bio.PEmachine-checkedscore 0

  4. Gallai's conjecture with two exceptional even vertices

    Idris Ali Shaik

    Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0

  5. Effective approximation and low-intensity flatness of RAF critical-window profiles

    Michael Mislan

    Palomar RegistryOct 4, 2026math.PRmachine-checkedscore 0

  6. Erdős 956: unit distances between disjoint convex translates

    Linmiao Xu

    Palomar RegistryOct 4, 2026math.MGmachine-checkedscore 0

  7. Erdős 546: sparse graph Ramsey numbers

    Linmiao Xu

    Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0

  8. Fundamental Groups of Arbitrary Two-Cell Attachments

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 4, 2026math.ATmachine-checkedscore 0

  9. Continuity of solutions to abstract linear control systems

    Frédéric Marbach

    Palomar RegistryOct 3, 2026math.OCmachine-checkedscore 0

  10. Continuous binary implementation congruence and sharp finite welfare frontier

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 3, 2026cs.GTmachine-checkedscore 0

  11. The hitting time for loose Hamilton cycles in r-graphs

    Jared León

    Palomar RegistryOct 3, 2026math.COmachine-checkedscore 0

  12. Regularity of asymptotically axisymmetric Navier–Stokes solutions with analytic forcing

    Scott Armstrong, Vlad Vicol

    Palomar RegistryOct 3, 2026math.APmachine-checkedscore 0

  13. Optimal Information and Concavification in Bayesian Persuasion

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0

  14. Escauriaza–Seregin–Šverák and Ladyzhenskaya–Prodi–Serrin regularity

    Scott Armstrong

    Palomar RegistryOct 3, 2026math.APmachine-checkedscore 0

  15. Milgrom–Shannon's Monotonicity Theorem: the Full Characterization

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0

  16. Falmagne–Block–Marschak Random-Utility Characterization

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0

  17. On Graham's rearrangement conjecture (Pham–Sauermann)

    The-Anh Vu-Le

    Palomar RegistryOct 2, 2026math.COmachine-checkedscore 0

  18. Optimal packings of one to seven unit squares in a disk

    The-Anh Vu-Le

    Palomar RegistryOct 2, 2026math.MGmachine-checkedscore 0

  19. Cremer-McLean Full Surplus Extraction Theorem

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 2, 2026econ.THmachine-checkedscore 0

  20. The Herzog–Schönheim conjecture for solvable groups

    Murali Menon

    Palomar RegistryOct 2, 2026math.GRmachine-checkedscore 0

  21. maskin-nash-implementation-lean

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 2, 2026cs.GTmachine-checkedscore 0

  22. agv-mechanism-lean

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 2, 2026cs.GTmachine-checkedscore 0

  23. Finite Bayes Correlated Equilibrium, Information Expansions and Information Order

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 2, 2026econ.THmachine-checkedscore 0

  24. Anomalous diffusion by fractal homogenization

    Scott Armstrong, Vlad Vicol

    Palomar RegistryOct 2, 2026math.APmachine-checkedscore 0

  25. Finite Bayesian-to-Dominant-Strategy Equivalence

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 2, 2026econ.THmachine-checkedscore 0

  26. Critical-window emergence of autocatalytic sets under reaction-channel quotienting

    Michael Mislan

    Palomar RegistryOct 2, 2026math.PRmachine-checkedscore 0

  27. NP-completeness of SAT, 3-SAT and their variants (the Cook–Levin theorem) in Lean 4

    Robert D. Barish

    Palomar RegistryOct 2, 2026cs.CCmachine-checkedscore 0

  28. Pascal Cofactors

    John Fairfax-Ball

    Palomar RegistryOct 2, 2026math.NTmachine-checkedscore 0

  29. Centred maximal constants for cubes and Euclidean balls

    Yongxi Lin

    Palomar RegistryOct 1, 2026math.CAmachine-checkedscore 0

  30. Absence of bounded-orbit wandering domains

    Nikolai Prochorov, Lasse Rempe, James Waterman

    Palomar RegistryOct 1, 2026math.DSmachine-checkedscore 0

  31. A two-reaction counterexample to the gross-amplification affinity bound

    Michael Mislan

    Palomar RegistryOct 1, 2026q-bio.MNmachine-checkedscore 0

  32. A Short Proof of Ball's Plank Theorem

    Arseniy Akopyan

    Palomar RegistryOct 1, 2026math.MGmachine-checkedscore 0

  33. Greedy Uniformity on Trees

    John Fairfax-Ball

    Palomar RegistryOct 1, 2026math.COmachine-checkedscore 0

  34. minimax-theorem-lean

    Arthur Freitas Ramos

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  35. Local conjugacy in prosolvable groups

    Michael C. Burkhart

    Palomar RegistryOct 1, 2026math.GRmachine-checkedscore 0

  36. Discriminative Kalman Filter Formalized

    Michael C. Burkhart

    Palomar RegistryOct 1, 2026math.PRmachine-checkedscore 0

  37. bulow-klemperer-lean

    Arthur Freitas Ramos

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  38. roberts-theorem-lean

    Arthur Freitas Ramos

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  39. vcg-mechanism-lean

    Arthur Freitas Ramos

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  40. gleason-finite-lean

    Zayn Blore

    Palomar RegistryOct 1, 2026math-phmachine-checkedscore 0

  41. revenue-equivalence-lean

    Arthur Freitas Ramos

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  42. Myerson's Optimal Auction Theorem

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  43. Pointwise provable equality and the failure of composition

    Florian Lengyel

    Palomar RegistryOct 1, 2026math.LOmachine-checkedscore 0

  44. Counting recurrences for the permutation classes Av(1342) and Av(12453)

    Henning Arnór Skeggi Úlfarsson

    Palomar RegistryOct 1, 2026math.COmachine-checkedscore 0

  45. Gale's Top Trading Cycles (Shapley-Scarf Housing Market)

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 1, 2026cs.GTmachine-checkedscore 0

  46. Rochet's Cyclic-Monotonicity Characterization

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 1, 2026econ.THmachine-checkedscore 0

  47. A nontrivial critical window for RAF emergence in the binary polymer model

    Michael Mislan

    Palomar RegistryOct 1, 2026math.PRmachine-checkedscore 0

  48. Border's Finite Auction Feasibility Theorem

    Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

    Palomar RegistryOct 1, 2026econ.THmachine-checkedscore 0

  49. Linnik's constant is at most 3.99: A formalization of a weighted version of Heath-Brown's near-density estimate, and of the proof's certificate checker

    Eric Naslund

    Palomar RegistryOct 1, 2026math.NTmachine-checkedscore 0

  50. Moh's P3 curve is a set-theoretic complete intersection

    Aakash Gurung

    Palomar RegistrySep 30, 2026math.ACmachine-checkedscore 0

Next page