-
BWLer: Barycentric Weight Layer Elucidates a Precision-Conditioning Tradeoff for PINNs
Authors:
Jerry Liu,
Yasa Baig,
Denise Hui Jean Lee,
Rajat Vadiraj Dwaraknath,
Atri Rudra,
Chris Ré
Abstract:
Physics-informed neural networks (PINNs) offer a flexible way to solve partial differential equations (PDEs) with machine learning, yet they still fall well short of the machine-precision accuracy many scientific tasks demand. In this work, we investigate whether the precision ceiling comes from the ill-conditioning of the PDEs or from the typical multi-layer perceptron (MLP) architecture. We intr…
▽ More
Physics-informed neural networks (PINNs) offer a flexible way to solve partial differential equations (PDEs) with machine learning, yet they still fall well short of the machine-precision accuracy many scientific tasks demand. In this work, we investigate whether the precision ceiling comes from the ill-conditioning of the PDEs or from the typical multi-layer perceptron (MLP) architecture. We introduce the Barycentric Weight Layer (BWLer), which models the PDE solution through barycentric polynomial interpolation. A BWLer can be added on top of an existing MLP (a BWLer-hat) or replace it completely (explicit BWLer), cleanly separating how we represent the solution from how we take derivatives for the PDE loss. Using BWLer, we identify fundamental precision limitations within the MLP: on a simple 1-D interpolation task, even MLPs with O(1e5) parameters stall around 1e-8 RMSE -- about eight orders above float64 machine precision -- before any PDE terms are added. In PDE learning, adding a BWLer lifts this ceiling and exposes a tradeoff between achievable accuracy and the conditioning of the PDE loss. For linear PDEs we fully characterize this tradeoff with an explicit error decomposition and navigate it during training with spectral derivatives and preconditioning. Across five benchmark PDEs, adding a BWLer on top of an MLP improves RMSE by up to 30x for convection, 10x for reaction, and 1800x for wave equations while remaining compatible with first-order optimizers. Replacing the MLP entirely lets an explicit BWLer reach near-machine-precision on convection, reaction, and wave problems (up to 10 billion times better than prior results) and match the performance of standard PINNs on stiff Burgers' and irregular-geometry Poisson problems. Together, these findings point to a practical path for combining the flexibility of PINNs with the precision of classical spectral solvers.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
On various diametral notions of points in the unit ball of some vector-valued function spaces
Authors:
Han Ju Lee,
Óscar Roldán,
Hyung-Joon Tag
Abstract:
In this article, we study the ccs-Daugavet, ccs-$Δ$, super-Daugavet, super-$Δ$, Daugavet, $Δ$, and $\nabla$ points in the unit balls of vector-valued function spaces $C_0(L, X)$, $A(K, X)$, $L_\infty(μ, X)$, and $L_1(μ, X)$. To partially or fully characterize these diametral points, we first provide improvements of several stability results under $\oplus_\infty$ and $\oplus_1$-sums shown in the li…
▽ More
In this article, we study the ccs-Daugavet, ccs-$Δ$, super-Daugavet, super-$Δ$, Daugavet, $Δ$, and $\nabla$ points in the unit balls of vector-valued function spaces $C_0(L, X)$, $A(K, X)$, $L_\infty(μ, X)$, and $L_1(μ, X)$. To partially or fully characterize these diametral points, we first provide improvements of several stability results under $\oplus_\infty$ and $\oplus_1$-sums shown in the literature. For complex Banach spaces, $\nabla$ points are identical to Daugavet points, and so the study of $\nabla$ points only makes sense when a Banach space is real. Consequently, we obtain that the seven notions of diametral points are equivalent for $L_\infty(μ)$ and uniform algebra when $K$ is infinite.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Minimal grid diagrams of the prime knots with crossing number 14 and arc index 13
Authors:
Gyo Taek Jin,
Hun Kim,
Minchae Kim,
Hwa Jeong Lee,
Songwon Ryu,
Dongju Shin,
Alexander Stoimenow
Abstract:
There are 46,972 prime knots with crossing number 14. Among them 19,536 are alternating and have arc index 16. Among the non-alternating knots, 17, 477, and 3,180 have arc index 10, 11, and 12, respectively. The remaining 23,762 have arc index 13 or 14. There are none with arc index smaller than 10 or larger than 14. We used the Dowker-Thistlethwaite code of the 23,762 knots provided by the progra…
▽ More
There are 46,972 prime knots with crossing number 14. Among them 19,536 are alternating and have arc index 16. Among the non-alternating knots, 17, 477, and 3,180 have arc index 10, 11, and 12, respectively. The remaining 23,762 have arc index 13 or 14. There are none with arc index smaller than 10 or larger than 14. We used the Dowker-Thistlethwaite code of the 23,762 knots provided by the program Knotscape to locate non-alternating edges in their diagrams. Our method requires at least six non-alternating edges to find arc presentations with 13 arcs. We obtained 8,027 knots having arc index 13. We show them by their minimal grid diagrams. The remaining 15,735 prime non-alternating 14 crossing knots have arc index 14 as determined by the lower bound obtained from the Kauffman polynomial.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Minimal grid diagrams of the prime alternating knots with 13 crossings
Authors:
Hwa Jeong Lee,
Alexander Stoimenow,
Gyo Taek Jin
Abstract:
A knot is a closed loop in space without self-intersection. Two knots are equivalent if there is a self homeomorphism of space bringing one onto the other. An arc presentation is an embedding of a knot in the union of finitely many half planes with a common boundary line such that each half plane contains a simple arc of the knot. The minimal number of such half planes among all arc presentations…
▽ More
A knot is a closed loop in space without self-intersection. Two knots are equivalent if there is a self homeomorphism of space bringing one onto the other. An arc presentation is an embedding of a knot in the union of finitely many half planes with a common boundary line such that each half plane contains a simple arc of the knot. The minimal number of such half planes among all arc presentations of a given knot is called the arc index of the knot. A knot is usually presented as a planar diagram with finitely many crossings of two strands where one of the strands goes over the other. A grid diagram is a planar diagram which is a non-simple rectilinear polygon such that vertical edges always cross over horizontal edges at all crossings. It is easily seen that an arc presentation gives rise to a grid diagram and vice versa. It is known that the arc index of an alternating knot is two plus its minimal crossing number. There are 4878 prime alternating knots with minimal crossing number 13. We obtained minimal arc presentations of them in the form of grid diagrams having 15 vertical segments. This is a continuation of the works on prime alternating knots of 11 crossings and 12 crossings.
△ Less
Submitted 31 March, 2024;
originally announced June 2024.
-
Linear structures of norm-attaining Lipschitz functions and their complements
Authors:
Geunsu Choi,
Mingu Jung,
Han Ju Lee,
Oscar Roldan
Abstract:
We solve two main questions on linear structures of (non-)norm-attaining Lipschitz functions. First, we show that for every infinite metric space $M$, the set consisting of Lipschitz functions on $M$ which do not strongly attain their norm and the zero contains an isometric copy of $\ell_\infty$, and moreover, those functions can be chosen not to attain their norm as functionals on the Lipschitz-f…
▽ More
We solve two main questions on linear structures of (non-)norm-attaining Lipschitz functions. First, we show that for every infinite metric space $M$, the set consisting of Lipschitz functions on $M$ which do not strongly attain their norm and the zero contains an isometric copy of $\ell_\infty$, and moreover, those functions can be chosen not to attain their norm as functionals on the Lipschitz-free space over $M$. Second, we prove that for every infinite metric space $M$, neither the set of strongly norm-attaining Lipschitz functions on $M$ nor the union of its complement with zero is ever a linear space. Furthermore, we observe that the set consisting of Lipschitz functions which cannot be approximated by strongly norm-attaining ones and the zero element contains $\ell_\infty$ isometrically in all the known cases. Some natural observations and spaceability results are also investigated for Lipschitz functions that attain their norm in one way but do not in another, for several norm-attainment notions considered in the literature.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Minimal grid diagrams of the prime knots with crossing number 13 and arc index 13
Authors:
Hwa Jeong Lee,
Yoonsang Lee,
Chanmin Lee,
Yeseo Park,
Hun Kim,
Gyo Taek Jin
Abstract:
We give a list of minimal grid diagrams of the 13 crossing prime nonalternating knots which have arc index 13. There are 9,988 prime knots with crossing number 13. Among them 4,878 are alternating and have arc index 15. Among the other nonalternating knots, 49, 399, 1,412 and 3,250 have arc index 10, 11, 12, and 13, respectively. We used the Dowker-Thistlethwaite code of the 3,250 knots provided b…
▽ More
We give a list of minimal grid diagrams of the 13 crossing prime nonalternating knots which have arc index 13. There are 9,988 prime knots with crossing number 13. Among them 4,878 are alternating and have arc index 15. Among the other nonalternating knots, 49, 399, 1,412 and 3,250 have arc index 10, 11, 12, and 13, respectively. We used the Dowker-Thistlethwaite code of the 3,250 knots provided by the program Knotscape to generate spanning trees of the corresponding knot diagrams to obtain minimal arc presentations in the form of grid diagrams.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Embeddings of infinite-dimensional spaces in the sets of norm-attaining Lipschitz functions
Authors:
Geunsu Choi,
Mingu Jung,
Han Ju Lee,
Óscar Roldán
Abstract:
Motivated by the result of Dantas et. al. (2023) that there exist metric spaces for which the set of strongly norm-attaining Lipschitz functions does not contain an isometric copy of $c_0$, we introduce and study a weaker notion of norm-attainment for Lipschitz functions called the pointwise norm-attainment. As a main result, we show that for every infinite metric space $M$, there exists a metric…
▽ More
Motivated by the result of Dantas et. al. (2023) that there exist metric spaces for which the set of strongly norm-attaining Lipschitz functions does not contain an isometric copy of $c_0$, we introduce and study a weaker notion of norm-attainment for Lipschitz functions called the pointwise norm-attainment. As a main result, we show that for every infinite metric space $M$, there exists a metric space $M_0 \subseteq M$ such that the set of pointwise norm-attaining Lipschitz functions on $M_0$ contains an isometric copy of $c_0$. We also observe that there are countable metric spaces $M$ for which the set of pointwise norm-attaining Lipschitz functions contains an isometric copy of $\ell_\infty$, which is a result that does not hold for the set of strongly norm-attaining Lipschitz functions. Several new results on $c_0$-embedding and $\ell_1$-embedding into the set of strongly norm-attaining Lipschitz functions are presented as well. In particular, we show that if $M$ is a subset of an $\mathbb{R}$-tree containing all the branching points, then the set of strongly norm-attaining Lipschitz functions contains $c_0$ isometrically. As a related result, we provide an example of metric space $M$ for which the set of norm-attaining functionals on the Lipschitz-free space over $M$ cannot contain an isometric copy of $c_0$. Finally, we compare the concept of pointwise norm-attainment with the several different kinds of norm-attainment from the literature.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Remarks on the Daugavet Property for Complex Banach Spaces
Authors:
Han Ju Lee,
Hyung-Joon Tag
Abstract:
In this article, we study the Daugavet property and the diametral diameter two properties in complex Banach spaces. The characterizations for both Daugavet and $Δ$-points are revisited in the context of complex Banach spaces. We also provide relationships between some variants of alternative convexity and smoothness, nonsquareness, and the Daugavet property. As a consequence, every strongly locall…
▽ More
In this article, we study the Daugavet property and the diametral diameter two properties in complex Banach spaces. The characterizations for both Daugavet and $Δ$-points are revisited in the context of complex Banach spaces. We also provide relationships between some variants of alternative convexity and smoothness, nonsquareness, and the Daugavet property. As a consequence, every strongly locally uniformly alternatively convex or smooth (sluacs) Banach space does not contain $Δ$-points from the fact that such spaces are locally uniformly nonsquare. We also study the convex diametral local diameter two property (convex-DLD2P) and the polynomial Daugavet property in the vector-valued function space $A(K, X)$. From an explicit computation of the polynomial Daugavetian index of $A(K, X)$, we show that the space $A(K, X)$ has the polynomial Daugavet property if and only if either the base algebra $A$ or the range space $X$ has the polynomial Daugavet property. Consequently, we obtain that the polynomial Daugavet property, the Daugavet property, the diameteral diameter two properties, and the property ($\mathcal{D}$) are equivalent for infinite-dimensional uniform algebras.
△ Less
Submitted 27 May, 2024; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Daugavet and diameter two properties in Orlicz-Lorentz spaces
Authors:
Anna Kamińska,
Han Ju Lee,
Hyung-Joon Tag
Abstract:
In this article, we study the diameter two properties (D2Ps), the diametral diameter two properties (diametral D2Ps), and the Daugavet property in Orlicz-Lorentz spaces equipped with the Luxemburg norm. First, we characterize the Radon-Nikodým property of Orlicz-Lorentz spaces in full generality by considering all finite real-valued Orlicz functions. To show this, the fundamental functions of thei…
▽ More
In this article, we study the diameter two properties (D2Ps), the diametral diameter two properties (diametral D2Ps), and the Daugavet property in Orlicz-Lorentz spaces equipped with the Luxemburg norm. First, we characterize the Radon-Nikodým property of Orlicz-Lorentz spaces in full generality by considering all finite real-valued Orlicz functions. To show this, the fundamental functions of their Köthe dual spaces defined by extended real-valued Orlicz functions are computed. We also show that if an Orlicz function does not satisfy the appropriate $Δ_2$-condition, the Orlicz-Lorentz space and its order-continuous subspace have the strong diameter two property. Consequently, given that an Orlicz function is an N-function at infinity, the same condition characterizes the diameter two properties of Orlicz-Lorentz spaces as well as the octahedralities of their Köthe dual spaces. The Orlicz-Lorentz function spaces with the Daugavet property and the diametral D2Ps are isometrically isomorphic to $L_1$ when the weight function is regular. In the process, we observe that every locally uniformly nonsquare point is not a $Δ$-point. This fact provides another class of real Banach spaces without $Δ$-points. As another application, it is shown that for Orlicz-Lorentz spaces equipped with the Luxemburg norm defined by an N-function at infinity, their Köthe dual spaces do not have the local diameter two property, and so as other (diametral) diameter two properties and the Daugavet property.
△ Less
Submitted 5 April, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
On the Crawford number attaining operators
Authors:
Geunsu Choi,
Han Ju Lee
Abstract:
We study the denseness of Crawford number attaining operators on Banach spaces. Mainly, we prove that if a Banach space has the RNP, then the set of Crawford number attaining operators is dense in the space of bounded linear operators. We also see among others that the set of Crawford number attaining operators may be dense in the space of all bounded linear operators while they do not coincide, b…
▽ More
We study the denseness of Crawford number attaining operators on Banach spaces. Mainly, we prove that if a Banach space has the RNP, then the set of Crawford number attaining operators is dense in the space of bounded linear operators. We also see among others that the set of Crawford number attaining operators may be dense in the space of all bounded linear operators while they do not coincide, by observing the case of compact operators when the Banach space has a 1-unconditional basis. Furthermore, we show a Bishop-Phelps-Bollobás type property for the Crawford number for certain Banach spaces, and we finally discuss some difficulties and possible problems on the topic.
△ Less
Submitted 18 March, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Petal number of torus knots of type $(r,r+2)$
Authors:
Hwa Jeong Lee,
Gyo Taek Jin
Abstract:
Let $r$ be an odd integer, $r\ge3$. Then the petal number of the torus knot of type $(r,r+2)$ is equal to $2r+3$.
Let $r$ be an odd integer, $r\ge3$. Then the petal number of the torus knot of type $(r,r+2)$ is equal to $2r+3$.
△ Less
Submitted 25 December, 2021;
originally announced December 2021.
-
Diameter two properties in some vector-valued function spaces
Authors:
Han Ju Lee,
Hyung-Joon Tag
Abstract:
We introduce a vector-valued version of a uniform algebra, called the vector-valued function space over a uniform algebra. The diameter two properties of the vector-valued function space over a uniform algebra on an infinite compact Hausdorff space are investigated. Every nonempty relatively weakly open subset of the unit ball of a vector-valued function space $A(K, (X, τ))$ over an infinite dimen…
▽ More
We introduce a vector-valued version of a uniform algebra, called the vector-valued function space over a uniform algebra. The diameter two properties of the vector-valued function space over a uniform algebra on an infinite compact Hausdorff space are investigated. Every nonempty relatively weakly open subset of the unit ball of a vector-valued function space $A(K, (X, τ))$ over an infinite dimensional uniform algebra has the diameter two, where $τ$ is a locally convex Hausdorff topology on a Banach space $X$ compatible to a dual pair. Under the assumption on $X$ being uniformly convex with norm topology $τ$ and the additional condition that $A\otimes X\subset A(K, X)$, it is shown that Daugavet points and $Δ$-points on $A(K, X)$ over a uniform algebra $A$ are the same, and they are characterized by the norm-attainment at a limit point of the Shilov boundary of $A$. In addition, a sufficient condition for the convex diametral local diameter two property of $A(K,X)$ is also provided. As a result, the similar results also hold for an infinite dimensional uniform algebra.
△ Less
Submitted 16 March, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Minimal Grid Diagrams of the Prime Alternating Knots with 12 Crossings
Authors:
Gyo Taek Jin,
Hwa Jeong Lee
Abstract:
In this article, we give a list of minimal grid diagrams of the 12 crossing prime alternating knots. This is a continuation of the work in https://doi.org/10.1142/S0218216520500765
In this article, we give a list of minimal grid diagrams of the 12 crossing prime alternating knots. This is a continuation of the work in https://doi.org/10.1142/S0218216520500765
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
On various types of density of numerical radius attaining operators
Authors:
Sheldon Dantas,
Sun Kwang Kim,
Han Ju Lee,
Martin Mazzitelli
Abstract:
In this paper, we are interested in studying two properties related to the denseness of the operators which attain their numerical radius: the Bishop-Phelps-Bollobás point and operator properties for numerical radius (BPBpp-nu and BPBop-nu, respectively). We prove that every Banach space with micro-transitive norm and second numerical index strictly positive satisfy the BPBpp-nu and that, if the n…
▽ More
In this paper, we are interested in studying two properties related to the denseness of the operators which attain their numerical radius: the Bishop-Phelps-Bollobás point and operator properties for numerical radius (BPBpp-nu and BPBop-nu, respectively). We prove that every Banach space with micro-transitive norm and second numerical index strictly positive satisfy the BPBpp-nu and that, if the numerical index of $X$ is 1, only one-dimensional spaces enjoy it. On the other hand, we show that the BPBop-nu is a very restrictive property: under some general assumptions, it holds only for one-dimensional spaces. We also consider two weaker properties, the local versions of BPBpp-nu and BPBop-nu, where the $η$ which appears in their definition does not depend just on $ε> 0$ but also on a state $(x, x^*)$ or on a numerical radius one operator $T$. We address the relation between the local BPBpp-nu and the strong subdifferentiability of the norm of the space $X$. We show that finite dimensional spaces and $c_0$ are examples of Banach spaces satisfying the local BPBpp-nu, and we exhibit an example of a Banach space with strongly subdifferentiable norm failing it. We finish the paper by showing that finite dimensional spaces satisfy the local BPBop-nu and that, if $X$ has strictly positive numerical index and has the approximation property, this property is equivalent to finite dimensionality.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Diameter two properties and the Radon-Nikodým property in Orlicz spaces
Authors:
Anna Kamińska,
Han Ju Lee,
Hyung-Joon Tag
Abstract:
Some necessary and sufficient conditions are found for Banach function lattices to have the Radon-Nikodým property. Consequently it is shown that an Orlicz space $L_\varphi$ over a non-atomic $σ$-finite measure space $(Ω, Σ,μ)$, not necessarily separable, has the Radon-Nikodým property if and only if $\varphi$ is an $N$-function at infinity and satisfies the appropriate $Δ_2$ condition. For an Orl…
▽ More
Some necessary and sufficient conditions are found for Banach function lattices to have the Radon-Nikodým property. Consequently it is shown that an Orlicz space $L_\varphi$ over a non-atomic $σ$-finite measure space $(Ω, Σ,μ)$, not necessarily separable, has the Radon-Nikodým property if and only if $\varphi$ is an $N$-function at infinity and satisfies the appropriate $Δ_2$ condition. For an Orlicz sequence space $\ell_\varphi$, it has the Radon-Nikodým property if and only if $\varphi$ satisfies condition $Δ_2^0$. In the second part the relationships between uniformly $\ell_1^2$ points of the unit sphere of a Banach space and the diameter of the slices are studied. Using these results, a quick proof is given that an Orlicz space $L_\varphi$ has the Daugavet property only if $\varphi$ is linear, so when $L_\varphi$ is isometric to $L_1$. The other consequence is that the Orlicz spaces equipped with the Orlicz norm generated by $N$-functions never have local diameter two property, while it is well-known that when equipped with the Luxemburg norm, it may have that property. Finally, it is shown that the local diameter two property, the diameter two property, the strong diameter two property are equivalent in function and sequence Orlicz spaces with the Luxemburg norm under appropriate conditions on $\varphi$.
△ Less
Submitted 2 January, 2023; v1 submitted 29 February, 2020;
originally announced March 2020.
-
Quantum tensor singular value decomposition with applications to recommendation systems
Authors:
Xiaoqiang Wang,
Lejia Gu,
Joseph Heung-wing Joseph Lee,
Guofeng Zhang
Abstract:
In this paper, we present a quantum singular value decomposition algorithm for third-order tensors inspired by the classical algorithm of tensor singular value decomposition (t-svd) and then extend it to order-$p$ tensors. It can be proved that the quantum version of the t-svd for a third-order tensor $\mathcal{A} \in \mathbb{R}^{N\times N \times N}$ achieves the complexity of…
▽ More
In this paper, we present a quantum singular value decomposition algorithm for third-order tensors inspired by the classical algorithm of tensor singular value decomposition (t-svd) and then extend it to order-$p$ tensors. It can be proved that the quantum version of the t-svd for a third-order tensor $\mathcal{A} \in \mathbb{R}^{N\times N \times N}$ achieves the complexity of $\mathcal{O}(N{\rm polylog}(N))$, an exponential speedup compared with its classical counterpart. As an application, we propose a quantum algorithm for recommendation systems which incorporates the contextual situation of users to the personalized recommendation. We provide recommendations varying with contexts by measuring the output quantum state corresponding to an approximation of this user's preferences. This algorithm runs in expected time $\mathcal{O}(N{\rm polylog}(N){\rm poly}(k)),$ if every frontal slice of the preference tensor has a good rank-$k$ approximation. At last, we provide a quantum algorithm for tensor completion based on a different truncation method which is tested to have a good performance in dynamic video completion.
△ Less
Submitted 3 February, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
On Banach spaces whose group of isometries acts micro-transitively on the unit sphere
Authors:
Félix Cabello Sánchez,
Sheldon Dantas,
Vladimir Kadets,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martín
Abstract:
We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self…
▽ More
We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self-dual class. To this end, we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollobás property and use some known results on it. Besides, we show that if there is a non-Hilbertian non-separable Banach space with uniform micro-semitransitive (or micro-transitive) norm, then there is a non-Hilbertian separable one. Finally, we show that an $L_p(μ)$ space is micro-transitive or uniformly micro-semitransitive only when $p=2$.
△ Less
Submitted 21 June, 2019;
originally announced June 2019.
-
On some local Bishop-Phelps-Bollobás properties
Authors:
Sheldon Dantas,
Sun Kwang Kim,
Han Ju Lee,
Martin Mazzitelli
Abstract:
We continue a line of study about some local versions of Bishop-Phelps-Bollobás type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$, and we explore the relation between them and some geometric properties of the underlying spaces, such as spaces having strict convexity, local uniform rotundity,…
▽ More
We continue a line of study about some local versions of Bishop-Phelps-Bollobás type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$, and we explore the relation between them and some geometric properties of the underlying spaces, such as spaces having strict convexity, local uniform rotundity, and property $β$ of Lindenstrauss. At the end of the paper, we present a diagram comparing all the existing Bishop-Phelps-Bollobás type properties with each other. Some open questions are left throughout the article.
△ Less
Submitted 31 May, 2019;
originally announced May 2019.
-
Strong subdifferentiability and local Bishop-Phelps-Bollobás properties
Authors:
Sheldon Dantas,
Sun Kwang Kim,
Han Ju Lee,
Martin Mazzitelli
Abstract:
It has been recently presented some local versions of the Bishop-Phelps-Bollobás type property for operators. In the present article, we continue studying these properties for multilinear mappings. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollobás type results for multilinear mappings, and also provide some interesting examples which shows that this stud…
▽ More
It has been recently presented some local versions of the Bishop-Phelps-Bollobás type property for operators. In the present article, we continue studying these properties for multilinear mappings. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollobás type results for multilinear mappings, and also provide some interesting examples which shows that this study is not just a mere generalization of the linear case. We study those properties for bilinear forms on $\ell_p \times \ell_q$ using the strong subdifferentiability of the norm of the Banach space $\ell_p \hat{\otimes}_π \ell_{q}$. Moreover, we present necessary and sufficient conditions for the norm of a Banach space $Y$ to be strongly subdifferentiable through the study of these properties for bilinear mappings on $\ell_1^N \times Y$.
△ Less
Submitted 21 May, 2019;
originally announced May 2019.
-
There is no operatorwise version of the Bishop-Phelps-Bollobás property
Authors:
Sheldon Dantas,
Vladimir Kadets,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martín
Abstract:
Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bi…
▽ More
Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bishop-Phelps-Bollobás property in which the operator is not changed is possible only if one of the involved Banach spaces is one-dimensional.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
On the pointwise Bishop--Phelps--Bollobás property for operators
Authors:
Sheldon Dantas,
Vladimir Kadets,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martin
Abstract:
We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollobás property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise B…
▽ More
We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollobás property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise BPB domain spaces, such that $(X, Y)$ possesses pointwise BPB property for every $Y$, and on those $Y$, called universal pointwise BPB range spaces, such that $(X, Y)$ enjoys pointwise BPB property for every uniformly smooth $X$. We show that every universal pointwise BPB domain space is uniformly convex and that $L_p(μ)$ spaces fail to have this property when $p>2$. For universal pointwise BPB range space, we show that every simultaneously uniformly convex and uniformly smooth Banach space fails it if its dimension is greater than one. We also discuss a version of the pointwise BPB property for compact operators.
△ Less
Submitted 26 September, 2018; v1 submitted 31 August, 2017;
originally announced September 2017.
-
Grid diagram for singular links
Authors:
Byung Hee An,
Hwa Jeong Lee
Abstract:
In this paper, we define the set of singular grid diagrams $\mathcal{SG}$ which provides a unified description for singular links, singular Legendrian links, singular transverse links, and singular braids. We also classify the complete set of all equivalence relations on $\mathcal{SG}$ which induce the bijection onto each singular object. This is an extension of the known result of Ng-Thurston for…
▽ More
In this paper, we define the set of singular grid diagrams $\mathcal{SG}$ which provides a unified description for singular links, singular Legendrian links, singular transverse links, and singular braids. We also classify the complete set of all equivalence relations on $\mathcal{SG}$ which induce the bijection onto each singular object. This is an extension of the known result of Ng-Thurston for non-singular links and braids.
△ Less
Submitted 12 August, 2017;
originally announced August 2017.
-
A non-linear Bishop-Phelps-Bollobás type theorem
Authors:
Sheldon Dantas,
Domingo García,
Sun Kwang Kim,
Un Young Kim,
Han Ju Lee,
Manuel Maestre
Abstract:
The main aim of this paper is to prove a Bishop-Phelps-Bollobás type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the interior of B_{X^*}. We show that this result holds for A_{w^*u}(B_{X^*}) if X^* is uniformly convex or X^* is the uniformly complex convex dual space of an orde…
▽ More
The main aim of this paper is to prove a Bishop-Phelps-Bollobás type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the interior of B_{X^*}. We show that this result holds for A_{w^*u}(B_{X^*}) if X^* is uniformly convex or X^* is the uniformly complex convex dual space of an order continuous absolute normed space. The vector-valued case is also studied.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
$M$-ideal properties in Orlicz-Lorentz spaces
Authors:
Anna Kamińska,
Han Ju Lee,
Hyung-Joon Tag
Abstract:
We provide explicit formulas for the norm of bounded linear functionals on Orlicz-Lorentz function spaces $Λ_{\varphi,w}$ equipped with two standard Luxemburg and Orlicz norms. Any bounded linear functional is a sum of regular and singular functionals, and we show that the norm of a singular functional is the same regardless of the norm in the space, while the formulas of the norm of general funct…
▽ More
We provide explicit formulas for the norm of bounded linear functionals on Orlicz-Lorentz function spaces $Λ_{\varphi,w}$ equipped with two standard Luxemburg and Orlicz norms. Any bounded linear functional is a sum of regular and singular functionals, and we show that the norm of a singular functional is the same regardless of the norm in the space, while the formulas of the norm of general functionals are different for the Luxemburg and Orlicz norm. The relationship between equivalent definitions of the modular $P_{\varphi,w}$ generating the dual space to Orlicz-Lorentz space is discussed in order to compute the norm of a bounded linear functional on $Λ_{\varphi,w}$ equipped with Orlicz norm. As a consequence, we show that the order-continuous subspace of Orlicz-Lorentz space equipped with the Luxemburg norm is an $M$-ideal in $Λ_{\varphi,w}$, while this is not true for the space with the Orlicz norm when $\varphi$ is an Orlicz $N$-function not satisfying the appropriate $Δ_2$ condition. The analogous results on Orlicz-Lorentz sequence spaces are given.
△ Less
Submitted 27 June, 2017; v1 submitted 30 May, 2017;
originally announced May 2017.
-
Period and toroidal knot mosaics
Authors:
Seungsang Oh,
Kyungpyo Hong,
Ho Lee,
Hwa Jeong Lee,
Mi Jeong Yeon
Abstract:
Knot mosaic theory was introduced by Lomonaco and Kauffman in the paper on `Quantum knots and mosaics' to give a precise and workable definition of quantum knots, intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \! \times \! n$ matrix whose entries are eleven mosaic tiles, representing a knot or a link by adjoining properly. In this paper we introduce two varia…
▽ More
Knot mosaic theory was introduced by Lomonaco and Kauffman in the paper on `Quantum knots and mosaics' to give a precise and workable definition of quantum knots, intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \! \times \! n$ matrix whose entries are eleven mosaic tiles, representing a knot or a link by adjoining properly. In this paper we introduce two variants of knot mosaics: period knot mosaics and toroidal knot mosaics, which are common features in physics and mathematics. We present an algorithm producing the exact enumeration of period knot (m,n)-mosaics for any positive integers m and n, toroidal knot (m,n)-mosaics for co-prime integers m and n, and furthermore toroidal knot (p,p)-mosaics for a prime number p. We also analyze the asymptotics of the growth rates of their cardinality.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
The Bishop-Phelps-Bollobás point property
Authors:
Sheldon Dantas,
Sun Kwang Kim,
Han Ju Lee
Abstract:
In this article, we study a version of the Bishop-Phelps-Bollobás property. We investigate a pair of Banach spaces $(X, Y)$ such that every operator from $X$ into $Y$ is approximated by operators which attains its norm at the same point where the original operator almost attains its norm. In this case, we say that such a pair has the Bishop-Phelps-Bollobás point property (BPBpp). We characterize u…
▽ More
In this article, we study a version of the Bishop-Phelps-Bollobás property. We investigate a pair of Banach spaces $(X, Y)$ such that every operator from $X$ into $Y$ is approximated by operators which attains its norm at the same point where the original operator almost attains its norm. In this case, we say that such a pair has the Bishop-Phelps-Bollobás point property (BPBpp). We characterize uniform smoothness in terms of BPBpp and we give some examples of pairs $(X, Y)$ which have and fail this property. Some stability results are obtained about $\ell_1$ and $\ell_\infty$ sums of Banach spaces and we also study this property for bilinear mappings.
△ Less
Submitted 1 May, 2016;
originally announced May 2016.
-
On a second numerical index for Banach spaces
Authors:
Sun Kwang Kim,
Han Ju Lee,
Miguel Martin,
Javier Meri
Abstract:
We introduce a second numerical index for real Banach spaces with non-trivial Lie algebra, as the best constant of equivalence between the numerical radius and the quotient of the operator norm modulo the Lie algebra. We present a number of examples and results concerning absolute sums, duality, vector-valued function spaces\ldots which show that, in many cases, the behaviour of this second numeri…
▽ More
We introduce a second numerical index for real Banach spaces with non-trivial Lie algebra, as the best constant of equivalence between the numerical radius and the quotient of the operator norm modulo the Lie algebra. We present a number of examples and results concerning absolute sums, duality, vector-valued function spaces\ldots which show that, in many cases, the behaviour of this second numerical index differs from the one of the classical numerical index. As main results, we prove that Hilbert spaces have second numerical index one and that they are the only spaces with this property among the class of Banach spaces with one-unconditional basis and non-trivial Lie algebra. Besides, an application to the Bishop-Phelps-Bollobás property for numerical radius is given.
△ Less
Submitted 21 April, 2016;
originally announced April 2016.
-
Knot mosaic tabulation
Authors:
Hwa Jeong Lee,
Lewis D. Ludwig,
Joseph S. Paat,
Amanda Peiffer
Abstract:
In 2008, Lomonaco and Kauffman introduced a knot mosaic system to define a quantum knot system. A quantum knot is used to describe a physical quantum system such as the topology or status of vortexing that occurs on a small scale can not see. Kuriya and Shehab proved that knot mosaic type is a complete invariant of tame knots. In this article, we consider the mosaic number of a knot which is a nat…
▽ More
In 2008, Lomonaco and Kauffman introduced a knot mosaic system to define a quantum knot system. A quantum knot is used to describe a physical quantum system such as the topology or status of vortexing that occurs on a small scale can not see. Kuriya and Shehab proved that knot mosaic type is a complete invariant of tame knots. In this article, we consider the mosaic number of a knot which is a natural and fundamental knot invariant defined in the knot mosaic system. We determine the mosaic number for all eight-crossing or fewer prime knots. This work is written at an introductory level to encourage other undergraduates to understand and explore this topic. No prior of knot theory is assumed or required.
△ Less
Submitted 11 February, 2016;
originally announced February 2016.
-
Quantum knots and the number of knot mosaics
Authors:
Seungsang Oh,
Kyungpyo Hong,
Ho Lee,
Hwa Jeong Lee
Abstract:
Lomonaco and Kauffman developed a knot mosaic system to introduce a precise and workable definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \times n$ matrix of mosaic tiles ($T_0$ through $T_{10}$ depicted in the introduction) representing a knot or a link by adjoining properly that is called suitably connec…
▽ More
Lomonaco and Kauffman developed a knot mosaic system to introduce a precise and workable definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \times n$ matrix of mosaic tiles ($T_0$ through $T_{10}$ depicted in the introduction) representing a knot or a link by adjoining properly that is called suitably connected. $D^{(m,n)}$ is the total number of all knot (m,n)-mosaics. This value indicates the dimension of the Hilbert space of these quantum knot system. $D^{(m,n)}$ is already found for $m,n \leq 6$ by the authors.
In this paper, we construct an algorithm producing the precise value of $D^{(m,n)}$ for $m,n \geq 2$ that uses recurrence relations of state matrices that turn out to be remarkably efficient to count knot mosaics. $$ D^{(m,n)} = 2 \, \| (X_{m-2}+O_{m-2})^{n-2} \| $$ where $2^{m-2} \times 2^{m-2}$ matrices $X_{m-2}$ and $O_{m-2}$ are defined by $$ X_{k+1} = \begin{bmatrix} X_k & O_k \\ O_k & X_k \end{bmatrix} \ \mbox{and } \ O_{k+1} = \begin{bmatrix} O_k & X_k \\ X_k & 4 \, O_k \end{bmatrix} $$ for $k=0,1, \cdots, m-3$, with $1 \times 1$ matrices $X_0 = \begin{bmatrix} 1 \end{bmatrix}$ and $O_0 = \begin{bmatrix} 1 \end{bmatrix}$. Here $\|N\|$ denotes the sum of all entries of a matrix $N$. For $n=2$, $(X_{m-2}+O_{m-2})^0$ means the identity matrix of size $2^{m-2} \times 2^{m-2}$.
△ Less
Submitted 14 December, 2014;
originally announced December 2014.
-
Bishop-Phelps-Bollobás property for bilinear forms on spaces of continuous functions
Authors:
Sun Kwang Kim,
Han Ju Lee,
Miguel Martin
Abstract:
It is shown that the Bishop-Phelps-Bollobás theorem holds for bilinear forms on the complex $C_0(L_1)\times C_0(L_2)$ for arbitrary locally compact topological Hausdorff spaces $L_1$ and $L_2$.
It is shown that the Bishop-Phelps-Bollobás theorem holds for bilinear forms on the complex $C_0(L_1)\times C_0(L_2)$ for arbitrary locally compact topological Hausdorff spaces $L_1$ and $L_2$.
△ Less
Submitted 2 October, 2014;
originally announced October 2014.
-
The Bishop-Phelps-Bollobás property for operators from $\mathcal{C}(K)$ to uniformly convex spaces
Authors:
Sun Kwang Kim,
Han Ju Lee
Abstract:
We show that the pair $(C(K),X)$ has the Bishop-Phelps-Bollobaás property for operators if $K$ is a compact Hausdorff space and $X$ is a uniformly convex space.
We show that the pair $(C(K),X)$ has the Bishop-Phelps-Bollobaás property for operators if $K$ is a compact Hausdorff space and $X$ is a uniformly convex space.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
On Banach spaces with the approximate hyperplane series property
Authors:
Yun Sung Choi,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martín
Abstract:
We present a sufficient condition for a Banach space to have the approximate hyperplane series property (AHSP) which actually covers all known examples. We use this property to get a stability result to vector-valued spaces of integrable functions. On the other hand, the study of a possible Bishop-Phelps-Bollobás version of a classical result of V. Zizler leads to a new characterization of the AHS…
▽ More
We present a sufficient condition for a Banach space to have the approximate hyperplane series property (AHSP) which actually covers all known examples. We use this property to get a stability result to vector-valued spaces of integrable functions. On the other hand, the study of a possible Bishop-Phelps-Bollobás version of a classical result of V. Zizler leads to a new characterization of the AHSP for dual spaces in terms of $w^*$-continuous operators and other related results.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
A new intrinsically knotted graph with 22 edges
Authors:
Hyoungjun Kim,
Hwa Jeong Lee,
Minjung Lee,
Thomas Mattman,
Seungsang Oh
Abstract:
A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges.…
▽ More
A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges.
In this paper we present the following results: there are exactly three triangle-free intrinsically knotted graphs with 22 edges having at least two vertices of degree 5. Two are the cousins 94 and 110 of the $E_9+e$ family and the third is a previously unknown graph named $M_{11}$. These graphs are shown in Figure 3 and 4. Furthermore, there is no triangle-free intrinsically knotted graph with 22 edges that has a vertex with degree larger than 5.
△ Less
Submitted 11 August, 2017; v1 submitted 13 July, 2014;
originally announced July 2014.
-
On the Bishop-Phelps-Bollobás property for numerical radius
Authors:
Sun Kwang Kim,
Han Ju Lee,
Miguel Martín
Abstract:
We study the Bishop-Phelps-Bollobás property for numerical radius (in short, BPBp-nu) and find sufficient conditions for Banach spaces ensuring the BPBp-nu. Among other results, we show that $L_1(μ)$-spaces have this property for every measure $μ$. On the other hand, we show that every infinite-dimensional separable Banach space can be renormed to fail the BPBp-nu. In particular, this shows that t…
▽ More
We study the Bishop-Phelps-Bollobás property for numerical radius (in short, BPBp-nu) and find sufficient conditions for Banach spaces ensuring the BPBp-nu. Among other results, we show that $L_1(μ)$-spaces have this property for every measure $μ$. On the other hand, we show that every infinite-dimensional separable Banach space can be renormed to fail the BPBp-nu. In particular, this shows that the Radon-Nikodým property (even reflexivity) is not enough to get BPBp-nu.
△ Less
Submitted 1 April, 2014; v1 submitted 30 December, 2013;
originally announced December 2013.
-
Small knot mosaics and partition matrices
Authors:
Kyungpyo Hong,
Ho Lee,
Hwa Jeong Lee,
Seungsang Oh
Abstract:
Lomonaco and Kauffman introduced knot mosaic system to give a definition of quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $(m,n)$-mosaic is an $m \times n$ matrix of mosaic tiles which are $T_0$ through $T_{10}$ depicted as below, representing a knot or a link by adjoining properly that is called suitably connected. An interesting question…
▽ More
Lomonaco and Kauffman introduced knot mosaic system to give a definition of quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $(m,n)$-mosaic is an $m \times n$ matrix of mosaic tiles which are $T_0$ through $T_{10}$ depicted as below, representing a knot or a link by adjoining properly that is called suitably connected. An interesting question in studying mosaic theory is how many knot $(m,n)$-mosaics are there. $D_{m,n}$ denotes the total number of all knot $(m,n)$-mosaics. This counting is very important because the total number of knot mosaics is indeed the dimension of the Hilbert space of these quantum knot mosaics.
In this paper, we find a table of the precise values of $D_{m,n}$ for $4 \leq m \leq n \leq 6$ as below. Mainly we use a partition matrix argument which turns out to be remarkably efficient to count small knot mosaics.
\begin{center} \begin{tabular}{|c|r|r|r|} \hline $D_{m,n}$ & $n=4$ & $n=5$ & $n=6$ \\ \hline $m=4$ & $2594$ & $54,226$ & $1,144,526$ \\ \hline $m=5$ & & $4,183,954$ & $331,745,962$ \\ \hline $m=6$ & & & $101,393,411,126$ \\ \hline \end{tabular} \end{center}
△ Less
Submitted 10 November, 2014; v1 submitted 14 December, 2013;
originally announced December 2013.
-
Simultaneously continuous retraction and Bishop-Phelps-Bollobás type theorem
Authors:
Sun Kwang Kim,
Han Ju Lee
Abstract:
We study the existence of a retraction from the dual space $X^*$ of a (real or complex) Banach space $X$ onto its unit ball $B_{X^*}$ which is uniformly continuous in norm topology and continuous in weak-$*$ topology. Such a retraction is called a uniformly simultaneously continuous retraction.
It is shown that if $X$ has a normalized unconditional Schauder basis with unconditional basis constan…
▽ More
We study the existence of a retraction from the dual space $X^*$ of a (real or complex) Banach space $X$ onto its unit ball $B_{X^*}$ which is uniformly continuous in norm topology and continuous in weak-$*$ topology. Such a retraction is called a uniformly simultaneously continuous retraction.
It is shown that if $X$ has a normalized unconditional Schauder basis with unconditional basis constant 1 and $X^*$ is uniformly monotone, then a uniformly simultaneously continuous retraction from $X^*$ onto $B_{X^*}$ exists. It is also shown that if $\{X_i\}$ is a family of separable Banach spaces whose duals are uniformly convex with moduli of convexity $δ_i(\varepsilon)$ such that $\inf_i δ_i(\varepsilon)>0$ and $X= \left[\bigoplus X_i\right]_{c_0}$ or $X=\left[\bigoplus X_i\right]_{\ell_p}$ for $1\le p<\infty$, then a uniformly simultaneously continuous retraction exists from $X^*$ onto $B_{X^*}$.
The relation between the existence of a uniformly simultaneously continuous retraction and the Bishsop-Phelps-Bollobás property for operators is investigated and it is proved that the existence of a uniformly simultaneously continuous retraction from $X^*$ onto its unit ball implies that a pair $(X, C_0(K))$ has the Bishop-Phelps-Bollobás property for every locally compact Hausdorff spaces $K$. As a corollary, we prove that $(C_0(S), C_0(K))$ has the Bishop-Phelps-Bollobás property if $C_0(S)$ and $C_0(K)$ are the spaces of all real-valued continuous functions vanishing at infinity on locally compact metric space $S$ and locally compact Hausdorff space $K$ respectively.
△ Less
Submitted 12 April, 2014; v1 submitted 7 August, 2013;
originally announced August 2013.
-
The Bishop-Phelps-Bollobás property for operators between spaces of continuous functions
Authors:
Maria Acosta,
Julio Becerra,
Yun Sung Choi,
Maciej Ciesielski,
Sun Kwang Kim,
Han Ju Lee,
Mary Lilian Lourenço,
Miguel Martin
Abstract:
We show that the space of bounded and linear operators between spaces of continuous functions on compact Hausdorff topological spaces has the Bishop-Phelps-Bollobás property. A similar result is also proved for the class of compact operators from the space of continuous functions vanishing at infinity on a locally compact and Hausdorff topological space into a uniformly convex space, and for the c…
▽ More
We show that the space of bounded and linear operators between spaces of continuous functions on compact Hausdorff topological spaces has the Bishop-Phelps-Bollobás property. A similar result is also proved for the class of compact operators from the space of continuous functions vanishing at infinity on a locally compact and Hausdorff topological space into a uniformly convex space, and for the class of compact operators from a Banach space into a predual of an $L_1$-space.
△ Less
Submitted 22 July, 2013; v1 submitted 28 June, 2013;
originally announced June 2013.
-
The Bishop-Phelps-Bollobás version of Lindenstrauss properties A and B
Authors:
Richard Aron,
Yun Sung Choi,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martin
Abstract:
We study a Bishop-Phelps-Bollobás version of Lindenstrauss properties A and B. For domain spaces, we study Banach spaces $X$ such that $(X,Y)$ has the Bishop-Phelps-Bollobás property (BPBp) for every Banach space $Y$. We show that in this case, there exists a universal function $η_X(\varepsilon)$ such that for every $Y$, the pair $(X,Y)$ has the BPBp with this function. This allows us to prove som…
▽ More
We study a Bishop-Phelps-Bollobás version of Lindenstrauss properties A and B. For domain spaces, we study Banach spaces $X$ such that $(X,Y)$ has the Bishop-Phelps-Bollobás property (BPBp) for every Banach space $Y$. We show that in this case, there exists a universal function $η_X(\varepsilon)$ such that for every $Y$, the pair $(X,Y)$ has the BPBp with this function. This allows us to prove some necessary isometric conditions for $X$ to have the property. We also prove that if $X$ has this property in every equivalent norm, then $X$ is one-dimensional. For range spaces, we study Banach spaces $Y$ such that $(X,Y)$ has the Bishop-Phelps-Bollobás property for every Banach space $X$. In this case, we show that there is a universal function $η_Y(\varepsilon)$ such that for every $X$, the pair $(X,Y)$ has the BPBp with this function. This implies that this property of $Y$ is strictly stronger than Lindenstrauss property B. The main tool to get these results is the study of the Bishop-Phelps-Bollobás property for $c_0$-, $\ell_1$- and $\ell_\infty$-sums of Banach spaces.
△ Less
Submitted 1 October, 2014; v1 submitted 28 May, 2013;
originally announced May 2013.
-
Upper bound on the total number of knot $n$-mosaics
Authors:
Kyungpyo Hong,
Ho Lee,
Hwa Jeong Lee,
Seungsang Oh
Abstract:
Lomonaco and Kauffman introduced a knot mosaic system to give a definition of a quantum knot system which can be viewed as a blueprint for the construction of an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link by adjoining properly that is called suitably connected. $D_n$ denotes the total number of all…
▽ More
Lomonaco and Kauffman introduced a knot mosaic system to give a definition of a quantum knot system which can be viewed as a blueprint for the construction of an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link by adjoining properly that is called suitably connected. $D_n$ denotes the total number of all knot $n$-mosaics. Already known is that $D_1=1$, $D_2=2$, and $D_3=22$. In this paper we establish the lower and upper bounds on $D_n$ $$\frac{2}{275}(9 \cdot 6^{n-2} + 1)^2 \cdot 2^{(n-3)^2} \ \leq \ D_n \ \leq \ \frac{2}{275}(9 \cdot 6^{n-2} + 1)^2 \cdot (4.4)^{(n-3)^2}.$$ and find the exact number of $D_4 = 2594$.
△ Less
Submitted 10 November, 2014; v1 submitted 28 March, 2013;
originally announced March 2013.
-
The Bishop-Phelps-Bollobás theorem for operators on $L_1(μ)$
Authors:
Yun Sung Choi,
Sun Kwang Kim,
Han Ju Lee,
Miguel Martín
Abstract:
In this paper we show that the Bishop-Phelps-Bollobás theorem holds for $\mathcal{L}(L_1(μ), L_1(ν))$ for all measures $μ$ and $ν$ and also holds for $\mathcal{L}(L_1(μ),L_\infty(ν))$ for every arbitrary measure $μ$ and every localizable measure $ν$. Finally, we show that the Bishop-Phelps-Bollobás theorem holds for two classes of bounded linear operators from a real $L_1(μ)$ into a real $C(K)$ if…
▽ More
In this paper we show that the Bishop-Phelps-Bollobás theorem holds for $\mathcal{L}(L_1(μ), L_1(ν))$ for all measures $μ$ and $ν$ and also holds for $\mathcal{L}(L_1(μ),L_\infty(ν))$ for every arbitrary measure $μ$ and every localizable measure $ν$. Finally, we show that the Bishop-Phelps-Bollobás theorem holds for two classes of bounded linear operators from a real $L_1(μ)$ into a real $C(K)$ if $μ$ is a finite measure and $K$ is a compact Hausdorff space. In particular, one of the classes includes all Bochner representable operators and all weakly compact operators.
△ Less
Submitted 25 March, 2013;
originally announced March 2013.
-
Mosaic number of knots
Authors:
Hwa Jeong Lee,
Kyungpyo Hong,
Ho Lee,
Seungsang Oh
Abstract:
Lomonaco and Kauffman developed knot mosaics to give a definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link. The mosaic number $m(K)$ of a knot $K$ is the smallest integer $n$ for which $K$ is representable as a knot $n$-mosaic.…
▽ More
Lomonaco and Kauffman developed knot mosaics to give a definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link. The mosaic number $m(K)$ of a knot $K$ is the smallest integer $n$ for which $K$ is representable as a knot $n$-mosaic. In this paper we establish an upper bound on the mosaic number of a knot or a link $K$ in terms of the crossing number $c(K)$. Let $K$ be a nontrivial knot or a non-split link except the Hopf link. Then $m(K) \leq c(K) + 1$. Moreover if $K$ is prime and non-alternating except $6^3_3$ link, then $m(K) \leq c(K) - 1$.
△ Less
Submitted 26 November, 2014; v1 submitted 25 January, 2013;
originally announced January 2013.
-
Exactly fourteen intrinsically knotted graphs have 21 edges
Authors:
Min Jung Lee,
Hyoung Jun Kim,
Hwa Jeong Lee,
Seungsang Oh
Abstract:
Johnson, Kidwell, and Michael showed that intrinsically knotted graphs have at least 21 edges. Also it is known that K7 and the thirteen graphs obtained from K7 by rY moves are intrinsically knotted graphs with 21 edges. We prove that these 14 graphs are the only intrinsically knotted graphs with 21 edges.
Johnson, Kidwell, and Michael showed that intrinsically knotted graphs have at least 21 edges. Also it is known that K7 and the thirteen graphs obtained from K7 by rY moves are intrinsically knotted graphs with 21 edges. We prove that these 14 graphs are the only intrinsically knotted graphs with 21 edges.
△ Less
Submitted 30 November, 2015; v1 submitted 30 July, 2012;
originally announced July 2012.
-
Arc index of pretzel knots of type $(-p,q,r)$
Authors:
Hwa Jeong Lee,
Gyo Taek Jin
Abstract:
We computed the arc index for some of the pretzel knots $K=P(-p,q,r)$ with $p,q,r\ge2$, $r\geq q$ and at most one of $p,q,r$ is even. If $q=2$, then the arc index $α(K)$ equals the minimal crossing number $c(K)$. If $p\ge3$ and $q=3$, then $α(K)=c(K)-1$. If $p\ge5$ and $q=4$, then $α(K)=c(K)-2$.
We computed the arc index for some of the pretzel knots $K=P(-p,q,r)$ with $p,q,r\ge2$, $r\geq q$ and at most one of $p,q,r$ is even. If $q=2$, then the arc index $α(K)$ equals the minimal crossing number $c(K)$. If $p\ge3$ and $q=3$, then $α(K)=c(K)-1$. If $p\ge5$ and $q=4$, then $α(K)=c(K)-2$.
△ Less
Submitted 10 November, 2014; v1 submitted 3 April, 2012;
originally announced April 2012.
-
Development and Modelling of High-Efficiency Computing Structure for Digital Signal Processing
Authors:
Annapurna Sharma,
Hakimjon Zaynidinov,
Hoon Jae Lee
Abstract:
The paper is devoted to problem of spline approximation. A new method of nodes location for curves and surfaces computer construction by means of B-splines and results of simulink-modeling is presented. The advantages of this paper is that we comprise the basic spline with classical polynomials both on accuracy, as well as degree of paralleling calculations are also shown.
The paper is devoted to problem of spline approximation. A new method of nodes location for curves and surfaces computer construction by means of B-splines and results of simulink-modeling is presented. The advantages of this paper is that we comprise the basic spline with classical polynomials both on accuracy, as well as degree of paralleling calculations are also shown.
△ Less
Submitted 21 July, 2011;
originally announced July 2011.
-
Prime knots whose arc index is smaller than the crossing number
Authors:
Gyo Taek Jin,
Hwa Jeong Lee
Abstract:
It is known that the arc index of alternating knots is the minimal crossing number plus two and the arc index of prime nonalternating knots is less than or equal to the minimal crossing number. We study some cases when the arc index is strictly less than the minimal crossing number. We also give minimal grid diagrams of some prime nonalternating knots with 13 crossings and 14 crossings whose arc i…
▽ More
It is known that the arc index of alternating knots is the minimal crossing number plus two and the arc index of prime nonalternating knots is less than or equal to the minimal crossing number. We study some cases when the arc index is strictly less than the minimal crossing number. We also give minimal grid diagrams of some prime nonalternating knots with 13 crossings and 14 crossings whose arc index is the minimal crossing number minus one.
△ Less
Submitted 13 June, 2011;
originally announced June 2011.
-
Strong peak points and strongly norm attaining points with applications to denseness and polynomial numerical indices
Authors:
Jaegil Kim,
Han Ju Lee
Abstract:
Using the variational method, it is shown that the set of all strong peak functions in a closed algebra $A$ of $C_b(K)$ is dense if and only if the set of all strong peak points is a norming subset of $A$. As a corollary we can induce the denseness of strong peak functions on other certain spaces. In case that a set of uniformly strongly exposed points of a Banach space $X$ is a norming subset o…
▽ More
Using the variational method, it is shown that the set of all strong peak functions in a closed algebra $A$ of $C_b(K)$ is dense if and only if the set of all strong peak points is a norming subset of $A$. As a corollary we can induce the denseness of strong peak functions on other certain spaces. In case that a set of uniformly strongly exposed points of a Banach space $X$ is a norming subset of $\mathcal{P}({}^n X)$, then the set of all strongly norm attaining elements in $\mathcal{P}({}^n X)$ is dense. In particular, the set of all points at which the norm of $\mathcal{P}({}^n X)$ is Fréchet differentiable is a dense $G_δ$ subset.
In the last part, using Reisner's graph theoretic-approach, we construct some strongly norm attaining polynomials on a CL-space with an absolute norm. Then we show that for a finite dimensional complex Banach space $X$ with an absolute norm, its polynomial numerical indices are one if and only if $X$ is isometric to $\ell_\infty^n$. Moreover, we give a characterization of the set of all complex extreme points of the unit ball of a CL-space with an absolute norm.
△ Less
Submitted 3 June, 2008;
originally announced June 2008.
-
Bishop's Theorem and Differentiability of a subspace of $C_b(K)$
Authors:
Yun Sung Choi,
Han Ju Lee,
Hyun Gwi Song
Abstract:
Let $K$ be a Hausdorff space and $C_b(K)$ be the Banach algebra of all complex bounded continuous functions on $K$. We study the Gâteaux and Fréchet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace $H$ of $C_b(K)$ is a dense $G_δ$ subset of $H$, if $K$ is compact. This gives a generalized Bisho…
▽ More
Let $K$ be a Hausdorff space and $C_b(K)$ be the Banach algebra of all complex bounded continuous functions on $K$. We study the Gâteaux and Fréchet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace $H$ of $C_b(K)$ is a dense $G_δ$ subset of $H$, if $K$ is compact. This gives a generalized Bishop's theorem, which says that the closure of the set of strong peak point for $H$ is the smallest closed norming subset of $H$. The classical Bishop's theorem was proved for a separating subalgebra $H$ and a metrizable compact space $K$.
In the case that $X$ is a complex Banach space with the Radon-Nikodým property, we show that the set of all strong peak functions in $A_b(B_X)=\{f\in C_b(B_X) : f|_{B_X^\circ} {is holomorphic}\}$ is dense. As an application, we show that the smallest closed norming subset of $A_b(B_X)$ is the closure of the set of all strong peak points for $A_b(B_X)$. This implies that the norm of $A_b(B_X)$ is Gâteaux differentiable on a dense subset of $A_b(B_X)$, even though the norm is nowhere Fréchet differentiable when $X$ is nontrivial. We also study the denseness of norm attaining holomorphic functions and polynomials. Finally we investigate the existence of numerical Shilov boundary.
△ Less
Submitted 29 August, 2007;
originally announced August 2007.
-
Boundaries for algebras of holomorphic functions on Banach spaces
Authors:
Yun Sung Choi,
Kwang Hee Han,
Han Ju Lee
Abstract:
We study the relations between boundaries for algebras of holomorphic functions on Banach spaces and complex convexity of their balls. In addition, we show that the Shilov boundary for algebras of holomorphic functions on an order continuous sequence space $X$ is the unit sphere $S_X$ if $X$ is locally c-convex. In particular, it is shown that the unit sphere of the Orlicz-Lorentz sequence space…
▽ More
We study the relations between boundaries for algebras of holomorphic functions on Banach spaces and complex convexity of their balls. In addition, we show that the Shilov boundary for algebras of holomorphic functions on an order continuous sequence space $X$ is the unit sphere $S_X$ if $X$ is locally c-convex. In particular, it is shown that the unit sphere of the Orlicz-Lorentz sequence space $λ_{φ, w}$ is the Shilov boundary for algebras of holomorphic functions on $λ_{φ, w}$ if $φ$ satisfies the $δ_2$-condition.
△ Less
Submitted 29 August, 2007;
originally announced August 2007.
-
Notes on the geometry of space of polynomials
Authors:
Han Ju Lee
Abstract:
We show that the symmetric injective tensor product space $\hat{\otimes}_{n,s,ε}E$ is not complex strictly convex if E is a complex Banach space of $\dim E \ge 2$ and if $n\ge 2$ holds. It is also reproved that $\ell_\infty$ is finitely represented in $\hat{\otimes}_{n,s,ε}E$ if E is infinite dimensional and if $n\ge 2$ holds, which was proved in the other way by Dineen.
We show that the symmetric injective tensor product space $\hat{\otimes}_{n,s,ε}E$ is not complex strictly convex if E is a complex Banach space of $\dim E \ge 2$ and if $n\ge 2$ holds. It is also reproved that $\ell_\infty$ is finitely represented in $\hat{\otimes}_{n,s,ε}E$ if E is infinite dimensional and if $n\ge 2$ holds, which was proved in the other way by Dineen.
△ Less
Submitted 2 August, 2007;
originally announced August 2007.
-
Banach spaces with polynomial numerical index 1
Authors:
Han Ju Lee
Abstract:
We characterize Banach spaces with polynomial numerical index 1 when they have the Radon-Nikodým property. The holomorphic numerical index is introduced and the characterization of the Banach space with holomorphic numerical index 1 is obtained when it has the Radon-Nikodým property.
We characterize Banach spaces with polynomial numerical index 1 when they have the Radon-Nikodým property. The holomorphic numerical index is introduced and the characterization of the Banach space with holomorphic numerical index 1 is obtained when it has the Radon-Nikodým property.
△ Less
Submitted 31 July, 2007;
originally announced August 2007.
