English
Related papers

Related papers: Deterministic identity testing paradigms for bound…

200 papers

The paper proposes an implicit (i.e., machine-independent) complexity approach to studying computation by polynomial-size, constant-depth circuits with gates counting modulo a constant through the lens of discrete ordinary differential…

Computational Complexity · Computer Science 2026-05-25 Melissa Antonelli , Arnaud Durand , Rui Li

The probability integral transform (PIT) of a continuous random variable $X$ with distribution function $F_X$ is a uniformly distributed random variable $U=F_X(X)$. We define the angular probability integral transform (APIT) as $\theta_U =…

Methodology · Statistics 2025-01-10 Fernández-Durán , J. J. , Gregorio-Domínguez , M. M

In a recent paper, Kim and Kopparty (Theory of Computing, 2017) gave a deterministic algorithm for the unique decoding problem for polynomials of bounded total degree over a general grid. We show that their algorithm can be adapted to solve…

Computational Complexity · Computer Science 2019-08-21 Srikanth Srinivasan , Utkarsh Tripathi , S. Venkitesh

One approach to make progress on the symbolic determinant identity testing (SDIT) problem is to study the structure of singular matrix spaces. After settling the non-commutative rank problem (Garg-Gurvits-Oliveira-Wigderson, Found. Comput.…

Computational Complexity · Computer Science 2021-12-07 Gábor Ivanyos , Tushant Mittal , Youming Qiao

We show that most arithmetic circuit lower bounds and relations between lower bounds naturally fit into the representation-theoretic framework suggested by geometric complexity theory (GCT), including: the partial derivatives technique…

Computational Complexity · Computer Science 2017-09-07 Joshua A. Grochow

A recent trend in parameterized algorithms is the application of polytope tools (specifically, LP-branching) to FPT algorithms (e.g., Cygan et al., 2011; Narayanaswamy et al., 2012). However, although interesting results have been achieved,…

Data Structures and Algorithms · Computer Science 2014-06-12 Yoichi Iwata , Magnus Wahlström , Yuichi Yoshida

We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al.,…

Low depth measurement-based quantum computation with qudits ($d$-level systems) is investigated and a precise relationship between this powerful model and qudit quantum circuits is derived in terms of computational depth and size…

Quantum Physics · Physics 2015-10-23 Timothy J. Proctor

The polynomial partitioning method of Guth and Katz [arXiv:1011.4105] has numerous applications in discrete and computational geometry. It partitions a given $n$-point set $P\subset\mathbb{R}^d$ using the zero set $Z(f)$ of a suitable…

Data Structures and Algorithms · Computer Science 2015-07-20 Jiri Matousek , Zuzana Patakova

In quantum computing the decoherence time of the qubits determines the computation time available and this time is very limited when using current hardware. In this paper we minimize the execution time (the depth) for a class of circuits…

Visible photonic integrated circuits underpin applications ranging from AR/VR to quantum control, yet lack a high-resolution, nondestructive diagnostic comparable to the optical frequency-domain reflectometry used in infrared silicon…

We study the Identity Problem, the problem of determining if a finitely generated semigroup of matrices contains the identity matrix; see Problem 3 (Chapter 10.3) in ``Unsolved Problems in Mathematical Systems and Control Theory'' by…

Discrete Mathematics · Computer Science 2025-09-19 Paul C. Bell , Reino Niskanen , Igor Potapov , Pavel Semukhin

The first large-scale deployment of private federated learning uses differentially private counting in the continual release model as a subroutine (Google AI blog titled "Federated Learning with Formal Differential Privacy Guarantees"). In…

Machine Learning · Computer Science 2024-02-06 Monika Henzinger , Jalaj Upadhyay , Sarvagya Upadhyay

We show that Inner Product in $2n$ variables, $\mathbf{IP}_n(x, y) = x_1y_1 \oplus \ldots \oplus x_ny_n$, can be computed by depth-3 bottom fan-in 2 circuits of size $\mathsf{poly}(n)\cdot (9/5)^n$, matching the lower bound of G\"o\"os,…

Computational Complexity · Computer Science 2026-02-13 Mohit Gurumukhani , Daniel Kleber , Ramamohan Paturi , Christopher Rosin , Navid Talebanfard

We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the variables in a given symbolic matrix as to maximize the…

Data Structures and Algorithms · Computer Science 2014-07-11 Gábor Ivanyos , Marek Karpinski , Nitin Saxena

Partial differential equations (PDEs) are an essential computational kernel in physics and engineering. With the advance of deep learning, physics-informed neural networks (PINNs), as a mesh-free method, have shown great potential for fast…

Machine Learning · Computer Science 2023-06-19 Junjun Yan , Xinhai Chen , Zhichao Wang , Enqiang Zhoui , Jie Liu

We show that if we can design poly($s$)-time hitting-sets for $\Sigma\wedge^a\Sigma\Pi^{O(\log s)}$ circuits of size $s$, where $a=\omega(1)$ is arbitrarily small and the number of variables, or arity $n$, is $O(\log s)$, then we can…

Computational Complexity · Computer Science 2017-02-24 Manindra Agrawal , Michael Forbes , Sumanta Ghosh , Nitin Saxena

The Vision Transformer (ViT) architecture has emerged as the backbone of choice for state-of-the-art deep models for computer vision applications. However, ViTs are ill-suited for private inference using secure multi-party computation (MPC)…

Cryptography and Security · Computer Science 2023-10-10 Naren Dhyani , Jianqiao Mo , Minsu Cho , Ameya Joshi , Siddharth Garg , Brandon Reagen , Chinmay Hegde

Physics-informed neural network (PINN) is a powerful emerging method for studying forward-inverse problems of partial differential equations (PDEs), even from limited sample data. Variable coefficient PDEs, which model real-world phenomena,…

Computational Physics · Physics 2025-03-07 Hui-Juan Zhou , Yong Chen

The Strong Exponential Time Hypothesis (SETH) is a standard assumption in (fine-grained) parameterized complexity and many tight lower bounds are based on it. We consider a number of reasonable weakenings of the SETH, with sources from (i)…

Computational Complexity · Computer Science 2025-10-14 Michael Lampis