English
Related papers

Related papers: Proof of a Combinatorial Conjecture Coming from th…

200 papers

The purpose of this note is to explain that the combinatorial local log-concavity conjecture introduced by Gross, Mansour, Tucker and Wang (Eur. J. Comb. 52, 207-222, 2016) in fact follows from a result of Stanley (Eur. J. Comb. 32 (6),…

Combinatorics · Mathematics 2015-12-03 Valentin Féray

The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important…

Complex Variables · Mathematics 2024-11-13 Jiakai Qu

Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such…

Combinatorics · Mathematics 2015-10-01 William Y. C. Chen , Qing-Hu Hou , Doron Zeilberger

The discovery of causal relationships is a foundational problem in artificial intelligence, statistics, epidemiology, economics, and beyond. While elegant theories exist for accurate causal discovery given infinite data, real-world…

Machine Learning · Statistics 2025-07-28 Mian Wei , Somesh Jha , David Page

In this article, we introduce combinatorial models for poly-Bernoulli polynomials and poly-Euler numbers of both kinds. As their applications, we provide combinatorial proofs of some identities involving poly-Bernoulli polynomials.

Combinatorics · Mathematics 2022-07-04 Beáta Bényi , Toshiki Matsusaka

We examine an identity originally stated in Ramanujan's ``lost notebook'' and first proven algebraically by Andrews and combinatorially by Kim. We give two independent combinatorial proofs and interpretations of this identity, which also…

Combinatorics · Mathematics 2009-11-04 Paul Levande

In this work, we propose a PAC-Bayes bound for the generalization risk of the Gibbs classifier in the multi-class classification framework. The novelty of our work is the critical use of the confusion matrix of a classifier as an error…

Machine Learning · Statistics 2013-10-23 Emilie Morvant , Sokol Koço , Liva Ralaivola

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

Complex Variables · Mathematics 2012-03-30 Marek Kanter

In this short note we have proved an enhanced version of a theorem of Lorentz [1] and its generalization to the multivariate case which gives a non- uniform estimate of degree of approximation by a polynomial with positive coefficients. The…

Classical Analysis and ODEs · Mathematics 2016-11-30 Zhong Guan , Tao Wang

We study the generalisation properties of majority voting on finite ensembles of classifiers, proving margin-based generalisation bounds via the PAC-Bayes theory. These provide state-of-the-art guarantees on a number of classification…

Machine Learning · Computer Science 2022-10-21 Felix Biggs , Valentina Zantedeschi , Benjamin Guedj

In this note, we use the method of [3] to give a simple proof of famous Witten conjecture. Combining the coefficients derived in our note and this method, we can derive more recursion formulas of Hodge integrals.

Algebraic Geometry · Mathematics 2007-05-23 Lin Chen , Yi Li , Kefeng Liu

A fundamental question in theoretical machine learning is generalization. Over the past decades, the PAC-Bayesian approach has been established as a flexible framework to address the generalization capabilities of machine learning…

Machine Learning · Computer Science 2024-03-28 Fredrik Hellström , Giuseppe Durisi , Benjamin Guedj , Maxim Raginsky

This paper contains the proof of difference counterparts of the conjectures due to Keven Kadell on symmetric and anti-symmetric Macdonald polynomials.

q-alg · Mathematics 2008-02-03 Ivan Cherednik

We present a short proof of a conjecture proposed by I. Ra\c{s}a (2017), which is an inequality involving basic Bernstein polynomials and convex functions. This proof was given in the letter to I. Ra\c{s}a (2017). The methods of our proof…

Classical Analysis and ODEs · Mathematics 2018-01-09 Andrzej Komisarski , Teresa Rajba

We present a proof of the Harbourne-Hirschowitz conjecture for linear systems with base points of multiplicity seven or less. This proof uses a well-known degeneration of the projective plane, as well as a combinatorial technique that…

Algebraic Geometry · Mathematics 2009-02-14 Stephanie Yang

Foulkes' conjecture has several generalisations due to Doran, Abdesselam--Chipalkatti, Bergeron, and Troyka. For the special linear Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, these assert that given $a \le c \le d \le b$ with $ab=cd$, the…

Combinatorics · Mathematics 2025-08-05 Álvaro Gutiérrez , Michał Szwej

We collect here various conjectures on congruences made by the author in a series of papers, some of which involve binary quadratic forms and other advanced theories. Part A consists of 100 unsolved conjectures of the author while…

Number Theory · Mathematics 2015-03-13 Zhi-Wei Sun

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

Artificial Intelligence · Computer Science 2025-11-04 Jovial Cheukam Ngouonou , Ramiz Gindullin , Claude-Guy Quimper , Nicolas Beldiceanu , Remi Douence

In a recent beautiful but technical article, William Y.C. Chen, Qing-Hu Hou, and Doron Zeilberger developed an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequences,…

Combinatorics · Mathematics 2016-06-28 Moa Apagodu , Doron Zeilberger

We study crowdsourced PAC learning of threshold functions, where the labels are gathered from a pool of annotators some of whom may behave adversarially. This is yet a challenging problem and until recently has computationally and query…

Machine Learning · Computer Science 2022-12-07 Shiwei Zeng , Jie Shen