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, 2008CoAuthors: Matthew HeddenAbstract:Abstract Using the knot Floer homology filtration, we define Invariants associated to a knot in a threemanifold possessing nonvanishing Floer co(homology) classes. In the case of the Ozsvath–Szabo contact invariant we obtain an invariant of knots in a contact threemanifold. 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 nonvanishing 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, 2007CoAuthors: Matthew HeddenAbstract:Using the knot Floer homology filtration, we define Invariants associated to a knot in a threemanifold possessing nonvanishing Floer co(homology) classes. In the case of the OzsvathSzabo contact invariant we obtain an invariant of knots in a contact threemanifold. This invariant provides an upper bound for the ThurstonBennequin 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 threesphere with negative maximal ThurstonBennequin 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 nonvanishing OzsvathSzabo Invariants, then any fibered knot can realize the classical EliashbergBennequin 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, 2015CoAuthors: 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. Counterexampleguided 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, 2015CoAuthors: 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. Counterexampleguided 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, 2017CoAuthors: Sucharit Sarkar, Cotton Seed, Zoltan SzaboAbstract:We study the relationship between BarNatan'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 sInvariants from the new theory in the same spirit as Rasmussen's sinvariant.
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, 2009CoAuthors: 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 nontrivial, with nonlinear 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 CPviolating angle in the electroweak sector.

algebraic structure of lepton and quark flavor Invariants and cp violation
arXiv: High Energy Physics  Phenomenology, 2009CoAuthors: 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 nontrivial, with nonlinear 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 CPviolating angle theta in the electroweak sector.
Ted Stanford  One of the best experts on this subject based on the ideXlab platform.

FINITETYPE KNOT Invariants BASED ON THE BANDPASS AND DOUBLEDDELTA MOVES
2009CoAuthors: James Conant, Jacob Mostovoy, Ted StanfordAbstract:Abstract. We study generalizations of finitetype 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 “strandtripling ” endomorphisms are shown to produce finitetype Invariants with familiar properties; in particular, generalized Goussarov’s nequivalence 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 bandpass and the doubled delta move. While the bandpass move gives only one “new ” invariant (namely, the Arf invariant), the Invariants corresponding to the doubleddelta move contain information which is not available to any finite collection of Vassiliev Invariants. The complete degree 0 doubleddelta invariant is the Sequivalence class of the knot. In this context, we generalize a result of Murakami and Ohtsuki to show that the only primitive Vassiliev Invariants of Sequivalence taking values in an abelian group with no 2torsion arise from the AlexanderConway polynomial. To this end, we introduce a discrete logarithm which transforms the coefficients of the Conway polynomia

FINITE TYPE KNOT Invariants BASED ON THE BANDPASS AND DOUBLED DELTA MOVES
2005CoAuthors: James Conant, Jacob Mostovoy, Ted StanfordAbstract:Abstract. We study generalizations of finitetype 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 “strandtripling” endomorphisms, the resulting finitetype Invariants have properties similar to those of the usual finitetype Invariants. In particular, generalized Goussarov’s nequivalence 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 nequivalence classes, with respect to Garoufalidis and Rozansky’s nullmove of pairs (M, k) where M is a homology 3sphere 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 bandpass and the doubled delta move. We show that the primitive finitetype Invariants corresponding to the bandpass move coincide with the primitive Vassiliev Invariants in orders greater than zero and that the only bandpass 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 Z2valued 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