Counting false entries in truth tables of bracketed formulae connected by m-implication
|
|
- Osborn Butler
- 5 years ago
- Views:
Transcription
1 arxiv: v1 [mathco] 1 Mar 01 Counting false entries in truth tables of bracketed formulae connected by m-implication Volkan Yildiz ah05146@qmulacuk or vo1kan@hotmailcouk Abstract Inthispaperwecount thenumberofrows y n withthevalue false in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of modified-implication We find a recurrence and an asymptotic formulae for y n We also determine the parity of y n Keywords: Propositional logic, m-implication, Catalan numbers, parity, asymptotics, Catalan tree AMS classification: 05A15, 05A16, 03B05, 11B75 1 Introduction In this paper we study enumerative and asymptotic questions on formulae of propositional logic which are correctly bracketed chains of m-implications, where the letter m stands for modified For brevity, we represent truth values of propositional variables and formulae by 1 for true and 0 for false For background information on propositional logic the reader can refer to the following books, [6], and [3], or to the introduction page of, [4] In-fact 1
2 this paper is an extension of [4] In [4], we have shown that the following results are true: Theorem 11 Let f n be the number of rows with the value false in the truth tables of all bracketed formulae with n distinct propositions p 1,,p n connected by the binary connective of implication Then and for large n, f n n 1 f n = ( i C i f i )f n i, with f 1 = 1 (1) i=1 ( ) 3n πn 3 Where C i is the ith Catalan number A number of new enumerative problems arise if we modify the binary connective of implication as in below cases Case(i) Use instead of, where defined as follows φ ψ φ ψ For any valuation ν, { ν(φ ψ) = 0 if ν(φ) = 1 and ν(ψ) = 1, 1 otherwise Case(ii) Use instead of, where defined as follows φ ψ φ ψ For any valuation ν, { ν(φ ψ) = 0 if ν(φ) = 0 and ν(ψ) = 0, 1 otherwise Case(iii) Use instead of, where defined as follows φ ψ φ ψ For any valuation ν, { ν(φ ψ) = 0 if ν(φ) = 0 and ν(ψ) = 1, 1 otherwise Let s n, h n be the number of rows with the value false in the truth tables of all bracketed formulae with n distinct propositions p 1,,p n connected by the binary connective of m-implication, in the case (iii) and (ii), respectively
3 11 Case(iii) A row with the value false comes from an expression ψ χ where ν(ψ) = 0 andν(χ) = 1 If ψ contains ivariables, then χ contains n i, andthenumber of choices is given by the summand: n 1 s n = s i ( n i C n i s n i ), where s 0 = 0,s 1 = 1 () i=1 The recurrence relation () is equivalent to the recurrence relation (1), so all the results we have in [4], and [8] hold for the case(iii) too 1 Case(ii) A row with the value false comes from an expression ψ χ where ν(ψ) = 0 andν(χ) = 0 If ψ contains ivariables, then χ contains n i, andthenumber of choices is given by the summand: n 1 h n = h i h n i, where h 0 = 0,h 1 = 1 (3) i=1 The recurrence relation (3) is very well known; it is the recurrence relation for Catalan numbers Corollary 1 Suppose we have all possible well-formed formulae obtained from p 1 p p n by inserting brackets, where p 1,,p n are distinct propositions Then each formula defines the same truth table Example 13 Here are the truth tables, (merged into one), for the bracketed m-implications, in n = 3 variables p 1 p p 3 p 1 (p p 3 ) (p 1 p ) p
4 13 Case(i) We are interested in bracketed m-implications, case(i), which are formulae obtained from p 1 p p n by inserting brackets so that the result is well-formed, where p 1,,p n are distinct propositions Proposition 14 Let y n be the number of rows with the value false in the truth tables of all brackted m-implications, case(i), with n distinct variables Then n 1 ( ) y n = ( i C i y i )( n i C n i y n i ), with y 0 = 0, y 1 = 1 (4) i=1 Proof A row with the value false comes from an expression φ ψ, where ν(φ) = 1 and ν(ψ) = 1 If φ contains i variables, then ψ contains n i variables, and the number of choices is given by the summand in the proposition Example 15 and y 1 = 1,y = ( 1 C 1 y 1 )( 1 C 1 y 1 ) = 1 y 3 = ( 1 C 1 y 1 )( C y )+( C y )( 1 C 1 y 1 ) = 3+3 = 6 Example 16 Here are the truth tables, (merged into one), for the two bracketed m-implications, case(i), in n = 3 variables Where the corresponding rows with the value false are in blue: p 1 p p 3 p 1 (p p 3 ) (p 1 p ) p which coincides with the result we had from Example 15 4
5 Using Proposition 14, it is straightforward to calculate the values of y n for small n The first values are {y n } n 1 = 1,1,6,9,16,978,6156,40061,67338,181938, , , , , , , , , , , , , Generating Function Recall from [4], that the number of bracketings of a product of n terms is the Catalan number with the generating function C n = 1 ( ) n, with C 0 = 0, C n x n = (1 1 4x)/ n n 1 respectively (see also [, page 61]) Let g n be the total number of rows in all truth tables for bracketed m- implications, case(i), with n distinct variables It is clear that g n = n C n, with g 0 = 0 Let Y(x) and G(x) be the generating functions for y n, and g n, respectively That is, Y(x) = n 1 y nx n, and G(x) = n 1 g nx n Since, Then, n 1 y n = i=1 n 1 ( ) ( i C i y i )( n i C n i y n i ), where y 0 = 0, y 1 = 1 n x n 1y n = x+ n 1 i C i n i C n i x n n 1 i C i y n i x n n 1 i=1 n 1 i=1 n 1 y i i C n i x n i + n 1 y i y n i x n i=1 n 1 i=1 n 1 Now it is straightforward to get the following result: Y(x) = x+(g(x) Y(x)) (5) 5
6 where G(x) can be obtained from the generating function of C n by replacing x by x: that is, G(x) = (1 1 8x)/ (6) Substituting (6) into (5) gives the following quadratic equation: Y(x) +Y(x)( 1 8x )+(1 1 8x x) = 0 (7) Solving equation (7) gives the following proposition: Proposition 1 The generating function for the sequence {y n } n 1 is given by Y(x) = 1 8x 3 4x 1 8x (As with the Catalan numbers, the choice of sign in the square root is made to ensure that Y(0) = 0) With the help of Maple we can obtain the first terms of the above series, and hence give the first values of y n ; these agree with the values found from the recurrence relation 3 Asymptotic Analysis In this section we want to get an asymptotic formula for the coefficients of the generating function Y(x) from Proposition 1 We use the following result [1, page 389]: Proposition 31 Let a n be a sequence whose terms are positive for sufficiently large n Suppose that A(x) = n 0 a nx n converges for some value of x > 0 Let f(x) = ( ln(1 x/r)) b (1 x/r) c, where c is not a positive integer, and we do not have b = 0 and c = 0 Suppose that A(x) and f(x) each have a singularity at x = r and that A(x) has no singularities in the interval [ r,r) Suppose further that lim x r exists and has nonzero A(x) value γ Then a n f(x) γ ( ) n c 1 n (lnn) b r n, if c 0, γb(lnn) b 1 n, if c = 0 6
7 Note 3 We also have ( n c 1 where the standard gamma-function Γ(x) = 0 It follows that Γ( 1/) = π/ n ) n c 1 Γ( c), t x 1 e t dt, with Γ(x+1) = xγ(x), Γ(1/) = π Recall that G(x) = (1 1 8x)/, therefore Y(x) = (1+G(x)) (1+4G(x)) 4x Asin[4], beforestudyingy(x), wefirststudyg(x) ThisG(x)couldeasilybe studied by using the explicit formula for its coefficients, which is n( n n 1) /n But our aim is to understand how to handle the square root singularity A square root singularity occurs while attempting to raise zero to a power which is not a positive integer Clearly the square root, 1 8x, has a singularity at 1/8 Therefore by Proposition 31, r = 1/8 We have G(1/8) = 1/, so we would not be able to divide G(x) by a suitable f(x) as required in Proposition 31 To create a function which vanishes at 1, we simply look at 8 A(x) = G(x) 1/ instead That is, let Then f(x) = (1 x/r) 1/ = (1 8x) 1/ A(x) γ = lim = 1 x 1/8 1 8x Now by using Proposition 31 and Note 3, g n 1 ( ) n 3 (1 ) n 1 8 n n 3/ n 8 Γ( 1/) = 3n πn 3 We are now ready to tackle Y(x), and state the main theorem of the paper 7
8 Theorem 33 Let y n be number of rows with the value false in the truth tables of all the bracketed m-implications, case(i), with n distinct variables Then ( 10 ) 10 3n y n 10 πn 3 Proof Recall that Y(x) = 1 8x 3 4x 1 8x Wefindthatr = 1 8, andf(x) = 1 8x SinceY(1/8) = ( 5)/ 0, we need a function which vanishes at Y(1/8), thus we let A(x) = Y(x) Y(1/8) A(x) lim x 1/8 f(x) = lim x 1/8 Let v = 1 8x Then v v 4v+5+ 5 γ = lim v 0 v = x 3 4x 1 8x x = 10 10, 0 1 = lim (v 4)(v 4v +5) 1 v 0 where we have used l Hôpital s Rule in the penultimate line Finally, y n 10 ( )( ) ( 10 n 3 n 1 10 ) 10 3n 0 n 8 10, πn 3 and the proof is finished The importance of the constant = lies in the following fact: Corollary 34 Letg n be the total number of rows in alltruth tablesfor bracketed m-implications, case(i), with n distinct variables, and y n the number of rows with the value false Then lim n y n /g n =
9 The table below illustrates the convergence Corollary 35 Let n y n g n y n /g n then we have the following inequality Where f n is defined in Theorem 11 P(y n ) = y n g n and P(f n ) = f n g n P(y n ) P(f n ) Corollary 36 Let d n be the number of rows with the value true in the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of m-implication, case(i) Then d n = g n y n, with t 0 = 0, and for large n, d n ( ) 3n 5 πn 3 Using this Corollary 36, it is straightforward to calculate the values of d n The table below illustrates this up to n = 10 n d n
10 4 Parity For brevity, we represent the set of even counting numbers by the capital letter E, the set of odd counting numbers by the capital letter O, and the set of natural numbers, {1,,3,4,}, by N We begin by determining the parity of Catalan number C n, which has the following recurrence relation n 1 C n = C i C n 1, with C 0 = 0,C 1 = 1 (8) i=1 From the Segner s recurrence relation, C n can be expressed as a piecewise function, with respect to the parity of n, (see [7, page 39]) (C 1 C n 1 +C C n ++Cn 1Cn+1) if n O, C n = (C 1 C n 1 +C C n ++Cn Cn+)+C n if n E Lemma 41 (Parity of C n ) [8] Proof C n O n = i, where i N For n, C n O C n Note that C 1 = 1 O O Cn O n = i i N By using Proposition 14, we get the following triangular table Where the left hand side column represents the sum of the corresponding row y : 1 y 3 : 3 3 y 4 : y 5 : y 6 : Theorem 4 (Parity of y n ) The sequence {y n } n 1 preserves the parity of C n 10
11 Proof If an additive partition of y n, (which is determined by the recurrence relation (4)), is odd, then it comes as a pair; ie ( i C i f i )( n i C n i y n i ) O y i,y n i ( ) Hence, ( i C i y i )( n i C n i y n i )+( n i C n i y n i )( i C i y i ) E Thus, y n canbeexpressed asapiecewise functiondepending ontheparity of n: n 1 i=1 ((i C i y i )( n i C n i y n i )) if n O, y n = ) ( n i=1 ((i C i y i )( n i C n i y n i )) +( n Cn y n ) if n E Finally, y n O ( n C n y n ) O yn O n = i, i N Note that y 1 = 1 O Proposition 43 (Parity of d n ) The sequence {d n } n 1 preserves the parity of C n Proof Since d n = g n y n = n C n y n, with n 1 The sequence {g n } n 1 is always even, and the sequence {y n } n 1 preserves the parity of C n by Theorem 4 Therefore the sequence {d n } n 1 preserves the parity of C n 5 A fruitful tree We begin by recalling following definitions: Definition 51 [8], The nth Catalan tree, A n, is a combinatorical object, characterized by one root, (n 1) main-branches, and C n sub-branches Where each main-branch gives rise to a number of sub-branches, and the number of these sub-branches is determined by the additive partition of the corresponding Catalan number, as determined by the recurrence relation (8) 11
12 Definition 5 [8], The Catalan tree A n is fruitful iff each sub-branch of A n has fruits We denote this new tree by A n (µ i ), where {µ i } i 1 is the corresponding fruit sequence Example 53 Let {y n } n 1 be the corresponding fruit sequence for the Catalan tree A n Then A n (y n ) has the following symbolic representation, (( 1 C 1 f 1 )( n 1 C n 1 y n 1 ),,( n 1 C n 1 y n 1 )( 1 C 1 f 1 )) (C 1 C n 1,C C n,,c n C,C n 1 C 1 ) (1,1,,1,1) (1) Example 54 Let {d n } n 1 be the corresponding fruit sequence for the Catalan tree A n Then A n (d n ) has the following symbolic representation, (( n ( 1 C 1 f 1 )( n 1 C n 1 y n 1 )),,( n ( n 1 C n 1 y n 1 )( 1 C 1 f 1 ))) (C 1 C n 1,C C n,,c n C,C n 1 C 1 ) (1,1,,1,1) Proposition 55 For n > 1, let a n (y n ) and a n (d n ) be the total number of components of the fruitful trees A n (y n ) and A n (d n ) respectively Then (1) a n (y n ) = y n +C n +n, and a n (d n ) = d n +C n +n Using Proposition 55, it is straightforward to calculate the values of a n (y n ), and a n (d n ) The table below illustrates this up to n = 10 n a n (y n ) a n (d n ) Corollary 56 For n > 1, a n (y n ), and a n (d n ) are odd iff n O Proof Since, a n = (C n +n) O n O or n = i, and y n,d n O n = i Therefore, a n (y n ),a n (d n ) O n O 1
13 References [1] E A Bender and S G Williamson, Foundations of Applied Combinatorics, Addison-Wesley Publishing Company, Reading, MA, 1991 [] P J Cameron, Combinatorics: Topics, Techniques, Algorithms, Cambridge University Press, Cambridge, 1994 [3] P J Cameron, Sets, Logic and Categories, Springer, London, 1998 [4] P J Cameron and V Yildiz, Counting false entries in truth tables of bracketed formulae connected by implication, Preprint, (arxivorg/abs/ ) [5] T Koshy, Catalan Numbers with Applications, Oxford University Press, New York, 009 [6] D Makinson, Sets, Logic and Maths for Computing, Springer, London, 009 [7] N J A Sloane, The Online Encyclopedia of Integer Sequences, [8] V Yildiz, Catalan tree & Parity of some Sequences which are related to Catalan numbers Preprint, ( Onlar ki kurtulamaz ikiyüzlülükten Canı ayırmaya kalkarlar bedenden; Horoz gibi tepemde testere olsa Aklımın kafasını keser atarım ben Ö Hayyam 13
arxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationk-protected VERTICES IN BINARY SEARCH TREES
k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from
More informationA REFINED ENUMERATION OF p-ary LABELED TREES
Korean J. Math. 21 (2013), No. 4, pp. 495 502 http://dx.doi.org/10.11568/kjm.2013.21.4.495 A REFINED ENUMERATION OF p-ary LABELED TREES Seunghyun Seo and Heesung Shin Abstract. Let T n (p) be the set of
More informationSequences that satisfy a(n a(n)) = 0
Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More information1. Which one of the following points is a singular point of. f(x) = (x 1) 2/3? f(x) = 3x 3 4x 2 5x + 6? (C)
Math 1120 Calculus Test 3 November 4, 1 Name In the first 10 problems, each part counts 5 points (total 50 points) and the final three problems count 20 points each Multiple choice section Circle the correct
More information#A6 INTEGERS 17 (2017) AN IMPLICIT ZECKENDORF REPRESENTATION
#A6 INTEGERS 17 (017) AN IMPLICIT ZECKENDORF REPRESENTATION Martin Gri ths Dept. of Mathematical Sciences, University of Essex, Colchester, United Kingdom griffm@essex.ac.uk Received: /19/16, Accepted:
More informationTHE NUMBER OF INDEPENDENT DOMINATING SETS OF LABELED TREES. Changwoo Lee. 1. Introduction
Commun. Korean Math. Soc. 18 (2003), No. 1, pp. 181 192 THE NUMBER OF INDEPENDENT DOMINATING SETS OF LABELED TREES Changwoo Lee Abstract. We count the numbers of independent dominating sets of rooted labeled
More informationarithmetic properties of weighted catalan numbers
arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference background: catalan numbers Definition The Catalan numbers are the sequence of integers
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationOUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM. Dariusz Dudzik, Marcin Skrzyński. 1. Preliminaries and introduction
Annales Mathematicae Silesianae 31 (2017), 63 70 DOI: 10.1515/amsil-2016-0020 OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM Dariusz Dudzik, Marcin Skrzyński Abstract. On a commutative
More informationOn divisibility of Narayana numbers by primes
On divisibility of Narayana numbers by primes Miklós Bóna Department of Mathematics, University of Florida Gainesville, FL 32611, USA, bona@math.ufl.edu and Bruce E. Sagan Department of Mathematics, Michigan
More informationCombinatorial properties of the numbers of tableaux of bounded height
Combinatorial properties of the numbers of tableaux of bounded height Marilena Barnabei, Flavio Bonetti, and Matteo Sibani Abstract We introduce an infinite family of lower triangular matrices Γ (s), where
More informationUnbounded Regions of Infinitely Logconcave Sequences
The University of San Francisco USF Scholarship: a digital repository @ Gleeson Library Geschke Center Mathematics College of Arts and Sciences 007 Unbounded Regions of Infinitely Logconcave Sequences
More informationMULTI-RESTRAINED STIRLING NUMBERS
MULTI-RESTRAINED STIRLING NUMBERS JI YOUNG CHOI DEPARTMENT OF MATHEMATICS SHIPPENSBURG UNIVERSITY SHIPPENSBURG, PA 17257, U.S.A. Abstract. Given positive integers n, k, and m, the (n, k)-th m- restrained
More informationA Catalan-Hankel Determinant Evaluation
A Catalan-Hankel Determinant Evaluation Ömer Eğecioğlu Department of Computer Science, University of California, Santa Barbara CA 93106 (omer@cs.ucsb.edu) Abstract Let C k = ( ) 2k k /(k +1) denote the
More informationPermutations with Inversions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 4 2001, Article 01.2.4 Permutations with Inversions Barbara H. Margolius Cleveland State University Cleveland, Ohio 44115 Email address: b.margolius@csuohio.edu
More informationTernary Modified Collatz Sequences And Jacobsthal Numbers
1 47 6 11 Journal of Integer Sequences, Vol. 19 (016), Article 16.7.5 Ternary Modified Collatz Sequences And Jacobsthal Numbers Ji Young Choi Department of Mathematics Shippensburg University of Pennsylvania
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationIntersecting curves (variation on an observation of Maxim Kontsevich) by Étienne GHYS
Intersecting curves (variation on an observation of Maxim Kontsevich) by Étienne GHYS Abstract Consider the graphs of n distinct polynomials of a real variable intersecting at some point. In the neighborhood
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationFIBONACCI EXPRESSIONS ARISING FROM A COIN-TOSSING SCENARIO INVOLVING PAIRS OF CONSECUTIVE HEADS
FIBONACCI EXPRESSIONS ARISING FROM A COIN-TOSSING SCENARIO INVOLVING PAIRS OF CONSECUTIVE HEADS MARTIN GRIFFITHS Abstract. In this article we study a combinatorial scenario which generalizes the wellknown
More informationReconstructing integer sets from their representation functions
Reconstructing integer sets from their representation functions Vsevolod F. Lev Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel seva@math.haifa.ac.il Submitted: Oct 5, 2004;
More informationThe game of plates and olives
The game of plates and olives arxiv:1711.10670v2 [math.co] 22 Dec 2017 Teena Carroll David Galvin December 25, 2017 Abstract The game of plates and olives, introduced by Nicolaescu, begins with an empty
More informationA bijective proof of Shapiro s Catalan convolution
A bijective proof of Shapiro s Catalan convolution Péter Hajnal Bolyai Institute University of Szeged Szeged, Hungary Gábor V. Nagy {hajnal,ngaba}@math.u-szeged.hu Submitted: Nov 26, 2013; Accepted: May
More informationDescents in Parking Functions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.2.3 Descents in Parking Functions Paul R. F. Schumacher 1512 Oakview Street Bryan, TX 77802 USA Paul.R.F.Schumacher@gmail.com Abstract
More informationCounting permutations by cyclic peaks and valleys
Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of
More informationPascal Eigenspaces and Invariant Sequences of the First or Second Kind
Pascal Eigenspaces and Invariant Sequences of the First or Second Kind I-Pyo Kim a,, Michael J Tsatsomeros b a Department of Mathematics Education, Daegu University, Gyeongbu, 38453, Republic of Korea
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationAsymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard
More informationMa 530 Power Series II
Ma 530 Power Series II Please note that there is material on power series at Visual Calculus. Some of this material was used as part of the presentation of the topics that follow. Operations on Power Series
More informationTwo special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p
LECTURE 1 Table of Contents Two special equations: Bessel s and Legendre s equations. p. 259-268. Fourier-Bessel and Fourier-Legendre series. p. 453-460. Boundary value problems in other coordinate system.
More information1 Predicates and Quantifiers
1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College
More informationOn a Balanced Property of Compositions
On a Balanced Property of Compositions Miklós Bóna Department of Mathematics University of Florida Gainesville FL 32611-8105 USA Submitted: October 2, 2006; Accepted: January 24, 2007; Published: March
More informationPartitions with Distinct Multiplicities of Parts: On An Unsolved Problem Posed By Herbert Wilf
Partitions with Distinct Multiplicities of Parts: On An Unsolved Problem Posed By Herbert Wilf arxiv:1203.2670v1 [math.co] 12 Mar 2012 James Allen Fill Department of Applied Mathematics and Statistics
More informationOn the parity of the Wiener index
On the parity of the Wiener index Stephan Wagner Department of Mathematical Sciences, Stellenbosch University, Stellenbosch 7602, South Africa Hua Wang Department of Mathematics, University of Florida,
More informationStudy of some equivalence classes of primes
Notes on Number Theory and Discrete Mathematics Print ISSN 3-532, Online ISSN 2367-8275 Vol 23, 27, No 2, 2 29 Study of some equivalence classes of primes Sadani Idir Department of Mathematics University
More informationCHAPTER 3 Further properties of splines and B-splines
CHAPTER 3 Further properties of splines and B-splines In Chapter 2 we established some of the most elementary properties of B-splines. In this chapter our focus is on the question What kind of functions
More informationDiscrete Mathematics (VI) Yijia Chen Fudan University
Discrete Mathematics (VI) Yijia Chen Fudan University Review Truth Assignments Definition A truth assignment A is a function that assigns to each propositional letter A a unique truth value A(A) {T, F}.
More informationThe Bhargava-Adiga Summation and Partitions
The Bhargava-Adiga Summation and Partitions By George E. Andrews September 12, 2016 Abstract The Bhargava-Adiga summation rivals the 1 ψ 1 summation of Ramanujan in elegance. This paper is devoted to two
More informationEquations with regular-singular points (Sect. 5.5).
Equations with regular-singular points (Sect. 5.5). Equations with regular-singular points. s: Equations with regular-singular points. Method to find solutions. : Method to find solutions. Recall: The
More informationA PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY
A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY I. HECKENBERGER AND J. SAWADA Abstract. A bound resembling Pascal s identity is presented for binary necklaces with fixed density using
More informationToufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden
COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating
More informationSingular Overpartitions
Singular Overpartitions George E. Andrews Dedicated to the memory of Paul Bateman and Heini Halberstam. Abstract The object in this paper is to present a general theorem for overpartitions analogous to
More informationActions and Identities on Set Partitions
Actions and Identities on Set Partitions The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Marberg,
More informationON IDEALS OF TRIANGULAR MATRIX RINGS
Periodica Mathematica Hungarica Vol 59 (1), 2009, pp 109 115 DOI: 101007/s10998-009-9109-y ON IDEALS OF TRIANGULAR MATRIX RINGS Johan Meyer 1, Jenő Szigeti 2 and Leon van Wyk 3 [Communicated by Mária B
More informationArithmetic properties of coefficients of power series expansion of. (with an appendix by Andrzej Schinzel)
Monatsh Math 018 185:307 360 https://doi.org/10.1007/s00605-017-1041- Arithmetic properties of coefficients of power series expansion of 1 x n t with an appendix by Andrzej Schinzel Maciej Gawron 1 Piotr
More informationEXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form
EXPLICIT EVALUATIONS OF SOME WEIL SUMS ROBERT S. COULTER 1. Introduction In this article we will explicitly evaluate exponential sums of the form χax p α +1 ) where χ is a non-trivial additive character
More informationCS 486: Lecture 2, Thursday, Jan 22, 2009
CS 486: Lecture 2, Thursday, Jan 22, 2009 Mark Bickford January 22, 2009 1 Outline Propositional formulas Interpretations and Valuations Validity and Satisfiability Truth tables and Disjunctive Normal
More informationMapping the Discrete Logarithm: Talk 2
Mapping the Discrete Logarithm: Talk 2 Joshua Holden Joint work with Daniel Cloutier, Nathan Lindle (Senior Theses), Max Brugger, Christina Frederick, Andrew Hoffman, and Marcus Mace (RHIT REU) Rose-Hulman
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
More informationA Note on the Distribution of Numbers with a Maximum (Minimum) Fixed Prime Factor
International Mathematical Forum, Vol. 7, 2012, no. 13, 615-620 A Note on the Distribution of Numbers with a Maximum Minimum) Fixed Prime Factor Rafael Jakimczuk División Matemática, Universidad Nacional
More informationBP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS. 1. Introduction and results
BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS DONALD M. DAVIS Abstract. We determine the BP -module structure, mod higher filtration, of the main part of the BP -homology of elementary 2- groups.
More informationNatural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson
Natural Deduction Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. An example 1. Validity by truth table 2. Validity by proof 2. What s a proof 1. Proof checker 3. Rules of
More informationExact formulae for the prime counting function
Notes on Number Theory and Discrete Mathematics Vol. 19, 013, No. 4, 77 85 Exact formulae for the prime counting function Mladen Vassilev Missana 5 V. Hugo Str, 114 Sofia, Bulgaria e-mail: missana@abv.bg
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationImproved Bounds on the Anti-Waring Number
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 0 (017, Article 17.8.7 Improved Bounds on the Anti-Waring Number Paul LeVan and David Prier Department of Mathematics Gannon University Erie, PA 16541-0001
More informationA New Intuitionistic Fuzzy Implication
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 9, No Sofia 009 A New Intuitionistic Fuzzy Implication Lilija Atanassova Institute of Information Technologies, 1113 Sofia
More informationExpected Number of Distinct Subsequences in Randomly Generated Binary Strings
Expected Number of Distinct Subsequences in Randomly Generated Binary Strings arxiv:704.0866v [math.co] 4 Mar 08 Yonah Biers-Ariel, Anant Godbole, Elizabeth Kelley March 6, 08 Abstract When considering
More informationarxiv: v5 [math.nt] 23 May 2017
TWO ANALOGS OF THUE-MORSE SEQUENCE arxiv:1603.04434v5 [math.nt] 23 May 2017 VLADIMIR SHEVELEV Abstract. We introduce and study two analogs of one of the best known sequence in Mathematics : Thue-Morse
More informationAn Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 31(2) (2008), 175 183 An Application of Catalan Numbers on Cayley Tree of Order 2:
More informationON PARTITION FUNCTIONS OF ANDREWS AND STANLEY
ON PARTITION FUNCTIONS OF ANDREWS AND STANLEY AE JA YEE Abstract. G. E. Andrews has established a refinement of the generating function for partitions π according to the numbers O(π) and O(π ) of odd parts
More informationL Hôpital s Rules and Taylor s Theorem for Product Calculus
Hôpital s Rules and Taylor s Theorem for Product Calculus Introduction Alex B Twist Michael Z Spivey University of Puget Sound Tacoma, Washington 9846 This paper is a continuation of the second author
More informationOn q-series Identities Arising from Lecture Hall Partitions
On q-series Identities Arising from Lecture Hall Partitions George E. Andrews 1 Mathematics Department, The Pennsylvania State University, University Par, PA 16802, USA andrews@math.psu.edu Sylvie Corteel
More informationMATRIX INTEGRALS AND MAP ENUMERATION 2
MATRIX ITEGRALS AD MAP EUMERATIO 2 IVA CORWI Abstract. We prove the generating function formula for one face maps and for plane diagrams using techniques from Random Matrix Theory and orthogonal polynomials.
More informationUNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES
UNIMODALITY OF PARTITIONS WITH DISTINCT PARTS INSIDE FERRERS SHAPES RICHARD P. STANLEY AND FABRIZIO ZANELLO Abstract. We investigate the rank-generating function F λ of the poset of partitions contained
More informationCounting Palindromic Binary Strings Without r-runs of Ones
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University
More informationBinary Decision Diagrams
Binary Decision Diagrams Literature Some pointers: H.R. Andersen, An Introduction to Binary Decision Diagrams, Lecture notes, Department of Information Technology, IT University of Copenhagen Tools: URL:
More informationarxiv: v1 [math.co] 4 Mar 2010
NUMBER OF COMPOSITIONS AND CONVOLVED FIBONACCI NUMBERS arxiv:10030981v1 [mathco] 4 Mar 2010 MILAN JANJIĆ Abstract We consider two type of upper Hessenberg matrices which determinants are Fibonacci numbers
More informationCounting k-marked Durfee Symbols
Counting k-marked Durfee Symbols Kağan Kurşungöz Department of Mathematics The Pennsylvania State University University Park PA 602 kursun@math.psu.edu Submitted: May 7 200; Accepted: Feb 5 20; Published:
More informationLemma 8: Suppose the N by N matrix A has the following block upper triangular form:
17 4 Determinants and the Inverse of a Square Matrix In this section, we are going to use our knowledge of determinants and their properties to derive an explicit formula for the inverse of a square matrix
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationOn the Sequence A and Its Combinatorial Interpretations
1 2 47 6 2 11 Journal of Integer Sequences, Vol. 9 (2006), Article 06..1 On the Sequence A079500 and Its Combinatorial Interpretations A. Frosini and S. Rinaldi Università di Siena Dipartimento di Scienze
More informationON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE. 1. Introduction
ON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE KARL PETERSEN AND SUJIN SHIN Abstract. We show that two natural definitions of the relative pressure function for a locally
More informationChapter 6. Order Statistics and Quantiles. 6.1 Extreme Order Statistics
Chapter 6 Order Statistics and Quantiles 61 Extreme Order Statistics Suppose we have a finite sample X 1,, X n Conditional on this sample, we define the values X 1),, X n) to be a permutation of X 1,,
More informationThe van der Corput embedding of ax + b and its interval exchange map approximation
The van der Corput embedding of ax + b and its interval exchange map approximation Yuihiro HASHIMOTO Department of Mathematics Education Aichi University of Education Kariya 448-854 Japan Introduction
More informationCounting Matrices Over a Finite Field With All Eigenvalues in the Field
Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu
More informationOn Descents in Standard Young Tableaux arxiv:math/ v1 [math.co] 3 Jul 2000
On Descents in Standard Young Tableaux arxiv:math/0007016v1 [math.co] 3 Jul 000 Peter A. Hästö Department of Mathematics, University of Helsinki, P.O. Box 4, 00014, Helsinki, Finland, E-mail: peter.hasto@helsinki.fi.
More informationOn families of anticommuting matrices
On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +
More informationConway s RATS Sequences in Base 3
3 47 6 3 Journal of Integer Sequences, Vol. 5 (0), Article.9. Conway s RATS Sequences in Base 3 Johann Thiel Department of Mathematical Sciences United States Military Academy West Point, NY 0996 USA johann.thiel@usma.edu
More informationBell Ringer. 1. Make a table and sketch the graph of the piecewise function. f(x) =
Bell Ringer 1. Make a table and sketch the graph of the piecewise function f(x) = Power and Radical Functions Learning Target: 1. I can graph and analyze power functions. 2. I can graph and analyze radical
More informationConvex Domino Towers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017, Article 17.3.1 Convex Domino Towers Tricia Muldoon Brown Department of Mathematics Armstrong State University 11935 Abercorn Street Savannah,
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationAP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period:
WORKSHEET: Series, Taylor Series AP Calculus (BC) Chapter 9 Test No Calculator Section Name: Date: Period: 1 Part I. Multiple-Choice Questions (5 points each; please circle the correct answer.) 1. The
More informationLinks Between Sums Over Paths in Bernoulli s Triangles and the Fibonacci Numbers
Links Between Sums Over Paths in Bernoulli s Triangles and the Fibonacci Numbers arxiv:1611.09181v1 [math.co] 28 Nov 2016 Denis Neiter and Amsha Proag Ecole Polytechnique Route de Saclay 91128 Palaiseau
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationPattern Popularity in 132-Avoiding Permutations
Pattern Popularity in 132-Avoiding Permutations The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Rudolph,
More informationStatements, Implication, Equivalence
Part 1: Formal Logic Statements, Implication, Equivalence Martin Licht, Ph.D. January 10, 2018 UC San Diego Department of Mathematics Math 109 A statement is either true or false. We also call true or
More informationCirculant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv: v1 [math.co] 26 Nov 2017
Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv:1711.09373v1 [math.co] 26 Nov 2017 J. Rifà Department of Information and Communications Engineering, Universitat Autònoma de Barcelona October
More informationPolynomials Characterizing Hyper b-ary Representations
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.4.3 Polynomials Characterizing Hyper -ary Representations Karl Dilcher 1 Department of Mathematics and Statistics Dalhousie University
More informationIMA Preprint Series # 2066
THE CARDINALITY OF SETS OF k-independent VECTORS OVER FINITE FIELDS By S.B. Damelin G. Michalski and G.L. Mullen IMA Preprint Series # 2066 ( October 2005 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS
More informationHIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION
ISSN 2066-6594 Ann Acad Rom Sci Ser Math Appl Vol 10, No 1/2018 HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION Mircea Merca Dedicated to Professor Mihail Megan on
More informationSeries Solutions. 8.1 Taylor Polynomials
8 Series Solutions 8.1 Taylor Polynomials Polynomial functions, as we have seen, are well behaved. They are continuous everywhere, and have continuous derivatives of all orders everywhere. It also turns
More informationGrowing and Destroying Catalan Stanley Trees
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 20:1, 2018, #11 Growing and Destroying Catalan Stanley Trees Benjamin Hackl 1 Helmut Prodinger 2 arxiv:1704.03734v3 [math.co] 26 Feb 2018
More informationarxiv: v2 [math.co] 21 Mar 2017
ON THE POSET AND ASYMPTOTICS OF TESLER MATRICES JASON O NEILL arxiv:70.00866v [math.co] Mar 07 Abstract. Tesler matrices are certain integral matrices counted by the Kostant partition function and have
More informationThe Generating Functions for Pochhammer
The Generating Functions for Pochhammer Symbol { }, n N Aleksandar Petoević University of Novi Sad Teacher Training Faculty, Department of Mathematics Podgorička 4, 25000 Sombor SERBIA and MONTENEGRO Email
More informationProofs. Joe Patten August 10, 2018
Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital
More informationPropositional Logic, Predicates, and Equivalence
Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If
More informationThe spectra of super line multigraphs
The spectra of super line multigraphs Jay Bagga Department of Computer Science Ball State University Muncie, IN jbagga@bsuedu Robert B Ellis Department of Applied Mathematics Illinois Institute of Technology
More informationSymmetric polynomials and symmetric mean inequalities
Symmetric polynomials and symmetric mean inequalities Karl Mahlburg Department of Mathematics Louisiana State University Baton Rouge, LA 70803, U.S.A. mahlburg@math.lsu.edu Clifford Smyth Department of
More information