Showing 1–50 of 53 results for author: Kolmogorov, V

Verifying feasibility of degenerate semidefinite programs

Authors: Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata

Abstract: This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMI). Since in some SDP instances all feasible solutions have irrational entries, numerical solvers that work with rational numbers can only find an approximate solution. We study the following question: is it possible to certify feasibility of a given SD… ▽ More This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMI). Since in some SDP instances all feasible solutions have irrational entries, numerical solvers that work with rational numbers can only find an approximate solution. We study the following question: is it possible to certify feasibility of a given SDP using an approximate solution that is sufficiently close to some exact solution? Existing approaches make the assumption that there exist rational feasible solutions (and use techniques such as rounding and lattice reduction algorithms). We propose an alternative approach that does not need this assumption. More specifically, we show how to construct a system of polynomial equations whose set of real solutions is guaranteed to have an isolated correct solution (assuming that the target exact solution is maximum-rank). This allows, in particular, to use algorithms from real algebraic geometry for solving systems of polynomial equations, yielding a hybrid (or symbolic-numerical) method for SDPs. We experimentally compare it with a pure symbolic method in [Henrion, Naldi, Safey El Din; SIAM J. Optim., 2016]; the hybrid method was able to certify feasibility of many SDP instances on which [Henrion, Naldi, Safey El Din; SIAM J. Optim., 2016] failed. We argue that our approach may have other uses, such as refining an approximate solution using methods of numerical algebraic geometry for systems of polynomial equations. △ Less

Submitted 22 May, 2024; originally announced May 2024.

A simpler and parallelizable $O(\sqrt{\log n})$-approximation algorithm for Sparsest Cut

Authors: Vladimir Kolmogorov

Abstract: Currently, the best known tradeoff between approximation ratio and complexity for the Sparsest Cut problem is achieved by the algorithm in [Sherman, FOCS 2009]: it computes $O(\sqrt{(\log n)/\varepsilon})$-approximation using $O(n^\varepsilon\log^{O(1)}n)$ maxflows for any $\varepsilon\in[Θ(1/\log n),Θ(1)]$. It works by solving the SDP relaxation of [Arora-Rao-Vazirani, STOC 2004] using the Multip… ▽ More Currently, the best known tradeoff between approximation ratio and complexity for the Sparsest Cut problem is achieved by the algorithm in [Sherman, FOCS 2009]: it computes $O(\sqrt{(\log n)/\varepsilon})$-approximation using $O(n^\varepsilon\log^{O(1)}n)$ maxflows for any $\varepsilon\in[Θ(1/\log n),Θ(1)]$. It works by solving the SDP relaxation of [Arora-Rao-Vazirani, STOC 2004] using the Multiplicative Weights Update algorithm (MW) of [Arora-Kale, JACM 2016]. To implement one MW step, Sherman approximately solves a multicommodity flow problem using another application of MW. Nested MW steps are solved via a certain ``chaining'' algorithm that combines results of multiple calls to the maxflow algorithm. We present an alternative approach that avoids solving the multicommodity flow problem and instead computes ``violating paths''. This simplifies Sherman's algorithm by removing a need for a nested application of MW, and also allows parallelization: we show how to compute $O(\sqrt{(\log n)/\varepsilon})$-approximation via $O(\log^{O(1)}n)$ maxflows using $O(n^\varepsilon)$ processors. We also revisit Sherman's chaining algorithm, and present a simpler version together with a new analysis. △ Less

Submitted 8 April, 2024; v1 submitted 30 June, 2023; originally announced July 2023.

Comments: To appear in ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2024)

OrderedCuts: A new approach for computing Gomory-Hu tree

Authors: Vladimir Kolmogorov

Abstract: The Gomory-Hu tree, or a cut tree, is a classic data structure that stores minimum $s$-$t$ cuts of an undirected weighted graph for all pairs of nodes $(s,t)$. We propose a new approach for computing the cut tree based on a reduction to the problem that we call OrderedCuts. Given a sequence of nodes $s,v_1,\ldots,v_\ell$, its goal is to compute minimum $\{s,v_1,\ldots,v_{i-1}\}$-$v_i$ cuts for all… ▽ More The Gomory-Hu tree, or a cut tree, is a classic data structure that stores minimum $s$-$t$ cuts of an undirected weighted graph for all pairs of nodes $(s,t)$. We propose a new approach for computing the cut tree based on a reduction to the problem that we call OrderedCuts. Given a sequence of nodes $s,v_1,\ldots,v_\ell$, its goal is to compute minimum $\{s,v_1,\ldots,v_{i-1}\}$-$v_i$ cuts for all $i\in[\ell]$. We show that the cut tree can be computed by $\tilde O(1)$ calls to OrderedCuts. We also establish new results for OrderedCuts that may be of independent interest. First, we prove that all $\ell$ cuts can be stored compactly with $O(n)$ space in a data structure that we call an OC tree. We define a weaker version of this structure that we call depth-1 OC tree, and show that it is sufficient for constructing the cut tree. Second, we prove results that allow divide-and-conquer algorithms for computing OC tree. We argue that the existence of divide-and-conquer algorithms makes our new approach a good candidate for a practical implementation. △ Less

Submitted 6 July, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

A computational study of Gomory-Hu construction tree algorithms

Authors: Vladimir Kolmogorov

Abstract: This paper studies algorithms for computing a Gomory-Hu tree, which is a classical data structure that compactly stores all minimum $s$-$t$ cuts of an undirected weighted graph. We consider two classes of algorithms: the original method by Gomory and Hu and the method based on "OrderedCuts" that we recently proposed. We describe practical implementations of these methods, and compare them experime… ▽ More This paper studies algorithms for computing a Gomory-Hu tree, which is a classical data structure that compactly stores all minimum $s$-$t$ cuts of an undirected weighted graph. We consider two classes of algorithms: the original method by Gomory and Hu and the method based on "OrderedCuts" that we recently proposed. We describe practical implementations of these methods, and compare them experimentally with the algorithms from the previous experimental studies by Goldberg and Tsioutsiouliklis (2001) and by Akibo et al. (2016) (designed for unweighted simple graphs). Results indicate that the method based on OrderedCuts is the most robust, and often outperforms other implementations by a large factor. △ Less

Submitted 3 August, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Generalized minimum 0-extension problem and discrete convexity

Authors: Martin Dvorak, Vladimir Kolmogorov

Abstract: Given a fixed finite metric space $(V,μ)$, the {\em minimum $0$-extension problem}, denoted as ${\tt 0\mbox{-}Ext}[μ]$, is equivalent to the following optimization problem: minimize function of the form $\min\limits_{x\in V^n} \sum_i f_i(x_i) + \sum_{ij}c_{ij}μ(x_i,x_j)$ where $c_{ij},c_{vi}$ are given nonnegative costs and $f_i:V\rightarrow \mathbb R$ are functions given by… ▽ More Given a fixed finite metric space $(V,μ)$, the {\em minimum $0$-extension problem}, denoted as ${\tt 0\mbox{-}Ext}[μ]$, is equivalent to the following optimization problem: minimize function of the form $\min\limits_{x\in V^n} \sum_i f_i(x_i) + \sum_{ij}c_{ij}μ(x_i,x_j)$ where $c_{ij},c_{vi}$ are given nonnegative costs and $f_i:V\rightarrow \mathbb R$ are functions given by $f_i(x_i)=\sum_{v\in V}c_{vi}μ(x_i,v)$. The computational complexity of ${\tt 0\mbox{-}Ext}[μ]$ has been recently established by Karzanov and by Hirai: if metric $μ$ is {\em orientable modular} then ${\tt 0\mbox{-}Ext}[μ]$ can be solved in polynomial time, otherwise ${\tt 0\mbox{-}Ext}[μ]$ is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as $L^\natural$-convex functions. We consider a more general version of the problem in which unary functions $f_i(x_i)$ can additionally have terms of the form $c_{uv;i}μ(x_i,\{u,v\})$ for $\{u,v\}\in F$, where set $F\subseteq\binom{V}{2}$ is fixed. We extend the complexity classification above by providing an explicit condition on $(μ,F)$ for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving ${\tt 0\mbox{-}Ext}[μ]$ on orientable modular graphs. △ Less

Submitted 19 January, 2024; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: accepted to "Mathematical Programming"

One-sided Frank-Wolfe algorithms for saddle problems

Authors: Vladimir Kolmogorov, Thomas Pock

Abstract: We study a class of convex-concave saddle-point problems of the form $\min_x\max_y \langle Kx,y\rangle+f_{\cal{P}}(x)-h^\ast(y)$ where $K$ is a linear operator, $f_{\cal{P}}$ is the sum of a convex function $f$ with a Lipschitz-continuous gradient and the indicator function of a bounded convex polytope $\cal{P}$, and $h^\ast$ is a convex (possibly nonsmooth) function. Such problem arises, for exam… ▽ More We study a class of convex-concave saddle-point problems of the form $\min_x\max_y \langle Kx,y\rangle+f_{\cal{P}}(x)-h^\ast(y)$ where $K$ is a linear operator, $f_{\cal{P}}$ is the sum of a convex function $f$ with a Lipschitz-continuous gradient and the indicator function of a bounded convex polytope $\cal{P}$, and $h^\ast$ is a convex (possibly nonsmooth) function. Such problem arises, for example, as a Lagrangian relaxation of various discrete optimization problems. Our main assumptions are the existence of an efficient linear minimization oracle ($lmo$) for $f_{\cal{P}}$ and an efficient proximal map for $h^*$ which motivate the solution via a blend of proximal primal-dual algorithms and Frank-Wolfe algorithms. In case $h^*$ is the indicator function of a linear constraint and function $f$ is quadratic, we show a $O(1/n^2)$ convergence rate on the dual objective, requiring $O(n \log n)$ calls of $lmo$. If the problem comes from the constrained optimization problem $\min_{x\in\mathbb R^d}\{f_{\cal{P}}(x)\:|\:Ax-b=0\}$ then we additionally get bound $O(1/n^2)$ both on the primal gap and on the infeasibility gap. In the most general case, we show a $O(1/n)$ convergence rate of the primal-dual gap again requiring $O(n\log n)$ calls of $lmo$. To the best of our knowledge, this improves on the known convergence rates for the considered class of saddle-point problems. We show applications to labeling problems frequently appearing in machine learning and computer vision. △ Less

Submitted 4 June, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: to appear at ICML 2021

Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions

Authors: Vladimir Kolmogorov

Abstract: We consider the problem of solving LP relaxations of MAP-MRF inference problems, and in particular the method proposed recently in (Swoboda, Kolmogorov 2019; Kolmogorov, Pock 2021). As a key computational subroutine, it uses a variant of the Frank-Wolfe (FW) method to minimize a smooth convex function over a combinatorial polytope. We propose an efficient implementation of this subproutine based o… ▽ More We consider the problem of solving LP relaxations of MAP-MRF inference problems, and in particular the method proposed recently in (Swoboda, Kolmogorov 2019; Kolmogorov, Pock 2021). As a key computational subroutine, it uses a variant of the Frank-Wolfe (FW) method to minimize a smooth convex function over a combinatorial polytope. We propose an efficient implementation of this subproutine based on in-face Frank-Wolfe directions, introduced in (Freund et al. 2017) in a different context. More generally, we define an abstract data structure for a combinatorial subproblem that enables in-face FW directions, and describe its specialization for tree-structured MAP-MRF inference subproblems. Experimental results indicate that the resulting method is the current state-of-art LP solver for some classes of problems. Our code is available at https://pub.ist.ac.at/~vnk/papers/IN-FACE-FW.html. △ Less

Submitted 24 April, 2023; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: to appear at CVPR 2023

A new notion of commutativity for the algorithmic Lovász Local Lemma

Authors: David G. Harris, Fotis Iliopoulos, Vladimir Kolmogorov

Abstract: The Lovász Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LLL has intimate connections with a class of stochastic local search algorithms for finding such desirable objects. In particular, it can be seen as a… ▽ More The Lovász Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LLL has intimate connections with a class of stochastic local search algorithms for finding such desirable objects. In particular, it can be seen as a sufficient condition for this type of algorithms to converge fast. Besides conditions for existence of and fast convergence to desirable objects, one may naturally ask further questions regarding properties of these algorithms. For instance, "are they parallelizable?", "how many solutions can they output?", "what is the expected "weight" of a solution?", etc. These questions and more have been answered for a class of LLL-inspired algorithms called commutative. In this paper we introduce a new, very natural and more general notion of commutativity (essentially matrix commutativity) which allows us to show a number of new refined properties of LLL-inspired local search algorithms with significantly simpler proofs. △ Less

Submitted 30 March, 2022; v1 submitted 12 August, 2020; originally announced August 2020.

Journal ref: RANDOM 2021

Parameter estimation for Gibbs distributions

Authors: David G. Harris, Vladimir Kolmogorov

Abstract: We consider Gibbs distributions, which are families of probability distributions over a discrete space $Ω$ with probability mass function of the form $μ^Ω_β(ω) \propto e^{βH(ω)}$ for $β$ in an interval $[β_{\min}, β_{\max}]$ and $H( ω) \in \{0 \} \cup [1, n]$. The partition function is the normalization factor $Z(β)=\sum_{ω\inΩ}e^{βH(ω)}$. Two important parameters of these distributions are the… ▽ More We consider Gibbs distributions, which are families of probability distributions over a discrete space $Ω$ with probability mass function of the form $μ^Ω_β(ω) \propto e^{βH(ω)}$ for $β$ in an interval $[β_{\min}, β_{\max}]$ and $H( ω) \in \{0 \} \cup [1, n]$. The partition function is the normalization factor $Z(β)=\sum_{ω\inΩ}e^{βH(ω)}$. Two important parameters of these distributions are the log partition ratio $q = \log \tfrac{Z(β_{\max})}{Z(β_{\min})}$ and the counts $c_x = |H^{-1}(x)|$. These are correlated with system parameters in a number of physical applications and sampling algorithms. Our first main result is to estimate the counts $c_x$ using roughly $\tilde O( \frac{q}{\varepsilon^2})$ samples for general Gibbs distributions and $\tilde O( \frac{n^2}{\varepsilon^2} )$ samples for integer-valued distributions (ignoring some second-order terms and parameters), and we show this is optimal up to logarithmic factors. We illustrate with improved algorithms for counting connected subgraphs, independent sets, and perfect matchings. As a key subroutine, we also develop algorithms to compute the partition function $Z$ using $\tilde O(\frac{q}{\varepsilon^2})$ samples for general Gibbs distributions and using $\tilde O(\frac{n^2}{\varepsilon^2})$ samples for integer-valued distributions. △ Less

Submitted 9 March, 2024; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: This is a longer version which extends two previous papers "A Faster Approximation Algorithm for the Gibbs Partition Function" (arXiv:1608.04223), published in COLT 2018, and "Parameter estimation for Gibbs distributions" published in ICALP 2023

Extensions of the Algorithmic Lovasz Local Lemma

Authors: Vladimir Kolmogorov

Abstract: We consider recent formulations of the algorithmic Lovasz Local Lemma by Achlioptas-Iliopoulos-Kolmogorov [2] and by Achlioptas-Iliopoulos-Sinclair [3]. These papers analyze a random walk algorithm for finding objects that avoid undesired "bad events" (or "flaws"), and prove that under certain conditions the algorithm is guaranteed to find a "flawless" object quickly. We show that conditions propo… ▽ More We consider recent formulations of the algorithmic Lovasz Local Lemma by Achlioptas-Iliopoulos-Kolmogorov [2] and by Achlioptas-Iliopoulos-Sinclair [3]. These papers analyze a random walk algorithm for finding objects that avoid undesired "bad events" (or "flaws"), and prove that under certain conditions the algorithm is guaranteed to find a "flawless" object quickly. We show that conditions proposed in these papers are incomparable, and introduce a new family of conditions that includes those in [2, 3] as special cases. We also consider another condition that appeared in [3] in the context of sparse k-SAT formulas. This condition imposes a constraint for each variable of the problem, whereas traditional LLL formulations impose a constraint for each clause. Achlioptas et al. handled the variable-based condition via a reduction to a different condition and then applying a single-clause backtracking algorithm. We propose a new condition that directly captures the sparse k-SAT application considered in [3], and allows the use of the standard local search algorithm (which offers important advantages such as parallelization). Finally, we extend our previous notion of "commutativity" from [20] and prove several implications of commutativity using some new tools that we develop. In particular, we simplify the result of Iliopoulos [16] about approximating the LLL distribution. △ Less

Submitted 14 August, 2020; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: Superseded by arXiv:2008.05569

Parameter estimation for integer-valued Gibbs distributions

Authors: David G. Harris, Vladimir Kolmogorov

Abstract: A central problem in computational statistics is to convert a procedure for sampling combinatorial from an objects into a procedure for counting those objects, and vice versa. Weconsider sampling problems coming from *Gibbs distributions*, which are probability distributions of the form $μ^Ω_β(ω) \propto e^{βH(ω)}$ for $β$ in an interval $[β_\min, β_\max]$ and $H( ω) \in \{0 \} \cup [1, n]$. The *… ▽ More A central problem in computational statistics is to convert a procedure for sampling combinatorial from an objects into a procedure for counting those objects, and vice versa. Weconsider sampling problems coming from *Gibbs distributions*, which are probability distributions of the form $μ^Ω_β(ω) \propto e^{βH(ω)}$ for $β$ in an interval $[β_\min, β_\max]$ and $H( ω) \in \{0 \} \cup [1, n]$. The *partition function* is the normalization factor $Z(β)=\sum_{ω\inΩ}e^{βH(ω)}$. Two important parameters are the log partition ratio $q = \log \tfrac{Z(β_\max)}{Z(β_\min)}$ and the vector of counts $c_x = |H^{-1}(x)|$. Our first result is an algorithm to estimate the counts $c_x$ using roughly $\tilde O( \frac{q}{ε^2})$ samples for general Gibbs distributions and $\tilde O( \frac{n^2}{ε^2} )$ samples for integer-valued distributions (ignoring some second-order terms and parameters). We show this is optimal up to logarithmic factors. We illustrate with improved algorithms for counting connected subgraphs and perfect matchings in a graph. We develop a key subroutine for global estimation of the partition function. Specifically, we produce a data structure to estimate $Z(β)$ for \emph{all} values $β$, without further samples. Constructing the data structure requires $O(\frac{q \log n}{ε^2})$ samples for general Gibbs distributions and $O(\frac{n^2 \log n}{ε^2} + n \log q)$ samples for integer-valued distributions. This improves over a prior algorithm of Kolmogorov (2018) which computes the single point estimate $Z(β_\max)$ using $\tilde O(\frac{q}{ε^2})$ samples. We also show that this complexity is optimal as a function of $n$ and $q$ up to logarithmic terms. △ Less

Submitted 17 August, 2023; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: Superseded by arXiv:2007.10824 This version is obsolete

A Local Lemma for Focused Stochastic Algorithms

Authors: Dimitris Achlioptas, Fotis Iliopoulos, Vladimir Kolmogorov

Abstract: We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a random nearby state that addresses the violation, while hopefully not introducing many new ones. An important class of focused local search algorithms with provabl… ▽ More We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a random nearby state that addresses the violation, while hopefully not introducing many new ones. An important class of focused local search algorithms with provable performance guarantees has recently arisen from algorithmizations of the Lovász Local Lemma (LLL), a non-constructive tool for proving the existence of satisfying states by introducing a background measure on the state space. While powerful, the state transitions of algorithms in this class must be, in a precise sense, perfectly compatible with the background measure. In many applications this is a very restrictive requirement and one needs to step outside the class. Here we introduce the notion of \emph{measure distortion} and develop a framework for analyzing arbitrary focused stochastic local search algorithms, recovering LLL algorithmizations as the special case of no distortion. Our framework takes as input an arbitrary such algorithm and an arbitrary probability measure and shows how to use the measure as a yardstick of algorithmic progress, even for algorithms designed independently of the measure. △ Less

Submitted 3 September, 2018; originally announced September 2018.

Comments: This paper is based on results that appeared in preliminary form in SODA 2016 and FOCS 2016. arXiv admin note: text overlap with arXiv:1507.07633

MAP inference via Block-Coordinate Frank-Wolfe Algorithm

Authors: Paul Swoboda, Vladimir Kolmogorov

Abstract: We present a new proximal bundle method for Maximum-A-Posteriori (MAP) inference in structured energy minimization problems. The method optimizes a Lagrangean relaxation of the original energy minimization problem using a multi plane block-coordinate Frank-Wolfe method that takes advantage of the specific structure of the Lagrangean decomposition. We show empirically that our method outperforms st… ▽ More We present a new proximal bundle method for Maximum-A-Posteriori (MAP) inference in structured energy minimization problems. The method optimizes a Lagrangean relaxation of the original energy minimization problem using a multi plane block-coordinate Frank-Wolfe method that takes advantage of the specific structure of the Lagrangean decomposition. We show empirically that our method outperforms state-of-the-art Lagrangean decomposition based algorithms on some challenging Markov Random Field, multi-label discrete tomography and graph matching problems. △ Less

Submitted 5 April, 2019; v1 submitted 13 June, 2018; originally announced June 2018.

Precise measurement of $R_{\text{uds}}$ and $R$ between 1.84 and 3.72 GeV at the KEDR detector

Authors: V. V. Anashin, O. V. Anchugov, V. M. Aulchenko, E. M. Baldin, G. N. Baranov, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, E. A. Bekhtenev, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, P. B. Cheblakov, V. L. Dorohov, S. I. Eidelman, D. N. Grigoriev, S. A. Glukhov, V. V. Kaminskiy , et al. (64 additional authors not shown)

Abstract: The present work continues a series of the KEDR measurements of the $R$ value that started in 2010 at the VEPP-4M $e^+e^-$ collider. By combining new data with our previous results in this energy range we measured the values of $R_{\text{uds}}$ and $R$ at nine center-of-mass energies between 3.08 and 3.72 GeV. The total accuracy is about or better than $2.6\%$ at most of energy points with a syste… ▽ More The present work continues a series of the KEDR measurements of the $R$ value that started in 2010 at the VEPP-4M $e^+e^-$ collider. By combining new data with our previous results in this energy range we measured the values of $R_{\text{uds}}$ and $R$ at nine center-of-mass energies between 3.08 and 3.72 GeV. The total accuracy is about or better than $2.6\%$ at most of energy points with a systematic uncertainty of about $1.9\%$. Together with the previous precise $R$ measurement at KEDR in the energy range 1.84-3.05 GeV, it constitutes the most detailed high-precision $R$ measurement near the charmonium production threshold. △ Less

Submitted 8 November, 2018; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: arXiv admin note: text overlap with arXiv:1610.02827 and substantial text overlap with arXiv:1510.02667

Testing the complexity of a valued CSP language

Authors: Vladimir Kolmogorov

Abstract: A Valued Constraint Satisfaction Problem (VCSP) provides a common framework that can express a wide range of discrete optimization problems. A VCSP instance is given by a finite set of variables, a finite domain of labels, and an objective function to be minimized. This function is represented as a sum of terms where each term depends on a subset of the variables. To obtain different classes of op… ▽ More A Valued Constraint Satisfaction Problem (VCSP) provides a common framework that can express a wide range of discrete optimization problems. A VCSP instance is given by a finite set of variables, a finite domain of labels, and an objective function to be minimized. This function is represented as a sum of terms where each term depends on a subset of the variables. To obtain different classes of optimization problems, one can restrict all terms to come from a fixed set $Γ$ of cost functions, called a language. Recent breakthrough results have established a complete complexity classification of such classes with respect to language $Γ$: if all cost functions in $Γ$ satisfy a certain algebraic condition then all $Γ$-instances can be solved in polynomial time, otherwise the problem is NP-hard. Unfortunately, testing this condition for a given language $Γ$ is known to be NP-hard. We thus study exponential algorithms for this meta-problem. We show that the tractability condition of a finite-valued language $Γ$ can be tested in $O(\sqrt[3]{3}^{\,|D|}\cdot poly(size(Γ)))$ time, where $D$ is the domain of $Γ$ and $poly(\cdot)$ is some fixed polynomial. We also obtain a matching lower bound under the Strong Exponential Time Hypothesis (SETH). More precisely, we prove that for any constant $δ<1$ there is no $O(\sqrt[3]{3}^{\,δ|D|})$ algorithm, assuming that SETH holds. △ Less

Submitted 19 April, 2019; v1 submitted 6 March, 2018; originally announced March 2018.

Comments: to appear in ICALP 2019

Measurement of $Γ_{ee}\times\mathcal{B}_{μμ}$ for $ψ(2S)$ meson

Authors: V. V. Anashin, O. V. Anchugov, V. M. Aulchenko, E. M. Baldin, G. N. Baranov, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, E. A. Bekhtenev, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, P. B. Cheblakov, V. L. Dorohov, S. I. Eidelman, D. N. Grigoriev, S. A. Glukhov, S. E. Karnaev , et al. (64 additional authors not shown)

Abstract: The product of the electronic width of the $ψ(2S)$ meson and the branching fraction of its decay to the muon pair was measured in the $e^{+}e^{-} \to ψ(2S) \to μ^{+}μ^{-}$ process using nine data sets corresponding to an integrated luminosity of about 6.5 pb$^{-1}$ collected with the KEDR detector at the VEPP-4M electron-positron collider: \[ Γ_{ee}\times\mathcal{B}_{μμ} = 19.3 \pm 0.3 \pm 0.5 ~\t… ▽ More The product of the electronic width of the $ψ(2S)$ meson and the branching fraction of its decay to the muon pair was measured in the $e^{+}e^{-} \to ψ(2S) \to μ^{+}μ^{-}$ process using nine data sets corresponding to an integrated luminosity of about 6.5 pb$^{-1}$ collected with the KEDR detector at the VEPP-4M electron-positron collider: \[ Γ_{ee}\times\mathcal{B}_{μμ} = 19.3 \pm 0.3 \pm 0.5 ~\text{eV}. \] Adding the previous KEDR results on hadronic and leptonic channels, the values of the $ψ(2S)$ electronic width were obtained under two assumptions: either with the assumption of lepton universality \[ Γ_{ee} = 2.279 \pm 0.015 \pm 0.042 ~\text{keV} \] or without it, summing up hadronic and three independent leptonic channels: \[ Γ_{ee} = 2.282 \pm 0.015 \pm 0.042 ~\text{keV}. \] △ Less

Submitted 4 April, 2018; v1 submitted 31 January, 2018; originally announced January 2018.

Measurement of $R$ between 1.84 and 3.05 GeV at the KEDR detector

Authors: V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, S. E. Karnaev, G. V. Karpov, S. V. Karpov, P. V. Kasyanenko, T. A. Kharlamova, V. A. Kiselev , et al. (53 additional authors not shown)

Abstract: Using the KEDR detector at the VEPP-4M $e^+e^-$ collider, we have determined the values of $R$ at thirteen points of the center-of-mass energy between 1.84 and 3.05 GeV. The achieved accuracy is about or better than $3.9\%$ at most of the energy points with a systematic uncertainty less than $2.4\%$. Using the KEDR detector at the VEPP-4M $e^+e^-$ collider, we have determined the values of $R$ at thirteen points of the center-of-mass energy between 1.84 and 3.05 GeV. The achieved accuracy is about or better than $3.9\%$ at most of the energy points with a systematic uncertainty less than $2.4\%$. △ Less

Submitted 24 November, 2016; v1 submitted 10 October, 2016; originally announced October 2016.

A Faster Approximation Algorithm for the Gibbs Partition Function

Authors: Vladimir Kolmogorov

Abstract: We consider the problem of estimating the partition function $Z(β)=\sum_x \exp(-β(H(x))$ of a Gibbs distribution with a Hamilton $H(\cdot)$, or more precisely the logarithm of the ratio $q=\ln Z(0)/Z(β)$. It has been recently shown how to approximate $q$ with high probability assuming the existence of an oracle that produces samples from the Gibbs distribution for a given parameter value in… ▽ More We consider the problem of estimating the partition function $Z(β)=\sum_x \exp(-β(H(x))$ of a Gibbs distribution with a Hamilton $H(\cdot)$, or more precisely the logarithm of the ratio $q=\ln Z(0)/Z(β)$. It has been recently shown how to approximate $q$ with high probability assuming the existence of an oracle that produces samples from the Gibbs distribution for a given parameter value in $[0,β]$. The current best known approach due to Huber [9] uses $O(q\ln n\cdot[\ln q + \ln \ln n+\varepsilon^{-2}])$ oracle calls on average where $\varepsilon$ is the desired accuracy of approximation and $H(\cdot)$ is assumed to lie in $\{0\}\cup[1,n]$. We improve the complexity to $O(q\ln n\cdot\varepsilon^{-2})$ oracle calls. We also show that the same complexity can be achieved if exact oracles are replaced with approximate sampling oracles that are within $O(\frac{\varepsilon^2}{q\ln n})$ variation distance from exact oracles. Finally, we prove a lower bound of $Ω(q\cdot \varepsilon^{-2})$ oracle calls under a natural model of computation. △ Less

Submitted 27 December, 2017; v1 submitted 15 August, 2016; originally announced August 2016.

Efficient Optimization for Rank-based Loss Functions

Authors: Pritish Mohapatra, Michal Rolinek, C. V. Jawahar, Vladimir Kolmogorov, M. Pawan Kumar

Abstract: The accuracy of information retrieval systems is often measured using complex loss functions such as the average precision (AP) or the normalized discounted cumulative gain (NDCG). Given a set of positive and negative samples, the parameters of a retrieval system can be estimated by minimizing these loss functions. However, the non-differentiability and non-decomposability of these loss functions… ▽ More The accuracy of information retrieval systems is often measured using complex loss functions such as the average precision (AP) or the normalized discounted cumulative gain (NDCG). Given a set of positive and negative samples, the parameters of a retrieval system can be estimated by minimizing these loss functions. However, the non-differentiability and non-decomposability of these loss functions does not allow for simple gradient based optimization algorithms. This issue is generally circumvented by either optimizing a structured hinge-loss upper bound to the loss function or by using asymptotic methods like the direct-loss minimization framework. Yet, the high computational complexity of loss-augmented inference, which is necessary for both the frameworks, prohibits its use in large training data sets. To alleviate this deficiency, we present a novel quicksort flavored algorithm for a large class of non-decomposable loss functions. We provide a complete characterization of the loss functions that are amenable to our algorithm, and show that it includes both AP and NDCG based loss functions. Furthermore, we prove that no comparison based algorithm can improve upon the computational complexity of our approach asymptotically. We demonstrate the effectiveness of our approach in the context of optimizing the structured hinge loss upper bound of AP and NDCG loss for learning models for a variety of vision tasks. We show that our approach provides significantly better results than simpler decomposable loss functions, while requiring a comparable training time. △ Less

Submitted 28 February, 2018; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: 15 pages, 2 figures

Even Delta-Matroids and the Complexity of Planar Boolean CSPs

Authors: Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek

Abstract: The main result of this paper is a generalization of the classical blossom algorithm for finding perfect matchings. Our algorithm can efficiently solve Boolean CSPs where each variable appears in exactly two constraints (we call it edge CSP) and all constraints are even $Δ$-matroid relations (represented by lists of tuples). As a consequence of this, we settle the complexity classification of plan… ▽ More The main result of this paper is a generalization of the classical blossom algorithm for finding perfect matchings. Our algorithm can efficiently solve Boolean CSPs where each variable appears in exactly two constraints (we call it edge CSP) and all constraints are even $Δ$-matroid relations (represented by lists of tuples). As a consequence of this, we settle the complexity classification of planar Boolean CSPs started by Dvorak and Kupec. Using a reduction to even $Δ$-matroids, we then extend the tractability result to larger classes of $Δ$-matroids that we call efficiently coverable. It properly includes classes that were known to be tractable before, namely co-independent, compact, local, linear and binary, with the following caveat: we represent $Δ$-matroids by lists of tuples, while the last two use a representation by matrices. Since an $n\times n$ matrix can represent exponentially many tuples, our tractability result is not strictly stronger than the known algorithm for linear and binary $Δ$-matroids. △ Less

Submitted 14 June, 2018; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: 33 pages, 9 figures

MSC Class: 68Q25 ACM Class: F.2.2; G.2.2

Measurement of $R_{\text{uds}}$ and $R$ between 3.12 and 3.72 GeV at the KEDR detector

Authors: V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, S. E. Karnaev, G. V. Karpov, S. V. Karpov, P. V. Kasyanenko, T. A. Kharlamova, V. A. Kiselev , et al. (53 additional authors not shown)

Abstract: Using the KEDR detector at the VEPP-4M $e^+e^-$ collider, we have measured the values of $R_{\text{uds}}$ and $R$ at seven points of the center-of-mass energy between 3.12 and 3.72 GeV. The total achieved accuracy is about or better than $3.3\%$ at most of energy points with a systematic uncertainty of about $2.1\%$. At the moment it is the most accurate measurement of $R(s)$ in this energy range. Using the KEDR detector at the VEPP-4M $e^+e^-$ collider, we have measured the values of $R_{\text{uds}}$ and $R$ at seven points of the center-of-mass energy between 3.12 and 3.72 GeV. The total achieved accuracy is about or better than $3.3\%$ at most of energy points with a systematic uncertainty of about $2.1\%$. At the moment it is the most accurate measurement of $R(s)$ in this energy range. △ Less

Submitted 23 November, 2015; v1 submitted 8 October, 2015; originally announced October 2015.

Journal ref: Phys. Lett. B 753 (2016) 533-541

Commutativity in the Algorithmic Lovasz Local Lemma

Authors: Vladimir Kolmogorov

Abstract: We consider the recent formulation of the Algorithmic Lovász Local Lemma [10,2,3] for finding objects that avoid `bad features', or `flaws'. It extends the Moser-Tardos resampling algorithm [17] to more general discrete spaces. At each step the method picks a flaw present in the current state and goes to a new state according to some prespecified probability distribution (which depends on the curr… ▽ More We consider the recent formulation of the Algorithmic Lovász Local Lemma [10,2,3] for finding objects that avoid `bad features', or `flaws'. It extends the Moser-Tardos resampling algorithm [17] to more general discrete spaces. At each step the method picks a flaw present in the current state and goes to a new state according to some prespecified probability distribution (which depends on the current state and the selected flaw). However, it is less flexible than the Moser-Tardos method since [10,2,3] require a specific flaw selection rule, whereas [17] allows an arbitrary rule (and thus can potentially be implemented more efficiently). We formulate a new "commutativity" condition, and prove that it is sufficient for an arbitrary rule to work. It also enables an efficient parallelization under an additional assumption. We then show that existing resampling oracles for perfect matchings and permutations do satisfy this condition. △ Less

Submitted 4 September, 2018; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: Accepted to SIAM Journal on Computing (SICOMP). Some proofs are simplified compared to the previous version

Effectiveness of Structural Restrictions for Hybrid CSPs

Authors: Vladimir Kolmogorov, Michal Rolinek, Rustem Takhanov

Abstract: Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism $\mbox{$\bR \rightarrow \bGamma$}$ between two relational structures, e.g.\ between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for {\em fixed template CSPs} in whic… ▽ More Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism $\mbox{$\bR \rightarrow \bGamma$}$ between two relational structures, e.g.\ between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for {\em fixed template CSPs} in which the right side $\bGamma$ is fixed and the left side $\bR$ is unconstrained. Far fewer results are known for the {\em hybrid} setting that restricts both sides simultaneously. It assumes that $\bR$ belongs to a certain class of relational structures (called a {\em structural restriction} in this paper). We study which structural restrictions are {\em effective}, i.e.\ there exists a fixed template $\bGamma$ (from a certain class of languages) for which the problem is tractable when $\bR$ is restricted, and NP-hard otherwise. We provide a characterization for structural restrictions that are {\em closed under inverse homomorphisms}. The criterion is based on the {\em chromatic number} of a relational structure defined in this paper; it generalizes the standard chromatic number of a graph. As our main tool, we use the algebraic machinery developed for fixed template CSPs. To apply it to our case, we introduce a new construction called a "lifted language." We also give a characterization for structural restrictions corresponding to minor-closed families of graphs, extend results to certain Valued CSPs (namely conservative valued languages), and state implications for CSPs with ordered variables, (valued) CSPs on structures with large girth, and for the maximum weight independent set problem on some restricted families of graphs including graphs with large girth. △ Less

Submitted 24 October, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: 20 pages

Total variation on a tree

Authors: Vladimir Kolmogorov, Thomas Pock, Michal Rolinek

Abstract: We consider the problem of minimizing the continuous valued total variation subject to different unary terms on trees and propose fast direct algorithms based on dynamic programming to solve these problems. We treat both the convex and the non-convex case and derive worst case complexities that are equal or better than existing methods. We show applications to total variation based 2D image proces… ▽ More We consider the problem of minimizing the continuous valued total variation subject to different unary terms on trees and propose fast direct algorithms based on dynamic programming to solve these problems. We treat both the convex and the non-convex case and derive worst case complexities that are equal or better than existing methods. We show applications to total variation based 2D image processing and computer vision problems based on a Lagrangian decomposition approach. The resulting algorithms are very efficient, offer a high degree of parallelism and come along with memory requirements which are only in the order of the number of image pixels. △ Less

Submitted 25 April, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: accepted to SIAM Journal on Imaging Sciences (SIIMS)

The Complexity of General-Valued CSPs

Authors: Vladimir Kolmogorov, Andrei Krokhin, Michal Rolinek

Abstract: An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates infeasible assignments. The goal is to find an assignmen… ▽ More An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates infeasible assignments. The goal is to find an assignment of labels to the variables that minimizes the sum. We study (assuming that P $\ne$ NP) how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in $\{0,\infty\}$ corresponds to ordinary CSPs, where one deals only with the feasibility issue and there is no optimization. This case is the subject of the Algebraic CSP Dichotomy Conjecture predicting for which constraint languages CSPs are tractable and for which NP-hard. The case when all allowed functions take only finite values corresponds to finite-valued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Živný. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs. △ Less

Submitted 13 February, 2017; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: accepted to SIAM Journal on Computing (SICOMP). An extended abstract of this work (without proofs) has appeared in FOCS 2015

A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly max-Oracle

Authors: Neel Shah, Vladimir Kolmogorov, Christoph H. Lampert

Abstract: Structural support vector machines (SSVMs) are amongst the best performing models for structured computer vision tasks, such as semantic image segmentation or human pose estimation. Training SSVMs, however, is computationally costly, because it requires repeated calls to a structured prediction subroutine (called \emph{max-oracle}), which has to solve an optimization problem itself, e.g. a graph c… ▽ More Structural support vector machines (SSVMs) are amongst the best performing models for structured computer vision tasks, such as semantic image segmentation or human pose estimation. Training SSVMs, however, is computationally costly, because it requires repeated calls to a structured prediction subroutine (called \emph{max-oracle}), which has to solve an optimization problem itself, e.g. a graph cut. In this work, we introduce a new algorithm for SSVM training that is more efficient than earlier techniques when the max-oracle is computationally expensive, as it is frequently the case in computer vision tasks. The main idea is to (i) combine the recent stochastic Block-Coordinate Frank-Wolfe algorithm with efficient hyperplane caching, and (ii) use an automatic selection rule for deciding whether to call the exact max-oracle or to rely on an approximate one based on the cached hyperplanes. We show experimentally that this strategy leads to faster convergence to the optimum with respect to the number of requires oracle calls, and that this translates into faster convergence with respect to the total runtime when the max-oracle is slow compared to the other steps of the algorithm. A publicly available C++ implementation is provided at http://pub.ist.ac.at/~vnk/papers/SVM.html . △ Less

Submitted 18 November, 2014; v1 submitted 28 August, 2014; originally announced August 2014.

Superconcentrators of Density 25.3

Authors: Vladimir Kolmogorov, Michal Rolinek

Abstract: An $N$-superconcentrator is a directed, acyclic graph with $N$ input nodes and $N$ output nodes such that every subset of the inputs and every subset of the outputs of same cardinality can be connected by node-disjoint paths. It is known that linear-size and bounded-degree superconcentrators exist. We prove the existence of such superconcentrators with asymptotic density $25.3$ (where the density… ▽ More An $N$-superconcentrator is a directed, acyclic graph with $N$ input nodes and $N$ output nodes such that every subset of the inputs and every subset of the outputs of same cardinality can be connected by node-disjoint paths. It is known that linear-size and bounded-degree superconcentrators exist. We prove the existence of such superconcentrators with asymptotic density $25.3$ (where the density is the number of edges divided by $N$). The previously best known densities were $28$ \cite{Scho2006} and $27.4136$ \cite{YuanK12}. △ Less

Submitted 4 May, 2016; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: (to appear in Ars Combinatorica)

Combining pattern-based CRFs and weighted context-free grammars

Authors: Rustem Takhanov, Vladimir Kolmogorov

Abstract: We consider two models for the sequence labeling (tagging) problem. The first one is a {\em Pattern-Based Conditional Random Field }(\PB), in which the energy of a string (chain labeling) $x=x_1\ldots x_n\in D^n$ is a sum of terms over intervals $[i,j]$ where each term is non-zero only if the substring $x_i\ldots x_j$ equals a prespecified word $w\in Λ$. The second model is a {\em Weighted Context… ▽ More We consider two models for the sequence labeling (tagging) problem. The first one is a {\em Pattern-Based Conditional Random Field }(\PB), in which the energy of a string (chain labeling) $x=x_1\ldots x_n\in D^n$ is a sum of terms over intervals $[i,j]$ where each term is non-zero only if the substring $x_i\ldots x_j$ equals a prespecified word $w\in Λ$. The second model is a {\em Weighted Context-Free Grammar }(\WCFG) frequently used for natural language processing. \PB and \WCFG encode local and non-local interactions respectively, and thus can be viewed as complementary. We propose a {\em Grammatical Pattern-Based CRF model }(\GPB) that combines the two in a natural way. We argue that it has certain advantages over existing approaches such as the {\em Hybrid model} of Bened{í} and Sanchez that combines {\em $\mbox{$N$-grams}$} and \WCFGs. The focus of this paper is to analyze the complexity of inference tasks in a \GPB such as computing MAP. We present a polynomial-time algorithm for general \GPBs and a faster version for a special case that we call {\em Interaction Grammars}. △ Less

Submitted 1 November, 2014; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: 11 pages

ACM Class: I.2.7

Proceedings of The 38th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM), 2014

Authors: Vladimir Kolmogorov, Christoph Lampert, Emilie Morvant, Rustem Takhanov

Abstract: The 38th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM) will be held at IST Austria, on May 22-23, 2014. The workshop provides a platform for researchers and industry to discuss traditional and new areas of computer vision. This year the main topic is: Pattern Recognition: interdisciplinary challenges and opportunities. The 38th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM) will be held at IST Austria, on May 22-23, 2014. The workshop provides a platform for researchers and industry to discuss traditional and new areas of computer vision. This year the main topic is: Pattern Recognition: interdisciplinary challenges and opportunities. △ Less

Submitted 30 April, 2014; v1 submitted 14 April, 2014; originally announced April 2014.

Parameters of charmonium states from KEDR

Authors: KEDR Collaboration, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, V. R. Groshev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov , et al. (58 additional authors not shown)

Abstract: We report results of experiments performed with the KEDR detector at the VEPP-4M $e^+e^-$ collider. They include final results for the mass and other parameters of the $J/ψ$, $ψ(2S)$ and $ψ(3770)$ and $J/ψ\toγη_c$ branching fraction determination. We report results of experiments performed with the KEDR detector at the VEPP-4M $e^+e^-$ collider. They include final results for the mass and other parameters of the $J/ψ$, $ψ(2S)$ and $ψ(3770)$ and $J/ψ\toγη_c$ branching fraction determination. △ Less

Submitted 29 November, 2013; originally announced November 2013.

Comments: 5 pages, 6 figures, PhiPsi 2013, International Workshop on e+e- collisions from Phi to Psi. September 9-12, 2013, Rome, Italy

Measurement of the ratio of the leptonic widths $Γ_{ee}/Γ_{μμ}$ for the $J/ψ$ meson

Authors: KEDR Collaboration, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, A. M. Batrakov, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, V. R. Groshev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov , et al. (57 additional authors not shown)

Abstract: The ratio of the electron and muon widths of the $J/ψ$ meson has been measured using direct $J/ψ$ decays in the KEDR experiment at the VEPP-4M electron-positron collider. The result $Γ_{ee}(J/ψ)/Γ_{μμ}(J/ψ)=1.0022\pm0.0044\pm0.0048\ (0.65\%)$ is in good agreement with the lepton universality. The experience collected during this analysis will be used for a $J/ψ$ lepton width determination with up… ▽ More The ratio of the electron and muon widths of the $J/ψ$ meson has been measured using direct $J/ψ$ decays in the KEDR experiment at the VEPP-4M electron-positron collider. The result $Γ_{ee}(J/ψ)/Γ_{μμ}(J/ψ)=1.0022\pm0.0044\pm0.0048\ (0.65\%)$ is in good agreement with the lepton universality. The experience collected during this analysis will be used for a $J/ψ$ lepton width determination with up to 1% accuracy. △ Less

Submitted 17 February, 2014; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: 5 pages, 6 figures, 2 tables

Journal ref: Phys. Lett. B731, 227 (2014)

The power of linear programming for general-valued CSPs

Authors: Vladimir Kolmogorov, Johan Thapper, Stanislav Zivny

Abstract: Let $D$, called the domain, be a fixed finite set and let $Γ$, called the valued constraint language, be a fixed set of functions of the form $f:D^m\to\mathbb{Q}\cup\{\infty\}$, where different functions might have different arity $m$. We study the valued constraint satisfaction problem parametrised by $Γ$, denoted by VCSP$(Γ)$. These are minimisation problems given by $n$ variables and the object… ▽ More Let $D$, called the domain, be a fixed finite set and let $Γ$, called the valued constraint language, be a fixed set of functions of the form $f:D^m\to\mathbb{Q}\cup\{\infty\}$, where different functions might have different arity $m$. We study the valued constraint satisfaction problem parametrised by $Γ$, denoted by VCSP$(Γ)$. These are minimisation problems given by $n$ variables and the objective function given by a sum of functions from $Γ$, each depending on a subset of the $n$ variables. Finite-valued constraint languages contain functions that take on only rational values and not infinite values. Our main result is a precise algebraic characterisation of valued constraint languages whose instances can be solved exactly by the basic linear programming relaxation (BLP). For a valued constraint language $Γ$, BLP is a decision procedure for $Γ$ if and only if $Γ$ admits a symmetric fractional polymorphism of every arity. For a finite-valued constraint language $Γ$, BLP is a decision procedure if and only if $Γ$ admits a symmetric fractional polymorphism of some arity, or equivalently, if $Γ$ admits a symmetric fractional polymorphism of arity 2. Using these results, we obtain tractability of several novel classes of problems, including problems over valued constraint languages that are: (1) submodular on arbitrary lattices; (2) $k$-submodular on arbitrary finite domains; (3) weakly (and hence strongly) tree-submodular on arbitrary trees. △ Less

Submitted 25 November, 2014; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: A full version of a FOCS'12 paper by the last two authors (arXiv:1204.1079) and an ICALP'13 paper by the first author (arXiv:1207.7213) to appear in SIAM Journal on Computing (SICOMP)

ACM Class: F.2.m

Journal ref: SIAM Journal on Computing 44(1) (2015) 1-36

Potts model, parametric maxflow and k-submodular functions

Authors: Igor Gridchyn, Vladimir Kolmogorov

Abstract: The problem of minimizing the Potts energy function frequently occurs in computer vision applications. One way to tackle this NP-hard problem was proposed by Kovtun [19,20]. It identifies a part of an optimal solution by running $k$ maxflow computations, where $k$ is the number of labels. The number of "labeled" pixels can be significant in some applications, e.g. 50-93% in our tests for stereo. W… ▽ More The problem of minimizing the Potts energy function frequently occurs in computer vision applications. One way to tackle this NP-hard problem was proposed by Kovtun [19,20]. It identifies a part of an optimal solution by running $k$ maxflow computations, where $k$ is the number of labels. The number of "labeled" pixels can be significant in some applications, e.g. 50-93% in our tests for stereo. We show how to reduce the runtime to $O(\log k)$ maxflow computations (or one {\em parametric maxflow} computation). Furthermore, the output of our algorithm allows to speed-up the subsequent alpha expansion for the unlabeled part, or can be used as it is for time-critical applications. To derive our technique, we generalize the algorithm of Felzenszwalb et al. [7] for {\em Tree Metrics}. We also show a connection to {\em $k$-submodular functions} from combinatorial optimization, and discuss {\em $k$-submodular relaxations} for general energy functions. △ Less

Submitted 7 October, 2013; originally announced October 2013.

Comments: Accepted to ICCV 2013

A new look at reweighted message passing

Authors: Vladimir Kolmogorov

Abstract: We propose a new family of message passing techniques for MAP estimation in graphical models which we call {\em Sequential Reweighted Message Passing} (SRMP). Special cases include well-known techniques such as {\em Min-Sum Diffusion} (MSD) and a faster {\em Sequential Tree-Reweighted Message Passing} (TRW-S). Importantly, our derivation is simpler than the original derivation of TRW-S, and does n… ▽ More We propose a new family of message passing techniques for MAP estimation in graphical models which we call {\em Sequential Reweighted Message Passing} (SRMP). Special cases include well-known techniques such as {\em Min-Sum Diffusion} (MSD) and a faster {\em Sequential Tree-Reweighted Message Passing} (TRW-S). Importantly, our derivation is simpler than the original derivation of TRW-S, and does not involve a decomposition into trees. This allows easy generalizations. We present such a generalization for the case of higher-order graphical models, and test it on several real-world problems with promising results. △ Less

Submitted 19 January, 2017; v1 submitted 22 September, 2013; originally announced September 2013.

Comments: TPAMI accepted version

Journal ref: TPAMI, 37(5):919-930 (May, 2015)

Towards Minimizing k-Submodular Functions

Authors: Anna Huber, Vladimir Kolmogorov

Abstract: In this paper we investigate k-submodular functions. This natural family of discrete functions includes submodular and bisubmodular functions as the special cases k = 1 and k = 2 respectively. In particular we generalize the known Min-Max-Theorem for submodular and bisubmodular functions. This theorem asserts that the minimum of the (bi)submodular function can be found by solving a maximization… ▽ More In this paper we investigate k-submodular functions. This natural family of discrete functions includes submodular and bisubmodular functions as the special cases k = 1 and k = 2 respectively. In particular we generalize the known Min-Max-Theorem for submodular and bisubmodular functions. This theorem asserts that the minimum of the (bi)submodular function can be found by solving a maximization problem over a (bi)submodular polyhedron. We define and investigate a k-submodular polyhedron and prove a Min-Max-Theorem for k-submodular functions. △ Less

Submitted 21 September, 2013; originally announced September 2013.

Simplifying Energy Optimization using Partial Enumeration

Authors: Carl Olsson, Johannes Ulen, Yuri Boykov, Vladimir Kolmogorov

Abstract: Energies with high-order non-submodular interactions have been shown to be very useful in vision due to their high modeling power. Optimization of such energies, however, is generally NP-hard. A naive approach that works for small problem instances is exhaustive search, that is, enumeration of all possible labelings of the underlying graph. We propose a general minimization approach for large grap… ▽ More Energies with high-order non-submodular interactions have been shown to be very useful in vision due to their high modeling power. Optimization of such energies, however, is generally NP-hard. A naive approach that works for small problem instances is exhaustive search, that is, enumeration of all possible labelings of the underlying graph. We propose a general minimization approach for large graphs based on enumeration of labelings of certain small patches. This partial enumeration technique reduces complex high-order energy formulations to pairwise Constraint Satisfaction Problems with unary costs (uCSP), which can be efficiently solved using standard methods like TRW-S. Our approach outperforms a number of existing state-of-the-art algorithms on well known difficult problems (e.g. curvature regularization, stereo, deconvolution); it gives near global minimum and better speed. Our main application of interest is curvature regularization. In the context of segmentation, our partial enumeration technique allows to evaluate curvature directly on small patches using a novel integral geometry approach. △ Less

Submitted 8 October, 2013; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: 13 pages, 16 figures. "Partial Enumeration and Curvature Regularization" In International Conference on Computer Vision (ICCV), 2013

Inference algorithms for pattern-based CRFs on sequence data

Authors: Rustem Takhanov, Vladimir Kolmogorov

Abstract: We consider Conditional Random Fields (CRFs) with pattern-based potentials defined on a chain. In this model the energy of a string (labeling) $x_1...x_n$ is the sum of terms over intervals $[i,j]$ where each term is non-zero only if the substring $x_i...x_j$ equals a prespecified pattern $α$. Such CRFs can be naturally applied to many sequence tagging problems. We present efficient algorithms f… ▽ More We consider Conditional Random Fields (CRFs) with pattern-based potentials defined on a chain. In this model the energy of a string (labeling) $x_1...x_n$ is the sum of terms over intervals $[i,j]$ where each term is non-zero only if the substring $x_i...x_j$ equals a prespecified pattern $α$. Such CRFs can be naturally applied to many sequence tagging problems. We present efficient algorithms for the three standard inference tasks in a CRF, namely computing (i) the partition function, (ii) marginals, and (iii) computing the MAP. Their complexities are respectively $O(n L)$, $O(n L \ell_{max})$ and $O(n L \min\{|D|,\log (\ell_{max}+1)\})$ where $L$ is the combined length of input patterns, $\ell_{max}$ is the maximum length of a pattern, and $D$ is the input alphabet. This improves on the previous algorithms of (Ye et al., 2009) whose complexities are respectively $O(n L |D|)$, $O(n |Γ| L^2 \ell_{max}^2)$ and $O(n L |D|)$, where $|Γ|$ is the number of input patterns. In addition, we give an efficient algorithm for sampling. Finally, we consider the case of non-positive weights. (Komodakis & Paragios, 2009) gave an $O(n L)$ algorithm for computing the MAP. We present a modification that has the same worst-case complexity but can beat it in the best case. △ Less

Submitted 20 January, 2017; v1 submitted 1 October, 2012; originally announced October 2012.

Comments: Algorithmica accepted version

Journal ref: Algorithmica, September 2016, Volume 76, Issue 1, pp 17-46

The power of linear programming for valued CSPs: a constructive characterization

Authors: Vladimir Kolmogorov

Abstract: A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the language with the goal to minimise the sum. We study which classes of finite-valued languages can be solved exactly by the basic linear programming relaxation (BLP… ▽ More A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the language with the goal to minimise the sum. We study which classes of finite-valued languages can be solved exactly by the basic linear programming relaxation (BLP). Thapper and Zivny showed [20] that if BLP solves the language then the language admits a binary commutative fractional polymorphism. We prove that the converse is also true. This leads to a necessary and a sufficient condition which can be checked in polynomial time for a given language. In contrast, the previous necessary and sufficient condition due to [20] involved infinitely many inequalities. More recently, Thapper and Zivny [21] showed (using, in particular, a technique introduced in this paper) that core languages that do not satisfy our condition are NP-hard. Taken together, these results imply that a finite-valued language can either be solved using Linear Programming or is NP-hard. △ Less

Submitted 26 November, 2012; v1 submitted 31 July, 2012; originally announced July 2012.

Comments: added Remark 1

On the optimality of tree-reweighted max-product message-passing

Authors: Vladimir Kolmogorov, Martin Wainwright

Abstract: Tree-reweighted max-product (TRW) message passing is a modified form of the ordinary max-product algorithm for attempting to find minimal energy configurations in Markov random field with cycles. For a TRW fixed point satisfying the strong tree agreement condition, the algorithm outputs a configuration that is provably optimal. In this paper, we focus on the case of binary variables with pairwise… ▽ More Tree-reweighted max-product (TRW) message passing is a modified form of the ordinary max-product algorithm for attempting to find minimal energy configurations in Markov random field with cycles. For a TRW fixed point satisfying the strong tree agreement condition, the algorithm outputs a configuration that is provably optimal. In this paper, we focus on the case of binary variables with pairwise couplings, and establish stronger properties of TRW fixed points that satisfy only the milder condition of weak tree agreement (WTA). First, we demonstrate how it is possible to identify part of the optimal solution|i.e., a provably optimal solution for a subset of nodes| without knowing a complete solution. Second, we show that for submodular functions, a WTA fixed point always yields a globally optimal solution. We establish that for binary variables, any WTA fixed point always achieves the global maximum of the linear programming relaxation underlying the TRW method. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Report number: UAI-P-2005-PG-316-323

Generalized sequential tree-reweighted message passing

Authors: Vladimir Kolmogorov, Thomas Schoenemann

Abstract: This paper addresses the problem of approximate MAP-MRF inference in general graphical models. Following [36], we consider a family of linear programming relaxations of the problem where each relaxation is specified by a set of nested pairs of factors for which the marginalization constraint needs to be enforced. We develop a generalization of the TRW-S algorithm [9] for this problem, where we use… ▽ More This paper addresses the problem of approximate MAP-MRF inference in general graphical models. Following [36], we consider a family of linear programming relaxations of the problem where each relaxation is specified by a set of nested pairs of factors for which the marginalization constraint needs to be enforced. We develop a generalization of the TRW-S algorithm [9] for this problem, where we use a decomposition into junction chains, monotonic w.r.t. some ordering on the nodes. This generalizes the monotonic chains in [9] in a natural way. We also show how to deal with nested factors in an efficient way. Experiments show an improvement over min-sum diffusion, MPLP and subgradient ascent algorithms on a number of computer vision and natural language processing problems. △ Less

Submitted 13 September, 2012; v1 submitted 29 May, 2012; originally announced May 2012.

The complexity of conservative valued CSPs

Authors: Vladimir Kolmogorov, Stanislav Zivny

Abstract: We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of languages containing all possible unary cost functions.… ▽ More We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of languages containing all possible unary cost functions. In the case of languages consisting of only $\{0,\infty\}$-valued cost functions (i.e. relations), such languages have been called \emph{conservative} and studied by Bulatov [LICS'03] and recently by Barto [LICS'11]. Since we study valued languages, we call a language conservative if it contains all finite-valued unary cost functions. The complexity of conservative valued languages has been studied by Cohen et al. [AIJ'06] for languages over Boolean domains, by Deineko et al. [JACM'08] for $\{0,1\}$-valued languages (a.k.a Max-CSP), and by Takhanov [STACS'10] for $\{0,\infty\}$-valued languages containing all finite-valued unary cost functions (a.k.a. Min-Cost-Hom). We prove a Schaefer-like dichotomy theorem for conservative valued languages: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of \emph{STP and MJN multimorphisms}), then any instance can be solved in polytime (via a new algorithm developed in this paper), otherwise the language is NP-hard. This is the \emph{first} complete complexity classification of \emph{general-valued constraint languages} over non-Boolean domains. This generalises previous results by Takhanov [STACS'10] and (a subset of results) by Cohen et al. [AIJ'06] and Deineko et al. [JACM'08]. Moreover, our results do not rely on any computer-assisted search as in Deineko et al. [JACM'08], and provide a powerful tool for proving hardness of finite- and general-valued languages. △ Less

Submitted 12 October, 2011; originally announced October 2011.

Comments: 38 pages. Full version of the paper that will appear in SODA 12

Journal ref: Journal of the ACM 60(2) Article No. 10 (2013)

Measurement of J/psi leptonic width with the KEDR detector

Authors: V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, O. L. Beloborodova, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov, T. A. Kharlamova , et al. (57 additional authors not shown)

Abstract: We report a new precise determination of the leptonic widths of the J/psi meson performed with the KEDR detector at the VEPP-4M $e^{+}e^{-}$ collider. The measured values of the J/psi parameters are: Γ_{ee}\timesΓ_{ee}/Γ= 0.3323 \pm 0.0064 (stat.) \pm 0.0048 (syst.) keV Γ_{ee}\timesΓ_{μμ}/Γ=0.3318 \pm 0.0052 (stat.) \pm 0.0063 (syst.) keV. Assuming $eμ$ universality and using the table value of th… ▽ More We report a new precise determination of the leptonic widths of the J/psi meson performed with the KEDR detector at the VEPP-4M $e^{+}e^{-}$ collider. The measured values of the J/psi parameters are: Γ_{ee}\timesΓ_{ee}/Γ= 0.3323 \pm 0.0064 (stat.) \pm 0.0048 (syst.) keV Γ_{ee}\timesΓ_{μμ}/Γ=0.3318 \pm 0.0052 (stat.) \pm 0.0063 (syst.) keV. Assuming $eμ$ universality and using the table value of the branching ratios the leptonic Γ_{ll}= 5.59 \pm 0.12 keV width and the total Γ=94.1 \pm 2.7 keV widths were obtained. We also discuss in detail a method to calculate radiative corrections at a narrow resonance. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: Published in proceedings of the PhiPsi 2009 conference

Journal ref: Chinese Phys. C34 (2010) 836

Measurement of main parameters of the ψ(2S) resonance

Authors: V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, O. L. Beloborodova, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov, T. A. Kharlamova , et al. (57 additional authors not shown)

Abstract: A high-precision determination of the main parameters of the ψ(2S) resonance has been performed with the KEDR detector at the VEPP-4M e^{+}e^{-} collider in three scans of the ψ(2S) -- ψ(3770) energy range. Fitting the energy dependence of the multihadron cross section in the vicinity of the ψ(2S) we obtained the mass value M = 3686.114 +- 0.007 +- 0.011 ^{+0.002}_{-0.012} MeV and the product of… ▽ More A high-precision determination of the main parameters of the ψ(2S) resonance has been performed with the KEDR detector at the VEPP-4M e^{+}e^{-} collider in three scans of the ψ(2S) -- ψ(3770) energy range. Fitting the energy dependence of the multihadron cross section in the vicinity of the ψ(2S) we obtained the mass value M = 3686.114 +- 0.007 +- 0.011 ^{+0.002}_{-0.012} MeV and the product of the electron partial width by the branching fraction into hadrons Γ_{ee}*B_{h} = 2.233 +- 0.015 +- 0.037 +- 0.020 keV. The third error quoted is an estimate of the model dependence of the result due to assumptions on the interference effects in the cross section of the single-photon e^{+}e^{-} annihilation to hadrons explicitly considered in this work. Implicitly, the same assumptions were employed to obtain the charmonium leptonic width and the absolute branching fractions in many experiments. Using the result presented and the world average values of the electron and hadron branching fractions, one obtains the electron partial width and the total width of the ψ(2S): Γ_{ee} =2.282 +- 0.015 +- 0.038 +- 0.021 keV, Γ= 296 +- 2 +- 8 +- 3 keV. These results are consistent with and more than two times more precise than any of the previous experiments. △ Less

Submitted 16 December, 2011; v1 submitted 20 September, 2011; originally announced September 2011.

Journal ref: Physics Letters B 711, pp. 280-291 (2012)

Measurement of ψ(3770) parameters

Authors: V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, O. L. Beloborodova, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov, T. A. Kharlamova , et al. (57 additional authors not shown)

Abstract: We report the final results of a study of the ψ(3770) meson using a data sample collected with the KEDR detector at the VEPP-4M electron-positron collider. The data analysis takes into account the interference between the resonant and nonresonant $D\bar{D}$ production, where the latter is related to the nonresonant part of the energy-dependent form factor $F_D$. The vector dominance approach and s… ▽ More We report the final results of a study of the ψ(3770) meson using a data sample collected with the KEDR detector at the VEPP-4M electron-positron collider. The data analysis takes into account the interference between the resonant and nonresonant $D\bar{D}$ production, where the latter is related to the nonresonant part of the energy-dependent form factor $F_D$. The vector dominance approach and several empirical parameterizations have been tried for the nonresonant $F_D^{\NR}(s)$. Our results for the mass and total width of ψ(3770) are M = 3779.2 ^{+1.8}_{-1.7} ^{+0.5}_{-0.7} ^{+0.3}_{-0.3} MeV, Γ=24.9 ^{+4.6}_{-4.0} ^{+0.5}_{-0.6} ^{+0.2}_{-0.9} MeV, where the first, second and third uncertainties are statistical, systematic and model, respectively. For the electron partial width two possible solutions have been found: (1) Γ_{ee} = 154 ^{+79}_{-58} ^{+17}_{-9} ^{+13}_{-25} eV, (2) Γ_{ee} = 414 ^{+72}_{-80} ^{+24}_{-26} ^{+90}_{-10} eV. Our statistics are insufficient to prefer one solution to another. The solution (2) mitigates the problem of non-$D\bar{D}$ decays but is disfavored by potential models. It is shown that taking into account the resonance--continuum interference in the near-threshold region affects resonance parameters, thus the results presented can not be directly compared with the corresponding PDG values obtained ignoring this effect. △ Less

Submitted 12 April, 2012; v1 submitted 20 September, 2011; originally announced September 2011.

Journal ref: Physics Letters B 711 (2012), pp. 292-300

Optimal Coalition Structures in Cooperative Graph Games

Authors: Yoram Bachrach, Pushmeet Kohli, Vladimir Kolmogorov, Morteza Zadimoghaddam

Abstract: Representation languages for coalitional games are a key research area in algorithmic game theory. There is an inherent tradeoff between how general a language is, allowing it to capture more elaborate games, and how hard it is computationally to optimize and solve such games. One prominent such language is the simple yet expressive Weighted Graph Games (WGGs) representation [14], which maintains… ▽ More Representation languages for coalitional games are a key research area in algorithmic game theory. There is an inherent tradeoff between how general a language is, allowing it to capture more elaborate games, and how hard it is computationally to optimize and solve such games. One prominent such language is the simple yet expressive Weighted Graph Games (WGGs) representation [14], which maintains knowledge about synergies between agents in the form of an edge weighted graph. We consider the problem of finding the optimal coalition structure in WGGs. The agents in such games are vertices in a graph, and the value of a coalition is the sum of the weights of the edges present between coalition members. The optimal coalition structure is a partition of the agents to coalitions, that maximizes the sum of utilities obtained by the coalitions. We show that finding the optimal coalition structure is not only hard for general graphs, but is also intractable for restricted families such as planar graphs which are amenable for many other combinatorial problems. We then provide algorithms with constant factor approximations for planar, minor-free and bounded degree graphs. △ Less

Submitted 14 April, 2013; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: 16 pages. A short version of this paper is to appear at AAAI 2013

Search for narrow resonances in e+ e- annihilation between 1.85 and 3.1 GeV with the KEDR Detector

Authors: KEDR Collaboration, V. V. Anashin, V. M. Aulchenko, E. M. Baldin, A. K. Barladyan, A. Yu. Barnyakov, M. Yu. Barnyakov, S. E. Baru, I. Yu. Basok, O. L. Beloborodova, A. E. Blinov, V. E. Blinov, A. V. Bobrov, V. S. Bobrovnikov, A. V. Bogomyagkov, A. E. Bondar, A. R. Buzykaev, S. I. Eidelman, D. N. Grigoriev, Yu. M. Glukhovchenko, V. V. Gulevich, D. V. Gusev, S. E. Karnaev, G. V. Karpov, S. V. Karpov , et al. (58 additional authors not shown)

Abstract: We report results of a search for narrow resonances in e+ e- annihilation at center-of-mass energies between 1.85 and 3.1 GeV performed with the KEDR detector at the VEPP-4M e+ e- collider. The upper limit on the leptonic width of a narrow resonance Gamma(R -> ee) Br(R -> hadr) < 120 eV has been obtained (at 90 % C.L.). We report results of a search for narrow resonances in e+ e- annihilation at center-of-mass energies between 1.85 and 3.1 GeV performed with the KEDR detector at the VEPP-4M e+ e- collider. The upper limit on the leptonic width of a narrow resonance Gamma(R -> ee) Br(R -> hadr) < 120 eV has been obtained (at 90 % C.L.). △ Less

Submitted 14 July, 2011; originally announced July 2011.

Submodular Decomposition Framework for Inference in Associative Markov Networks with Global Constraints

Authors: Anton Osokin, Dmitry Vetrov, Vladimir Kolmogorov

Abstract: In the paper we address the problem of finding the most probable state of discrete Markov random field (MRF) with associative pairwise terms. Although of practical importance, this problem is known to be NP-hard in general. We propose a new type of MRF decomposition, submodular decomposition (SMD). Unlike existing decomposition approaches SMD decomposes the initial problem into subproblems corresp… ▽ More In the paper we address the problem of finding the most probable state of discrete Markov random field (MRF) with associative pairwise terms. Although of practical importance, this problem is known to be NP-hard in general. We propose a new type of MRF decomposition, submodular decomposition (SMD). Unlike existing decomposition approaches SMD decomposes the initial problem into subproblems corresponding to a specific class label while preserving the graph structure of each subproblem. Such decomposition enables us to take into account several types of global constraints in an efficient manner. We study theoretical properties of the proposed approach and demonstrate its applicability on a number of problems. △ Less

Submitted 5 March, 2011; originally announced March 2011.

Comments: 17 pages. Shorter version to appear in CVPR 2011

A dichotomy theorem for conservative general-valued CSPs

Authors: Vladimir Kolmogorov

Abstract: We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languag… ▽ More We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languages containing all unary cost functions, thus allowing arbitrary restrictions on the domains of the variables. We prove a Schaefer-like dichotomy theorem for this case: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of \emph{STP and MJN multimorphisms}) then any instance can be solved in polynomial time by the algorithm of Kolmogorov and Zivny (arXiv:1008.3104v1), otherwise the language is NP-hard. This generalises recent results of Takhanov (STACS'10) who considered $\{0,\infty\}$-valued languages containing additionally all finite-valued unary cost functions, and Kolmogorov and Zivny (arXiv:1008.1555v1) who considered \emph{finite-valued} conservative languages. △ Less

Submitted 24 August, 2010; originally announced August 2010.

Comments: 22 pages

Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms

Authors: Vladimir Kolmogorov, Stanislav Zivny

Abstract: We study optimisation problems that can be formulated as valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions taking finite and infinite costs over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We are interested… ▽ More We study optimisation problems that can be formulated as valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions taking finite and infinite costs over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We are interested in \emph{tractable} constraint languages; that is, languages that give rise to VCSP instances solvable in polynomial time. Cohen et al. (AIJ'06) have shown that constraint languages that admit the MJN multimorphism are tractable. Moreover, using a minimisation algorithm for submodular functions, Cohen et al. (TCS'08) have shown that constraint languages that admit an STP (symmetric tournament pair) multimorphism are tractable. We generalise these results by showing that languages admitting the MJN multimorphism on a subdomain and an STP multimorphisms on the complement of the subdomain are tractable. The algorithm is a reduction to the algorithm for languages admitting an STP multimorphism. △ Less

Submitted 18 August, 2010; originally announced August 2010.

Comments: 14 pages

The complexity of conservative finite-valued CSPs

Authors: Vladimir Kolmogorov, Stanislav Zivny

Abstract: We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languag… ▽ More We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languages containing all unary cost functions, thus allowing arbitrary restrictions on the domains of the variables. This problem has been studied by Bulatov [LICS'03] for $\{0,\infty\}$-valued languages (i.e. CSP), by Cohen~\etal\ (AIJ'06) for Boolean domains, by Deineko et al. (JACM'08) for $\{0,1\}$-valued cost functions (i.e. Max-CSP), and by Takhanov (STACS'10) for $\{0,\infty\}$-valued languages containing all finite-valued unary cost functions (i.e. Min-Cost-Hom). We give an elementary proof of a complete complexity classification of conservative finite-valued languages: we show that every conservative finite-valued language is either tractable or NP-hard. This is the \emph{first} dichotomy result for finite-valued VCSPs over non-Boolean domains. △ Less

Submitted 9 August, 2010; originally announced August 2010.

Comments: 15 pages