Beyond the Checklist: Setting the Unit of Shared Inquiry

The options

The order shown is not a ranking of preference.

1. Option 1

   Proposition dependency series

   Uses the accumulated proof structures and tools to explore a continuous line of problems, but exchange opportunities shrink for questions that do not fall within existing series.

2. Option 2

   Concept connection task

   Connects definitions and arguments across fields and secures opportunities to generate new questions, but until the usefulness of the connection appears, comparing results and handing over tasks is difficult.

3. Option 3

   Validity-failure map

   Explores across fields centered on assumption changes and counterexamples, but while resources are spent on making the map, progress on deep single proof series slows.

The situation as it stands

If no support unit is set, the participating institutions will conclude personnel commitments using the formats of existing proposition series, and later, to fit a different question structure, the residence schedules and tool support must be renegotiated.

Maru Mathematics Research Consortium, a fictional organization

1. Premise 1As a synthetic premise of this case, the consortium accumulates verified propositions within each explicitly stated system faster than the research teams can review them. The dependency relations among propositions are recorded, but which conceptual connections generate new problems has not been confirmed.
2. Premise 2The project committee can allocate joint research funding and the residence time of exchange researchers. The existing tools support composition by proposition series, and if a different unit is adopted, part of the first research term must be spent on reorganizing tasks and preparing evaluation materials.
3. Premise 3The tool operations team argues that support must follow dependency series in order to use the accumulated work. Interdisciplinary researchers demand a place to handle connecting concepts, and a small assumption research team demands that failure cases also qualify to form joint tasks.

Where it holdsAdopt one unit of task organization for the next joint research and exchange, and allocate resources to that unit.

What can be lost

• The tool operations team may bear the burden of supporting a new task structure while maintaining the existing infrastructure, if the composition changes.
• If interdisciplinary researchers' connecting work is not recognized as a task, they lose joint residence time and collaboration partners.
• If the contributions of failure and boundary cases are excluded from the support unit, the small assumptions research team will find it difficult to attract follow-up researchers.

What is still unknown

1. Unknown 1It has not been confirmed whether grouping propositions with close dependency relations helps researchers form new concepts.
2. Unknown 2Among the proposed conceptual connections, which ones will generate independent new problems rather than restate existing results is unknown.
3. Unknown 3Whether the gaps in the validity-failure map come from mathematical differences or from differences in the participating teams' tools and ranges of interest remains unknown.

Signals to decide again

• The exchange secretary collects quarterly cases where questions not on existing lists were generated within each support unit.
• An independent evaluation team reviews twice a year the paths where concepts or arguments were modified and used in other tasks.
• The project secretariat reports quarterly on the distribution of assumptions, tools, and participating teams among the proposals excluded from the composition.