English
Related papers

Related papers: The Dual Majorizing Measure Theorem for Canonical …

200 papers

We introduce canonical correlation forests (CCFs), a new decision tree ensemble method for classification and regression. Individual canonical correlation trees are binary decision trees with hyperplane splits based on local canonical…

Machine Learning · Statistics 2017-08-10 Tom Rainforth , Frank Wood

Massive data analysis calls for distributed algorithms and theories. We design a multi-round distributed algorithm for canonical correlation analysis. We construct principal directions through the convex formulation of canonical correlation…

Computation · Statistics 2024-12-24 Canyi Chen , Liping Zhu

We generalize the tree doubling and Christofides algorithm, the two most common approximations for TSP, to parameterized approximations for ATSP. The parameters we consider for the respective parameterizations are upper bounded by the…

Data Structures and Algorithms · Computer Science 2020-02-27 Lukas Behrendt , Katrin Casel , Tobias Friedrich , J. A. Gregor Lagodzinski , Alexander Löser , Marcus Wilhelm

We propose a program for establishing a conjectural extension to the class of (origin-symmetric) log-concave probability measures $\mu$, of the classical dual Sudakov Minoration on the expectation of the supremum of a Gaussian process:…

Functional Analysis · Mathematics 2018-05-08 Shahar Mendelson , Emanuel Milman , Grigoris Paouris

We introduce a linearly ordered set Z and use it to prove a necessity condition for the existence of a G\^ateaux smooth norm on C(T), where T is a tree. This criterion is directly analogous to the corresponding equivalent condition for…

Functional Analysis · Mathematics 2022-06-14 Richard J. Smith

We discuss the canonical quantization of systems formulated on discrete space-times. We start by analyzing the quantization of simple mechanical systems with discrete time. The quantization becomes challenging when the systems have…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Cayetano Di Bartolo , Rodolfo Gambini , Jorge Pullin

We prove the finiteness of $B$-representations of generalised log canonical pairs. As a consequence, we prove that, the (relative) abundance for a generalised semi-log canonical pair is implied by the abundance for its normalisation.…

Algebraic Geometry · Mathematics 2021-03-23 Zhengyu Hu

One of Courcelle's celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic is fixed-parameter tractable on C by linear time parameterised algorithms. An immediate…

Logic in Computer Science · Computer Science 2009-04-09 Stephan Kreutzer

One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix…

Statistics Theory · Mathematics 2024-04-26 Muhammad Usman Farooq , Tobias Fritz , Erkka Haapasalo , Marco Tomamichel

We propose to solve large instances of the non-convex optimization problems reformulated with canonical duality theory. To this aim we propose an interior point potential reduction algorithm based on the solution of the primal-dual total…

Optimization and Control · Mathematics 2014-10-27 Vittorio Latorre

Large language models (LLMs) have demonstrated their remarkable capacity across a variety of tasks. However, reasoning remains a challenge for LLMs. To improve LLMs' reasoning ability, process supervision has proven to be better than…

Artificial Intelligence · Computer Science 2025-01-06 Shuangtao Li , Shuaihao Dong , Kexin Luan , Xinhan Di , Chaofan Ding

A maxitive measure is the analogue of a finitely additive measure or charge, in which the usual addition is replaced by the supremum operation. Contrarily to charges, maxitive measures often have a density. We show that maxitive measures…

General Topology · Mathematics 2013-01-08 Paul Poncet

A new tree model is introduced based on ordered trees, by distinguishing exactly one child of each node that \emph{has} children. The basic enumeration leads to a cubic equation of the generating function. The extraction of its coefficients…

Combinatorics · Mathematics 2026-02-27 Helmut Prodinger

Within the field of phylogenetics there is growing interest in measures for summarising the dissimilarity, or 'incongruence', of two or more phylogenetic trees. Many of these measures are NP-hard to compute and this has stimulated a…

Data Structures and Algorithms · Computer Science 2015-03-03 Steven Kelk , Leo van Iersel , Celine Scornavacca

A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…

Probability · Mathematics 2011-09-22 Graham Brightwell , Malwina Luczak

Many interesting computational problems can be reformulated in terms of decision trees. A natural classical algorithm is to then run a random walk on the tree, starting at the root, to see if the tree contains a node n levels from the root.…

Quantum Physics · Physics 2009-10-30 Edward Farhi , Sam Gutmann

We establish limit theorems for the maxima and minima of Airy$_1$ and Airy$_2$ processes (denoted by $\mathcal{A}_1(\cdot)$ and $\mathcal{A}_2(\cdot)$ respectively) over growing intervals. In particular, we identify the finite non-zero…

Probability · Mathematics 2024-06-19 Riddhipratim Basu , Sudeshna Bhattacharjee

We introduce a new method for determining the critical indices of the deconfinement transition in gauge theories. The method is based on the finite size scaling behavior of the expectation value of simple lattice operators, such as the…

High Energy Physics - Lattice · Physics 2009-11-07 R. Fiore , A. Papa , P. Provero

We study a canonical duality method to solve a mixed-integer nonconvex fourth-order polynomial minimization problem with fixed cost terms. This constrained nonconvex problem can be transformed into a continuous concave maximization dual…

Optimization and Control · Mathematics 2016-07-19 Zhong Jin , David Y Gao

Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize…

Logic · Mathematics 2015-07-22 Ari Meir Brodsky