Related papers: Algebraic entropy for face-centered quad equations

The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{{\mathfrak g}})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a…

We propose a computational method to measure the configurational entropy in generic polydisperse glass-formers. In particular, our method resolves issues related to the diverging mixing entropy term due to a continuous polydispersity. The…

In this paper, we develop a new method to classify abelian automorphism groups of hypersurfaces. We use this method to classify (Theorem 4.2) abelian groups that admit a liftable action on a smooth cubic fourfold. A parallel result (Theorem…

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the…

Classification of noncommutative quadric hypersurfaces is one of the major projects in noncommutative algebraic geometry. In recent years, we are dedicated to complete the classification of noncommutative central conics. To achieve this…

Barycentric coordinates provide solutions to the problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. They have been studied widely within the geometric…

We show a polynomial-time algorithm for testing c-planarity of embedded flat clustered graphs with at most two vertices per cluster on each face.

In contrast to the prevailing view in the literature, it is shown that even extremely stiff sets of ordinary differential equations may be solved efficiently by explicit methods if limiting algebraic solutions are used to stabilize the…

The inviscid barotropic quasi-geostrophic equation with a free surface is considered. The free surface mandates a non-standard boundary condition. The global existence existence and uniqueness of a weak solution is established, thanks to…

Matter agglomeration mesoscopic phenomena of irreversible type are well described by nonequilibrium thermodynamics formalism. The description assumes that the thermodynamic (internal) state variables are in local equilibrium, and uses the…

It is known that difference equations generated as the Newton-Raphson iteration for quadratic equations are solvable in closed form, and the solution can be constructed from linear three-term recurrence relations with constant coefficients.…

Trapped surfaces are studied as inner boundary for the Einstein vacuum constraint equations. The trapped surface condition can be written as a non linear boundary condition for these equations. Under appropriate assumptions, we prove…

Generalized diffusion type equations are considered and point symmetry analysis is applied to them. The equations with extremal order point symmetry algebras are described. Some old geometrical results are rederived in connection with…

Quantum relative entropy optimization refers to a class of convex problems in which a linear functional is minimized over an affine section of the epigraph of the quantum relative entropy function. Recently, the self-concordance of a…

Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…

In 1970s, a method was developed for integration of nonlinear equations by means of algebraic geometry. Starting from a Lax representation with spectral parameter, the algebro-geometric method allows to solve the system explicitly in terms…

We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of…

The null surfaces of a spacetime act as one-way membranes and can block information for a corresponding family of observers (time-like curves). Since lack of information can be related to entropy, this suggests the possibility of assigning…

A partial cube is a graph having an isometric embedding in a hypercube. Partial cubes are characterized by a natural equivalence relation on the edges, whose classes are called zones. The number of zones determines the minimal dimension of…

Quantum groups of semisimple Lie algebras at roots of unity admit several different forms. Among them is the De Concini-Kac form, which is the easiest to define but, perhaps, hardest to study. In this paper, we propose a suitable…