Related papers: Developing Takeuti-Yasumoto forcing
In this paper, we propose new lower and upper bounds on the linear extension complexity of regular $n$-gons. Our bounds are based on the equivalence between the computation of (i) an extended formulation of size $r$ of a polytope $P$, and…
According to Kumar's recent surprising result (ToCT'20), a small border Waring rank implies that the polynomial can be approximated as a sum of a constant and a small product of linear polynomials. We prove the converse of Kumar's result…
We establish infinite families of congruences modulo arbitrary powers of $2$ for the three restricted partition functions $M(n), T^\ast(n)$, and $P^\ast(n)$ introduced by Pushpa and Vasuki by employing elementary $q$-series techniques.…
The globalization problem arises when local tensor fields possess a given property (such as being symplectic or Poisson) but cannot be consistently extended to a global object due to incompatibilities on chart overlaps. A notable instance…
The prolongation structure of a two-by-two problem is formulated very generally in terms of exterior differential forms on a standard representation of Pauli matrices. The differential system is general without making reference to any…
In this work we study global boundedness and exponential integrability of weak solutions to degenerate $p$-Poisson equations using an iterative method of De Giorgi type. Given a symmetric, non-negative definite matrix valued function $Q$…
The works of Commichau--Grauert and Hirschowitz showed that a formal equivalence between embeddings of a compact complex manifold is convergent, if the embeddings have sufficiently positive normal bundles in a suitable sense. We show that…
Using the Gitman-Lyakhovich-Tyutin generalization of the Ostrogradsky method for analyzing singular systems, we consider the Hamiltonian formulation of metric and tetrad gravities in two-dimensional Riemannian spacetime treating them as…
For a generalization of the Gellerstedt operator with mixed-type Dirichlet boundary conditions to a suitable Tricomi domain, we prove the existence and uniqueness of weak solutions of the linear problem and for a generalization of this…
In the first part of the paper, we study a Fujita-type conjecture by Popa and Schnell, and give an effective bound on the generic global generation of the direct image of the twisted pluricanonical bundle. We also point out the relation…
We show how to force, with finite conditions, the forcing axiom PFA(T), a relativization of PFA to proper forcing notions preserving a given Souslin tree T. The proof uses a Neeman style iteration with generalized side conditions consisting…
This paper explores a full generalization of the classical corner-vector method for constructing weighted spherical designs, which we call the {\it generalized corner-vector method}. First we establish a uniform upper bound for the degree…
In this paper, we introduce a Kantorovich type generalization of Jakimovski-Leviatan operators constructed by A. Jakimovski and D. Leviatan (1969) and the theorems on convergence and the degrree of convergence are established. Furthermore,…
Dummett's argument for intuitionism is well known. There is a concern that the argument proves too much, specifically, that it supports the extreme and apparently incoherent position of strict finitism. The central question is how to…
We prove the Kakeya set conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. This entails extending and combining the techniques of Arsovski [Ars21a] for $N=p^k$ and the author and Dvir [DD21] for…
In this paper, we consider a deformation of Plancherel measure linked to Jack polynomials. Our main result is the description of the first and second-order asymptotics of the bulk of a random Young diagram under this distribution, which…
In this paper, we propose computational approaches for the zero forcing problem, the connected zero forcing problem, and the problem of forcing a graph within a specified number of timesteps. Our approaches are based on a combination of…
The general procedure of constructing a consistent covariant Dirac-type bracket for models with mixed first and second class constraints is presented. The proposed scheme essentially relies upon explicit separation of the initial…
Using the notion of extension of Kac-Moody algebras for higher dimensional compact manifolds recently introduced in [1], we show that for the two-torus $\mathbb S^1 \times \mathbb S^1$ and the two-sphere $\mathbb S^2$, these extensions, as…
Various pieces of insight were needed to formulate the rules for working with gauge theories of the electro-magnetic, weak and strong forces. First, it was needed to understand how to formulate the Feynman rules. We had to learn that there…