General removal lemma

Fedor Petrov

DOI: https://doi.org/10.48550/arXiv.1309.3795

2013-09-16

Abstract:We formulate and prove a general result in spirit of hypergraph removal lemma for measurable functions of several variables.

Combinatorics,Classical Analysis and ODEs

What problem does this paper attempt to address?

Removal lemma for infinitely-many forbidden hypergraphs and property testing

Yoshiyasu Ishigami

DOI: https://doi.org/10.48550/arXiv.math/0612669

2008-03-24

Abstract:We give an extension of a graph result by Alon and Shapira. And it affirmatively settles a question on property testing raised by them. All monotone hypergraph properties and all hereditary partite hypergraph properties are testable. Our proof is constructive and based on a new hypergraph regularity lemma.

Combinatorics
On the removal lemma for linear configurations in finite abelian groups

Lluís Vena

DOI: https://doi.org/10.48550/arXiv.1505.02280

2015-05-09

Abstract:We present a general framework to represent discrete configuration systems using hypergraphs. This representation allows one to transfer combinatorial removal lemmas to their analogues for configuration systems. These removal lemmas claim that a system without many configurations can be made configuration-free by removing a few of its constituent elements. As applications of this approach we give, an alternative proof of the removal lemma for permutations by Cooper, a general version of a removal lemma for linear systems in finite abelian groups, an interpretation of the mentioned removal lemma in terms of subgroups, and an alternative proof of the counting version of the multidimensional Szemerédi theorem in abelian groups with generalizations.

Combinatorics
Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach

Gabor Elek,Balazs Szegedy

DOI: https://doi.org/10.48550/arXiv.0705.2179

2007-05-15

Combinatorics

Abstract:We study the integral and measure theory of the ultraproduct of finite sets. As a main application we construct limit objects for hypergraph sequences. We give a new proof for the Hypergraph Removal Lemma and the Hypergraph Regularity Lemma.
A combinatorial proof of the Removal Lemma for Groups

Daniel Král',Oriol Serra,Lluís Vena

DOI: https://doi.org/10.48550/arXiv.0804.4847

2008-04-30

Abstract:Green [Geometric and Functional Analysis 15 (2005), 340--376] established a version of the Szemerédi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. We provide another proof of his Removal Lemma that allows us to extend its statement to all finite groups. We also discuss possible extensions of the Removal Lemma to systems of equations.

Combinatorics
A generalization of the b-function lemma

Sam Raskin

DOI: https://doi.org/10.1112/S0010437X21007491

2021-09-07

Compositio Mathematica

Abstract:We establish some cohomological bounds in -module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the -function lemma for non-holonomic -modules.

mathematics
A generalization of a lemma of Boccardo and Orsina and application

Hongya Gao,Meng Gao,Siyu Gao

DOI: https://doi.org/10.48550/arXiv.2212.04240

2022-12-08

Abstract:We present a generalization of a technical lemma due to Boccardo and Orsina, and then give an application to regularity of minima for integral functionals noncoercive in the energy space.

Analysis of PDEs
Polynomial removal lemma for ordered matchings

Lior Gishboliner,Borna Šimić

2023-07-04

Abstract:We prove that for every ordered matching $H$ on $t$ vertices, if an ordered $n$-vertex graph $G$ is $\varepsilon$-far from being $H$-free, then $G$ contains $\text{poly}(\varepsilon) n^t$ copies of $H$. This proves a special case of a conjecture of Tomon and the first author. We also generalize this statement to uniform hypergraphs.

Combinatorics
A generalization of the Gronwall-Bellman lemma

G. A. Grigorian

2023-07-03

Abstract:The Riccati equation method is used to obtain a generalization of the Gronvall-Bellman lemma the obtained result is used to generalize a result of Lyapunov.

Classical Analysis and ODEs
Removable Sets for Intrinsic Metric and for Holomorphic Functions

Sergei Kalmykov,Leonid V. Kovalev,Tapio Rajala

DOI: https://doi.org/10.1007/s11854-024-0076-2

2019-01-01

Journal d Analyse Mathématique

Abstract:We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every closed totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of “thin” sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative.
The minimum degree removal lemma thresholds

Lior Gishboliner,Zhihan Jin,Benny Sudakov

DOI: https://doi.org/10.1016/j.jctb.2024.01.003

2024-05-01

Abstract:The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph H and ε > 0 , if an n-vertex graph G contains ε n 2 edge-disjoint copies of H then G contains δ n v ( H ) copies of H for some δ = δ ( ε , H ) > 0 . The current proofs of the removal lemma give only very weak bounds on δ ( ε , H ) , and it is also known that δ ( ε , H ) is not polynomial in ε unless H is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that δ ( ε , H ) depends polynomially or linearly on ε. In this paper we answer several questions of Fox and Wigderson on this topic.

mathematics
A Fenchel-Moreau Theorem for (L)over-bar(0)-Valued Functions

Samuel Drapeau,Asgar Jamneshan,Michael Kupper

2019-01-01

Journal of convex analysis

Abstract:We establish a Fenchel-Moreau type theorem for proper convex functions f : X -> (L) over bar (0), where (X,Y,<.,.>) is a dual pair of Banach spaces and (L) over bar (0) is the space of all extended real-valued functions on a sigma-finite measure space. We introduce the concept of stable lower semi-continuity which is shown to be equivalent to the existence of a dual representation f(x) = sup(y is an element of L0(Y)) {< x, y > - f*(y)}, x is an element of X, where L-0(Y) is the space of all strongly measurable functions with values in Y, and <.,.> is understood pointwise almost everywhere. The proof is based on a conditional extension result and conditional functional analysis.
Abundance: Asymmetric graph removal lemmas and integer solutions to linear equations

António Girão,Eoin Hurley,Freddie Illingworth,Lukas Michel

DOI: https://doi.org/10.1112/jlms.70015

2024-11-03

Journal of the London Mathematical Society

Abstract:Abstract We prove that a large family of pairs of graphs satisfy a polynomial dependence in asymmetric graph removal lemmas. In particular, we give an unexpected answer to a question of Gishboliner, Shapira and Wigderson by showing that for every , there are ‐abundant graphs of chromatic number . Using similar methods, we also extend work of Ruzsa by proving that a set which avoids solutions with distinct integers to an equation of genus at least two has size . The best previous bound was and the exponent of is best possible in such a result. Finally, we investigate the relationship between polynomial dependencies in asymmetric removal lemmas and the problem of avoiding integer solutions to equations. The results suggest a potentially deep correspondence. Many open questions remain.

mathematics
Two Generalizations of Stampacchia Lemma and Applications

Han Yingxiao,Fang Mi,Xia Liuye,Gao Hongya

2024-02-06

Abstract:We present two generalizations of the classical Stampacchia Lemma which contain a non-decreasing non-negative function $g$, and give applications. As a first application, we deal with variational integrals of the form $$ {\cal J} (u;\Omega) = \int_{\Omega}\ f(x,Du{(x)})dx. $$ We consider a minimizer $u: \Omega \subset \mathbb R^n \to \mathbb R $ among all functions with a fixed boundary value $u_{\ast }$

Analysis of PDEs
On a certain generalization of the Balog-Szemeredi-Gowers Theorem

Ernie Croot,Evan Borenstein

DOI: https://doi.org/10.48550/arXiv.0805.3305

2008-05-21

Combinatorics

Abstract:In this note, we prove a certain hypergraph generalization of the Balog-Szemeredi-Gowers Theorem. Our result shares some features in common with a similar such generalizsation due to Sudakov, Szemeredi and Vu, though the conclusion of our result is somewhat different.
Generalized Separation Theorems and the Farkas’ Lemma

Jinyan Fan

DOI: https://doi.org/10.1016/j.aml.2004.07.025

IF: 4.294

2005-01-01

Applied Mathematics Letters

Abstract:The main purpose of this paper is to extend the conventional separation theorems concerning the convex subset of Rm to generalized separation theorems concerning the convex subset of Rm×Sn. This is accomplished by the introduction of the generalized inner product in Rm×Sn. Then we derive the famous Farkas’ lemma in nonlinear semidefinite programming, which may be very important for the analysis of the dual theory and optimality conditions of nonlinear semidefinite programming.
Another Quantum Lovász Local Lemma

Mingsheng Ying

DOI: https://doi.org/10.48550/arxiv.1010.5577

2010-01-01

Abstract:We define a natural conceptual framework in which a generalization of theLovász Local Lemma can be established in quantum probability theory.
Generalised Gabriel-Roiter measure and thin representations

Dominik Krasula

2024-02-08

Abstract:For Dynkin and Euclidean quivers, it is shown that Gabriel-Roiter measures of thin representations equal the induced chain length functions on the corresponding system of subquivers. This allows a combinatorial procedure to find a GR filtration of thin representations, showing that GR measures of thin representations are field-independent. It is proved that an indecomposable filtration of a thin representation is a GR filtration for a suitable choice of a length function on the category of finite-dimensional representations.

Representation Theory
A decomposition theorem for balanced measures

Gregory Baimetov,Ryan Bushling,Ansel Goh,Raymond Guo,Owen Jacobs,Sean Lee

2024-04-27

Abstract:Let $G = (V,E)$ be a connected graph. A probability measure $\mu$ on $V$ is called "balanced" if it has the following property: if $T_\mu(v)$ denotes the "earth mover's" cost of transporting all the mass of $\mu$ from all over the graph to the vertex $v$, then $T_\mu$ attains its global maximum at each point in the support of $\mu$. We prove a decomposition result that characterizes balanced measures as convex combinations of suitable "extremal" balanced measures that we call "basic." An upper bound on the number of basic balanced measures on $G$ follows, and an example shows that this estimate is essentially sharp.

Combinatorics
Green's Hyperplane Restriction Theorem: An extension to modules

Ornella Greco

DOI: https://doi.org/10.1016/j.jpaa.2014.12.009

IF: 0.834

2015-08-01

Journal of Pure and Applied Algebra

Abstract:In this paper, we prove a generalization of Green's Hyperplane Restriction Theorem to the case of modules over the polynomial ring, providing in particular an upper bound for the Hilbert function of the general linear restriction of a module M in a degree d by the corresponding Hilbert function of a lexicographic module.

mathematics, applied
The extremal function for disconnected minors

Endre Csóka,Irene Lo,Sergey Norin,Hehui Wu,Liana Yepremyan

DOI: https://doi.org/10.48550/arXiv.1509.01185

2015-09-04

Abstract:For a graph $H$ let $c(H)$ denote the supremum of $|E(G)|/|V(G)|$ taken over all non-null graphs $G$ not containing $H$ as a minor. We show that $$c(H) \leq \frac{|V(H)|+\mathrm{comp}(H)}{2}-1,$$ when $H$ is a union of cycles, verifying conjectures of Reed and Wood, and Harvey and Wood. We derive the above result from a theorem which allows us to find two vertex disjoint subgraphs with prescribed densities in a sufficiently dense graph, which might be of independent interest.

Combinatorics

General removal lemma

Removal lemma for infinitely-many forbidden hypergraphs and property testing

On the removal lemma for linear configurations in finite abelian groups

Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach

A combinatorial proof of the Removal Lemma for Groups

A generalization of the b-function lemma

A generalization of a lemma of Boccardo and Orsina and application

Polynomial removal lemma for ordered matchings

A generalization of the Gronwall-Bellman lemma

Removable Sets for Intrinsic Metric and for Holomorphic Functions

The minimum degree removal lemma thresholds

A Fenchel-Moreau Theorem for (L)over-bar(0)-Valued Functions

Abundance: Asymmetric graph removal lemmas and integer solutions to linear equations

Two Generalizations of Stampacchia Lemma and Applications

On a certain generalization of the Balog-Szemeredi-Gowers Theorem

Generalized Separation Theorems and the Farkas’ Lemma

Another Quantum Lovász Local Lemma

Generalised Gabriel-Roiter measure and thin representations

A decomposition theorem for balanced measures

Green's Hyperplane Restriction Theorem: An extension to modules

The extremal function for disconnected minors