English
Related papers

Related papers: Deterministic Depth-4 PIT and Normalization

200 papers

This work studies the average complexity of solving structured polynomial systems that are characterized by a low evaluation cost, as opposed to the dense random model previously used. Firstly, we design a continuation algorithm that…

Numerical Analysis · Mathematics 2023-06-12 Peter Bürgisser , Felipe Cucker , Pierre Lairez

For k a field of arbitrary characteristic, and R a k-algebra, we show that the PI degree of an iterated skew polynomial ring R[x_1;\tau_1,\delta_1]...b[x_n;\tau_n,\delta_n] agrees with the PI degree of R[x_1;\tau_1]...b[x_n;\tau_n] when…

Rings and Algebras · Mathematics 2007-05-23 Heidi Haynal

Let $\Phi$ be a family of functions analytic in some neighborhood of a complex domain $\Omega$, and let $T$ be a Hilbert space operator whose spectrum is contained in $\overline\Omega$. Our typical result shows that under some extra…

Functional Analysis · Mathematics 2017-03-28 Michael A. Dritschel , Daniel Estévez , Dmitry Yakubovich

We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$…

Rings and Algebras · Mathematics 2017-01-09 Dušan D. Repovš , Mikhail V. Zaicev

We develop a new algebraic technique that solves the following problem: Given a black box that contains an arithmetic circuit $f$ over a field of characteristic $2$ of degree~$d$. Decide whether $f$, expressed as an equivalent multivariate…

Data Structures and Algorithms · Computer Science 2014-04-11 Hasan Abasi , Nader H. Bshouty

We consider the space of all representations of the commutator subgroup of a knot group into a finite abelian group {\Sigma}, together with a shift map {\sigma}_x. This is a finite dynamical system, introduced by D.Silver and S. Williams.…

Geometric Topology · Mathematics 2013-01-11 Lilya Lyubich , Mikhail Lyubich

We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals…

Algebraic Geometry · Mathematics 2026-01-30 Mario Kummer , Cordian Riener

Let $K$ be a number field of degree $n$ with ring of integers $O_K$. By means of a criterion of Gilmer for polynomially dense subsets of the ring of integers of a number field, we show that, if $h\in K[X]$ maps every element of $O_K$ of…

Number Theory · Mathematics 2018-10-03 Giulio Peruginelli

We introduce a new numerical algorithm based on semidefinite programming to efficiently compute bounds on operator dimensions, central charges, and OPE coefficients in 4D conformal and N=1 superconformal field theories. Using our algorithm,…

High Energy Physics - Theory · Physics 2014-07-31 David Poland , David Simmons-Duffin , Alessandro Vichi

Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of…

Logic in Computer Science · Computer Science 2023-10-20 Thomas Hader , Daniela Kaufmann , Laura Kovács

We present a complete classification of the distributed computational complexity of local optimization problems in directed cycles for both the deterministic and the randomized LOCAL model. We show that for any local optimization problem…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-06 Thomas Boudier , Fabian Kuhn , Augusto Modanese , Ronja Stimpert , Jukka Suomela

In this paper we give a factorization theorem for the ring of exponential polynomials in many variables over an algebraically closed field of characteristic 0 with an exponentiation. This is a generalization of the factorization theorem due…

Rings and Algebras · Mathematics 2012-06-29 P. D'Aquino , G. Terzo

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

Data Structures and Algorithms · Computer Science 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

Let $A$ be a commutative ring with unity and $B = A[\theta]$ be an integral extension of $A$. Assume that $B$ is an integral domain with quotient field $\mathbb{K}$ and $\mathbb{E}$ is the minimal splitting field of $\theta$ over…

Number Theory · Mathematics 2026-04-13 Praveen Manju , Rajendra Kumar Sharma

We establish the existence of positive solutions to a general class of overdetermined semilinear elliptic boundary problems on suitable bounded open sets $\Omega\subset\mathbb{R}^n$. Specifically, for $n\leq 4$ and under mild technical…

Analysis of PDEs · Mathematics 2025-07-09 Alberto Enciso , Pablo Hidalgo-Palencia , Xavier Ros-Oton

In this paper, we present a deterministic algorithm to find a strong generic position for an algebraic space curve. We modify our existing algorithm for computing the topology of an algebraic space curve and analyze the bit complexity of…

Symbolic Computation · Computer Science 2019-01-30 Kai Jin , Jin-San Cheng

We present a framework for deterministically rounding a dynamic fractional matching. Applying our framework in a black-box manner on top of existing fractional matching algorithms, we derive the following new results: (1) The first…

Data Structures and Algorithms · Computer Science 2021-05-05 Sayan Bhattacharya , Peter Kiss

In this paper, we prove that if $P$ is a homogeneous prime ideal inside a standard graded polynomial ring $S$ with $\dim(S/P)=d$, and for $s \leq d$, adjoining $s$ general linear forms to the prime ideal changes the $(d-s)$-th Hilbert…

Commutative Algebra · Mathematics 2025-01-15 Cheng Meng

We present and analyze a novel regularized form of the gradient clipping algorithm, proving that it converges to global minima of the loss surface of deep neural networks under the squared loss, provided that the layers are of sufficient…

Machine Learning · Computer Science 2025-04-09 Matteo Tucat , Anirbit Mukherjee , Procheta Sen , Mingfei Sun , Omar Rivasplata

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic…

Commutative Algebra · Mathematics 2018-10-03 Giulio Peruginelli , Nicholas J. Werner