Search results for "FOS: Mathematics"
showing 10 items of 1448 documents
A solution of the minimum-time velocity planning problem based on lattice theory
2018
For a vehicle on an assigned path, we find the minimum-time speed law that satisfies kinematic and dynamic constraints, related to maximum speed and maximum tangential and transversal acceleration. We present a necessary and sufficient condition for the feasibility of the problem and a simple operator, based on the solution of two ordinary differential equations, which computes the optimal solution. Theoretically, we show that the problem feasible set, if not empty, is a lattice, whose supremum element corresponds to the optimal solution.
Compound conditionals as random quantities and Boolean algebras
2022
Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalised from different angles. In this paper we focus on the de Finetti's notion of conditional as a three-valued object, with betting-based semantics, and its related approach as random quantity as mainly developed by two of the authors. Compound conditionals have been studied in the literature, but not in full generality. In this paper we provide a natural procedure to explicitly attach conditional random quantities to arbitrary compound conditionals that also allows us to compute their previsions. By studying the properties of these random quantities, we show that, in f…
A continuous time tug-of-war game for parabolic $p(x,t)$-Laplace type equations
2019
We formulate a stochastic differential game in continuous time that represents the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the normalized $p(x,t)$-Laplace operator. Our game is formulated in a way that covers the full range $1<p(x,t)<\infty$. Furthermore, we prove the uniqueness of viscosity solutions to our equation in the whole space under suitable assumptions.
Packing colorings of subcubic outerplanar graphs
2018
Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all sub…
Inhomogeneous long-range percolation in the weak decay regime
2023
We study a general class of percolation models in Euclidean space including long-range percolation, scale-free percolation, the weight-dependent random connection model and several other previously investigated models. Our focus is on the weak decay regime, in which inter-cluster long-range connection probabilities fall off polynomially with small exponent, and for which we establish several structural properties. Chief among them are the continuity of the bond percolation function and the transience of infinite clusters.
A numerical property of Hilbert functions and lex segment ideals
2017
We introduce the fractal expansions, sequences of integers associated to a number. We show that these sequences characterize the Osequences and encode some information about lex segment ideals. Moreover, we introduce numerical functions called fractal functions, and we use them to solve the open problem of the classification of the Hilbert functions of any bigraded algebra.
Infinitesimal deformations of double covers of smooth algebraic varieties
2003
The goal of this paper is to give a method to compute the space of infinitesimal deformations of a double cover of a smooth algebraic variety. The space of all infinitesimal deformations has a representation as a direct sum of two subspaces. One is isomorphic to the space of simultaneous deformations of the branch locus and the base of the double covering. The second summand is the subspace of deformations of the double covering which induce trivial deformations of the branch divisor. The main result of the paper is a description of the effect of imposing singularities in the branch locus. As a special case we study deformations of Calabi--Yau threefolds which are non--singular models of do…
OPERADS AND JET MODULES
2005
Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalises the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e. obstructions to the existence of connections) in this generalised context. We use certain model structures on the category of $A$-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really de…
Polarization types of isogenous Prym-Tyurin varieties
2007
Let p:C-->Y be a covering of smooth, projective curves which is a composition of ��:C-->C' of degree 2 and g:C'-->Y of degree n. Let f:X-->Y be the covering of degree 2^n, where the curve X parametrizes the liftings in C^{(n)} of the fibers of g:C'-->Y. Let P(X,��) be the associated Prym-Tyurin variety, known to be isogenous to the Prym variety P(C,C'). Most of the results in the paper focus on calculating the polarization type of the restriction of the canonical polarization of JX on P(X,��). We obtain the polarization type when n=3. When Y=P^1 we conjecture that P(X,��) is isomorphic to the dual of the Prym variety P(C,C'). This was known when n=2, we prove it when n=3, and…
Projective models of K3 surfaces with an even set
2006
The aim of this paper is to describe algebraic K3 surfaces with an even set of rational curves or of nodes. Their minimal possible Picard number is nine. We completely classify these K3 surfaces and after a carefull analysis of the divisors contained in the Picard lattice we study their projective models, giving necessary and sufficient conditions to have an even set. Moreover we investigate their relation with K3 surfaces with a Nikulin involution.