English
Related papers

Related papers: Apartness, sharp elements, and the Scott topology …

200 papers

In this paper, we revisit Korn's inequality for the piecewise $H^1$ space based on general polygonal or polyhedral decompositions of the domain. Our Korn's inequality is expressed with minimal jump terms. These minimal jump terms are…

Numerical Analysis · Mathematics 2022-07-06 Qingguo Hong , YounJu Lee , Jinchao Xu

The thesis concentrates on two problems in discrete geometry, whose solutions are obtained by analytic, probabilistic and combinatoric tools. The first chapter deals with the strong polarization problem. This states that for any sequence…

Metric Geometry · Mathematics 2019-07-12 Gergely Ambrus

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and…

Logic · Mathematics 2021-09-17 Wesley Calvert , Johanna N. Y. Franklin , Dan Turetsky

Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem,…

Logic in Computer Science · Computer Science 2016-03-04 Edward Hermann Haeusler

We propose an unexpected twist to description of the geometry and topology of configurations of n straight lines considered as a whole 3D entity (because the lines are inseparably linked pairwise while having linking numbers 1/2 or -1/2)…

Geometric Topology · Mathematics 2020-05-11 Peter V Pikhitsa , Stanislaw Pikhitsa

We give the construction of an infinite topological space with unusual properties. The space is regular, separable, and connected, but removing any nonempty open set leaves the remainder of the space totally disconnected (in fact, totally…

General Topology · Mathematics 2020-11-20 Samuel M. Corson

In this paper we develop the theory of strongly singular subalgebras of von Neumann algebras, begun in earlier work. We mainly examine the situation of type $\tto$ factors arising from countable discrete groups. We give simple criteria for…

Operator Algebras · Mathematics 2013-02-26 Guyan Robertson , Allan M. Sinclair , Roger R. Smith

Recent studies on deep ensembles have identified the sharpness of the local minima of individual learners and the diversity of the ensemble members as key factors in improving test-time performance. Building on this, our study investigates…

Topological data analysis can extract effective information from higher-dimensional data. Its mathematical basis is persistent homology. The persistent homology can calculate topological features at different spatiotemporal scales of the…

Algebraic Topology · Mathematics 2023-09-29 Dinghua Shi , Zhifeng Chen , Chuang Ma , Guanrong Chen

We develop a density based topology optimization method for linear elasticity based on the cut finite element method. More precisely, the design domain is discretized using cut finite elements which allow complicated geometry to be…

Numerical Analysis · Mathematics 2019-03-19 Erik Burman , Daniel Elfverson , Peter Hansbo , Mats G. Larson , Karl Larsson

We study a higher-order surface finite element (SFEM) penalty-based discretization of the tangential surface Stokes problem. Several discrete formulations are investigated which are equivalent in the continuous setting. The impact of the…

Numerical Analysis · Mathematics 2025-03-11 Hanne Hardering , Simon Praetorius

For thin networked materials, which are spatial discrete structures constructed by continuum components, a paradox on the effective thickness defined by the in-plane and out-of-plane stiffnesses is found, i.e. the effective thickness is not…

Applied Physics · Physics 2021-06-30 Fei Pan , Feng Zhang , Yuli Chen , Zhi Liu , Xiaoling Zheng , Bin Liu

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Logic · Mathematics 2018-05-14 Samuel Braunfeld

Motivated by applications in model-free finance and quantitative risk management, we consider Fr\'echet classes of multivariate distribution functions where additional information on the joint distribution is assumed, while uncertainty in…

Probability · Mathematics 2018-08-20 Daniel Bartl , Michael Kupper , Thibaut Lux , Antonis Papapantoleon , Stephan Eckstein

Complexes and cohomology, traditionally central to topology, have emerged as fundamental tools across applied mathematics and the sciences. This survey explores their roles in diverse areas, from partial differential equations and continuum…

Numerical Analysis · Mathematics 2025-10-21 Kaibo Hu

We present a robust computational framework for advective-diffusive-reactive systems that satisfies maximum principles, the non-negative constraint, and element-wise species balance property. The proposed methodology is valid on general…

Numerical Analysis · Mathematics 2015-11-10 M. K. Mudunuru , K. B. Nakshatrala

We prove the existence of a solution to an equation governing the number density within a compact domain of a discrete particle system for a prescribed class of particle interactions taking into account the effects of the diffusion and…

Probability · Mathematics 2007-05-23 Clive G. Wells

We continue the development of the study of the equisingularity of isolated singularities, in the determinantal case. This version of the paper includes a substantial amount of new material (76% larger). The new material introduces the idea…

Complex Variables · Mathematics 2016-01-05 Terence Gaffney , Antoni Rangachev

Sofic entropy is an invariant for probability-preserving actions of sofic groups. It was introduced a few years ago by Lewis Bowen, and shown to extend the classical Kolmogorov-Sinai entropy from the setting of amenable groups. Some parts…

Dynamical Systems · Mathematics 2016-06-14 Tim Austin

We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…

Logic in Computer Science · Computer Science 2015-07-01 Douglas S Bridges
‹ Prev 1 8 9 10 Next ›