---

Claim. Theorem 4 (p. 656) of Xuemei Zhang, Yaojun Chen and T.C. Edwin Cheng, Polarity graphs and Ramsey numbers for $C_4$ versus stars, Discrete Math. 340 (2017), no. 4, 655--660: "Let $q$ be an odd prime power. Then $R(C_4,K_{1,q^2-t})=q^2+q-(t-1)$ if $1\le t\le2\lceil\frac q4\rceil$ and $t\ne2\lceil\frac q4\rceil-1$." These are values of the function $f(n)=R(C_4,S_n)$ of Problem 552, each equal to $n+\lceil\sqrt n\rceil+1$. The paper recalls Parsons's 1976 family, the same formula for even $t$ when $q$ is odd, so the new values are those with odd $t$; its summary records $f(24)=30$ and $f(48)=56$ as new. Its Ramsey graphs for odd $t$ add one edge to a subgraph of the polarity graph. The statement is recorded on the result page Theorem 4 of the library home zhang_2017_polarity_graphs_ramsey_numbers_c_4_versus_stars.

Covers. The value of $f(n)$ at $n=q^2-t$ for every odd prime power $q$ and every $t$ with $1\le t\le2\lceil q/4\rceil$, $t\ne2\lceil q/4\rceil-1$. The value at every other $n$, and the second question, whether $f(n)\le n+\sqrt n-c$ for infinitely many $n$, are not settled by it; the paper's Question 1 (p. 656) asks whether every value is $n+\lceil\sqrt n\rceil$ or one more.

Depends on. Nothing in this wiki; the theorem rests on the paper's own constructions and lemmas.

Acceptance. Refereed: the paper is a journal publication in Discrete Mathematics, volume 340, number 4 (April 2017), the refereed evidence; the issue carries no day, so this page is dated to the first day of that month. The site's curator refers to this paper in the commentary on exact values, but the site's label OPEN settles neither the problem nor a declared part of it, so reviewed is not listed. The statement is checked against the publisher's text; the proof is read for structure only.