Related papers: A note on surjectivity of piecewise affine mapping…

Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASP^{fs}). We show that…

Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that appear in imprecise-probabilistic decision…

In this note, we show that every Noetherian graded ring with an affine degree zero part is affine. As a result, a Noetherian graded Hopf algebra whose degree zero component is a commutative or a cocommutative Hopf subalgebra is affine.…

We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that…

Let $S$ be a set of $n\geq 7$ points in the plane, no three of which are collinear. Suppose that $S$ determines $n+1$ directions. That is to say, the segments whose endpoints are in $S$ form $n+1$ distinct slopes. We prove that $S$ is, up…

We introduce a class of maps from an affine flat into a Riemannian manifold that solve an elliptic system defined by the natural second order elliptic operator of the affine structure and the nonlinear Riemann geometry of the target. These…

We classify coherent modules on $k[x,y]$ of length at most $4$ and supported at the origin. We compare our calculation with the motivic class of the moduli stack parametrizing such modules, extracted from the Feit-Fine formula. We observe…

Let M be a finite Riemann surface and let A(bM) be the algebra of all continuous functions on bM which extend holomorphically through M. We prove that a continuous function F on bM belongs to A(bM) if for each f, g in A(bM) such that fF+g…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure…

This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional…

Orthogonally invariant functions of symmetric matrices often inherit properties from their diagonal restrictions: von Neumann's theorem on matrix norms is an early example. We discuss the example of "identifiability", a common property of…

We study the problem of deciding whether a given language is directed. A language $L$ is \emph{directed} if every pair of words in $L$ have a common (scattered) superword in $L$. Deciding directedness is a fundamental problem in connection…

Deep networks with continuous piecewise affine activations induce polyhedral partitions of the input space, making the number of realized affine regions a natural measure of expressive capacity and a key determinant of how well the model…

The well-known theory of "rational canonical form of an operator" describes the invariant factors, or elementary divisors, as a complete set of invariants of a similarity class of an operator on a finite-dimensional vector space $\V$ over a…

Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…

We prove that action of a semigroup T on compact metric space X by continuous selfmaps is strongly proximal if and only if T action on P(X), the space of probability measures on $X$ with weak topology, is strongly proximal. As a consequence…

This paper extends the Kadison duality between compact convex sets and function systems to the setting of partial convexity. A partially convex set is a set that is convex in a designated set of convex variables when the others are held…

Properly discontinuous actions of a surface group by affine automorphisms of $\mathbb R^d$ were shown to exist by Danciger-Gueritaud-Kassel. We show, however, that if the linear part of an affine surface group action is in the Hitchin…

Sorting algorithms are fundamental to computer science, and their correctness criteria are well understood as rearranging elements of a list according to a specified total order on the underlying set of elements. As mathematical functions,…