Search

Given a compact K\"ahler manifold $X$ it is interesting to ask whether it admits a constant scalar curvature K\"ahler (cscK) metric. In this short note we show that there always exist cscK metrics on compact K\"ahler manifolds with nef canonical bundle, thus on all smooth minimal models, and also on the blowup of any such manifold. This confirms an expectation of Jian-Shi-Song \cite{JianShiSong} and extends their main result from $K_X$ semi-ample to $K_X$ nef, with a direct proof that does not appeal to the Abundance conjecture. As a byproduct we obtain that the connected component $\mathrm{Aut}_0(X)$ of a compact K\"ahler manifold with $K_X$ nef is either trivial or a complex torus., Comment: 9 pages, new result added (Corollary 2). Accepted in Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze

We generalize the holographic correspondence between topological gravity coupled to an abelian Chern-Simons theory in three dimensions and an ensemble average of Narain's family of massless free bosons in two dimensions, discovered by Afkhami-Jeddi et al. and by Maloney and Witten. We find that the correspondence also works for toroidal orbifolds but not for K3 or Calabi-Yau sigma-models and not always for the minimal models. We conjecture that the correspondence requires that the central charge is equal to the critical central charge defined by the asymptotic density of states of the chiral algebra. For toroidal orbifolds, we extend the holographic correspondence to correlation functions of twist operators by using topological properties of rational tangles in the three-dimensional ball, which represent configurations of vortices associated to a discrete gauge symmetry., Comment: 27 pages + appendices, 4 figures; v2: minor changes

In the nuclear pore complex, intrinsically disordered proteins (FG Nups), along with their interactions with more globular proteins called nuclear transport receptors (NTRs), are vital to the selectivity of transport into and out of the cell nucleus. Although such interactions can be modeled at different levels of coarse graining, in vitro experimental data have been quantitatively described by minimal models that describe FG Nups as cohesive homogeneous polymers and NTRs as uniformly cohesive spheres, in which the heterogeneous effects have been smeared out. By definition, these minimal models do not account for the explicit heterogeneities in FG Nup sequences, essentially a string of cohesive and noncohesive polymer units, and at the NTR surface. Here, we develop computational and analytical models that do take into account such heterogeneity in a minimal fashion and compare them with experimental data on single-molecule interactions between FG Nups and NTRs. Overall, we find that the heterogeneous nature of FG Nups and NTRs does play a role in determining equilibrium binding properties but is of much greater significance when it comes to unbinding and binding kinetics. Using our models, we predict how binding equilibria and kinetics depend on the distribution of cohesive blocks in the FG Nup sequences and of the binding pockets at the NTR surface, with multivalency playing a key role. Finally, we observe that single-molecule binding kinetics has a rather minor influence on the diffusion of NTRs in polymer melts consisting of FG-Nup-like sequences.

We show how to map Grothendieck's dessins d'enfants to algebraic curves as Seiberg-Witten curves, then use the mirror map and the AGT map to obtain the corresponding 4d $\mathcal{N}=2$ supersymmetric instanton partition functions and 2d Virasoro conformal blocks. We explicitly demonstrate the 6 trivalent dessins with 4 punctures on the sphere. We find that the parametrizations obtained from a dessin should be related by certain duality for gauge theories. Then we will discuss that some dessins could correspond to conformal blocks satisfying certain rules in different minimal models., 55 pages; dedicated to the memory of Prof. Omar Foda; v3: minor corrections

We investigate perturbatively tractable deformations of topological defects in two-dimensional conformal field theories. We perturbatively compute the change in the $g$-factor, the reflectivity, and the entanglement entropy of the conformal defect at the end of these short RG flows. We also give instances of such flows in the diagonal Virasoro and Super-Virasoro Minimal Models., 28 pages, 3 figures, 1 table, references added, some typos corrected

We classify all minimal models X of dimension n, Kodaira dimension n - 1 {n-1} and with vanishing Chern number c 1 n - 2 ⁢ c 2 ⁢ ( X ) = 0 {c_{1}^{n-2}c_{2}(X)=0} . This solves a problem of Kollár. Completing previous work of Kollár and Grassi, we also show that there is a universal constant ϵ > 0 {\epsilon>0} such that any minimal threefold satisfies either c 1 ⁢ c 2 = 0 {c_{1}c_{2}=0} or - c 1 ⁢ c 2 > ϵ {-c_{1}c_{2}>\epsilon} . This settles completely a conjecture of Kollár.

Some authors claim that minimal models have limited epistemic value (Fumagalli, 2016; Grüne-Yanoff, 2009a). Others defend the epistemic benefits of modelling by invoking the role of robustness analysis for hypothesis confirmation (see, e.g., Levins, 1966; Kuorikoski et al., 2010) but such arguments find much resistance (see, e.g., Odenbaugh & Alexandrova, 2011). In this paper, we offer a Bayesian rationalization and defence of the view that robustness analysis can play a confirmatory role, and thereby shed light on the potential of minimal models for hypothesis confirmation. We illustrate our argument by reference to a case study from macroeconomics. At the same time, we also show that there are cases in which robustness analysis is detrimental to confirmation. We characterize these cases and link them to recent investigations on evidential variety (Landes, 2020b, 2021; Osimani and Landes, forthcoming). We conclude that robustness analysis over minimal models can confirm, but its confirmatory value depends on concrete circumstances.

For a map $$f:X\rightarrow Y$$ f : X → Y , there is the relative model $$M(Y)=(\Lambda V,d)\rightarrow (\Lambda V\otimes \Lambda W,D)\simeq M(X)$$ M ( Y ) = ( Λ V , d ) → ( Λ V ⊗ Λ W , D ) ≃ M ( X ) by Sullivan model theory (Félix et al., Rational homotopy theory, graduate texts in mathematics, Springer, Berlin, 2007). Let $$\mathrm{Baut}_1X$$ Baut 1 X be the Dold–Lashof classifying space of orientable fibrations with fiber X (Dold and Lashof, Ill J Math 3:285–305, 1959]). Its DGL (differential graded Lie algebra)-model is given by the derivations $$\mathrm{Der}M(X)$$ Der M ( X ) of the Sullivan minimal model M(X) of X. Then we consider the condition that the restriction $$b_f:\mathrm{Der} (\Lambda V\otimes \Lambda W,D)\rightarrow \mathrm{Der}(\Lambda V,d) $$ b f : Der ( Λ V ⊗ Λ W , D ) → Der ( Λ V , d ) is a DGL-map and the related topics.

We study fermionic conformal field theories on surfaces with spin structure in the presence of boundaries, defects, and interfaces. We obtain the relevant crossing relations, taking particular care with parity signs and signs arising from the change of spin structure in different limits. We define fermionic classifying algebras for boundaries, defects, and interfaces, which allow one to read off the elementary boundary conditions, etc. As examples, we define fermionic extensions of Virasoro minimal models and give explicit solutions for the spectrum and bulk structure constants. We show how the $A$- and $D$-type fermionic Virasoro minimal models are related by a parity-shift operation which we define in general. We study the boundaries, defects, and interfaces in several examples, in particular in the fermionic Ising model, i.e. the free fermion, in the fermionic tri-critical Ising model, i.e. the first unitary $N=1$ superconformal minimal model, and in the supersymmetric Lee-Yang model, of which there are two distinct versions that are related by parity-shift., Comment: 40 pages, 3 figures

The minimal model $$ \mathfrak{osp}\left(1|2\right) $$ osp 1 2 vertex operator superalgebras are the simple quotients of affine vertex operator superalgebras constructed from the affine Lie super algebra $$ \hat{\mathfrak{osp}}\left(1\left|2\right.\right) $$ osp ̂ 1 2 at certain rational values of the level k. We classify all isomorphism classes of ℤ2-graded simple relaxed highest weight modules over the minimal model $$ \mathfrak{osp}\left(1|2\right) $$ osp 1 2 vertex operator superalgebras in both the Neveu–Schwarz and Ramond sectors. To this end, we combine free field realisations, screening operators and the theory of symmetric functions in the Jack basis to compute explicit presentations for the Zhu algebras in both the Neveu–Schwarz and Ramond sectors. Two different free field realisations are used depending on the level. For k < −1, the free field realisation resembles the Wakimoto free field realisation of affine $$ \mathfrak{sl}(2) $$ sl 2 and is originally due to Bershadsky and Ooguri. It involves 1 free boson (or rank 1 Heisenberg vertex algebra), one βγ bosonic ghost system and one bc fermionic ghost system. For k > −1, the argument presented here requires the bosonisation of the βγ system by embedding it into an indefinite rank 2 lattice vertex algebra.

How spiking activity reverberates through neuronal networks, how evoked and spontaneous activity interacts and blends, and how the combined activities represent external stimulation are pivotal questions in neuroscience. We simulated minimal models of unstructured spiking networks in silico, asking whether and how gentle external stimulation might be subsequently reflected in spontaneous activity fluctuations. Consistent with earlier findings in silico and in vitro, we observe a privileged subpopulation of ‘pioneer neurons’ that, by their firing order, reliably encode previous external stimulation. We also confirm that pioneer neurons are ‘sensitive’ in that they are recruited by small fluctuations of population activity. We show that order-based representations rely on a ‘chain’ of pioneer neurons with different degrees of sensitivity and thus constitute an emergent property of collective dynamics. The forming of such representations is greatly favoured by a broadly heterogeneous connection topology—a broad ‘middle class’ in degree of connectedness. In conclusion, we offer a minimal model for the representational role of pioneer neurons, as observed experimentally in vitro. In addition, we show that broadly heterogeneous connectivity enhances the representational capacity of unstructured networks. Electronic supplementary material The online version of this article (10.1007/s00422-020-00819-9) contains supplementary material, which is available to authorized users.

We show that the number of marked minimal models of an n-dimensional smooth complex projective variety of general type can be bounded in terms of its volume, and, if n=3, also in terms of its Betti numbers. For an n-dimensional projective klt pair (X,D) with $K_X+D$ big, we show more generally that the number of its weak log canonical models can be bounded in terms of the coefficients of D and the volume of $K_X+D$. We further show that all n-dimensional projective klt pairs (X,D), such that $K_X+D$ is big and nef of fixed volume and such that the coefficients of D are contained in a given DCC set, form a bounded family. It follows that in any dimension, minimal models of general type and bounded volume form a bounded family., 27 pages; final version; to appear in Annales scientifiques de l'ENS

In this dissertation I prove a number of results about the symplectic geometry of finite dimensional integrable Hamiltonian systems, especially those of semitoric type. Integrable systems are, roughly, dynamical systems with the maximal amount of conserved quantities. Though the study of integrable systems goes back hundreds of years, the earliest general result in this field is the action-angle theorem of Arnold in 1963, which was later extended to a global version by Duistermaat. The results of Atiyah, Guillemin-Sternberg, and Delzant in the 1980s classified toric integrable systems, which are those produced by effective Hamiltonian torus actions. Recently, Pelayo-Vu Ngoc classified semitoric integrable systems, which generalize toric systems in dimension four, in terms of five symplectic invariants. Using this classification, I construct a metric on the space of semitoric integrable systems. To study continuous paths in this space produced via symplectic semitoric blowups, I introduce an algebraic technique to study such systems by lifting matrix equations from the special linear group SL(2,Z) to its preimage in the universal cover of SL(2,R). With this method I determine the connected components of the space of semitoric integrable systems. Motivated by this algebraic technique, I introduce the notion of a semitoric helix; the natural combinatorial invariant of semitoric systems. By applying a refined version of the algebraic method to semitoric helixes I classify all possible minimal semitoric integrable systems, which are those that do not admit a symplectic semitoric blowdown. I also produce invariants of integrable systems designed to respect the natural symmetries of such systems, especially toric and semitoric ones. For any Lie group G, I construct a G-equivariant analogue of the Ekeland-Hofer symplectic capacities. I give examples when the capacity is an invariant of integrable systems, and I study the continuity of these capacities using the metric I defined on semitoric systems. Finally, as a first step towards constructing a meaningful metric on general integrable systems, I provide a framework to study convergence properties of families of maps between manifolds which have distinct domains by defining a metric on such a collection.

In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion point. We follow this by giving admissible change of variables, which give a global minimal model for $E$. We also provide necessary and sufficient conditions on the parameters of these families to determine the primes at which $E$ has additive reduction. In addition, we use these parameterized families to give new proofs of results due to Frey and Flexor-Oesterl\'{e} pertaining to the primes at which an elliptic curve over a number field $K$ with a non-trivial $K$-torsion point can have additive reduction., Comment: 34 pages; incorporates suggestions by referees; results in section 3 have been strengthened; final version to appear in Research in Number Theory

In a recent paper, here referred to as part I, we considered the celestial four-gluon amplitude with one gluon represented by the shadow transform of the corresponding primary field operator. This correlator is ill-defined because it contains branch points related to the presence of conformal blocks with complex spin. In this work, we adopt a procedure similar to minimal models and construct a single-valued completion of the shadow correlator, in the limit when the shadow is "soft." By following the approach of Dotsenko and Fateev, we obtain an integral representation of such a single-valued correlator. This allows inverting the shadow transform and constructing a single-valued celestial four-gluon amplitude. This amplitude is drastically different from the original Mellin amplitude. It is defined over the entire complex plane and has correct crossing symmetry, OPE and bootstrap properties. It agrees with all known OPEs of celestial gluon operators. The conformal block spectrum consists of primary fields with dimensions $\Delta=m+i \lambda$, with integer $m\geq 1$ and various, but always integer spin, in all group representations contained in the product of two adjoint representations., Comment: 35 pages

We combine $SO(10)$ Grand Unified Theories (GUTs) with $A_4$ modular symmetry and present a comprehensive analysis of the resulting quark and lepton mass matrices for all the simplest cases. We focus on the case where the three fermion families in the 16 dimensional spinor representation form a triplet of $\Gamma_3\simeq A_4$, with a Higgs sector comprising a single Higgs multiplet $H$ in the ${\mathbf{10}}$ fundamental representation and one Higgs field $\overline{\Delta}$ in the ${\mathbf{\overline{126}}}$ for the minimal models, plus and one Higgs field $\Sigma$ in the ${\mathbf{120}}$ for the non-minimal models, all with specified modular weights. The neutrino masses are generated by the type-I and/or type II seesaw mechanisms and results are presented for each model following an intensive numerical analysis where we have optimized the free parameters of the models in order to match the experimental data. For the phenomenologically successful models, we present the best fit results in numerical tabular form as well as showing the most interesting graphical correlations between parameters, including leptonic CP phases and neutrinoless double beta decay, which have yet to be measured, leading to definite predictions for each of the models., Comment: 36 pages, 10 figures

In the modular linear differential equation (MLDE) approach to classifying rational conformal field theories (RCFTs) both the MLDE and the RCFT are identified by a pair of non-negative integers [n,l]. n is the number of characters of the RCFT as well as the order of the MLDE that the characters solve and l, the Wronskian index, is associated to the structure of the zeroes of the Wronskian of the characters. In this paper, we study [3,0] and [3,2] MLDEs in order to classify the corresponding CFTs. We reduce the problem to a “finite” problem: to classify CFTs with central charge 0 < c ≤ 96, we need to perform 6, 720 computations for the former and 20, 160 for the latter. Each computation involves (i) first finding a simultaneous solution to a pair of Diophantine equations and (ii) computing Fourier coefficients to a high order and checking for positivity.In the [3,0] case, for 0 < c ≤ 96, we obtain many character-like solutions: two infinite classes and a discrete set of 303. After accounting for various categories of known solutions, including Virasoro minimal models, WZW CFTs, Franc-Mason vertex operator algebras and Gaberdiel-Hampapura-Mukhi novel coset CFTs, we seem to have seven hitherto unknown character-like solutions which could potentially give new CFTs. We also classify [3,2] CFTs for 0 < c ≤ 96: each CFT in this case is obtained by adjoining a constant character to a [2,0] CFT, whose classification was achieved by Mathur-Mukhi-Sen three decades ago.

International audience; We introduce an improved Gröbner basis completion algorithm for operads. To this end, we define operadic rewriting systems as a machinery to rewrite in operads, whose rewriting rules do not necessarily depend on an ambient monomial order. A Gröbner basis of an operadic ideal can be seen as a confluent and terminating operadic rewriting system; thus, the completion of a Gröbner basis is equivalent to the completion of a rewriting system. We improve the completion algorithm by filtering out redundant S-polynomials and testing only essential ones. Finally, we show how the notion of essential S-polynomials can be used to compute Gröbner bases for syzygy bimodules. This work is motivated by the computation of minimal models of associative algebras and symmetric operads. In this direction, we show how our completion algorithm extends to the case of shuffle operads. CCS Concepts • Computing methodologies → Combinatorial algorithms; Algebraic algorithms.

Work on minimal cognition raises a variety of questions concerning the boundaries of cognition. Many discussions of minimal cognition assume that the domain of minimal cognition is a subset of the domain of the living. In this article, I consider whether non-living ‘active materials’ ought to be included as instances of minimal cognition. I argue that seeing such cases as ‘minimal models’ of (minimal) cognition requires recognising them as members of a class of systems sharing the same basic features and exhibiting the same general patterns of behaviour. Minimal cognition in this sense is a very inclusive concept: rather than specifying some threshold level of cognition or a type of cognition found only in very simple systems, it is a concept of cognition associated with very minimal criteria that pick out only the most essential requirements for a system to exhibit cognitive behaviour.

This special issue highlights the growing interdisciplinary interest in minimal cognition, bringing together a number of philosophers and scientists interested in investigating where, how, and why cognition arises. In what follows, we introduce the topic of minimal cognition by giving a brief look at debates and discussions about the lower bounds of cognition, minimally cognitive behaviors, and the possibility of life-mind continuity. Afterwards, we offer a short summary of each of the contributions to this issue. In the spirit of the Minimal Cognition conferences at the University of Wollongong at which the contributors participated, we hope this special issue will enrich the current state of minimal cognition research by putting a number of different disciplines and approaches into conversation.

We give an elementary proof of the fact that any elliptic curve $E$ over an algebraically closed non-archimedean field $K$ with residue characteristic $\neq{2,3}$ and with $v(j(E)), Comment: 24 pages, 12 figures. This is a pre-print of an article published in "Arnold Mathematical Journal". The final authenticated version is available online at: https://doi.org/10.1007/s40598-019-00121-y

In this short note, we prove the existence of constant scalar curvature Kähler metrics on compact Kähler manifolds with semi-ample canonical bundles.

We classify (0,2) Landau-Ginzburg theories that can flow to compact IR fixed points with equal left and right central charges strictly bounded by 3. Our result is a (0,2) generalization of the ADE classification of (2,2) Landau-Ginzburg theories that flow to N=2 minimal models. Unitarity requires the right-moving supersymmetric sector to fall into the standard N=2 minimal model representations, but the left-moving sector need not have supersymmetry. The Landau-Ginzburg realizations provide a simple way to compute the chiral algebra and other characteristics of these fixed points. While our results pertain to isolated superconformal theories, tensor products lead to (0,2) superconformal theories with higher central charge, and the Landau-Ginzburg realization provides a model for a class of marginal and relevant deformations of such theories., 22 pages; typos fixed, added discussion on chiral algebra

Reliable and timely fault detection and isolation are necessary tasks to guarantee continuous performance in complex industrial systems, avoiding failure propagation in the system and helping to minimize downtime. Model-based diagnosis fulfils those requirements, and has the additional advantage of using reusable models. However, reusing existing complex non-linear models for diagnosis in large industrial systems is not straightforward. Most of the times, the models have been created for other purposes different from diagnosis, and many times the required analytical redundancy is small. The approach proposed in this work combines techniques from two different research communities within Artificial Intelligence: Model-based Reasoning and Neural Networks. In particular, in this work we propose to use Possible Conflicts, which is a model decomposition technique from the Artificial Intelligence community to provide the structure (equations, inputs, outputs, and state variables) of minimal models able to perform fault detection and isolation. Such structural information is then used to design a grey box model by means of state space neural networks. In this work we prove that the structure of the Minimal Evaluable Model for a Possible Conflict can be used in real-world industrial systems to guide the design of the state space model of the neural network, reducing its complexity and avoiding the process of multiple unknown parameter estimation in the first principles models. We demonstrate the feasibility of the approach in an evaporator for a beet sugar factory using real data.

Recently, Gaiotto and Rapčák (GR) proposed a new family of the vertex operator algebra (VOA) as the symmetry appearing at an intersection of five-branes to which they refer as Y algebra. Procházka and Rapčák, then proposed to interpret Y algebra as a truncation of affine Yangian whose module is directly connected to plane partitions (PP). They also developed GR’s idea to generate a new VOA by connecting plane partitions through an infinite leg shared by them and referred it as the web of W-algebra (WoW). In this paper, we demonstrate that double truncation of PP gives the minimal models of such VOAs. For a single PP, it generates all the minimal model irreducible representations of W-algebra. We find that the rule connecting two PPs is more involved than those in the literature when the U(1) charge connecting two PPs is negative. For the simplest nontrivial WoW, $$ \mathcal{N} $$ N = 2 superconformal algebra, we demonstrate that the improved rule precisely reproduces the known character of the minimal models.

We study the minimal models associated to osp ( 1 | 2 ) , otherwise known as the fractional-level Wess–Zumino–Witten models of osp ( 1 | 2 ) . Since these minimal models are extensions of the tensor product of certain Virasoro and sl 2 minimal models, we can induce the known structures of the representations of the latter models to get a rather complete understanding of the minimal models of osp ( 1 | 2 ) . In particular, we classify the irreducible relaxed highest-weight modules, determine their characters and compute their Grothendieck fusion rules. We also discuss conjectures for their (genuine) fusion products and the projective covers of the irreducibles.

Solutions to the $\mu$ problem in supersymmetry based on the Kim-Nilles mechanism naturally feature a Dine-Fischler-Srednicki-Zhitnitsky (DFSZ) axion with decay constant of order the geometric mean of the Planck and TeV scales, consistent with astrophysical limits. We investigate minimal models of this type with two gauge-singlet fields that break a Peccei-Quinn symmetry, and extensions with extra vectorlike quark and lepton supermultiplets consistent with gauge coupling unification. We show that there are many anomaly-free discrete symmetries, depending on the vectorlike matter content, that protect the Peccei-Quinn symmetry to sufficiently high order to solve the strong CP problem. We study the axion couplings in this class of models. Models of this type that are automatically free of the domain wall problem require at least one pair of strongly interacting vectorlike multiplets with mass at the intermediate scale, and predict axion couplings that are greatly enhanced compared to the minimal supersymmetric DFSZ models, putting them within reach of proposed axion searches., Comment: 50 pages. v2: references added. v3: accepted by PRD, minor changes in Section V, references added