I am actually a pure mathematician, who stumbled over this paper «Protein-Folding Analysis Using Features Obtained by Persistent Homology» by Ichinomiya et al. (Biophys. J. 118, 2020, 2926-2937; link), and then red some introductions on protein folding, as well as articles on Deepminds progress on the issue.
Assume we are given a protein $p$ in primary structure, that is $p = [a_1,...a_n]$ is a finite, non empty list of amino acids denoted by $a_i$. A protein $p' = [b_1,...b_m]$ is called a subprotein of $p$ if there is some number $l \in [1:n]$ such that $a_{l+i} = b_i$ for all $i \in [1,...m]$.
Let $Q(p)$ denote the quaternary protein structure of $p$. It can be viewn as a subset of vertices (and edges if one needs that) of $\mathbb{R}^3$.
Question 1: Are there known examples (or even a database?) of proteins $p$ in primary structure, such that a subprotein $p'$ even exists?
Question 2: Assume we are given $p$ and a subprotein $p'$. Are there known examples for which $Q(p')$ is a subset of $Q(p)$? Note that we do not just need some injection, but a distance and angle preserving injection!
Do not forget that i am a noob. So these questions may be anything, from trivial to impossible to answer. I can not guess the outcome. Otherwise i would not ask.
For the interested reader: By a new result of Yuri Manin, persistence homology is linked to Nori-motives from algebraic geometry. As the paper cited above did come calculations on proteins via persistence homology, it may be possible to somehow "pull back" to the Nori category and derive a motivic decomposition of the folded protein but also of the protein in primary structure embedded in a plane. If question 2 has an "yes" for at least some cases, i expect for some isomorphic motivic summands to occur in both decompositions of $p$ and $p'$. If this is the case, then there could even be some common summand in the the motive of $p$ and $Q(P)$.