English
Related papers

Related papers: Variations on the Post Correspondence Problem for …

200 papers

In this paper, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine its cokernels of degree up to…

Algebraic Topology · Mathematics 2026-04-22 Naoya Enomoto , Takao Satoh

This paper examines the classical matching distribution arising in the "problem of coincidences". We generalise the classical matching distribution with a preliminary round of allocation where items are correctly matched with some fixed…

Other Statistics · Statistics 2021-12-24 Ben O'Neill

We develop a combinatorial approach to the study of semigroups and monoids with finite presentations satisfying small overlap conditions. In contrast to existing geometric methods, our approach facilitates a sequential left-right analysis…

Rings and Algebras · Mathematics 2007-12-04 Mark Kambites

In 1946 Emil Leon Post (Bulletin of Amer. Math. Soc. 52 (1946), 264 - 268) defined a famous correspondence decision problem which is nowadays called the Post Correspondence Problem, and he proved that the problem is undecidable. In this…

Logic in Computer Science · Computer Science 2014-11-20 Vesa Halava

This paper addresses the problem of matching $N$ weighted graphs referring to an identical object or category. More specifically, matching the common node correspondences among graphs. This multi-graph matching problem involves two…

Computer Vision and Pattern Recognition · Computer Science 2016-06-14 Junchi Yan , Minsu Cho , Hongyuan Zha , Xiaokang Yang , Stephen Chu

Post Embedding Problems are a family of decision problems based on the interaction of a rational relation with the subword embedding ordering, and are used in the literature to prove non multiply-recursive complexity lower bounds. We refine…

Logic in Computer Science · Computer Science 2013-08-23 Prateek Karandikar , Sylvain Schmitz

The Modular Isomorphism Problem asks, if an isomorphism between modular group algebras of finite $p$-groups over a field $F$ implies an isomorphism of the group bases. We explore the differences of knowledge on the problem when $F$ is…

Rings and Algebras · Mathematics 2026-02-26 Leo Margolis , Taro Sakurai

This paper addresses the problem of handling spatial misalignments due to camera-view changes or human-pose variations in person re-identification. We first introduce a boosting-based approach to learn a correspondence structure which…

Computer Vision and Pattern Recognition · Computer Science 2023-07-19 Weiyao Lin , Yang Shen , Junchi Yan , Mingliang Xu , Jianxin Wu , Jingdong Wang , Ke Lu

This paper addresses the problem of handling spatial misalignments due to camera-view changes or human-pose variations in person re-identification. We first introduce a boosting-based approach to learn a correspondence structure which…

Computer Vision and Pattern Recognition · Computer Science 2016-04-28 Yang Shen , Weiyao Lin , Junchi Yan , Mingliang Xu , Jianxin Wu , Jingdong Wang

Finding correspondences between shapes is a fundamental problem in computer vision and graphics, which is relevant for many applications, including 3D reconstruction, object tracking, and style transfer. The vast majority of correspondence…

Computer Vision and Pattern Recognition · Computer Science 2024-04-04 Maolin Gao , Zorah Lähner , Johan Thunberg , Daniel Cremers , Florian Bernard

We initiate the focused study of constant-cost randomized communication, with emphasis on its connection to graph representations. We observe that constant-cost randomized communication problems are equivalent to hereditary (i.e. closed…

Data Structures and Algorithms · Computer Science 2025-10-08 Nathaniel Harms , Sebastian Wild , Viktor Zamaraev

We establish a formal correspondence between resource calculi an appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For all these structures, we prove…

Logic in Computer Science · Computer Science 2023-07-28 Federico Olimpieri

We use the generalized concurrence approach to investigate the general multipartite separability problem. By extending the preconcurrence matrix formalism to arbitrary multipartite systems, we show that the separability problem can be…

Quantum Physics · Physics 2018-06-29 Antoine Neven , Thierry Bastin

It is shown that general solutions of the free-particle Schroedinger equation can be mapped onto solutions of the Schroedinger equation for the harmonic oscillator. This is done in such a way that the time evolution of a free particle…

Quantum Physics · Physics 2010-08-25 Ole Steuernagel

Machine learning and pattern recognition techniques have been successfully applied to algorithmic problems in free groups. In this paper, we seek to extend these techniques to finitely presented non-free groups, with a particular emphasis…

Group Theory · Mathematics 2018-02-22 Jonathan Gryak , Robert M. Haralick , Delaram Kahrobaei

Relations between categorical variables can be analyzed conveniently by multiple correspondence analysis (MCA). %It is well suited to discover relations that may exist between categories of different variables. The graphical representation…

Methodology · Statistics 2016-03-11 Patrick J. F. Groenen , Julie Josse

The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…

Differential Geometry · Mathematics 2021-08-20 Matias del Hoyo , Mateus de Melo

We present an algorithm for the following problem: given a context-free grammar for the word problem of a virtually free group $G$, compute a finite graph of groups $\mathcal{G}$ with finite vertex groups and fundamental group $G$. Our…

Group Theory · Mathematics 2018-02-21 Géraud Sénizergues , Armin Weiß

We map the quantum problem of a free bosonic field in a space-time dependent background into a classical problem. $N$ degrees of freedom of a real field in the quantum theory are mapped into $2N^2$ classical simple harmonic oscillators with…

High Energy Physics - Theory · Physics 2019-09-11 Tanmay Vachaspati , George Zahariade

We consider heuristic algorithm for solving graph isomorphism problem. The algorithm based on a successive splitting of the eigenvalues of the matrices which are modifications (to positive defined) of graphs' adjacency matrices.…

General Mathematics · Mathematics 2007-05-23 R. T. Faizullin , A. V. Prolubnikov