Related papers: Exploring mathematical objects from custom-tailore…
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric…
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…
Recent advances in differential topology single out four-dimensions as being special, allowing for vast varieties of exotic smoothness (differential) structures, distinguished by their handlebody decompositions, even as the coarser…
The concept of turnaround surface in an accelerating universe is generalized to arbitrarily large deviations from spherical symmetry, to close the gap between the idealized theoretical literature and the real world observed by astronomers.…
Theory testing in the physical sciences has been revolutionized in recent decades by Bayesian approaches to probability theory. Here, I will consider Bayesian approaches to theory extensions, that is, theories like inflation which aim to…
Topological phases of matter are ubiquitous in crystals, but less is known about their existence in amorphous systems, that lack long-range order. In this perspective, we review the recent progress made on theoretically defining amorphous…
Deep learning has generated diverse perspectives in astronomy, with ongoing discussions between proponents and skeptics motivating this review. We examine how neural networks complement classical statistics, extending our data analytical…
Topological data analysis asks when balls in a metric space $(X,d)$ intersect. Geometric data analysis asks how much balls have to be enlarged to intersect. We connect this principle to the traditional core geometric concept of curvature.…
The aim of this paper is i) to argue for the feasibility and fruitfulness of a balance between the phenomenological method seeking intuitive evidence and the axiomatic-deductive method and ii) that there should be a mutual understanding…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
This is neither an elementary introduction to singularity theory nor a specialized treatise containing many new theorems. The purpose of this little book is to invite the reader on a mathematical promenade. We pay a visit to Hipparchus,…
A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical…
Mathematics can serve many functions in physics. It can provide a computational system, reflect a physical idea, conveniently encode a rule, and so forth. A physics student thus has many different options for using mathematics in his…
Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…
We claim that human mathematics is only a limited part of the consequences of the chosen basic axioms. Properly human mathematics varies with time but appears to have universal features which we try to analyze. In particular the functioning…
We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly…
We present a computational model of mathematical reasoning according to which mathematics is a fundamentally stochastic process. That is, on our model, whether or not a given formula is deemed a theorem in some axiomatic system is not a…
Contours may be viewed as the 2D outline of the image of an object. This type of data arises in medical imaging as well as in computer vision and can be modeled as data on a manifold and can be studied using statistical shape analysis.…
We introduce a topological approach to words. Words are approximated by Gauss words and then studied up to natural modifications inspired by homotopy transformations of curves on the plane.