MC-finiteness of restricted set partition functions

MaRDI QIDQ6136030zbMATH OpenFDO

Authors Yuval Filmus, Eldar Fischer, Johann A. Makowsky, Vsevolod Rakita

Publication date 28 August 2023

Full work available at URL https://arxiv.org/abs/2302.08265, https://cs.uwaterloo.ca/journals/JIS/VOL26/Makowsky/makowsky16.html

zbMATH Keywords

finitenessmonadic second-order logicsupercongruenceMCC-finitenessset partition functionSpecker-Blatter theorem

Mathematics Subject Classification ID

Partitions of sets (05A18) Sequences (mod (m)) (11B50) Interpolation, preservation, definability (03C40)

Recommendations

• Publication:4731237
• PARTITIONS WITH PARTS IN A FINITE SET
• A note on the restricted partition function \(p_{\mathcal{a}}(n, k)\)
• Congruence properties of binary partition functions
• Partitions functions with periodic parity

Cites work

• scientific article; zbMATH DE number 2186890 (Why is no real title available?)
• scientific article; zbMATH DE number 3877221 (Why is no real title available?)
• scientific article; zbMATH DE number 3914328 (Why is no real title available?)
• scientific article; zbMATH DE number 3983158 (Why is no real title available?)
• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1973372 (Why is no real title available?)
• scientific article; zbMATH DE number 3443655 (Why is no real title available?)
• scientific article; zbMATH DE number 5497553 (Why is no real title available?)
• scientific article; zbMATH DE number 3088590 (Why is no real title available?)
• Almost unimodal and real-rooted graph polynomials
• An Introduction to Catalan Numbers
• Analytic combinatorics
• Application of logic to combinatorial sequences and their recurrence relations
• Application of logic to integer sequences: a survey
• Arity and alternation in second-order logic
• Bell numbers, their relatives, and algebraic differential equations
• Combinatorics of set partitions
• Computational Complexity
• Connection matrices and the definability of graph parameters
• Counting classes: Thresholds, parity, mods, and fewness
• Generalized Stirling and Lah numbers
• Generalized \(r\)-Lah numbers
• Generating functions for generating trees
• Improved bounds on Bell numbers and on moments of sums of random variables
• Linear Recurrence Relations for Graph Polynomials
• MC-finiteness of restricted set partition functions
• Non-overlapping partitions, continued fractions, Bessel functions and a divergent series
• Number of labeled 4-regular graphs
• On some non-holonomic sequences
• On the period mod \(m\) of polynomially-recursive sequences: a case study
• Restricted \(r\)-Stirling numbers and their combinatorial applications
• Right-jumps and pattern avoiding permutations
• Sequences of Level 1, 2, 3,..., k,...
• Shift Register Synthesis (Modulo m)
• Six proofs for an identity of the Lah numbers
• Some Unusual Enumeration Problems
• Some applications of $S$-restricted set partitions
• Symmetric functions and P-recursiveness
• The Hammond Series of a Symmetric Function and Its Application to P-Recursiveness
• The Specker-Blatter theorem does not hold for quaternary relations
• The Specker-Blatter theorem revisited
• The \(r\)-Lah numbers
• The \(r\)-Stirling numbers
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The power of the middle bit of a \(\#\)P function

Cited in

(2)

• MC-finiteness of restricted set partition functions
• Extensions and limits of the Specker-Blatter theorem

This page was built for publication: MC-finiteness of restricted set partition functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136030)