Fluoroscopic X-ray guidance is a cornerstone for percutaneous orthopaedic surgical procedures. However, two-dimensional observations of the three-dimensional anatomy suffer from the effects of projective simplification. Consequently, many X-ray images from various orientations need to be acquired for the surgeon to accurately assess the spatial relations between the patient's anatomy and the surgical tools. In this paper, we present an on-the-fly surgical support system that provides guidance using augmented reality and can be used in quasi-unprepared operating rooms. The proposed system builds upon a multi-modality marker and simultaneous localization and mapping technique to co-calibrate an optical see-through head mounted display to a C-arm fluoroscopy system. Then, annotations on the 2D X-ray images can be rendered as virtual objects in 3D providing surgical guidance. We quantitatively evaluate the components of the proposed system, and finally, design a feasibility study on a semi-anthropomorphic phantom. The accuracy of our system was comparable to the traditional image-guided technique while substantially reducing the number of acquired X-ray images as well as procedure time
Robotic-assisted orthopaedic surgeries demand accurate, automated leg manipulation for improved spatial accuracy to reduce iatrogenic damage. In this study, we propose novel rigid body designs and an optical tracking volume setup for tracking of the femur, tibia and surgical instruments. Anatomical points inside the leg are measured using Computed Tomography with an accuracy of 0.3mm. Combined with kinematic modelling, we can express these points relative to any frame and across joints to sub-millimetre accuracy. It enables the setup of vectors on the mechanical axes of the femur and tibia for kinematic analysis. Cadaveric experiments are used to verify the tracking of internal anatomies and joint motion analysis. The proposed integrated solution is a first step in the automation of leg manipulation and can be used as a ground-truth for future robot-assisted orthopaedic research.
Conventional computer-assisted orthopaedic navigation systems rely on the tracking of dedicated optical markers for patient poses, which makes the surgical workflow more invasive, tedious, and expensive. Visual tracking has recently been proposed to measure the target anatomy in a markerless and effortless way, but the existing methods fail under real-world occlusion caused by intraoperative interventions. Furthermore, such methods are hardware-specific and not accurate enough for surgical applications. In this paper, we propose a RGB-D sensing-based markerless tracking method that is robust against occlusion. We design a new segmentation network that features dynamic region-of-interest prediction and robust 3D point cloud segmentation. As it is expensive to collect large-scale training data with occlusion instances, we also propose a new method to create synthetic RGB-D images for network training. Experimental results show that our proposed markerless tracking method outperforms recent state-of-the-art approaches by a large margin, especially when an occlusion exists. Furthermore, our method generalises well to new cameras and new target models, including a cadaver, without the n
We introduce the notion of round surgery diagrams in $S^3$ for representing 3-manifolds similar to Dehn surgery diagrams. We give a correspondence between a certain class of round surgery diagrams and Dehn surgery diagrams for 3-manifolds. As a consequence, we recover Asimov's result, stating that any closed connected oriented 3-manifold can be obtained by a round surgery on a framed link in $S^3$. There may be more than one round surgery diagram giving rise to the same 3-manifold. Thus, it is natural to ask whether there is a version of Kirby Calculus for round surgery diagrams, similar to the case of Dehn surgery diagrams with integral framings. In this direction, we define four types of moves on round surgery diagrams such that any two round surgery diagrams corresponding to the same 3-manifold can be obtained one from another by a finite sequence of these moves, thereby establishing a version of Kirby Calculus. As an application, we prove the existence of taut foliations, hence the existence of tight contact structures on 3-manifolds obtained by round 1-surgery on fibred links with two components on $S^3$.
It is known that any contact 3-manifold can be obtained by rational contact Dehn surgery along a Legendrian link L in the standard tight contact 3-sphere. We define and study various versions of contact surgery numbers, the minimal number of components of a surgery link L describing a given contact 3-manifold under consideration. In the first part of the paper, we relate contact surgery numbers to other invariants in terms of various inequalities. In particular, we show that the contact surgery number of a contact manifold is bounded from above by the topological surgery number of the underlying topological manifold plus three. In the second part, we compute contact surgery numbers of all contact structures on the 3-sphere. Moreover, we completely classify the contact structures with contact surgery number one on $S^1\times S^2$, the Poincaré homology sphere, and the Brieskorn sphere $Σ(2,3,7)$. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact $3$-sphere. We further obtain results for the 3-torus and lens spaces. As one ingredient
In this article, we define the contact surgery distance of two contact 3-manifolds $(M,ξ)$ and $(M',ξ')$ as the minimal number of contact surgeries needed to obtain $(M,ξ)$ from $(M',ξ')$. Our main result states that the contact surgery distance between two contact $3$-manifolds is at most $5$ larger than the topological surgery distance between the underlying smooth manifolds. As a byproduct of our proof, we classify the rational homology $3$-spheres on which the $d_3$-invariant of a $2$-plane field already determines its $Γ$-invariant and Euler class.
In this paper, we set up two surgery theories and two kinds of Whitehead torsion for foliations. First, we construct a bounded surgery theory and bounded Whitehead torsion for foliations, which correspond to the Connes' foliation algebra in the K-theory of operator algebras, in the sense that there is an analogy between surgery theory and index theory, and a Novikov Conjecture for bounded surgery on foliations in analogy with the foliated Novikov conjecture of P.Baum and A.Connes in operator theory. This surgery theory classifies the leaves topologically. Secondly, we construct a bounded geometry surgery for foliations, which is a generalization of blocked surgery, and a bounded geometry Whitehead torsion. The classifications in this surgery theory include the specification of the Riemannian metrics of the leaves up to quasi=isometry. We state Borel conjectures for foliations, which solves a problem posed by S.Weinberger \cite{Wein}, and verify these in some cases of geometrical interest.
We study the effect of surgery on transverse knots in contact 3-manifolds. In particular, we investigate the effect of such surgery on open books, the Heegaard Floer contact invariant, and tightness. The overarching theme of this paper is to show that in many contexts, surgery on transverse knots is more natural than surgery on Legendrian knots. Besides reinterpreting surgery on Legendrian knots in terms of transverse knots, our main results on are in two complementary directions: conditions under which inadmissible transverse surgery (\textit{cf.\@} positive contact surgery on Legendrian knots) preserves tightness, and conditions under which it creates overtwistedness. In the first direction, we give the first result on the tightness of inadmissible transverse surgery for contact manifolds with vanishing Heegaard Floer contact invariant. In particular, inadmissible transverse surgery on the connected binding of a genus $g$ open book that supports a tight contact structure preserves tightness if the surgery coefficient is greater than $2g-1$. In the second direction, along with more general statements, we deduce a partial generalisation to a result of Lisca and Stipsicz: when $L$ i
Quantum error correction (QEC) plays a crucial role in correcting noise and paving the way for fault-tolerant quantum computing. This field has seen significant advancements, with new quantum error correction codes emerging regularly to address errors effectively. Among these, topological codes, particularly surface codes, stand out for their low error thresholds and feasibility for implementation in large-scale quantum computers. However, these codes are restricted to encoding a single qubit. Lattice surgery is crucial for enabling interactions among multiple encoded qubits or between the lattices of a surface code, ensuring that its sophisticated error-correcting features are maintained without significantly increasing the operational overhead. Lattice surgery is pivotal for scaling QECCs across more extensive quantum systems. Despite its critical importance, comprehending lattice surgery is challenging due to its inherent complexity, demanding a deep understanding of intricate quantum physics and mathematical concepts. This paper endeavors to demystify lattice surgery, making it accessible to those without a profound background in quantum physics or mathematics. This work explor
We prove an equivariant version of the Heegaard Floer link surgery formula. As a special case, this gives an equivariant knot surgery formula for equivariant knots in $S^3$. Our proof goes by way of a naturality theorem for certain bordered modules described by the last author. As a sample application, we prove the kernel of the forgetful map from the equivariant homology cobordism group to the homology cobordism group contains a $\Z^\infty$-summand.
Concept erasure in text-to-image diffusion models is crucial for mitigating harmful content, yet existing methods often compromise generative quality. We introduce Semantic Surgery, a novel training-free, zero-shot framework for concept erasure that operates directly on text embeddings before the diffusion process. It dynamically estimates the presence of target concepts in a prompt and performs a calibrated vector subtraction to neutralize their influence at the source, enhancing both erasure completeness and locality. The framework includes a Co-Occurrence Encoding module for robust multi-concept erasure and a visual feedback loop to address latent concept persistence. As a training-free method, Semantic Surgery adapts dynamically to each prompt, ensuring precise interventions. Extensive experiments on object, explicit content, artistic style, and multi-celebrity erasure tasks show our method significantly outperforms state-of-the-art approaches. We achieve superior completeness and robustness while preserving locality and image quality (e.g., 93.58 H-score in object erasure, reducing explicit content to just 1 instance, and 8.09 H_a in style erasure with no quality degradation).
Two Dehn surgeries on a knot are called cosmetic if they yield homeomorphic three-manifolds. We show for a certain family of null-homologous knots in any closed orientable three-manifold, if the knot admits cosmetic surgeries with a pair of positive surgery coefficients, then the coefficients are both greater than $1$. In addition, for this family of knots, we show that $1/q$ Dehn surgery for $q$ at least $2$ is not homeomorphic to the original three-manifold. The proofs of these results use the mapping cone formula for the Heegaard Floer homology of Dehn surgery in terms of the knot Floer homology of the knot; we provide a new proof of this formula for integer surgeries in $\text{Spin}^c$ structures with nontorsion first Chern class.
Poor adaptation of orbital implants remains a major contributor to postoperative complications and revision surgery. Although preformed orbital plates are widely used to reduce cost and operative time compared with customized implants, surgeons currently lack publicly available tools and standardized metrics to quantitatively compare plate fit across vendors, sizes, and patient anatomy. We developed SlicerOrbitSurgerySim, an open-source extension for the 3D Slicer platform that enables interactive virtual registration, evaluation, and comparison of multiple preformed orbital plates in a patient-specific virtual planning environment. The software generates reproducible quantitative plate-to-orbit distance metrics and visualization tools that support both patient-specific planning and population-level statistical analysis of plate adaptability. By facilitating objective comparison of implant designs and placement strategies, this tool aims to improve preoperative decision-making, reduce intraoperative plate modification, and promote collaborative research and surgical education. Pilot studies, sample datasets, and detailed tutorials are provided to support testing, transparency, and
The cosmetic surgery conjecture predicts that for a non-trivial knot in the three-sphere, performing two different Dehn surgeries results in distinct oriented three-manifolds. Hanselman reduced the problem to $\pm 2$ or $\pm 1/n$ surgeries being the only possible cosmetic surgeries. We remove the case of $\pm 1/n$-surgeries using the Chern-Simons filtration on Floer's original irreducible-only instanton homology, reducing the conjecture to the case of $\pm 2$ surgery on genus $2$ knots with trivial Alexander polynomial. We also prove some similar results for surgeries on knots in $S^2 \times S^1$. As key steps in establishing these results, we define invariants of the oriented homeomorphism type of three-manifolds derived from filtered instanton Floer homology and introduce a new surgery relationship for Floer's instanton homology.
We introduce a generalization of Goodman surgery to the category of projectively Anosov flows. This construction is performed along a knot that is simultaneously Legendrian and transverse for a supporting bi-contact structure. If the flow is Anosov there is a particular class of supporting bi-contact structures that induce Lorentzian metrics satisfying Barbot's criterion of hyperbolicity. Foulon and Hasselblatt construct new contact Anosov flows by surgery from a geodesic flow. We generalize their result showing that in any contact Anosov flow there is a family of Legendrian knots that can be used to produce new contact Anosov flows by surgery. Outside of the realm of Anosov flows we generate new examples of projectively Anosov flows on hyperbolic 3-manifolds. These flows contain an invariant submanifold of genus g>0. We also give some application to contact geometry: we interpret the bi-contact surgery in terms of classic contact-Legendrian surgery and admissible-inadmissible transverse surgery and we deduce some (hyper)tightness result for contact and transverse surgeries.
We demonstrate that the contact cosmetic surgery conjecture holds true for all non-trivial Legendrian knots, with the possible exception of Lagrangian slice knots. We also discuss the contact cosmetic surgeries on Legendrian unknots and make the surprising observation that there are some Legendrian unknots that have a contact surgery with no cosmetic pair, while all other contact surgeries are contactomorphic to infinitely many other contact surgeries on the knot.
We demonstrate how to use lattice surgery to enact a universal set of fault-tolerant quantum operations with color codes. Along the way, we also improve existing surface-code lattice-surgery methods. Lattice-surgery methods use fewer qubits and the same time or less than associated defect-braiding methods. Furthermore, per code distance, color-code lattice surgery uses approximately half the qubits and the same time or less than surface-code lattice surgery. Color-code lattice surgery can also implement the Hadamard and phase gates in a single transversal step---much faster than surface-code lattice surgery can. Against uncorrelated circuit-level depolarizing noise, color-code lattice surgery uses fewer qubits to achieve the same degree of fault-tolerant error suppression as surface-code lattice surgery when the noise rate is low enough and the error suppression demand is high enough.
The recent Segment Anything Model (SAM) 2 has demonstrated remarkable foundational competence in semantic segmentation, with its memory mechanism and mask decoder further addressing challenges in video tracking and object occlusion, thereby achieving superior results in interactive segmentation for both images and videos. Building upon our previous empirical studies, we further explore the zero-shot segmentation performance of SAM 2 in robot-assisted surgery based on prompts, alongside its robustness against real-world corruption. For static images, we employ two forms of prompts: 1-point and bounding box, while for video sequences, the 1-point prompt is applied to the initial frame. Through extensive experimentation on the MICCAI EndoVis 2017 and EndoVis 2018 benchmarks, SAM 2, when utilizing bounding box prompts, outperforms state-of-the-art (SOTA) methods in comparative evaluations. The results with point prompts also exhibit a substantial enhancement over SAM's capabilities, nearing or even surpassing existing unprompted SOTA methodologies. Besides, SAM 2 demonstrates improved inference speed and less performance degradation against various image corruption. Although slightly u
BACKGROUND: Clinical factors influence surgery duration. This study also investigated non-clinical effects. METHODS: 22 months of data about thoracic operations in a large hospital in China were reviewed. Linear and nonlinear regression models were used to predict the duration of the operations. Interactions among predictors were also considered. RESULTS: Surgery duration decreased with the number of operations a surgeon performed in a day (P<0.001). Also, it was found that surgery duration decreased with the number of operations allocated to an OR as long as there were no more than four surgeries per day in the OR (P<0.001), but increased with the number of operations if it was more than four (P<0.01). The duration of surgery was affected by its position in a sequence of surgeries performed by a surgeon. In addition, surgeons exhibited different patterns of the effects of surgery type for surgeries in different positions in the day. CONCLUSIONS: Surgery duration was affected not only by clinical effects but also some non-clinical effects. Scheduling and allocation decisions significantly influenced surgery duration.
Iwase and Matsumoto defined `pochette surgery' as a cut-and-paste on 4-manifolds along a 4-manifold homotopy equivalent to $S^2\vee S^1$. The first author in [10] studied infinitely many homotopy 4-spheres obtained by pochette surgery. In this paper we compute the homology of pochette surgery of any homology 4-sphere by using `linking number' of a pochette embedding. We prove that pochette surgery with the trivial cord does not change the diffeomorphism type or gives a Gluck surgery. We also show that there exist pochette surgeries on the 4-sphere with a non-trivial core sphere and a non-trivial cord such that the surgeries give the 4-sphere.