270 research outputs found
On volumes of hyperideal tetrahedra with constrained edge lengths
Hyperideal tetrahedra are the fundamental building blocks of hyperbolic
3-manifolds with geodesic boundary. The study of their geometric properties (in
particular, of their volume) has applications also in other areas of
low-dimensional topology, like the computation of quantum invariants of
3-manifolds and the use of variational methods in the study of circle packings
on surfaces.
The Schl\"afli formula neatly describes the behaviour of the volume of
hyperideal tetrahedra with respect to dihedral angles, while the dependence of
volume on edge lengths is worse understood. In this paper we prove that, for
every , where is an explicit constant, regular hyperideal
tetrahedra of edge length maximize the volume among hyperideal
tetrahedra whose edge lengths are all not smaller than .
This result provides a fundamental step in the computation of the ideal
simplicial volume of an infinite family of hyperbolic 3-manifolds with geodesic
boundary.Comment: 20 pages, 2 figures, Some minor changes, To appear in Periodica
Mathematica Hungaric
An algebraic study of exactness in partial contexts
DMF@?s are the natural algebraic tool for modelling reasoning with Korner@?s partial predicates. We provide two representation theorems for DMF@?s which give rise to two adjunctions, the first between DMF and the category of sets and the second between DMF and the category of distributive lattices with minimum. Then we propose a logic L"{"1"} for dealing with exactness in partial contexts, which belongs neither to the Leibniz, nor to the Frege hierarchies, and carry on its study with techniques of abstract algebraic logic. Finally a fully adequate and algebraizable Gentzen system for L"{"1"} is given
An Abstract Approach to Consequence Relations
We generalise the Blok-J\'onsson account of structural consequence relations,
later developed by Galatos, Tsinakis and other authors, in such a way as to
naturally accommodate multiset consequence. While Blok and J\'onsson admit, in
place of sheer formulas, a wider range of syntactic units to be manipulated in
deductions (including sequents or equations), these objects are invariably
aggregated via set-theoretical union. Our approach is more general in that
non-idempotent forms of premiss and conclusion aggregation, including multiset
sum and fuzzy set union, are considered. In their abstract form, thus,
deductive relations are defined as additional compatible preorderings over
certain partially ordered monoids. We investigate these relations using
categorical methods, and provide analogues of the main results obtained in the
general theory of consequence relations. Then we focus on the driving example
of multiset deductive relations, providing variations of the methods of matrix
semantics and Hilbert systems in Abstract Algebraic Logic
Topological volumes of fibrations: A note on open covers
We establish a straightforward estimate for the number of open sets with
fundamental group constraints needed to cover the total space of fibrations.
This leads to vanishing results for simplicial volume and minimal volume
entropy, e.g., for certain mapping tori.Comment: 20 pages; minor revisions; To appear in Proc. Roy. Soc. Edinburgh
Sect.
An Algebraic Approach to Valued Constraint Satisfaction
[EN]We study the complexity of the valued CSP (VCSP, for short) over arbitrary templates, taking
the general framework of integral bounded linearly order monoids as valuation structures. The
class of problems considered here subsumes and generalizes the most common one in VCSP
literature, since both monoidal and lattice conjunction operations are allowed in the formulation
of constraints. Restricting to locally finite monoids, we introduce a notion of polymorphism that
captures the pp-definability in the style of Geiger’s result. As a consequence, sufficient conditions
for tractability of the classical CSP, related to the existence of certain polymorphisms, are shown
to serve also for the valued case. Finally, we establish the dichotomy conjecture for the VCSP,
modulo the dichotomy for classical CSP.The work was partly supported by the grant No. GA17-04630S of the Czech Science Foundation and partly by the long-term strategic development financing of the Institute of Computer Science
(RVO:67985807).Peer reviewe
- …