Pith. sign in

REVIEW 2 cited by

A discrete harmonic function bounded on a large portion of mathbb{Z}² is constant

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1712.07902 v1 pith:5NZMMZVC submitted 2017-12-21 math.CA math.AP

A discrete harmonic function bounded on a large portion of mathbb{Z}² is constant

classification math.CA math.AP
keywords constantdiscreteharmonicmathbblargeportionvarepsilonbounded
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

An improvement of the Liouville theorem for discrete harmonic functions on $\mathbb{Z}^2$ is obtained. More precisely, we prove that there exists a positive constant $\varepsilon$ such that if $u$ is discrete harmonic on $\mathbb{Z}^2$ and for each sufficiently large square $Q$ centered at the origin $|u|\le 1$ on a $(1-\varepsilon)$ portion of $Q$ then $u$ is constant.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Support Cardinality for the Discrete Schr\"odinger Equation

    math-ph 2026-06 unverdicted novelty 6.0

    A dimension-reduction principle establishes that minimal support cardinality of nontrivial Dirichlet solutions to discrete Schrödinger equations on finite lattice boxes is non-decreasing in dimension, yielding nearly ...

  2. On Support Cardinality for the Discrete Schr\"odinger Equation

    math-ph 2026-06 accept novelty 6.0

    Minimal support cardinality S_d(N) of nontrivial origin-nonzero Dirichlet solutions is nondecreasing in d, so S_4(N) ≳ N²/log N, matching even-dimensional constructions up to a log factor.