Related papers: A Note on the Uniform Kan Condition in Nominal Cub…
Let $Y$ be a compact complex manifold embedded in a complex manifold with unitary flat normal bundle. Our interest is in a sort of the linearizability problem of a neighborhood of $Y$. As a higher-codimensional generalization of Ueda's…
In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…
A set of $n$ coherent states is introduced in a quantum system with $d$-dimensional Hilbert space $H(d)$. It is shown that they resolve the identity, and also have a discrete isotropy property. A finite cyclic group acts on the set of these…
I prove several theorems concerning upward closure and amalgamation in the generic multiverse of a countable transitive model of set theory. Every such model $W$ has forcing extensions $W[c]$ and $W[d]$ by adding a Cohen real, which cannot…
Diagonalization in the spirit of Cantor's diagonal arguments is a widely used tool in theoretical computer sciences to obtain structural results about computational problems and complexity classes by indirect proofs. The Uniform…
The problem of geometric phase for an open quantum system is reinvestigated in a unifying approach. Two of existing methods to define geometric phase, one by Uhlmann's approach and the other by kinematic approach, which have been considered…
We develop further the theory of weak factorization systems and algebraic weak factorization systems. In particular, we give a method for constructing (algebraic) weak factorization systems whose right maps can be thought of as (uniform)…
When a solution to the Cauchy problem for nonlinear dispersive equations is obtained by a fixed point argument using auxiliary function spaces, it is non-trivial to ensure uniqueness of solutions in a natural space such as the class of…
A result due in its various parts to Hendrickson, Connelly, and Jackson and Jord\'an, provides a purely combinatorial characterisation of global rigidity for generic bar-joint frameworks in $\mathbb{R}^2$. The analogous conditions are known…
Using a well-ordering on the reals, one can prove there exists a partition of the three-dimensional Euclidean space into unit circles (PUC). We show that the converse does not hold: there exist models of $\mathsf{ZF}$ without a…
For every $n \geq 1$, let $(\mathrm{FW}_n)$ denote the fixed-point property for median graphs of cubical dimension $n$ (or equivalently, for CAT(0) cube complexes of dimension $n$). In this article, we construct explicit examples of groups…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
We prove the bounded packing property for any abelian subgroup of a group acting properly and cocompactly on a CAT(0) cube complex. A main ingredient of the proof is a cubical flat torus theorem. This ingredient is also used to show that…
In this paper we construct a Universal chain complex, counting zeros of closed 1-forms on a manifold. The Universal complex is a refinement of the well known Novikov complex; it relates the homotopy type of the manifold, after a suitable…
Experiments with both qualitative and quantitative factors occur frequently in practical applications. Many construction methods for this kind of designs, such as marginally coupled designs, were proposed to pursue some good space-filling…
In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an…
A complete set of N+1 mutually unbiased bases (MUBs) forms a convex polytope in the N^2-1 dimensional space of NxN Hermitian matrices of unit trace. As a geometrical object such a polytope exists for all values of N, while it is unknown…
A general operator expansion is presented for quark and lepton mass matrices in unified theories based on a U(2) flavor symmetry, with breaking parameter of order $V_{cb} \approx m_s/m_b \approx \sqrt{m_c/m_t}$. While solving the…
Group cohomology of polynomial growth is defined for any finitely generated discrete group, using cochains that have polynomial growth with respect to the word length function. We give a geometric condition that guarantees that it agrees…
A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential…