Showing 1–19 of 19 results for author: Tokushige, N

A semidefinite programming approach to cross $2$-intersecting families

Authors: Hajime Tanaka, Norihide Tokushige

Abstract: Let $k\geq 2$ and $n\geq 3(k-1)$. Let $\mathcal{F}$ and $\mathcal{G}$ be families of $k$-element subsets of an $n$-element set. Suppose that $|F\cap G|\geq 2$ for all $F\in\mathcal{F}$ and $G\in\mathcal{G}$. We show that $|\mathcal{F}||\mathcal{G}|\leq\binom{n-2}{k-2}^2$, and determine the extremal configurations. This settles the last unsolved case of a recent result by Zhang and Wu (J. Combin. T… ▽ More Let $k\geq 2$ and $n\geq 3(k-1)$. Let $\mathcal{F}$ and $\mathcal{G}$ be families of $k$-element subsets of an $n$-element set. Suppose that $|F\cap G|\geq 2$ for all $F\in\mathcal{F}$ and $G\in\mathcal{G}$. We show that $|\mathcal{F}||\mathcal{G}|\leq\binom{n-2}{k-2}^2$, and determine the extremal configurations. This settles the last unsolved case of a recent result by Zhang and Wu (J. Combin. Theory Ser. B, 2025). We also obtain the corresponding result in the product measure setting. Our proof is done by solving semidefinite programming problems. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: 13 pages

Alon's transmitting problem and multicolor Beck--Spencer Lemma

Authors: Norihide Tokushige

Abstract: The Hamming graph $H(n,q)$ is defined on the vertex set $\{1,2,\ldots,q\}^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon (1992) proved that for any sequence $v_1,\ldots,v_b$ of $b=\lceil\frac n2\rceil$ vertices of $H(n,2)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. In this note, we prove that for any… ▽ More The Hamming graph $H(n,q)$ is defined on the vertex set $\{1,2,\ldots,q\}^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon (1992) proved that for any sequence $v_1,\ldots,v_b$ of $b=\lceil\frac n2\rceil$ vertices of $H(n,2)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. In this note, we prove that for any $q\geq 3$ and any sequence $v_1,\ldots,v_b$ of $b=\lfloor(1-\frac1q)n\rfloor$ vertices of $H(n,q)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. Alon used a lemma due to Beck and Spencer (1983) which, in turn, was based on the floating variable method introduced by Beck and Fiala (1981) who studied combinatorial discrepancies. For our proof, we extend the Beck--Spencer Lemma by using a multicolor version of the floating variable method due to Doerr and Srivastav (2003). △ Less

Submitted 6 May, 2025; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: 8 pages

MSC Class: 05C35; 94A05; 90C10

Burning Hamming graphs

Authors: Norihide Tokushige

Abstract: The Hamming graph $H(n,q)$ is defined on the vertex set $[q]^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon \cite{Alon} proved that the burning number of $H(n,2)$ is $\lceil\frac n2\rceil+1$. In this note we give a short proof of a fact that the burning number of $H(n,q)$ is $(1-\frac 1q)n+O(\sqrt{n\log n})$ for fixed $q\geq 2$ and $n\to\infty$. The Hamming graph $H(n,q)$ is defined on the vertex set $[q]^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon \cite{Alon} proved that the burning number of $H(n,2)$ is $\lceil\frac n2\rceil+1$. In this note we give a short proof of a fact that the burning number of $H(n,q)$ is $(1-\frac 1q)n+O(\sqrt{n\log n})$ for fixed $q\geq 2$ and $n\to\infty$. △ Less

Submitted 16 October, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: minor correction

Extremal problems for intersecting families of subspaces with a measure

Authors: Hajime Tanaka, Norihide Tokushige

Abstract: We introduce a measure for subspaces of a vector space over a $q$-element field, and propose some extremal problems for intersecting families. These are $q$-analogue of Erdős-Ko-Rado type problems, and we answer some of the basic questions. We introduce a measure for subspaces of a vector space over a $q$-element field, and propose some extremal problems for intersecting families. These are $q$-analogue of Erdős-Ko-Rado type problems, and we answer some of the basic questions. △ Less

Submitted 20 March, 2025; v1 submitted 26 April, 2024; originally announced April 2024.

Comments: 20 pages

MSC Class: 05D05

Journal ref: European J. Combin. 127 (2025) 104156

Strong stability of 3-wise $t$-intersecting families

Authors: Norihide Tokushige

Abstract: Let ${\mathcal G}$ be a family of subsets of an $n$-element set. The family ${\mathcal G}$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in ${\mathcal G}$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in{\mathcal G}$. For example, if ${\mathcal G}$ consists of all subsets co… ▽ More Let ${\mathcal G}$ be a family of subsets of an $n$-element set. The family ${\mathcal G}$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in ${\mathcal G}$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in{\mathcal G}$. For example, if ${\mathcal G}$ consists of all subsets containing a fixed $t$-element set, then it is a $3$-wise $t$-intersecting family with the measure $p^t$. Let $0<p\leq 2/(\sqrt{4t+9}-1)$, $δ>0$, and let ${\mathcal G}$ be a $3$-wise $t$-intersecting family. It is known that the measure of ${\mathcal G}$ is at most $p^t$. Suppose, moreover, that ${\mathcal G}$ has the measure at least $(\frac12+δ)p^t$. We show that, by choosing $t$ sufficiently large depending on $δ$, the structure of ${\mathcal G}$ is one of (i) and (ii): (i) every subset in ${\mathcal G}$ contains a fixed $t$-element set, (ii) every subset in ${\mathcal G}$ contains at least $t+2$ elements from a fixed $(t+3)$-element set. △ Less

Submitted 15 February, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

MSC Class: 05D05

Non-trivial 3-wise intersecting uniform families

Authors: Norihide Tokushige

Abstract: A family of $k$-element subsets of an $n$-element set is called 3-wise intersecting if any three members in the family have non-empty intersection. We determine the maximum size of such families exactly or asymptotically. One of our results shows that for every $ε>0$ there exists $n_0$ such that if $n>n_0$ and $\frac25+ε<\frac kn<\frac 12-ε$ then the maximum size is… ▽ More A family of $k$-element subsets of an $n$-element set is called 3-wise intersecting if any three members in the family have non-empty intersection. We determine the maximum size of such families exactly or asymptotically. One of our results shows that for every $ε>0$ there exists $n_0$ such that if $n>n_0$ and $\frac25+ε<\frac kn<\frac 12-ε$ then the maximum size is $4\binom{n-4}{k-3}+\binom{n-4}{k-4}$. △ Less

Submitted 26 April, 2023; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: 12 pages, fixed proof Theorem 4

MSC Class: 05D05

Counting cliques in a random graph

Authors: Taro Sakurai, Norihide Tokushige

Abstract: We show that the expected number of cliques in the Erdős-Rényi random graph $G(n,p)$ is $n^{\frac1{-2\log p}(\log n-2\log\log n+O(1))}$. We show that the expected number of cliques in the Erdős-Rényi random graph $G(n,p)$ is $n^{\frac1{-2\log p}(\log n-2\log\log n+O(1))}$. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 4 pages

MSC Class: 05C80; 05A16; 05C30

The maximum measure of non-trivial 3-wise intersecting families

Authors: Norihide Tokushige

Abstract: Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called non-trivial $3$-wise intersecting if the intersection of any three subsets in $\mathcal G$ is non-empty, but the intersection of all subsets is empty. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We determine the maxim… ▽ More Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called non-trivial $3$-wise intersecting if the intersection of any three subsets in $\mathcal G$ is non-empty, but the intersection of all subsets is empty. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We determine the maximum measure of non-trivial $3$-wise intersecting families. We also discuss the uniqueness and stability of the corresponding optimal structure. These results are obtained by solving linear programming problems. △ Less

Submitted 30 April, 2023; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: 30 pages

MSC Class: 05D05

The maximum measure of 3-wise t-intersecting families

Authors: Norihide Tokushige

Abstract: Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in $\mathcal G$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We prove that if $t\geq 15$ and $p\leq 2/(\sqrt{4t+9}-1)$ then… ▽ More Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in $\mathcal G$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We prove that if $t\geq 15$ and $p\leq 2/(\sqrt{4t+9}-1)$ then $p^t$ is the maximum measure of $3$-wise $t$-intersecting families, and the bound for $p$ is sharp. We also present the corresponding stability result for shifted families. △ Less

Submitted 1 March, 2023; v1 submitted 16 December, 2021; originally announced December 2021.

MSC Class: 05D05

Journal ref: European Journal of Combinatorics 2023-05

Application of hypergraph Hoffman's bound to intersecting families

Authors: Norihide Tokushige

Abstract: Using the Filmus-Golubev-Lifshitz method to bound the independence number of a hypergraph, we solve some problems concerning multiply intersecting families with biased measure. Among other results we obtain a stability result of a measure version of the Erdos-Ko-Rado theorem for multiply intersecting families. Using the Filmus-Golubev-Lifshitz method to bound the independence number of a hypergraph, we solve some problems concerning multiply intersecting families with biased measure. Among other results we obtain a stability result of a measure version of the Erdos-Ko-Rado theorem for multiply intersecting families. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Avoiding a shape, and the slice rank method for a system of equations

Authors: Masato Mimura, Norihide Tokushige

Abstract: Fix a vector space over a finite field and a system of linear equations. We provide estimates, in terms of the dimension of the vector space, of the maximum of the sizes of subsets of the space that do not admit solutions of the system consisting of more than one point. That from above is derived by slice rank method of Tao; to obtain one from below, we define the notion of 'dominant reductions' o… ▽ More Fix a vector space over a finite field and a system of linear equations. We provide estimates, in terms of the dimension of the vector space, of the maximum of the sizes of subsets of the space that do not admit solutions of the system consisting of more than one point. That from above is derived by slice rank method of Tao; to obtain one from below, we define the notion of 'dominant reductions' of the system. Furthermore, by adapting a recent argument of Sauermann, we make an estimation of the maximum of the sizes of subsets that are 'W shape'-free, that means, there exist no five distinct points forming two overlapping parallelograms. △ Less

Submitted 23 September, 2019; originally announced September 2019.

Comments: 26 pages, 2 figures

Avoiding a star of three-term arthmetic progressions

Authors: Masato Mimura, Norihide Tokushige

Abstract: We provide an upper bound of the size of a subset A of F_p^n that does not admit a k-star of 3-APs (three-term arithmetic progressions). Namely, the subset A is assumed to contain no configuration of k 3-APs, sharing the middle term, such that all 2k+1 terms are distinct. In the proof, we adapt a new method in the recent work of Sauermann. We provide an upper bound of the size of a subset A of F_p^n that does not admit a k-star of 3-APs (three-term arithmetic progressions). Namely, the subset A is assumed to contain no configuration of k 3-APs, sharing the middle term, such that all 2k+1 terms are distinct. In the proof, we adapt a new method in the recent work of Sauermann. △ Less

Submitted 23 September, 2019; originally announced September 2019.

Comments: 6 pages, 2 figures

When are stars the largest cross intersecting families?

Authors: Norihide Tokushige

Abstract: We provide a necessary and sufficient condition for stars to be the largest cross intersecting families. We provide a necessary and sufficient condition for stars to be the largest cross intersecting families. △ Less

Submitted 3 September, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 17 pages, 4 figures

MSC Class: 05D05

AK-type stability theorems on cross t-intersecting families

Authors: Sang June Lee, Mark Siggers, Norihide Tokushige

Abstract: Two families, ${\mathcal A}$ and ${\mathcal B}$, of subsets of $[n]$ are cross $t$-intersecting if for every $A \in {\mathcal A}$ and $B \in {\mathcal B}$, $A$ and $B$ intersect in at least $t$ elements. For a real number $p$ and a family ${\mathcal A}$ the product measure $μ_p ({\mathcal A})$ is defined as the sum of $p^{|A|}(1-p)^{n-|A|}$ over all $A\in{\mathcal A}$. For every non-negative integ… ▽ More Two families, ${\mathcal A}$ and ${\mathcal B}$, of subsets of $[n]$ are cross $t$-intersecting if for every $A \in {\mathcal A}$ and $B \in {\mathcal B}$, $A$ and $B$ intersect in at least $t$ elements. For a real number $p$ and a family ${\mathcal A}$ the product measure $μ_p ({\mathcal A})$ is defined as the sum of $p^{|A|}(1-p)^{n-|A|}$ over all $A\in{\mathcal A}$. For every non-negative integer $r$, and for large enough $t$, we determine, for any $p$ satisfying $\frac r{t+2r-1}\leq p\leq\frac{r+1}{t+2r+1}$, the maximum possible value of $μ_p ({\mathcal A})μ_p ({\mathcal B})$ for cross $t$-intersecting families ${\mathcal A}$ and ${\mathcal B}$. In this paper we prove a stronger stability result which yields the above result. △ Less

Submitted 22 September, 2019; v1 submitted 6 July, 2018; originally announced July 2018.

Comments: 24 pages, 4 figures

MSC Class: 05D05

Journal ref: European Journal of Combinatorics Volume 82, December 2019, 102993

Multiply union families in $\mathbb{N}^n$

Authors: Peter Frankl, Masashi Shinohara, Norihide Tokushige

Abstract: Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or… ▽ More Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$. △ Less

Submitted 2 June, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 10 pages, to appear in European Journal of Combinatorics

MSC Class: 05D05

Towards extending the Ahlswede-Khachatrian theorem to cross t-intersecting families

Authors: Sang June Lee, Mark Siggers, Norihide Tokushige

Abstract: Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed… ▽ More Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed by Frankl. We address a cross intersecting version of their diametric theorem. Two families $\mathcal{A}$ and $\mathcal{B}$ of subsets of $[n]$ are {\em cross $t$-intersecting} if for every $A \in \mathcal{A}$ and $B \in \mathcal{B}$, $A$ and $B$ intersect in at least $t$ elements. The $p$-weight of a $k$ element subset $A$ of $[n]$ is $p^{k}(1-p)^{n-k}$, and the weight of a family $\mathcal{A}$ is the sum of the weights of its sets. The weight of a pair of families is the product of the weights of the families. The maximum $p$-weight of a $t$-intersecting family depends on the value of $p$. Ahlswede and Khachatrian showed that for $p$ in the range $[\frac{r}{t + 2r - 1}, \frac{r+1}{t + 2r + 1}]$, the maximum $p$-weight of a $t$-intersecting family is that of the family $\mathcal{F}^t_r$ consisting of all subsets of $[n]$ containing at least $t+r$ elements of the set $[t+2r]$. In a previous paper we showed a cross $t$-intersecting version of this for large $t$ in the case that $r = 0$. In this paper, we do the same in the case that $r = 1$. We show that for $p$ in the range $[\frac{1}{t + 1}, \frac{2}{t + 3}]$ the maximum $p$-weight of a cross $t$-intersecting pair of families, for $t \geq 200$, is achieved when both families are $\mathcal{F}^t_1$. Further, we show that except at the endpoints of this range, this is, up to isomorphism, the only pair of $t$-intersecting families achieving this weight. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 22 pages (18 plus appendix), 3 figures

MSC Class: 05D05

A semidefinite programming approach to a cross-intersection problem with measures

Authors: Sho Suda, Hajime Tanaka, Norihide Tokushige

Abstract: We present a semidefinite programming approach to bound the measures of cross-independent pairs in a bipartite graph. This can be viewed as a far-reaching extension of Hoffman's ratio bound on the independence number of a graph. As an application, we solve a problem on the maximum measures of cross-intersecting families of subsets with two different product measures, which is a generalized measure… ▽ More We present a semidefinite programming approach to bound the measures of cross-independent pairs in a bipartite graph. This can be viewed as a far-reaching extension of Hoffman's ratio bound on the independence number of a graph. As an application, we solve a problem on the maximum measures of cross-intersecting families of subsets with two different product measures, which is a generalized measure version of the Erdős-Ko-Rado theorem for cross-intersecting families with different uniformities. △ Less

Submitted 2 November, 2016; v1 submitted 1 April, 2015; originally announced April 2015.

Comments: 15 pages

MSC Class: 05D05; 90C22; 90C27; 05C50

Journal ref: Math. Program. 166 (2017) 113-130

An Erd\H os--Ko--Rado theorem for cross $t$-intersecting families

Authors: Peter Frankl, Sang June Lee, Mark Siggers, Norihide Tokushige

Abstract: Two families $\mathcal{A}$ and $\mathcal{B}$, of $k$-subsets of an $n$-set, are {\em cross $t$-intersecting} if for every choice of subsets $A \in \mathcal{A}$ and $B \in \mathcal{B}$ we have $|A \cap B| \geq t$. We address the following conjectured cross $t$-intersecting version of the Erd\H os--Ko--Rado Theorem: For all $n \geq (t+1)(k-t+1)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ for… ▽ More Two families $\mathcal{A}$ and $\mathcal{B}$, of $k$-subsets of an $n$-set, are {\em cross $t$-intersecting} if for every choice of subsets $A \in \mathcal{A}$ and $B \in \mathcal{B}$ we have $|A \cap B| \geq t$. We address the following conjectured cross $t$-intersecting version of the Erd\H os--Ko--Rado Theorem: For all $n \geq (t+1)(k-t+1)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ for two cross $t$-intersecting families $\mathcal{A}, \mathcal{B} \subset\binom{[n]}{k}$ is $\binom{n-t}{k-t}^2$. We verify this for all $t \geq 14$ except finitely many $n$ and $k$ for each fixed $t$. Further, we prove uniqueness and stability results in these cases, showing, for instance, that the families reaching this bound are unique up to isomorphism. We also consider a {\em $p$-weight} version of the problem, which comes from the product measure on the power set of an $n$-set. △ Less

Submitted 20 August, 2014; v1 submitted 4 March, 2013; originally announced March 2013.

Comments: 40 pages, 2 figures

MSC Class: 05D05

Journal ref: Journal of Combinatorial Theory, Series A 128 (2014), 207-249

Application of arrangement theory to unfolding models

Authors: Hidehiko Kamiya, Akimichi Takemura, Norihide Tokushige

Abstract: Arrangement theory plays an essential role in the study of the unfolding model used in many fields. This paper describes how arrangement theory can be usefully employed in solving the problems of counting (i) the number of admissible rankings in an unfolding model and (ii) the number of ranking patterns generated by unfolding models. The paper is mostly expository but also contains some new result… ▽ More Arrangement theory plays an essential role in the study of the unfolding model used in many fields. This paper describes how arrangement theory can be usefully employed in solving the problems of counting (i) the number of admissible rankings in an unfolding model and (ii) the number of ranking patterns generated by unfolding models. The paper is mostly expository but also contains some new results such as simple upper and lower bounds for the number of ranking patterns in the unidimensional case. △ Less

Submitted 1 September, 2011; v1 submitted 31 March, 2010; originally announced April 2010.

MSC Class: 32S22; 52C35; 62F07

Journal ref: Advanced Studies in Pure Mathematics, vol.62, pp.399-41, 2012