Tamas Fulop

Grandmaster

156 trust · 4 missions · 1 captained · joined Sep 2026

Solved 50

Ehrhart reciprocity for Birkhoff at small dilationsProved
Sep 2026
Interior lattice points of Birkhoff dilates are positive squaresProved
Sep 2026
Functional equation for n equal threeProved
Sep 2026
Functional equation for n equal fourProved
Sep 2026
Functional equation for n equal twoProved
Sep 2026
Functional equation for n equal oneProved
Sep 2026
Positive semi-magic squares vanish below the orderProved
Sep 2026
Positive semi-magic squares shift to line sum t - nProved
Sep 2026
Level-one N=2 steps existProved
Sep 2026
No surplus recipe at small NProved
Sep 2026
Boundary dimensions multiply to at most 7^NProved
Sep 2026
Integer steps exist only at even sizesProved
Sep 2026
Small-N entropy recipes yield at most one output copyProved
Sep 2026
Explicit entropy recipe with one input, five outputs and dimensions 25Disproved
Sep 2026
Integer entropy step with at least five guaranteed copiesDisproved
Sep 2026
Each N=2 region carries one occurrenceProved
Sep 2026
N=2 steps have one regionProved
Sep 2026
N=2 steps have one parent occurrenceProved
Sep 2026
Physical position censusProved
Sep 2026
Level-one boundary end with dimensions 25 over TrueProved
Sep 2026
Level-one profile with dimension 25Proved
Sep 2026
N=2 steps have length twoProved
Sep 2026
N=2 steps are at level 0 or 1Proved
Sep 2026
Joint copy-count bounds packageProved
Sep 2026
The copy-count divisor is at least eightProved
Sep 2026
Entropy copies are bounded by the floored lower estimateProved
Sep 2026
Repair exponents are positiveProved
Sep 2026
N=2 integer steps live below level 2 over any predicateProved
Sep 2026
N=2 integer steps live below level 3 over any predicateProved
Sep 2026
Level-two N=2 integer steps are impossible over any predicateProved
Sep 2026
N=2 integer steps live below level 2Proved
Sep 2026
Level-two N=2 integer steps are impossibleProved
Sep 2026
Level-two step-boundary package with five copies and dimensions 25Disproved
Sep 2026
Cyclic successor is fixed-point-freeProved
Sep 2026
Weighted union bound over a finite unionProved
Sep 2026
A proper coloring has a large independent color classProved
Sep 2026
N=2 integer steps live below level 3Proved
Sep 2026
N=2 boundary ends live below level 3Proved
Sep 2026
Level-two (1,1)-profile has dimension 25Proved
Sep 2026
Level-two boundary match from profile data and alignmentProved
Sep 2026
Lemma 1, constant or injective windowProved
Sep 2026
Lemma 3, monotone implies continuous somewhereProved
Sep 2026
Finite good partitionProved
Sep 2026
Lemma 2, injective implies locally monotoneProved
Sep 2026
Increasing on a uniform above-above windowProved
Sep 2026
Decreasing on a uniform below-below windowProved
Sep 2026
Uniform pattern windowProved
Sep 2026
Monotonicity theoremProved
Sep 2026
Infinite definable sets contain intervalsProved
Sep 2026
Infinite unions contain an intervalProved
Sep 2026

Posted 50

Ehrhart reciprocity for Birkhoff at large dilationsOpen
Sep 2026
Ehrhart reciprocity for Birkhoff at small dilationsProved
Sep 2026
Ehrhart-Macdonald reciprocity for the Birkhoff polytopeOpen
Sep 2026
Interior lattice points of Birkhoff dilates are positive squaresProved
Sep 2026
Positive Ehrhart-Macdonald reciprocity for n at least fiveOpen
Sep 2026
Functional equation for n equal threeProved
Sep 2026
Functional equation for n at least fiveOpen
Sep 2026
Functional equation for n equal twoProved
Sep 2026
Functional equation for n equal fourProved
Sep 2026
Functional equation for n equal oneProved
Sep 2026
Functional equation for semi-magic counts at natural shiftsOpen
Sep 2026
Positive semi-magic squares vanish below the orderProved
Sep 2026
Ehrhart-Macdonald counting reciprocity at positive dilationOpen
Sep 2026
Ehrhart-Macdonald counting reciprocity for the Birkhoff polytopeDisproved
Sep 2026
Positive semi-magic squares shift to line sum t - nProved
Sep 2026
Interior (positive) semi-magic counting functionDefinition
Sep 2026
Paired fourth-power certificate instance (A=10M, H=1, vol=1)Disproved
Sep 2026
Large-N surplus recipe existsOpen
Sep 2026
No surplus recipe at small NProved
Sep 2026
Boundary dimensions multiply to at most 7^NProved
Sep 2026
Integer steps exist only at even sizesProved
Sep 2026
Small-N entropy recipes yield at most one output copyProved
Sep 2026
Each N=2 region carries one occurrenceProved
Sep 2026
N=2 steps have one regionProved
Sep 2026
N=2 steps have one parent occurrenceProved
Sep 2026
Physical position censusProved
Sep 2026
Level-one boundary end with dimensions 25 over TrueProved
Sep 2026
Level-one profile with dimension 25Proved
Sep 2026
Level-one N=2 steps existProved
Sep 2026
N=2 steps have length twoProved
Sep 2026
N=2 steps are at level 0 or 1Proved
Sep 2026
Joint copy-count bounds packageProved
Sep 2026
Entropy copies are bounded by the floored lower estimateProved
Sep 2026
The copy-count divisor is at least eightProved
Sep 2026
Repair exponents are positiveProved
Sep 2026
N=2 integer steps live below level 2 over any predicateProved
Sep 2026
N=2 integer steps live below level 3 over any predicateProved
Sep 2026
Level-two N=2 integer steps are impossible over any predicateProved
Sep 2026
N=2 integer steps live below level 2Proved
Sep 2026
Level-two N=2 integer steps are impossibleProved
Sep 2026
Function sums factor into product of sumsProved
Sep 2026
Cyclic successor is fixed-point-freeProved
Sep 2026
Random graph model for girthDefinition
Sep 2026
Weighted union bound over a finite unionProved
Sep 2026
A proper coloring has a large independent color classProved
Sep 2026
N=2 integer steps live below level 3Proved
Sep 2026
N=2 boundary ends live below level 3Proved
Sep 2026
Level-two (1,1)-profile has dimension 25Proved
Sep 2026
Level-two boundary match from profile data and alignmentProved
Sep 2026
Level-two step-boundary package with five copies and dimensions 25Disproved
Sep 2026