-
A Ramsey-type theorem on deficiency
Authors:
** Sun,
Xinmin Hou
Abstract:
Ramsey's Theorem states that a graph $G$ has bounded order if and only if $G$ contains no complete graph $K_n$ or empty graph $E_n$ as its induced subgraph. The Gyárfás-Sumner conjecture says that a graph $G$ has bounded chromatic number if and only if it contains no induced subgraph isomorphic to $K_n$ or a tree $T$. The deficiency of a graph is the number of vertices that cannot be covered by a…
▽ More
Ramsey's Theorem states that a graph $G$ has bounded order if and only if $G$ contains no complete graph $K_n$ or empty graph $E_n$ as its induced subgraph. The Gyárfás-Sumner conjecture says that a graph $G$ has bounded chromatic number if and only if it contains no induced subgraph isomorphic to $K_n$ or a tree $T$. The deficiency of a graph is the number of vertices that cannot be covered by a maximum matching. In this paper, we prove a Ramsey type theorem for deficiency, i.e., we characterize all the forbidden induced subgraphs for graphs $G$ with bounded deficiency. As an application, we answer a question proposed by Fujita, Kawarabayashi, Lucchesi, Ota, Plummer and Saito (JCTB, 2006).
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Long antipaths and anticycles in oriented graphs
Authors:
Bin Chen,
Xinmin Hou,
Hongyu Zhou
Abstract:
Let $δ^{0}(D)$ be the minimum semi-degree of an oriented graph $D$. Jackson (1981) proved that every oriented graph $D$ with $δ^{0}(D)\geq k$ contains a directed path of length $2k$ when $|V(D)|>2k+2$, and a directed Hamilton cycle when $|V(D)|\le 2k+2$. Stein~(2020) further conjectured that every oriented graph $D$ with $δ^{0}(D)>k/2$ contains any orientated path of length $k$. Recently, Klimouso…
▽ More
Let $δ^{0}(D)$ be the minimum semi-degree of an oriented graph $D$. Jackson (1981) proved that every oriented graph $D$ with $δ^{0}(D)\geq k$ contains a directed path of length $2k$ when $|V(D)|>2k+2$, and a directed Hamilton cycle when $|V(D)|\le 2k+2$. Stein~(2020) further conjectured that every oriented graph $D$ with $δ^{0}(D)>k/2$ contains any orientated path of length $k$. Recently, Klimousová and Stein (DM, 2023) introduced the minimum pseudo-semi-degree $\tildeδ^0(D)$ (a slight weaker than the minimum semi-degree condition as $\tildeδ^0(D)\ge δ^0(D))$ and showed that every oriented graph $D$ with $\tildeδ^{0}(D)\ge (3k-2)/4$ contains each antipath of length $k$ for $k\geq 3$. In this paper, we improve the result of Klimousová and Stein by showing that for all $k\geq 2$, every oriented graph with $\tildeδ^0(D)\ge(2k+1)/3$ contains either an antipath of length at least $k+1$ or an anticycle of length at least $k+1$. Furthermore, we answer a problem raised by Klimousová and Stein in the negative.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Explicit construction of quasi-periodic discrete schrödinger operators with cantor spectrum
Authors:
Xuanji Hou,
Li Zhang
Abstract:
We construct 1-dim difference Schrödinger operators with a class of Geverey potentials such that Cantor spectrum occurs together with the estimations of open spectral gaps. The proof is based on KAM and Moser-Pöschel argument .
We construct 1-dim difference Schrödinger operators with a class of Geverey potentials such that Cantor spectrum occurs together with the estimations of open spectral gaps. The proof is based on KAM and Moser-Pöschel argument .
△ Less
Submitted 14 March, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Dynamical classification of analytic one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles
Authors:
Xuanji Hou,
Yi Pan,
Qi Zhou
Abstract:
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
A new connectivity bound for a tournament to be highly linked
Authors:
Bin Chen,
Xinmin Hou,
Gexin Yu,
Xinyu Zhou
Abstract:
A digraph $D$ is $k$-linked if for any pair of two disjoint sets $\{x_{1},x_{2},\ldots,x_{k}\}$ and $\{y_{1},y_{2},\ldots,y_{k}\}$ of vertices in $D$, there exist vertex disjoint dipaths $P_{1},P_{2},\ldots,P_{k}$ such that $P_{i}$ is a dipath from $x_{i}$ to $y_{i}$ for each $i\in[k]$. Pokrovskiy (JCTB, 2015) confirmed a conjecture of Kühn et al. (Proc. Lond. Math. Soc., 2014) by verifying that e…
▽ More
A digraph $D$ is $k$-linked if for any pair of two disjoint sets $\{x_{1},x_{2},\ldots,x_{k}\}$ and $\{y_{1},y_{2},\ldots,y_{k}\}$ of vertices in $D$, there exist vertex disjoint dipaths $P_{1},P_{2},\ldots,P_{k}$ such that $P_{i}$ is a dipath from $x_{i}$ to $y_{i}$ for each $i\in[k]$. Pokrovskiy (JCTB, 2015) confirmed a conjecture of Kühn et al. (Proc. Lond. Math. Soc., 2014) by verifying that every $452k$-connected tournament is $k$-linked. Meng et al. (Eur. J. Comb., 2021) improved this upper bound by showing that any $(40k-31)$-connected tournament is $k$-linked. In this paper, we show a better upper bound by proving that every $\lceil 12.5k-6\rceil$-connected tournament with minimum out-degree at least $21k-14$ is $k$-linked. Furthermore, we improve a key lemma that was first introduced by Pokrovskiy (JCTB, 2015) and later enhanced by Meng et al. (Eur. J. Comb., 2021).
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
An approach to normal polynomials through symmetrization and symmetric reduction
Authors:
Darien Connolly,
Calvin George,
Xiang-dong Hou,
Adam Madro,
Vincenzo Pallozzi Lavorante
Abstract:
An irreducible polynomial $f\in\Bbb F_q[X]$ of degree $n$ is {\em normal} over $\Bbb F_q$ if and only if its roots $r, r^q,\dots,r^{q^{n-1}}$ satisfy the condition $Δ_n(r, r^q,\dots,r^{q^{n-1}})\ne 0$, where $Δ_n(X_0,\dots,X_{n-1})$ is the $n\times n$ circulant determinant. By finding a suitable {\em symmetrization} of $Δ_n$ (A multiple of $Δ_n$ which is symmetric in $X_0,\dots,X_{n-1}$), we obtai…
▽ More
An irreducible polynomial $f\in\Bbb F_q[X]$ of degree $n$ is {\em normal} over $\Bbb F_q$ if and only if its roots $r, r^q,\dots,r^{q^{n-1}}$ satisfy the condition $Δ_n(r, r^q,\dots,r^{q^{n-1}})\ne 0$, where $Δ_n(X_0,\dots,X_{n-1})$ is the $n\times n$ circulant determinant. By finding a suitable {\em symmetrization} of $Δ_n$ (A multiple of $Δ_n$ which is symmetric in $X_0,\dots,X_{n-1}$), we obtain a condition on the coefficients of $f$ that is sufficient for $f$ to be normal. This approach works well for $n\le 5$ but encounters computational difficulties when $n\ge 6$. In the present paper, we consider irreducible polynomials of the form $f=X^n+X^{n-1}+a\in\Bbb F_q[X]$. For $n=6$ and $7$, by an indirect method, we are able to find simple conditions on $a$ that are sufficient for $f$ to be normal. In a more general context, we also explore the normal polynomials of a finite Galois extension through the irreducible characters of the Galois group.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Counting triangles in regular graphs
Authors:
Jialin He,
Xinmin Hou,
Jie Ma,
Tianying Xie
Abstract:
In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that…
▽ More
In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$.
△ Less
Submitted 17 January, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Ramsey numbers of color critical graphs versus large generalized fans
Authors:
Tai** Jiang,
Xinmin Hou
Abstract:
Given two graphs $G$ and $H$, the {Ramsey number} $R(G,H)$ is the smallest positive integer $N$ such that every 2-coloring of the edges of $K_{N}$ contains either a red $G$ or a blue $H$. Let $K_{N-1}\sqcup K_{1,k}$ be the graph obtained from $K_{N-1}$ by adding a new vertex $v$ connecting $k$ vertices of $K_{N-1}$. Hook and Isaak (2011) defined the {\em star-critical Ramsey number} $r_{*}(G,H)$ a…
▽ More
Given two graphs $G$ and $H$, the {Ramsey number} $R(G,H)$ is the smallest positive integer $N$ such that every 2-coloring of the edges of $K_{N}$ contains either a red $G$ or a blue $H$. Let $K_{N-1}\sqcup K_{1,k}$ be the graph obtained from $K_{N-1}$ by adding a new vertex $v$ connecting $k$ vertices of $K_{N-1}$. Hook and Isaak (2011) defined the {\em star-critical Ramsey number} $r_{*}(G,H)$ as the smallest integer $k$ such that every 2-coloring of the edges of $K_{N-1}\sqcup K_{1,k}$ contains either a red $G$ or a blue $H$, where $N=R(G, H)$. For sufficiently large $n$, Li and Rousseau~(1996) proved that $R(K_{k+1},K_{1}+nK_{t})=knt +1$, Hao, Lin~(2018) showed that $r_{*}(K_{k+1},K_{1}+nK_{t})=(k-1)tn+t$;
Li and Liu~(2016) proved that $R(C_{2k+1}, K_{1}+nK_{t})=2nt+1$, and Li, Li, and Wang~(2020) showed that $r_{*}(C_{2m+1},K_{1}+nK_{t})=nt+t$. A graph $G$ with $χ(G)=k+1$ is called edge-critical if $G$ contains an edge $e$ such that $χ(G-e)=k$. In this paper, we extend the above results by showing that for an edge-critical graph $G$ with $χ(G)=k+1$, when $k\geq 2$, $t\geq 2$ and $n$ is sufficiently large, $R(G, K_{1}+nK_{t})=knt+1$ and $r_{*}(G,K_{1}+nK_{t})=(k-1)nt+t$.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Nonlinear model reference adaptive control approach for governance of the commons in a feedback-evolving game
Authors:
Fang Yan,
Xiaorong Hou,
Tingting Tian,
Xiaojie Chen
Abstract:
The governance of common-pool resources has vital importance for sustainability. However, in the realistic management systems of common-pool resources, the institutions do not necessarily execute the management policies completely, which will induce that the real implementation intensity is uncertain. In this paper, we consider a feedback-evolving game model with the inspection for investigating t…
▽ More
The governance of common-pool resources has vital importance for sustainability. However, in the realistic management systems of common-pool resources, the institutions do not necessarily execute the management policies completely, which will induce that the real implementation intensity is uncertain. In this paper, we consider a feedback-evolving game model with the inspection for investigating the management of renewable resource and assume that there exists the implementation uncertainty of inspection. Furthermore, we use the nonlinear model reference adaptive control approach to handle this uncertainty. We accordingly design a protocol, which is an update law of adjusting the institutional inspection intensity. We obtain a sufficient condition under which the update law can drive the actual system to reach the expected outcome. In addition, we provide several numerical examples, which can confirm our theoretical results. Our work presents a novel approach to address the implementation uncertainty in the feedback-evolving games and thus our results can be helpful for effectively managing the common-pool resources in the human social systems.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
The degree threshold for covering with all the connected $3$-graphs with $3$ edges
Authors:
Yue Ma,
Xinmin Hou,
Zhi Yin
Abstract:
Given two $r$-uniform hypergraphs $F$ and $H$, we say that $H$ has an $F$-covering if every vertex in $H$ is contained in a copy of $F$. Let $c_{i}(n,F)$ be the least integer such that every $n$-vertex $r$-graph $H$ with $δ_{i}(H)>c_i(n,F)$ has an $F$-covering. Falgas-Ravry, Markstöm and Zhao (Combin. Probab. Comput., 2021) asymptotically determined $c_1(n,K_{4}^{(3)-})$, where $K_{4}^{(3)-}$ is o…
▽ More
Given two $r$-uniform hypergraphs $F$ and $H$, we say that $H$ has an $F$-covering if every vertex in $H$ is contained in a copy of $F$. Let $c_{i}(n,F)$ be the least integer such that every $n$-vertex $r$-graph $H$ with $δ_{i}(H)>c_i(n,F)$ has an $F$-covering. Falgas-Ravry, Markstöm and Zhao (Combin. Probab. Comput., 2021) asymptotically determined $c_1(n,K_{4}^{(3)-})$, where $K_{4}^{(3)-}$ is obtained by deleting an edge from the complete $3$-graph on $4$ vertices. Later, Tang, Ma and Hou (arXiv, 2022) asymptotically determined $c_1(n,C_{6}^{(3)})$, where $C_{6}^{(3)}$ is the linear triangle, i.e. $C_{6}^{(3)}=([6],\{123,345,561\})$. In this paper, we determine $c_1(n,F_5)$ asymptotically, where $F_5$ is the generalized triangle, i.e. $F_5=([5],\{123,124,345\})$. We also determine the exact values of $c_1(n,F)$, where $F$ is any connected $3$-graphs with $3$ edges and $F\notin\{K_4^{(3)-}, C_{6}^{(3)}, F_5\}$.
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
Multicolor Ramsey numbers on stars versus pat
Authors:
Xuejun Zhang,
Xinmin Hou
Abstract:
For given simple graphs $H_1,H_2,\dots,H_c$, the multicolor Ramsey number $R(H_1,H_2,\dots,H_c)$ is defined as the smallest positive integer $n$ such that for an arbitrary edge-decomposition $\{G_i\}^c_{i=1}$ of the complete graph $K_n$, at least one $G_i$ has a subgraph isomorphic to $H_i$. Let $m,n_1,n_2,\dots,n_c$ be positive integers and $Σ=\sum_{i=1}^{c}(n_i-1)$. Some bounds and exact values…
▽ More
For given simple graphs $H_1,H_2,\dots,H_c$, the multicolor Ramsey number $R(H_1,H_2,\dots,H_c)$ is defined as the smallest positive integer $n$ such that for an arbitrary edge-decomposition $\{G_i\}^c_{i=1}$ of the complete graph $K_n$, at least one $G_i$ has a subgraph isomorphic to $H_i$. Let $m,n_1,n_2,\dots,n_c$ be positive integers and $Σ=\sum_{i=1}^{c}(n_i-1)$. Some bounds and exact values of $R(K_{1,n_1},\dots,K_{1,n_c},P_m)$ have been obtained in literature. Wang (Graphs Combin., 2020) conjectured that if $Σ\not\equiv 0\pmod{m-1}$ and $Σ+1\ge (m-3)^2$, then $R(K_{1,n_1},\ldots, K_{1,n_c}, P_m)=Σ+m-1.$ In this note, we give a new lower bound and some exact values of $R(K_{1,n_1},\dots,K_{1,n_c},P_m)$ when $m\leqΣ$, $Σ\equiv k\pmod{m-1}$, and $2\leq k \leq m-2$. These results partially confirm Wang's conjecture.
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
Ramsey-type results on parameters related to domination
Authors:
** Sun,
Xinmin Hou
Abstract:
The following inequality chain $$ ir(G)\le γ(G)\le i(G)\le α(G) \le Γ(G) \le I\!R(G)$$ is known as a domination chain, where $ir(G), γ(G), i(G), α(G), Γ(G)$, and $I\!R(G)$ are the lower irredundance number, the domination number, the independence domination number, the independence number, the upper domination number and the upper irredundance number of $G$, respectively. The Ramsey-type problem s…
▽ More
The following inequality chain $$ ir(G)\le γ(G)\le i(G)\le α(G) \le Γ(G) \le I\!R(G)$$ is known as a domination chain, where $ir(G), γ(G), i(G), α(G), Γ(G)$, and $I\!R(G)$ are the lower irredundance number, the domination number, the independence domination number, the independence number, the upper domination number and the upper irredundance number of $G$, respectively. The Ramsey-type problem seeks to characterize the family $\mathcal H$ of graphs such that every $\mathcal H$-free graph $G$ has a bounded parameter $μ$. The classical Ramsey's theorem states that every $\{K_n, E_n\}$-free graph has a bounded number of vertices. Furuya (Discrete Math.Theor 2018) characterized $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has a bounded domination number. The characterization of the graph family $\mathcal H$ for which every connected $\mathcal H$-free graph $G$ has a bounded independence number was due to Choi, Furuya, Kim, Park~(Discrete math. 2020) and Chiba, Furuya (Electron. J. Combin., 2022). In this paper, we further characterize $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ$ belonging to the set $\{ir(G), i(G), Γ(G), \text{IR}(G)\}$. This completes the characterization of $\mathcal H$ for which every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ(G)$ along the domination chain. Additionally, we characterize $\mathcal H$ such that every connected $\mathcal H$-free graph $G$ has bounded $μ(G)$ for $μ$ related to the domination number. Specifically, we consider the parameters $O\!I\!R(G)$, $I\!S(G)$, or $I\!R\!S(G)\}$, where $O\!I\!R(G)$, $I\!S(G)$, and $I\!R\!S(G)$ are the open irredundance number, the independence saturation number, and the irredundance saturation number of graph $G$, respectively.
△ Less
Submitted 6 June, 2024; v1 submitted 15 August, 2023;
originally announced August 2023.
-
Graphs without rainbow cliques of orders four and five
Authors:
Yue Ma,
Xinmin Hou
Abstract:
Let $\mathcal{G}_n^k=\{G_1,G_2,\ldots,G_k\}$ be a multiset of graphs on vertex set $[n]$ and let $F$ be a fixed graph with edge set $F=\{e_1, e_2,\ldots, e_m\}$ and $k\ge m$. We say ${\mathcal{G}_n^k}$ is rainbow $F$-free if there is no $\{i_1, i_2,\ldots, i_{m}\}\subseteq[k]$ satisfying $e_j\in G_{i_j}$ for every $j\in[m]$. Let $\ex_k(n,F)$ be the maximum $\sum_{i=1}^{k}|G_i|$ among all the rainb…
▽ More
Let $\mathcal{G}_n^k=\{G_1,G_2,\ldots,G_k\}$ be a multiset of graphs on vertex set $[n]$ and let $F$ be a fixed graph with edge set $F=\{e_1, e_2,\ldots, e_m\}$ and $k\ge m$. We say ${\mathcal{G}_n^k}$ is rainbow $F$-free if there is no $\{i_1, i_2,\ldots, i_{m}\}\subseteq[k]$ satisfying $e_j\in G_{i_j}$ for every $j\in[m]$. Let $\ex_k(n,F)$ be the maximum $\sum_{i=1}^{k}|G_i|$ among all the rainbow $F$-free multisets ${\mathcal{G}_n^k}$. Keevash, Saks, Sudakov, and Verstraëte (2004) determined the exact value of $\ex_k(n, K_r)$ when $n$ is sufficiently large and proposed the conjecture that the results remain true when $n\ge Cr^2$ for some constant $C$. Recently, Frankl (2022) confirmed the conjecture for $r=3$ and all possible values of $n$. In this paper, we determine the exact value of $\ex_k(n, K_r)$ for $n\ge r-1$ when $r=4$ and $5$, i.e. the conjecture of Keevash, Saks, Sudakov, and Verstraëte is true for $r\in\{4,5\}$.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
On Induced Subgraph of Cartesian Product of Paths
Authors:
Jiasheng Zeng,
Xinmin Hou
Abstract:
Chung, Füredi, Graham, and Seymour (JCTA, 1988) constructed an induced subgraph of the hypercube $Q^n$ with $α(Q^n)+1$ vertices and with maximum degree smaller than $\lceil \sqrt{n} \rceil$. Subsequently, Huang (Annals of Mathematics, 2019) proved the Sensitivity Conjecture by demonstrating that the maximum degree of such an induced subgraph of hypercube $Q^n$ is at least $\lceil \sqrt{n} \rceil$,…
▽ More
Chung, Füredi, Graham, and Seymour (JCTA, 1988) constructed an induced subgraph of the hypercube $Q^n$ with $α(Q^n)+1$ vertices and with maximum degree smaller than $\lceil \sqrt{n} \rceil$. Subsequently, Huang (Annals of Mathematics, 2019) proved the Sensitivity Conjecture by demonstrating that the maximum degree of such an induced subgraph of hypercube $Q^n$ is at least $\lceil \sqrt{n} \rceil$, and posed the question: Given a graph $G$, let $f(G)$ be the minimum of the maximum degree of an induced subgraph of $G$ on $α(G)+1$ vertices, what can we say about $f(G)$? In this paper, we investigate this question for Cartesian product of paths $P_m$, denoted by $P_m^k$. We determine the exact values of $f(P_{m}^k)$ when $m=2n+1$ by showing that $f(P_{2n+1}^k)=1$ for $n\geq 2$ and $f(P_3^k)=2$, and give a nontrivial lower bound of $f(P_{m}^k)$ when $m=2n$ by showing that $f(P_{2n}^k)\geq \lceil \sqrt{β_nk}\rceil$. In particular, when $n=1$, we have $f(Q^k)=f(P_{2}^k)\ge \sqrt{k}$, which is Huang's result. The lower bounds of $f(P_{3}^k)$ and $f(P_{2n}^k)$ are given by using the spectral method provided by Huang.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Number of Equivalence Classes of Rational Functions over Finite Fields
Authors:
Xiang-dong Hou
Abstract:
Two rational functions $f,g\in\Bbb F_q(X)$ are said to be {\em equivalent} if there exist $φ,ψ\in\Bbb F_q(X)$ of degree one such that $g=φ\circ f\circψ$. We give an explicit formula for the number of equivalence classes of rational functions of a given degree in $\Bbb F_q(X)$. This result should provide guidance for the current and future work on classifications of low degree rational functions ov…
▽ More
Two rational functions $f,g\in\Bbb F_q(X)$ are said to be {\em equivalent} if there exist $φ,ψ\in\Bbb F_q(X)$ of degree one such that $g=φ\circ f\circψ$. We give an explicit formula for the number of equivalence classes of rational functions of a given degree in $\Bbb F_q(X)$. This result should provide guidance for the current and future work on classifications of low degree rational functions over finite fields. We also determine the number of equivalence classes of polynomials of a given degree in $\Bbb F_q[X]$.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Spectral extrema of graphs with bounded clique number and matching number
Authors:
Hongyu Wang,
Xinmin Hou,
Yue Ma
Abstract:
For a set of graphs $\mathcal{F}$, let $\ex(n,\mathcal{F})$ and $\spex(n,\mathcal{F})$ denote the maximum number of edges and the maximum spectral radius of an $n$-vertex $\mathcal{F}$-free graph, respectively. Nikiforov ({\em LAA}, 2007) gave the spectral version of the Turán Theorem by showing that $\spex(n, K_{k+1})=λ(T_{k}(n))$, where $T_k(n)$ is the $k$-partite Turán graph on $n$ vertices. In…
▽ More
For a set of graphs $\mathcal{F}$, let $\ex(n,\mathcal{F})$ and $\spex(n,\mathcal{F})$ denote the maximum number of edges and the maximum spectral radius of an $n$-vertex $\mathcal{F}$-free graph, respectively. Nikiforov ({\em LAA}, 2007) gave the spectral version of the Turán Theorem by showing that $\spex(n, K_{k+1})=λ(T_{k}(n))$, where $T_k(n)$ is the $k$-partite Turán graph on $n$ vertices. In the same year, Feng, Yu and Zhang ({\em LAA}) determined the exact value of $\spex(n, M_{s+1})$, where $M_{s+1}$ is a matching with $s+1$ edges. Recently, Alon and Frankl~(arXiv2210.15076) gave the exact value of $\ex(n,\{K_{k+1},M_{s+1}\})$. In this article, we give the spectral version of the result of Alon and Frankl by determining the exact value of $\spex(n,\{K_{k+1},M_{s+1}\})$ when $n$ is large.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Generalized Turán problem with bounded matching number
Authors:
Yue Ma,
Xinmin Hou
Abstract:
For a graph $T$ and a set of graphs $\mathcal{H}$, let $\ex(n,T,\mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl~(arXiv2210.15076) determined the exact value of $\ex(n,K_2,\{K_{k+1},M_{s+1}\})$, where $K_{k+1}$ and $M_{s+1}$ are complete graph on $k+1$ vertices and matching of size $s+1$, respectively. Soon after, Gerbner…
▽ More
For a graph $T$ and a set of graphs $\mathcal{H}$, let $\ex(n,T,\mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl~(arXiv2210.15076) determined the exact value of $\ex(n,K_2,\{K_{k+1},M_{s+1}\})$, where $K_{k+1}$ and $M_{s+1}$ are complete graph on $k+1$ vertices and matching of size $s+1$, respectively. Soon after, Gerbner~(arXiv2211.03272) continued the study by extending $K_{k+1}$ to general fixed graph $H$. In this paper, we continue the study of the function $\ex(n, T,\{H,M_{s+1}\})$ when $T=K_r$ for $r\ge 3$. We determine the exact value of $\ex(n,K_r,\{K_{k+1},M_{s+1}\})$ and give the value of $\ex(n,K_r,\{H,M_{s+1}\})$ for general $H$ with an error term $O(1)$.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
A Criterion for the Normality of Polynomials over Finite Fields Based on Their Coefficients
Authors:
Xiang-dong Hou
Abstract:
An irreducible polynomial over $\Bbb F_q$ is said to be normal over $\Bbb F_q$ if its roots are linearly independent over $\Bbb F_q$. We show that there is a polynomial $h_n(X_1,\dots,X_n)\in\Bbb Z[X_1,\dots,X_n]$, independent of $q$, such that if an irreducible polynomial $f=X^n+a_1X^{n-1}+\cdots+a_n\in\Bbb F_q[X]$ is such that $h_n(a_1,\dots,a_n)\ne 0$, then $f$ is normal over $\Bbb F_q$. The po…
▽ More
An irreducible polynomial over $\Bbb F_q$ is said to be normal over $\Bbb F_q$ if its roots are linearly independent over $\Bbb F_q$. We show that there is a polynomial $h_n(X_1,\dots,X_n)\in\Bbb Z[X_1,\dots,X_n]$, independent of $q$, such that if an irreducible polynomial $f=X^n+a_1X^{n-1}+\cdots+a_n\in\Bbb F_q[X]$ is such that $h_n(a_1,\dots,a_n)\ne 0$, then $f$ is normal over $\Bbb F_q$. The polynomial $h_n(X_1,\dots,X_n)$ is computed explicitly for $n\le 5$ and partially for $n=6$. When $\text{char}\,\Bbb F_q=p$, we also show that there is a polynomial $h_{p,n}(X_1,\dots,X_n)\in\Bbb F_p[X_1,\dots,X_n]$, depending on $p$, which is simpler than $h_n$ but has the same property. These results remain valid for monic separable irreducible polynomials over an arbitrary field with a cyclic Galois group.
△ Less
Submitted 2 August, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
-
The degree and codegree threshold for linear triangle covering in 3-graphs
Authors:
Yuxuan Tang,
Yue Ma,
Xinmin Hou
Abstract:
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if every vertex in $G$ is contained in a copy of $F$. For $1\le i \le k-1$, let $c_i(n,F)$ be the least integer such that every $n$-vertex $k$-uniform hypergraph $G$ with $δ_i(G)> c_i(n,F)$ has an $F$-covering. The covering problem has been systematically studied by Falgas-Ravry and Zhao [Codegree thresholds for cov…
▽ More
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if every vertex in $G$ is contained in a copy of $F$. For $1\le i \le k-1$, let $c_i(n,F)$ be the least integer such that every $n$-vertex $k$-uniform hypergraph $G$ with $δ_i(G)> c_i(n,F)$ has an $F$-covering. The covering problem has been systematically studied by Falgas-Ravry and Zhao [Codegree thresholds for covering 3-uniform hypergraphs, SIAM J. Discrete Math., 2016]. Last year, Falgas-Ravry, Markström, and Zhao [Triangle-degrees in graphs and tetrahedron coverings in 3-graphs, Combinatorics, Probability and Computing, 2021] asymptotically determined $c_1(n, F)$ when $F$ is the generalized triangle. In this note, we give the exact value of $c_2(n, F)$ and asymptotically determine $c_1(n, F)$ when $F$ is the linear triangle $C_6^3$, where $C_6^3$ is the 3-uniform hypergraph with vertex set $\{v_1,v_2,v_3,v_4,v_5,v_6\}$ and edge set $\{v_1v_2v_3,v_3v_4v_5,v_5v_6v_1\}$.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Minimizing the number of matchings of fixed size in a $K_s$-saturated graph
Authors:
Jie**g Feng,
Doudou Hei,
Xinmin Hou
Abstract:
For a fixed graph $F$, a graph $G$ is said to be $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$ but does contain $F$ after the addition of any new edge.
Let $M_k$ be a matching consisting of $k$ edges and $S_{n,k}$ be the join graph of a complete graph $K_k$ and an empty graph $\overline{K_{n-k}}$. In this paper, we prove that for $s \geq3$ and $k\geq 2$, $S_{n,s-2}$ contains…
▽ More
For a fixed graph $F$, a graph $G$ is said to be $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$ but does contain $F$ after the addition of any new edge.
Let $M_k$ be a matching consisting of $k$ edges and $S_{n,k}$ be the join graph of a complete graph $K_k$ and an empty graph $\overline{K_{n-k}}$. In this paper, we prove that for $s \geq3$ and $k\geq 2$, $S_{n,s-2}$ contains the minimum number of $M_k$ among all $n$-vertex $K_s$-saturated graphs for sufficiently large $n$, and when $k \leq s-2$, it is the unique extremal graph. In addition, we also show that $S_{n,1}$ is the unique extremal graph when $k=2$ and $s=3$.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Maximum size of $C_{\leq k}$-free strong digraphs with out-degree at least two
Authors:
Bin Chen,
Xinmin Hou
Abstract:
Let $\mathscr{H}$ be a family of digraphs. A digraph $D$ is \emph{$\mathscr{H}$-free} if it contains no isomorphic copy of any member of $\mathscr{H}$. For $k\geq2$, we set $C_{\leq k}=\{C_{2}, C_{3},\ldots,C_{k}\}$, where $C_{\ell}$ is a directed cycle of length $\ell\in\{2,3,\ldots,k\}$. Let $D_{n}^{k}(ξ,ζ)$ denote the family of \emph{${C}_{\le k}$-free} strong digraphs on $n$ vertices with ever…
▽ More
Let $\mathscr{H}$ be a family of digraphs. A digraph $D$ is \emph{$\mathscr{H}$-free} if it contains no isomorphic copy of any member of $\mathscr{H}$. For $k\geq2$, we set $C_{\leq k}=\{C_{2}, C_{3},\ldots,C_{k}\}$, where $C_{\ell}$ is a directed cycle of length $\ell\in\{2,3,\ldots,k\}$. Let $D_{n}^{k}(ξ,ζ)$ denote the family of \emph{${C}_{\le k}$-free} strong digraphs on $n$ vertices with every vertex having out-degree at least $ξ$ and in-degree at least $ζ$, where both $ξ$ and $ζ$ are positive integers. Let $\varphi_{n}^{k}(ξ,ζ)=\max\{|A(D)|:\;D\in D_{n}^{k}(ξ,ζ)\}$ and $Φ_{n}^{k}(ξ,ζ)=\{D\in D_{n}^{k}(ξ,ζ): |A(D)|=\varphi_{n}^{k}(ξ,ζ)\}$. Bermond et al.\;(1980) verified that $\varphi_{n}^{k}(1,1)=\binom{n-k+2}{2}+k-2$. Chen and Chang\;(2021) showed that $\binom{n-1}{2}-2\leq\varphi_{n}^{3}(2,1)\leq\binom{n-1}{2}$. This upper bound was further improved to $\binom{n-1}{2}-1$ by Chen and Chang\;(DAM, 2022), furthermore, they also gave the exact values of $\varphi_{n}^{3}(2,1)$ for $n\in \{7,8,9\}$. In this paper, we continue to determine the exact values of $\varphi_{n}^{3}(2,1)$ for $n\ge 10$, i.e., $\varphi_{n}^{3}(2,1)=\binom{n-1}{2}-2$ for $n\geq10$.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Convergence of fractional Fourier series on the torus and applications
Authors:
Zunwei Fu,
Xianming Hou,
Qingyan Wu
Abstract:
In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion and Poisson summation formula are also given. We further discuss the relationship between the decay of fractional Fourier coefficients and the smoothness of a f…
▽ More
In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion and Poisson summation formula are also given. We further discuss the relationship between the decay of fractional Fourier coefficients and the smoothness of a function. Using the properties of fractional Fejer kernel, the pointwise convergence of fractional Fourier series can be established. Finally, we present the applications of fractional Fourier series to fractional partial differential equations with periodic boundary condition. Moreover, we apply approximation methods on the fractional torus to recover the non-stationary signals.
△ Less
Submitted 4 July, 2024; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Conditional intermediate entropy and Birkhoff average properties of hyperbolic flows
Authors:
Xiaobo Hou,
Xueting Tian
Abstract:
Katok conjectured that every $C^{2}$ diffeomorphism $f$ on a Riemannian manifold has the intermediate entropy property, that is, for any constant $c \in[0, h_{top}(f))$, there exists an ergodic measure $μ$ of $f$ satisfying $h_μ(f)=c$. In this paper we consider a conditional intermediate metric entropy property and two conditional intermediate Birkhoff average properties for flows. For a basic set…
▽ More
Katok conjectured that every $C^{2}$ diffeomorphism $f$ on a Riemannian manifold has the intermediate entropy property, that is, for any constant $c \in[0, h_{top}(f))$, there exists an ergodic measure $μ$ of $f$ satisfying $h_μ(f)=c$. In this paper we consider a conditional intermediate metric entropy property and two conditional intermediate Birkhoff average properties for flows. For a basic set $Λ$ of a flow $Φ$ and two continuous function $g,$ $h$ on $Λ,$ we obtain $$\mathrm{Int}\left\{h_μ(Φ):μ\in \mathcal{M}_{erg}(Φ,Λ)\text{ and }\int g dμ=α\right\}=\mathrm{Int}\left\{h_μ(Φ):μ\in \mathcal{M}(Φ,Λ) \text{ and }\int g dμ=α\right\},$$ $$\mathrm{Int}\left\{\int g dμ:μ\in \mathcal{M}_{erg}(Φ,Λ)\text{ and }h_μ(Φ)=c\right\}=\mathrm{Int}\left\{\int g dμ:μ\in \mathcal{M}(Φ,Λ) \text{ and }h_μ(Φ)=c\right\}$$ and $$\mathrm{Int}\left\{\int h dμ:μ\in \mathcal{M}_{erg}(Φ,Λ)\text{ and }\int g dμ=α\right\}=\mathrm{Int}\left\{\int h dμ:μ\in \mathcal{M}(Φ,Λ) \text{ and }\int g dμ=α\right\}$$ for any $α\in \left(\inf_{μ\in \in \mathcal{M}(Φ,Λ) }\int g dμ, \, \sup_{μ\in \in \mathcal{M}(Φ,Λ) }\int g dμ\right)$ and any $c\in (0,h_{top}(Λ)).$ In this process, we establish 'multi-horseshoe' entropy-dense property and use it to get the goal combined with conditional variational principles. We also obtain same result for singular hyperbolic attractors.
△ Less
Submitted 2 November, 2022; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Some Algebraic Questions about the Reed-Muller Code
Authors:
Xiang-dong Hou
Abstract:
Let $R_q(r,n)$ denote the $r$th order Reed-Muller code of length $q^n$ over $\Bbb F_q$. We consider two algebraic questions about the Reed-Muller code. Let $H_q(r,n)=R_q(r,n)/R_q(r-1,n)$. (1) When $q=2$, it is known that there is a "duality" between the actions of $\text{GL}(n,\Bbb F_2)$ on $H_2(r,n)$ and on $H_2(r',n)$, where $r+r'=n$. The result is false for a general $q$. However, we find that…
▽ More
Let $R_q(r,n)$ denote the $r$th order Reed-Muller code of length $q^n$ over $\Bbb F_q$. We consider two algebraic questions about the Reed-Muller code. Let $H_q(r,n)=R_q(r,n)/R_q(r-1,n)$. (1) When $q=2$, it is known that there is a "duality" between the actions of $\text{GL}(n,\Bbb F_2)$ on $H_2(r,n)$ and on $H_2(r',n)$, where $r+r'=n$. The result is false for a general $q$. However, we find that a slightly modified duality statement still holds when $q$ is a prime or $r<\text{char}\,\Bbb F_q$. (2) Let $\mathcal F(\Bbb F_q^n,\Bbb F_q)$ denote the $\Bbb F_q$-algebra of all functions from $\Bbb F_q^n$ to $\Bbb F_q$. It is known that when $q$ is a prime, the Reed-Muller codes $\{0\}=R_q(-1,n)\subset R_q(0,n)\subset\cdots\subset R_q(n(q-1),n)=\mathcal F(\Bbb F_q^n,\Bbb F_q)$ are the only $\text{AGL}(n,\Bbb F_q)$-submodules of $\mathcal F(\Bbb F_q^n,\Bbb F_q)$. In particular, $H_q(r,n)$ is an irreducible $\text{GL}(n,\Bbb F_q)$-module when $q$ is a prime. For a general $q$, $H_q(r,n)$ is not necessarily irreducible. We determine all its submodules and the factors in its composition series. The factors of the composition series of $H_q(r,n)$ provide an explicit family of irreducible representations of $\text{GL}(n,\Bbb F_q)$ over $\Bbb F_q$.
△ Less
Submitted 6 March, 2024; v1 submitted 31 August, 2022;
originally announced September 2022.
-
The cycle of length four is strictly $F$-Turán-good
Authors:
Doudou Hei,
Xinmin Hou
Abstract:
Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Turán-good if the Turán graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$ among all $F$-free graphs on $n$ vertices for every $n$ large enough.
Győri, Pach and Simonovits (1991) proved that cycle $C_4$ of length four is strictly…
▽ More
Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Turán-good if the Turán graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$ among all $F$-free graphs on $n$ vertices for every $n$ large enough.
Győri, Pach and Simonovits (1991) proved that cycle $C_4$ of length four is strictly $K_{r+1}$-Turán-good for all $r\geq 2$. In this article, we extend this result and show that $C_4$ is strictly $F$-Turán-good, where $F$ is an $(r+1)$-chromatic graph with $r\ge 2$ and a color-critical edge. Moreover, we show that every $n$-vertex $C_4$-free graph $G$ with $N(H,G)=\ex(n,C_4,F)-o(n^4)$ can be obtained by adding or deleting $o(n^2)$ edges from $T_r(n)$. Our proof uses the flag algebra method developed by Razborov (2007).
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Abundance of Smale's horseshoes and ergodic measures via multifractal analysis and various quantitative spectrums
Authors:
Yiwei Dong,
Xiaobo Hou,
Xueting Tian
Abstract:
In this article, we combine the perspectives of density, entropy, and multifractal analysis to investigate the structure of ergodic measures. We prove that for each transitive topologically Anosov system $(X,f)$, each continuous function $\varphi$ on $X$ and each $(a,h)\in \mathrm{Int}\{(\int \varphi dμ, h_μ(f)):μ\in M_f(X)\},$ the set $\{μ\in M_f^e(X): (\int \varphi dμ, h_μ(f))=(a,h)\}$ is non-em…
▽ More
In this article, we combine the perspectives of density, entropy, and multifractal analysis to investigate the structure of ergodic measures. We prove that for each transitive topologically Anosov system $(X,f)$, each continuous function $\varphi$ on $X$ and each $(a,h)\in \mathrm{Int}\{(\int \varphi dμ, h_μ(f)):μ\in M_f(X)\},$ the set $\{μ\in M_f^e(X): (\int \varphi dμ, h_μ(f))=(a,h)\}$ is non-empty and contains a dense $G_δ$ subset of $\{μ\in M_f(X): (\int \varphi dμ, h_μ(f))=(a,h)\}.$ Meanwhile, combining the development of non-hyperbolic systems and cocycles we give a general framework and use it to obtain intermediate entropy property of ergodic measures with same Lyapunov exponent for non-hyperbolic step skew-products, elliptic $\operatorname{SL}(2, \mathbb{R})$ cocycles and robustly non-hyperbolic transitive diffeomorphisms. Moreover, we get generalized results on multiple functions and use them to obtain the intermediate Hausdorff dimension of ergodic measures for transitive average conformal or quasi-conformal Anosov diffeomorphisms, that is $\left\{\operatorname{dim}_H μ: μ\in M_f^e(M)\right\}= \left\{\operatorname{dim}_H μ: μ\in M_f(M)\right\}.$ In this process, we introduce and establish a 'multi-horseshoe' entropy-dense property and use it to get the goal combined with the well-known conditional variational principles. As applications, we also obtain many new observations on various other quantitative spectrums including Lyapunov exponents, first return rate, geometric pressure, unstable Hausdorff dimension, etc.
△ Less
Submitted 20 February, 2024; v1 submitted 5 July, 2022;
originally announced July 2022.
-
Strongly distributional chaos in the sets of twelve different types of non-recurrent points
Authors:
An Chen,
Xiaobo Hou,
Wanshan Lin,
Xueting Tian
Abstract:
In present paper we mainly focus on non-recurrent dynamical orbits with empty syndetic center and show that twelve different statistical structures over mixing expanding maps or transitive Anosov diffeomorphisms all have dynamical complexity in the sense of strongly distributional chaos.
In present paper we mainly focus on non-recurrent dynamical orbits with empty syndetic center and show that twelve different statistical structures over mixing expanding maps or transitive Anosov diffeomorphisms all have dynamical complexity in the sense of strongly distributional chaos.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
A note on shortest circuit cover of 3-edge colorable cubic signed graphs
Authors:
Ronggui Xu,
Jiaao Li,
Xinmin Hou
Abstract:
A {sign-circuit cover} $\mathcal{F}$ of a signed graph $(G, σ)$ is a family of sign-circuits which covers all edges of $(G, σ)$. The shortest sign-circuit cover problem was initiated by Má$\check{\text{c}}$ajová, Raspaud, Rollová, and Škoviera (JGT 2016) and received many attentions in recent years. In this paper, we show that every flow-admissible 3-edge colorable cubic signed graph $(G, σ)$ has…
▽ More
A {sign-circuit cover} $\mathcal{F}$ of a signed graph $(G, σ)$ is a family of sign-circuits which covers all edges of $(G, σ)$. The shortest sign-circuit cover problem was initiated by Má$\check{\text{c}}$ajová, Raspaud, Rollová, and Škoviera (JGT 2016) and received many attentions in recent years. In this paper, we show that every flow-admissible 3-edge colorable cubic signed graph $(G, σ)$ has a sign-circuit cover with length at most $\frac{20}{9} |E(G)|$.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
A General Construction of Permutation Polynomials of $\Bbb F_{q^2}$
Authors:
Xiang-dong Hou,
Vincenzo Pallozzi Lavorante
Abstract:
Let $r$ be a positive integer, $h(X)\in\Bbb F_{q^2}[X]$, and $μ_{q+1}$ be the subgroup of order $q+1$ of $\Bbb F_{q^2}^*$. It is well known that $X^rh(X^{q-1})$ permutes $\Bbb F_{q^2}$ if and only if $\text{gcd}(r,q-1)=1$ and $X^rh(X)^{q-1}$ permutes $μ_{q+1}$. There are many ad hoc constructions of permutation polynomials of $\Bbb F_{q^2}$ of this type such that $h(X)^{q-1}$ induces monomial func…
▽ More
Let $r$ be a positive integer, $h(X)\in\Bbb F_{q^2}[X]$, and $μ_{q+1}$ be the subgroup of order $q+1$ of $\Bbb F_{q^2}^*$. It is well known that $X^rh(X^{q-1})$ permutes $\Bbb F_{q^2}$ if and only if $\text{gcd}(r,q-1)=1$ and $X^rh(X)^{q-1}$ permutes $μ_{q+1}$. There are many ad hoc constructions of permutation polynomials of $\Bbb F_{q^2}$ of this type such that $h(X)^{q-1}$ induces monomial functions on the cosets of a subgroup of $μ_{q+1}$. We give a general construction that can generate, through an algorithm, {\em all} permutation polynomials of $\Bbb F_{q^2}$ with this property, including many which are not known previously. The construction is illustrated explicitly for permutation binomials and trinomials.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
A criterion for asymptotic stability of general fractional-order linear time-invariant systems with incommensurate orders
Authors:
**g Yang,
Xiaorong Hou
Abstract:
A criterion on the asymptotic stability of fractional-order systems with incomensurate orders is proposed in this paper. Existing methods always assume order parameters be rational numbers or the ratios of any two orders be rational numbers. In engineering applications, order parameters are more likely to be uncertain which may be real numbers. Furthermore, the boundary of the stable parameter reg…
▽ More
A criterion on the asymptotic stability of fractional-order systems with incomensurate orders is proposed in this paper. Existing methods always assume order parameters be rational numbers or the ratios of any two orders be rational numbers. In engineering applications, order parameters are more likely to be uncertain which may be real numbers. Furthermore, the boundary of the stable parameter region is determined, which decomposes parameter space into the finite number of connected regions. All systems whose parameters belong to the same region have the same stability. Each region only needs checking one point to determine the stability of the region. The method established in this paper involves low computational complexity and clearly gives the relationship between order parameters and stability. Some examples show the advantages of this method.
△ Less
Submitted 19 February, 2022;
originally announced February 2022.
-
Routh-Hurwitz criterion of stability and robust stability for fractional-order systems with order α{\in}[1,2)
Authors:
**g Yang,
Xiaorong Hou,
Yajun Li
Abstract:
Based on the generalized Routh-Hurwitz criterion, we propose a sufficient and necessary criterion for testing the stability of fractional-order linear systems with order α{\in}[1,2), called the fractional-order Routh-Hurwitz criterion. Compared with the existing criterion, our one involves fewer and simpler expressions, which is significant for analyzing robust stability of fractional-order uncert…
▽ More
Based on the generalized Routh-Hurwitz criterion, we propose a sufficient and necessary criterion for testing the stability of fractional-order linear systems with order α{\in}[1,2), called the fractional-order Routh-Hurwitz criterion. Compared with the existing criterion, our one involves fewer and simpler expressions, which is significant for analyzing robust stability of fractional-order uncertain systems. All these expressions are explicit ones about the coefficients of the characteristic polynomial of system matrix, so the stable parameter region of fractional-order uncertain systems can be described directly. Some examples show the effectiveness of our method.
△ Less
Submitted 19 February, 2022;
originally announced February 2022.
-
An explicit Hopf bifurcation criterion of fractional-order systems with order 1 < α < 2
Authors:
**g Yang,
Xiaoxue Li,
Xiaorong Hou
Abstract:
A Hopf bifurcation criterion of fractional-order systems with order 1 < α < 2 is established in this paper, in which all conditions are explicitly expressed by parameters without solving the roots of the relevant characteristic polynomial of Hopf bifurcation conditions. It avoids the problem that existing methods may fail due to the computational complexity in the multi-parameter situation. The bi…
▽ More
A Hopf bifurcation criterion of fractional-order systems with order 1 < α < 2 is established in this paper, in which all conditions are explicitly expressed by parameters without solving the roots of the relevant characteristic polynomial of Hopf bifurcation conditions. It avoids the problem that existing methods may fail due to the computational complexity in the multi-parameter situation. The bifurcation hyper-surface of multi-parameter can be obtained directly.
△ Less
Submitted 19 February, 2022;
originally announced February 2022.
-
Maximal fractional cross-intersecting families
Authors:
Hongkui Wang,
Xinmin Hou
Abstract:
Given an irreducible fraction $\frac{c}{d} \in [0,1]$, a pair $(\mathcal{A},\mathcal{B})$ is called a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ if $\mathcal{A}, \mathcal{B}$ are two families of subsets of $[n]$ such that for every pair $A \in\mathcal{A}$ and $B\in\mathcal{B}$, $|A \cap B|= \frac{c}{d}|B|$. Mathew, Ray, and Srivastava [{\it\small Fractional cross intersecting families, Gra…
▽ More
Given an irreducible fraction $\frac{c}{d} \in [0,1]$, a pair $(\mathcal{A},\mathcal{B})$ is called a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ if $\mathcal{A}, \mathcal{B}$ are two families of subsets of $[n]$ such that for every pair $A \in\mathcal{A}$ and $B\in\mathcal{B}$, $|A \cap B|= \frac{c}{d}|B|$. Mathew, Ray, and Srivastava [{\it\small Fractional cross intersecting families, Graphs and Comb., 2019}] proved that $|\mathcal{A}||\mathcal{B}|\le 2^n$ if $(\mathcal{A}, \mathcal{B})$ is a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ and characterized all the pairs $(\mathcal{A},\mathcal{B})$ with $|\mathcal{A}||\mathcal{B}|=2^n$, such a pair also is called a maximal $\frac cd$-cross-intersecting pair of $2^{[n]}$, when $\frac cd\in\{0,\frac12, 1\}$. In this note, we characterize all the maximal $\frac cd$-cross-intersecting pairs $(\mathcal{A},\mathcal{B})$ when $0<\frac{c}{d}<1$ and $\frac cd\not=\frac 12$, this result answers a question proposed by Mathew, Ray, and Srivastava (2019).
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
Some exact results of the generalized Turán numbers for paths
Authors:
Doudou Hei,
Xinmin Hou,
Boyuan Liu
Abstract:
For graphs $H$ and $F$ with chromatic number $χ(F)=k$, we call $H$ strictly $F$-Turán-good (or $(H, F)$ strictly Turán-good) if the Turán graph $T_{k-1}(n)$ is the unique $F$-free graph on $n$ vertices containing the largest number of copies of $H$ when $n$ is large enough. Let $F$ be a graph with chromatic number $χ(F)\geq 3$ and a color-critical edge and let $P_\ell$ be a path with $\ell$ vertic…
▽ More
For graphs $H$ and $F$ with chromatic number $χ(F)=k$, we call $H$ strictly $F$-Turán-good (or $(H, F)$ strictly Turán-good) if the Turán graph $T_{k-1}(n)$ is the unique $F$-free graph on $n$ vertices containing the largest number of copies of $H$ when $n$ is large enough. Let $F$ be a graph with chromatic number $χ(F)\geq 3$ and a color-critical edge and let $P_\ell$ be a path with $\ell$ vertices. Gerbner and Palmer (2020, arXiv:2006.03756) showed that $(P_3, F)$ is strictly Turán good if $χ(H)\ge 4$ and they conjectured that (a) this result is true when $χ(F)=3$, and, moreover, (b) $(P_\ell, K_k)$ is Turán-good for every pair of integers $\ell$ and $k$. In the present paper, we show that $(H, F)$ is strictly Turán-good when $H$ is a bipartite graph with matching number $ν(H)=\lfloor \frac{|V(H)|}{2}\rfloor$ and $χ(F)= 3$, as a corollary, this result confirms the conjecture (a); we also prove that $(P_\ell, F)$ is strictly Turán-good for $2\le\ell\leq 6$ and $χ(F)\ge 4$, this also confirms the conjecture (b) for $2\le\ell\leq 6$ and $k\ge 4$.
△ Less
Submitted 23 April, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Entropy of irregular points that are not uniformly hyperbolic
Authors:
Xiaobo Hou,
Xueting Tian
Abstract:
In this article we prove that for a $C^{1+α}$ diffeomorphism on a compact Riemannian manifold, if there is a hyperbolic ergodic measure whose support is not uniformly hyperbolic, then the topological entropy of the set of irregular points that are not uniformly hyperbolic is larger than or equal to the metric entropy of the hyperbolic ergodic measure. In the process of proof, we give an abstract g…
▽ More
In this article we prove that for a $C^{1+α}$ diffeomorphism on a compact Riemannian manifold, if there is a hyperbolic ergodic measure whose support is not uniformly hyperbolic, then the topological entropy of the set of irregular points that are not uniformly hyperbolic is larger than or equal to the metric entropy of the hyperbolic ergodic measure. In the process of proof, we give an abstract general mechanism to study topological entropy of irregular points provided that the system has a sequence of nondecreasing invariant compact subsets such that every subsystem has shadowing property and is transitive.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
New Results on Permutation Binomials of Finite Fields
Authors:
Xiang-dong Hou,
Vincenzo Pallozzi Lavorante
Abstract:
After a brief review of existing results on permutation binomials of finite fields, we introduce the notion of equivalence among permutation binomials (PBs) and describe how to bring a PB to its canonical form under equivalence. We then focus on PBs of $\Bbb F_{q^2}$ of the form $X^n(X^{d(q-1)}+a)$, where $n$ and $d$ are positive integers and $a\in\Bbb F_{q^2}^*$. Our contributions include two non…
▽ More
After a brief review of existing results on permutation binomials of finite fields, we introduce the notion of equivalence among permutation binomials (PBs) and describe how to bring a PB to its canonical form under equivalence. We then focus on PBs of $\Bbb F_{q^2}$ of the form $X^n(X^{d(q-1)}+a)$, where $n$ and $d$ are positive integers and $a\in\Bbb F_{q^2}^*$. Our contributions include two nonexistence results: (1) If $q$ is even and sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{3(q-1)}+a)$ is not a PB of $\Bbb F_{q^2}$. (2) If $2\le d\mid q+1$, $q$ is sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{d(q-1)}+a)$ is not a PB of $\Bbb F_{q^2}$ under certain additional conditions. (1) partially confirms a recent conjecture by Tu et al. (2) is an extension of a previous result with $n=1$.
△ Less
Submitted 16 January, 2022; v1 submitted 11 November, 2021;
originally announced November 2021.
-
Strongly distributional chaos of irregular orbits that are not uniformly hyperbolic
Authors:
Xiaobo Hou,
Xueting Tian
Abstract:
In this article we prove that for a diffeomorphism on a compact Riemannian manifold, if there is a nontrival homoclinic class that is not uniformly hyperbolic or the diffeomorphism is a $C^{1+α}$ and there is a hyperbolic ergodic measure whose support is not uniformly hyperbolic, then we find a type of strongly distributional chaos which is stronger than usual distributional chaos and Li-Yorke cha…
▽ More
In this article we prove that for a diffeomorphism on a compact Riemannian manifold, if there is a nontrival homoclinic class that is not uniformly hyperbolic or the diffeomorphism is a $C^{1+α}$ and there is a hyperbolic ergodic measure whose support is not uniformly hyperbolic, then we find a type of strongly distributional chaos which is stronger than usual distributional chaos and Li-Yorke chaos in the set of irregular orbits that are not uniformly hyperbolic. Meanwhile, we prove that various fractal sets are strongly distributional chaotic, such as irregular sets, level sets, several recurrent level sets of points with different recurrent frequency, and some intersections of these fractal sets. In the process of proof, we give an abstract general mechanism to study strongly distributional chaos provided that the system has a sequence of nondecreasing invariant compact subsets such that every subsystem has exponential specification property, or has exponential shadowing property and transitivity. The advantage of this abstract framework is that it is not only applicable in systems with specification property including transitive Anosov diffeomorphisms, mixing expanding maps, mixing subshifts of finite type and mixing sofic subshifts but also applicable in systems without specification property including $β$-shifts, Katok map, generic systems in the space of robustly transitive diffeomorphisms and generic volume-preserving diffeomorphisms.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Rainbow independent sets in graphs with maximum degree two
Authors:
Yue Ma,
Xinmin Hou,
Jun Gao,
Boyuan Liu,
Zhi Yin
Abstract:
Given a graph $G$, let $f_{G}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in $G$ have a rainbow $m$-set. Let $\mathcal{D}(2)$ be the family of all graphs with maximum degree at most two. Aharoni et al. (2019) conjectured that (i) $f_G(n,n-1)=n-1$ for all graphs $G\in\mathcal{D}(2)$ and (ii) $f_{C_t}(n,n)=n$ for $t\ge 2n+1$. Lv and Lu (2020) showed that the conjecture (…
▽ More
Given a graph $G$, let $f_{G}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in $G$ have a rainbow $m$-set. Let $\mathcal{D}(2)$ be the family of all graphs with maximum degree at most two. Aharoni et al. (2019) conjectured that (i) $f_G(n,n-1)=n-1$ for all graphs $G\in\mathcal{D}(2)$ and (ii) $f_{C_t}(n,n)=n$ for $t\ge 2n+1$. Lv and Lu (2020) showed that the conjecture (ii) holds when $t=2n+1$. In this article, we show that the conjecture (ii) holds for $t\ge\frac{1}{3}n^2+\frac{44}{9}n$. Let $C_t$ be a cycle of length $t$ with vertices being arranged in a clockwise order. An ordered set $I=(a_1,a_2,\ldots,a_n)$ on $C_t$ is called a $2$-jump independent $n$-set of $C_t$ if $a_{i+1}-a_i=2\pmod{t}$ for any $1\le i\le n-1$. We also show that a collection of 2-jump independent $n$-sets $\mathcal{F}$ of $C_t$ with $|\mathcal{F}|=n$ admits a rainbow independent $n$-set, i.e. (ii) holds if we restrict $\mathcal{F}$ on the family of 2-jump independent $n$-sets. Moreover, we prove that if the conjecture (ii) holds, then (i) holds for all graphs $G\in\mathcal{D}(2)$ with $c_e(G)\le 4$, where $c_e(G)$ is the number of components of $G$ isomorphic to cycles of even lengths.
△ Less
Submitted 23 August, 2021; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Ergodic Average Of Typical Orbits And Typical Functions
Authors:
Xiaobo Hou,
Wanshan Lin,
Xueting Tian
Abstract:
In this article we mainly aim to know what kind of asymptotic behavior of typical orbits can display. For example, we show in any transitive system, the emprical measures of a typical orbit can cover all emprical measures of dense orbits and can intersect some physical-like measures. In particular, if the union set of emprical measures of all dense orbits is not singleton, then the typical orbit w…
▽ More
In this article we mainly aim to know what kind of asymptotic behavior of typical orbits can display. For example, we show in any transitive system, the emprical measures of a typical orbit can cover all emprical measures of dense orbits and can intersect some physical-like measures. In particular, if the union set of emprical measures of all dense orbits is not singleton, then the typical orbit will display historic behavior simultaneously for typical continuous functions and the limit set of ergodic average along every continuous function equals to a closed interval composed by the union of limit sets of ergodic average on all dense orbits. Moreover, if the union set of emprical measures of all dense orbits contains all ergodic measures, the above interval equals to the rotation set. These results are not only suitable for systems with specification-like properties or minimal systems, but also suitable for many other systems including all general (not assumed uniformly hyperbolic) nontrivial homoclinic classes and Bowen eyes. Moreover, we introduce a new property called m-g-product property weaker than classical specification property and minimal property and nontrivial examples are constructed.
△ Less
Submitted 12 November, 2021; v1 submitted 30 June, 2021;
originally announced July 2021.
-
Strongly connected orientation with minimum lexicographic order of indegrees
Authors:
Hongyu Zhou,
Xinmin Hou
Abstract:
Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we…
▽ More
Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we give a positive answer to the conjecture, that is we show that the algorithm SC-PATH-REVERSAL finds a strongly connected orientation that minimizes the lexicographic order of indegrees.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Topological structures on saturated sets, optimal orbits and equilibrium states
Authors:
Xiaobo Hou,
Xueting Tian,
Yiwei Zhang
Abstract:
Pfister and Sullivan proved that if a topological dynamical system $(X,T)$ satisfies almost product property and uniform separation property, then for each nonempty compact %convex subset $K$ of invariant measures, the entropy of saturated set $G_{K}$ satisfies \begin{equation}\label{Bowen's topological entropy}
h_{top}^{B}(T,G_{K})=\inf\{h(T,μ):μ\in K\}, \end{equation} where…
▽ More
Pfister and Sullivan proved that if a topological dynamical system $(X,T)$ satisfies almost product property and uniform separation property, then for each nonempty compact %convex subset $K$ of invariant measures, the entropy of saturated set $G_{K}$ satisfies \begin{equation}\label{Bowen's topological entropy}
h_{top}^{B}(T,G_{K})=\inf\{h(T,μ):μ\in K\}, \end{equation} where $h_{top}^{B}(T,G_{K})$ is Bowen's topological entropy of $T$ on $G_{K}$, and $h(T,μ)$ is the Kolmogorov-Sinai entropy of $μ$. In this paper, we investigate topological complexity of $G_{K}$ by replacing Bowen's topological entropy with upper capacity entropy and packing entropy and obtain the following formulas: \begin{equation*}
h_{top}^{UC}(T,G_{K})=h_{top}(T,X)\ \mathrm{and}\ h_{top}^{P}(T,G_{K})=\sup\{h(T,μ):μ\in K\}, \end{equation*} where $h_{top}^{UC}(T,G_{K})$ is the upper capacity entropy of $T$ on $G_{K}$ and $h_{top}^{P}(T,G_{K})$ is the packing entropy of $T$ on $G_{K}.$ In the proof of these two formulas, uniform separation property is unnecessary.
△ Less
Submitted 27 July, 2021; v1 submitted 17 December, 2020;
originally announced December 2020.
-
On a radical extension of the field of rational functions in several variables
Authors:
Xiang-dong Hou,
Christopher Sze
Abstract:
Let $F$ be a field and let $F(X_1,\dots,X_n)$ be the field of rational functions in $n$ variables $X_1,\dots,X_n$ over $F$. Let $T=X_1+\cdots+X_n\in F(X_1,\dots,X_n)$ and let $m$ be a positive integer such that $\text{char}\,F\nmid m$. Is it possible to express each $X_i$ as a rational function in $X_1^m\dots,X_n^m$ and $T$ over $F$? It is not difficult to prove that this can be done but it is ano…
▽ More
Let $F$ be a field and let $F(X_1,\dots,X_n)$ be the field of rational functions in $n$ variables $X_1,\dots,X_n$ over $F$. Let $T=X_1+\cdots+X_n\in F(X_1,\dots,X_n)$ and let $m$ be a positive integer such that $\text{char}\,F\nmid m$. Is it possible to express each $X_i$ as a rational function in $X_1^m\dots,X_n^m$ and $T$ over $F$? It is not difficult to prove that this can be done but it is another matter to show how this is done. We answer the above question affirmatively with a nonconstructive proof and a constructive proof.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Star edge-coloring of some special graphs
Authors:
Xuling Hou,
Lingxi Li,
Tao Wang
Abstract:
The star chromatic index of a multigraph $G$, denoted by $χ_{\mathrm{star}}'(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length $4$ is bicolored. In this paper, we study the star edge-coloring of Halin graphs, $k$-power graphs and the generalized Petersen graphs $P(3n, n)$.
The star chromatic index of a multigraph $G$, denoted by $χ_{\mathrm{star}}'(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length $4$ is bicolored. In this paper, we study the star edge-coloring of Halin graphs, $k$-power graphs and the generalized Petersen graphs $P(3n, n)$.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
The Turán number for the edge blow-up of trees
Authors:
Anyao Wang,
Xinmin Hou,
Boyuan Liu,
Yue Ma
Abstract:
The edge blow-up of a graph $F$ is the graph obtained from replacing each edge in $F$ by a clique of the same size where the new vertices of the cliques are all different. In this article, we concern about the Turán problem for the edge blow-up of trees. Erdős et al. (1995) and Chen et al. (2003) solved the problem for stars. The problem for paths was resolved by Glebov (2011). Liu (2013) extended…
▽ More
The edge blow-up of a graph $F$ is the graph obtained from replacing each edge in $F$ by a clique of the same size where the new vertices of the cliques are all different. In this article, we concern about the Turán problem for the edge blow-up of trees. Erdős et al. (1995) and Chen et al. (2003) solved the problem for stars. The problem for paths was resolved by Glebov (2011). Liu (2013) extended the above results to cycles and a special family of trees with the minimum degree at most two in the smaller color class (paths and proper subdivisions of stars were included in the family). In this article, we extend Liu's result to all the trees with the minimum degree at least two in the smaller color class. Combining with Liu's result, except one particular case, the Turán problem for the edge blow-up of trees is completely resolved. Moreover, we determine the maximum number of edges in the family of $\{K_{1,k}, kK_2, 2K_{1,k-1}\}$-free graphs and the extremal graphs, which is an extension of a result given by Abbott et al. (1972).
△ Less
Submitted 23 August, 2020;
originally announced August 2020.
-
on a conjecture on permutation rational functions over finite fields
Authors:
Daniele Bartoli,
Xiang-dong Hou
Abstract:
Let $p$ be a prime and $n$ be a positive integer, and consider $f_b(X)=X+(X^p-X+b)^{-1}\in \Bbb F_p(X)$, where $b\in\Bbb F_{p^n}$ is such that $\text{Tr}_{p^n/p}(b)\ne 0$. It is known that (i) $f_b$ permutes $\Bbb F_{p^n}$ for $p=2,3$ and all $n\ge 1$; (ii) for $p>3$ and $n=2$, $f_b$ permutes $\Bbb F_{p^2}$ if and only if $\text{Tr}_{p^2/p}(b)=\pm 1$; and (iii) for $p>3$ and $n\ge 5$, $f_b$ does n…
▽ More
Let $p$ be a prime and $n$ be a positive integer, and consider $f_b(X)=X+(X^p-X+b)^{-1}\in \Bbb F_p(X)$, where $b\in\Bbb F_{p^n}$ is such that $\text{Tr}_{p^n/p}(b)\ne 0$. It is known that (i) $f_b$ permutes $\Bbb F_{p^n}$ for $p=2,3$ and all $n\ge 1$; (ii) for $p>3$ and $n=2$, $f_b$ permutes $\Bbb F_{p^2}$ if and only if $\text{Tr}_{p^2/p}(b)=\pm 1$; and (iii) for $p>3$ and $n\ge 5$, $f_b$ does not permute $\Bbb F_{p^n}$. It has been conjectured that for $p>3$ and $n=3,4$, $f_b$ does not permute $\Bbb F_{p^n}$. We prove this conjecture for sufficiently large $p$.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
On the Number of Affine Equivalence Classes of Boolean Functions
Authors:
Xiang-dong Hou
Abstract:
Let $R(r,n)$ be the $r$th order Reed-Muller code of length $2^n$. The affine linear group $\text{AGL}(n,\Bbb F_2)$ acts naturally on $R(r,n)$. We derive two formulas concerning the number of orbits of this action: (i) an explicit formula for the number of AGL orbits of $R(n,n)$, and (ii) an asymptotic formula for the number of AGL orbits of $R(n,n)/R(1,n)$. The number of AGL orbits of $R(n,n)$ has…
▽ More
Let $R(r,n)$ be the $r$th order Reed-Muller code of length $2^n$. The affine linear group $\text{AGL}(n,\Bbb F_2)$ acts naturally on $R(r,n)$. We derive two formulas concerning the number of orbits of this action: (i) an explicit formula for the number of AGL orbits of $R(n,n)$, and (ii) an asymptotic formula for the number of AGL orbits of $R(n,n)/R(1,n)$. The number of AGL orbits of $R(n,n)$ has been numerically computed by several authors for $n\le 10$; result (i) is a theoretic solution to the question. Result (ii) answers a question by MacWilliams and Sloane.
△ Less
Submitted 18 August, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
Rational functions of Degree Four that Permute the Projective Line over a Finite Field
Authors:
Xiang-dong Hou
Abstract:
Recently, rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over a finite field $ \Bbb F_q$ were determined by Ferraguti and Micheli. In the present paper, using a different method, we determine all rational functions of degree four that permute the $\Bbb P^1(\Bbb F_q)$.
Recently, rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over a finite field $ \Bbb F_q$ were determined by Ferraguti and Micheli. In the present paper, using a different method, we determine all rational functions of degree four that permute the $\Bbb P^1(\Bbb F_q)$.
△ Less
Submitted 16 August, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
A Dirac-type theorem for uniform hypergraphs
Authors:
Yue Ma,
Xinmin Hou,
Jun Gao
Abstract:
Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018).…
▽ More
Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018). Füredi, Kostochka, and Luo (2019) gave a connected version of the Erdős-Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem: Given positive integers $n,k$ and $r$, let $H$ be a connected $n$-vertex $r$-graph with no Berge path of length $2k+1$. We show that (1) If $k> r\ge 4$ and $n>2k+1$, then $δ_1(H)\le\binom{k}{r-1}$. Furthermore, the equality holds if and only if $S'_r(n,k)\subseteq H\subseteq S_r(n,k)$ or $H\cong S(sK_{k+1}^{(r)},1)$; (2) If $k\ge r\ge 2$ and $n>2k(r-1)$, then $δ_1(H)\le \binom{k}{r-1}$. The result is also a Dirac-type version of the result of Füredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al.~(1976) and Clemens et al. (2016), respectively.
△ Less
Submitted 23 August, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Absolutely Continuous Spectrum of Multifrequency Quasiperiodic Schrödinger operator
Authors:
Xuanji Hou,
**g Wang,
Qi Zhou
Abstract:
In this paper, we prove that for any $d$-frequency analytic quasiperiodic Schrödinger operator, if the frequency is weak Liouvillean, and the potential is small enough, then the corresponding operator has absolutely continuous spectrum. Moreover, in the case $d=2$, we even establish the existence of ac spectrum under small potential and some super-Liouvillean frequency, and this result is optimal…
▽ More
In this paper, we prove that for any $d$-frequency analytic quasiperiodic Schrödinger operator, if the frequency is weak Liouvillean, and the potential is small enough, then the corresponding operator has absolutely continuous spectrum. Moreover, in the case $d=2$, we even establish the existence of ac spectrum under small potential and some super-Liouvillean frequency, and this result is optimal due to a recent counterexample of Avila and Jitomirskaya.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
A power sum formula by Carlitz and its applications to permutation rational functions of finite fields
Authors:
Xiang-dong Hou
Abstract:
A formula discovered by L. Carlitz in 1935 finds an interesting application in permutation rational functions of finite fields. It allows us to determine all rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over $\Bbb F_q$, a result previously obtained by Ferraguti and Micheli through a different method. It also allows us to determine all rational functions…
▽ More
A formula discovered by L. Carlitz in 1935 finds an interesting application in permutation rational functions of finite fields. It allows us to determine all rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over $\Bbb F_q$, a result previously obtained by Ferraguti and Micheli through a different method. It also allows us to determine all rational functions of degree four that permute $\Bbb P^1(\Bbb F_q)$ under a certain condition. (A complete determination of all rational functions of degree four that permute $\Bbb P^1(\Bbb F_q)$ without any condition will appear in a separate forthcoming paper.)
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
