English
Related papers

Related papers: Boolean algebras and Lubell functions

200 papers

A family of sets F (and the corresponding family of 0-1 vectors) is called t-cancellative if for all distict t+2 members A_1,... A_t and B,C from F the union of A_1,..., A_t and B differs from the union of A_1, ..., A_t and C. Let c(n,t) be…

Combinatorics · Mathematics 2011-03-11 Zoltán Füredi

Recently, the authors obtained the Schur multiplier, the non-abelian tensor square and the non-abelian exterior square of $d$-generator generalized Heisenberg Lie algebras of rank $ \frac{1}{2}d(d-1).$ Here, we intend to obtain the same…

Rings and Algebras · Mathematics 2021-10-12 Farangis Johari , Peyman Niroomand

Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings…

Logic · Mathematics 2015-03-20 Joel David Hamkins , Daniel Evan Seabold

A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…

General Topology · Mathematics 2020-01-06 Kyriakos Keremedis , Eliza Wajch

By a theorem of R. Stanley, a graded Cohen-Macaulay domain $A$ is Gorenstein if and only if its Hilbert series satisfies the functional equation \[ \operatorname{Hilb}_A(t^{-1})=(-1)^d t^{-a}\operatorname{Hilb}_A(t), \] where $d$ is the…

Combinatorics · Mathematics 2022-01-19 Hans-Christian Herbig , Daniel Herden , Christopher Seaton

Recently, Hajdu and S\'{a}rk\"{o}zy studied the multiplicative decompositions of polynomial sequences. In particular, they showed that when $k \geq 3$, each infinite subset of $\{x^k+1: x \in \mathbb{N}\}$ is multiplicatively irreducible.…

Number Theory · Mathematics 2025-04-22 Chi Hoi Yip

Using the recently discovered connection between bosonization and duality transformations (hep-th/9401105 and hep-th/9403173), we give an explicit path-integral representation for the bosonization of a massive fermion coupled to a U(1)…

High Energy Physics - Theory · Physics 2011-08-12 C. P. Burgess , C. A. Lütken , F. Quevedo

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for…

Classical Analysis and ODEs · Mathematics 2011-11-01 Alex Iosevich , Mihalis Mourgoglou , Eyvindur Palsson

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2^{|A|} = 2^{|B|}. This implies in particular that B has 2^{|B|} subalgebras. We also discuss…

Logic · Mathematics 2009-09-25 James Cummings , Saharon Shelah

We show that abelian bosonization of 1+1 dimensional fermion systems can be interpreted as duality transformation and, as a conseguence, it can be generalized to arbitrary dimensions in terms of gauge forms of rank $d-1$, where $d$ is the…

High Energy Physics - Theory · Physics 2007-05-23 P. A. Marchetti

Let f:{-1,1}^n -> R be a real function on the hypercube, given by its discrete Fourier expansion, or, equivalently, represented as a multilinear polynomial. We say that it is Boolean if its image is in {-1,1}. We show that every function on…

Discrete Mathematics · Computer Science 2013-11-13 Tom Gur , Omer Tamuz

Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all…

Combinatorics · Mathematics 2018-11-01 Adam Mammoliti , Thomas Britz

Ailon and Rudnick have shown that if $a,b \in C[T]$ are multiplicatively independent polynomials, then $\deg(\gcd(a^n-1,b^n-1))$ is bounded for all $n\ge1$. We show that if instead $a,b \in F[T]$ for a finite field $F$ of characteristic…

Number Theory · Mathematics 2007-05-23 Joseph H. Silverman

Suppose that $a$ and $d$ are positive integers with $a \geq 2$. Let $h_{a,d}(n)$ be the largest integer $t$ such that any set of $n$ points in $\mathbb{R}^d$ contains a subset of $t$ points for which all the non-zero volumes of the ${t…

Combinatorics · Mathematics 2023-10-13 David Conlon , Jacob Fox , William Gasarch , David G. Harris , Douglas Ulrich , Samuel Zbarsky

In this paper we introduce a new family of topological convolution algebras of the form $\bigcup_{p\in\mathbb N} L_2(S,\mu_p)$, where $S$ is a Borel semi-group in a locally compact group $G$, which carries an inequality of the type…

Functional Analysis · Mathematics 2013-02-25 Daniel Alpay , Guy Salomon

The aim of this short note is to define the \it universal cubic fourfold \rm over certain loci of their moduli space. Then, we propose two methods to prove that it is unirational over the Hassett divisors $\mathcal{C}_d$, in the range…

Algebraic Geometry · Mathematics 2020-04-29 Hanine Awada , Michele Bolognesi

Carbery proved that if $u:\mathbb{R}^n \rightarrow \mathbb{R}$ is a positive, strictly convex function satisfying $\det D^2u \geq 1$, then we have the estimate $$ \left| \left\{x \in \mathbb{R}^n: u(x) \leq s \right\} \right| \lesssim_n…

Classical Analysis and ODEs · Mathematics 2019-10-04 Stefan Steinerberger

A family $\mathcal{F}$ of subsets of $[n]=\{1,2,\ldots,n\}$ shatters a set $A \subseteq [n]$ if for every $A' \subseteq A$ there is an $F \in \mathcal{F}$ such that $F \cap A=A'$. We develop a framework to analyze $f(n,k,d)$, the maximum…

Combinatorics · Mathematics 2024-10-29 Noga Alon , Varun Sivashankar , Daniel G. Zhu

In 2008, Halman showed that for any finite set $P\subset \mathbb R^d$ and any finite family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, if the intersection of $P$ and any subfamily $\mathcal{B}' \subseteq\mathcal{B}$ of size at…

Combinatorics · Mathematics 2025-09-17 Rahul Gangopadhyay , Alexander Polyanskii , Wei Rao

Let $P$ be a partially ordered set. The function $\mbox{La}^{\#}(n,P)$ denotes the size of the largest family $\mathcal{F}\subset 2^{[n]}$ that does not contain an induced copy of $P$. It was proved by Methuku and P\'alv\"olgyi that there…

Combinatorics · Mathematics 2017-08-28 István Tomon