The shape descends directly from a 1928 discovery by the German mathematician Erik Schönhardt, who constructed a deceptively simple object: a triangular prism twisted so that its two triangular ends rotate out of alignment. In this twisted prism, Schönhardt showed, every diagonal that is not part of the boundary lies entirely outside the body. Pick any four of its six vertices and the tetrahedron they span pokes out of the solid. There is, quite literally, no interior tetrahedron compatible with the twisted faces, so the shape cannot be divided into tetrahedra without adding new points. In 1911, N. J. Lennes had already sketched a similar obstruction, but Schönhardt’s six-vertex example became the canonical specimen, and he proved that any simple polyhedron with the same property needs at least six vertices.

For nearly a century, mathematicians refined and extended this three-dimensional curiosity. Bagemihl replaced one twisted edge with a concave curve studded with extra vertices, producing nontriangulable polyhedra with any number of vertices from six upward. Rambau widened the top and bottom triangles into larger polygons, obtaining twisted prisms over any n-gon. Kuperberg produced an even stranger body in which no tetrahedron built from the original vertices contains the body’s midpoint. What all of these examples share is a single common thread: a fixed boundary face that cannot be extended into a simplex lying wholly inside the solid, either because every candidate simplex sprouts an exterior edge or because the combinatorics of the face lattice forbid a compatible decomposition.

The new work, published in the open-access journal Heliyon by Antal Joós, Attila Kovari, and Bálint Nagy, takes the decisive step into the fourth dimension. The authors construct an eight-vertex body they call B: take a regular tetrahedron as the base, place a second tetrahedron parallel to it at height 2, and rotate the top copy by a small angle of negative 0.01 radians within the appropriate coordinate plane. The convex hull of these eight points is a twisted four-dimensional prism. The mathematicians then carve away four carefully chosen four-dimensional simplices whose interiors are pairwise disjoint, and what remains is a genuine 4-polytope whose facets are all tetrahedra, a direct higher-dimensional analogue of Schönhardt’s construction.

The proof of nontriangulability is a small masterpiece of algebraic bookkeeping. The authors introduce a determinant function that measures, for any point in four-dimensional space, which side of a hyperplane it lies on. Exact sign computations show that the four removed simplices are cleanly separated, that the eight designated points are truly vertices, and that a specific interior point q, the average of all eight vertices, survives the carving and sits strictly inside the remaining body. The crux comes from the base facet: in any hypothetical triangulation, that tetrahedral facet must itself be the face of some 4-simplex, and the only candidates are the four simplices obtained by joining the base to one of the four top vertices. Each of these, the determinant tables show, overlaps the interior of one of the removed pieces. No candidate fits. The contradiction is absolute, and the four-dimensional body is certified nontriangulable.

Remarkably, the obstruction is robust. Because the proof rests on strict determinant inequalities, small perturbations of the vertex positions or the twist angle preserve nontriangulability, meaning the example is not a knife-edge accident but a stable geometric phenomenon. The authors leave tantalizing questions open: over exactly what range of rotation angles does the body remain nontriangulable, what affine transformations can the tetrahedral layers tolerate, and could cubes or other shapes replace the tetrahedra in the construction?

Equally important are the dimension-raising lemmas that follow. The team proves that a pyramid erected over any nontriangulable base is itself nontriangulable, that any polytope carrying a nontriangulable facet in a supporting hyperplane inherits the property, and that bipyramids and suitably split bodies extend the same obstruction upward. These lemmas generate infinite families of nontriangulable polytopes in every dimension from four upward. With characteristic rigor, the authors also demonstrate the limits of such inheritance: they exhibit a four-dimensional body that is perfectly triangulable yet whose cross-section is the nontriangulable Schönhardt polyhedron, proving that a bad cross-section alone does not doom a higher-dimensional body. The precise sufficient conditions, distilled into their Proposition 1, specify exactly when a nontriangulable three-dimensional time slice forces the full four-dimensional spacetime body to be nontriangulable.

That spacetime framing is where the mathematics collides with the real world. Many modern engineering and medical problems treat time as a genuine fourth coordinate: a beating heart imaged by 4D CT, airways swelling and contracting through the breathing cycle, coronary arteries reconstructed dynamically for fluid simulations, robots navigating a workspace while an explicit clock ticks. In each case, the natural geometric object is a four-dimensional polyhedral body, and the natural discretization is a mesh of 4-simplices, the four-dimensional analogues of tetrahedra. The new theorems show that when the underlying three-dimensional geometry is sufficiently twisted or nonconvex and the conditions of Proposition 1 hold, simplex-only meshes built from the original sampled vertices are not merely inconvenient but mathematically impossible. Software must insert additional Steiner points or refine the domain, and the new results quantify why that insertion is unavoidable rather than a limitation of current algorithms.

The medical implications are concrete. The inner surface of a heart ventricle is grooved and trabeculated, and if that nonconvexity is strong enough, even a single three-dimensional snapshot can resemble a theoretical twisted polyhedron; stacking the cardiac cycle into a four-dimensional mantle may inherit the meshing obstruction. Bronchial trees, with their branching curvatures and pocketed geometry, present similar risks. In robotics, motion planning through elongated twisted corridors, or coordination of multiple arms whose combined configuration spaces are highly nonconvex, may force planners to add nodes or refine the discretized space in ways the theorems now anticipate. Engineers analyzing deforming fuselages, thermally buckling structures, or pressure-fluctuating pipelines face the same lesson whenever a three-dimensional shape deforms through time in a nontriangulable fashion.

The authors are candid about the computational frontier that remains. Deciding whether an arbitrary polytope is nontriangulable is hard, and even minimum-size triangulations of convex three-dimensional polytopes are known to be NP-hard, so every guaranteed Steiner point carries a cost that can grow with geometric complexity. The new certification for the four-dimensional family, however, is refreshingly checkable: the determinant signs can be evaluated directly from the vertex coordinates. Future work will need adaptive algorithms for optimal Steiner placement, robustness analysis under the noisy vertex data that real medical imaging delivers, and possibly machine-learning heuristics to predict which configurations demand extra points. For now, the message of this paper resonates far beyond the seminar room: nontriangulability is no three-dimensional curiosity. It lives robustly in higher dimensions, it travels through time, and it tells the engineers and clinicians of the four-dimensional data age exactly when their meshes must break the old rules and add new points.

Subject of Research: Higher-dimensional nontriangulable polytopes and their role in spacetime mesh generation

Article Title: Higher-dimensional nontriangulable polytopes: Theory, proofs, and implications in engineering and medical simulation

Article References: Joós, A., Kovari, A., & Nagy, B. (2026). Higher-dimensional nontriangulable polytopes: Theory, proofs, and implications in engineering and medical simulation. Heliyon, 12(15), Article e45442. https://doi.org/10.1016/j.heliyon.2026.e45442

Image Credits: AI Generated

DOI: 10.1016/j.heliyon.2026.e45442

Keywords: nontriangulable polytopes, Schönhardt polyhedron, computational geometry, triangulation, four-dimensional geometry, Steiner points, mesh generation, 4D medical imaging, robot motion planning, combinatorics, polytopes, spacetime meshing

The framework addresses a problem that has plagued translational medicine for decades: most drugs that look promising in animal models fail in human trials, and many surprises in human research could have been anticipated if animal evidence had been examined more carefully and systematically. Traditional systematic reviews usually focus on a single evidence stream, applying methods honed for clinical trials to human studies and, less often, adapted checklists to laboratory animal experiments. Rarely are the two streams synthesized together with explicit attention to how they agree, conflict or leave gaps. The GALENOS team argues that this separation is particularly costly in early-stage research, where the goal is not to establish definitive treatment effects but to identify and prioritise promising new directions, therapeutic targets and mechanisms of action. Combining human and animal evidence, they contend, can yield insights neither source alone can provide.

At the heart of the framework is a commitment to living evidence. Rather than producing a static review that is outdated before it is published, GALENOS reviews are designed to be continually updated as new studies appear. This is made feasible through automation: the team employs tools such as the Automated Systematic Search Deduplicator to manage the flood of candidate records, and the Systematic Review Facility, or SyRF, to coordinate screening and data extraction, including crowdsourced contributions. Large language models are also being incorporated to support semi-automated screening and data handling, although the authors are careful to position automation as an aid to, not a replacement for, human judgment. The living approach is coupled with co-production: people with lived experience of anxiety, depression and psychosis help shape research questions, interpret findings and judge which uncertainties matter most to patients, ensuring that prioritisation reflects relevance as well as statistical strength.

Methodologically, the framework builds on established best practices in systematic review methodology while introducing novel components. Research questions are framed using PICO elements, defining population, intervention, comparator and outcome, but with careful translation across species and study designs, since an intervention in a mouse model of psychosis and an antipsychotic trial in humans must be mapped onto a common conceptual structure before their results can be compared. For animal studies, the team applies risk-of-bias tools derived from the SYstematic Review Centre for Laboratory animal Experimentation and reporting standards aligned with the ARRIVE guidelines, addressing the well-documented problems of small sample sizes, publication bias and methodological laxity in preclinical research. Human studies are appraised with conventional Cochrane-style tools, and both streams are assessed for the risk of bias arising from missing evidence using the ROB-ME approach.

Quantitative synthesis within the framework handles the awkward fact that human and animal studies measure outcomes on different scales and with different statistics. The authors describe how effect measures such as mean differences, standardised mean differences, risk ratios and odds ratios can be computed within each evidence stream, and how the normalised mean difference can bridge human and animal outcomes onto a comparable metric. Random-effects meta-analysis, using restricted maximum likelihood estimation, pools studies within each species and design category. Crucially, synthesis is not limited to pairwise comparisons; the framework accommodates networks of interventions and mechanisms, allowing reviewers to ask not only whether a target works but how it performs relative to alternatives across both human and animal data.

The most distinctive innovation is what the team calls the Summary of Evidence Table, or SET. A SET is a structured, transparent container that assembles the synthesized findings from human and animal studies on a given question, alongside appraisals of their credibility, consistency and biological plausibility. On top of the SETs sits the GALENOS Approach to Triangulating Evidence, or GATE, a formal procedure for integrating the streams. Rather than simply averaging across species, GATE asks structured questions: do human and animal findings agree in direction and magnitude, does one stream fill gaps the other cannot, and where they conflict, what biases or translational limitations best explain the discrepancy? The output is a graded judgement about the maturity of the evidence, which in turn feeds directly into research prioritisation decisions about which targets warrant clinical testing, which need better animal work, and which should be deprioritised.

The framework is not merely theoretical. The GALENOS consortium maintains living systematic reviews on concrete therapeutic questions, and the paper illustrates its application with two examples. One concerns trace amine-associated receptor 1, or TAAR1, agonists for psychosis, a target class that has recently progressed to clinical testing; the living review collates animal evidence on receptor mechanisms alongside emerging human trial data to judge whether the translational case remains sound. The other concerns pro-dopaminergic interventions for anhedonia, the blunting of pleasure and motivation that pervades depression and schizophrenia, where animal work on dopaminergic circuitry must be reconciled with early human studies. In both cases, the SET and GATE machinery makes explicit how strong each strand of evidence is, where uncertainty concentrates and what future experiments would be most informative.

Independent experts in evidence synthesis are likely to welcome the framework’s insistence on transparency. By laying out, in tabular form, exactly what is known from each species, how credible each finding is, and where the streams converge or diverge, the approach makes prioritisation decisions auditable rather than opaque. This matters in mental health particularly, where the translational failure rate has been devastatingly high and where the DSM-based grouping of patients may obscure biological heterogeneity that animal models capture differently. The authors are candid about the epistemological challenges: animal models are approximations, human diagnostic categories are constructs, and integrating them involves assumptions that must be stated, not hidden. The framework’s contribution is precisely to force those assumptions into the open.

The implications extend beyond psychiatry. The general architecture of co-produced questions, living systematic reviews, source-specific synthesis, and structured triangulation through SETs and GATE could be applied in any field where preclinical and clinical evidence must be weighed together, from neurology to oncology. For funders and research commissioners, the framework offers a defensible mechanism for deciding where scarce research money goes; for scientists at the bench, it offers a clearer picture of which of their findings the clinical world considers robust; for patients and people with lived experience, it offers a seat at the table where research agendas are set. The GALENOS team presents the approach as a working system under continuous refinement, with its living reviews and prioritisation outputs publicly accessible, inviting the research community to test, adapt and challenge it as the evidence accumulates.

Subject of Research: A framework for collating and synthesizing evidence from human and animal studies

Article Title: A framework for collating and synthesizing evidence from human and animal studies: the GALENOS approach

Article References: Chiocchia, V., Higgins, J. P., Siafis, S., Macleod, M., Thomas, J., Furukawa, T. A., Downs, J., Cipriani, A., Egger, M., & Salanti, G. (2026). A framework for collating and synthesizing evidence from human and animal studies: the GALENOS approach. BMC Medicine. https://doi.org/10.1186/s12916-026-05205-z

Image Credits: AI Generated

DOI: 10.1186/s12916-026-05205-z

Keywords: GALENOS, evidence synthesis, living systematic reviews, triangulation, animal studies, human studies, mental health, research prioritisation, TAAR1, co-production, framework, collating