English
Related papers

Related papers: On the complexity of the permanent in various comp…

200 papers

We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs,…

Combinatorics · Mathematics 2021-08-31 Diana Dziewa-Dawidczyk , Adam J. Przeździecki

In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…

Logic in Computer Science · Computer Science 2012-10-10 Domenico Cantone , Cristiano Longo

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

We give a probabilistic introduction to determinantal and permanental point processes. Determinantal processes arise in physics (fermions, eigenvalues of random matrices) and in combinatorics (nonintersecting paths, random spanning trees).…

Probability · Mathematics 2016-08-16 J. Ben Hough , Manjunath Krishnapur , Yuval Peres , Bálint Virág

We specify the frontier of decidability for fragments of the first-order theory of ordinal multiplication. We give a NEXPTIME lower bound for the complexity of the existential fragment of $\langle \omega^{\omega^\lambda}; \times, \omega,…

Logic in Computer Science · Computer Science 2018-05-07 Alexis Bès , Christian Choffrut

One of the most significant challenges in Computing Determinant of Rectangular Matrices is high time complexity of its algorithm. Among all definitions of determinant of rectangular matrices, used definition has special features which make…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-07 Neda Abdollahi , Mohammad Jafari , Morteza Bayat , Ali Amiri , Mahmood Fathy

In this thesis, we study the place of regular languages within the communication complexity setting. In particular, we are interested in the non-deterministic communication complexity of regular languages. We show that a regular language…

Computational Complexity · Computer Science 2008-02-01 Anil Ada

We recover Gessel's determinantal formula for the generating function of permutations with no ascending subsequence of length m+1. The starting point of our proof is the recursive construction of these permutations by insertion of the…

Combinatorics · Mathematics 2025-09-26 Mireille Bousquet-Mélou

We study the arithmetic circuit complexity of some well-known family of polynomials through the lens of parameterized complexity. Our main focus is on the construction of explicit algebraic branching programs (ABP) for determinant and…

Computational Complexity · Computer Science 2019-08-23 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

We introduce a new setting, the category of $\omega$PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is general enough to assign meanings to most practical…

Programming Languages · Computer Science 2023-05-29 Mathieu Huot , Alexander K. Lew , Vikash K. Mansinghka , Sam Staton

Motivated by the recent developments on the complexity of non-com\-mu\-ta\-tive determinant and permanent [Chien et al.\ STOC 2011, Bl\"aser ICALP 2013, Gentry CCC 2014] we attempt at obtaining a tight characterization of hard instances of…

Computational Complexity · Computer Science 2015-08-11 Christian Engels , B. V. Raghavendra Rao

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

In this paper, we give some determinantal and permanental representations of Generalized Lucas Polynomials by using various Hessenberg matrices, which are general form of determinantal and permanental representations of ordinary Lucas and…

Number Theory · Mathematics 2011-11-18 Kenan Kaygisiz , Adem Sahin

It is a well-known fact that the permanent polynomial is complete for the complexity class VNP, and it is largely suspected that the determinant does not share this property, despite its similar expression. We study the question of why the…

Computational Complexity · Computer Science 2025-07-18 Ian Orzel , Srikanth Srinivasan , Sébastien Tavenas , Amir Yehudayoff

Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for…

Number Theory · Mathematics 2018-10-30 Clemens Fuchs , Christina Karolus

Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module…

Algebraic Geometry · Mathematics 2011-12-22 Dmitry Kerner , Victor Vinnikov

Classical complexity theory measures the cost of computing a function, but many computational tasks require committing to one valid output among several. We introduce determination depth -- the minimum number of sequential layers of…

Computational Complexity · Computer Science 2026-04-08 Joseph M. Hellerstein

We develop a coordinate-free probabilistic framework for determinantal point processes associated with Bergman kernels on compact complex manifolds. The basic issue is that Bergman kernels are naturally line-bundle-valued:…

Complex Variables · Mathematics 2026-05-27 Thibaut Lemoine

In this paper we study some determinants and permanents. In particular, we investigate the new type determinants $$\det[(i^2+cij+dj^2)^{p-2}]_{1\le i,j\le p-1}\ \text{and} \ \det[(i^2+cij+dj^2)^{p-2}]_{0\le i,j\le p-1}$$ modulo an odd prime…

Number Theory · Mathematics 2024-02-28 Zhi-Wei Sun

A point process is said to be rigid if for any bounded domain in the phase space, the number of particles in the domain is almost surely determined by the restriction of the configuration to the complement of our bounded domain. The main…

Probability · Mathematics 2015-06-26 Alexander I. Bufetov