scholarly journals Hereditary Semiorders and Enumeration of Semiorders by Dimension

10.37236/8140 ◽  
2020 ◽  
Vol 27 (1) ◽  
Author(s):  
Mitchel T. Keller ◽  
Stephen J. Young
Keyword(s):  
Generating Function ◽  
Generating Functions ◽  
Interval Order ◽  
Structural Description ◽  
Interval Orders ◽  
Structural Result ◽  
Forbidden Subposets ◽  
Open Question ◽  
Ascent Sequences

In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-Mélou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder. We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension $3$ given by Rabinovitch to provide a structural description of the semiorders of dimension at most $2$. From this description, we are able to determine the ordinary generating function for the semiorders of dimension at most $2$.

INTERVAL-VALUED REPRESENTABILITY OF QUALITATIVE DATA: THE CONTINUOUS CASE

2007 ◽  
Vol 15 (03) ◽  
pp. 299-319 ◽  
Author(s):  
GIANNI BOSI ◽  
MARIA JESÚS CAMPIÓN ◽  
JUAN CARLOS CANDEAL ◽  
ESTEBAN INDURÁIN
Keyword(s):  
Qualitative Data ◽  
Triangular Fuzzy Number ◽  
Continuous Case ◽  
Interval Order ◽  
Interval Orders ◽  
And Topology ◽  
Study Interval ◽  
Characteristic Interval ◽  
Interval Valued

In the framework of the representability of ordinal qualitative data by means of interval-valued correspondences, we study interval orders defined on a nonempty set X. We analyse the continuous case, that corresponds to a set endowed with a topology that furnishes an idea of continuity, so that it becomes natural to ask for the existence of quantifications based on interval-valued mappings from the set of data into the real numbers under preservation of order and topology. In the present paper we solve a continuous representability problem for interval orders. We furnish a characterization of the representability of an interval order through a pair of continuous real-valued functions so that each element in X has associated in a continuous manner a characteristic interval or equivalently a symmetric triangular fuzzy number.

scholarly journals RAMANUJAN CONGRUENCES FOR A CLASS OF ETA QUOTIENTS

2010 ◽  
Vol 06 (04) ◽  
pp. 835-847 ◽  
Author(s):  
JONAH SINICK
Keyword(s):  
Partition Function ◽  
Generating Function ◽  
Generating Functions ◽  
Complete Characterization ◽  
Ramanujan Congruences

We consider a class of generating functions analogous to the generating function of the partition function and establish a bound on the primes ℓ for which their coefficients c(n) obey congruences of the form c(ℓn + a) ≡ 0 ( mod ℓ). We apply this result to obtain a complete characterization of the congruences of the same form that the sequences cN(n) satisfy, where cN(n) is defined by [Formula: see text]. This last result answers a question of H.-C. Chan.

scholarly journals Induction Models on $\mathbb{N}$

10.29007/kvp3 ◽  
2020 ◽  
Author(s):  
A. Dileep ◽  
Kuldeep S. Meel ◽  
Ammar F. Sabili
Keyword(s):  
Computer Science ◽  
Generating Function ◽  
Generating Functions ◽  
Mathematical Induction ◽  
Base Case ◽  
And Mathematics ◽  
Definition Of ◽  
Induction Model

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin [12] initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary generating function S. The usage of mathematical induction often involves wider set of base cases and k−ary generating functions with different structural restrictions. While subsequent studies have shown several Induction Models to be equivalent, there does not exist precise logical characterization of reduction and equivalence among different Induction Models. In this paper, we generalize the definition of Induction Model and demonstrate existence and construction of S for given B and vice versa. We then provide a formal characterization of the reduction among different Induction Models that can allow proofs in one Induction Models to be expressed as proofs in another Induction Models. The notion of reduction allows us to capture equivalence among Induction Models.

scholarly journals A General Family of q-Hypergeometric Polynomials and Associated Generating Functions

Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1161
Author(s):  
Hari Mohan Srivastava ◽  
Sama Arjika
Keyword(s):  
Generating Function ◽  
Generating Functions ◽  
Hypergeometric Functions ◽  
Additional Parameter ◽  
Physical Sciences ◽  
General Family ◽  
Hypergeometric Polynomials

Basic (or q-) series and basic (or q-) polynomials, especially the basic (or q-) hypergeometric functions and the basic (or q-) hypergeometric polynomials are studied extensively and widely due mainly to their potential for applications in many areas of mathematical and physical sciences. Here, in this paper, we introduce a general family of q-hypergeometric polynomials and investigate several q-series identities such as an extended generating function and a Srivastava-Agarwal type bilinear generating function for this family of q-hypergeometric polynomials. We give a transformational identity involving generating functions for the generalized q-hypergeometric polynomials which we have introduced here. We also point out relevant connections of the various q-results, which we investigate here, with those in several related earlier works on this subject. We conclude this paper by remarking that it will be a rather trivial and inconsequential exercise to give the so-called (p,q)-variations of the q-results, which we have investigated here, because the additional parameter p is obviously redundant.

scholarly journals On the similarity to nonnegative and Metzler Hessenberg forms

2021 ◽  
Vol 10 (1) ◽  
pp. 1-8
Author(s):  
Christian Grussler ◽  
Anders Rantzer
Keyword(s):  
Standard Form ◽  
Complete Characterization ◽  
Nonnegative Matrices ◽  
Positive Systems ◽  
Third Order ◽  
Hessenberg Form ◽  
Hessenberg Matrices ◽  
Open Question ◽  
Order Continuous

Abstract We address the issue of establishing standard forms for nonnegative and Metzler matrices by considering their similarity to nonnegative and Metzler Hessenberg matrices. It is shown that for dimensions n 3, there always exists a subset of nonnegative matrices that are not similar to a nonnegative Hessenberg form, which in case of n = 3 also provides a complete characterization of all such matrices. For Metzler matrices, we further establish that they are similar to Metzler Hessenberg matrices if n 4. In particular, this provides the first standard form for controllable third order continuous-time positive systems via a positive controller-Hessenberg form. Finally, we present an example which illustrates why this result is not easily transferred to discrete-time positive systems. While many of our supplementary results are proven in general, it remains an open question if Metzler matrices of dimensions n 5 remain similar to Metzler Hessenberg matrices.

The randomized communication complexity of revenue maximization

2021 ◽  
Vol 19 (2) ◽  
pp. 75-83
Author(s):  
Aviad Rubinstein ◽  
Junyao Zhao
Keyword(s):  
Lower Bounds ◽  
Communication Complexity ◽  
Social Choice Rule ◽  
Valuation Function ◽  
Optimal Auctions ◽  
Incentive Compatible ◽  
First Approximation ◽  
Exponential Separation ◽  
Open Question

We study the communication complexity of incentive compatible auction-protocols between a monopolist seller and a single buyer with a combinatorial valuation function over n items [Rubinstein and Zhao 2021]. Motivated by the fact that revenue-optimal auctions are randomized [Thanassoulis 2004; Manelli and Vincent 2010; Briest et al. 2010; Pavlov 2011; Hart and Reny 2015] (as well as by an open problem of Babaioff, Gonczarowski, and Nisan [Babaioff et al. 2017]), we focus on the randomized communication complexity of this problem (in contrast to most prior work on deterministic communication). We design simple, incentive compatible, and revenue-optimal auction-protocols whose expected communication complexity is much (in fact infinitely) more efficient than their deterministic counterparts. We also give nearly matching lower bounds on the expected communication complexity of approximately-revenue-optimal auctions. These results follow from a simple characterization of incentive compatible auction-protocols that allows us to prove lower bounds against randomized auction-protocols. In particular, our lower bounds give the first approximation-resistant, exponential separation between communication complexity of incentivizing vs implementing a Bayesian incentive compatible social choice rule, settling an open question of Fadel and Segal [Fadel and Segal 2009].

scholarly journals Generating Functions for Certain Weighted Cranks

2022 ◽  
Vol Volume 44 - Special... ◽  
Author(s):  
Shreejit Bandyopadhyay ◽  
Ae Yee
Keyword(s):  
Generating Function ◽  
Generating Functions ◽  
Colored Partitions ◽  
Unimodal Sequences

Recently, George Beck posed many interesting partition problems considering the number of ones in partitions. In this paper, we first consider the crank generating function weighted by the number of ones and obtain analytic formulas for this weighted crank function under conditions of the crank being less than or equal to some specific integer. We connect these cumulative and point crank functions to the generating functions of partitions with certain sizes of Durfee rectangles. We then consider a generalization of the crank for $k$-colored partitions, which was first introduced by Fu and Tang, and investigate the corresponding generating function for this crank weighted by the number of parts in the first subpartition of a $k$-colored partition. We show that the cumulative generating functions are the same as the generating functions for certain unimodal sequences.

scholarly journals New Results on Degree Sequences of Uniform Hypergraphs

10.37236/3414 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Sarah Behrens ◽  
Catherine Erbes ◽  
Michael Ferrara ◽  
Stephen G. Hartke ◽  
Benjamin Reiniger ◽  
...  
Keyword(s):  
Efficient Algorithm ◽  
Necessary Conditions ◽  
Degree Sequence ◽  
Sufficient Conditions ◽  
Degree Sequences ◽  
Uniform Hypergraph ◽  
Graphic Sequence ◽  
Uniform Hypergraphs ◽  
Open Question

A sequence of nonnegative integers is $k$-graphic if it is the degree sequence of a $k$-uniform hypergraph. The only known characterization of $k$-graphic sequences is due to Dewdney in 1975. As this characterization does not yield an efficient algorithm, it is a fundamental open question to determine a more practical characterization. While several necessary conditions appear in the literature, there are few conditions that imply a sequence is $k$-graphic. In light of this, we present sharp sufficient conditions for $k$-graphicality based on a sequence's length and degree sum.Kocay and Li gave a family of edge exchanges (an extension of 2-switches) that could be used to transform one realization of a 3-graphic sequence into any other realization. We extend their result to $k$-graphic sequences for all $k \geq 3$. Finally we give several applications of edge exchanges in hypergraphs, including generalizing a result of Busch et al. on packing graphic sequences.

scholarly journals Labels distance in bucket recursive trees with variable capacities of buckets

2021 ◽  
Vol 13 (2) ◽  
pp. 413-426
Author(s):  
S. Naderi ◽  
R. Kazemi ◽  
M. H. Behzadi
Keyword(s):  
Partial Differential Equations ◽  
Probability Distribution ◽  
Differential Equations ◽  
Generating Function ◽  
Generating Functions ◽  
Function Approach ◽  
Closed Formula ◽  
Tree Model ◽  
Partial Differential ◽  
Recursive Trees

Abstract The bucket recursive tree is a natural multivariate structure. In this paper, we apply a trivariate generating function approach for studying of the depth and distance quantities in this tree model with variable bucket capacities and give a closed formula for the probability distribution, the expectation and the variance. We show as j → ∞, lim-iting distributions are Gaussian. The results are obtained by presenting partial differential equations for moment generating functions and solving them.

COUNTING NUMERICAL SEMIGROUPS WITH SHORT GENERATING FUNCTIONS

2011 ◽  
Vol 21 (07) ◽  
pp. 1217-1235 ◽  
Author(s):  
VÍCTOR BLANCO ◽  
PEDRO A. GARCÍA-SÁNCHEZ ◽  
JUSTO PUERTO
Keyword(s):  
Generating Function ◽  
Polynomial Time ◽  
Generating Functions ◽  
Time Complexity ◽  
Frobenius Number ◽  
Numerical Semigroups ◽  
Polynomial Time Complexity ◽  
Theoretical Results

This paper presents a new methodology to compute the number of numerical semigroups of given genus or Frobenius number. We apply generating function tools to the bounded polyhedron that classifies the semigroups with given genus (or Frobenius number) and multiplicity. First, we give theoretical results about the polynomial-time complexity of counting these semigroups. We also illustrate the methodology analyzing the cases of multiplicity 3 and 4 where some formulas for the number of numerical semigroups for any genus and Frobenius number are obtained.

Sign in / Sign up

Export Citation Format

Share Document