-
Random $p$-adic matrices with fixed zero entries and the Cohen--Lenstra distribution
Authors:
Dong Yeap Kang,
Jungin Lee,
Myungjun Yu
Abstract:
In this paper, we study the distribution of the cokernels of random $p$-adic matrices with fixed zero entries. Let $X_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ in which some entries are fixed to be zero and the other entries are i.i.d. copies of a random variable $ξ\in \mathbb{Z}_p$. We consider the minimal number of random entries of $X_n$ required for the cokernel of $X_n$ to conver…
▽ More
In this paper, we study the distribution of the cokernels of random $p$-adic matrices with fixed zero entries. Let $X_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ in which some entries are fixed to be zero and the other entries are i.i.d. copies of a random variable $ξ\in \mathbb{Z}_p$. We consider the minimal number of random entries of $X_n$ required for the cokernel of $X_n$ to converge to the Cohen--Lenstra distribution. When $ξ$ is given by the Haar measure, we prove a lower bound of the number of random entries and prove its converse-type result using random regular bipartite multigraphs. When $ξ$ is a general random variable, we determine the minimal number of random entries. Let $M_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ with $k$-step stairs of zeros and the other entries given by independent random $ε$-balanced variables valued in $\mathbb{Z}_p$. We prove that the cokernel of $M_n$ converges to the Cohen--Lenstra distribution under a mild assumption. This extends Wood's universality theorem on random $p$-adic matrices.
△ Less
Submitted 5 November, 2024; v1 submitted 2 September, 2024;
originally announced September 2024.
-
Optimization model for electric aircraft tow tractors considering operator coalition
Authors:
Dan-Wen Bao,
Jia-Yi Zhou,
Di Kang,
Zhuo Chen
Abstract:
Horizontal collaboration between operators can save traffic operation costs, a concept that has been particularly validated in the logistics field. Due to the increasing transportation demand and the introduction of charging times for electric vehicles, there is growing pressure on airport ground support services. This study introduces the concept of coalition to airport ground support services. U…
▽ More
Horizontal collaboration between operators can save traffic operation costs, a concept that has been particularly validated in the logistics field. Due to the increasing transportation demand and the introduction of charging times for electric vehicles, there is growing pressure on airport ground support services. This study introduces the concept of coalition to airport ground support services. Unlike most studies on horizontal collaboration, the scheduling for airport ground support services needs to particularly consider punctuality issues. In this study, we separately establish electric vehicle scheduling models for operator-separate and operator-cooperated modes and design an algorithm based on the concept of the Adaptive Large Neighborhood Search algorithm, aiming to obtain the electric vehicle scheduling plan with minimum cost and delay time. Furthermore, the study proposes a cost allocation method that considers the degree of sharing among operators to ensure the feasibility of coalition. Finally, we conducted numerical experiments based on actual airport operation data. The experiments verified the effectiveness of the algorithm and the cost allocation method. Compared to solvers, our algorithm can obtain feasible solutions in a shorter time while ensuring that the objective function gap is within 2%. Additionally, the improved cost allocation method is fairer compared to the traditional Shapley method. Numerical experiments also show that coalition can save 15-25% of airport operating costs and 26-39% of delay time, with savings varying based on the sharing parameters. Through quantitative analysis such as sensitivity analysis, the study provides insights into the variation patterns of overall and individual shared utilities and offers suggestions and decision-making mechanisms for the configuration and operation of airport ground operators.
△ Less
Submitted 31 August, 2024; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Charge-Discharge Coupling Strategy for Dispatching Problems with Electric Tractors at Airports
Authors:
Danwen Bao,
Ziqian Zhang,
Di Kang
Abstract:
Airports worldwide are actively promoting the transition of ground service vehicles from traditional fuel-powered vehicles to electric vehicles. The key to the successful implementation of this transition lies in the development of efficient electric vehicle dispatching models that comprehensively consider the charge-discharge processes of electric vehicles. However, due to the nonlinear character…
▽ More
Airports worldwide are actively promoting the transition of ground service vehicles from traditional fuel-powered vehicles to electric vehicles. The key to the successful implementation of this transition lies in the development of efficient electric vehicle dispatching models that comprehensively consider the charge-discharge processes of electric vehicles. However, due to the nonlinear characteristics of charge-discharge processes, finding precise solutions poses a significant challenge. Previous researchers have often used traditional energy consumption models and constant charging rates to simplify calculations, but this has resulted in inaccurate estimates of the remaining battery charge level. Furthermore, the lack of diverse pacing and charging strategies for airport ground service vehicles necessitates more adaptable solutions to enhance operational efficiency. To address these challenges, this paper uses airport electric tractors as a case study, develops an accurate model that takes into account the start-stop process and a piecewise linear charging function, designs an improved genetic algorithm that incorporates a greedy algorithm and an adaptive strategy, and develops charge-discharge coupling strategies for different configuration scenarios at Nanjing Lukou Airport to meet current and future needs. The research results indicate that compared to traditional genetic algorithms, the proposed improved genetic algorithm significantly enhances solution accuracy and convergence speed. Additionally, with the increase in flight scale, airports can appropriately enhance their charging strategies; airports with dispersed aircraft stands should devise higher pacing strategies compared to those with dense aircraft stands.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
On the Sequence Evaluation based on Stochastic Processes
Authors:
Tianhao Zhang,
Zhexiao Lin,
Zhecheng Sheng,
Chen Jiang,
Dongyeop Kang
Abstract:
Generative models have gained significant prominence in Natural Language Processing (NLP), especially in tackling the complex task of modeling and evaluating long text sequences. This task is crucial for advancing various downstream applications, such as text generation and machine translation. Recent methods that utilize stochastic processes to capture the intrinsic dynamics of sequences have sho…
▽ More
Generative models have gained significant prominence in Natural Language Processing (NLP), especially in tackling the complex task of modeling and evaluating long text sequences. This task is crucial for advancing various downstream applications, such as text generation and machine translation. Recent methods that utilize stochastic processes to capture the intrinsic dynamics of sequences have shown superior performance in generative modeling. However, the accurate encoding of both temporal and structural dependencies from text datasets, as well as leveraging this encoded information for sequence evaluation, remains an open area of research. In this paper, we propose a novel approach to learn the stochastic dynamics of long text sequences, utilizing a negative log-likelihood-based encoder that outperforms contrastive learning methods. We also introduce a likelihood-based evaluation metric for long-text assessment, which measures sequence coherence and can be applied to downstream tasks such as Human-AI discrimination. Our encoder preserves sequence coherence effectively and performs robustly on out-of-domain datasets. Additionally, the proposed evaluation metric captures both temporal and structural information comprehensively. Theoretical analysis demonstrates the superiority of our metric in sequence evaluation, and experimental results highlight its flexibility and exceptional performance across a variety of tasks, showcasing its utility in diverse NLP applications.
△ Less
Submitted 2 October, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Clustered Colouring of Odd-$H$-Minor-Free Graphs
Authors:
Robert Hickingbotham,
Dong Yeap Kang,
Sang-il Oum,
Raphael Steiner,
David R. Wood
Abstract:
The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered c…
▽ More
The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$? We adapt a proof method of Norin, Scott, Seymour and Wood (2019) to show that the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$ is tied to the tree-depth of $H$.
△ Less
Submitted 18 October, 2024; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Prime numbers as a uniqueness set of the parallelogram equation via the Goldbach's conjecture
Authors:
Hee Chul Pak,
Dongseung Kang
Abstract:
Multiplicative arithmetic functions satisfying the parallelogram functional equation on prime numbers are investigated. It is derived that the unique solution is a quadratic function by the Goldbach's conjecture.
Multiplicative arithmetic functions satisfying the parallelogram functional equation on prime numbers are investigated. It is derived that the unique solution is a quadratic function by the Goldbach's conjecture.
△ Less
Submitted 9 February, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Perfect matchings in random sparsifications of Dirac hypergraphs
Authors:
Dong Yeap Kang,
Tom Kelly,
Daniela Kühn,
Deryk Osthus,
Vincent Pfenninger
Abstract:
For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with…
▽ More
For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching. Moreover, for every fixed integer $d < k$ and $γ> 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_d(\mathcal H) \geq m_{d}(k,n) + γ\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as ``robust'' versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - Θ(n))$ many perfect matchings, which is best possible up to an $\exp(Θ(n))$ factor.
△ Less
Submitted 16 April, 2024; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Thresholds for Latin squares and Steiner triple systems: Bounds within a logarithmic factor
Authors:
Dong Yeap Kang,
Tom Kelly,
Daniela Kühn,
Abhishek Methuku,
Deryk Osthus
Abstract:
We prove that for $n \in \mathbb N$ and an absolute constant $C$, if $p \geq C\log^2 n / n$ and $L_{i,j} \subseteq [n]$ is a random subset of $[n]$ where each $k\in [n]$ is included in $L_{i,j}$ independently with probability $p$ for each $i, j\in [n]$, then asymptotically almost surely there is an order-$n$ Latin square in which the entry in the $i$th row and $j$th column lies in $L_{i,j}$. The p…
▽ More
We prove that for $n \in \mathbb N$ and an absolute constant $C$, if $p \geq C\log^2 n / n$ and $L_{i,j} \subseteq [n]$ is a random subset of $[n]$ where each $k\in [n]$ is included in $L_{i,j}$ independently with probability $p$ for each $i, j\in [n]$, then asymptotically almost surely there is an order-$n$ Latin square in which the entry in the $i$th row and $j$th column lies in $L_{i,j}$. The problem of determining the threshold probability for the existence of an order-$n$ Latin square was raised independently by Johansson, by Luria and Simkin, and by Casselgren and H{ä}ggkvist; our result provides an upper bound which is tight up to a factor of $\log n$ and strengthens the bound recently obtained by Sah, Sawhney, and Simkin. We also prove analogous results for Steiner triple systems and $1$-factorizations of complete graphs, and moreover, we show that each of these thresholds is at most the threshold for the existence of a $1$-factorization of a nearly complete regular bipartite graph.
△ Less
Submitted 26 March, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Solution to a problem of Erdős on the chromatic index of hypergraphs with bounded codegree
Authors:
Dong Yeap Kang,
Tom Kelly,
Daniela Kühn,
Abhishek Methuku,
Deryk Osthus
Abstract:
In 1977, Erdős asked the following question: for any integers $t,n \in \mathbb{N}$, if $G_1 , \dots , G_n$ are complete graphs such that each $G_i$ has at most $n$ vertices and every pair of them shares at most $t$ vertices, what is the largest possible chromatic number of the union $\bigcup_{i=1}^{n} G_i$? The equivalent dual formulation of this question asks for the largest chromatic index of an…
▽ More
In 1977, Erdős asked the following question: for any integers $t,n \in \mathbb{N}$, if $G_1 , \dots , G_n$ are complete graphs such that each $G_i$ has at most $n$ vertices and every pair of them shares at most $t$ vertices, what is the largest possible chromatic number of the union $\bigcup_{i=1}^{n} G_i$? The equivalent dual formulation of this question asks for the largest chromatic index of an $n$-vertex hypergraph with maximum degree at most $n$ and maximum codegree at most $t$. For the case $t = 1$, Erdős, Faber, and Lovász famously conjectured that the answer is $n$, which was recently proved by the authors for all sufficiently large $n$. In this paper, we answer this question of Erdős for $t \geq 2$ in a strong sense, by proving that every $n$-vertex hypergraph with maximum degree at most $(1-o(1))tn$ and maximum codegree at most $t$ has chromatic index at most $tn$ for any $t,n \in \mathbb{N}$. Moreover, equality holds if and only if the hypergraph is a $t$-fold projective plane of order $k$, where $n = k^2 + k + 1$. Thus, for every $t \in \mathbb N$, this bound is best possible for infinitely many integers $n$. This result also holds for the list chromatic index.
△ Less
Submitted 19 October, 2024; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Searching for Singularities in Navier-Stokes Flows Based on the Ladyzhenskaya-Prodi-Serrin Conditions
Authors:
Di Kang,
Bartosz Protas
Abstract:
In this investigation we perform a systematic computational search for potential singularities in 3D Navier-Stokes flows based on the Ladyzhenskaya-Prodi-Serrin conditions. They assert that if the quantity $\int_0^T \| \mathbf{u}(t) \|_{L^q(Ω)}^p \, dt$, where $2/p+3/q \le 1$, $q > 3$, is bounded, then the solution $\mathbf{u}(t)$ of the Navier-Stokes system is smooth on the interval $[0,T]$. In o…
▽ More
In this investigation we perform a systematic computational search for potential singularities in 3D Navier-Stokes flows based on the Ladyzhenskaya-Prodi-Serrin conditions. They assert that if the quantity $\int_0^T \| \mathbf{u}(t) \|_{L^q(Ω)}^p \, dt$, where $2/p+3/q \le 1$, $q > 3$, is bounded, then the solution $\mathbf{u}(t)$ of the Navier-Stokes system is smooth on the interval $[0,T]$. In other words, if a singularity should occur at some time $t \in [0,T]$, then this quantity must be unbounded. We have probed this condition by studying a family of variational PDE optimization problems where initial conditions $\mathbf{u}_0$ are sought to maximize $\int_0^T \| \mathbf{u}(t) \|_{L^4(Ω)}^8 \, dt$ for different $T$ subject to suitable constraints. These problems are solved numerically using a large-scale adjoint-based gradient approach. Even in the flows corresponding to the optimal initial conditions determined in this way no evidence has been found for singularity formation, which would be manifested by unbounded growth of $\| \mathbf{u}(t) \|_{L^4(Ω)}$. However, the maximum enstrophy attained in these extreme flows scales in proportion to $\mathcal{E}_0^{3/2}$, the same as found by Kang et al. (2020) when maximizing the finite-time growth of enstrophy. In addition, we also consider sharpness of an a priori estimate on the time evolution of $\| \mathbf{u}(t) \|_{L^4(Ω)}$ by solving another PDE optimization problem and demonstrate that the upper bound in this estimate could be improved.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Proof: Accelerating Approximate Aggregation Queries with Expensive Predicates
Authors:
Daniel Kang,
John Guibas,
Peter Bailis,
Tatsunori Hashimoto,
Yi Sun,
Matei Zaharia
Abstract:
Given a dataset $\mathcal{D}$, we are interested in computing the mean of a subset of $\mathcal{D}$ which matches a predicate. ABae leverages stratified sampling and proxy models to efficiently compute this statistic given a sampling budget $N$. In this document, we theoretically analyze ABae and show that the MSE of the estimate decays at rate $O(N_1^{-1} + N_2^{-1} + N_1^{1/2}N_2^{-3/2})$, where…
▽ More
Given a dataset $\mathcal{D}$, we are interested in computing the mean of a subset of $\mathcal{D}$ which matches a predicate. ABae leverages stratified sampling and proxy models to efficiently compute this statistic given a sampling budget $N$. In this document, we theoretically analyze ABae and show that the MSE of the estimate decays at rate $O(N_1^{-1} + N_2^{-1} + N_1^{1/2}N_2^{-3/2})$, where $N=K \cdot N_1+N_2$ for some integer constant $K$ and $K \cdot N_1$ and $N_2$ represent the number of samples used in Stage 1 and Stage 2 of ABae respectively. Hence, if a constant fraction of the total sample budget $N$ is allocated to each stage, we will achieve a mean squared error of $O(N^{-1})$ which matches the rate of mean squared error of the optimal stratified sampling algorithm given a priori knowledge of the predicate positive rate and standard deviation per stratum.
△ Less
Submitted 28 July, 2021; v1 submitted 26 July, 2021;
originally announced July 2021.
-
Graph and hypergraph colouring via nibble methods: A survey
Authors:
Dong Yeap Kang,
Tom Kelly,
Daniela Kühn,
Abhishek Methuku,
Deryk Osthus
Abstract:
This paper provides a survey of methods, results, and open problems on graph and hypergraph colourings, with a particular emphasis on semi-random `nibble' methods. We also give a detailed sketch of some aspects of the recent proof of the Erdős-Faber-Lovász conjecture.
This paper provides a survey of methods, results, and open problems on graph and hypergraph colourings, with a particular emphasis on semi-random `nibble' methods. We also give a detailed sketch of some aspects of the recent proof of the Erdős-Faber-Lovász conjecture.
△ Less
Submitted 16 November, 2021; v1 submitted 25 June, 2021;
originally announced June 2021.
-
A proof of the Erdős-Faber-Lovász conjecture
Authors:
Dong Yeap Kang,
Tom Kelly,
Daniela Kühn,
Abhishek Methuku,
Deryk Osthus
Abstract:
The Erdős-Faber-Lovász conjecture (posed in 1972) states that the chromatic index of any linear hypergraph on $n$ vertices is at most $n$. In this paper, we prove this conjecture for every large $n$. We also provide stability versions of this result, which confirm a prediction of Kahn.
The Erdős-Faber-Lovász conjecture (posed in 1972) states that the chromatic index of any linear hypergraph on $n$ vertices is at most $n$. In this paper, we prove this conjecture for every large $n$. We also provide stability versions of this result, which confirm a prediction of Kahn.
△ Less
Submitted 25 January, 2023; v1 submitted 12 January, 2021;
originally announced January 2021.
-
New bounds on the size of Nearly Perfect Matchings in almost regular hypergraphs
Authors:
Dong Yeap Kang,
Daniela Kühn,
Abhishek Methuku,
Deryk Osthus
Abstract:
Let $H$ be a $k$-uniform $D$-regular simple hypergraph on $N$ vertices. Based on an analysis of the Rödl nibble, Alon, Kim and Spencer (1997) proved that if $k \ge 3$, then $H$ contains a matching covering all but at most $ND^{-1/(k-1)+o(1)}$ vertices, and asked whether this bound is tight. In this paper we improve their bound by showing that for all $k > 3$, $H$ contains a matching covering all b…
▽ More
Let $H$ be a $k$-uniform $D$-regular simple hypergraph on $N$ vertices. Based on an analysis of the Rödl nibble, Alon, Kim and Spencer (1997) proved that if $k \ge 3$, then $H$ contains a matching covering all but at most $ND^{-1/(k-1)+o(1)}$ vertices, and asked whether this bound is tight. In this paper we improve their bound by showing that for all $k > 3$, $H$ contains a matching covering all but at most $ND^{-1/(k-1)-η}$ vertices for some $η= Θ(k^{-3}) > 0$, when $N$ and $D$ are sufficiently large. Our approach consists of showing that the Rödl nibble process not only constructs a large matching but it also produces many well-distributed `augmenting stars' which can then be used to significantly improve the matching constructed by the Rödl nibble process. Based on this, we also improve the results of Kostochka and Rödl (1998) and Vu (2000) on the size of matchings in almost regular hypergraphs with small codegree. As a consequence, we improve the best known bounds on the size of large matchings in combinatorial designs with general parameters. Finally, we improve the bounds of Molloy and Reed (2000) on the chromatic index of hypergraphs with small codegree (which can be applied to improve the best known bounds on the chromatic index of Steiner triple systems and more general designs).
△ Less
Submitted 19 October, 2024; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Pricing the zero-coupon bond of the extended Cox-Ingersoll-Ross model using Malliavin calculus
Authors:
Hongyi Chen,
Sixian Jin,
Di Kang
Abstract:
In this paper, we price the zero-coupon bond of the extended Cox-Ingersoll-Ross model by a Dyson type formula established in one of the authors' paper Jin, Peng and Schelllhorn (2016) using Malliavin calculus. This formula provides a fast convergent series to represent the bond price, and it depends on the given drift and volatility of the interest rate process but not the instantaneous forward ra…
▽ More
In this paper, we price the zero-coupon bond of the extended Cox-Ingersoll-Ross model by a Dyson type formula established in one of the authors' paper Jin, Peng and Schelllhorn (2016) using Malliavin calculus. This formula provides a fast convergent series to represent the bond price, and it depends on the given drift and volatility of the interest rate process but not the instantaneous forward rate used in Maghsoodi (1996). This expression can be also regarded as a new solution to a class of Reccati equations with time-dependent coefficients.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Fragile minor-monotone parameters under random edge perturbation
Authors:
Dong Yeap Kang,
Mihyun Kang,
Jaehoon Kim,
Sang-il Oum
Abstract:
We conduct a quantitative analysis on the number of random edges required to be added to a base graph~$H$ to significantly increase natural minor-monotone graph parameters in the resulting graph~$R$. Specifically, we show that if $R$ is obtained from a connected graph $H$ by adding only a few random edges, the tree-width, genus, and Hadwiger number of $R$ become very large, irrespective of the str…
▽ More
We conduct a quantitative analysis on the number of random edges required to be added to a base graph~$H$ to significantly increase natural minor-monotone graph parameters in the resulting graph~$R$. Specifically, we show that if $R$ is obtained from a connected graph $H$ by adding only a few random edges, the tree-width, genus, and Hadwiger number of $R$ become very large, irrespective of the structure of~$H$.
△ Less
Submitted 5 July, 2024; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Compact vectorial Toeplitz operators on the Segal-Bargmann space
Authors:
Tomasz Beberok,
Piotr Budzynski,
Dong-O Kang
Abstract:
We provide a sufficient condition for the compactness of a Toeplitz operator acting on the Segal-Bargmann space of vector-valued functions written in terms of an associated operator-valued kernel.
We provide a sufficient condition for the compactness of a Toeplitz operator acting on the Segal-Bargmann space of vector-valued functions written in terms of an associated operator-valued kernel.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Agent-Based Proof Design via Lemma Flow Diagram
Authors:
Keehang Kwon,
Daeseong Kang
Abstract:
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD). This approach is based on the multicut rule with $shared$ cuts. This approach is modular and easy to use, read and automate. Thus, we consider LFD an appealing alternative to `flow proof' which is popular in mathematical education. Some examples are provided.
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD). This approach is based on the multicut rule with $shared$ cuts. This approach is modular and easy to use, read and automate. Thus, we consider LFD an appealing alternative to `flow proof' which is popular in mathematical education. Some examples are provided.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Existence of solutions for Kirchhoff-type fractional Dirichlet problem with $p$-Laplacian
Authors:
Danyang Kang,
Cuiling Liu,
Xingyong Zhang
Abstract:
In this paper, we investigate the existence of solutions for a class of $p$-Laplacian fractional order Kirchhoff-type system with Riemann-Liouville fractional derivatives and a parameter $λ$. By mountain pass theorem, we obtain that system has at least one non-trivial weak solution $u_λ$ under some local superquadratic conditions for each given large parameter $λ$. We get a concrete lower bound of…
▽ More
In this paper, we investigate the existence of solutions for a class of $p$-Laplacian fractional order Kirchhoff-type system with Riemann-Liouville fractional derivatives and a parameter $λ$. By mountain pass theorem, we obtain that system has at least one non-trivial weak solution $u_λ$ under some local superquadratic conditions for each given large parameter $λ$. We get a concrete lower bound of the parameter $λ$, and then obtain two estimates of weak solutions $u_λ$. We also obtain that $u_λ\to 0$ if $λ$ tends to $\infty$. Finally, we present an example as an application of our results.
△ Less
Submitted 28 November, 2019; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Maximum Amplification of Enstrophy in 3D Navier-Stokes Flows
Authors:
Di Kang,
Dongfang Yun,
Bartosz Protas
Abstract:
This investigation concerns a systematic search for potentially singular behavior in 3D Navier-Stokes flows. Enstrophy serves as a convenient indicator of the regularity of solutions to the Navier Stokes system --- as long as this quantity remains finite, the solutions are guaranteed to be smooth and satisfy the equations in the classical (pointwise) sense. However, there are no estimates availabl…
▽ More
This investigation concerns a systematic search for potentially singular behavior in 3D Navier-Stokes flows. Enstrophy serves as a convenient indicator of the regularity of solutions to the Navier Stokes system --- as long as this quantity remains finite, the solutions are guaranteed to be smooth and satisfy the equations in the classical (pointwise) sense. However, there are no estimates available with finite a priori bounds on the growth of enstrophy and hence the regularity problem for the 3D Navier-Stokes system remains open. In order to quantify the maximum possible growth of enstrophy, we consider a family of PDE optimization problems in which initial conditions with prescribed enstrophy $\mathcal{E}_0$ are sought such that the enstrophy in the resulting Navier-Stokes flow is maximized at some time $T$. Such problems are solved computationally using a large-scale adjoint-based gradient approach derived in the continuous setting. By solving these problems for a broad range of values of $\mathcal{E}_0$ and $T$, we demonstrate that the maximum growth of enstrophy is in fact finite and scales in proportion to $\mathcal{E}_0^{3/2}$ as $\mathcal{E}_0$ becomes large. Thus, in such worst-case scenario the enstrophy still remains bounded for all times and there is no evidence for formation of singularity in finite time. We also analyze properties of the Navier-Stokes flows leading to the extreme enstrophy values and show that this behavior is realized by a series of vortex reconnection events.
△ Less
Submitted 10 March, 2020; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Hypergraph based Berge hypergraphs
Authors:
Martin Balko,
Daniel Gerbner,
Dong Yeap Kang,
Younjin Kim,
Cory Palmer
Abstract:
Fix a hypergraph $\mathcal{F}$. A hypergraph $\mathcal{H}$ is called a {\it Berge copy of $\mathcal{F}$} or {\it Berge-$\mathcal{F}$} if we can choose a subset of each hyperedge of $\mathcal{H}$ to obtain a copy of $\mathcal{F}$. A hypergraph $\mathcal{H}$ is {\it Berge-$\mathcal{F}$-free} if it does not contain a subhypergraph which is Berge copy of $\mathcal{F}$. This is a generalization of the…
▽ More
Fix a hypergraph $\mathcal{F}$. A hypergraph $\mathcal{H}$ is called a {\it Berge copy of $\mathcal{F}$} or {\it Berge-$\mathcal{F}$} if we can choose a subset of each hyperedge of $\mathcal{H}$ to obtain a copy of $\mathcal{F}$. A hypergraph $\mathcal{H}$ is {\it Berge-$\mathcal{F}$-free} if it does not contain a subhypergraph which is Berge copy of $\mathcal{F}$. This is a generalization of the usual, graph based Berge hypergraphs, where $\mathcal{F}$ is a graph.
In this paper, we study extremal properties of hypergraph based Berge hypergraphs and generalize several results from the graph based setting. In particular, we show that for any $r$-uniform hypregraph $\mathcal{F}$, the sum of the sizes of the hyperedges of a (not necessarily uniform) Berge-$\mathcal{F}$-free hypergraph $\mathcal{H}$ on $n$ vertices is $o(n^r)$ when all the hyperedges of $\mathcal{H}$ are large enough. We also give a connection between hypergraph based Berge hypergraphs and generalized hypergraph Turán problems.
△ Less
Submitted 31 July, 2019;
originally announced August 2019.
-
On complex symmetric block Toeplitz operators
Authors:
Dong-O Kang,
Eungil Ko,
Ji Eun Lee
Abstract:
In this paper, we study complex symmetry of Toeplitz operators and block Toeplitz operators. In particular, we give a characterization of complex symmetric block Toeplitz operators with the special conjugation on the vector-valued Hardy space $H_{{\mathbb C}^2}^2$. As some applications, we provide examples of such operators.
In this paper, we study complex symmetry of Toeplitz operators and block Toeplitz operators. In particular, we give a characterization of complex symmetric block Toeplitz operators with the special conjugation on the vector-valued Hardy space $H_{{\mathbb C}^2}^2$. As some applications, we provide examples of such operators.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
On the rational Turán exponents conjecture
Authors:
Dong Yeap Kang,
Jaehoon Kim,
Hong Liu
Abstract:
The extremal number $\mathrm{ex}(n,F)$ of a graph $F$ is the maximum number of edges in an $n$-vertex graph not containing $F$ as a subgraph. A real number $r \in [1,2]$ is realisable if there exists a graph $F$ with $\mathrm{ex}(n , F) = Θ(n^r)$. Several decades ago, Erdős and Simonovits conjectured that every rational number in $[1,2]$ is realisable. Despite decades of effort, the only known rea…
▽ More
The extremal number $\mathrm{ex}(n,F)$ of a graph $F$ is the maximum number of edges in an $n$-vertex graph not containing $F$ as a subgraph. A real number $r \in [1,2]$ is realisable if there exists a graph $F$ with $\mathrm{ex}(n , F) = Θ(n^r)$. Several decades ago, Erdős and Simonovits conjectured that every rational number in $[1,2]$ is realisable. Despite decades of effort, the only known realisable numbers are $0,1, \frac{7}{5}, 2$, and the numbers of the form $1+\frac{1}{m}$, $2-\frac{1}{m}$, $2-\frac{2}{m}$ for integers $m \geq 1$. In particular, it is not even known whether the set of all realisable numbers contains a single limit point other than two numbers $1$ and $2$.
In this paper, we make progress on the conjecture of Erdős and Simonovits. First, we show that $2 - \frac{a}{b}$ is realisable for any integers $a,b \geq 1$ with $b>a$ and $b \equiv \pm 1 ~({\rm mod}\:a)$. This includes all previously known ones, and gives infinitely many limit points $2-\frac{1}{m}$ in the set of all realisable numbers as a consequence.
Secondly, we propose a conjecture on subdivisions of bipartite graphs. Apart from being interesting on its own, we show that, somewhat surprisingly, this subdivision conjecture in fact implies that every rational number between 1 and 2 is realisable.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
Estimating the Distribution of Random Parameters in a Diffusion Equation Forward Model for a Transdermal Alcohol Biosensor
Authors:
Melike Sirlanci,
Susan E. Luczak,
Catharine E. Fairbairn,
Dahyeon Kang,
Ruoxi Pan,
Xin Yu,
I. G. Rosen
Abstract:
We estimate the distribution of random parameters in a distributed parameter model with unbounded input and output for the transdermal transport of ethanol in humans. The model takes the form of a diffusion equation with the input being the blood alcohol concentration and the output being the transdermal alcohol concentration. Our approach is based on the idea of reformulating the underlying dynam…
▽ More
We estimate the distribution of random parameters in a distributed parameter model with unbounded input and output for the transdermal transport of ethanol in humans. The model takes the form of a diffusion equation with the input being the blood alcohol concentration and the output being the transdermal alcohol concentration. Our approach is based on the idea of reformulating the underlying dynamical system in such a way that the random parameters are now treated as additional space variables. When the distribution to be estimated is assumed to be defined in terms of a joint density, estimating the distribution is equivalent to estimating the diffusivity in a multi-dimensional diffusion equation and thus well-established finite dimensional approximation schemes, functional analytic based convergence arguments, optimization techniques, and computational methods may all be employed. We use our technique to estimate a bivariate normal distribution based on data for multiple drinking episodes from a single subject.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Deconvolving the Input to Random Abstract Parabolic Systems; A Population Model-Based Approach to Estimating Blood/Breath Alcohol Concentration from Transdermal Alcohol Biosensor Data
Authors:
Melike Sirlanci,
Susan E. Luczak,
Catharine E. Fairbairn,
Konrad Bresin,
Dahyeon Kang,
I. G. Rosen
Abstract:
The distribution of random parameters in, and the input signal to, a distributed parameter model with unbounded input and output operators for the transdermal transport of ethanol are estimated. The model takes the form of a diffusion equation with the input, which is on the boundary of the domain, being the blood or breath alcohol concentration (BAC/BrAC), and the output, also on the boundary, be…
▽ More
The distribution of random parameters in, and the input signal to, a distributed parameter model with unbounded input and output operators for the transdermal transport of ethanol are estimated. The model takes the form of a diffusion equation with the input, which is on the boundary of the domain, being the blood or breath alcohol concentration (BAC/BrAC), and the output, also on the boundary, being the transdermal alcohol concentration (TAC). Our approach is based on the reformulation of the underlying dynamical system in such a way that the random parameters are treated as additional spatial variables. When the distribution to be estimated is assumed to be defined in terms of a joint density, estimating the distribution is equivalent to estimating a functional diffusivity in a multi-dimensional diffusion equation. The resulting system is referred to as a population model, and well-established finite dimensional approximation schemes, functional analytic based convergence arguments, optimization techniques, and computational methods can be used to fit it to population data and to analyze the resulting fit. Once the forward population model has been identified or trained based on a sample from the population, the resulting distribution can then be used to deconvolve the BAC/BrAC input signal from the biosensor observed TAC output signal formulated as either a quadratic programming or linear quadratic tracking problem. In addition, our approach allows for the direct computation of corresponding credible bands without simulation. We use our technique to estimate bivariate normal distributions and deconvolve BAC/BrAC from TAC based on data from a population that consists of multiple drinking episodes from a single subject and a population consisting of single drinking episodes from multiple subjects.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Kernels of block Hankel operators and independency of vector-valued functions modulo Nevanlinna class
Authors:
Dong-O Kang
Abstract:
For a matrix-valued function $Φ\in L^2_{M_{n\times m}}$, it is well-known that the kernel of a block Hankel operator $H_Φ$ is an invariant subspace for the shift operator. Thus, if the kernel is nontrivial, then $\ker H_Φ= ΘH^2_{\mathbb C^r}$ for a natural number $r$ and an $m\times r$ matrix inner function $Θ$ by Beurling-Lax-Halmos Theorem. It will be shown that the size of the matrix inner func…
▽ More
For a matrix-valued function $Φ\in L^2_{M_{n\times m}}$, it is well-known that the kernel of a block Hankel operator $H_Φ$ is an invariant subspace for the shift operator. Thus, if the kernel is nontrivial, then $\ker H_Φ= ΘH^2_{\mathbb C^r}$ for a natural number $r$ and an $m\times r$ matrix inner function $Θ$ by Beurling-Lax-Halmos Theorem. It will be shown that the size of the matrix inner function $Θ$ associated with the kernel of a block Hankel operator $H_Φ$ is closely related with a certain independency of the columns of $Φ$, which is defined in this paper. As an important application of this result, the shape of shift invariant, or, backward shift invariant subspaces of $H^2_{\mathbb C^n}$ generated by finite elements will be studied.
△ Less
Submitted 2 May, 2018; v1 submitted 27 April, 2018;
originally announced April 2018.
-
On 1-factors with prescribed lengths in tournaments
Authors:
Dong Yeap Kang,
Jaehoon Kim
Abstract:
Kühn, Osthus, and Townsend asked whether there exists a constant $C$ such that every strongly $Ct$-connected tournament contains all possible $1$-factors with at most $t$ components. We answer this question in the affirmative. This is best possible up to constant. In addition, we can ensure that each cycle in the $1$-factor contains a prescribed vertex.
Indeed, we derive this result from a more…
▽ More
Kühn, Osthus, and Townsend asked whether there exists a constant $C$ such that every strongly $Ct$-connected tournament contains all possible $1$-factors with at most $t$ components. We answer this question in the affirmative. This is best possible up to constant. In addition, we can ensure that each cycle in the $1$-factor contains a prescribed vertex.
Indeed, we derive this result from a more general result on partitioning digraphs which are close to semicomplete. More precisely, we prove that there exists a constant $C$ such that for any $k\geq 1$, if a strongly $Ck^4t$-connected digraph $D$ is close to semicomplete, then we can partition $D$ into $t$ strongly $k$-connected subgraphs with prescribed sizes, provided that the prescribed sizes are $Ω(n)$. This result improves the earlier result of Kühn, Osthus, and Townsend. Here, the condition of connectivity being linear in $t$ is best possible, and the condition of prescribed size being $Ω(n)$ is also best possible.
△ Less
Submitted 10 June, 2019; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Sparse highly connected spanning subgraphs in dense directed graphs
Authors:
Dong Yeap Kang
Abstract:
Mader proved that every strongly $k$-connected $n$-vertex digraph contains a strongly $k$-connected spanning subgraph with at most $2kn - 2k^2$ edges, where the equality holds for the complete bipartite digraph ${DK}_{k,n-k}$. For dense strongly $k$-connected digraphs, this upper bound can be significantly improved. More precisely, we prove that every strongly $k$-connected $n$-vertex digraph $D$…
▽ More
Mader proved that every strongly $k$-connected $n$-vertex digraph contains a strongly $k$-connected spanning subgraph with at most $2kn - 2k^2$ edges, where the equality holds for the complete bipartite digraph ${DK}_{k,n-k}$. For dense strongly $k$-connected digraphs, this upper bound can be significantly improved. More precisely, we prove that every strongly $k$-connected $n$-vertex digraph $D$ contains a strongly $k$-connected spanning subgraph with at most $kn + 800k(k+\overlineΔ(D))$ edges, where $\overlineΔ(D)$ denotes the maximum degree of the complement of the underlying undirected graph of a digraph $D$. Here, the additional term $800k(k+\overlineΔ(D))$ is tight up to multiplicative and additive constants. As a corollary, this implies that every strongly $k$-connected $n$-vertex semicomplete digraph contains a strongly $k$-connected spanning subgraph with at most $kn + 800k^2$ edges, which is essentially optimal since $800k^2$ cannot be reduced to the number less than $k(k-1)/2$.
We also prove an analogous result for strongly $k$-arc-connected directed multigraphs. Both proofs yield polynomial-time algorithms.
△ Less
Submitted 12 August, 2018; v1 submitted 5 January, 2018;
originally announced January 2018.
-
Improper coloring of graphs with no odd clique minor
Authors:
Dong Yeap Kang,
Sang-il Oum
Abstract:
As a strengthening of Hadwiger's conjecture, Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. We prove two weaker variants of this conjecture. Firstly, we show that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $6t-9$ sets $V_1, \dots, V_{6t-9}$ such that each $V_i$ induces a subgraph of bounded maximum…
▽ More
As a strengthening of Hadwiger's conjecture, Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. We prove two weaker variants of this conjecture. Firstly, we show that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $6t-9$ sets $V_1, \dots, V_{6t-9}$ such that each $V_i$ induces a subgraph of bounded maximum degree. Secondly, we prove that for each $t \geq 2$, every graph with no odd $K_t$ minor has a partition of its vertex set into $10t-13$ sets $V_1, \dots, V_{10t-13}$ such that each $V_i$ induces a subgraph with components of bounded size. The second theorem improves a result of Kawarabayashi (2008), which states that the vertex set can be partitioned into $496t$ such sets.
△ Less
Submitted 14 September, 2018; v1 submitted 16 December, 2016;
originally announced December 2016.
-
Weak Solution of a Doubly Degenerate Parabolic Equation
Authors:
Di Kang,
Tharathep Sangsawang,
Jialun Zhang
Abstract:
This paper studies a fourth-order, nonlinear, doubly-degenerate parabolic equation derived from the thin film equation in spherical geometry. A regularization method is used to study the equation and several useful estimates are obtained. The main result of this paper is to prove the existence of a weak solution of the equation in a weighted Sobolev space.
This paper studies a fourth-order, nonlinear, doubly-degenerate parabolic equation derived from the thin film equation in spherical geometry. A regularization method is used to study the equation and several useful estimates are obtained. The main result of this paper is to prove the existence of a weak solution of the equation in a weighted Sobolev space.
△ Less
Submitted 1 March, 2017; v1 submitted 20 October, 2016;
originally announced October 2016.
-
A width parameter useful for chordal and co-comparability graphs
Authors:
Dong Yeap Kang,
O-joung Kwon,
Torstein J. F. Strømme,
Jan Arne Telle
Abstract:
We investigate new graph classes of bounded mim-width, strictly extending interval graphs and permutation graphs. The graphs $K_t \boxminus K_t$ and $K_t \boxminus S_t$ are graphs obtained from the disjoint union of two cliques of size $t$, and one clique of size $t$ and one independent set of size $t$ respectively, by adding a perfect matching. We prove that : (1) interval graphs are…
▽ More
We investigate new graph classes of bounded mim-width, strictly extending interval graphs and permutation graphs. The graphs $K_t \boxminus K_t$ and $K_t \boxminus S_t$ are graphs obtained from the disjoint union of two cliques of size $t$, and one clique of size $t$ and one independent set of size $t$ respectively, by adding a perfect matching. We prove that : (1) interval graphs are $(K_3\boxminus S_3)$-free chordal graphs; and $(K_t\boxminus S_t)$-free chordal graphs have mim-width at most $t-1$, (2) permutation graphs are $(K_3\boxminus K_3)$-free co-comparability graphs; and $(K_t\boxminus K_t)$-free co-comparability graphs have mim-width at most $t-1$, (3) chordal graphs and co-comparability graphs have unbounded mim-width in general. We obtain several algorithmic consequences; for instance, while Minimum Dominating Set is NP-complete on chordal graphs, it can be solved in time $n^{\mathcal{O}(t)}$ on $(K_t\boxminus S_t)$-free chordal graphs. The third statement strengthens a result of Belmonte and Vatshelle stating that either those classes do not have constant mim-width or a decomposition with constant mim-width cannot be computed in polynomial time unless $P=NP$. We generalize these ideas to bigger graph classes. We introduce a new width parameter sim-width, of stronger modelling power than mim-width, by making a small change in the definition of mim-width. We prove that chordal graphs and co-comparability graphs have sim-width at most 1. We investigate a way to bound mim-width for graphs of bounded sim-width by excluding $K_t\boxminus K_t$ and $K_t\boxminus S_t$ as induced minors or induced subgraphs, and give algorithmic consequences. Lastly, we show that circle graphs have unbounded sim-width, and thus also unbounded mim-width.
△ Less
Submitted 7 March, 2017; v1 submitted 26 June, 2016;
originally announced June 2016.
-
Sparse spanning $k$-connected subgraphs in tournaments
Authors:
Dong Yeap Kang,
Jaehoon Kim,
Younjin Kim,
Geewon Suh
Abstract:
In 2009, Bang-Jensen asked whether there exists a function $g(k)$ such that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + g(k)$ arcs. In this paper, we answer the question by showing that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most…
▽ More
In 2009, Bang-Jensen asked whether there exists a function $g(k)$ such that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + g(k)$ arcs. In this paper, we answer the question by showing that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + 750k^2\log(k+1)$ arcs.
△ Less
Submitted 22 January, 2018; v1 submitted 8 March, 2016;
originally announced March 2016.
-
On the number of $r$-matchings in a Tree
Authors:
Dong Yeap Kang,
Jaehoon Kim,
Younjin Kim,
Hiu-Fai Law
Abstract:
An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. A $2$-matching is also called an induced matching. In this paper, we estimate the maximum number of $r$-matchings in a tree of fixed order. We also prove that the $n$-vertex path has the maximum number of induced matchings among all $n$-vertex trees.
An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. A $2$-matching is also called an induced matching. In this paper, we estimate the maximum number of $r$-matchings in a tree of fixed order. We also prove that the $n$-vertex path has the maximum number of induced matchings among all $n$-vertex trees.
△ Less
Submitted 16 November, 2014; v1 submitted 27 September, 2014;
originally announced September 2014.
-
On the Erdos-Ko-Rado Theorem and the Bollobas Theorem for t-intersecting families
Authors:
Dong Yeap Kang,
Jaehoon Kim,
Younjin Kim
Abstract:
A family $\mathcal{F}$ is $t$-$\it{intersecting}$ if any two members have at least $t$ common elements. Erd\H os, Ko, and Rado proved that the maximum size of a $t$-intersecting family of subsets of size $k$ is equal to $ {{n-t} \choose {k-t}}$ if $n\geq n_0(k,t)$. Alon, Aydinian, and Huang considered families generalizing intersecting families, and proved the same bound. In this paper, we give a…
▽ More
A family $\mathcal{F}$ is $t$-$\it{intersecting}$ if any two members have at least $t$ common elements. Erd\H os, Ko, and Rado proved that the maximum size of a $t$-intersecting family of subsets of size $k$ is equal to $ {{n-t} \choose {k-t}}$ if $n\geq n_0(k,t)$. Alon, Aydinian, and Huang considered families generalizing intersecting families, and proved the same bound. In this paper, we give a strengthening of their result by considering families generalizing $t$-intersecting families for all $t \geq 1$. In 2004, Talbot generalized Bollobás's Two Families Theorem to $t$-intersecting families. In this paper, we proved a slight generalization of Talbot's result by using the probabilistic method.
△ Less
Submitted 18 November, 2014; v1 submitted 14 August, 2014;
originally announced August 2014.
-
A relative of Hadwiger's conjecture
Authors:
Katherine Edwards,
Dong Yeap Kang,
Jaehoon Kim,
Sang-il Oum,
Paul Seymour
Abstract:
Hadwiger's conjecture asserts that if a simple graph $G$ has no $K_{t+1}$ minor, then its vertex set $V(G)$ can be partitioned into $t$ stable sets. This is still open, but we prove under the same hypotheses that $V(G)$ can be partitioned into $t$ sets $X_1,\ldots, X_t$, such that for $1\le i\le t$, the subgraph induced on $X_i$ has maximum degree at most a function of $t$. This is sharp, in that…
▽ More
Hadwiger's conjecture asserts that if a simple graph $G$ has no $K_{t+1}$ minor, then its vertex set $V(G)$ can be partitioned into $t$ stable sets. This is still open, but we prove under the same hypotheses that $V(G)$ can be partitioned into $t$ sets $X_1,\ldots, X_t$, such that for $1\le i\le t$, the subgraph induced on $X_i$ has maximum degree at most a function of $t$. This is sharp, in that the conclusion becomes false if we ask for a partition into $t-1$ sets with the same property.
△ Less
Submitted 21 August, 2015; v1 submitted 19 July, 2014;
originally announced July 2014.
-
Nontrapping surfaces of revolution with long living resonances
Authors:
Kiril R. Datchev,
Daniel D. Kang,
Andre P. Kessler
Abstract:
We study resonances of surfaces of revolution obtained by removing a disk from a cone and attaching a hyperbolic cusp in its place. These surfaces include ones with nontrapping geodesic flow (every maximally extended non-reflected geodesic is unbounded) and yet infinitely many long living resonances (resonances with uniformly bounded imaginary part, i.e. decay rate).
We study resonances of surfaces of revolution obtained by removing a disk from a cone and attaching a hyperbolic cusp in its place. These surfaces include ones with nontrapping geodesic flow (every maximally extended non-reflected geodesic is unbounded) and yet infinitely many long living resonances (resonances with uniformly bounded imaginary part, i.e. decay rate).
△ Less
Submitted 24 November, 2014; v1 submitted 10 May, 2013;
originally announced May 2013.
-
Some new identities on the twisted (h, q)- Euler numbers and q-Bernstein polynomials
Authors:
D. V. Dolgy,
D. J. Kang,
T. Kim,
B. Lee
Abstract:
In this paper we give some interesting relationships between twisted (h,q)-Euler numbers and q-Berstein polynomnials by using fermionic p-adic q-integrals on Zp
In this paper we give some interesting relationships between twisted (h,q)-Euler numbers and q-Berstein polynomnials by using fermionic p-adic q-integrals on Zp
△ Less
Submitted 30 April, 2011;
originally announced May 2011.
