All parabolic geometries, i.e. Cartan geometries with homogeneous model a real generalized flag manifold, admit highly interesting classes of distinguished curves. The geodesics of a projective class of connections on a manifold, conformal circles on conformal Riemannian manifolds, and Chern--Moser chains on CR--manifo…
4-Legendrian permutation racks can't distinguish knots but recover classical invariants.
problem Distinguishing Legendrian knots using permutation racks.
method Study of 4-Legendrian racks and their effectiveness.
result 4-Legendrian permutation racks cannot distinguish knots but recover classical invariants.
Study on distinguishing mutant knots using specific representations.
problem Distinguishing mutant knots using colored HOMFLY-PT polynomials.
method Calculating polynomials and differences for mutant knot polynomials in specific representations.
result Properties of mutant knot polynomials in representations [3,1] and [4,2] were studied.
Proves cosets of certain subgroups in hyperbolic 3-manifold groups are conjugacy distinguished.
problem Characterizing conjugacy distinguished cosets in hyperbolic 3-manifold groups.
method Analyzes conjugacy distinguished cosets of specific subgroups in hyperbolic 3-manifold groups.
result Cosets of loxodromic subgroups are conjugacy distinguished from maximal parabolic subgroups.
We discuss positivity properties of `distinguished propagators', i.e. distinguished inverses of operators that frequently occur in scattering theory and wave propagation. We relate this to the work of Duistermaat and Hörmander on distinguished parametrices (approximate inverses), which has played a major role in quantu…
Enhanced bikei modules distinguish unoriented and non-orientable surface-links.
problem Distinguishing unoriented and non-orientable surface-links.
method Extending biquandle module invariants to unoriented surface-links using bikei modules.
result Enhanced bikei modules are more effective at distinguishing non-orientable surface-links than bikei homset cardinality alone.
Develop criteria to distinguish Gromov-Thurston manifolds using algebraic Dehn fillings.
problem Distinguishing homotopy types of Gromov-Thurston manifolds
method Using virtual Dehn fillings of relatively hyperbolic groups
result Criteria to distinguish homotopy types
Defines distinguished curves for Poincaré-Einstein and singular geometries.
problem Characterize distinguished curves for Poincaré-Einstein and singular geometries.
method Characterizes curves agreeing with geodesics away from singularities and satisfies boundary conditions.
result Provides a general theory of first integrals for distinguished curves in (Poincaré-)Einstein manifolds.
New framework distinguishes knots via neighborhood invariants.
problem Distinguishing knots and knotoids.
method Study of knotoid spectra and neighborhood invariants.
result Neighborhood invariants can distinguish knots of higher Gordian distance.
The abstract discusses parallels between Galois theory and Stone-Weierstrass theorem in various fields.
problem Connecting distinguishing power and expressive power in different fields.
method Elementary theorem connecting distinguishing power and expressive power.
result Foundational principle in linguistics linking distinguishing power and expressive power.
We exhibit the first example of a knot in the three-sphere with a pair of minimal genus Seifert surfaces that can be distinguished using the sutured Floer homology of their complementary manifolds together with the Spin^c-grading. This answers a question of Juhász. More precisely, we show that the Euler characteristic …
kth-order invariant graph networks are as powerful as kth-order WL in distinguishing graphs.
problem Measuring the expressive power of graph neural network formalisms.
method Considered kth-order invariant graph networks (k-IGNs) and compared their expressive power to kth-order WL.
result k-IGNs and k-WL are equally powerful in distinguishing graphs.
In this survey, we describe invariants that can be used to distinguish connected components of the moduli space of holonomy G_2 metrics on a closed 7-manifold, or to distinguish G_2-manifolds that are homeomorphic but not diffeomorphic. We also describe the twisted connected sum and extra-twisted connected sum construc…
Graphs indistinguishable by GNNs are fully characterized.
problem Limited expressiveness of GNNs in distinguishing non-isomorphic graphs.
method Theory of covering spaces to characterize GNN equivalence classes.
result Arbitrarily many non-isomorphic graphs that GNNs cannot distinguish.
The Hodge spectra help distinguish orbifolds from manifolds with singularities.
problem Distinguishing orbifolds from manifolds based on their singular sets.
method Computing heat invariants of Hodge Laplacians on p-forms. result The Hodge spectra of 0- and 1-forms distinguish orbifolds from manifolds with singularities. New F-polynomial distinguishes knotoid diagrams not previously possible.
problem Polynomial invariants for knotoids.
method Introduced F-polynomial and constructed distinguishing examples. result New invariant F distinguishes knotoids not previously possible. The theory of spinors is developed for locally anisotropic (la) spaces, in brief la-spaces, which in general are modeled as vector bundles provided with nonlinear and distinguished connections and metric structures (such la-spaces contain as particular cases the Lagrange, Finsler and, for trivial nonlinear connections,…
New method distinguishes 4-manifold types using trisections.
problem Distinguishing different 4-manifold types.
method Capping operation to transform relative trisections into closed 4-manifold diagrams.
result Examples of non-diffeomorphic relative trisections of the same 4-manifold.
New invariants distinguish spatial graphs not previously possible.
problem Distinguishing spatial graphs using Dehn colorings.
method Developed vertex-weight invariants based on Dehn colorings.
result Found spatial graphs distinguishable by vertex-weight invariants.
It is known that the first two-variable Links--Gould quantum link invariant LG≡LG2,1 is more powerful than the HOMFLYPT and Kauffman polynomials, in that it distinguishes all prime knots (including reflections) of up to 10 crossings. Here we report investigations which greatly expand the set of evaluations o…
Paper finds Hempel pairs distinguishable by Turaev-Viro invariants.
problem Surface bundles with non-isomorphic fundamental groups.
method Examines Hempel pairs and their Turaev-Viro invariants.
result Examples of Hempel pairs distinguishable and undistinguishable by Turaev-Viro invariants.
We prove a generalization of a theorem of Borel-Harish-Chandra on closed orbits of linear actions of reductive groups. Consider a real reductive algebraic group G acting linearly and rationally on a real vector space V. G can be viewed as the real points of a complex reductive group GC which acts on $V…
New technique distinguishes transverse knots, solving equivalence problem.
problem Distinguishing transverse knots with trivial orientation-preserving symmetry group.
method Developed a new technique extending previous work on Legendrian knots.
result Equivalence problem for transverse knots with trivial symmetry group is algorithmically solvable.
The study distinguishes knots using finite quotients of their fundamental groups.
problem Distinguishing knots in 3-dimensional space.
method Using finite quotients of the fundamental group of knot complements.
result The method successfully distinguishes specific knots.
We show that the zeroth coefficient of the cables of the HOMFLY polynomial (colored HOMFLY polynomials) does not distinguish mutants. This makes a sharp contrast with the total HOMFLY polynomial whose 3-cables can distinguish mutants.
In this paper we develop the distinguished (d-) Riemannian differential geometry (in the sense of d-connections, d-torsions, d-curvatures and some geometrical Maxwell-like and Einstein-like equations) for the polymomentum Hamiltonian which governs the multi-time electrodynamics.
New method uses quandle rings to distinguish knots and their mirrors.
problem Distinguishing knots and their mirror images.
method Combining idempotents in quandle rings with state sum invariants.
result Improved knot and mirror image distinction using fewer quandles.
We collect some examples showing that some Vassiliev invariants are not obtainable from the HOMFLY and Kauffman polynomials in the real sense, namely, that they distinguish knots not distinguishable by the HOMFLY and/or Kauffman polynomial.
New techniques in Khovanov homology help distinguish exotic surfaces in 4-ball.
problem Distinguishing exotic surfaces in the 4-ball that are not diffeomorphic.
method Developed new techniques for distinguishing cobordism maps on Khovanov homology using knot symmetries and braid factorizations.
result Distinguishes smooth surfaces in the 4-ball that are exotically knotted.
The classical trefoil is famous for having a three-colouring which distinguishes it from the unknot. The three-colouring is also notorious for not distinguishing the right handed from the left handed trefoil. However with a bit of tweaking the three colours can also be used for this task. What lies behind the method is…
We illustrate from the viewpoint of braiding operations on WZNW conformal blocks how colored HOMFLY polynomials with multiplicity structure can detect mutations. As an example, we explicitly evaluate the (2,1)-colored HOMFLY polynomials that distinguish a famous mutant pair, Kinoshita-Terasaka and Conway knot.
In medicine, visualizing chromosomes is important for medical diagnostics, drug development, and biomedical research. Unfortunately, chromosomes often overlap and it is necessary to identify and distinguish between the overlapping chromosomes. A segmentation solution that is fast and automated will enable scaling of co…
New criterion assesses cluster separability for validation.
problem Validating cluster analysis results and determining the number of clusters.
method Distinguishability criterion, combined loss function-based framework.
result Validated cluster configurations and determined the number of clusters.
Study computable multiclass learning within PAC framework.
problem Computable multiclass learnability in finite label space.
method Proposed computable version of Natarajan dimension and generalized to distinguishers.
result Characterizes CPAC learnability for certain dimensions and embeddings.
PathNNs improve graph neural networks by distinguishing non-isomorphic graphs.
problem Limitations of standard GNNs in distinguishing non-isomorphic graphs.
method Proposes PathNNs that aggregate paths to update node representations.
result Two variants of PathNNs are strictly more powerful than 1-WL algorithm.
We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds N1 and N2 induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the profinite completion of knot groups distinguish knots and show that it distingui…
Study finds conserved quantities for two types of curves on conformal sphere.
problem Identifying conserved quantities for specific types of curves on a conformal sphere.
method Used parallel tractor and Lagrangian formalism to compute conserved quantities.
result Found relation between conserved quantities of two curve types.
The paper evaluates homology for links in a solid torus with special boundary conditions.
problem Evaluating homology for links in a solid torus with specific boundary conditions.
method Using foam evaluation, the paper describes equivariant SL(2) and SL(3) homology for links in the solid torus with a distinguished line.
result Generators of state spaces for annular webs are represented by foams with boundary intersecting a distinguished line, contributing additional terms to the foam evaluation.
New TQFTs distinguish torus bundles and lens spaces.
problem Existence of faithful (2+1)-TQFTs.
method Subcategory of 3-cobordisms containing disjoint unions of tori and simplest cobordisms between them, defined TQFTs.
result TQFTs can distinguish torus bundles and lens spaces.
Paper introduces an invariant to distinguish handlebody-knot exteriors.
problem Challenges in distinguishing handlebody-knots with homeomorphic exteriors.
method Defined an invariant (annulus diagram) using characteristic submanifold theory and Koda-Ozawa classification for essential annuli.
result The annulus diagram can differentiate handlebody-knot families.
The Hodge spectra can distinguish orbifolds from manifolds, especially in low dimensions.
problem Distinguishing orbifolds from manifolds using Hodge spectra.
method Computing heat invariants of Hodge Laplacians on p-forms. result The Hodge spectra, particularly the 0- and 1-spectra, can distinguish orbifolds from manifolds in low dimensions. Study on oriented disingquandles for distinguishing singular links.
problem Distinguishing singular links of different colors.
method Introduced oriented dichromatic singular links and oriented disingquandles to define invariants.
result Found invariants that can distinguish some singular links.
In this paper we find a family of knots with trivial Alexander polynomial, and construct two non-isotopic Seifert surfaces for each member in our family. In order to distinguish the surfaces we study the sutured Floer homology invariants of the sutured manifolds obtained by cutting the knot complements along the Seifer…
Local causal structure learning aims to discover and distinguish direct causes (parents) and direct effects (children) of a variable of interest from data. While emerging successes have been made, existing methods need to search a large space to distinguish direct causes from direct effects of a target variable \emph{T…
New singquandles help distinguish certain types of links.
problem Distinguishing different types of singular links.
method Introduced G-Family of singquandles and used them to define invariants.
result These invariants can distinguish some dichromatic singular links.
New invariant distinguishes non-orientable surfaces.
problem Distinguishing non-orientable surfaces bounded by the same knot.
method Mixed invariant from Lee and Bar-Natan deformations of Khovanov homology.
result Distinguishes exotic non-orientable surfaces.
Paper constructs S-equivalent genus one knots distinguishable by Jones polynomial.
problem Problem 1.6 in Kirby's problem list (K3) about S-equivalence of genus one knots.
method Constructs a sequence of genus one knots that are S-equivalent but distinguishable by Jones polynomial.
result Genus one knots can be S-equivalent yet distinguishable by Jones polynomial.
This work explains why GANs are less used for NLP tasks.
problem Why adversarial approaches like GANs are not widely used for NLP tasks.
method Theoretical analysis and reductions showing that maximizing likelihood is equivalent to minimizing distinguishability for certain models.
result Maximizing likelihood is as effective as minimizing distinguishability for NLP tasks.