English
Related papers

Related papers: Embedding polynomial systems into vertically param…

200 papers

The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which…

Dynamical Systems · Mathematics 2016-03-04 Laura Menini , Corrado Possieri , Antonio Tornambè

We propose a handful of definitions of injectivity for a parametrized family of maps and study its link with a global nonuniform stability conjecture for nonautonomous differential systems, which has been recently introduced. This relation…

Algebraic Geometry · Mathematics 2025-01-22 Álvaro Castañeda , Ignacio Huerta , Gonzalo Robledo

In this paper, we present a polynomial dynamic programming algorithm that tests whether a $n$-vertex directed tree $T$ has an upward planar embedding into a convex point-set $S$ of size $n$. Further, we extend our approach to the class of…

Data Structures and Algorithms · Computer Science 2015-03-19 Michael Kaufmann , Tamara Mchedlidze , Antonios Symvonis

Well-graded families, extremal systems and maximum systems (the last two in the sense of VC-theory and Sauer-Shelah lemma on VC-dimension) are three important classes of set systems. This paper aims to study the notion of duality in the…

Combinatorics · Mathematics 2022-12-19 Alireza Mofidi

We propose a method for variable selection and basis learning for high-dimensional classification with ordinal responses. The proposed method extends sparse multiclass linear discriminant analysis, with the aim of identifying not only the…

Methodology · Statistics 2025-02-17 Minwoo Kim , Sangil Han , Jeongyoun Ahn , Sungkyu Jung

Reduced basis approximations of Optimal Control Problems (OCPs) governed by steady partial differential equations (PDEs) with random parametric inputs are analyzed and constructed. Such approximations are based on a Reduced Order Model,…

Numerical Analysis · Mathematics 2023-08-08 Giuseppe Carere , Maria Strazzullo , Francesco Ballarin , Gianluigi Rozza , Rob Stevenson

We provide elementary proofs of several results concerning the possible outcomes arising from a fixed profile within the class of positional voting systems. Our arguments enable a simple and explicit construction of paradoxical profiles,…

Combinatorics · Mathematics 2020-08-17 Jacqueline Anderson , Brian Camara , John Pike

We study skew-orthogonal polynomials with respect to the weight function $\exp[-2V(x)]$, with $V(x)=\sum_{K=1}^{2d}(u_{K}/{K})x^{K}$, $u_{2d} > 0$, $d > 0$. A finite subsequence of such skew-orthogonal polynomials arising in the study of…

Mathematical Physics · Physics 2015-06-26 Saugata Ghosh

Variational approaches to approximate Bayesian inference provide very efficient means of performing parameter estimation and model selection. Among these, so-called variational-Laplace or VL schemes rely on Gaussian approximations to…

Methodology · Statistics 2018-01-17 Jean Daunizeau

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Previous efforts for exact algorithms have been unable to avoid structural problems that appear for…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers

We give the cumulative distribution functions, the expected values, and the moments of weighted lattice polynomials when regarded as real functions of independent random variables. Since weighted lattice polynomial functions include…

Probability · Mathematics 2008-02-19 Jean-Luc Marichal

We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata…

Formal Languages and Automata Theory · Computer Science 2024-08-07 Mikołaj Bojańczyk , Joanna Fijalkow , Bartek Klin , Joshua Moerman

We present MultivariatePowerSeries, a Maple library introduced in Maple 2021, providing a variety of methods to study formal multivariate power series and univariate polynomials over such series. This library offers a simple and easy-to-use…

Symbolic Computation · Computer Science 2021-06-30 Mohammadali Asadi , Alexander Brandt , Mahsa Kazemi , Marc Moreno Maza , Erik Postma

We study multiple orthogonal polynomials exploiting their explicit determinantal representation in terms of moments. Our reasoning follows that applied to solve the Hermite-Pad\'{e} approximation and interpolation problems. We study also…

Exactly Solvable and Integrable Systems · Physics 2026-03-17 Adam Doliwa

A systematic method for determining order parameters for quantum many-body systems on lattices is developed by utilizing reduced density matrices. This method allows one to extract the order parameter directly from the wave functions of the…

Strongly Correlated Electrons · Physics 2007-05-23 Shunsuke Furukawa , Gregoire Misguich , Masaki Oshikawa

Inferring the parameters of ordinary differential equations (ODEs) from noisy observations is an important problem in many scientific fields. Currently, most parameter estimation methods that bypass numerical integration tend to rely on…

Methodology · Statistics 2023-10-25 Mingwei Xu , Samuel W. K. Wong , Peijun Sang

We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe…

Logic · Mathematics 2022-02-02 Ciro Russo

We extend results by Barnsley et al. about orthogonal polynomials on Julia sets to the case of generalized Julia sets. The equilibrium measure is considered. In addition, we discuss optimal smoothness of Green functions and Parreau-Widom…

Dynamical Systems · Mathematics 2016-06-08 Gökalp Alpan , Alexander Goncharov

We consider the applications of a numerical-analytical approach based on multiscale variational wavelet technique to the systems with collective type behaviour described by some forms of Vlasov-Poisson/Maxwell equations. We calculate the…

Accelerator Physics · Physics 2007-05-23 Antonina N. Fedorova , Michael G. Zeitlin

The paper is devoted to developing subdifferential theory for set-valued mappings taking values in ordered infinite-dimensional spaces. This study is motivated by applications to problems of vector and set optimization with various…

Optimization and Control · Mathematics 2024-10-16 Boris S. Mordukhovich , Oanh Nguyen