English
Related papers

Related papers: Complexity reduction for path categories

200 papers

This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational category $\mathbf{Comp}$, embedding…

Computational Complexity · Computer Science 2025-12-22 Jian-Gang Tang

In this note, working in the context of simplicial sets, we give a detailed study of the complexity for computing chain level Steenrod squares, in terms of the number of face operators required. This analysis is based on the combinatorial…

Algebraic Topology · Mathematics 2011-05-19 Rocio Gonzalez-Diaz , Pedro Real

Path integrals for particles in curved spaces can be used to compute trace anomalies in quantum field theories, and more generally to study properties of quantum fields coupled to gravity in first quantization. While their construction in…

High Energy Physics - Theory · Physics 2017-04-26 Fiorenzo Bastianelli , Olindo Corradini , Edoardo Vassura

Various simplicial complexes can be associated with a graph. Box complexes form an important families of such simplicial complexes and are especially useful for providing lower bounds on the chromatic number of the graph via some of their…

Combinatorics · Mathematics 2024-01-05 Hamid Reza Daneshpajouh , Frédéric Meunier

We construct a new topology on the space of stopped paths and introduce a calculus for causal functionals on generic domains of this space. We propose a generic approach to pathwise integration without any assumption on the variation index…

Probability · Mathematics 2022-08-23 Henry Chiu , Rama Cont

Euclidean quantum-gravity path-integrals are investigated within Regge calculus by computer simulations. The domain of integration is restricted by introducing a lower limit for the fatness of each simplex. We use the standard hypercubic…

High Energy Physics - Lattice · Physics 2009-10-22 W. Beirl , E. Gerstenmayer , H. Markum

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

Algebraic Geometry · Mathematics 2021-03-25 Wolfgang Bertram , Jérémy Haut

Cyclomatic complexity is an incompletely specified but mathematically principled software metric that can be usefully applied to both source and binary code. We consider the application of path homology as a stronger analogue of cyclomatic…

Software Engineering · Computer Science 2020-08-28 Steve Huntsman

In this work, we formulate a path-integral optimization for two dimensional conformal field theories perturbed by relevant operators. We present several evidences how this optimization mechanism works, based on calculations in free field…

High Energy Physics - Theory · Physics 2018-07-13 Arpan Bhattacharyya , Pawel Caputa , Sumit R. Das , Nilay Kundu , Masamichi Miyaji , Tadashi Takayanagi

The website reductions.network serves as a comprehensive database for exploring problems and reductions between them. It presents several complexity classes in the form of an interconnected graph where problems are represented as vertices,…

Computational Complexity · Computer Science 2025-11-07 Christoph Grüne , Femke Pfaue

Graph kernels methods are based on an implicit embedding of graphs within a vector space of large dimension. This implicit embedding allows to apply to graphs methods which where until recently solely reserved to numerical data. Within the…

Computer Vision and Pattern Recognition · Computer Science 2008-10-21 François-Xavier Dupé , Luc Brun

We propose path integral description for quantum mechanical systems on compact graphs consisting of N segments of the same length. Provided the bulk Hamiltonian is segment-independent, scale-invariant boundary conditions given by…

High Energy Physics - Theory · Physics 2012-06-06 Satoshi Ohya

In this paper we develop a quantization method for flat compact manifolds based on path integrals. In this method the Hilbert space of holomorphic functions in the complexification of the manifold is used. This space is a reproducing kernel…

Mathematical Physics · Physics 2015-09-07 Guillermo Capobianco , Walter Reartes

In the context of two illustrative examples from supersymmetric quantum mechanics we show that the semi-classical analysis of the path integral requires complexification of the configuration space and action, and the inclusion of complex…

High Energy Physics - Theory · Physics 2016-01-13 Alireza Behtash , Gerald V. Dunne , Thomas Schaefer , Tin Sulejmanpasic , Mithat Unsal

For a wide variety of regularization methods, algorithms computing the entire solution path have been developed recently. Solution path algorithms do not only compute the solution for one particular value of the regularization parameter but…

Machine Learning · Computer Science 2009-03-30 Bernd Gärtner , Joachim Giesen , Martin Jaggi , Torsten Welsch

We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's…

Algebraic Topology · Mathematics 2023-11-15 Thomas Blom , Ieke Moerdijk

We propose a method to reduce the complexity of Generalized Linear Models in the presence of categorical predictors. The traditional one-hot encoding, where each category is represented by a dummy variable, can be wasteful, difficult to…

Machine Learning · Statistics 2021-10-20 Emilio Carrizosa , Marcela Galvis Restrepo , Dolores Romero Morales

In this paper, we review a method for computing and parameterizing the set of homotopy classes of chain maps between two chain complexes. This is then applied to finding topologically meaningful maps between simplicial complexes, which in…

Computational Geometry · Computer Science 2011-08-18 Andrew Tausz , Gunnar Carlsson

We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular…

Group Theory · Mathematics 2015-03-09 J. C. Birget

In this paper, we are concerned with the construction and analysis of a new class of methods obtained as double jump compositions with complex coefficients and projection on the real axis. It is shown in particular that the new integrators…

Numerical Analysis · Mathematics 2020-05-27 Fernando Casas , Philippe Chartier , Alejandro Escorihuela-Tomas , Yong Zhang