English
Related papers

Related papers: Extended formulations, non-negative factorizations…

200 papers

A framework for linear-programming (LP) decoding of nonbinary linear codes over rings is developed. This framework facilitates linear-programming based reception for coded modulation systems which use direct modulation mapping of coded…

Information Theory · Computer Science 2016-11-15 Mark F. Flanagan , Vitaly Skachek , Eimear Byrne , Marcus Greferath

Linear regression is fundamental to statistical analysis and machine learning, but its application to large-scale datasets necessitates distributed computing. The problem also arises in quantum computing, where handling extensive data…

Quantum Physics · Physics 2026-05-26 Sayaki Matsushita

We consider semidefinite programs (SDPs) of size n with equality constraints. In order to overcome scalability issues, Burer and Monteiro proposed a factorized approach based on optimizing over a matrix Y of size $n$ by $k$ such that $X =…

Machine Learning · Statistics 2018-11-29 Thomas Pumir , Samy Jelassi , Nicolas Boumal

Vertex Subset Problems (VSPs) are a class of combinatorial optimization problems on graphs where the goal is to find a subset of vertices satisfying a predefined condition. Two prominent approaches for solving VSPs are dynamic programming…

Data Structures and Algorithms · Computer Science 2026-01-14 Mateus de Oliveira Oliveira , Wim Van den Broeck

Multiplicative Programming (MP) pertains to a spectrum of optimization problems that involve product term(s). As computational paradigms of communication systems continue to evolve, particularly concerning the offloading strategies of…

Computational Complexity · Computer Science 2023-12-12 Yitong Wang , Chang Liu , Jun Zhao

We prove that any mixed-integer linear extended formulation for the matching polytope of the complete graph on $n$ vertices, with a polynomial number of constraints, requires $\Omega(\sqrt{\sfrac{n}{\log n}})$ many integer variables. By…

Optimization and Control · Mathematics 2022-06-27 Robert Hildebrand , Robert Weismantel , Rico Zenklusen

In this paper the Neciporuk method for proving lower bounds on the size of Boolean formulae is reformulated in terms of one-way communication complexity. We investigate the scenarios of probabilistic formulae, nondeterministic formulae, and…

Computational Complexity · Computer Science 2007-05-23 Hartmut Klauck

We present a unified derivation of the resummation of Sudakov logarithms, directly from the factorization properties of cross sections in which they occur. We rederive in this manner the well-known exponentiation of leading and nonleading…

High Energy Physics - Phenomenology · Physics 2008-11-26 Harry Contopanagos , Eric Laenen , George Sterman

A basic closed semialgebraic subset of $\mathbb{R}^{n}$ is defined by simultaneous polynomial inequalities $p_{1}\geq 0,\ldots,p_{m}\geq 0$. We consider Lasserre's relaxation hierarchy to solve the problem of minimizing a polynomial over…

Optimization and Control · Mathematics 2017-04-10 María López Quijorna

We study the complexity of satisfiability problems in probabilistic and causal reasoning. Given random variables $X_1, X_2,\ldots$ over finite domains, the basic terms are probabilities of propositional formulas over atomic events $X_i =…

Computational Complexity · Computer Science 2025-04-29 Markus Bläser , Julian Dörfler , Maciej Liśkiewicz , Benito van der Zander

Usual termination proofs for a functional program require to check all the possible reduction paths. Due to an exponential gap between the height and size of such the reduction tree, no naive formalization of termination proofs yields a…

Logic in Computer Science · Computer Science 2015-09-11 Naohi Eguchi

Matrix factorization is an important representation learning algorithm, e.g., recommender systems, where a large matrix can be factorized into the product of two low dimensional matrices termed as latent representations. This paper…

Information Theory · Computer Science 2021-05-11 Siyuan Wang , Qifa Yan , Jingjing Zhang , Jianping Wang , Linqi Song

Chordal and factor-width decomposition methods for semidefinite programming and polynomial optimization have recently enabled the analysis and control of large-scale linear systems and medium-scale nonlinear systems. Chordal decomposition…

Optimization and Control · Mathematics 2021-11-23 Yang Zheng , Giovanni Fantuzzi , Antonis Papachristodoulou

Consider the problem of constructing a polar code of block length $N$ for the transmission over a given channel $W$. Typically this requires to compute the reliability of all the $N$ synthetic channels and then to include those that are…

Information Theory · Computer Science 2017-07-17 Marco Mondelli , S. Hamed Hassani , Rüdiger Urbanke

Binary quadratic programming problems have attracted much attention in the last few decades due to their potential applications. This type of problems are NP-hard in general, and still considered a challenge in the design of efficient…

Data Structures and Algorithms · Computer Science 2014-11-20 Khaled Elbassioni , Trung Thanh Nguyen

Polyhedral estimate is a generic efficiently computable nonlinear in observations routine for recovering unknown signal belonging to a given convex compact set from noisy observation of signal's linear image. Risk analysis and optimal…

Statistics Theory · Mathematics 2022-12-26 Anatoli Juditsky , Arkadi Nemirovski

Coupled problems with various combinations of multiple physics, scales, and domains can be found in numerous areas of science and engineering. A key challenge in the formulation and implementation of corresponding coupled models is to…

Analysis of PDEs · Mathematics 2012-07-05 Maarten Arnst , Roger Ghanem , Eric Phipps , John Red-Horse

We introduce spiky rank, a new matrix parameter that enhances blocky rank by combining the combinatorial structure of the latter with linear-algebraic flexibility. A spiky matrix is block-structured with diagonal blocks that are arbitrary…

Computational Complexity · Computer Science 2026-03-02 Lianna Hambardzumyan , Konstantin Myasnikov , Artur Riazanov , Morgan Shirley , Adi Shraibman

Matrix factorization methods are important tools in data mining and analysis. They can be used for many tasks, ranging from dimensionality reduction to visualization. In this paper we concentrate on the use of matrix factorizations for…

Machine Learning · Computer Science 2017-07-28 Sanjar Karaev , Pauli Miettinen

We study the communication complexity of a direct sum of independent copies of the equality predicate. We prove that the probabilistic communication complexity of this problem is equal to O(N); computational complexity of the proposed…

Computational Complexity · Computer Science 2012-12-12 Vladimir Nikishkin
‹ Prev 1 3 4 5 6 7 10 Next ›