English
Related papers

Related papers: Technical Report: All Principal Congruence Link Gr…

200 papers

The execution of different cases of a process is often restricted by inter-case dependencies through e.g., queueing or shared resources. Various high-level Petri net formalisms have been proposed that are able to model and analyze…

Formal Languages and Automata Theory · Computer Science 2023-04-12 Dominique Sommers , Natalia Sidorova , Boudewijn F. van Dongen

We show that, given any $n$ and $\alpha$, every embedding of any sufficiently large complete graph in $\mathbb{R}^3$ contains an oriented link with components $Q_1$, ..., $Q_n$ such that for every $i\not =j$, $|\lk(Q_i,Q_j)|\geq\alpha$ and…

Geometric Topology · Mathematics 2009-01-18 Erica Flapan , Blake Mellor , Ramin Naimi

For each Cantor set C in $R^{3}$, all points of which have bounded local genus, we show that there are infinitely many inequivalent Cantor sets in $R^{3}$ with complement having the same fundamental group as the complement of C. This…

Geometric Topology · Mathematics 2013-07-31 Dennis J. Garity , Dušan Repovš

In this paper, we define the set of singular grid diagrams $\mathcal{SG}$ which provides a unified description for singular links, singular Legendrian links, singular transverse links, and singular braids. We also classify the complete set…

Geometric Topology · Mathematics 2021-01-11 Byung Hee An , Hwa Jeong Lee

Let $R\subseteq E$ be two Lie conformal algebras and $Q$ be a given complement of $R$ in $E$. Classifying complements problem asks for describing and classifying all complements of $R$ in $E$ up to an isomorphism. It is known that $E$ is…

Rings and Algebras · Mathematics 2020-10-01 Yanyong Hong

In many networks, including networks of protein-protein interactions, interdisciplinary collaboration networks, and semantic networks, connections are established between nodes with complementary rather than similar properties. While…

Physics and Society · Physics 2023-03-08 Gabriel Budel , Maksim Kitsak

In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from the theories of groups, automata, and inverse semigroups.…

Group Theory · Mathematics 2025-12-08 Luna Elliott , Alex Levine , James D. Mitchell

Given an $m$-component link $L$ in $S^3$ ($m \ge 2$), we construct a family of links which are link homotopic, but not link isotopic, to $L$. Every proper sublink of such a link is link isotopic to the corresponding sublink of $L$.…

Geometric Topology · Mathematics 2017-03-30 Bakul Sathaye

This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…

Algebraic Geometry · Mathematics 2023-08-23 Phùng Hô Hai , João Pedro dos Santos , Pham Thanh Tâm

This is a technical report, containing all the theorem proofs and additional evaluations in paper "Monitor Placement for Maximal Identifiability in Network Tomography" by Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, Don Towsley,…

Networking and Internet Architecture · Computer Science 2020-12-22 Liang Ma , Ting He , Kin K. Leung , Ananthram Swami , Don Towsley

System requirements related to concepts like information flow, knowledge, and robustness cannot be judged in terms of individual system executions, but rather require an analysis of the relationship between multiple executions. Such…

Logic in Computer Science · Computer Science 2025-01-15 Bernd Finkbeiner

In the second edition of the congruence lattice book, Problem 22.1 asks for a characterization of subsets $Q$ of a finite distributive lattice $D$ such that there is a finite lattice $L$ whose congruence lattice is isomorphic to $D$ and…

Rings and Algebras · Mathematics 2017-06-22 G. Grätzer , H. Lakser

This document aims to clarify frequent questions on using the Accord.NET Framework to perform statistical analyses. Here, we reproduce all steps of the famous Lindsay's Tutorial on Principal Component Analysis, in an attempt to give the…

Software Engineering · Computer Science 2012-10-30 César Roberto de Souza

We provide a complete classification of paradoxical closed-loop $n$-linkages, where $n\geq6$, of mobility $n-4$ or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for…

Computational Geometry · Computer Science 2022-07-28 Tiago Duarte Guerreiro , Zijia Li , Josef Schicho

Topological properties of networks are widely applied to study the link-prediction problem recently. Common Neighbors, for example, is a natural yet efficient framework. Many variants of Common Neighbors have been thus proposed to further…

Social and Information Networks · Computer Science 2014-09-18 Fei Tan , Yongxiang Xia , Boyao Zhu

In this paper, we focus on the topic Synchronization and consensus of Complex Networks and their relationships. It is revealed that two topics are closely relating to each other and all results given in \cite{Li1,Li2} and many other papers…

Adaptation and Self-Organizing Systems · Physics 2018-10-01 Tianping Chen

This is a supplement to the paper "Goncharov's Relations in Bloch's higher Chow Group CH^3(F,5)" submitted as math.AG/0105084. We check the admissiblility of all the cycles appearing in the main article.

Algebraic Geometry · Mathematics 2007-05-23 Jianqiang Zhao

A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…

Logic · Mathematics 2010-10-19 A. A. Vladimirov

Cohomology theory of links, introduced by the author, is combinatorial. Dror Bar-Natan recently wrote a program that found ranks of cohomology groups of all prime knots with up to 11 crossings. His surprising experimental data is discussed…

Quantum Algebra · Mathematics 2007-05-23 Mikhail Khovanov

Link prediction (LP) is an important problem in network science and machine learning research. The state-of-the-art LP methods are usually evaluated in a uniform setup, ignoring several factors associated with the data and application…

Social and Information Networks · Computer Science 2025-07-21 Bhargavi Kalyani , A Rama Prasad Mathi , Niladri Sett