Related papers: Full normalization for $\kappa^+$-supercompactness

We present a Mathematica package that takes any reductive gauge algebra and fully-reducible fermion representation, and outputs all semisimple gauge extensions under the condition that they have no additional fermions, and are free of local…

We propose a mechanism for confinement: analytic continuation beyond infinite coupling in the space of the coupling constant. The analytic continuation is realized by renormalization group flows from the weak to the strong coupling regime.…

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

We show that normalized cacti form an $\infty$-operad in the form of a dendroidal space satisfying a weak Segal condition. To do this, we introduce a new topological operad of bracketed trees and an enrichment of the dendroidal category…

We explore an ensembled $\Sigma$-net for fast parallel MR imaging, including parallel coil networks, which perform implicit coil weighting, and sensitivity networks, involving explicit sensitivity maps. The networks in $\Sigma$-net are…

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…

The massive Schwinger model is studied, using a density matrix renormalisation group approach to the staggered lattice Hamiltonian version of the model. Lattice sizes up to 256 sites are calculated, and the estimates in the continuum limit…

For a fixed alphabet A, an infinite sequence X is said to be normal if every word w over A appears in X with the same frequency as any other word of the same length. A classical result relates normality to finite automata as follows: a…

We introduce acyclic polygraphs, a notion of complete categorical cellular model for (small) categories, containing generators, relations and higher-dimensional globular syzygies. We give a rewriting method to construct explicit acyclic…

We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs. These facts properly…

For taxonomic classification, we are asked to index the genomes in a phylogenetic tree such that later, given a DNA read, we can quickly choose a small subtree likely to contain the genome from which that read was drawn. Although popular…

This paper derives a unifying theorem establishing consistency results for a broad class of tree-based algorithms. It improves current results in two aspects. First of all, it can be applied to algorithms that vary from traditional Random…

We revisit homogenisation theory for Friedrichs systems. In particular, we show that $G$-compactness can be obtained under severely weaker assumptions than in the original work of Burazin and Vrdoljak (2014). In this way we extend the…

Many natural optimization problems derived from $\sf NP$ admit bilevel and multilevel extensions in which decisions are made sequentially by multiple players with conflicting objectives, as in interdiction, adversarial selection, and…

In Part I of this article we generalize the Linearized Doubling (LD) approach, introduced in earlier work by NK, by proving a general theorem stating that if $\Sigma$ is a closed minimal surface embedded in a Riemannian three-manifold…

We study the Doubrov--Zelenko symplectification procedure for rank $2$ distributions with $5$-dimensional cube -- originally motivated by optimal control theory -- through the lens of Tanaka--Morimoto theory for normal Cartan connections.…

We study the problem of recovering a planted matching in randomly weighted complete bipartite graphs $K_{n,n}$. For some unknown perfect matching $M^*$, the weight of an edge is drawn from one distribution $P$ if $e \in M^*$ and another…

This paper is an updated version of the paper of similar title published in September 1998 {21} modified to take into account recent experimental results and recommendations from CODATA {19} and also to incorporate a correction. The…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

For a uniform space (X, $\mu$), we introduce a realcompactification of X by means of the family $U_{\mu}(X)$ of all the real-valued uniformly continuous functions, in the same way that the known Samuel compactification is given by…