Dear Marcus,
I have you to thank for engaging with my comments in such an open way! These contests are always at their best when they stimulate frank exchanges on views that may go slightly beyond what one would normally put into a journal article or the like.
And I'd very much like to come for a visit to Vienna---although thinking about traveling plans seems almost frivolous these days. Perhaps one lesson we could take away from the present situation is that we should try to create more and better avenues for online exchange of views---something like virtual research/discussion groups, where people interested in some topic can congregate, discuss with either live-sessions or in a chat/forum based manner, exchange drafts for articles/request comments and the like. Could be as simple as a Teams channel, or something like that.
But back to the things themselves, as Husserl said---or to their absence, as it were. Regarding the 'modding out' of equivalences between structures, I'm afraid that this might leave us with altogether too little in the way of substance to account for the world and out experience within it---if we agree that in my example, electromagnetism and string theory yield in some sense the same structure, then one could also draw in all manner of 'different' systems---say, for example, the three body problem is at least conjectured to be computationally universal, so you could encode the requisite data into its initial configuration, and then just let Newton's laws do the rest. Or, of course, any other theory that allows for universal computation.
So fine, one might try to say that then, most of the structure is in the initial condition---the program, so to speak. But this, too, is far from unique: you can instantiate the three body problem with all manner of initial states, implementing different Turing machines that then instantiate the requisite computation from different initial conditions. In each case, that would add some constant number of bits to the length of the initial program, corresponding to the specification of a Turing machine to be simulated.
So suppose that you have an initial condition for the three body problem that can be specified using n bits, such that the resulting system implements the 'structure of the world' in some sense, by essentially implementing some Turing machine T executing the n bit program. Then, it seems to me you could find a TM T' such that it takes at most n O(1) bits input to implement the same program, with the O(1) factor corresponding to T' simulating T. But then, have you really said more about the world other than 'it contains at least n bit of information' if you specify its structure in this way?
I think this is essentially the Newman problem again. In some sense, all 'universal' structures---structures corresponding to theories allowing for universal computation---are equivalent: whatever you can describe using one, you can describe using another, with at most some constant overhead.
Maybe one could try to argue for parsimony, and single out that structure which yields the most compact specification---which has the problem that the question which one this is will be undecidable, due to the uncomputability of Kolmogorov complexity. Or, one could try to adapt the various attempts at solving the threat of trivializing computationalism---because that's essentially the same problem, again: virtually every system can, naively, be viewed as instantiating virtually every computation. There are, I think, certain avenues regarding dispositional/counterfactual/causal accounts of computation that one could pursue, in order to arrive at a notion of isomorphism between structures that's coarse-grained enough to allow for the identification of 'obviously identical' structures, without being so coarse-grained as to trivially identify virtually all structures with one another. I'm not sure if that'll work, but, with a more careful fleshing out of the notion of structure, I think there's at least a few avenues to explore here.
Regarding the concrete application towards quantum mechanics, I think I understand your proposal somewhat better now; but if the structure, as such, only accounts for the correlations in measured data, then how are concrete measurement outcomes accounted for? Pre-measurement, only a certain probability distribution over outcomes exists, but post-measurement, we at least seem to have observed one definite outcome.
Now, I suppose one way to account for this without appealing to some sort of coming-into-being of a more differentiated structure is to appeal to a sort of facts-as-relations account: before the measurement, relative to the '|ready>' state of the detector, the (say) qubit is in an equal superposition; after the measurement, relative to the '|detected 1>'-state of the detector, the qubit is in the state |1>, and relative to the '|detected 0>' state of the detector, it's in the state |0>. We think about this as moving from a superposition to a definite state, but this is really thinking as if we could hold the state of the detector fixed---but thinking about this as a relation between the detector and the qubit, the three propositions 'relative to |ready>, the qubit is |0> |1>', 'relative to |detected 1>, the qubit is |1>', and 'relative to |detected 0>, the qubit is |0>'---which are not actually in conflict at all, and hence, can well be part of a consistent structure.
As for my 'middle way' between the naive box-of-things view of the world, and the---to my way of thinking---somewhat too rarefied view of relata-less relations, I don't really go into that in the present essay, but the germ of the idea---which is still pretty much all I've got---is in my entry into last year's contest, where I essentially propose that there are fundamental facts only relative to a certain perspective on the world, or a certain way to split the world into distinct subsets, or sub-objects, or perhaps, subject and object. It's a bit of a tightrope walk, and I'm far from certain something like that can be made to work at all, but not really liking to drop to either side, it's kinda all I got.
I hope you manage to meet all your deadlines!
Cheers
Jochen
