English
Related papers

Related papers: Verifying $k$-Contraction without Computing $k$-Co…

200 papers

A strong direct product theorem states that if we want to compute $k$ independent instances of a function, using less than $k$ times the resources needed for one instance, then the overall success probability will be exponentially small in…

Computational Complexity · Computer Science 2010-04-12 Hartmut Klauck

Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…

Functional Analysis · Mathematics 2022-10-25 Eric A. Carlen , Haonan Zhang

We completely determine the structure constants between real root vectors in a rank 2 Kac--Moody algebra $\mathfrak{g}$. Our description is computationally efficient, even in the rank 2 hyperbolic case where the coefficients of roots on the…

Representation Theory · Mathematics 2020-07-29 Lisa Carbone , Matt Kownacki , Scott H. Murray , Sowmya Srinivasan

In the context of the Oppenheim-Horodecki paradigm of nonclassical correlation, a bipartite quantum state is (properly) classically correlated if and only if it is represented by a density matrix having a product eigenbasis. On the basis of…

Quantum Physics · Physics 2011-06-24 Akira SaiToh , Robabeh Rahimi , Mikio Nakahara

Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $\delta_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $\delta_{k-1}(H) \geq n/2$ and with no perfect matching. As a…

Combinatorics · Mathematics 2017-11-23 Hongliang Lu , Yan Wang , Xingxing Yu

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded…

Metric Geometry · Mathematics 2024-11-21 David Hume

We consider a family of $2 \times 2$ operator matrices ${\mathcal A}_\mu(k),$ $k \in {\Bbb T}^3:=(-\pi, \pi]^3,$ $\mu>0$, acting in the direct sum of zero- and one-particle subspaces of a Fock space. It is associated with the Hamiltonian of…

Mathematical Physics · Physics 2019-12-23 Tulkin H. Rasulov , Elyor B. Dilmurodov

k-means is a widely used clustering algorithm, but for $k$ clusters and a dataset size of $N$, each iteration of Lloyd's algorithm costs $O(kN)$ time. Although there are existing techniques to accelerate single Lloyd iterations, none of…

Data Structures and Algorithms · Computer Science 2016-01-18 Ryan R. Curtin

We prove a simplicity criterion for certain twin tree lattices. It applies to all rank two Kac-Moody groups over finite fields with non-trivial commutation relations, thereby yielding examples of simple non-uniform lattices in the product…

Group Theory · Mathematics 2012-09-25 Pierre-Emmanuel Caprace , Bertrand Remy

We consider congestion games on networks with nonatomic users and user-specific costs. We are interested in the uniqueness property defined by Milchtaich [Milchtaich, I. 2005. Topological conditions for uniqueness of equilibrium in…

Computer Science and Game Theory · Computer Science 2013-10-16 Frédéric Meunier , Thomas Pradeau

Motivated by topological Tverberg-type problems and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without triple, quadruple, or, more…

Geometric Topology · Mathematics 2015-08-13 Isaac Mabillard , Uli Wagner

In this paper, we present a unified analysis of matrix completion under general low-dimensional structural constraints induced by {\em any} norm regularization. We consider two estimators for the general problem of structured matrix…

Machine Learning · Statistics 2018-11-26 Suriya Gunasekar , Arindam Banerjee , Joydeep Ghosh

Given a set of data, one central goal is to group them into clusters based on some notion of similarity between the individual objects. One of the most popular and widely-used approaches is k-means despite the computational hardness to find…

Optimization and Control · Mathematics 2018-07-24 Xiaodong Li , Yang Li , Shuyang Ling , Thomas Strohmer , Ke Wei

Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and…

Logic · Mathematics 2018-10-09 Ekaterina Fokina , Dino Rossegger , Luca San Mauro

Conservation laws and balance equations for physical network systems typically can be described with the aid of the incidence matrix of a directed graph, and an associated symmetric Laplacian matrix. Some basic examples are discussed, and…

Optimization and Control · Mathematics 2015-10-19 A. J. van der Schaft

A function f : {0, 1}^n -> {0, 1} is said to be k-monotone if it flips between 0 and 1 at most k times on every ascending chain. Such functions represent a natural generalization of (1-)monotone functions, and have been recently studied in…

Computational Complexity · Computer Science 2018-06-05 Elena Grigorescu , Akash Kumar , Karl Wimmer

Round-based models are very common message-passing models; combinatorial topology applied to distributed computing provides sweeping results like general lower bounds. We combine both to study the computability of k-set agreement. Among all…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-15 Adam Shimi , Armando Castañeda

Using the notion of magnetic curvature recently introduced by the first author, we extend E. Hopf's theorem to the setting of magnetic systems. Namely, we prove that if the magnetic flow on the s-sphere bundle is without conjugate points,…

Differential Geometry · Mathematics 2024-10-15 Valerio Assenza , James Marshall Reber , Ivo Terek

A set of fixed points of the Hopfield type neural network was under investigation. Its connection matrix is constructed with regard to the Hebb rule from a highly symmetric set of the memorized patterns. Depending on the external parameter…

Biological Physics · Physics 2007-05-23 Hong-Liang Lu , Xi-Jun Qiu

A matrix completion problem is to recover the missing entries in a partially observed matrix. Most of the existing matrix completion methods assume a low rank structure of the underlying complete matrix. In this paper, we introduce an…

Machine Learning · Statistics 2020-11-16 Chencheng Cai , Rong Chen , Han Xiao