Related papers: Base point free theorems--saturation, b-divisors, …
Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been proposed. Now, there is not a clear theoretical criterion for a…
We prove an inequality that must be satisfied by displacement of generators of free Fuchsian groups, which is the two-dimensional version of the $\log (2k-1)$ Theorem for Kleinian groups due to Anderson-Canary-Culler-Shalen. As…
We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the…
We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…
A characterization of freeness for plane curves in terms of the Hilbert function of the associated Milnor algebra is given as well as many new examples of rational cuspidal curves which are free. Some stronger properties are stated as…
Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6.…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
In this article, we compile the work done by various mathematicians on the topic of the fixed divisor of a polynomial. This article explains most of the results concisely and is intended to be an exhaustive survey. We present the results on…
In this paper, we introduce a modification of the free boundary problem related to optimal stopping problems for diffusion processes. This modification allows the application of this PDE method in cases where the usual regularity…
We prove a free analogue of Brillinger's formula (sometimes called "law of total cumulance") which expresses classical cumulants in terms of conditioned cumulants. As expected, the formula is obtained by replacing the lattice of set…
We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wi\'sniewski. Moreover, we establish a generalization for quasi-log…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
In this paper we extend the coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ obtained in [T.G. Bhaskar, V. Lakshmikantham, \textit{Fixed point theorems in partially ordered metric spaces and…
In this paper, we propose a review of the free boundary formulation for BVPs defined on semi-infinite intervals. The main idea and theorem are illustrated, for the reader convenience, by using a class of second-order BVPs. Moreover, we are…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…
We prove the finiteness of $B$-representations of generalised log canonical pairs. As a consequence, we prove that, the (relative) abundance for a generalised semi-log canonical pair is implied by the abundance for its normalisation.…
Free groups have many applications in Algebraic Topology. In this paper I specifically study the finitely generated free groups by using the covering spaces and fundamental groups. By the Van Kampen's theorem, we have a famous fact that the…
"Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating…
On a mathematically foundational level, our most successful physical theories (gauge field theories and general-relativistic theories) are formulated in a framework based on the differential geometry of connections on principal bundles.…