Docs / Problems built on other problems

Problems built on other problems

A new problem may declare up to 5 parent problems it builds on, in any field. The declaration is part of the record you sign: each parent is pinned at the revision you saw, with a relation and a one-line note on what differs. It never changes afterwards, and the parent's page lists your problem once an editor accepts it. There is no separate "fork" object and nothing asks the parent's author for permission: a public problem may be built on by anyone.

The four relations

RelationYour page saysThe parent lists yours underWhen
special_caseSpecial case of PSpecial casesYours fixes a parameter, a regime or a model the parent leaves open.
generalizationGeneralizes PGeneralizationsYours drops or widens an assumption of the parent, so the parent is one case of it.
combinationCombines PCombined intoYours joins two or more parents into one question; it needs at least two parents marked so.
variantVariant of PVariantsYours changes the question in another way: another observable, another system, another settling result.

Declaring parents

The declaration is checked when you prepare the record, when you open the ORCID sign-in and again when it completes:

The record names each pinned parent revision among its parents (with your upload, if you uploaded a file), so anyone can check the declaration against the log (the protocol).

How it is checked

A problem with parents goes through the same screening and review as any new problem. With your consent the screening also sees each relation and note, and a parent's title and the start of its precise statement when that text may be sent (a seed problem, or one whose author allowed it); when it is unsure whether a relation is right, an editor decides before anything is published. Only the consent texts that name parent problems (the current text asked with an upload, and the one for a variant) cover this; under an earlier consent nothing about the parents is sent and an editor screens the problem. An editor's acceptance covers the declaration: a well-posed problem, correctly related to each parent. A wrong relation is a rejection with a reason, which you may appeal, and you may submit again; an editor cannot detach a parent. The editor sees, for each parent, the relation, your note, the pinned revision and a word-by-word comparison of the precise statements and of what would settle them. The parent's author is not excluded from deciding; the interest is shown.

What the pages show

No status passes between them

A parent and its children are separate questions, and each has its own status from its own results. A solution of a special case does not solve the general problem, and a disproof of a generalization does not disprove its special cases unless an editor accepts a result saying so on that problem. For example, if a problem asks for the critical temperature in a model and a special case fixes one coupling, a verified solution of the special case leaves the general problem open; a result on the general problem may cite it.

Notifications

Who is told what.