Weak geometric compatibility of T-junction extensions

About 5 years old · traced to

Let T∈W\mspace−3muG\mspace−2muA\mspace−2muS\mathscr{T} \in {\mathrm{W\mspace{-3mu}G\mspace{-2mu}A\mspace{-2mu}S}}, and let A(1),A(2)∈Ap\mathbf{A}^{(1)},\mathbf{A}^{(2)} \in \mathscr{A}_{\mathbf{p}} satisfy

supp⁡ΩBA(1)∩supp⁡ΩBA(2)≠\nothing\operatorname{supp}_\Omega B_{\mathbf{A}^{(1)}}\cap \operatorname{supp}_\Omega B_{\mathbf{A}^{(2)}} \neq \nothing

and vj(A(1))⋈̸vj(A(2))\mathrm{v}_{j}(\mathbf{A}^{(1)}) \not\bowtie \mathrm{v}_{j}(\mathbf{A}^{(2)}) for some j∈{1,…,d}j\in\{1,\dots,d\}. Let T∈Tj\mathtt{T}\in\mathbb{T}_j be the T-junction inferred from the stated corollary, and put k=pdir⁡(T)k=\operatorname{pdir}(\mathtt{T}).

Weak geometric T-junction conjecture. Then

vk(T)⋈vk(A(1))andvk(T)⋈vk(A(2)).\mathrm{v}_{k}(\mathtt{T}) \bowtie \mathrm{v}_{k}(\mathbf{A}^{(1)}) \quad\text{and}\quad \mathrm{v}_{k}(\mathtt{T}) \bowtie \mathrm{v}_{k}(\mathbf{A}^{(2)}).

The conjecture is presented as implying that weak geometric analysis-suitability is sufficient for weak dual compatibility. The supplied text does not establish whether this specific intermediate claim is proved, so its status remains open.

References

Primary source

Robin Görmer and Philipp Morgenstern, “Multivariate analysis-suitable T-splines of arbitrary degree”, arXiv:2112.05055 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.