Search results for "combinatoric"

Matroid optimization problems with monotone monomials in the objective

2022

Abstract In this paper we investigate non-linear matroid optimization problems with polynomial objective functions where the monomials satisfy certain monotonicity properties. Indeed, we study problems where the set of non-linear monomials consists of all non-linear monomials that can be built from a given subset of the variables. Linearizing all non-linear monomials we study the respective polytope. We present a complete description of this polytope. Apart from linearization constraints one needs appropriately strengthened rank inequalities. The separation problem for these inequalities reduces to a submodular function minimization problem. These polyhedral results give rise to a new hiera…

Vanishing Abelian integrals on zero-dimensional cycles

2011

In this paper we study conditions for the vanishing of Abelian integrals on families of zero-dimensional cycles. That is, for any rational function $f(z)$, characterize all rational functions $g(z)$ and zero-sum integers $\{n_i\}$ such that the function $t\mapsto\sum n_ig(z_i(t))$ vanishes identically. Here $z_i(t)$ are continuously depending roots of $f(z)-t$. We introduce a notion of (un)balanced cycles. Our main result is an inductive solution of the problem of vanishing of Abelian integrals when $f,g$ are polynomials on a family of zero-dimensional cycles under the assumption that the family of cycles we consider is unbalanced as well as all the cycles encountered in the inductive proce…

Locally tame plane polynomial automorphisms

2010

Abstract For automorphisms of a polynomial ring in two variables over a domain R , we show that local tameness implies global tameness provided that every 2-generated locally free R -module of rank 1 is free. We give examples illustrating this property.

Varieties of special Jordan algebras of almost polynomial growth

2019

Abstract Let J be a special Jordan algebra and let c n ( J ) be its corresponding codimension sequence. The aim of this paper is to prove that in case J is finite dimensional, such a sequence is polynomially bounded if and only if the variety generated by J does not contain U J 2 , the special Jordan algebra of 2 × 2 upper triangular matrices. As an immediate consequence, we prove that U J 2 is the only finite dimensional special Jordan algebra that generates a variety of almost polynomial growth.

A Characterization of Quintic Helices

2005

A polynomial curve of degree 5, @a, is a helix if and only if both @[email protected]^'@? and @[email protected]^'@[email protected]^''@? are polynomial functions.

Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses

2013

International audience; We examine the problem of computing exactly the Voronoi diagram (via the dual Delaunay graph) of a set of, possibly intersecting, smooth convex \pc in the Euclidean plane, given in parametric form. Pseudo-circles are (convex) sites, every pair of which has at most two intersecting points. The Voronoi diagram is constructed incrementally. Our first contribution is to propose robust and efficient algorithms, under the exact computation paradigm, for all required predicates, thus generalizing earlier algorithms for non-intersecting ellipses. Second, we focus on \kcn, which is the hardest predicate, and express it by a simple sparse $5\times 5$ polynomial system, which a…

The behavior of solutions of a parametric weighted (p, q)-laplacian equation

2021

<abstract><p>We study the behavior of solutions for the parametric equation</p> <p><disp-formula> <label/> <tex-math id="FE1"> \begin{document}$ -\Delta_{p}^{a_1} u(z)-\Delta_{q}^{a_2} u(z) = \lambda |u(z)|^{q-2} u(z)+f(z,u(z)) \quad \mbox{in } \Omega,\, \lambda >0, $\end{document} </tex-math></disp-formula></p> <p>under Dirichlet condition, where $ \Omega \subseteq \mathbb{R}^N $ is a bounded domain with a $ C^2 $-boundary $ \partial \Omega $, $ a_1, a_2 \in L^\infty(\Omega) $ with $ a_1(z), a_2(z) > 0 $ for a.a. $ z \in \Omega $, $ p, q \in (1, \infty) $ and $ \Delta_{p}^{a_1}, \Delta_{q}^{a_2} $ are weighted …

An existence result for a Neumann problem

2015

The main result of this paper deals with the existence of at least one positive solution for a second order Neumann boundary value problem. Such a result is obtained by using an abstract coincidence point theorem that allows to get our conclusion under non standard conditions on the nonlinearity.

A rank theorem for analytic maps between power series spaces

1994

On the Size Complexity of Deterministic Frequency Automata

2013

Austinat, Diekert, Hertrampf, and Petersen [2] proved that every language L that is (m,n)-recognizable by a deterministic frequency automaton such that m > n/2 can be recognized by a deterministic finite automaton as well. First, the size of deterministic frequency automata and of deterministic finite automata recognizing the same language is compared. Then approximations of a language are considered, where a language L′ is called an approximation of a language L if L′ differs from L in only a finite number of strings. We prove that if a deterministic frequency automaton has k states and (m,n)-recognizes a language L, where m > n/2, then there is a language L′ approximating L such that L′ c…