Analysis of clinical data is a cornerstone of biomedical research with applications in areas such as genomic testing and response characterization of therapeutic drugs. Maintaining strict privacy controls is essential because such data typically contains personally identifiable health information of patients. At the same time, regulatory compliance often requires study managers to demonstrate the integrity and authenticity of participant data used in analyses. Balancing these competing requirements, privacy preservation and verifiable accountability, remains a critical challenge. In this paper, we present CoSMeTIC, a zero-knowledge computational framework that proposes computational Sparse Merkle Trees (SMTs) as a means to generate verifiable inclusion and exclusion proofs for individual participants' data in clinical studies. We formally analyze the zero-knowledge properties of CoSMeTIC and evaluate its computational efficiency through extensive experiments. Using the Kolmogorov-Smirnov and likelihood-ratio hypothesis tests, along with logistic-regression-based genomic analyses on real-world Huntington's disease datasets, we demonstrate that CoSMeTIC achieves strong privacy guaran
We construct infinite families of chirally cosmetic surgeries on chiral hyperbolic knots and purely cosmetic surgeries on hyperbolic manifolds with multiple cusps, disproving conjectures that these phenomena do not appear, including Problem 1.12(d) in the K3 problem list. We also give some hints regarding why chirally cosmetic surgeries appear to be more common than purely cosmetic surgeries on $1$-cusped manifolds.
Using the rational surgery formula for the Casson--Walker--Lescop invariant of links in the $3$-sphere, we show that any null-homologous knot in a rational homology sphere admits at most two pairs of integral purely cosmetic surgeries. We also present constraints for null-homologous knots in certain $3$-manifolds with the first Betti number one or two to admit purely cosmetic surgeries. As another application, we show that, for a null-homologous knot in some $3$-manifolds, including $S^2 \times S^1$, there are at most two knots which are inequivalent to the given one, but whose exteriors are orientation-preservingly homeomorphic to that of the given one.
We computationally explore non-coherent band attachments between low crossing number knots, using grid diagrams. We significantly improve the current H(2)-distance table. In particular, we find two new distance one pairs with fewer than seven crossings: one between $3_1\#3_1$ and $7_4m$, and a chirally cosmetic one for $7_3$. We further determine a total of 33 previously unknown H(2)-distance one pairs for knots with up to $8$ crossings. The appendix by Kazuhiro Ichihara, In Dae Jong and Masakazu Teragaito contains a construction explaining the existence of chirally cosmetic bands for an infinite family of knots, including $5_1,\, 7_3$ and $8_8$.
A pair of Dehn fillings on a compact, orientable 3-manifold with a torus boundary is said to be purely cosmetic if the resulting 3-manifolds are orientation-preservingly homeomorphic. In this paper, we show that if the torus boundary is incompressible, then there are only finitely many pairs of purely cosmetic fillings.
This paper computes the Jones polynomial and the invariants obstructing cosmetic surgery which are derived from it for two infinite families of knots, proving they satisfy the Purely Cosmetic Surgery Conjecture. Both the method of computation and the method for generating families of knots extend.
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.
This paper employs knot invariants and results from hyperbolic geometry to develop a practical procedure for checking the cosmetic surgery conjecture on any given one-cusped manifold. This procedure has been used to establish the following computational results. First, we verify that all knots up to 19 crossings, and all one-cusped 3-manifolds in the SnapPy census, do not admit any purely cosmetic surgeries. Second, we check that a hyperbolic knot with at most 15 crossings only admits chirally cosmetic surgeries when the knot itself is amphicheiral. Third, we enumerate all knots up to 13 crossings that share a common Dehn fillings with the figure-8 knot. The code that verifies these results is publicly available on GitHub.
The cosmetic crossing conjecture posits that switching a non-trivial crossing in a knot diagram always changes the knot type. Generalizing work of Balm, Friedl, Kalfagianni and Powell, and of Lidman and Moore, we give an Alexander polynomial condition that obstructs cosmetic crossing changes for knots with $L$-space branched double covers, a family that includes all alternating knots. As an application, we prove the cosmetic crossing conjecture for a five-parameter infinite family of pretzel knots. We also discuss the state of the conjecture for alternating knots with eleven crossings.
We study cosmetic surgeries on a knot in a homology sphere. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredient is the rational surgery formula of the Casson--Walker invariant for 2-component links in the 3-sphere.
It is conjectured that, on a non-trivial knot in the 3-sphere, no pair of Dehn surgeries along distinct slopes are purely cosmetic, that is, none of them yield 3-manifolds those are orientation-preservingly homeomorphic. In this paper, we show that alternating knots having reduced alternating diagram with the twist number at least 7, Montesinos knots of length at least 5, and alternating Montesinos knots of length at least 4 do not admit purely cosmetic surgeries. As a corollary, we see that large alternating Montesinos knots have no purely cosmetic surgeries.
In this paper, we present a cosmetic-specific skin image dataset. It consists of skin images from $45$ patches ($5$ skin patches each from $9$ participants) of size $8mm^*8mm$ under three cosmetic products (i.e., foundation, blusher, and highlighter). We designed a novel capturing device inspired by Light Stage. Using the device, we captured over $600$ images of each skin patch under diverse lighting conditions in $30$ seconds. We repeated the process for the same skin patch under three cosmetic products. Finally, we demonstrate the viability of the dataset with an image-to-image translation-based pipeline for cosmetic rendering and compared our data-driven approach to an existing cosmetic rendering method.
A pair of Dehn surgeries on a knot is called chirally cosmetic if they yield orientation-reversingly homeomorphic 3-manifolds. In this paper, we consider exceptional or half-integral chirally cosmetic surgeries, and obtain several restrictions.
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.
We show that if there exists a knot in $S^3$ that admits purely cosmetic surgeries, then there exists a hyperbolic one with this property.
In this paper we verify that with the exception of the $(2, 2n+1)$ torus knots, positive 2-bridge knots up to 31 crossings do not admit chirally cosmetic surgeries. A knot $K$ admits chirally cosmetic surgeries if there exist surgeries $S^3_r$ and $S^3_{r'}$ with distinct slopes $r$ and $r'$ such that $S^3_r(K) \cong -S^3_{r'}(K)$, where the negative represents an orientation reversal. To verify this, we use the obstruction formula from arXiv:2112.03144 which relates classical knot invariants to the existence of chirally cosmetic surgeries. To check the formula, we develop a Python program that computes the classical knot invariants $a_2$, $a_4$, $v_3$, $\det$, and $g$ of a positive 2-bridge knot.
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.
Let $K$ be a knot in a rational homology sphere $M$. This paper investigates the question of when modifying $K$ by adding $m>0$ half-twists to two oppositely-oriented strands, while keeping the rest of $K$ fixed, produces a knot isotopic to $K$. Such a two-strand twist of order $m$, as we define it, is a generalized crossing change when $m$ is even and a non-coherent band surgery when $m=1$. A cosmetic two-strand twist on $K$ is a non-nugatory one that produces an isotopic knot. We prove that fibered knots in $M$ admit no cosmetic generalized crossing changes. Further, we show that if $K$ is fibered, then a two-strand twist of odd order $m$ that is determined by a separating arc in a fiber surface for $K$ can only be cosmetic if $m=\pm 1$. After proving these theorems, we further investigate cosmetic two-strand twists of odd orders. Through two examples, we find that the second theorem above becomes false if `separating' is removed, and that a key technical proposition fails when the order equals 1. A closer look at an order-one example, an instance of cosmetic band surgery on the unknot, reveals it to be nearly trivial in a sense that we name `weakly nugatory'. We correct the t
This paper concerns the truly or purely cosmetic surgery conjecture. We give a survey on exceptional surgeries and cosmetic surgeries. We prove that the slope of an exceptional truly cosmetic surgery on a hyperbolic knot in $S^3$ must be $\pm 1$ and the surgery must be toroidal but not Seifert fibred. As consequence we show that there are no exceptional truly cosmetic surgeries on certain types of hyperbolic knot in $S^3$. We also give some properties of Heegaard Floer correction terms and torsion invariants for exceptional cosmetic surgeries on $S^3$.
The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then there is at most one pair of exceptional truly cosmetic slope. We also prove that toroidal truly cosmetic surgeries on integer homology spheres must be integer homology spheres.