English
Related papers

Related papers: Expansions of pseudofinite structures and circuit …

200 papers

In this article, we compute the topological expansion of all possible mixed-traces in a hermitian two matrix model. In other words we give a recipe to compute the number of discrete surfaces of given genus, carrying an Ising model, and with…

High Energy Physics - Theory · Physics 2009-11-13 Bertrand Eynard , Nicolas Orantin

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable and locally finite CW complex L the following conditions are equivalent: (i) L is quasi-finite. (ii) There exists a [L]-invertible…

Geometric Topology · Mathematics 2007-05-23 A. V. Karasev

Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.

Algebraic Geometry · Mathematics 2007-05-23 Nguyen Quang Loc , Grzegorz Zwara

We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent \alpha in terms of the ranks of…

Dynamical Systems · Mathematics 2008-12-18 Antoine Julien

In this Phd. thesis, a structural analysis of construction schemes is developed. The importance of this study will be justified by constructing several distinct combinatorial objects which have been of great interest in mathematics. We then…

Logic · Mathematics 2024-06-10 Jorge Antonio Cruz Chapital

Finite mixture models have been a very important tool for exploring complex data structures in many scientific areas, for example, economics, epidemiology, finance. In the past decade, semiparametric techniques have been popularly…

Methodology · Statistics 2018-11-15 Sijia Xiang , Weixin Yao , Guangren Yang

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

Logic · Mathematics 2026-05-20 Pablo Andújar Guerrero

We prove a polynomial bound in the "true complexity" problem of Gowers and Wolf. The proof uses only repeated applications of the Cauchy--Schwarz inequality, answering negatively a question posed by Gowers and Wolf. To choose and reason…

Number Theory · Mathematics 2021-09-14 Freddie Manners

Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…

K-Theory and Homology · Mathematics 2026-02-27 Antonio Lorenzin

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $\mathcal{R}$ by a unary predicate such that its open core is a proper o-minimal expansion of…

Logic · Mathematics 2021-01-08 Alexi Block Gorman , Erin Caulfield , Philipp Hieronymi

This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…

Logic in Computer Science · Computer Science 2017-04-14 Garry Pantelis

The mechanics of the structured particles develops. The substantiation of applicability of such mechanics for the description of processes of evolution in open nonequilibrium systems is offered. The consequences following from the equations…

General Physics · Physics 2012-10-03 V. M. Somsikov

In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we…

Rings and Algebras · Mathematics 2026-01-05 Luca Carai , Miriam Kurtzhals , Tommaso Moraschini

Bivariate generating functions for various subsets of the class of permutations containing no descending sequence of length three or more are determined. The notion of absolute indecomposability of a permutation is introduced, and used in…

Combinatorics · Mathematics 2015-08-07 Michael H. Albert

Given an affine Poisson algebra, that is singular one may ask whether there is an associated symplectic form. In the smooth case the answer is obvious: for the symplectic form to exist the Poisson tensor has to be invertible. In the…

Algebraic Geometry · Mathematics 2025-02-11 Hans-Christian Herbig , William Osnayder Clavijo Esquivel , Christopher Seaton

We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…

Rings and Algebras · Mathematics 2022-10-14 D. G. FitzGerald , M. K. Kinyon

Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…

Representation Theory · Mathematics 2019-09-25 Christopher P. Bendel

Organisations are required to show that their procedures and processes satisfy the relevant regulatory requirements. The computational complexity of proving regulatory compliance is known to be generally hard. However, for some of its…

Computational Complexity · Computer Science 2022-12-13 Silvano Colombo Tosatto , Guido Governatori , Nick van Beest

Circuits and extended formulations are classical concepts in linear programming theory. The circuits of a polyhedron are the elementary difference vectors between feasible points and include all edge directions. We study the connection…

Optimization and Control · Mathematics 2023-08-04 Steffen Borgwardt , Matthias Brugger

We study $d$-dimensional simplicial complexes that are PL embeddable in $\mathbb{R}^{d+1}$. It is shown that such a complex must satisfy a certain homological condition. The existence of this obstruction allows us to provide a systematic…

Geometric Topology · Mathematics 2017-03-06 Anders Björner , Afshin Goodarzi