Related papers: Parity on based matrices
In this paper we introduce the notion of spread net. Spread nets are (safe) Petri nets equipped with vector clocks on places and with ticking functions on transitions, and are such that vector clocks are consistent with the ticking of…
This study proposes revised axioms for defining inconsistency indicators in pairwise comparisons. It is based on the new findings that "PC submatrix cannot have a worse inconsistency indicator than the PC matrix containing it" and that…
A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of…
We study the stable pair theory on toric surfaces and determine the virtual tangent space over the fixed point loci. Further, we present a program to compute the virtual Euler characteristic, illustrated by the case of the projective plane.…
In this paper, we define the notion of a virtually symmetric representation of representations of virtual braid groups and prove that many known representations are equivalent to virtually symmetric. Using one such representation, we define…
We extend to the long virtual knot case the constructions first presented by A. Henrich and later generalized by the author to the framed virtual knot case. These consist of three Vassiliev invariants of order one, including a universal…
We give a formula for the parity of the Maslov index of a triple of Lagrangian subspaces of a skew symmetric bilinear form over the real numbers. We define an index two subcategory (the even subcategory) of a 3-dimensional cobordism…
Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if…
The notion of a welded link was introduced by Fenn, Rim\'anyi, and Rourke as an analogue of welded braids. A welded link is defined as an equivalence class of link diagrams that may contain virtual crossings, where the equivalence is…
Recently Tao, Croot and Helfgott invented an algorithm to determine the parity of the number of primes in a given interval in O(x^{1/2-c+\eps}) steps for some absolute constant c. We propose a slightly different approach, which leads to the…
In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot…
In a stable matching problem there are two groups of agents, with agents on one side having their individual preferences for agents on another side as a potential match. It is assumed silently that agents can freely and costlessly ``switch"…
Parity and CP symmetries are broken in the world around us. Nonetheless, parity (or CP) may be a gauge symmetry which is higgsed in our universe. This is assumed in many scenarios for physics beyond the Standard Model, including the classic…
The stable marriage problem has been introduced in order to describe a complex system where individuals attempt to optimise their own satisfaction, subject to mutually conflicting constraints. Due to the potential large applicability of…
We generalize three invariants, first discovered by A. Henrich, to the long and/or framed virtual knot case. These invariants are all finite-type invariants of order one, and include a universal one. The generalization will require us to…
We study the Schr\"odinger-Robertson uncertainty relations in an algebraic framework. Moreover, we show that some specific commutation relations imply new equalities, which are regarded as equality versions of well-known inequalities such…
We use Reidemeister torsion to study a twisted Alexander polynomial, as defined by Turaev, for links in the projective space. Using sign-refined torsion we derive a skein relation for a normalized form of this polynomial.
Many analysis and verifications tasks, such as static program analyses and model-checking for temporal logics reduce to the solution of systems of equations over suitable lattices. Inspired by recent work on lattice-theoretic progress…
Reasoning modulo equivalences is natural for everyone, including mathematicians. Unfortunately, in proof assistants based on type theory, equality is appallingly syntactic and, as a result, exploiting equivalences is cumbersome at best.…
Consider the group of $n$ men and $n$ women, each with their own preference list for a potential marriage partner. The stable marriage is a bipartite matching such that no unmatched pair (man, woman) prefer each other to their partners in…