Related papers: On Theodorus' lesson in the Theaetetus 147d-e
We extend upper bounds on the quantum independence number and the quantum Shannon capacity of graphs to their counterparts in the commuting operator model. We introduce a von Neumann algebraic generalization of the fractional Haemers bound…
Using the sieve for Frobenius, we show that, in a certain sense, the roots of the L-functions of "most" algebraic curves over finite fields do not satisfy any non-trivial (linear or multiplicative) rational dependency relations. This can be…
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a…
This is a somewhat expanded form of a four hours course given, with small variations, first at the educational workshop Probabilistic methods in Geometry, Bedlewo, Poland, July 6-12, 2008 and a few weeks later at the Summer school on…
We study fair division of indivisible chores among $n$ agents with additive disutility functions. Two well-studied fairness notions for indivisible items are envy-freeness up to one/any item (EF1/EFX) and the standard notion of economic…
In the first part of the manuscript, we establish several consistency results concerning Woodin's $\HOD$ hypothesis and large cardinals around the level of extendibility. First, we prove that the first extendible cardinal can be the first…
We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ \delta $ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and…
We complete the proof of the Howe duality conjecture in the theory of local theta correspondence by treating the remaining case of quaternionic dual pairs in arbitrary residual characteristic.
Theories of decoherence come in two flavors---Platonic and Aristotelian. Platonists grant ontological primacy to the concepts and mathematical symbols by which we describe or comprehend the physical world. Aristotelians grant it to the…
Let $X$ be a smooth projective variety of dimension $n$ over the algebraic closure of a finite field $\mathbb{F}_p$. Assuming the standard conjecture $D$, we prove a weaker form of the Dynamical Degree Comparison conjecture; equivalence of…
The Law of Quadratic Reciprocity was conjectured by Euler and Legendre who both found an incomplete proof. Gauss called this law "Theorema Fundamentale", and he was the first who gave a complete proof, he also highlighted the equivalence of…
In this paper, we prove the global well-posedness of the energy-critical nonlinear Schr\"odinger equations on the torus $\mathbb{T}^{d}$ for general dimensions. This result is new for dimensions $d\ge5$, extending previous results for…
We give again a proof of non-homogeneous T1 theorem. Our proof consists of three main parts: a construction of a random dyadic lattice; an estimate of matrix coefficients of a Calder\'on--Zygmund operator with respect to random Haar basis…
This is a series of lecture notes, with embedded problems, aimed at students studying differential topology. Many revered texts, such as Spivak's "Calculus on Manifolds" and Guillemin and Pollack's "Differential Topology" introduce forms by…
The quantum theory of decoherence plays an important role in a pragmatist interpretation of quantum theory. It governs the descriptive content of claims about values of physical magnitudes and offers advice on when to use quantum…
We find a graph of genus $5$ and its drawing on the orientable surface of genus $4$ with every pair of independent edges crossing an even number of times. This shows that the strong Hanani-Tutte theorem cannot be extended to the orientable…
The marginalization paradox involves a disagreement between two Bayesians who use two different procedures for calculating a posterior in the presence of an improper prior. We show that the argument used to justify the procedure of one of…
The impossibility of separating into work and heat the energy transmitted between two subsystems through a movable piston is analyzed in this article. The process here described, although "quasi-static", is not reversible. It is shown that…
This paper examines a denumerable version of the nested-set theorem and derives from it a contradiction involving the formal consistency of the actual infinity assumed by the Axiom of Infinity.
We give a simple proof of a classical theorem by A.M\'at\'e, P.Nevai, and V.Totik on asymptotic behavior of orthogonal polynomials on the unit circle. It is based on a new real-variable approach involving an entropy estimate for the…