Results 21 to 30 of about 1,618 (72)
Provenance Circuits for Trees and Treelike Instances (Extended Version) [PDF]
Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting ...
B Kimelfeld +3 more
core +2 more sources
Tropical Lagrangian hypersurfaces are unobstructed
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
Due to noncontinuous solution, impulsive differential equations with delay may have a measurable right side and not a continuous one. In order to support handling impulsive differential equations with delay like in other chapters of differential equations, we formulated and proved existence and uniqueness theorems for impulsive differential equations ...
Z. Lipcsey +4 more
wiley +1 more source
Bi-Interior Ideals of Γ-Semirings
In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of Γ-semiring and study the properties of bi-interior ideals of Γ-semiring.
Rao Marapureddy Murali Krishna +1 more
doaj +1 more source
Parametric shortest-path algorithms via tropical geometry
We study parameterized versions of classical algorithms for computing shortest-path trees. This is most easily expressed in terms of tropical geometry.
Joswig, Michael, Schröter, Benjamin
core +1 more source
Centers, cocenters and simple quantum groups [PDF]
We define the notion of a (linearly reductive) center for a linearly reductive quantum group, and show that the quotient of a such a quantum group by its center is simple whenever its fusion semiring is free in the sense of Banica and Vergnioux.
Chirvasitu, Alexandru
core +1 more source
Moments, sums of squares, and tropicalization
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 +4 more
wiley +1 more source
Geometric realizations of the s‐weak order and its lattice quotients
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
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 +2 more
wiley +1 more source
L‐Fuzzy Prime Ideals in Universal Algebras
In this paper, the notions of L−fuzzy prime ideals and maximal L−fuzzy ideals of universal algebras are introduced by applying the general theory of algebraic fuzzy systems.
Berhanu Assaye Alaba +2 more
wiley +1 more source

