English
Related papers

Related papers: Limits of Order Types

200 papers

In this article, we design and analyze a Hybrid High-Order (HHO) finite element approximation for a class of strongly nonlinear boundary value problems. We consider an HHO discretization for a suitable linearized problem and show its…

Numerical Analysis · Mathematics 2023-09-26 Gouranga Mallik , Thirupathi Gudi

Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…

Logic in Computer Science · Computer Science 2017-01-11 Pablo Barcelo , Leonid Libkin

We introduce the post-processing preorder and equivalence relations for general measurements on a possibly infinite-dimensional general probabilistic theory described by an order unit Banach space $E$ with a Banach predual. We define the…

Functional Analysis · Mathematics 2020-04-09 Yui Kuramochi

A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and…

Metric Geometry · Mathematics 2013-10-08 D. Kitson , S. C. Power

The investigation into large families of non-opposite flags in finite spherical buildings has been a recent addition to a long line of research in extremal combinatorics, extending classical results in vector and polar spaces. This line of…

Combinatorics · Mathematics 2025-05-21 Jan De Beule , Philipp Heering , Sam Mattheus , Klaus Metsch

We prove a \emph{query complexity} lower bound on rank-one principal component analysis (PCA). We consider an oracle model where, given a symmetric matrix $M \in \mathbb{R}^{d \times d}$, an algorithm is allowed to make $T$ \emph{exact}…

Machine Learning · Computer Science 2017-04-18 Max Simchowitz , Ahmed El Alaoui , Benjamin Recht

Optimal transport is widely used in pure and applied mathematics to find probabilistic solutions to hard combinatorial matching problems. We extend the Wasserstein metric and other elements of optimal transport from the matching of sets to…

Optimization and Control · Mathematics 2019-07-16 Evan Patterson

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

The Typical Medium Theory provides conceptually the simplest order parameter description of Anderson localization by self-consistently calculating the geometrically-averaged (typical) local density of states (LDOS). Here we show how spatial…

Disordered Systems and Neural Networks · Physics 2016-08-08 Samiyeh Mahmoudian , Vladimir Dobrosavljević

Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…

Probability · Mathematics 2020-04-21 Mario Ayala , Gioia Carinci , Frank Redig

Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…

Logic in Computer Science · Computer Science 2025-03-06 C. B. Aberlé , Chris Martens , Frank Pfenning

For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem…

Combinatorics · Mathematics 2020-12-18 Christian Reiher

Variational problems of splitting-type with mixed linear-superlinear growth conditions are considered. In the twodimensional case the minimizing problem is given by \[ J [w] = \int_{\Omega} \Big[f_1\big(\partial_1 w\big) +…

Analysis of PDEs · Mathematics 2020-07-30 Michael Bildhauer , Martin Fuchs

We consider a stochastic directed graph on the integers whereby a directed edge between $i$ and a larger integer $j$ exists with probability $p_{j-i}$ depending solely on the distance between the two integers. Under broad conditions, we…

Probability · Mathematics 2017-11-29 Denis Denisov , Sergey Foss , Takis Konstantopoulos

Our main result is a limit shape theorem for the two-dimensional surface defined by a uniform random n-by-n square Young tableau. The analysis leads to a calculus of variations minimization problem that resembles the minimization problems…

Probability · Mathematics 2007-05-23 Boris Pittel , Dan Romik

Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erd\H{o}s-Heilbronn conjecture. In this note, we develop Das's linear algebraic…

Combinatorics · Mathematics 2026-05-20 Guanzhong Yang

In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…

Combinatorics · Mathematics 2014-02-26 Saugata Basu

In this thesis we consider ordered graphs (that is, graphs with a fixed linear ordering on their vertices). We summarize and further investigations on the number of edges an ordered graph may have while avoiding a fixed forbidden ordered…

Discrete Mathematics · Computer Science 2009-07-16 Craig Weidert

The paper concerns the limit shape (under some probability measure) of convex polygonal lines with vertices on $\mathbb{Z}_+^2$, starting at the origin and with the right endpoint $n=(n_1,n_2)\to\infty$. In the case of the uniform measure,…

Probability · Mathematics 2014-07-29 Leonid V. Bogachev

In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is…

Logic · Mathematics 2014-06-13 Lorenzo Luperi Baglini