Related papers: Squares and Covering Matrices
We prove that one can cover the $1 \times b$ rectangle by equal squares on both sides in one layer iff $b = p \pm \sqrt{p^2 - r^2} $, where $p \ge r \ge 0$ and $p,q \in \mathbb{Q}$.
These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose is to give a brief account on forcing axioms with a special…
The weakly compact reflection principle $\text{Refl}_{\text{wc}}(\kappa)$ states that $\kappa$ is a weakly compact cardinal and every weakly compact subset of $\kappa$ has a weakly compact proper initial segment. The weakly compact…
We summarize the field-theory/matrix model correspondence for a chiral N=1 model with matter in the adjoint, antisymmetric and conjugate symmetric representations as well as eight fundamentals to cancel the chiral anomaly. The associated…
For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a…
We provide an explicit geometric algorithm involving only ruler and compass constructions in order to specify the specular reflection point on the surface of a reflecting sphere of radius $r$ given two focal points $A$ and $B$ lying outside…
We describe families of complete orthogonal bases of full rank matrices which span the vector spaces of square matrices. The proposed bases generalise non-trivially the Pauli matrice while shedding light on their algebraic properties.…
We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…
We give a survey of cardinal charcteristics of the higher Cicho\'n diagram defined on the higher Baire space ${}^\kappa\kappa$ for $\kappa$ regular with $2^{<\kappa}=\kappa$. Specifically, we will compare consistency proofs from the…
We use the geometric structure of the hyperbolic upper half plane to provide a new proof of the Avalanche Principle introduced by M. Goldstein and W. Schlag in the context of $\mathrm{SL}_{2}(\mathbb{R})$ matrices. This approach allows to…
We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…
A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha…
We establish necessary conditions for a regular curve to lie on a circular cylinder in terms of its curvature $\kappa$ and torsion $\tau$. By identifying a fundamental function $\psi = \sin^2 \alpha$, representing the squared sine of the…
We formulate a general set of consistency requirements, which are expected to be satisfied by the scattering matrices in the presence of reflecting boundaries. In particular we derive an equivalent to the boostrap equation involving the…
We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal…
The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…
Some sum of squares (SOS) polynomials admit decomposition certificates, or positive semidefinite Gram matrices, with additional structure. In this work, we use the structure of Gram matrices to relate the representation theory of $SL(2)$ to…
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
We exhibit a basis for the space of spherical characters of a distinguished supercuspidal representation $\pi$ of a connected reductive $p$-adic group, subject to the assumption that $\pi$ is obtained via induction from a representation of…