Related papers: Computing homotopy classes for diagrams

In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra…

We introduce a series of graph decompositions based on the modulator/target scheme of modification problems that enable several algorithmic applications that parametrically extend the algorithmic potential of planarity. In the core of our…

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…

This note concerns uniform equicontinuity of families of operators on a separable Hilbert space H, and of families of maps on B(H). It is shown that a one parameter group of automorphisms is uniformly equicontinuous if and only if the group…

We prove the existence of a sequence of commutative diagrams generalizing existing results on the cohomology of the Borel-Serre boundary and well-rounded retract to the context of the well-tempered complex. Our main theorem provides a…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

It is well-known that the graph isomorphism problem can be posed as an equivalent problem of determining whether an auxiliary graph structure contains a clique of specific order. However, the algorithms that have been developed so far for…

Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…

In the counting Graph Homomorphism problem (#GraphHom) the question is: Given graphs G,H, find the number of homomorphisms from G to H. This problem is generally #P-complete, moreover, Cygan et al. proved that unless the ETH is false there…

In this paper we describe a 1-dimensional variational approach to the analytical construction of equivariant biharmonic maps. Our goal is to provide a direct method which enables analysts to compute directly the analytical conditions which…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

In this paper, we develop a theory about the relationship between invariant and equivariant maps with regard to a group $G$. We then leverage this theory in the context of deep neural networks with group symmetries in order to obtain novel…

Let $V$ be a finite set. Let $\mathcal{K}$ be a simplicial complex with its vertices in $V$. In this paper, we discuss some differential calculus on $V$. We construct some constrained homology groups of $\mathcal{K}$ by using the…

Group convolutions and cross-correlations, which are equivariant to the actions of group elements, are commonly used in mathematics to analyze or take advantage of symmetries inherent in a given problem setting. Here, we provide efficient…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We construct a new model category presenting the homotopy theory of presheaves on "inverse EI $(\infty,1)$-categories", which contains universe objects that satisfy Voevodsky's univalence axiom. In addition to diagrams on ordinary inverse…

We consider the complexity of counting homomorphisms from an $r$-uniform hypergraph $G$ to a symmetric $r$-ary relation $H$. We give a dichotomy theorem for $r>2$, showing for which $H$ this problem is in FP and for which $H$ it is…

In recent work on holomorphic maps that are symmetric under certain complex reflection groups---generated by complex reflections through a set of hyperplanes, the author announced a general conjecture related to reflection groups. The claim…

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

We outline an algorithm for computing Hecke operators on equivariant cohomology $H^\ast_{\Gamma_{\text{Sp}}}(X_{\text{Sp}};\rho)$ for the symplectic group $\text{Sp}_4(\mathbb{R})$. To do this, we define a new acyclic cell complex for…