arXiv research

Gödel's sentence is an adversarial example but unsolvable.

Non-isomorphic groups with similar profinite completions found.

We give the classification of solvable and splitting Lie triple system and it turn that, up to isomorphism there exist 7 non isomorphic canonical Lie triple systems and 6 non isomorphic splitting canonical Lie triple systems and find the solvable Lie algebras associated.

We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that the linking forms provide more information than the modules alone. This generalizes work of Trotter, who found examples of knots that have isomorphic classical Alexander modules, but…

An uncountable collection of arcs in S^3 is constructed, each member of which is wild precisely at its endpoints, such that the fundamental groups of their complements are non-trivial, pairwise non-isomorphic, and indecomposable with respect to free products. The fundamental group of the complement of a certain Fox-Art…

New knot quandles distinguish ribbon knots with isomorphic groups.

A triangulation of a punctured or pinched surface is irreducible if no edge can be shrunk without producing multiple edges or changing the topological type of the surface. The finiteness of the set of (non-isomorphic) irreducible triangulations of any punctured surface is established. Complete lists of irreducible tria…

Paper constructs infinitely many tangent functors on diffeological spaces.

In this paper, it is shown that non-isomorphic effective linear circle actions yield non-diffeomorphic differential structures on the corresponding orbit spaces.

PathNNs improve graph neural networks by distinguishing non-isomorphic graphs.

A holomorphic Engel structure determines a flag of distributions $\mathcal{W}\subset \mathcal{D}\subset \mathcal{E}$. We construct examples of Engel structures on $\mathbf{C}^4$ such that each of these distributions is hyperbolic in the sense that it has no tangent copies of $\mathbf{C}$. We also construct two infinite…

Graphs indistinguishable by GNNs are fully characterized.

We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symm…

We construct several infinite families of nonnegatively curved manifolds of low cohomogeneity and small dimension which can be distinguished by their cohomology rings. In particular, we exhibit an infinite family of eight-dimensional cohomogeneity one manifolds of nonnegative curvature with pairwise non-isomorphic comp…

Using contact surgery we define families of contact structures on certain Seifert fibered three-manifolds. We prove that all these contact structures are tight using contact Ozsath-Szabo invariants. We use these examples to show that, given a natural number n, there exists a Seifert fibered three-manifold carrying at l…

A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of combinatorial structures of irreducible triangulations is made by hand for the on…

We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these groups. For each $n\geq 4$ we construct a closed aspherical $n$-manifold that admit…

We prove the existence of a one-parameter family of nearly parallel $G_2$-structures on the manifold $S^3\times \mathbb R^4$, which are mutually non isomorphic and invariant under the cohomogeneity one action of the group $SU(2)^3$. This family connects the two locally homogeneous nearly parallel $G_2$-structures which…

We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a family of uncountable many planar Peano continua with pairwise non-isomorphic f…

We show that the presence of a plastikstufe induces a certain degree of flexibility in contact manifolds of dimension 2n+1>3. More precisely, we prove that every Legendrian knot whose complement contains a "nice" plastikstufe can be destabilized (and, as a consequence, is loose). As an application, it follows in certai…

The study explores cohomological invariants and decomposes them into irreducible parts, focusing on zigzags.

We examine the local geometry of affine surfaces which are locally symmetric. There are 6 non-isomorphic local geometries. We realize these examples as Type A, Type B, and Type C geometries using a result of Opozda and classify the relevant geometries up to linear isomorphism. We examine the geodesic structures in this…

In any connected non-compact semi-simple Lie group without factors locally isomorphic to SL_2(R), there can be only finitely many lattices (up to isomorphism) of a given covolume. We show that there exist arbitrarily large families of pairwise non-isomorphic arithmetic lattices of the same covolume. We construct these …

Thanks to a result of Lisca and Matic and a refinement by Plamenevskaya, it is known that on a 4-manifold with boundary Stein structures with non-isomorphic Spinc structures induce contact structures with distinct Ozsvath-Szabo invariants. Here we give an infinite family of examples showing that converse of Lisca-Matic…

The study constructs families of nilpotent Lie groups with geodesic orbit metrics.

We find a one-parameter family of non-isomorphic nilpotent Lie algebras $\mathfrak{g}_a$, with $a \in [0,\infty)$, of real dimension eight with (strongly non-nilpotent) complex structures. By restricting $a$ to take rational values, we arrive at the existence of infinitely many real homotopy types of $8$-dimensional ni…

Paper finds Hempel pairs distinguishable by Turaev-Viro invariants.

We generalize the very well known boundary operator of the ordinary singular homology theory, defined in many books about algebraic topology. We describe a variant of this ordinary simplicial boundary operator where the usual boundary (n-1)-simplices of each n-simplex are replaced by combinations of internal (n-1)- sim…

We give a generating set of the generalized Reidemeister moves for oriented singular links. We use it to introduce an algebraic structure arising from the study of oriented singular knots. We give some examples, including some non-isomorphic families of such structures over non-abelian groups. We show that the set of c…

Many methods to explain black-box models, whether local or global, are additive. In this paper, we study global additive explanations for non-additive models, focusing on four explanation methods: partial dependence, Shapley explanations adapted to a global setting, distilled additive explanations, and gradient-based e…

New proof shows knot quandles of ribbon knots are distinct.

Following the general strategy proposed by G.Rybnikov, we present a proof of his well-known result, that is, the existence of two arrangements of lines having the same combinatorial type, but non-isomorphic fundamental groups. To do so, the Alexander Invariant and certain invariants of combinatorial line arrangements a…

AXE evaluates explanations to avoid misleading Rashomon set model selection.

The problem of classifying Einstein solvmanifolds, or equivalently, Ricci soliton nilmanifolds, is known to be equivalent to a question on the variety of n-dimensional complex nilpotent Lie algebra laws. Namely, one has to determine which GL(n)-orbits in this variety have a critical point of the squared norm of the mom…

The paper proposes criteria and methods for evaluating and aggregating feature-based model explanations.

New definition reveals encoding explanations that retain predictive power.

Globally irreducible nodes (i.e. nodes whose branches belong to the same irreducible component) have mild effects on the most common topological invariants of an algebraic curve. In other words, adding a globally irreducible node (simple nodal degeneration) to a curve should not change them a lot. In this paper we stud…

Survey on efficient counterfactual explanations for various ML models.

GRANITE unifies feature-based explanation methods to reduce disagreement.

Differentially private algorithms protect model explanations from leaking training data.

Paper proposes metrics to evaluate AI explanations without ground truth.

We consider objective evaluation measures of saliency explanations for complex black-box machine learning models. We propose simple robust variants of two notions that have been considered in recent literature: (in)fidelity, and sensitivity. We analyze optimal explanations with respect to both these measures, and while…

Paper explores a consumer-friendly approach to explain machine learning decisions.

Formalizes explanations as blending input and model output.

Improves global counterfactual explanations for model recourse.

New framework evaluates model explanations based on decision task improvement.

We define and compute plausible counterfactual explanations using density constraints.

G-SHAP generates multiple types of explanations for machine learning models.