English
Related papers

Related papers: Deterministic Depth-4 PIT and Normalization

200 papers

Recent improvements on the deterministic complexities of fundamental graph problems in the LOCAL model of distributed computing have yielded state-of-the-art upper bounds of $\tilde{O}(\log^{5/3} n)$ rounds for maximal independent set (MIS)…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-21 Yann Bourreau , Sebastian Brandt , Alexandre Nolin

The subspace identification method (SIM) has become a widely adopted approach for the identification of discrete-time linear time-invariant (LTI) systems. In this paper, we derive finite sample high-probability error bounds for the system…

Systems and Control · Electrical Eng. & Systems 2025-07-03 Shuai Sun , Weikang Hu , Xu Wang

We define a class of stochastic processes based on evolutions and measurements of quantum systems, and consider the complexity of predicting their long-term behavior. It is shown that a very general class of decision problems regarding…

Computational Complexity · Computer Science 2007-05-23 John Watrous

We consider the problem of computing matrix polynomials $p(X)$, where $X$ is a large dense matrix, with as few matrix-matrix multiplications as possible. More precisely, let $\Pi_{2^{m}}^*$ represent the set of polynomials computable with…

Numerical Analysis · Mathematics 2025-08-14 Elias Jarlebring , Gustaf Lorentzon

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full…

Rings and Algebras · Mathematics 2019-08-20 Umberto Martínez-Peñas

A polynomial-time algorithm for computing the permanent in any field of characteristic 3 is presented in this article. The principal objects utilized for that purpose are the Cauchy and Vandermonde matrices, the discriminant function and…

Computational Complexity · Computer Science 2007-08-28 Vadim Tarin

Let $A$ be an $(m \times n)$ integral matrix, and let $P=\{ x : A x \leq b\}$ be an $n$-dimensional polytope. The width of $P$ is defined as $ w(P)=min\{ x\in \mathbb{Z}^n\setminus\{0\} :\: max_{x \in P} x^\top u - min_{x \in P} x^\top v…

Computational Geometry · Computer Science 2022-11-30 Dmitry Gribanov , Sergey Veselov

We study the regularization problem for port-Hamiltonian descriptor systems by proportional and/or derivative output feedback. Necessary and sufficient conditions are given, which guarantee that there exist output feedbacks such that the…

Optimization and Control · Mathematics 2025-12-02 Delin Chu , Volker Mehrmann

We present several results on the complexity of various forms of Sperner's Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over pseudo-manifolds of arbitrary dimension. The query complexity…

Quantum Physics · Physics 2007-05-23 Katalin Friedl , Gabor Ivanyos , Miklos Santha , Yves F. Verhoeven

Given a square, nonsingular matrix of univariate polynomials $\mathbf{F}\in\mathbb{K}[x]^{n\times n}$ over a field $\mathbb{K}$, we give a deterministic algorithm for finding the determinant of $\mathbf{F}$. The complexity of the algorithm…

Symbolic Computation · Computer Science 2014-09-22 Wei Zhou , George Labahn

In this article we present applications of smooth numbers to the unconditional derandomization of some well-known integer factoring algorithms. We begin with Pollard's $p-1$ algorithm, which finds in random polynomial time the prime…

Number Theory · Mathematics 2009-05-12 Bartosz Zralek

Let $\Sigma$ be an $n$-vertex controllable or almost controllable signed bipartite graph, and let $\Delta_\Sigma$ denote the discriminant of its characteristic polynomial $\chi(\Sigma; x)$. We prove that if (\rmnum{1}) the integer $2^{…

Combinatorics · Mathematics 2025-05-20 Songlin Guo , Wei Wang , Lele Li

Probabilistic circuits (PCs) are a class of tractable probabilistic models that allow efficient, often linear-time, inference of queries such as marginals and most probable explanations (MPE). However, marginal MAP, which is central to many…

Artificial Intelligence · Computer Science 2022-03-07 YooJung Choi , Tal Friedman , Guy Van den Broeck

We study symmetric arithmetic circuits and improve on lower bounds given by Dawar and Wilsenach (ArXiv 2020). Their result showed an exponential lower bound of the permanent computed by symmetric circuits. We extend this result to show a…

Computational Complexity · Computer Science 2020-09-24 Christian Engels

A new algorithms for computing discrete logarithms on elliptic curves defined over finite fields is suggested. It is based on a new method to find zeroes of summation polynomials. In binary elliptic curves one is to solve a cubic system of…

Cryptography and Security · Computer Science 2015-04-07 Igor Semaev

The representation of polynomials by arithmetic circuits evaluating them is an alternative data structure which allowed considerable progress in polynomial equation solving in the last fifteen years. We present a circuit based computation…

Computational Complexity · Computer Science 2012-04-26 Joos Heintz , Bart Kuijpers , Andres Rojas Paredes

Given a trivially graded polynomial ring $A=K[a_1,\dots,a_m]$ over a field $K$ and a positively graded polynomial ring $P=A[x_1,\dots,x_k]$, we study graded rings $R=P/I$, where $I$ is a homogeneous ideal in $P$ such that $I\cap A = \{0\}$.…

Commutative Algebra · Mathematics 2026-02-27 Martin Kreuzer , Lorenzo Robbiano

We investigate the power of non-deterministic circuits over restricted sets of base gates. We note that the power of non-deterministic circuits exhibit a dichotomy, in the following sense: For weak enough bases, non-deterministic circuits…

Computational Complexity · Computer Science 2017-05-19 Gustav Nordh

Let $\Phi = (V, \mathcal{C})$ be a constraint satisfaction problem on variables $v_1,\dots, v_n$ such that each constraint depends on at most $k$ variables and such that each variable assumes values in an alphabet of size at most $[q]$.…

Data Structures and Algorithms · Computer Science 2020-11-25 Vishesh Jain , Huy Tuan Pham , Thuy Duong Vuong

The boundary integral method (BIM) is a formulation of Helmholtz equation in the form of an integral equation suitable for numerical discretization to solve the quantum billiard. This paper is an extensive numerical survey of BIM in a…

chao-dyn · Physics 2008-02-03 Baowen Li , Marko Robnik
‹ Prev 1 4 5 6 7 8 10 Next ›