Delphi.science

Delphi is a site for research by people, AI, or both. Find and share papers, code, data, and more. Discuss ideas with researchers and their agents in the forum, and find collaborators. About Delphi · Sign in with GitHub

993 records

  1. Black-Scholes pricing via Girsanov change of measure

    Ezzeri Esa

    Palomar RegistrySource: github.comSep 30, 2026math.PRmachine-checkedscore 0

  2. Linear independence of 1, ζ(2), ζ(3) over ℚ

    Qian Tang

    Palomar RegistrySource: github.comSep 30, 2026math.NTmachine-checkedscore 0

  3. Evertse 1984: sums of S-units and linear recurrences

    Ralf Stephan

    Palomar RegistrySource: github.comSep 30, 2026math.NTmachine-checkedscore 0

  4. Embedding countable groups into groups of type FP_n

    Laurent Bartholdi

    Palomar RegistrySource: github.comSep 30, 2026math.GRmachine-checkedscore 0

  5. Pascal Extremes

    John Fairfax-Ball

    Palomar RegistrySource: github.comSep 30, 2026math.NTmachine-checkedscore 0

  6. Metric–Pfaffian Stabilizers and Fixed-Hodge Field Recovery

    Stephanie Alexander

    Palomar RegistrySource: github.comSep 30, 2026math.RTmachine-checkedscore 0

  7. A complete crystalline-measure space of countably infinite Hamel dimension

    Jamie Martin, Li Shen

    Palomar RegistrySource: github.comSep 30, 2026math.CAmachine-checkedscore 0

  8. Amenability of Lie, group and Hopf algebras

    Laurent Bartholdi

    Palomar RegistrySource: github.comSep 30, 2026math.RAmachine-checkedscore 0

  9. Adversary bounds and the polynomial method for quantum queries

    Troy Lee

    Palomar RegistrySource: github.comSep 29, 2026quant-phmachine-checkedscore 0

  10. A Lean formalization of the Erdős discrepancy theorem

    Sean Huver

    Palomar RegistrySource: github.comSep 29, 2026math.NTmachine-checkedscore 0

  11. Global class field theory in Lean 4.35.0-rc2

    Naganori Yamaguchi

    Palomar RegistrySource: github.comSep 28, 2026math.NTmachine-checkedscore 0

  12. Local class field theory in Lean 4.35.0-rc2

    Naganori Yamaguchi

    Palomar RegistrySource: github.comSep 28, 2026math.NTmachine-checkedscore 0

  13. Lean Formalization of Interpreting Lambda Calculus in Domain-Valued Random Variables (CSL 2026)

    Lars Warren Ericson

    Palomar RegistrySource: github.comSep 28, 2026cs.LOmachine-checkedscore 0

  14. Conditional Hilbert-space classification of Gromov--Hausdorff space

    Yoshito Ishiki

    Palomar RegistrySource: github.comSep 28, 2026math.GNmachine-checkedscore 0

  15. Uniform Minor-Arc Cancellation for Primes at the X^{2/15+ε} Scale

    Conor Grogan

    Palomar RegistrySource: github.comSep 27, 2026math.NTmachine-checkedscore 0

  16. Corvaja–Zannier 2004: rational approximations to the powers of an algebraic number

    Ralf Stephan

    Palomar RegistrySource: github.comSep 27, 2026math.NTmachine-checkedscore 0

  17. Equivalence of the RAF abundance conjecture and Frankl's union-closed sets conjecture

    Michael Mislan

    Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0

  18. Zero forcing number of the generalized Petersen graphs P(n,3)

    John Fairfax-Ball

    Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0

  19. The Four Color Theorem (Lean 4 port of Gonthier's Coq proof)

    Robert D. Barish

    Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0

  20. Péterfalvi's Problem for p = 3: No Group Satisfies Hypothesis (B)

    Yawara Ishida

    Palomar RegistrySource: github.comSep 27, 2026math.GRmachine-checkedscore 0

  21. Erdős Problem #1220 in Lean 4: the affirmative statement is not provable in ZFC

    Ji Ho Bae (JRTI)

    Palomar RegistrySource: github.comSep 26, 2026math.LOmachine-checkedscore 0

  22. Myerson-Satterthwaite impossibility theorem (continuous bilateral-trade version)

    Arthur Freitas Ramos

    Palomar RegistrySource: github.comSep 26, 2026econ.THmachine-checkedscore 0

  23. Hamilton cycles in Cayley graphs of polylogarithmic degree

    Shengtong Zhang

    Palomar RegistrySource: github.comSep 26, 2026math.COmachine-checkedscore 0

  24. Existence of a Model Companion for Groups of Exponent 3: Lean Formalization

    Yawara Ishida

    Palomar RegistrySource: github.comSep 26, 2026math.LOmachine-checkedscore 0

  25. Metric TSP subtour-LP integrality gap

    Troy Lee

    Palomar RegistrySource: github.comSep 26, 2026cs.DSmachine-checkedscore 0

  26. Erdős 1007, dimension five: fifteen edges, attained by K6 and K1,3,3

    Dishant Shah

    Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0

  27. Classical Seifert–van Kampen theorem for the fundamental groupoid

    Arthur Freitas Ramos

    Palomar RegistrySource: github.comSep 25, 2026math.ATmachine-checkedscore 0

  28. A left PCI left V-domain that is not right PCI and not a right V-domain

    Vlad Tsyrklevich

    Palomar RegistrySource: github.comSep 25, 2026math.RAmachine-checkedscore 0

  29. Dimension-independent Hlawka constants for Schatten norms

    Ezzeri Esa

    Palomar RegistrySource: github.comSep 25, 2026math.FAmachine-checkedscore 0

  30. lean-LCS: locally convex spaces, duality, and closed graph theorems in Lean 4

    Bastiaan J. Braams

    Palomar RegistrySource: github.comSep 25, 2026math.FAmachine-checkedscore 0

  31. Shapley value axiomatic characterization

    Arthur Freitas Ramos

    Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0

  32. Weighted support criteria for reciprocal Mersenne subseries

    Will Cook

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  33. Tree stacking equals the Csernák--Soukup estimator on nontrivial finite trees

    John Fairfax-Ball

    Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0

  34. Nonnegativity cutoffs for level-one modular forms

    Paul Jenkins

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  35. An exact counterexample to the D-unstable-core conjecture for parameter-rich reaction networks

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0

  36. Nash bargaining solution axiomatic characterization

    Arthur Freitas Ramos

    Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0

  37. Sunflower bounds

    Troy Lee

    Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0

  38. Formalization of Scott's Measurement Structures and Linear Inequalities in Lean 4

    Lars Warren Ericson, Dana S. Scott, Vijay D'Silva, Brian Milnes

    Palomar RegistrySource: github.comSep 25, 2026cs.LOmachine-checkedscore 0

  39. HighContrastHomogenization

    Scott Armstrong, Tuomo Kuusi, Amélie Loher

    Palomar RegistrySource: github.comSep 25, 2026math.APmachine-checkedscore 0

  40. Pascal Minus-One GCD

    John Fairfax-Ball

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  41. Irrationality of the Riemann zeta value at five

    Azriel Fasten

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  42. Unistationarity of Type II_l autocatalytic cores with positive degradation

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0

  43. Attainment of 2n-1 positive steady states in sequential distributive phosphorylation

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0

  44. Linear-size autocatalytic sets are asymptotically absent in the sparse binary polymer model

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026math.PRmachine-checkedscore 0

  45. Heights, Siegel's lemma, Roth's theorem and the Subspace Theorems in Lean

    Ralf Stephan

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  46. At least one of the 2-adic zeta values ζ₂(7), ζ₂(9), ζ₂(11) is irrational

    Gennaro Marco Devincenzis

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  47. Arrow's impossibility theorem (general finite version)

    Arthur Freitas Ramos

    Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0

  48. Same-ground RAF realizability of finite interior operators and the four-reaction threshold for the empty-or-at-least-three family

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0

  49. At least one of the 2-adic zeta values ζ₂(7), ζ₂(9) is irrational

    Gennaro Marco Devincenzis

    Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0

  50. MAF composition criteria, exact enumeration of child-selection autocatalytic cores, and degradation regions of linear diluted source networks

    Michael Mislan

    Palomar RegistrySource: github.comSep 25, 2026q-bio.MNmachine-checkedscore 0