English
Related papers

Related papers: Bounding and decomposing thin analytic partial ord…

200 papers

This Comment points out a number of errors in the recent paper by Zarechnaya, Dubrovinskaia, Dubrovinsky, et al. (Phys. Rev. Lett. 102, 185501 (2009)). Results and conclusions presented by Zarechnaya et al. (2009) are either incorrect or…

Materials Science · Physics 2010-12-30 A. R. Oganov , V. L. Solozhenko , O. O. Kurakevych , C. Gatti , Y. Ma , J. Chen , Z. Liu , R. J. Hemley

As shown by A. Melnikov, the orbits of a Borel subgroup acting by conjugation on upper-triangular matrices with square zero are indexed by involutions in the symmetric group. The inclusion relation among the orbit closures defines a partial…

Combinatorics · Mathematics 2024-05-15 Evgeny Smirnov

Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if…

Computational Complexity · Computer Science 2021-10-07 Rain Jiang , Kai Jiang , Minghui Jiang

A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…

Logic · Mathematics 2023-02-14 Lawrence C. Paulson

We study semiorthogonal decompositions of bounded derived categories of gentle algebras and how they are manifested in the geometric model of these categories as constructed by Opper, Plamondon and Schroll. We prove that there is a…

Representation Theory · Mathematics 2022-09-30 Jakub Kopřiva , Jan Šťovíček

The present review presents the authors previous results on the topic from the title in a new light. Most of the previous results were obtained using the techniques of antilinear Hilbert-Schmidt mappings of one Hilbert pace into another,…

Mathematical Physics · Physics 2014-10-21 Fedor Herbut

We prove the following classification theorem of the ``Glimm -- Effros'' type for Borel order relations: a Borel partial order on the reals either is Borel linearizable or includes a copy of a certain Borel partial order $\meo$ which is not…

Logic · Mathematics 2018-08-22 Vladimir Kanovei

First proved my Donald Martin in 1975, the result of Borel determinacy has been the subject of multiple revised proofs. Following Martin's book [1], we present a recent streamlined proof which implements ideas of Martin, Moschovakis, and…

Logic · Mathematics 2024-01-19 Thomas Buffard , Gabriel Levrel , Sam Mayo

This paper introduces a chordal decomposition approach for scalable analysis of linear networked systems, including stability, $\mathcal{H}_2$ and $\mathcal{H}_{\infty}$ performance. Our main strategy is to exploit any sparsity within these…

Optimization and Control · Mathematics 2018-03-19 Yang Zheng , Maryam Kamgarpour , Aivar Sootla , Antonis Papachristodoulou

We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider…

Logic · Mathematics 2018-08-29 Benjamin D. Miller , Zoltán Vidnyánszky

Majorization and trumping are two partial orders which have proved useful in quantum information theory. We show some relations between these two partial orders and generalized Dirichlet polynomials, Mellin transforms, and completely…

Quantum Physics · Physics 2013-12-12 Rajesh Pereira , Sarah Plosker

We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…

Logic · Mathematics 2021-03-11 Daisuke Ikegami , Philipp Schlicht , Hisao Tanaka

A framework to handle tree decompositions of the components of a Borel graph in a Borel fashion is introduced, along the lines of Tserunyan's Stallings Theorem for equivalence relations arXiv:1805.09506. This setting leads to a notion of…

Logic · Mathematics 2023-08-28 Héctor Jardón-Sánchez

We address some fundamental problems concerning the structure of idealistic equivalence relations. In particular, we show that, under analytic determinacy, there are continuum many idealistic analytic equivalence relations that are not…

Logic · Mathematics 2025-06-11 Filippo Calderoni , Luca Motto Ros

Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable…

Combinatorics · Mathematics 2015-02-02 Salvatore Tringali

A new method of estimating higher order perturbative coefficients is discussed. It exploits the rapid, asymptotic growth of perturbative coefficients and the information on the singularities in the complex Borel plane. A comparison with…

High Energy Physics - Phenomenology · Physics 2009-11-07 Kwang Sik Jeong , Taekoon Lee

We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a…

Logic · Mathematics 2025-04-25 Zhaoshen Zhai

In this note we consider a Ramsey type result for partially ordered sets. In particular, we give an alternative short proof of a theorem for a posets with multiple linear extensions recently obtained by Solecki and Zhao.

Combinatorics · Mathematics 2016-08-19 Andrii Arman , Vojtěch Rödl

For many years, the intuitions underlying partial-order planning were largely taken for granted. Only in the past few years has there been renewed interest in the fundamental principles underlying this paradigm. In this paper, we present a…

Artificial Intelligence · Computer Science 2009-09-25 S. Minton , J. Bresina , M. Drummond

We prove a version of Rao decomposition for quasi-martingales indexed by a linearly ordered set.

Probability · Mathematics 2012-03-06 Gianluca Cassese