Definitions

# Stanley's reciprocity theorem

In combinatorial mathematics, Stanley's reciprocity theorem, named after MIT mathematician Richard P. Stanley, states that a certain functional equation is satisfied by the generating function of any "rational cone" and the generating function of the cone's interior.

A "rational cone" is the set of all d-tuples

of nonnegative integers satisfying a system of inequalities

$Mleft\left[begin\left\{matrix\right\}a_1 vdots a_dend\left\{matrix\right\}right\right] geq left\left[begin\left\{matrix\right\}0 vdots 0end\left\{matrix\right\}right\right]$

where M is a matrix of integers. A d-tuple satisfying the corresponding strict inequalities, i.e., with ">" rather than "≥", is in the interior of the cone.

The generating function of such a cone is

$F\left(x_1,dots,x_d\right)=sum_\left\{\left(a_1,dots,a_d\right)in \left\{rm cone\right\}\right\} x_1^\left\{a_1\right\}cdots x_d^\left\{a_d\right\}.$

The generating function Fint(x1, ..., xd) of the interior of the cone is defined in the same way, but one sums over d-tuples in the interior rather than in the whole cone.

It can be shown that these are rational functions. Stanley's reciprocity theorem states that

$F\left(1/x_1,dots,1/x_d\right)=\left(-1\right)^d F_\left\{rm int\right\}\left(x_1,dots,x_d\right).$

Matthias Beck, Mike Develin, and Sinai Robins have shown how to prove this by using the calculus of residues. Develin has said that this amounts to proving the result "without doing any work".

## References

• R.P. Stanley, "Combinatorial reciprocity theorems", Advances in Mathematics, volume 14 (1974), pages 194 - 253.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 3, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8902260661125183, "perplexity": 993.6119290111621}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-22/segments/1432207928923.85/warc/CC-MAIN-20150521113208-00084-ip-10-180-206-219.ec2.internal.warc.gz"}