English
Related papers

Related papers: Termination orders for 3-polygraphs

200 papers

We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…

Algebraic Topology · Mathematics 2026-02-05 Ben Knudsen

A concept of a rectangular diagram of a foliation in the three-sphere is introduced. It is shown that any co-orientable finite depth foliation in the complement of a link admits a presentation by a rectangular diagram compatible with the…

Geometric Topology · Mathematics 2025-08-12 Mikhail Chernavskikh , Ivan Dynnikov

Penrose's work \cite{8} established a connection between the edge 3-colorings of cubic planar graphs and tensor algebras. We exploit this point of view in order to get algebraic representations of the category of cubic graphs with free…

Combinatorics · Mathematics 2010-09-30 Rui Pedro Carpentier

Motivated by the theory of crystallizations, we consider an equivalence relation on the class of $3$-regular colored graphs and prove that up to this equivalence (a) there exists a unique contracted 3-regular colored graph if the number of…

Combinatorics · Mathematics 2017-08-01 Biplab Basak

We describe the images of multilinear polynomials of arbitrary degree evaluated on the $3\times 3$ upper triangular matrix algebra over an infinite field.

Rings and Algebras · Mathematics 2022-08-09 Thiago Castilho de Mello

We present exact calculations of Potts model partition functions and the equivalent Tutte polynomials for polygon chain graphs with open and cyclic boundary conditions. Special cases of the results that yield flow and reliability…

Statistical Mechanics · Physics 2011-03-14 Robert Shrock

Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained…

Combinatorics · Mathematics 2022-03-25 Mara Belotti , Michael Joswig , Marta Panizzut

The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e. filiform Lie (super)algebras, into the theory of Lie algebras of order F$. Thus, the concept of filiform Lie algebras of order F is…

Mathematical Physics · Physics 2014-04-04 Rosa Navarro

We introduce a majorization order on monomials. With the help of this order, we derive a necessary condition on the positive termination of a general successive difference substitution algorithm (KSDS) for an input form $f$.

Symbolic Computation · Computer Science 2014-05-19 Jia Xu , Yong Yao

We consider the problem of proving termination for triangular weakly non-linear loops (twn-loops) over some ring $\mathcal{S}$ like $\mathbb{Z}$, $\mathbb{Q}$, or $\mathbb{R}$. The guard of such a loop is an arbitrary quantifier-free…

Logic in Computer Science · Computer Science 2024-02-14 Marcel Hark , Florian Frohn , Jürgen Giesl

A new layers method is presented for multipartite separability of density matrices from simple graphs. Full separability of tripartite states is studied for graphs on degree symmetric premise. The models are generalized to multipartite…

Quantum Physics · Physics 2018-09-18 Hui Zhao , Jing Yun Zhao , Naihuan Jing

A given order type in the plane can be represented by a point set. However, it might be difficult to recognize the orientations of some point triples. Recently, Aichholzer \etal \cite{abh19} introduced exit graphs for visualizing order…

Computational Geometry · Computer Science 2020-12-01 Sergey Bereg , Mohammadreza Haghpanah

We provide a polynomial time 4/3 approximation algorithm for TSP on metrics arising from the metric completion of cubic 3-edge connected graphs.

Data Structures and Algorithms · Computer Science 2011-01-31 Nishita Aggarwal , Naveen Garg , Swati Gupta

This paper deals with graph classes characterization and recognition. A popular way to characterize a graph class is to list a minimal set of forbidden induced subgraphs. Unfortunately this strategy usually does not lead to an efficient…

Data Structures and Algorithms · Computer Science 2020-07-21 Laurent Feuilloley , Michel Habib

In this paper, we introduce a new tensor decomposition for third order tensors, which decomposes a third order tensor to three third order low rank tensors in a balanced way. We call such a decomposition the triple decomposition, and the…

Numerical Analysis · Mathematics 2020-03-03 Liqun Qi , Yannan Chen , Mayank Bakshi , Xinzhen Zhang

The isomorphism problem for planar graphs is known to be efficiently solvable. For planar 3-connected graphs, the isomorphism problem can be solved by efficient parallel algorithms, it is in the class $AC^1$. In this paper we improve the…

Data Structures and Algorithms · Computer Science 2008-02-21 Thomas Thierauf , Fabian Wagner

In this paper, we give a new class of reconstructible graphs, which is an extension of my paper `A class of reconstructible graphs'.

Combinatorics · Mathematics 2007-05-23 Tetsuya Hosaka

In this short note we give an expression for some numbers $n$ such that the polynomial $x^{2p}-nx^p+1$ is reducible.

Number Theory · Mathematics 2013-11-06 Ralf Stephan

In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones

Functional Analysis · Mathematics 2025-10-28 Murphy E. Egwe , Funke Yusuf

Intersection graphs of geometric objects have been extensively studied, both due to their interesting structure and their numerous applications; prominent examples include interval graphs and permutation graphs. In this paper we study a…

Data Structures and Algorithms · Computer Science 2014-01-29 George B. Mertzios