I'm not sure if this is the right place to post this, but I'm dealing with PPS (pulse per second) signals at the end of the day.
I am working with multiple GNSS receivers (from different manufacturers, if that matters). I am wondering if these multiple GNSS receivers are in sync with each other once they all have a fix. Considering that they should all be independently synchronized with the satellites' clocks, they should all be in sync with each other. Formalizing this a bit more, if we consider N distinct receiver+antenna systems, denoted \$(s_1, s_2, ..., s_N)\$, and denote \$t_{\text{PPS}i}^k\$ the UTC timestamp of the k-th PPS signal emitted by \$s_i\$, the following should be satisfied:
- for any pair of systems, their PPS do not drift apart: for all pairs \$(i, j) \in [1, ..., N] \times [1, ..., N]\$ and all integers \$k_1, k_2\$, \$t_{\text{PPS}i}^{k_1} - t_{\text{PPS}j}^{k_1} = t_{\text{PPS}i}^{k_2} - t_{\text{PPS}j}^{k_2}\$
- additionally, if all systems are configured so that their PPS are emitted at the same offset (e.g. all PPS are emitted on whole UTC seconds), then all the PPS signals are emitted at the same times; formally: for all pairs \$(i, j) \in [1, ..., N] \times [1, ..., N]\$ and all integers \$k\$, \$t_{\text{PPS}i}^{k} = t_{\text{PPS}j}^{k}\$
Is this correct? If not, by how much (roughly) would the synchronization be off between receivers?