The Experts below are selected from a list of 360 Experts worldwide ranked by ideXlab platform
Matthew Hedden - One of the best experts on this subject based on the ideXlab platform.
-
an ozsvath szabo floer homology invariant of knots in a contact manifold
Advances in Mathematics, 2008Co-Authors: Matthew HeddenAbstract:Abstract Using the knot Floer homology filtration, we define Invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath–Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston–Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than S 3 with negative maximal Thurston–Bennequin invariant. Perhaps more interesting, our invariant provides a criterion for an open book to induce a tight contact structure. A corollary is that if a manifold possesses contact structures with distinct non-vanishing Ozsvath–Szabo Invariants, then any fibered knot can realize the classical Eliashberg–Bennequin bound in at most one of these contact structures.
-
an ozsvath szabo floer homology invariant of knots in a contact manifold
arXiv: Geometric Topology, 2007Co-Authors: Matthew HeddenAbstract:Using the knot Floer homology filtration, we define Invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, our invariant provides a criterion for an open book to induce a tight contact structure. A corollary is that if a manifold possesses contact structures with distinct non-vanishing Ozsvath-Szabo Invariants, then any fibered knot can realize the classical Eliashberg-Bennequin bound in at most one of these contact structures.
Lijun Zhang - One of the best experts on this subject based on the ideXlab platform.
-
counterexample guided polynomial loop invariant generation by lagrange interpolation
Computer Aided Verification, 2015Co-Authors: Yufang Chen, Chihduo Hong, Bowyaw Wang, Lijun ZhangAbstract:We apply multivariate Lagrange interpolation to synthesizing polynomial quantitative loop Invariants for probabilistic programs. We reduce the computation of a quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative Invariants. We evaluate our technique by several case studies with polynomial quantitative loop Invariants in the experiments.
-
counterexample guided polynomial loop invariant generation by lagrange interpolation
arXiv: Software Engineering, 2015Co-Authors: Yufang Chen, Chihduo Hong, Bowyaw Wang, Lijun ZhangAbstract:We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop Invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative Invariants. We evaluate our technique by several case studies with polynomial quantitative loop Invariants in the experiments.
Zoltan Szabo - One of the best experts on this subject based on the ideXlab platform.
-
a perturbation of the geometric spectral sequence in khovanov homology
Quantum Topology, 2017Co-Authors: Sucharit Sarkar, Cotton Seed, Zoltan SzaboAbstract:We study the relationship between Bar-Natan's perturbation in Khovanov homology and Szabo's geometric spectral sequence, and construct a link invariant that generalizes both into a common theory. We study a few properties of the new invariant, and introduce a family of s-Invariants from the new theory in the same spirit as Rasmussen's s-invariant.
Aneesh V Manohar - One of the best experts on this subject based on the ideXlab platform.
-
algebraic structure of lepton and quark flavor Invariants and cp violation
Journal of High Energy Physics, 2009Co-Authors: Elizabeth E Jenkins, Aneesh V ManoharAbstract:Lepton and quark flavor Invariants are studied, both in the Standard Model with a dimension five Majorana neutrino mass operator, and in the seesaw model. The ring of Invariants in the lepton sector is highly non-trivial, with non-linear relations among the basic Invariants. The Invariants are classified for the Standard Model with two and three generations, and for the seesaw model with two generations, and the Hilbert series is computed. The seesaw model with three generations proved computationally too difficult for a complete solution. We give an invariant definition of the CP-violating angle in the electroweak sector.
-
algebraic structure of lepton and quark flavor Invariants and cp violation
arXiv: High Energy Physics - Phenomenology, 2009Co-Authors: Elizabeth E Jenkins, Aneesh V ManoharAbstract:Lepton and quark flavor Invariants are studied, both in the Standard Model with a dimension five Majorana neutrino mass operator, and in the seesaw model. The ring of Invariants in the lepton sector is highly non-trivial, with non-linear relations among the basic Invariants. The Invariants are classified for the Standard Model with two and three generations, and for the seesaw model with two generations, and the Hilbert series is computed. The seesaw model with three generations proved computationally too difficult for a complete solution. We give an invariant definition of the CP-violating angle theta in the electroweak sector.
Ted Stanford - One of the best experts on this subject based on the ideXlab platform.
-
FINITE-TYPE KNOT Invariants BASED ON THE BAND-PASS AND DOUBLED-DELTA MOVES
2009Co-Authors: James Conant, Jacob Mostovoy, Ted StanfordAbstract:Abstract. We study generalizations of finite-type knot Invariants obtained by replacing the crossing change in the Vassiliev skein relation by some other local move. First, we represent the local moves by normal subgroups of the pure braid group P∞. Subgroups that are stable under the “strand-tripling ” endomorphisms are shown to produce finite-type Invariants with familiar properties; in particular, generalized Goussarov’s n-equivalence classes of knots form groups under the connected sum. (Similar results, but with a different approach, have been obtained before by Taniyama and Yasuhara.) Treating local moves as surgeries on claspers, we study two particular cases in detail: the band-pass and the doubled delta move. While the band-pass move gives only one “new ” invariant (namely, the Arf invariant), the Invariants corresponding to the doubled-delta move contain information which is not available to any finite collection of Vassiliev Invariants. The complete degree 0 doubled-delta invariant is the S-equivalence class of the knot. In this context, we generalize a result of Murakami and Ohtsuki to show that the only primitive Vassiliev Invariants of S-equivalence taking values in an abelian group with no 2-torsion arise from the Alexander-Conway polynomial. To this end, we introduce a discrete logarithm which transforms the coefficients of the Conway polynomia
-
FINITE TYPE KNOT Invariants BASED ON THE BAND-PASS AND DOUBLED DELTA MOVES
2005Co-Authors: James Conant, Jacob Mostovoy, Ted StanfordAbstract:Abstract. We study generalizations of finite-type knot Invariants obtained by replacing the crossing change in the Vassiliev skein relation by some other local move. There are several ways of formalizing the notion of a local move. Representing knots as closed braids, one can define local moves as modifications by elements of some subgroup G of the pure braid group P∞ on an infinite number of strands. We prove that if the subgroup G is stable under the “strand-tripling” endomorphisms, the resulting finite-type Invariants have properties similar to those of the usual finite-type Invariants. In particular, generalized Goussarov’s n-equivalence classes of knots form groups under the connected sum operation. (Similar results, but with a different approach, have been obtained before by Taniyama and Yasuhara.) These results lead us to ask whether the set of generalized n-equivalence classes, with respect to Garoufalidis and Rozansky’s null-move of pairs (M, k) where M is a homology 3-sphere and k a knot in M, is, in fact, a group. We answer this question in the affirmative for the submonoid where M = S 3. One can also define local moves as surgeries on claspers. Using this description of local moves, we study two particular cases: the band-pass and the doubled delta move. We show that the primitive finite-type Invariants corresponding to the band-pass move coincide with the primitive Vassiliev Invariants in orders greater than zero and that the only band-pass invariant of order zero is the Arf invariant. In the case of the doubled delta move there are many more Invariants of each order. We show that the only primitive Invariants of order zero that are also Vassiliev Invariants, come from the Conway polynomial. (Over the rationals this has been established before by Murakami and Ohtsuki.) We find that there is exactly one Vassiliev invariant in each odd degree which is of doubled delta degree one, whereas in each even degree there is at most a Z2-valued invariant, which we show exists in degree 4. For higher doubled delta degrees, we observe that the Euler degree n + 1 part of the rational lift of the Kontsevich integral is a doubled delta degree 2n invariant. 1