English
Related papers

Related papers: Integer-valued valuations

200 papers

Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. In a recent series of papers, we have studied methods to break value symmetries. Our results…

Artificial Intelligence · Computer Science 2009-03-04 Toby Walsh

We study the symmetry groups and winding numbers of planar curves obtained as images of weighted sums of exponentials. More generally, we study the image of the complex unit circle under a finite or infinite Laurent series using a…

Combinatorics · Mathematics 2025-01-15 Florian Pausinger , David Petrecca

We describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension of the well-known size-change termination method.…

Logic in Computer Science · Computer Science 2011-08-01 Michael Codish , Igor Gonopolskiy , Amir M. Ben-Amram , Carsten Fuhs , Jürgen Giesl

We study generalized log-sine integrals at special values. At $\pi$ and multiples thereof explicit evaluations are obtained in terms of Nielsen polylogarithms at $\pm1$. For general arguments we present algorithmic evaluations involving…

Classical Analysis and ODEs · Mathematics 2011-03-23 Jonathan M. Borwein , Armin Straub

The paper is devoted to a systematic study and characterizations of notions of local maximal monotonicity and their strong counterparts for set-valued operators that appear in variational analysis, optimization, and their applications. We…

Optimization and Control · Mathematics 2023-08-29 Pham Duy Khanh , Vu Vinh Huy Khoa , Boris S. Mordukhovich , Vo Thanh Phat

We study and classify topologically invariant sigma-ideals with an analytic base on Euclidean spaces and evaluate the cardinal characteristics of such ideals.

Logic · Mathematics 2016-02-23 Taras Banakh , Michał Morayne , Robert Rałowski , Szymon Żeberski

In the paper, necessary and sufficient conditions are presented for a function involving a ratio of gamma functions to be logarithmically completely monotonic. This extends and generalizes the main result in [\emph{Inequalities and…

Classical Analysis and ODEs · Mathematics 2012-08-21 Feng Qi , Bai-Ni Guo

We discuss an eigenvalue problem which arises in the studies of asymptotic stability of a self-similar attractor in the sigma model. This problem is rather unusual from the viewpoint of the spectral theory of linear operators and requires…

Mathematical Physics · Physics 2010-05-17 Piotr Bizoń

We define a family {$\gamma(P)$} of generalized Euler constants indexed by finite sets of primes $P$ and study their distribution. These arise from partial sums of reciprocals of integers not divisible by any prime in $P$. An apparent…

Number Theory · Mathematics 2019-05-01 Harold G. Diamond , Kevin Ford

We study in this paper the monotonicity properties of the numerical solutions to Volterra integral equations with nonincreasing completely positive kernels on nonuniform meshes. There is a duality between the complete positivity and the…

Numerical Analysis · Mathematics 2023-10-04 Yuanyuan Feng , Lei Li

We provide evaluations of several recently studied higher and multiple Mahler measures using log-sine integrals. This is complemented with an analysis of generating functions and identities for log-sine integrals which allows the…

Classical Analysis and ODEs · Mathematics 2011-03-29 Jonathan M. Borwein , Armin Straub

Valuations on the space of finite-valued convex functions on $\mathbb{C}^n$ that are continuous, dually epi-translation invariant, as well as $\mathrm{U}(n)$-invariant are completely classified. It is shown that the space of these…

Functional Analysis · Mathematics 2024-08-05 Jonas Knoerr

The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. Garc\'ia-S\'anchez, together with several co-authors, derived…

Number Theory · Mathematics 2011-04-05 Andreas Philipp

Nonunique factorization in commutative monoids is often studied using factorization invariants, which assign to each monoid element a quantity determined by the factorization structure. For numerical monoids (co-finite, additive submonoids…

Commutative Algebra · Mathematics 2018-08-15 Christopher O'Neill , Roberto Pelayo

A complete classification is established of Minkowski valuations on lattice polytopes that intertwine the special linear group over the integers and are translation invariant. In the contravariant case, the only such valuations are…

Metric Geometry · Mathematics 2019-06-21 Karoly J. Boroczky , Monika Ludwig

One common type of symmetry is when values are symmetric. For example, if we are assigning colours (values) to nodes (variables) in a graph colouring problem then we can uniformly interchange the colours throughout a colouring. For a…

Artificial Intelligence · Computer Science 2009-03-09 Toby Walsh

We give systematic method to evaluate a large class of one-dimensional integral relating to multiple zeta values (MZV) and colored MZV. We also apply the technique of iterated integrals and regularization to elucidate the nature of some…

Number Theory · Mathematics 2024-01-30 Kam Cheong Au

"An invariant of metric spaces under bornologous equivalences" gives an invariant and "A coarse invariant" extends the invariant to coarse equivalences. In both papers the invariant is defined for a class of metric spaces called sigma…

General Topology · Mathematics 2024-03-20 Michael DeLyser , Brendon LaBuz , Benjamin Wetsell

We solve two continuous extremal problems on the classes of monotone functions: in the first problem we find extremal values for a line integral of a coordinate-wise monotone function of two variables from a rearrange\-ment-invariant class…

Functional Analysis · Mathematics 2026-03-03 Oleg Kovalenko

The notion of a valuation on convex bodies is very classical. The notion of a valuation on a class of functions was recently introduced and studied by M. Ludwig and others. We study an explicit relation between continuous valuations on…

Metric Geometry · Mathematics 2017-04-04 Semyon Alesker