-
An analogue of the Erd{\H o}s Matching Conjecture for permutations with fixed number of cycles
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For each integer $k\geq 1$, let $S_{n,k}$ be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles.
A subset $H\subseteq S_{n,k}$ is to be a matching if $π_1$ and $π_2$ do not have any common cycles for all distinct $π_1,π_2\in H$. The matching number of a family $\mathcal A\subseteq S_{n,k}$ is denoted by…
▽ More
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For each integer $k\geq 1$, let $S_{n,k}$ be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles.
A subset $H\subseteq S_{n,k}$ is to be a matching if $π_1$ and $π_2$ do not have any common cycles for all distinct $π_1,π_2\in H$. The matching number of a family $\mathcal A\subseteq S_{n,k}$ is denoted by $ν_{p}(\mathcal A)$ and is defined to be the size of the largest matching in $\mathcal A$. In this paper, we determine the maximum size of a family $\mathcal A\subseteq S_{n,k}$ subject to the condition $ν_p(\mathcal A)\leq s$.
△ Less
Submitted 25 August, 2025;
originally announced August 2025.
-
An exceptional equinumerosity of lattice paths and Young tableaux
Authors:
Liam Ayres,
Evan Bialo,
Aidan Cook,
Alwin Chen,
Matteus Froese,
Erica Liu,
Maryam Mohammadi Yekta,
Oliver Pechenik,
Benjamin Wong
Abstract:
We consider families $\mathcal{P}_n$ of plane lattice paths enumerated by Guy, Krattenthaler, and Sagan (1992). We show by explicit bijection that these families are equinumerous with the set $\mathrm{SYT}(n+2,2,1^n)$ of standard Young tableaux.
We consider families $\mathcal{P}_n$ of plane lattice paths enumerated by Guy, Krattenthaler, and Sagan (1992). We show by explicit bijection that these families are equinumerous with the set $\mathrm{SYT}(n+2,2,1^n)$ of standard Young tableaux.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Local Rigidity of the Bergman Metric and of the Kähler Carathéodory Metric
Authors:
Robert Xin Dong,
Ruoyi Wang,
Bun Wong
Abstract:
We prove that if the Carathéodory metric on a strictly pseudoconvex domain with a smooth boundary is locally Kähler near the boundary, then the domain is biholomorphic to a ball. We also establish a local rigidity theorem for domains with Bergman metrics of constant holomorphic sectional curvature, and highlight this relationship with the Lu constant.
We prove that if the Carathéodory metric on a strictly pseudoconvex domain with a smooth boundary is locally Kähler near the boundary, then the domain is biholomorphic to a ball. We also establish a local rigidity theorem for domains with Bergman metrics of constant holomorphic sectional curvature, and highlight this relationship with the Lu constant.
△ Less
Submitted 26 February, 2025; v1 submitted 18 August, 2024;
originally announced August 2024.
-
Correction terms of double branched covers and symmetries of immersed curves
Authors:
Jonathan Hanselman,
Marco Marengon,
Biji Wong
Abstract:
We use the immersed curves description of bordered Floer homology to study $d$-invariants of double branched covers $Σ_2(L)$ of arborescent links $L \subset S^3$. We define a new invariant $Δ_{sym}$ of bordered $\mathbb{Z}_2$-homology solid tori from an involution of the associated immersed curves and relate it to both the $d$-invariants and the Neumann-Siebenmann $\barμ$-invariants of certain fil…
▽ More
We use the immersed curves description of bordered Floer homology to study $d$-invariants of double branched covers $Σ_2(L)$ of arborescent links $L \subset S^3$. We define a new invariant $Δ_{sym}$ of bordered $\mathbb{Z}_2$-homology solid tori from an involution of the associated immersed curves and relate it to both the $d$-invariants and the Neumann-Siebenmann $\barμ$-invariants of certain fillings. We deduce that if $L$ is a 2-component arborescent link and $Σ_2(L)$ is an L-space, then the spin $d$-invariants of $Σ_2(L)$ are determined by the signatures of $L$. By a separate argument, we show that the same relationship holds when $L$ is a 2-component link that admits a certain symmetry.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
The Ramsey numbers for trees of order $n$ with maximum degree at least $n-5$ versus the wheel graph of order nine
Authors:
Zhi Yee Chng,
Thomas Britz,
Ta Sheng Tan,
Kok Bin Wong
Abstract:
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Enhancing Optimization Performance: A Novel Hybridization of Gaussian Crunching Search and Powell's Method for Derivative-Free Optimization
Authors:
Benny Wong
Abstract:
This research paper presents a novel approach to enhance optimization performance through the hybridization of Gaussian Crunching Search (GCS) and Powell's Method for derivative-free optimization. While GCS has shown promise in overcoming challenges faced by traditional derivative-free optimization methods [1], it may not always excel in finding the local minimum. On the other hand, some tradition…
▽ More
This research paper presents a novel approach to enhance optimization performance through the hybridization of Gaussian Crunching Search (GCS) and Powell's Method for derivative-free optimization. While GCS has shown promise in overcoming challenges faced by traditional derivative-free optimization methods [1], it may not always excel in finding the local minimum. On the other hand, some traditional methods may have better performance in this regard. However, GCS demonstrates its strength in escaping the trap of local minima and approaching the global minima. Through experimentation, we discovered that by combining GCS with certain traditional derivative-free optimization methods, we can significantly boost performance while retaining the respective advantages of each method. This hybrid approach opens up new possibilities for optimizing complex systems and finding optimal solutions in a range of applications.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
A new derivative-free optimization method: Gaussian Crunching Search
Authors:
Benny Wong
Abstract:
Optimization methods are essential in solving complex problems across various domains. In this research paper, we introduce a novel optimization method called Gaussian Crunching Search (GCS). Inspired by the behaviour of particles in a Gaussian distribution, GCS aims to efficiently explore the solution space and converge towards the global optimum. We present a comprehensive analysis of GCS, inclu…
▽ More
Optimization methods are essential in solving complex problems across various domains. In this research paper, we introduce a novel optimization method called Gaussian Crunching Search (GCS). Inspired by the behaviour of particles in a Gaussian distribution, GCS aims to efficiently explore the solution space and converge towards the global optimum. We present a comprehensive analysis of GCS, including its working mechanism, and potential applications. Through experimental evaluations and comparisons with existing optimization methods, we highlight the advantages and strengths of GCS. This research paper serves as a valuable resource for researchers, practitioners, and students interested in optimization, providing insights into the development and potential of Gaussian Crunching Search as a new and promising approach.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Bergman representative coordinate, constant holomorphic curvature and a multidimensional generalization of Carathéodory's theorem
Authors:
Robert Xin Dong,
Bun Wong
Abstract:
By using the Bergman representative coordinate and Calabi's diastasis, we extend a theorem of Lu to bounded pseudoconvex domains whose Bergman metric is incomplete with constant holomorphic sectional curvature. We characterize such domains that are biholomorphic to a ball possibly less a relatively closed pluripolar set. We also provide a multidimensional generalization of Carathéodory's theorem o…
▽ More
By using the Bergman representative coordinate and Calabi's diastasis, we extend a theorem of Lu to bounded pseudoconvex domains whose Bergman metric is incomplete with constant holomorphic sectional curvature. We characterize such domains that are biholomorphic to a ball possibly less a relatively closed pluripolar set. We also provide a multidimensional generalization of Carathéodory's theorem on the continuous extension of the biholomorphisms up to the closures. In particular, sufficient conditions are given, in terms of the Bergman kernel, for the boundary of a biholomorphic ball to be a topological sphere.
△ Less
Submitted 27 May, 2025; v1 submitted 18 September, 2022;
originally announced September 2022.
-
On the surplus management of funds with assets and liabilities in presence of solvency requirements
Authors:
Benjamin Avanzi,
Ping Chen,
Lars Frederik Brandt Henriksen,
Bernard Wong
Abstract:
In this paper we consider a company whose assets and liabilities evolve according to a correlated bivariate geometric Brownian motion, such as in Gerber and Shiu (2003). We determine what dividend strategy maximises the expected present value of dividends until ruin in two cases: (i) when shareholders won't cover surplus shortfalls and a solvency constraint (as in Paulsen, 2003) is consequently im…
▽ More
In this paper we consider a company whose assets and liabilities evolve according to a correlated bivariate geometric Brownian motion, such as in Gerber and Shiu (2003). We determine what dividend strategy maximises the expected present value of dividends until ruin in two cases: (i) when shareholders won't cover surplus shortfalls and a solvency constraint (as in Paulsen, 2003) is consequently imposed, and (ii) when shareholders are always to fund any capital deficiency with capital (asset) injections. In the latter case, ruin will never occur and the objective is to maximise the difference between dividends and capital injections.
Developing and using appropriate verification lemmas, we show that the optimal dividend strategy is, in both cases, of barrier type. Both value functions are derived in closed form. Furthermore, the barrier is defined on the ratio of assets to liabilities, which mimics some of the dividend strategies that can be observed in practice by insurance companies. Existence and uniqueness of the optimal strategies are shown. Results are illustrated.
△ Less
Submitted 5 August, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Bergman-Calabi diastasis and Kähler metric of constant holomorphic sectional curvature
Authors:
Robert Xin Dong,
Bun Wong
Abstract:
We prove that for a bounded domain in $\mathbb C^n$ with the Bergman metric of constant holomorphic sectional curvature being biholomorphic to a ball is equivalent to the hyperconvexity or the exhaustiveness of the Bergman-Calabi diastasis. By finding its connection with the Bergman representative coordinate, we give explicit formulas of the Bergman-Calabi diastasis and show that it has bounded gr…
▽ More
We prove that for a bounded domain in $\mathbb C^n$ with the Bergman metric of constant holomorphic sectional curvature being biholomorphic to a ball is equivalent to the hyperconvexity or the exhaustiveness of the Bergman-Calabi diastasis. By finding its connection with the Bergman representative coordinate, we give explicit formulas of the Bergman-Calabi diastasis and show that it has bounded gradient. In particular, we prove that any bounded domain whose Bergman metric has constant holomorphic sectional curvature is Lu Qi-Keng. We also extend a theorem of Lu towards the incomplete situation and characterize pseudoconvex domains that are biholomorphic to a ball possibly less a relatively closed pluripolar set.
△ Less
Submitted 28 September, 2021; v1 submitted 2 September, 2021;
originally announced September 2021.
-
On the optimality of joint periodic and extraordinary dividend strategies
Authors:
Benjamin Avanzi,
Hayden Lau,
Bernard Wong
Abstract:
In this paper, we model the cash surplus (or equity) of a risky business with a Brownian motion. Owners can take cash out of the surplus in the form of "dividends", subject to transaction costs. However, if the surplus hits 0 then ruin occurs and the business cannot operate any more.
We consider two types of dividend distributions: (i) periodic, regular ones (that is, dividends can be paid only…
▽ More
In this paper, we model the cash surplus (or equity) of a risky business with a Brownian motion. Owners can take cash out of the surplus in the form of "dividends", subject to transaction costs. However, if the surplus hits 0 then ruin occurs and the business cannot operate any more.
We consider two types of dividend distributions: (i) periodic, regular ones (that is, dividends can be paid only at countable many points in time, according to a specific arrival process); and (ii) extraordinary dividend payments that can be made immediately at any time (that is, the dividend decision time space is continuous and matches that of the surplus process). Both types of dividends attract proportional transaction costs, and extraordinary distributions also attracts fixed transaction costs, a realistic feature. A dividend strategy that involves both types of distributions (periodic and extraordinary) is qualified as "hybrid".
We determine which strategies (either periodic, immediate, or hybrid) are optimal, that is, we show which are the strategies that maximise the expected present value of dividends paid until ruin, net of transaction costs. Sometimes, a liquidation strategy (which pays out all monies and stops the process) is optimal. Which strategy is optimal depends on the profitability of the business, and the level of (proportional and fixed) transaction costs. Results are illustrated.
△ Less
Submitted 2 December, 2020; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Twisted Mazur pattern satellite knots and bordered Floer theory
Authors:
Ina Petkova,
Biji Wong
Abstract:
We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots $Q_{n}(K)$. We prove that $Q_n(K)$ is not Floer homologically thin, with two exceptions. We calculate the 3-genus of $Q_{n}(K)$ in terms of the twisting parameter $n$ and the 3-genus of the companion $K$, and we determine when $Q_n(K)$ is fibered. As an application to our results on Floer thickness and 3-genu…
▽ More
We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots $Q_{n}(K)$. We prove that $Q_n(K)$ is not Floer homologically thin, with two exceptions. We calculate the 3-genus of $Q_{n}(K)$ in terms of the twisting parameter $n$ and the 3-genus of the companion $K$, and we determine when $Q_n(K)$ is fibered. As an application to our results on Floer thickness and 3-genus, we verify the Cosmetic Surgery Conjecture for many of these satellite knots.
△ Less
Submitted 19 March, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Optimal periodic dividend strategies for spectrally negative Lévy processes with fixed transaction costs
Authors:
Benjamin Avanzi,
Hayden Lau,
Bernard Wong
Abstract:
Maximising dividends is one classical stability criterion in actuarial risk theory. Motivated by the fact that dividends are paid periodically in real life, $\textit{periodic}$ dividend strategies were recently introduced (Albrecher, Gerber and Shiu, 2011). In this paper, we incorporate fixed transaction costs into the model and study the optimal periodic dividend strategy with fixed transaction c…
▽ More
Maximising dividends is one classical stability criterion in actuarial risk theory. Motivated by the fact that dividends are paid periodically in real life, $\textit{periodic}$ dividend strategies were recently introduced (Albrecher, Gerber and Shiu, 2011). In this paper, we incorporate fixed transaction costs into the model and study the optimal periodic dividend strategy with fixed transaction costs for spectrally negative Lévy processes.
The value function of a periodic $(b_u,b_l)$ strategy is calculated by means of exiting identities and Itô's excusion when the surplus process is of unbounded variation. We show that a sufficient condition for optimality is that the Lévy measure admits a density which is completely monotonic. Under such assumptions, a periodic $(b_u,b_l)$ strategy is confirmed to be optimal.
Results are illustrated.
△ Less
Submitted 3 December, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Optimal periodic dividend strategies for spectrally positive Lévy risk processes with fixed transaction costs
Authors:
Benjamin Avanzi,
Hayden Lau,
Bernard Wong
Abstract:
We consider the general class of spectrally positive Lévy risk processes, which are appropriate for businesses with continuous expenses and lump sum gains whose timing and sizes are stochastic. Motivated by the fact that dividends cannot be paid at any time in real life, we study $\textit{periodic}$ dividend strategies whereby dividend decisions are made according to a separate arrival process.…
▽ More
We consider the general class of spectrally positive Lévy risk processes, which are appropriate for businesses with continuous expenses and lump sum gains whose timing and sizes are stochastic. Motivated by the fact that dividends cannot be paid at any time in real life, we study $\textit{periodic}$ dividend strategies whereby dividend decisions are made according to a separate arrival process.
In this paper, we investigate the impact of fixed transaction costs on the optimal periodic dividend strategy, and show that a periodic $(b_u,b_l)$ strategy is optimal when decision times arrive according to an independent Poisson process. Such a strategy leads to lump sum dividends that bring the surplus back to $b_l$ as long as it is no less than $b_u$ at a dividend decision time. The expected present value of dividends (net of transaction costs) is provided explicitly with the help of scale functions. Results are illustrated.
△ Less
Submitted 28 May, 2020; v1 submitted 30 March, 2020;
originally announced March 2020.
-
A counterexample to the central limit theorem for pairwise independent random variables having a common arbitrary margin
Authors:
Benjamin Avanzi,
Guillaume Boglioni Beaulieu,
Pierre Lafaye de Micheaux,
Frédéric Ouimet,
Bernard Wong
Abstract:
The Central Limit Theorem (CLT) is one of the most fundamental results in statistics. It states that the standardized sample mean of a sequence of $n$ mutually independent and identically distributed random variables with finite first and second moments converges in distribution to a standard Gaussian as $n$ goes to infinity. In particular, pairwise independence of the sequence is generally not su…
▽ More
The Central Limit Theorem (CLT) is one of the most fundamental results in statistics. It states that the standardized sample mean of a sequence of $n$ mutually independent and identically distributed random variables with finite first and second moments converges in distribution to a standard Gaussian as $n$ goes to infinity. In particular, pairwise independence of the sequence is generally not sufficient for the theorem to hold. We construct explicitly a sequence of pairwise independent random variables having a common but arbitrary marginal distribution $F$ (satisfying very mild conditions) for which the CLT is not verified. We study the extent of this 'failure' of the CLT by obtaining, in closed form, the asymptotic distribution of the sample mean of our sequence. This is illustrated through several theoretical examples, for which we provide associated computing codes in the R language.
△ Less
Submitted 27 March, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
A Floer homology invariant for $3$-orbifolds via bordered Floer theory
Authors:
Biji Wong
Abstract:
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds, $\widehat{\mathit{HFO}}$ behaves like $\widehat{\mathit{HF}}$ in that…
▽ More
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds, $\widehat{\mathit{HFO}}$ behaves like $\widehat{\mathit{HF}}$ in that $\widehat{\mathit{HFO}}$, together with a relative $\mathbb{Z}_2$-grading, categorifies the order of $H_1^{\text{orb}}$. When $Y^{\text{orb}}$ arises as Dehn surgery on an integer-framed knot in $S^3$, we use the $\{-1,0,1\}$-valued knot invariant $\varepsilon$ to determine the relationship between $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ and $\widehat{\mathit{HF}}(Y)$ of the $3$-manifold $Y$ underlying $Y^{\text{orb}}$.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Reduction of manifolds with semi-negative holomorphic sectional curvature
Authors:
Gordon Heier,
Steven S. Y. Lu,
Bun Wong,
Fangyang Zheng
Abstract:
In this note, we continue the investigation of a projective Kähler manifold $M$ of semi-negative holomorphic sectional curvature $H$. We introduce a new differential geometric numerical rank invariant which measures the number of linearly independent {\it truly flat} directions of $H$ in the tangent spaces. We prove that this invariant is bounded above by the nef dimension and bounded below by the…
▽ More
In this note, we continue the investigation of a projective Kähler manifold $M$ of semi-negative holomorphic sectional curvature $H$. We introduce a new differential geometric numerical rank invariant which measures the number of linearly independent {\it truly flat} directions of $H$ in the tangent spaces. We prove that this invariant is bounded above by the nef dimension and bounded below by the numerical Kodaira dimension of $M$. We also prove a splitting theorem for $M$ in terms of the nef dimension and, under some additional hypotheses, in terms of the new rank invariant.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
G-corks & Heegaard Floer Homology
Authors:
Biji Wong
Abstract:
Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not extend to diffeomorphisms of the entire manifold. We use a Heegaard Floer theoretic argument originating in work of Akbulut-Karakurt to give a different proof of thi…
▽ More
Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not extend to diffeomorphisms of the entire manifold. We use a Heegaard Floer theoretic argument originating in work of Akbulut-Karakurt to give a different proof of this phenomenon.
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
On optimal joint reflective and refractive dividend strategies in spectrally positive Lévy models
Authors:
Benjamin Avanzi,
José-Luis Pérez,
Bernard Wong,
Kazutoshi Yamazaki
Abstract:
The expected present value of dividends is one of the classical stability criteria in actuarial risk theory. In this context, numerous papers considered threshold (refractive) and barrier (reflective) dividend strategies. These were shown to be optimal in a number of different contexts for bounded and unbounded payout rates, respectively. In this paper, motivated by the behaviour of some dividend…
▽ More
The expected present value of dividends is one of the classical stability criteria in actuarial risk theory. In this context, numerous papers considered threshold (refractive) and barrier (reflective) dividend strategies. These were shown to be optimal in a number of different contexts for bounded and unbounded payout rates, respectively. In this paper, motivated by the behaviour of some dividend paying stock exchange companies, we determine the optimal dividend strategy when both continuous (refractive) and lump sum (reflective) dividends can be paid at any time, and if they are subject to different transaction rates. We consider the general family of spectrally positive Lévy processes. Using scale functions, we obtain explicit formulas for the expected present value of dividends until ruin, with a penalty at ruin. We develop a verification lemma, and show that a two-layer (a,b) strategy is optimal. Such a strategy pays continuous dividends when the surplus exceeds level a>0, and all of the excess over b>a as lump sum dividend payments. Results are illustrated.
△ Less
Submitted 3 November, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
Turaev Torsion Invariants of 3-orbifolds
Authors:
Biji Wong
Abstract:
We construct a combinatorial invariant of 3-orbifolds with singular set a link that generalizes the Turaev torsion invariant of 3-manifolds. We give several gluing formulas from which we derive two consequences. The first is an understanding of how the components of the invariant change when we remove a curve from the singular set. The second is a formula relating the invariant of the 3-orbifold t…
▽ More
We construct a combinatorial invariant of 3-orbifolds with singular set a link that generalizes the Turaev torsion invariant of 3-manifolds. We give several gluing formulas from which we derive two consequences. The first is an understanding of how the components of the invariant change when we remove a curve from the singular set. The second is a formula relating the invariant of the 3-orbifold to the Turaev torsion invariant of the underlying 3-manifold in the case when the singular set is a nullhomologous knot.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
On projective Kähler manifolds of partially positive curvature and rational connectedness
Authors:
Gordon Heier,
Bun Wong
Abstract:
In a previous paper, we proved that a projective Kähler manifold of positive total scalar curvature is uniruled. At the other end of the spectrum, it is a well-known theorem of Campana and Kollár-Miyaoka-Mori that a projective Kähler manifold of positive Ricci curvature is rationally connected. In the present work, we investigate the intermediate notion of $k$-positive Ricci curvature and prove th…
▽ More
In a previous paper, we proved that a projective Kähler manifold of positive total scalar curvature is uniruled. At the other end of the spectrum, it is a well-known theorem of Campana and Kollár-Miyaoka-Mori that a projective Kähler manifold of positive Ricci curvature is rationally connected. In the present work, we investigate the intermediate notion of $k$-positive Ricci curvature and prove that for a projective $n$-dimensional Kähler manifold of $k$-positive Ricci curvature the MRC fibration has generic fibers of dimension at least $n-k+1$. We also establish an analogous result for projective Kähler manifolds of semi-positive holomorphic sectional curvature based on an invariant which records the largest codimension of maximal subspaces in the tangent spaces on which the holomorphic sectional curvature vanishes. In particular, the latter result confirms a conjecture of S.-T. Yau in the projective case.
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
-
Cayley Graph on Symmetric Group Generated by Elements Fixing $k$ Points
Authors:
Kok Bin Wong,
Terry Lau,
Cheng Yeaw Ku
Abstract:
Let $\mathcal{S}_{n}$ be the symmetric group on $[n]=\{1, \ldots, n\}$. The $k$-point fixing graph $\mathcal{F}(n,k)$ is defined to be the graph with vertex set $\mathcal{S}_{n}$ and two vertices $g$, $h$ of $\mathcal{F}(n,k)$ are joined if and only if $gh^{-1}$ fixes exactly $k$ points. In this paper, we derive a recurrence formula for the eigenvalues of $\mathcal{F}(n,k)$. Then we apply our resu…
▽ More
Let $\mathcal{S}_{n}$ be the symmetric group on $[n]=\{1, \ldots, n\}$. The $k$-point fixing graph $\mathcal{F}(n,k)$ is defined to be the graph with vertex set $\mathcal{S}_{n}$ and two vertices $g$, $h$ of $\mathcal{F}(n,k)$ are joined if and only if $gh^{-1}$ fixes exactly $k$ points. In this paper, we derive a recurrence formula for the eigenvalues of $\mathcal{F}(n,k)$. Then we apply our result to determine the sign of the eigenvalues of $\mathcal{F}(n,1)$.
△ Less
Submitted 26 May, 2014;
originally announced May 2014.
-
Generalized inequalities on warped product submanifolds in nearly trans-Sasakian manifolds
Authors:
Abdulqader Mustafa,
Siraj Uddin,
B. R. Wong
Abstract:
In this paper, we study warped product submanifolds of nearly trans-Sasakian manifolds. The non-existence of the warped product semi-slant submanifolds of the type $N_θ\times{_{f}N_T}$ is shown, whereas some characterization and new geometric obstructions are obtained for the warped products of the type $N_T\times{_{f}N_θ}$. We establish two general inequalities for the squared norm of the second…
▽ More
In this paper, we study warped product submanifolds of nearly trans-Sasakian manifolds. The non-existence of the warped product semi-slant submanifolds of the type $N_θ\times{_{f}N_T}$ is shown, whereas some characterization and new geometric obstructions are obtained for the warped products of the type $N_T\times{_{f}N_θ}$. We establish two general inequalities for the squared norm of the second fundamental form. The first inequality generalizes derived inequalities for some contact metric manifolds [16, 18, 19, 24], while by a new technique, the second inequality is constructed to express the relation between extrinsic invariant (second fundamental form) and intrinsic invariant (scalar curvatures). The equality cases are also discussed.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
A geometric inequality for warped product semi-slant submanifolds of nearly cosymplectic manifolds
Authors:
Siraj Uddin,
Abdulqader Mustafa,
Bernardine R. Wong,
Cenap Ozel
Abstract:
Recently, we have shown that there do not exist the warped product semi-slant submanifolds of cosymplectic manifolds [10]. As nearly cosymplectic structure generalizes cosymplectic ones same as nearly Kaehler generalizes Kaehler structure in almost Hermitian setting. It is interesting that the warped product semi-slant submanifolds exist in nearly cosymplectic case while in case of cosymplectic do…
▽ More
Recently, we have shown that there do not exist the warped product semi-slant submanifolds of cosymplectic manifolds [10]. As nearly cosymplectic structure generalizes cosymplectic ones same as nearly Kaehler generalizes Kaehler structure in almost Hermitian setting. It is interesting that the warped product semi-slant submanifolds exist in nearly cosymplectic case while in case of cosymplectic do not exist. In the beginning, we prove some preparatory results and finally we obtain an inequality such as $\|h\|^2 \geq 4q\csc^2θ\{1+\frac{1}{9}\cos^2θ\}\|\nabla \ln f\|^2$ in terms of intrinsic and extrinsic invariants. The equality case is also considered.
△ Less
Submitted 30 April, 2014; v1 submitted 24 April, 2014;
originally announced April 2014.
-
Kähler manifolds of semi-negative holomorphic sectional curvature
Authors:
Gordon Heier,
Steven S. Y. Lu,
Bun Wong
Abstract:
In an earlier work, we investigated some consequences of the existence of a Kähler metric of negative holomorphic sectional curvature on a projective manifold. In the present work, we extend our results to the case of semi-negative (i.e., non-positive) holomorphic sectional curvature. In doing so, we define a new invariant that records the largest codimension of maximal subspaces in the tangent sp…
▽ More
In an earlier work, we investigated some consequences of the existence of a Kähler metric of negative holomorphic sectional curvature on a projective manifold. In the present work, we extend our results to the case of semi-negative (i.e., non-positive) holomorphic sectional curvature. In doing so, we define a new invariant that records the largest codimension of maximal subspaces in the tangent spaces on which the holomorphic sectional curvature vanishes. Using this invariant, we establish lower bounds for the nef dimension and, under certain additional assumptions, for the Kodaira dimension of the manifold. In dimension two, a precise structure theorem is obtained.
△ Less
Submitted 9 June, 2015; v1 submitted 17 March, 2014;
originally announced March 2014.
-
An Erd{\H o}s-Ko-Rado theorem for permutations with fixed number of cycles
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For a positive integer $k$, define $S_{n,k}$ to be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles, i.e., \[ S_{n,k} = \{π\in S_{n}: π= c_{1}c_{2} \cdots c_{k}\},\] where $c_1,c_2,\dots ,c_k$ are disjoint cycles. The size of $S_{n,k}$ is given by…
▽ More
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For a positive integer $k$, define $S_{n,k}$ to be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles, i.e., \[ S_{n,k} = \{π\in S_{n}: π= c_{1}c_{2} \cdots c_{k}\},\] where $c_1,c_2,\dots ,c_k$ are disjoint cycles. The size of $S_{n,k}$ is given by $\left [ \begin{matrix}n\\ k \end{matrix}\right]=(-1)^{n-k}s(n,k)$, where $s(n,k)$ is the Stirling number of the first kind. A family $\mathcal{A} \subseteq S_{n,k}$ is said to be $t$-{\em intersecting} if any two elements of $\mathcal{A}$ have at least $t$ common cycles. In this paper, we show that, given any positive integers $k,t$ with $k\geq t+1$, there exists an integer $n_0=n_0(k,t)$, such that for all $n\geq n_0$, if $\mathcal{A} \subseteq S_{n,k}$ is $t$-intersecting, then \[ |\mathcal{A}| \le \left [ \begin{matrix}n-t\\ k-t \end{matrix}\right],\] with equality if and only if $\mathcal{A}$ is the stabiliser of $t$ fixed points.
△ Less
Submitted 4 February, 2014;
originally announced February 2014.
-
On $r$-cross $t$-intersecting families for weak compositions
Authors:
Kok Bin Wong,
Cheng Yeaw Ku
Abstract:
Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. Let $l=\min(l_1,l_2,\dots, l_r)$. Families…
▽ More
Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. Let $l=\min(l_1,l_2,\dots, l_r)$. Families $\mathcal A_j\subseteq P(n_j,l_j)$ ($j=1,2,\dots, r$) are said to be $r$-cross $t$-intersecting if $\vert \{ i\in [l] \ :\ \mathbf u_1(i)=\mathbf u_2(i)=\cdots=\mathbf u_r(i)\} \vert\geq t$ for all $\mathbf u_j\in \mathcal A_j$. Suppose that $l\geq t+2$. We prove that there exists a constant $n_0=n_0(l_1,l_2,\dots,l_r,t)$ depending only on $l_j$'s and $t$, such that for all $n_j\geq n_0$, if the families $\mathcal A_j\subseteq P(n_j,l_j)$ ($j=1,2,\dots, r$) are $r$-cross $t$-intersecting, then \begin{equation} \prod_{j=1}^r \vert \mathcal{A}_j \vert\leq \prod_{j=1}^r {n_j+l_j-t-1 \choose l_j-t-1}.\notag \end{equation} Moreover, equality holds if and only if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ such that $\mathcal{A}_j=\{\mathbf u\in P(n_j,l_j)\ :\ \mathbf u(i)=0\ {\rm for\ all}\ i\in T\}$ for $j=1,2,\dots, r$.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
A generalization of the extremal function of the Davenport-Schinzel sequences
Authors:
Kok Bin Wong,
Cheng Yeaw Ku
Abstract:
Let $[n]=\{1, \ldots, n\}$. A sequence $u=a_1a_2\dots a_l$ over $[n]$ is called $k$-sparse if $a_i = a_j$, $i > j$ implies $i-j\geq k$. In other words, every consecutive subsequence of $u$ of length at most $k$ does not have letters in common. Let $u,v$ be two sequences. We say that $u$ is $v$-free, if $u$ does not contain a subsequence isomorphic to $v$. Suppose there are only $k$ letters appeari…
▽ More
Let $[n]=\{1, \ldots, n\}$. A sequence $u=a_1a_2\dots a_l$ over $[n]$ is called $k$-sparse if $a_i = a_j$, $i > j$ implies $i-j\geq k$. In other words, every consecutive subsequence of $u$ of length at most $k$ does not have letters in common. Let $u,v$ be two sequences. We say that $u$ is $v$-free, if $u$ does not contain a subsequence isomorphic to $v$. Suppose there are only $k$ letters appearing in $v$. The extremal function Ex$(v,n)$ is defined as the maximum length of all the $v$-free and $k$-sparse sequences. In this paper, we study a generalization of the extremal function Ex$(v,n)$.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
An Analogue of the Hilton-Milner Theorem for weak compositions
Authors:
Kok Bin Wong,
Cheng Yeaw Ku
Abstract:
Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. A family $\mathcal A\subseteq P(n,l)$ is said to…
▽ More
Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. A family $\mathcal A\subseteq P(n,l)$ is said to be $t$-intersecting if $\vert \{ i \ :\ \mathbf u(i)=\mathbf v(i)\} \vert\geq t$ for all $\mathbf u,\mathbf v\in \mathcal A$. A family $\mathcal A\subseteq P(n,l)$ is said to be trivially $t$-intersecting if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ and elements $y_s\in \mathbb N_0$ ($s\in T$) such that $\mathcal{A}= \{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=y_j\ {\rm for all}\ j\in T\}$. We prove that given any positive integers $l,t$ with $l\geq 2t+3$, there exists a constant $n_0(l,t)$ depending only on $l$ and $t$, such that for all $n\geq n_0(l,t)$, if $\mathcal{A} \subseteq P(n,l)$ is non-trivially $t$-intersecting then \begin{equation} \vert \mathcal{A} \vert\leq {n+l-t-1 \choose l-t-1}-{n-1 \choose l-t-1}+t.\notag \end{equation} Moreover, equality holds if and only if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ such that \begin{equation} \mathcal A=\bigcup_{s\in \{1,2,\dots, l\}\setminus T} \mathcal A_s\cup \left\{ \mathbf q_i\ :\ i\in T \right\},\notag \end{equation} where \begin{align} \mathcal{A}_s & =\{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=0\ {\rm for all}\ j\in T\ {\rm and}\ \mathbf u(s)=0\}\notag \end{align} and $\mathbf q_i\in P(n,l)$ with $\mathbf q_i(j)=0$ for all $j\in \{1,2,\dots, l\}\setminus \{i\}$ and $\mathbf q_i(i)=n$.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
On the eigenvalues of certain Cayley graphs and arrangement graphs
Authors:
Bai Fan Chen,
Ebrahim Ghorbani,
Kok Bin Wong
Abstract:
In this paper, we show that the eigenvalues of certain classes of Cayley graphs are integers. The (n,k,r)-arrangement graph A(n,k,r) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they differ in exactly r positions. We establish a relation between the eigenvalues of the arrangement graphs and the eigenvalues of certain Cayley graphs.…
▽ More
In this paper, we show that the eigenvalues of certain classes of Cayley graphs are integers. The (n,k,r)-arrangement graph A(n,k,r) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they differ in exactly r positions. We establish a relation between the eigenvalues of the arrangement graphs and the eigenvalues of certain Cayley graphs. As a result, the conjecture on integrality of eigenvalues of A(n,k,1) follows.
△ Less
Submitted 15 December, 2013; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Cyclic decomposition of k-permutations and eigenvalues of the arrangement graphs
Authors:
Bai Fan Chen,
Ebrahim Ghorbani,
Kok Bin Wong
Abstract:
The (n,k)-arrangement graph A(n,k) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they agree in exactly k-1 positions. We introduce a cyclic decomposition for k-permutations and show that this gives rise to a very fine equitable partition of A(n,k). This equitable partition can be employed to compute the complete set of eigenvalues (…
▽ More
The (n,k)-arrangement graph A(n,k) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they agree in exactly k-1 positions. We introduce a cyclic decomposition for k-permutations and show that this gives rise to a very fine equitable partition of A(n,k). This equitable partition can be employed to compute the complete set of eigenvalues (of the adjacency matrix) of A(n,k). Consequently, we determine the eigenvalues of A(n,k) for small values of k. Finally, we show that any eigenvalue of the Johnson graph J(n,k) is an eigenvalue of A(n,k) and that -k is the smallest eigenvalue of A(n,k) with multiplicity O(n^k) for fixed k.
△ Less
Submitted 9 November, 2013; v1 submitted 26 August, 2013;
originally announced August 2013.
-
Solving the Ku-Wales conjecture on the eigenvalues of the derangement graph
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
We give a new recurrence formula for the eigenvalues of the derangement graph. Consequently, we provide a simpler proof of the Alternating Sign Property of the derangement graph. Moreover, we prove that the absolute value of the eigenvalue decreases whenever the corresponding partition decreases in the dominance order. In particular, this settles affirmatively a conjecture of Ku and Wales (J. of C…
▽ More
We give a new recurrence formula for the eigenvalues of the derangement graph. Consequently, we provide a simpler proof of the Alternating Sign Property of the derangement graph. Moreover, we prove that the absolute value of the eigenvalue decreases whenever the corresponding partition decreases in the dominance order. In particular, this settles affirmatively a conjecture of Ku and Wales (J. of Combin. Theory, Series A 117 (2010) 289--312) regarding the lower and upper bound for the absolute values of these eigenvalues.
△ Less
Submitted 17 July, 2012;
originally announced July 2012.
-
Scalar curvature and uniruledness on projective manifolds
Authors:
Gordon Heier,
Bun Wong
Abstract:
It is a basic tenet in complex geometry that {\it negative} curvature corresponds, in a suitable sense, to the absence of rational curves on, say, a complex projective manifold, while {\it positive} curvature corresponds to the abundance of rational curves. In this spirit, we prove in this note that a projective manifold $M$ with a Kähler metric with positive total scalar curvature is uniruled, wh…
▽ More
It is a basic tenet in complex geometry that {\it negative} curvature corresponds, in a suitable sense, to the absence of rational curves on, say, a complex projective manifold, while {\it positive} curvature corresponds to the abundance of rational curves. In this spirit, we prove in this note that a projective manifold $M$ with a Kähler metric with positive total scalar curvature is uniruled, which is equivalent to every point of $M$ being contained in a rational curve. We also prove that if $M$ possesses a Kähler metric of total scalar curvature equal to zero, then either $M$ is uniruled or its canonical line bundle is torsion. The proof of the latter theorem is partially based on the observation that if $M$ is not uniruled, then the total scalar curvatures of all Kähler metrics on $M$ must have the same sign, which is either zero or negative.
△ Less
Submitted 12 June, 2012;
originally announced June 2012.
-
An Analogue of Hilton-Milner Theorem for Set Partitions
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Let $\mathcal{B}(n)$ denote the collection of all set partitions of $[n]$. Suppose $\mathcal{A} \subseteq \mathcal{B}(n)$ is a non-trivial $t$-intersecting family of set partitions i.e. any two members of $\A$ have at least $t$ blocks in common, but there is no fixed $t$ blocks of size one which belong to all of them. It is proved that for sufficiently large $n$ depending on $t$, \[ |\mathcal{A}|…
▽ More
Let $\mathcal{B}(n)$ denote the collection of all set partitions of $[n]$. Suppose $\mathcal{A} \subseteq \mathcal{B}(n)$ is a non-trivial $t$-intersecting family of set partitions i.e. any two members of $\A$ have at least $t$ blocks in common, but there is no fixed $t$ blocks of size one which belong to all of them. It is proved that for sufficiently large $n$ depending on $t$, \[ |\mathcal{A}| \le B_{n-t}-\tilde{B}_{n-t}-\tilde{B}_{n-t-1}+t \] where $B_{n}$ is the $n$-th Bell number and $\tilde{B}_{n}$ is the number of set partitions of $[n]$ without blocks of size one. Moreover, equality holds if and only if $\mathcal{A}$ is equivalent to \[ \{P \in \mathcal{B}(n): \{1\}, \{2\},..., \{t\}, \{i\} \in P \textnormal{for some} i \not = 1,2,..., t,n \}\cup \{Q(i,n)\ :\ 1\leq i\leq t\} \] where $Q(i,n)=\{\{i,n\}\}\cup\{\{j\}\ :\ j\in [n]\setminus \{i,n\}\}$. This is an analogue of the Hilton-Milner theorem for set partitions.
△ Less
Submitted 2 September, 2011;
originally announced September 2011.
-
Lower bounds for sumsets of multisets in Z_p^2
Authors:
Greg Martin,
Alexis Peilloux,
Erick B. Wong
Abstract:
The classical Cauchy-Davenport theorem implies the lower bound n+1 for the number of distinct subsums that can be formed from a sequence of n elements of the cyclic group Z_p (when p is prime and n<p). We generalize this theorem to a conjecture for the minimum number of distinct subsums that can be formed from elements of a multiset in (Z_p)^m; the conjecture is expected to be valid for multisets…
▽ More
The classical Cauchy-Davenport theorem implies the lower bound n+1 for the number of distinct subsums that can be formed from a sequence of n elements of the cyclic group Z_p (when p is prime and n<p). We generalize this theorem to a conjecture for the minimum number of distinct subsums that can be formed from elements of a multiset in (Z_p)^m; the conjecture is expected to be valid for multisets that are not "wasteful" by having too many elements in nontrivial subgroups. We prove this conjecture in (Z_p)^2 for multisets of size p+k, when k is not too large in terms of p.
△ Less
Submitted 31 August, 2012; v1 submitted 21 July, 2011;
originally announced July 2011.
-
On AZ-style identity
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
The AZ identity is a generalization of the LYM-inequality. In this paper, we will give a generalization of the AZ identity.
The AZ identity is a generalization of the LYM-inequality. In this paper, we will give a generalization of the AZ identity.
△ Less
Submitted 7 July, 2011;
originally announced July 2011.
-
Gallai-Edmonds Structure Theorem for Weighted Matching Polynomial
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
In this paper, we prove the Gallai-Edmonds structure theorem for the most general matching polynomial. Our result implies the Parter-Wiener theorem and its recent generalization about the existence of principal submatrices of a Hermitian matrix whose graph is a tree. keywords:
In this paper, we prove the Gallai-Edmonds structure theorem for the most general matching polynomial. Our result implies the Parter-Wiener theorem and its recent generalization about the existence of principal submatrices of a Hermitian matrix whose graph is a tree. keywords:
△ Less
Submitted 5 June, 2010;
originally announced June 2010.
-
On finite complete rewriting systems and large subsemigroups
Authors:
K. B. Wong,
P. C. Wong
Abstract:
Let $S$ be a semigroup and $T$ be a subsemigroup of finite index in $S$ (that is, the set $S\setminus T$ is finite). The subsemigroup $T$ is also called a large subsemigroup of $S$. It is well known that if $T$ has a finite complete rewriting system then so does $S$. In this paper, we will prove the converse, that is, if $S$ has a finite complete rewriting system then so does $T$. Our proof is pur…
▽ More
Let $S$ be a semigroup and $T$ be a subsemigroup of finite index in $S$ (that is, the set $S\setminus T$ is finite). The subsemigroup $T$ is also called a large subsemigroup of $S$. It is well known that if $T$ has a finite complete rewriting system then so does $S$. In this paper, we will prove the converse, that is, if $S$ has a finite complete rewriting system then so does $T$. Our proof is purely combinatorial and also constructive.
△ Less
Submitted 20 August, 2011; v1 submitted 6 May, 2010;
originally announced May 2010.
-
Group Marriage Problem
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Let $G$ be a permutation group acting on $[n]=\{1, ..., n\}$ and $\mathcal{V}=\{V_{i}: i=1, ..., n\}$ be a system of $n$ subsets of $[n]$. When is there an element $g \in G$ so that $g(i) \in V_{i}$ for each $i \in [n]$? If such $g$ exists, we say that $G$ has a $G$-marriage subject to $\mathcal{V}$. An obvious necessary condition is the {\it orbit condition}: for any…
▽ More
Let $G$ be a permutation group acting on $[n]=\{1, ..., n\}$ and $\mathcal{V}=\{V_{i}: i=1, ..., n\}$ be a system of $n$ subsets of $[n]$. When is there an element $g \in G$ so that $g(i) \in V_{i}$ for each $i \in [n]$? If such $g$ exists, we say that $G$ has a $G$-marriage subject to $\mathcal{V}$. An obvious necessary condition is the {\it orbit condition}: for any $\emptyset \not = Y \subseteq [n]$, $\bigcup_{y \in Y} V_{y} \supseteq Y^{g}=\{g(y): y \in Y \}$ for some $g \in G$. Keevash (J. Combin. Theory Ser. A 111(2005), 289--309) observed that the orbit condition is sufficient when $G$ is the symmetric group $\Sym([n])$; this is in fact equivalent to the celebrated Hall's Marriage Theorem. We prove that the orbit condition is sufficient if and only if $G$ is a direct product of symmetric groups. We extend the notion of orbit condition to that of $k$-orbit condition and prove that if $G$ is the alternating group $\Alt([n])$ or the cyclic group $C_{n}$ where $n \ge 4$, then $G$ satisfies the $(n-1)$-orbit condition subject to $\V$ if and only if $G$ has a $G$-marriage subject to $\mathcal{V}$.
△ Less
Submitted 22 December, 2009;
originally announced December 2009.
-
Properties of $θ$-super positive graphs
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Let the matching polynomial of a graph $G$ be denoted by $μ(G,x)$. A graph $G$ is said to be $θ$-super positive if $μ(G,θ)\neq 0$ and $μ(G\setminus v,θ)=0$ for all $v\in V(G)$. In particular, $G$ is 0-super positive if and only if $G$ has a perfect matching. While much is known about 0-super positive graphs, almost nothing is known about $θ$-super positive graphs for $θ\not = 0$. This motivates…
▽ More
Let the matching polynomial of a graph $G$ be denoted by $μ(G,x)$. A graph $G$ is said to be $θ$-super positive if $μ(G,θ)\neq 0$ and $μ(G\setminus v,θ)=0$ for all $v\in V(G)$. In particular, $G$ is 0-super positive if and only if $G$ has a perfect matching. While much is known about 0-super positive graphs, almost nothing is known about $θ$-super positive graphs for $θ\not = 0$. This motivates us to investigate the structure of $θ$-super positive graphs in this paper. Though a 0-super positive graph may not contain any cycle, we show that a $θ$-super positive graph with $θ\not = 0$ must contain a cycle. We introduce two important types of $θ$-super positive graphs, namely $θ$-elementary and $θ$-base graphs. One of our main results is that any $θ$-super positive graph $G$ can be constructed by adding certain type of edges to a disjoint union of $θ$-base graphs; moreover, these $θ$-base graphs are uniquely determined by $G$. We also give a characterization of $θ$-elementary graphs: a graph $G$ is $θ$-elementary if and only if the set of all its $θ$-barrier sets form a partition of $V(G)$. Here, $θ$-elementary graphs and $θ$-barrier sets can be regarded as $θ$-analogue of elementary graphs and Tutte sets in classical matching theory.
△ Less
Submitted 21 December, 2009;
originally announced December 2009.
-
Generalized $D$-graphs for Nonzero Roots of the Matching Polynomial
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
Recently, Bauer et al. (J Graph Theory 55(4) (2007), 343--358) introduced a graph operator $D(G)$, called the $D$-graph of $G$, which has been useful in investigating the structural aspects of maximal Tutte sets in $G$ with a perfect matching. Among other results, they proved a characterization of maximal Tutte sets in terms of maximal independent sets in the graph $D(G)$ and maximal extreme set…
▽ More
Recently, Bauer et al. (J Graph Theory 55(4) (2007), 343--358) introduced a graph operator $D(G)$, called the $D$-graph of $G$, which has been useful in investigating the structural aspects of maximal Tutte sets in $G$ with a perfect matching. Among other results, they proved a characterization of maximal Tutte sets in terms of maximal independent sets in the graph $D(G)$ and maximal extreme sets in $G$. This was later extended to graphs without perfect matchings by Busch et al. (Discrete Appl. Math. 155 (2007), 2487--2495). Let $θ$ be a real number and $μ(G,x)$ be the matching polynomial of a graph $G$. Let $\textnormal{mult} (θ, G)$ be the multiplicity of $θ$ as a root of $μ(G,x)$. We observe that the notion of $D$-graph is implicitly related to $θ=0$. In this paper, we give a natural generalization of the $D$-graph of $G$ for any real number $θ$, and denote this new operator by $D_θ(G)$, so that $D_θ(G)$ coincides with $D(G)$ when $θ=0$. We prove a characterization of maximal $θ$-Tutte sets which are $θ$-analogue of maximal Tutte sets in $G$. In particular, we show that for any $X \subseteq V(G)$, $|X|>1$, and any real number $θ$, $\m(θ, G \setminus X)=\m(θ, G)+|X|$ if and only if $\m(θ, G \setminus uv)=\m(θ, G)+2$ for any $u, v \in X$, $u \not = v$, thus extending the preceding work of Bauer et al. and Busch et al. which established the result for the case $θ=0$.
△ Less
Submitted 29 September, 2009;
originally announced September 2009.
-
Extensions of Barrier Sets to Nonzero Roots of the Matching Polynomials
Authors:
Cheng Yeaw Ku,
Kok Bin Wong
Abstract:
In matching theory, barrier sets (also known as Tutte sets) have been studied extensively due to its connection to maximum matchings in a graph. In this paper, we first define $θ$-barrier sets. Our definition of a $θ$-barrier set is slightly different from that of a barrier set. However we show that $θ$-barrier sets and barrier sets have similar properties. In particular, we prove a generalized…
▽ More
In matching theory, barrier sets (also known as Tutte sets) have been studied extensively due to its connection to maximum matchings in a graph. In this paper, we first define $θ$-barrier sets. Our definition of a $θ$-barrier set is slightly different from that of a barrier set. However we show that $θ$-barrier sets and barrier sets have similar properties. In particular, we prove a generalized Berge's Formula and give a characterization for the set of all $θ$-special vertices in a graph.
△ Less
Submitted 28 September, 2009;
originally announced September 2009.
-
On the canonical line bundle and negative holomorphic sectional curvature
Authors:
Gordon Heier,
Steven S. Y. Lu,
Bun Wong
Abstract:
We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex different…
▽ More
We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex differential geometry and complex algebraic geometry.
△ Less
Submitted 1 September, 2009;
originally announced September 2009.
-
Maximum Multiplicity of a Root of the Matching Polynomial of a Tree and Minimum Path Cover
Authors:
Cheng Yeaw Ku,
K. B. Wong
Abstract:
We give a necessary and sufficient condition for the maximum multiplicity of a root of the matching polynomial of a tree to be equal to the minimum number of vertex disjoint paths needed to cover it.
We give a necessary and sufficient condition for the maximum multiplicity of a root of the matching polynomial of a tree to be equal to the minimum number of vertex disjoint paths needed to cover it.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
The number of 2x2 integer matrices having a prescribed integer eigenvalue
Authors:
Greg Martin,
Erick B. Wong
Abstract:
Random matrices arise in many mathematical contexts, and it is natural to ask about the properties that such matrices satisfy. If we choose a matrix with integer entries at random, for example, what is the probability that it will have a particular integer as an eigenvalue, or an integer eigenvalue at all? If we choose a matrix with real entries at random, what is the probability that it will ha…
▽ More
Random matrices arise in many mathematical contexts, and it is natural to ask about the properties that such matrices satisfy. If we choose a matrix with integer entries at random, for example, what is the probability that it will have a particular integer as an eigenvalue, or an integer eigenvalue at all? If we choose a matrix with real entries at random, what is the probability that it will have a real eigenvalue in a particular interval? The purpose of this paper is to resolve these questions, once they are made suitably precise, in the setting of 2x2 matrices.
△ Less
Submitted 13 August, 2008;
originally announced August 2008.
-
Almost all integer matrices have no integer eigenvalues
Authors:
Greg Martin,
Erick B. Wong
Abstract:
For a fixed $n\ge2$, consider an $n\times n$ matrix $M$ whose entries are random integers bounded by $k$ in absolute value. In this paper, we examine the probability that $M$ is singular (hence has eigenvalue 0), and the probability that $M$ has at least one rational eigenvalue. We show that both of these probabilities tend to 0 as $k$ increases. More precisely, we establish an upper bound of si…
▽ More
For a fixed $n\ge2$, consider an $n\times n$ matrix $M$ whose entries are random integers bounded by $k$ in absolute value. In this paper, we examine the probability that $M$ is singular (hence has eigenvalue 0), and the probability that $M$ has at least one rational eigenvalue. We show that both of these probabilities tend to 0 as $k$ increases. More precisely, we establish an upper bound of size $k^{-2+ε}$ for the probability that $M$ is singular, and size $k^{-1+ε}$ for the probability that $M$ has a rational eigenvalue. These results generalize earlier work by Kowalsky for the case $n=2$ and answer a question posed by Hetzel, Liew, and Morrison.
△ Less
Submitted 18 December, 2007;
originally announced December 2007.
-
On a domain in C^2 with generic piecewise smooth Levi-flat boundary and non-compact automorphism group
Authors:
Siqi Fu,
Bun Wong
Abstract:
In this paper, we prove that if D is a simply-connected domain in C^2 with generic piecewise smooth Levi-flat boundary and non-compact automorphism group, then D is biholomorphic to the bidisc. The proof is based on a careful analysis of invariant measures.
In this paper, we prove that if D is a simply-connected domain in C^2 with generic piecewise smooth Levi-flat boundary and non-compact automorphism group, then D is biholomorphic to the bidisc. The proof is based on a careful analysis of invariant measures.
△ Less
Submitted 30 September, 1997;
originally announced September 1997.
