Related papers: A poisonous example to explicit resolutions of unb…
We develop an algebraic approach to solvable lattice models based on a chain of algebras obeyed by the models. In each subalgebra we use a unit, giving a chain of ideals. Thus, we divide the models into distinct sectors which do not mix.…
Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Programming (ASP), a convenient tool for problem solving. We…
Some completely positive maps on reduced amalgamated free products of C*-algebras are constructed; these allow a proof that the class of exact unital C*-algebras is closed under taking reduced amalgamated free products. Consequently, the…
We construct orbifolds with quasitoric boundary and show that they have stable almost complex structure. We show that a quasitoric orbifold is complex cobordant to finite disjoint copies of complex orbifold projective spaces. Finally some…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…
To verify theoretical results it is sometimes important to use a numerical example where the solution has a particular regularity. The paper describes one approach to construct such examples. It is based on the regularity theory for…
We study some reduced free products of C*-algebras with amalgamations. We give sufficient conditions for the positive cone of the K_0 group to be the largest possible. We also give sufficient conditions for simplicity and uniqueness of…
The Boolean satisfiability problem (SAT) is a well-known example of monotonic reasoning, of intense practical interest due to fast solvers, complemented by rigorous fine-grained complexity results. However, for non-monotonic reasoning,…
This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is…
We study the existence of formal power series solutions to q-algebraic equations. When a solution exists, we give a sufficient condition on the equation for this solution to have a positive radius of convergence. We emphasize on the case…
A topological space is \emph{hereditarily $k$-irresolvable} if none of its subspaces can be partitioned into $k$ dense subsets, We use this notion to provide a topological semantics for a sequence of modal logics whose $n$-th member…
A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
Primarily this paper presents an expository report on alternatives to the traditional methods of classifying representations of finite dimensional algebras. Some new results illustrating such alternatives for algebras with only finitely…
We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least…
Gong, Wang and Yu introduced a maximal, or universal, version of the Roe C*-algebra associated to a metric space. We study the relationship between this maximal Roe algebra and the usual version, in both the uniform and non-uniform cases.…
In this paper, we study the complex structures of complete hyperk\"ahler four-manifolds of infinite topological type arising from the Gibbons-Hawking ansatz. We show that for almost all complex structures in the hyperk\"ahler family, the…
Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…
Let X be the base locus of a linear system W of k quadrics. Let also S be the intersection of W with the discriminant hypersurface in the space of all homogeneous polynomials of degree two. We prove a formula relating the topology of X with…
We show that the algebra of the coloured rook monoid $R_n^{(r)}$, {\em i.e.} the monoid of $n \times n$ matrices with at most one non-zero entry (an $r$-th root of unity) in each column and row, is the algebra of a finite groupoid, thus is…