A combinatorial proof of Fisher's Inequality
英文摘要:
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
Rogers Mathew, Tapas Kumar Mishra
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
继续探索
In 1940 Fisher famously showed that if there exists a non-trivial $(v,k,λ)$-design then $λ(v-1) \geq k(k-1)$. Subsequently Bose gave an elegant alternative proof of Fisher's result. Here, we show that the idea behind Bose's proof can be generalised to obtain new bounds on the number of blocks in $(v,k,λ)$-coverings and -packings with $λ(v-1)<k(k-1)$.
$q$-analogues of Fisher's inequality and oddtown theorem
本文针对设计理论中的经典Fisher不等式与oddtown定理,分别构建了对应的$q$-模拟,其中oddtown定理的$q$-模拟限定于$q$为奇素数幂的情况。
An algebraic-combinatorial proof of a Bezout-type inequality for mixed volumes of three-dimensional zonoids
本文用新的代数组合方法重新证明了三维环带体混合体积的Bezout型不等式,并揭示了该不等式与实代数和拟阵论之间的深层联系。
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
本文提出了在Isabelle/HOL中用于关联结构证明的形式化线性代数技术,首次完成了Fisher不等式的形式化,并展示了该技术可适应组合学的未来形式化工作。
We have the Fisher type inequality and the linear programming bound as upper bounds for the cardinalities of $s$-distance sets on $S^{d-1}$. In this paper, we give a new upper bound for the cardinalities of $s$-distance sets on $S^{d-1}$ for any $s$. This upper bound improves the Fisher typer inequality and is useful for $s$-distance sets which are not applicable to the linear programming bound.
In the paper we obtain some new applications of well--known W. Rudin's theorem concerning lacunary series to problems of combinatorial number theory. We generalize a result of M.-C. Chang on L_2 (L)-norm of Fourier coefficients of a set (here L is a dissociated set), and prove a dual version of the theorem. Our main instrument is computing of eigenvalues of some operators.
A combinatorial proof of a partition perimeter inequality
本文通过将划分周长与组合相联系,给出了 Amdeberhan-Andrews-Ballantine 定理的组合证明,并表明 Huang 的组合定理可细化 Fu-Tang 的周长定理。
An extension of Katsuda-Urakawa's Faber-Krahn inequality
本文证明了连通有限图的归一化组合p-拉普拉斯算子的第一个狄利克雷特征值最小值仅由tadpole图T_{n,3}取得,扩展了Katsuda-Urakawa的Faber-Krahn不等式,且论证更简洁。
Combinatorial proof of an inequality on some partitions separated by parity
本文通过组合方法证明了关于按奇偶性分开的划分的不等式在n≥373时成立,回答了Bringmann等人的提问。
The Faber-Krahn inequality states that among all open domains with a fixed volume in R^n, the ball minimizes the first Dirichlet eigenvalue of the Laplacian. We study an asymptotic discrete analogue of this for the combinatorial Dirichlet Laplacian acting on induced subgraphs of Z^2. Namely, an induced subgraph G with n vertices is called a minimizing subgraph if it minimizes the first eigenvalue of the combinatorial Dirichlet Laplacian among all induced subgraphs with n vertices. Consider an induced subgraph G and take the interior of the union of closed squares of area 1 about each point of …
In this paper, we derive some new combinatorial inequalities by applying well known real analytic results like Hölder's inequality, Young's inequality, and Minkowiski's inequality to the recursively defined sequence $f_n$ of functions \begin{align*} f_0(x) & = χ_{(-1/2, 1/2)} (x), \nonumber f_{n+1}(x) & = f_n(x+1/2)+ f_n(x-1/2), n \in \mathbb{N}\,\cup \,\{0\}. \end{align*} Towards this goal, we derive the closed form of the aforementioned sequence $ (f_n)_{n\in \mathbb{N}\,\cup \,\{0\}}$ of functions and show that it is a sequence of simple functions that are linear combinations of characteris…
In this note we prove a graph inequality based on the sizes of the common neighbourhoods. We also characterize the extremal graphs that achieve the equality. The result was first discovered as a consequence of the classical Forster's theorem in electric networks. We also present a short combinatorial proof that was inspired by a similar inequality related to the celebrated Turán's theorem.
We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense equaivalent. These results complete and extend earlier results of Motzkin and Straus, Khadzhiivanov, Sos and Straus, Fisher and Ryan, and Petingi and Rodriguez.
Let $\overline{p}(n)$ denote the overpartition function. Liu and Zhang showed that $\overline{p}(a) \overline{p}(b)>\overline{p}(a+b)$ for all integers $a,b>1$ by using an analytic result of Engle. We offer in this paper a combinatorial proof to the Liu-Zhang inequaity. More precisely, motivated by the polynomials $P_{n}(x)$ , which generalize the $k$-colored partitions function $p_{-k}(n)$, we introduce the polynomials $\overline{P}_{n}(x)$, which take the number of $k$-colored overpartitions of $n$ as their special values. And by combining combinatorial and analytic approaches, we obtain tha…
A combinatorial proof of the Gaussian product inequality (GPI) is given under the assumption that each component of a centered Gaussian random vector $\boldsymbol{X} = (X_1, \ldots, X_d)$ of arbitrary length can be written as a linear combination, with coefficients of identical sign, of the components of a standard Gaussian random vector. This condition on $\boldsymbol{X}$ is shown to be strictly weaker than the assumption that the density of the random vector $(|X_1|, \ldots, |X_d|)$ is multivariate totally positive of order $2$, abbreviated MTP${}_2$, for which the GPI is already known to ho…
A concentration inequality for random combinatorial optimisation problems
本文针对随机组合优化问题中的最小权重随机变量,通过定义子集族的可修补性并结合Talagrand不等式与喷洒型论证,证明了其围绕均值的尖锐浓度不等式。
Bergeron's conjecture & a tale of two binomial coefficients
研究伯杰龙猜想,即整数\(1\leq a<b<c<d\)且\(ad=bc\)时高斯多项式系数关系\({\binom{b+c}b}_q \ge {\binom{a+d}a}_q\)。给出两个证明并推广,还给出特殊情况的组合证明。
We survey connections of the Grothendieck inequality and its variants to combinatorial optimization and computational complexity.
In 1977 Pohst conjectured a certain inequality for $n$ variables and give a computer-assisted proof for $n\leq 10$. We give a proof for all $n$ using a combinatorial argument. This inequality yields a better bound for the regulator in terms of the discriminant for totally real number fields.
Combinatorial properties of holographic entropy inequalities
本文提出了一种新的组合框架来研究全息熵不等式,证明了其共享的性质,并推翻了部分先前猜想,提供了新的证据表明所有HEI在时间依赖的全息态中被遵守。
We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We show that a class of smooth manifolds satisfies a systolic inequality for all Riemannian metrics if and only if it satisfies a corresponding combinatorial systolic inequality for all smooth triangulat…
We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Brändén--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the combinatorial atlas technology recently introduced by the authors (arXiv:2110.10740). We also give a formal relationship between combinatorial atlases and Lorentzian polynomials.
Generalized Information Inequalities via Submodularity, and Two Combinatorial Problems
本文通过子模性建立广义信息不等式,推导新的投影不等式,并研究极值图论问题,扩展了已有结果。
We establish the result of the title. In combinatorial terms this has the implication that for sufficiently small eps > 0, for all n, any marking of an eps fraction of the vertices of the n-dimensional hypercube necessarily leaves a vertex x such that marked vertices are a minority of every sphere centered at x.
Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively …
扫码添加微信好友,提出您的宝贵建议 👇
💡 备注请填写:网站反馈
发表机构由 AI 从论文文本抽取,如发现错误,欢迎反馈修正建议。