Related papers: A step to Gronwall's conjecture
We prove the Ingram Conjecture, i.e., we show that the inverse limit spaces of every two tent maps with different slopes in the interval [1, 2] are non-homeomorphic. Based on the structure obtained from the proof, we also show that every…
The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…
Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets…
We consider the problem of topological linearization of smooth (C infinity or real analytic) control systems, i.e. of their local equivalence to a linear controllable system via point-wise transformations on the state and the control…
Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…
We introduce a notion of graph homeomorphisms which uses the concept of dimension and homotopy for graphs. It preserves the dimension of a subbasis, cohomology and Euler characteristic. Connectivity and homotopy look as in classical…
We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive…
Determining whether two graphs are structurally identical is a fundamental problem with applications spanning mathematics, computer science, chemistry, and network science. Despite decades of study, graph isomorphism remains a challenging…
A family of algebraic curves covering a projective variety $X$ is called a web of curves on $X$ if it has only finitely many members through a general point of $X$. A web of curves on $X$ induces a web-structure, in the sense of local…
A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction…
We show that Khovanov homology and Hochschild homology theories share common structure. In fact they overlap: Khovanov homology of a $(2,n)$-torus link can be interpreted as a Hochschild homology of the algebra underlining the Khovanov…
Inspired by the role geometric structures play in our understanding of surfaces and three-manifolds, and Berger's observation that a surface of constant sectional curvature is determined up to local isometry by its Laplace spectrum, we…
We consider a connected negative definite plumbing graph, and we assume that the associated plumbed 3-manifold is a rational homology sphere. We provide two new combinatorial formulae for the Seiberg-Witten invariant of this manifold. The…
In this paper, we are motivated by the conjectures proposed by C.~Bender \textit{et al.}, \cite{C} in 2024. We have settled the first two conjectures negatively by providing a counter example in \cite{KTJ}, whereas in this paper, we prove…
Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum…
We define notions of local topological convergence and local geometric convergence for embedded graphs in $\mathbb{R}^n,$ and study their properties. The former is related to Benjamini-Schramm convergence, and the latter to weak convergence…
For a given pair of maps f,g:X->M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism L:H(X)->H(M) of degree (-n). We prove a Lefschetz-type coincidence theorem: if the Lefschetz…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak-near-unanimity polymorphism $\phi$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is…
A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of…