English
Related papers

Related papers: Model Theory of Complex Numbers with Polynomial Fu…

200 papers

We introduce a refined version of group cohomology and relate it to the space of polynomials on the group in question. We show that the polynomial cohomology with trivial coefficients admits a description in terms of ordinary cohomology…

Group Theory · Mathematics 2020-08-12 David Kyed , Henrik Densing Petersen

For a complex polynomial $P$ of degree $n$ and an $m$-tuple of distinct complex numbers $\Lambda=(\lambda_1,\ldots,\lambda_m)$, the dope matrix $D_P(\Lambda)$ is defined as the $m \times (n+1)$ matrix $(c)_{ij}$ with $c_{ij} =1$ if…

Combinatorics · Mathematics 2024-02-21 Ankit Bisain

Consider a multi-class labelling problem, where the labels can take values in $[k]$, and a predictor predicts a distribution over the labels. In this work, we study the following foundational question: Are there notions of multi-class…

Machine Learning · Computer Science 2024-06-11 Parikshit Gopalan , Lunjia Hu , Guy N. Rothblum

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in a quadratically closed field $K$ of any characteristic. It has been conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of…

Algebraic Geometry · Mathematics 2017-12-05 Alexey Kanel-Belov , Sergey Malev , Louis Rowen

In this document, some structured operator approximation theoretical methods for system identification of nearly eventually periodic systems, are presented. Let $\mathbb{C}^{n\times m}$ denote the algebra of $n\times m$ complex matrices.…

Numerical Analysis · Mathematics 2020-01-31 Fredy Vides

In this paper, we consider the reconfiguration problem of integer linear systems. In this problem, we are given an integer linear system $I$ and two feasible solutions $\boldsymbol{s}$ and $\boldsymbol{t}$ of $I$, and then asked to…

Data Structures and Algorithms · Computer Science 2019-11-11 Kei Kimura , Akira Suzuki

In the field of constraint satisfaction problems (CSP), promise CSPs are an exciting new direction of study. In a promise CSP, each constraint comes in two forms: "strict" and "weak," and in the associated decision problem one must…

Data Structures and Algorithms · Computer Science 2020-12-03 Joshua Brakensiek , Venkatesan Guruswami , Marcin Wrochna , Stanislav Živný

By introducing a class of meromorphic functions with certain ramification structures on $\Bbb{CP}^1$, a new method for the determination of the Legendre representation of elliptic curves with complex multiplication is introduced. These…

Algebraic Geometry · Mathematics 2015-11-19 Khashayar Filom

We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in…

Algebraic Geometry · Mathematics 2025-10-20 J. Maurice Rojas

We give a new algorithm for constructing Picard curves over a finite field with a given endomorphism ring. This has important applications in cryptography since curves of genus 3 allow for smaller key sizes than elliptic curves. For a…

Number Theory · Mathematics 2019-02-13 Sonny Arora , Kirsten Eisentraeger

In recent years much effort has been concentrated towards achieving polynomial time lower bounds on algorithms for solving various well-known problems. A useful technique for showing such lower bounds is to prove them conditionally based on…

Data Structures and Algorithms · Computer Science 2017-07-26 Isaac Goldstein , Tsvi Kopelowitz , Moshe Lewenstein , Ely Porat

We present an algorithm for the classification of triples of lattice polytopes with a given mixed volume $m$ in dimension 3. It is known that the classification can be reduced to the enumeration of so-called irreducible triples, the number…

Combinatorics · Mathematics 2020-12-22 Gennadiy Averkov , Christopher Borger , Ivan Soprunov

We explore several problems related to ruled polygons. Given a ruling of a polygon $P$, we consider the Reeb graph of $P$ induced by the ruling. We define the Reeb complexity of $P$, which roughly equates to the minimum number of points…

Computational Geometry · Computer Science 2017-07-05 Nicholas J. Cavanna , Marc Khoury , Donald R. Sheehy

The notion of polytopal map between two polytopal complexes is defined. Surprisingly, this definition is quite simple and extends naturally those of simplicial and cubical maps. It is then possible to define an induced chain map between the…

Combinatorics · Mathematics 2008-07-02 Frédéric Meunier

The lattice of flats $\mathcal L_M$ of a matroid $M$ is combinatorially well-behaved and, when $M$ is realizable, admits a geometric model in the form of a "Schubert variety of hyperplane arrangement". In contrast, the lattice of flats of a…

Algebraic Geometry · Mathematics 2025-09-19 Colin Crowley , Connor Simpson , Botong Wang

We consider the sensitivity of real roots of polynomial systems with respect to perturbations of the coefficients. In particular - for a version of the condition number defined by Cucker, Krick, Malajovich, and Wschebor - we establish new…

Probability · Mathematics 2018-06-11 Alperen A. Ergür , J. Maurice Rojas , Grigoris Paouris

Mathematical psychology has a long tradition of modeling probabilistic choice via distribution-free random utility models and associated random preference models. For such models, the predicted choice probabilities often form a bounded and…

Optimization and Control · Mathematics 2017-10-10 Clintin P. Davis-Stober , Jean-Paul Doignon , Samuel Fiorini , François Glineur , Michel Regenwetter

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Logic · Mathematics 2025-10-01 Ali Enayat , Mateusz Łełyk , Albert Visser

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

Logic · Mathematics 2021-03-09 Philipp Hieronymi , Erik Walsberg

Let a polyhedron $P$ be defined by one of the following ways: (i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$; (ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k…

Computational Complexity · Computer Science 2022-11-30 D. V. Gribanov , N. Yu. Zolotykh