Conjectural structure of the reserved sets RJ for multiple harmonic sums

About 18 years old · traced to

Let s⃗∈Nl{\vec{s}}\in{\mathbb N}^l. Write RJ(s⃗)RJ({\vec{s}}), RJ1(s⃗)RJ_1({\vec{s}}), and RJ2(s⃗)RJ_2({\vec{s}}) for the reserved sets associated with the multiple harmonic sum indexed by s⃗{\vec{s}}.

Reserved-set structure conjecture. If one of the following holds: (i) s⃗=1{\vec{s}}=1, (ii) s⃗=(1,2,1){\vec{s}}=(1,2,1), (iii) s⃗=(2r−1,1){\vec{s}}=(2r-1,1) for some r≥1r\geq1, or (iv) s⃗=12l{\vec{s}}=1^{2l} for some l≥1l\geq1, then

RJ(s⃗)=RJ2(s⃗).RJ({\vec{s}})=RJ_2({\vec{s}}).

For all other s⃗{\vec{s}},

RJ(s⃗)=RJ1(s⃗).RJ({\vec{s}})=RJ_1({\vec{s}}).

The source attributes this conjecture to Conjecture 7.4 of the author's earlier paper. The supplied text gives no resolution.

References

Primary source

Jianqiang Zhao, “Examples of finite p-divisible sets of MHS”, arXiv:0806.4947 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.