English
Related papers

Related papers: Nullstellensatz Size-Degree Trade-offs from Revers…

200 papers

We demonstrate the existence of an open set of data which exhibits \textit{reversal} and \textit{recirculation} for the stationary Prandtl equations (data is taken in an appropriately defined product space due to the simultaneous forward…

Analysis of PDEs · Mathematics 2024-10-16 Sameer Iyer , Nader Masmoudi

A piece of a labelled graph $\Gamma$ defined by D. Gruber is a labelled path that embeds into $\Gamma$ in two essentially different ways. We prove that graphical $Gr'(\frac{1}{6})$ small cancellation groups whose associated pieces have…

Group Theory · Mathematics 2020-11-13 Suzhen Han

In this paper, we study minimal (with respect to inclusion) zero forcing sets. We first investigate when a graph can have polynomially or exponentially many distinct minimal zero forcing sets. We also study the maximum size of a minimal…

Combinatorics · Mathematics 2022-04-18 Boris Brimkov , Joshua Carlson

We prove an exact formula for the second moment of Rankin-Selberg $L$-functions $L(1/2,f \times g)$ twisted by $\lambda_f(p)$, where $g$ is a fixed holomorphic cusp form and $f$ is summed over automorphic forms of a given level $q$. The…

Number Theory · Mathematics 2018-07-11 Nickolas Andersen , Eren Mehmet Kiral

We prove new upper bounds for the degrees in Hilbert's Nullstellensatz and for the Noether exponent of polynomial ideals in terms of the monomial structure of the polynomials involved. Our bounds improve the previously known bounds in the…

Algebraic Geometry · Mathematics 2019-07-02 Maria Isabel Herrero , Gabriela Jeronimo , Juan Sabia

The aim of this note is to present an easy proof of Hilbert's Nullstellensatz using Groebner basis. I believe, that the proof has some methodical advantage in a course on Groebner bases. Key words: Hilbert's Nullstellensatz, Groebner bases.

Commutative Algebra · Mathematics 2012-06-29 Lev Glebsky

Given a connected, undirected, simple graph $G = (V, E)$ and $p \le |V|$ pebbles labeled $1,..., p$, a configuration of these $p$ pebbles is an injective map assigning the pebbles to vertices of $G$. Let $S$ and $D$ be two such…

Data Structures and Algorithms · Computer Science 2013-01-22 Jingjin Yu

In a graph, the switching operation reverses adjacencies between a subset of vertices and the others. For a hereditary graph class $\mathcal{G}$, we are concerned with the maximum subclass and the minimum superclass of $\mathcal{G}$ that…

Data Structures and Algorithms · Computer Science 2024-08-15 Dhanyamol Antony , Yixin Cao , Sagartanu Pal , R. B. Sandeep

C-holomorphic functions defined on algebraic sets and having algebraic graphs can be considered as a complex counterpart of regulous functions introduced recently in real geometry. This note is a part of our study on the subject; we prove…

Algebraic Geometry · Mathematics 2020-05-12 Adam Białożyt , Maciej P. Denkowski , Piotr Tworzewski

A relational structure $\mathbb{X}$ is called reversible iff each bijective homomorphism from $\mathbb{X}$ onto $\mathbb{X}$ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible…

Logic · Mathematics 2018-03-28 Miloš S. Kurilić , Nenad Morača

Intuitively speaking, a bipartite graph is mirror if it can be drawn in the Cartesian plane in such a way that, the vertices of one stable are points in x=0, the vertices of the other stable set are points in x=1, the edges are straight…

Combinatorics · Mathematics 2013-12-13 Susana-Clara López , Francesc-Antoni Muntaner-Batle

In this paper, we investigate the total coefficient size of Nullstellensatz proofs. We show that Nullstellensatz proofs of the pigeonhole principle on $n$ pigeons require total coefficient size $2^{\Omega(n)}$ and that there exist…

Computational Complexity · Computer Science 2022-05-10 Aaron Potechin , Aaron Zhang

A poset ${\mathbb{P}}$ is called reversible iff every bijective homomorphism $f:{\mathbb{P}} \rightarrow {\mathbb{P}}$ is an automorphism. Let ${\mathcal{W}}$ and ${\mathcal{W}} ^*$ denote the classes of well orders and their inverses…

Logic · Mathematics 2017-11-21 Miloš S. Kurilić , Nenad Morača

The distinguishing result of this paper is a $\mathbf{P}$-time enumerable partition of all the potential perfect matchings in a bipartite graph. This partition is a set of equivalence classes induced by the missing edges in the potential…

Computational Complexity · Computer Science 2017-10-31 Javaid Aslam

We define rectifiability in $\mathbb{R}^{n}\times\mathbb{R}$ with a parabolic metric in terms of $C^1$ graphs and Lipschitz graphs with small Lipschitz constants and we characterize it in terms of approximate tangent planes and tangent…

Classical Analysis and ODEs · Mathematics 2021-10-11 Pertti Mattila

We construct an example of a bounded degree, nonamenable, unimodular random rooted graph with $p_c=p_u$ for Bernoulli bond percolation, as well as an example of a bounded degree, unimodular random rooted graph with $p_c<1$ but with an…

Probability · Mathematics 2017-10-10 Omer Angel , Tom Hutchcroft

A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs…

Combinatorics · Mathematics 2026-05-13 Irene Heinrich , Masashi Kiyomi , Yota Otachi , Pascal Schweitzer

A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces…

General Topology · Mathematics 2018-09-19 Alan Dow , Rodrigo Hernández-Gutiérrez

Let $\Gamma$ be a graph endowed with a reversible Markov kernel $p$, and $P$ the associated operator, defined by $Pf(x)=\sum_y p(x,y)f(y)$. Denote by $\nabla$ the discrete gradient. We give necessary and/or sufficient conditions on $\Gamma$…

Analysis of PDEs · Mathematics 2010-09-13 Nadine Badr , Emmanuel Russ

The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains…

Combinatorics · Mathematics 2023-02-01 Lior Gishboliner , Zhihan Jin , Benny Sudakov