Related papers: A Toolkit for Structured Lifts
The purpose of this short paper is to identify the mathematical essence of the superiorization methodology. This methodology has been developed in recent years while attempting to solve specific application-oriented problems. Consequently,…
We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding…
We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization result is reduction-free, in the sense of yielding a bijection…
The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…
In this work we develop the theory of solution-regions with a constructive approach. We also extend the theory to the case of general linear conditions and provide various sets of sufficient hypotheses for existence and multiplicity…
We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.
We define the notion of universal lift of a projective complex based on non-commutative parameter algebras, and prove its existence and uniqueness. We investigate the properties of parameter algebras for universal lifts.
A new way of orthogonalizing ensembles of vectors by "lifting" them to higher dimensions is introduced. This method can potentially be utilized for solving quantum decision and computing problems.
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
We discuss a structural approach to subset-sum problems in additive combinatorics. The core of this approach are Freiman-type structural theorems, many of which will be presented through the paper. These results have applications in various…
The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a…
Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from an axiomatic point of view with a parametric approach in (*)…
This article serves a two-fold purpose. On the one hand, it is a survey about the classification of finite-dimensional pointed Hopf algebras with abelian coradical, whose final step is the computation of the liftings or deformations of…
The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module.…
This work deals with lump-like structures in models described by a single real scalar field in two-dimensional spacetime. We start with a model that supports lump-like configurations and use the deformation procedure to construct scalar…
We develop a strategy to compute all liftings of a Nichols algebra over a finite dimensional cosemisimple Hopf algebra. We produce them as cocycle deformations of the bosonization of these two. In parallel, we study the shape of any such…
We present a methodological framework aiming at the support of HCI practitioners and researchers in selecting and applying the most appropriate combination of HCI methods for particular problems. We highlight the need for a clear and…
A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered…
We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.
In this article, we develop an algebraic framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. We further construct an explicit model and prove that it satisfies…