Related papers: Product-Quotient Surfaces: new invariants and algo…

While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachable sets, aka. the collecting semantics of the program. The…

We analyze the convergence of the Conjugate Gradient (CG) method in exact arithmetic, when the coefficient matrix $A$ is symmetric positive semidefinite and the system is consistent. To do so, we diagonalize $A$ and decompose the algorithm…

This paper develops the foundations of Quantum Granular Computing (QGC), extending classical granular computing including fuzzy, rough, and shadowed granules to the quantum regime. Quantum granules are modeled as effects on a finite…

We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…

We study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the…

We investigate the representation of symmetric polynomials as a sum of squares. Since this task is solved using semidefinite programming tools we explore the geometric, algebraic, and computational implications of the presence of discrete…

Quantum computing has demonstrated potential for solving complex optimization problems; however, its application to spatial regionalization remains underexplored. Spatial contiguity, a fundamental constraint requiring spatial entities to…

We introduce a Sinkhorn-type algorithm for producing quantum permutation matrices encoding symmetries of graphs. Our algorithm generates square matrices whose entries are orthogonal projections onto one-dimensional subspaces satisfying a…

The Method of Invariant Grid (MIG) is an iterative procedure for model reduction in chemical kinetics which is based on the notion of Slow Invariant Manifold (SIM) [1-4]. Important role, in that method, is played by the initial grid which,…

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field, and ${\Bbb S}$ a finite sequence of simple left $\Lambda$-modules. In [6, 9], quasiprojective algebraic varieties with accessible affine open covers were…

The aim of this paper is to extend classic results of the theory of CMC surfaces in the product spaces to the class of immersed surfaces in $\mathbb{M}^2(\kappa)\times\mathbb{R}$ whose mean curvature is given as a $C^1$ function depending…

The conjugate gradient (CG) method is an efficient iterative method for solving large-scale strongly convex quadratic programming (QP). In this paper we propose some generalized CG (GCG) methods for solving the $\ell_1$-regularized…

We provide a homological model for a family of quantum representations of mapping class groups arising from non-semisimple TQFTs (Topological Quantum Field Theories). Our approach gives a new geometric point of view on these…

This paper is about the family of smooth quartic surfaces $X \subset \mathbb{P}^3$ that are invariant under the Heisenberg group $H_{2,2}$. For a very general such surface $X$, we show that the Picard number of $X$ is 16 and determine its…

The natural Hilbert Space of quantum particles can implement maximum-likelihood (ML) decoding of classical information. The 'Quantum Product Algorithm' (QPA) is computed on a Factor Graph, where function nodes are unitary matrix operations…

We show that the sum over geometries in the Lorentzian 4-D state sum model for quantum GR in [1] includes terms which correspond to geometries on manifolds with conical singularities. Natural approximations suggest that they can be…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

We present an algorithmic framework for computing generators for the ring of invariants of an Artin-Schreier curve. We give explicit invariants for almost all Artin-Schreier curves of genus up to~8 in standard form, and for a handful of…

A non-negative integer invariant, estimating from below the number of geometrically different critical points of a smooth function $f$ defined in the 2-disk, $f:\mathbb{B}^{2}\rightarrow\mathbb{R}$, is considered. (We denote it by…

We study equivariant Gromov-Witten invariants and quantum cohomology in GKM theory. Building on the localization formula, we prove that the resulting expression is independent of the choice of compatible connection, and provide an…