Results 21 to 30 of about 1,687 (73)

Tropical Lagrangian hypersurfaces are unobstructed

Journal of Topology, Volume 13, Issue 4, Page 1409-1454, December 2020., 2020
Abstract We produce for each tropical hypersurface V(ϕ)⊂Q=Rn a Lagrangian L(ϕ)⊂(C∗)n whose moment map projection is a tropical amoeba of V(ϕ). When these Lagrangians are admissible in the Fukaya–Seidel category, we show that they are unobstructed objects of the Fukaya category, and mirror to sheaves supported on complex hypersurfaces in a toric mirror.
Jeffrey Hicks
wiley   +1 more source

Involutive Categories and Monoids, with a GNS-correspondence [PDF]

, 2010
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids.
A. Dvurečenskij, A. Kock, A. Kock, B. Jacobs, B. Jacobs, Bart Jacobs, E.G. Manes, E.J. Beggs, F. Borceux, G. Kalmbach, I. Hasuo, I. Hasuo, J.C. Baez, M. Barr, R. Blackwell, R. Blute, R. Street, S. Abramsky, S. Abramsky, S. Awodey, S. Mac Lane, W. Arveson   +21 more
core   +4 more sources

Soft Concurrent Constraint Programming

, 2002
Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty.
Bella G., Bella G., Bistarelli S., Bistarelli S., Bistarelli S., Boer F. D., Chen S., De Nicola R., Dubois D., Fargier H., Francesca Rossi, Schiex T., Scott D., Stefano Bistarelli, Ugo Montanari   +14 more
core   +4 more sources

Finite models for positive combinatorial and exponential algebra

Bulletin of the London Mathematical Society, Volume 57, Issue 11, Page 3380-3400, November 2025.
Abstract We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of non‐negative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined.
Tumadhir Alsulami, Marcel Jackson
wiley   +1 more source

A criterion for membership in archimedean semirings

, 2004
We prove an extension of the classical Real Representation Theorem (going back to Krivine, Stone, Kadison, Dubois and Becker and often called Kadison-Dubois Theorem).
Angelis, Berr, Bonsall, Handelman, Handelman, Jacobi, Lasserre, Lasserre, Markus Schweighofer, Putinar, Pólya, Reznick, Scheiderer, Schmüdgen, Schweighofer, Schweighofer, Schweighofer, Schweighofer   +17 more
core   +1 more source

Moments, sums of squares, and tropicalization

Journal of the London Mathematical Society, Volume 112, Issue 4, October 2025.
Abstract We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set S$S$. The truncated cones of moments of measures supported on the set S$S$ are dual to nonnegative polynomials on S$S$, while “pseudomoments” are dual to sums of squares approximations to nonnegative polynomials.
Grigoriy Blekherman, Felipe Rincón, Rainer Sinn, Cynthia Vinzant, Josephine Yu   +4 more
wiley   +1 more source

Geometry of the arithmetic site [PDF]

, 2015
We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of rational numbers ...
Connes, Alain, Consani, Caterina
core  

Geometric realizations of the s‐weak order and its lattice quotients

Journal of the London Mathematical Society, Volume 112, Issue 3, September 2025.
Abstract For an n$n$‐tuple s${\bm{s}}$ of nonnegative integers, the s${\bm{s}}$‐weak order is a lattice structure on s${\bm{s}}$‐trees, generalizing the weak order on permutations. We first describe the join irreducible elements, the canonical join representations, and the forcing order of the s${\bm{s}}$‐weak order in terms of combinatorial objects ...
Eva Philippe, Vincent Pilaud
wiley   +1 more source

New building blocks for F1${\mathbb {F}}_1$‐geometry: Bands and band schemes

Journal of the London Mathematical Society, Volume 111, Issue 4, April 2025.
Abstract We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle.
Matthew Baker, Tong Jin, Oliver Lorscheid   +2 more
wiley   +1 more source

Injecting Abstract Interpretations into Linear Cost Models

, 2010
We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core   +2 more sources