English
Related papers

Related papers: Dotted $2$-limits

200 papers

We study a metric on the set of finite graphs in which two graphs are considered to be similar if they have similar bounded dimensional "factors". We show that limits of convergent graph sequences in this metric can be represented by…

Combinatorics · Mathematics 2016-12-07 Dávid Kunszenti-Kovács , László Lovász , Balázs Szegedy

Using special quasigraded Lie algebras we obtain new hierarchies of integrable nonlinear vector equations admitting zero-curvature representations. Among them the most interesting is extension of the generalized Landau-Lifshitz hierarchy…

Exactly Solvable and Integrable Systems · Physics 2009-11-10 T. Skrypnyk

The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.

Category Theory · Mathematics 2008-12-09 Sven-S. Porst

Weak $\infty$-categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipulation of explicit coherence data. This motivates the search…

Logic in Computer Science · Computer Science 2025-02-25 Alex Rice

Approximation Fixpoint Theory (AFT) is an algebraic framework designed to study the semantics of non-monotonic logics. Despite its success, AFT is not readily applicable to higher-order definitions. To solve such an issue, we devise a…

Logic in Computer Science · Computer Science 2026-01-14 Samuele Pollaci , Babis Kostopoulos , Marc Denecker , Bart Bogaerts

Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its…

Category Theory · Mathematics 2012-11-28 Robin Cockett , Richard Garner

The limit functions generated by quasi-linear functions or sequences (including the sum of the Rudin-Shapiro sequence as an example) are continuous but almost everywhere non-differentiable functions. Their graphs are fractal curves. In 2017…

Metric Geometry · Mathematics 2025-10-20 Wen Wu , Sheng Zhong

The double scaling limit of a new class of the multi-matrix models proposed in \cite{MMM91}, which possess the $W$-symmetry at the discrete level, is investigated in details. These models are demonstrated to fall into the same universality…

High Energy Physics - Theory · Physics 2009-10-22 A. Mironov , S. Pakuliak

In this paper, we introduce a new discretization of the Gaussian curvature on surfaces, which is defined as the quotient of the angle defect and the area of some dual cell of a weighted triangulation at the conic singularity. A discrete…

Differential Geometry · Mathematics 2023-09-12 Xu Xu , Chao Zheng

We give combinatorial proofs of some enumeration formulas involving labelled threshold, quasi-threshold, loop-threshold and quasi-loop-threshold graphs. In each case we count by number of vertices and number of components. For threshold…

Combinatorics · Mathematics 2022-03-03 David Galvin , Greyson Wesley , Bailee Zacovic

We give a truly elementary proof of the convexity of metric adjusted skew information following an idea of Effros. We extend earlier results of weak forms of superadditivity to general metric adjusted skew informations. Recently, Luo and…

Mathematical Physics · Physics 2012-10-02 Liang Cai , Frank Hansen

A recent work of Abbasi et al. [FOCS 2023] introduced the notion of $\varepsilon$-scatter dimension of a metric space and showed a general framework for efficient parameterized approximation schemes (so-called EPASes) for a wide range of…

Discrete Mathematics · Computer Science 2024-10-15 Romain Bourneuf , Marcin Pilipczuk

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may…

Logic · Mathematics 2015-01-27 Leonardo Manuel Cabrer , George Metcalfe

In this article we establish some fixed point (known also as critical point, invariant point) theorems in quasi-metric spaces. Our results unify and further extend in some regards the fixed point theorem proposed by Dancs et al. (1983), the…

Optimization and Control · Mathematics 2015-08-11 Truong Bao , Michel Thera

In this article we analyze a two dimensional lattice gauge theory based on a quantum group.The algebra generated by gauge fields is the lattice algebra introduced recently by A.Yu.Alekseev,H.Grosse and V.Schomerus we define and study wilson…

High Energy Physics - Theory · Physics 2009-10-28 E. Buffenoir Ph. Roche

The marked power spectrum is capable of placing far tighter constraints on cosmological parameters (particularly the neutrino mass) than the conventional power spectrum. What new information does it contain beyond conventional statistics?…

Cosmology and Nongalactic Astrophysics · Physics 2020-08-19 Oliver H. E. Philcox , Elena Massara , David N. Spergel

We investigate the problem of extending partial edge colorings in Cartesian products of graphs, with a particular focus on cases where the precolored edges form a matching. Casselgren, Granholm, and Petros conjectured that any precolored…

Combinatorics · Mathematics 2026-03-13 Pál Bärnkopf , Ervin Győri

A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chv\'tal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, it was…

Combinatorics · Mathematics 2024-10-30 Gabriela Araujo-Pardo , Martín Matamala , Juan P. Peña , José Zamora

We propose a collocation and quasi-collocation method for solving second order boundary value problems $L_2 y=f$, in which the differential operator $L_2$ can be represented in the product formulation, aiming mostly on singular and…

Numerical Analysis · Mathematics 2022-02-03 Tina Bosner

Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…

Logic in Computer Science · Computer Science 2023-06-22 Bruno Courcelle