Related papers: KKM type theorems with boundary conditions
We study generalized symmetries in a simplified arena in which the usual quantum field theories of physics are replaced with topological field theories and the smooth structure with which the symmetry groups of physics are usually endowed…
Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…
We demonstrate that in the supersymmetric extensions of a class of generalized (or K) field theories introduced recently, the static energy satisfies a BPS bound in each topological sector. Further, the corresponding soliton solutions…
In this paper, we prove a sharp Mei's Lemma with assuming the bases of the underlying general dyadic grids are different. As a byproduct, we specify all the possible cases of adjacent general dyadic systems with different bases. The proofs…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
The principle of local covariance which was recently introduced admits a generally covariant formulation of quantum field theory. It allows a discussion of structural properties of quantum field theory as well as the perturbative…
Krasnosselsky's art gallery theorem gives a combinatorial characterization of star-shaped sets in Euclidean spaces, similar to Helly's characterization of finite families of convex sets with non-empty intersection. We study colorful and…
In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds.
We generalize overpartitions to (k,j)-colored partitions: k-colored partitions in which each part size may have at most j colors. We find numerous congruences and other symmetries. We use a wide array of tools to prove our theorems:…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
We analyze the global theory of boundary conditions for a constrained quantum system with classical configuration space a compact Riemannian manifold $M$ with regular boundary $\Gamma=\partial M$. The space $\CM$ of self-adjoint extensions…
We review the investigations on the quantum structure of spactime, to be found at the Planck scale if one takes into account the operational limitations to localization of events which result from the concurrence of Quantum Mechanics and…
In the thesis at hand we give a comprehensive discussion of basic problems for generalized Maxwell equations with mixed boundary conditions using the calculus of alternating differential forms on Riemannian manifolds of arbitrary dimension.…
An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…
We compute the boundary terms and junction conditions for Horndeski's panoptic class of scalar-tensor theories, and write the bulk and boundary equations of motion in explicitly second order form. We consider a number of special subclasses,…
Let $F$ be a global field, $A$ a central simple algebra over $F$ and $K$ a finite (separable or not) field extension of $F$ with degree $[K:F]$ dividing the degree of $A$ over $F$. An embedding of $K$ in $A$ over $F$ exists implies an…
A class of shape-invariant bound-state problems which represent two-level systems are introduced. It is shown that the coupled-channel Hamiltonians obtained correspond to the generalization of the Jaynes-Cummings Hamiltonian.
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…
Skyrmions are important topologically non-trivial fields characteristic of models spanning scales from the microscopic to the cosmological. However, the Skyrmion number can only be defined for fields with specific boundary conditions,…
We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4. These axioms…