Enumeration of Closed Family of Finite Sets

TANG Baoxiang,REN Han

2010-01-01

Abstract:Let X={a1,a2,a3,…,an}be a finite set and f(n,m)the number of closed family of sets with m elements of X.Then we show that: For every integer n≥1,f(n,m)={3n-2n,m=2;4n-2·3n+2n,m=3;5n-52·4n+2·3n-2n-1,m=4;6n-3·5n+3·4n-3n,m=5.

What problem does this paper attempt to address?

Enumeration of Closed Family of Finite Sets (Continued)

TANG Baoxiang,REN Han

DOI: https://doi.org/10.3969/j.issn.1674-4942.2011.04.010

2011-01-01

Abstract:Let set X={a 1,a 2,a3,,an},the number of closed family of sets with m elements is denoted by f(n,m).In this paper,we prove that:f(n,6)=7n-7/2·6n+5n+1-4n+1+2·3n-2n-1,in which n=1,2,3,….
Uniform sets in a family with restricted intersections

Yandong Bai,Binlong Li,Jiuqiang Liu,Shenggui Zhang

2018-01-01

Abstract:Let ℱ be a family of subsets of [n]={1,…,n} and let L be a set of nonnegative integers. The family ℱ is L-intersecting if |F∩ F'|∈ L for every two distinct members F,F'∈ℱ; and ℱ is k-uniform if all its members have the same size k. A large variety of problems and results in extremal set theory concern on k-uniform L-intersecting families. Many attentions are paid to finding the maximum size of a family among all k-uniform L-intersecting families with prescribed n,k and L. In this paper, from another point of view, we propose and investigate the problem of estimating the maximum size of a member in a family among all uniform L-intersecting families with size m, here n,m and L are prescribed. Our results aim to find out more precise relations of n,m,k and L.
Note on (m, 2, M-1, M-2/2) Relative Difference Sets

Tao Feng,Weisheng Qiu

2009-01-01

Ars combinatoria

Abstract:In this note, we consider relative difference sets with the parameter (m, 2, m - 1, m-2/2) in a group G relative to a subgroup N. In the splitting case, G = H x N, we give a lower bound for the size of the commutator group H', and we show that H can not have a homomorphic image which is generalized dihedral. In the non-splitting case, we prove that there is no (2n, 2, 2n - 1, n - 1) relative difference set, in a generalized dihedral group of order 4n, n > 1.
On the construction of a family of sets of positive integers closed under taking subsets

Shoichi Kamada

2023-06-19

Abstract:In the several contexts such as combinatorial number theory, families of sets of positive integers closed under taking subsets have been investigated. %To investigate some property of an infinite set of positive integers, Then it is sometimes useful to give bijections between the set of the one-sided infinite sequences on the alphabet set $\{0,1\}$ and such a family of sets. The most typical example is the family of sum-free sets. Although such a kind of families covers a large class of families of sets, there are only a few considerations on bijections for the case where the sum-free property is replaced by another property. In this paper, we explicitly give a bijection and its inverse between the set of one-sided infinite sequences on the alphabet set $\{0,1\}$ and a family of sets which may be contained in a class of families closed under taking subsets. Moreover, we show that some extremal property in a particular family of sets is characterized by a discrete dynamical system based on this kind of bijections.

Combinatorics,Number Theory
Some problems on subsets without q-separation

ZHAO Xiao-dong,CAI Tian-xin

2005-01-01

Abstract:Two integers in a line(circle) are called q-separate if their difference is q mod n.First,it is proved that n+q-qkkdenotes the number of k-subsets of the set {1,2,…n} in a line without being less than or equal to q separation.Then,it is proved that the total number of subsets of the set {1,2,…n} in a line without less than or equal to q separation is F~((q))_(n+q+q),where generalized Fibonacci numbers F~((q))_(n+q+1) is defined as F~((q))_1=F~((q))_2=…=F~((q))_(q+1)=1,F~((q))_(j+q+1)=F~((q))_j+F~((q))_(j+q)(j1).In addition,the recurrences relation of the number of k-subsets of the set {1,2,… n} in a line without q_1,q_2 separation,for some small integers q_i,is found.
Non-uniform Cross-intersecting Families

Zhen Jia,Qing Xiang,Jimeng Xiao,Huajun Zhang

2024-11-27

Abstract:Let $m\geq 2$, $n$ be positive integers, and $R_i=\{k_{i,1} >k_{i,2} >\cdots> k_{i,t_i}\}$ be subsets of $[n]$ for $i=1,2,\ldots,m$. The families $\mathcal{F}_1\subseteq \binom{[n]}{R_1},\mathcal{F}_2\subseteq \binom{[n]}{R_2},\ldots,\mathcal{F}_m\subseteq \binom{[n]}{R_m}$ are said to be non-empty cross-intersecting if for each $i\in [m]$, $\mathcal{F}_i\neq\emptyset$ and for any $A\in \mathcal{F}_i,B\in\mathcal{F}_j$, $1\leq i<j\leq m$, $|A\bigcap B|\geq1$. In this paper, we determine the maximum value of $\sum_{j=1}^{m}|\mathcal{F}_j|$ for non-empty cross-intersecting family $\mathcal{F}_1, \mathcal{F}_2,\ldots,\mathcal{F}_m$ when $n\geq k_1+k_2$, where $k_1$ (respectively, $k_2$) is the largest (respectively, second largest) value in $\{k_{1,1},k_{2,1},\ldots,k_{m,1}\}$. This result is a generalization of the results by Shi, Frankl and Qian \cite{shi2022non} on non-empty cross-intersecting families. Moreover, the extremal families are completely characterized.

Combinatorics
The Maximum Sum of Sizes of Non-Empty Cross t-Intersecting Families

Shuang Li,Dehai Liu,Deping Song,Tian Yao

DOI: https://doi.org/10.1007/s00373-024-02835-z

2024-09-22

Graphs and Combinatorics

Abstract:Let , and M be a set of positive integers. Denote the family of all subsets of [ n ] with sizes in M by . The non-empty families and are said to be cross t -intersecting if for all and . In this paper, we determine the maximum sum of sizes of non-empty cross t -intersecting families, and characterize the extremal families. Similar result for finite vector spaces is also proved.

mathematics
A Class of Exponential Sums and Sequence Families

Chengju Li,Qin Yue,Yongbo Xia,Wei Peng

DOI: https://doi.org/10.1007/s12095-019-00368-4

2019-01-01

Cryptography and Communications

Abstract:Let m1 and m2 be two distinct positive integers with $d=\gcd (m_{1}, m_{2})$. Let $\mathbb {F}_{2^{m}}$ be the finite field with 2m elements, where m = m1m2/d. In this paper, we investigate the exponential sums$$ S(a,b)=\sum\limits_{x \in \mathbb{F}_{2^{m}}^{*}}(-1)^{\text{Tr}_{m_{1}}(ax^{\frac {2^{m}-1}{2^{m_{1}}-1}})+\text{Tr}_{m_{2}}(bx^{\frac {2^{m}-1}{2^{m_{2}}-1}})}, $$ where $a \in \mathbb {F}_{2^{m_{1}}}$, $b \in \mathbb {F}_{2^{m_{2}}}$, and Trt denotes the trace function from $\mathbb {F}_{2^{t}}$ to $\mathbb {F}_{2}$. When d = 1, 2, 3, 4, we present the value distribution of the exponential sums S(a, b) explicitly. As an application, we construct three families of binary sequences with three-valued correlation.
A Conjecture on the Number of Sdrs of A (T, N)-Family

Dawei He,Changhong Lu

DOI: https://doi.org/10.1016/j.ejc.2011.07.007

IF: 0.89

2012-01-01

European Journal of Combinatorics

Abstract:A system of distinct representatives (SDR) of a family F=(A1,…,An) is a sequence (x1,…,xn) of n distinct elements with xi∈Ai for 1≤i≤n. Let N(F) denote the number of SDRs of a family F; two SDRs are considered distinct if they are different in at least one component. For a nonnegative integer t, a family F=(A1,…,An) is called a (t,n)-family if the union of any k≥1 sets in the family contains at least k+t elements. The famous Hall’s theorem says that N(F)≥1 if and only if F is a (0,n)-family. Denote by M(t,n) the minimum number of SDRs in a (t,n)-family. The problem of determining M(t,n) and those families containing exactly M(t,n) SDRs was first raised by Chang [G.J. Chang, On the number of SDR of a (t,n)-family, European J. Combin. 10 (1989) 231–234]. He solved the cases when 0≤t≤2 and gave a conjecture for t≥3. In this paper, we solve the conjecture.
The Mininum Number of a Number Expressed Only by 1

PU Yong-feng,YANG Shi-chun

DOI: https://doi.org/10.3969/j.issn.1003-2843.2007.01.003

2007-01-01

Abstract:Let n be positive integer,f(n) here refers to the mininum mumber of 1 when n can be expressed by 1,+,× and().In this paper,the value of f(n) is determined when n is in many cases.Part of result in reference is improved and many new conjectures are raised as well.
Congruences Involving Permutation

SHEN Zhongyan,CAI Tianxin

DOI: https://doi.org/10.11845/sxjz.2017040b

2018-01-01

Abstract:Let A2(n) ={(i j) |1 ≤ i ＜ j ≤ n,(ij,n) =1},A3(n) ={(i j l),(i l j) | 1 ≤ i ＜ j ＜ 1 ≤ n,(ijl,n) =1},where cycle (x1 x2...xk) denotes a permutation,which maps xi to xi+1 for i ＜ k,and xk to x1,while mapping all other elements to themselves.We show the congruences of Σσ∈A2(n)n Σk=1(k,n)=1 σ(k)/km and Σσ∈A3(n) nΣk=1(k,n)=1 σ(k)/km,=Σi=1where σ denotes the permutation.Meanwhile,letting p ≥ 5 be a prime and H(k) =Σk i=1 1/i,we also show that Σσ∈A2(p) p-1 Σk=1σm(k)H(k) =2Bm (mod p),Σσ∈A3(p) p-1Σ k=1σm(k)H(k) =≡ 5Bm (mod p).
On finite nonnegative integer sets with identical representation functions

Cui-Fang Sun

DOI: https://doi.org/10.1007/s11139-024-00903-9

2024-07-18

The Ramanujan Journal

Abstract:Let be the set of all nonnegative integers. For and , let the representation function denote the number of solutions of the equation with and $s<s'$ . In this paper, we determine the structure of with , , $r_{1}<r_{2}$ and such that for any nonnegative integer n .</r_{2}\)<> </s'\)<>

mathematics
On the equation $ \boldsymbol{n_1n_2=n_3n_4}$ restricted to factor closed sets

Sanying Shi,Michel Weber

DOI: https://doi.org/10.48550/arXiv.1607.06366

2018-09-30

Abstract:We study the number of solutions $N(B,F)$ of the diophantine equation $n_1n_2=n_3n_4$, where $1\le n_1\le B$, $1\le n_3\le B$, $n_2, n_4\in F$ and $F\subset [1,B]$ is a factor closed set. We study more particularly the case when $F= \big\{m=p_1^{\e_1}\ldots p_k^{\e_k}, \e_j\in \{0,1\}, 1\le j\le k\big\}$, $p_1,\ldots,p_k$ being distinct prime numbers.

Number Theory
The existence of -disjoint difference families

Xinyue Ming,Tao Feng,Guojing Jia,Xiaomiao Wang

DOI: https://doi.org/10.1007/s10623-024-01442-6

IF: 1.4

2024-06-21

Designs Codes and Cryptography

Abstract:This paper shows that a -disjoint difference family exists if and only if and by giving suitable translations of base blocks of a -cyclic difference family. The Combinatorial Nullstellensatz finds its application in constructing disjoint difference families.

mathematics, applied,computer science, theory & methods
Restricted <mml:Math Altimg="si1.gif" Display="inline" Overflow="scroll" Xmlns:Xocs="http://www.elsevier.com/xml/xocs/dtd" Xmlns:Xs="http://www.w3.org/2001/xmlschema" Xmlns:Xsi="http://www.w3.org/2001/xmlschema-Instance" Xmlns="http://Www.elsevier.com/xml/ja/dtd" Xmlns:Ja="http://www.elsevier.com/xml/ja/dtd" Xmlns:Mml="http://www.w3.org/1998/math/mathml" Xmlns:Tb="http://www.elsevier.com/xml/common/table/dtd" Xmlns:Sb="http://www.elsevier.com/xml/common/struct-Bib/dtd" Xmlns:Ce="http://www.…

Qingde Kang,Jiuqiang Liu,Larry X. W. Wang

DOI: https://doi.org/10.1016/j.ejc.2010.11.009

IF: 0.89

2011-01-01

European Journal of Combinatorics

Abstract:Let L={λ1,…,λs} be a set of s non-negative integers with λ1<λ2<⋯<λs, and let t≥2. A family F of subsets of an n-element set is called t-wise L-intersecting if the cardinality of the intersection of any t distinct members in F belongs to L. We give the following improvement to the Füredi–Sudakov theorem. Let t≥3 and F be a t-wise L-intersecting family of subsets of [n]. Then, for |⋂F∈FF|<λ1, |F|=o(ns); for |⋂F∈FF|≥λ1, and n sufficiently large, |F|≤k+s−1s+1n−λ1s+∑i≤s−1n−λ1i. We also give a sharp upper bound for the size of a k-uniform t-wise L-intersecting family when s=1.
Conjectures on union-closed families of sets

Christopher Bouchard

2024-09-24

Abstract:A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in \mathcal{A}$. Let $\binom{S}{k}$ be the set of all $k$-element subsets of a set $S$, and let $[n]=\{1,2,\cdots,n\}$ represent $\bigcup_{A \in \mathcal{A}}A$. Further, let $\mathcal{A}_B=\{A\in\mathcal{A} \ | \ A \cap B = B\}$ and $\mathcal{A}_{\underline{B}}=\{A\in\mathcal{A} \ | \ A \cap B = \emptyset\}$. We consider, for any union-closed family $\mathcal{A}$, the class of conjectures $\textrm{UC}_x \colon \ \exists B \in \binom{[n]}{n-x+1} \ | \ |\mathcal{A}_B| \geq |\mathcal{A}_{\underline{B}}|$, where $x \in [n]$. The extremal case $x=n$ is equivalent to the union-closed sets conjecture, also known as Frankl's conjecture, which states that there exists an element of $[n]$ that is in at least $\frac{|\mathcal{A}|}{2}$ member sets of $\mathcal{A}$. We prove $\textrm{UC}_x$ for $x \in [\lceil \frac{n}{3} \rceil + 1]$, and also investigate two strengthenings of the union-closed sets conjecture.

Combinatorics
On the number of a SDRs of a valued (t,n)-family

Dawei He,Changhong Lu

2010-01-01

Abstract:A system of distinct representatives (SDR) of a family $F = (A_1, \cdots, A_n)$ is a sequence $(x_1, \cdots, x_n)$ of $n$ distinct elements with $x_i \in A_i$ for $1 \le i \le n$. Let $N(F)$ denote the number of SDRs of a family $F$; two SDRs are considered distinct if they are different in at least one component. For a nonnegative integer $t$, a family $F=(A_1,\cdots,A_n)$ is called a $(t,n)$-family if the union of any $k\ge 1$ sets in the family contains at least $k+t$ elements. The famous Hall's Theorem says that $N(F)\ge 1$ if and only if $F$ is a $(0,n)$-family. Denote by $M(t,n)$ the minimum number of SDRs in a $(t,n)$-family. The problem of determining $M(t,n)$ and those families containing exactly $M(t,n)$ SDRs was first raised by Chang [European J. Combin.{\bf 10}(1989), 231-234]. He solved the cases when $0\le t\le 2$ and gave a conjecture for $t\ge 3$. In this paper, we solve the conjecture. In fact, we get a more general result for so-called valued $(t,n)$-family.
Cyclic arrangements with minimum modulo m winding numbers

Chengyang Qian,Yaokun Wu,Yanzhen Xiong

DOI: https://doi.org/10.1007/s00373-021-02443-1

2022-01-01

Graphs and Combinatorics

Abstract:Let m and n be two positive integers. We use [ m ] for the set {1,… ,m} . For any integer i , ⟨ i ⟩_m designates the minimum nonnegative integer that is congruent to i modulo m , and 𝐒_m,i^n stands for the set of those x∈ [m]^[n] satisfying ∑ _t=1^nx(t) is congruent to i modulo m . An enumeration of 𝐒_m,i^n as x_1,… , x_m^n-1 is called a tight balanced cyclic sequence if ∑ _p∈ [m^n-1]⟨ x_p+1(t)- x_p(t) ⟩_m= m^n/n holds for each t∈ [n] , where the subscript m^n-1+1 should be understood as 1. Assuming that m^n is a multiple of n , is there always a tight balanced cyclic sequence over 𝐒_m,i^n ? We provide a positive answer to this question when n is a power of m .
Restricted t-wise L-intersecting families on set systems

Qingde Kang,Jiuqiang Liu,Larry X. W. Wang

DOI: https://doi.org/10.1016/j.ejc.2010.11.009

IF: 0.89

2011-01-01

European Journal of Combinatorics

Abstract:Let L={@l"1,...,@l"s} be a set of s non-negative integers with @l"1=2. A family F of subsets of an n-element set is called t-wise L-intersecting if the cardinality of the intersection of any t distinct members in F belongs to L. We give the following improvement to the Furedi-Sudakov theorem. Let t=3 and F be a t-wise L-intersecting family of subsets of [n]. Then, for |@?"F"@?"FF|=@l"1, and n sufficiently large, |F|@?k+s-1s+1n-@l"1s+@?i@?s-1n-@l"1i. We also give a sharp upper bound for the size of a k-uniform t-wise L-intersecting family when s=1.
A Combinatorial Model of Numerical Semigroup

Feihu Liu,Guoce Xin,Suting Ye,Jingjing Yin

2023-12-07

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this paper, we study the Frobenius problem of $A=\left(a,h_1a+b_1d,h_2a+b_2d,...,h_ka+b_kd\right)$ with some restrictions. An innovation is that $d$ can be a negative integer. In particular, when $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$, we obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1-\frac{d-1}{b-1}$. Our formulas simplifies further for some special cases, such as Mersenne, Thabit and repunit numerical semigroups. We obtain explicit closed formulas for generalized Mersenne, Thabit and repunit numerical semigroups and some more general numerical semigroups. Finally, we partially solve an open problem for the Porth numerical semigroup.

Number Theory,Combinatorics

Enumeration of Closed Family of Finite Sets

Enumeration of Closed Family of Finite Sets (Continued)

Uniform sets in a family with restricted intersections

Note on (m, 2, M-1, M-2/2) Relative Difference Sets

On the construction of a family of sets of positive integers closed under taking subsets

Some problems on subsets without q-separation

Non-uniform Cross-intersecting Families

The Maximum Sum of Sizes of Non-Empty Cross t-Intersecting Families

A Class of Exponential Sums and Sequence Families

A Conjecture on the Number of Sdrs of A (T, N)-Family

The Mininum Number of a Number Expressed Only by 1

Congruences Involving Permutation

On finite nonnegative integer sets with identical representation functions

On the equation $ \boldsymbol{n_1n_2=n_3n_4}$ restricted to factor closed sets

The existence of -disjoint difference families

Conjectures on union-closed families of sets

On the number of a SDRs of a valued (t,n)-family

Cyclic arrangements with minimum modulo m winding numbers

Restricted t-wise L-intersecting families on set systems

A Combinatorial Model of Numerical Semigroup