-
Takens' Last Problem and strong pluripotency
Authors:
Shin Kiriki,
Xiaolong Li,
Yushi Nakano,
Teruhiko Soma,
Edson Vargas
Abstract:
We consider the concept of strong pluripotency of dynamical systems for a hyperbolic invariant set, as introduced in [KNS]. To the best of our knowledge, for the whole hyperbolic invariant set, the existence of robust strongly pluripotent dynamical systems has not been proven in previous studies. In fact, there is an example of strongly pluripotent dynamical systems in [CV01], but its robustness h…
▽ More
We consider the concept of strong pluripotency of dynamical systems for a hyperbolic invariant set, as introduced in [KNS]. To the best of our knowledge, for the whole hyperbolic invariant set, the existence of robust strongly pluripotent dynamical systems has not been proven in previous studies. In fact, there is an example of strongly pluripotent dynamical systems in [CV01], but its robustness has not been proven. On the other hand, robust strongly pluripotent dynamical systems for some proper subsets of hyperbolic sets had been found in [KS17, KNS]. In this paper, we provide a combinatorial way to recognize strongly pluripotent diffeomorphisms in a Newhouse domain and prove that they are $C^r$-robust, $2\leq r< \infty$. More precisely, we prove that there is a 2-dimensional diffeomorphism with a wild Smale horseshoe which has a $C^r$ neighborhood $\mathcal{U}_0$ where all elements are strongly pluripotent for the whole Smale horseshoe. Moreover, it follows from the result that any property, such as having a non-trivial physical measure supported by the Smale horseshoe or having historic behavior, is $C^r$-persistent relative to a dense subset of $\mathcal{U}_0$.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Pluripotency of wandering dynamics
Authors:
Shin Kiriki,
Yushi Nakano,
Teruhiko Soma
Abstract:
This paper proposes a new concept of pluripotency inspired by Colli-Vargas [Ergod. Theory Dyn. Syst., 21(6):1657-1681, 2001] and presents fundamental theorems for develo** the theory. Pluripotency reprograms dynamics from a statistical or geometrical point of view. This means that the dynamics of various codes, including non-trivial Dirac physical measures or historic behavior, can be observably…
▽ More
This paper proposes a new concept of pluripotency inspired by Colli-Vargas [Ergod. Theory Dyn. Syst., 21(6):1657-1681, 2001] and presents fundamental theorems for develo** the theory. Pluripotency reprograms dynamics from a statistical or geometrical point of view. This means that the dynamics of various codes, including non-trivial Dirac physical measures or historic behavior, can be observably and stochastically realized by arbitrarily small perturbations. We first give a practical condition equivalent to a stronger version of pluripotency. Next, we show that the property of pluripotency is $C^{r} (2\leq r<\infty)$-robust. Precisely, there exists a $C^{r}$-open set of non-hyperbolic diffeomorphisms that have wild blender-horseshoes and are strongly pluripotent. It implies a new affirmative solution to Takens' last problem for $C^{r}$ diffeomorphisms of dimension $n\geq 3$.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Optical Properties of LiNbO$_2$ thin films
Authors:
T. Kurachi,
T. Yamaguchi,
E. Kobayashi,
T. Soma,
A. Ohtomo,
T. Makino
Abstract:
The complex dielectric functions of LiNbO$_2$ were determined using optical transmittance and reflectance spectroscopies at room temperature. The measured dielectric function spectra reveal distinct structures at several bandgap energies. The bandgaps (exciton resonances) in the spectrum were observed at ca. 2.3, 3.2, 3.9, and 5.1 eV, respectively. These experimental data have been fit using a mod…
▽ More
The complex dielectric functions of LiNbO$_2$ were determined using optical transmittance and reflectance spectroscopies at room temperature. The measured dielectric function spectra reveal distinct structures at several bandgap energies. The bandgaps (exciton resonances) in the spectrum were observed at ca. 2.3, 3.2, 3.9, and 5.1 eV, respectively. These experimental data have been fit using a model dielectric function based on the electronic energy-band structure near critical points plus excitonic effects. The features of measured dielectric functions are, to some extent, reproduced quantitatively by an ab-initio calculation including the interaction effects between electrons and holes.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Authors:
Hiroshi Hirai,
Yuni Iwamasa,
Taihei Oki,
Tasuku Soma
Abstract:
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can form…
▽ More
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Online Algorithms for Spectral Hypergraph Sparsification
Authors:
Tasuku Soma,
Kam Chuen Tung,
Yuichi Yoshida
Abstract:
We provide the first online algorithm for spectral hypergraph sparsification. In the online setting, hyperedges with positive weights are arriving in a stream, and upon the arrival of each hyperedge, we must irrevocably decide whether or not to include it in the sparsifier. Our algorithm produces an $(ε, δ)$-spectral sparsifier with multiplicative error $ε$ and additive error $δ$ that has…
▽ More
We provide the first online algorithm for spectral hypergraph sparsification. In the online setting, hyperedges with positive weights are arriving in a stream, and upon the arrival of each hyperedge, we must irrevocably decide whether or not to include it in the sparsifier. Our algorithm produces an $(ε, δ)$-spectral sparsifier with multiplicative error $ε$ and additive error $δ$ that has $O(ε^{-2} n \log n \log r \log(1 + εW/δn))$ hyperedges with high probability, where $ε, δ\in (0,1)$, $n$ is the number of nodes, and $W$ is the sum of edge weights. The space complexity of our algorithm is $O(n^2)$, while previous algorithms require the space complexity of $Ω(m)$, where $m$ is the number of hyperedges. This provides an exponential improvement in the space complexity since $m$ can be exponential in $n$.
△ Less
Submitted 7 November, 2023; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Optimal algorithms for group distributionally robust optimization and beyond
Authors:
Tasuku Soma,
Khashayar Gatmiry,
Stefanie Jegelka
Abstract:
Distributionally robust optimization (DRO) can improve the robustness and fairness of learning methods. In this paper, we devise stochastic algorithms for a class of DRO problems including group DRO, subpopulation fairness, and empirical conditional value at risk (CVaR) optimization. Our new algorithms achieve faster convergence rates than existing algorithms for multiple DRO settings. We also pro…
▽ More
Distributionally robust optimization (DRO) can improve the robustness and fairness of learning methods. In this paper, we devise stochastic algorithms for a class of DRO problems including group DRO, subpopulation fairness, and empirical conditional value at risk (CVaR) optimization. Our new algorithms achieve faster convergence rates than existing algorithms for multiple DRO settings. We also provide a new information-theoretic lower bound that implies our bounds are tight for group DRO. Empirically, too, our algorithms outperform known methods
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
Modulation of magnetic property of double-perovskite La2MnCoO6 films by controlling B-antisite disorder
Authors:
R. C. Sahoo,
S. Zhang,
Y. Takeuchi,
M. Kitamura,
K. Horiba,
H. Kumigashira,
O. Sakata,
T. Soma,
A. Ohtomo
Abstract:
The predicted physical properties of double perovskites have usually been compromised by their intrinsic B-antisite (AS) disorder effect, but the relationship between them is still unclear for the La2MnCoO6 (LMCO) system. This study focuses on controlling the AS disorder and quantitatively reveals correlations with magnetic and electronic states in epitaxial LMCO films grown on (111) SrTiO3 substr…
▽ More
The predicted physical properties of double perovskites have usually been compromised by their intrinsic B-antisite (AS) disorder effect, but the relationship between them is still unclear for the La2MnCoO6 (LMCO) system. This study focuses on controlling the AS disorder and quantitatively reveals correlations with magnetic and electronic states in epitaxial LMCO films grown on (111) SrTiO3 substrates. The AS fraction was precisely controlled by tuning the growth conditions as evaluated from saturation magnetization and x-ray reflection profiles. The saturation magnetization at 5 K decreased linearly from 6 uB per formula unit by 50% as the AS fraction increased from 0 (perfectly ordered) to 0.5 (fully disordered). The x-ray absorption spectroscopy revealed that valence states of Mn and Co were 4+ (3d^3) and 2+ (3d^7), respectively, regardless of AS fraction. A local-spin-moment model is proposed to explain the net magnetizations with and without AS disorder and Mn/Co valence states, suggesting that only the rearrangement of local spin moment of Co at the antisite plays a key role in tuning the magnetism in this LMCO system.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
Shrunk subspaces via operator Sinkhorn iteration
Authors:
Cole Franks,
Tasuku Soma,
Michel X. Goemans
Abstract:
A recent breakthrough in Edmonds' problem showed that the noncommutative rank can be computed in deterministic polynomial time, and various algorithms for it were devised. However, only quite complicated algorithms are known for finding a so-called shrunk subspace, which acts as a dual certificate for the value of the noncommutative rank. In particular, the operator Sinkhorn algorithm, perhaps the…
▽ More
A recent breakthrough in Edmonds' problem showed that the noncommutative rank can be computed in deterministic polynomial time, and various algorithms for it were devised. However, only quite complicated algorithms are known for finding a so-called shrunk subspace, which acts as a dual certificate for the value of the noncommutative rank. In particular, the operator Sinkhorn algorithm, perhaps the simplest algorithm to compute the noncommutative rank with operator scaling, does not find a shrunk subspace. Finding a shrunk subspace plays a key role in applications, such as separation in the Brascamp-Lieb polytope, one-parameter subgroups in the null-cone membership problem, and primal-dual algorithms for matroid intersection and fractional matroid matching.
In this paper, we provide a simple Sinkhorn-style algorithm to find the smallest shrunk subspace over the complex field in deterministic polynomial time. To this end, we introduce a generalization of the operator scaling problem, where the spectra of the marginals must be majorized by specified vectors. Then we design an efficient Sinkhorn-style algorithm for the generalized operator scaling problem. Applying this to the shrunk subspace problem, we show that a sufficiently long run of the algorithm also finds an approximate shrunk subspace close to the minimum exact shrunk subspace. Finally, we show that the approximate shrunk subspace can be rounded if it is sufficiently close. Along the way, we also provide a simple randomized algorithm to find the smallest shrunk subspace.
As applications, we design a faster algorithm for fractional linear matroid matching and efficient weak membership and optimization algorithms for the rank-2 Brascamp-Lieb polytope.
△ Less
Submitted 17 July, 2022;
originally announced July 2022.
-
Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank
Authors:
Taihei Oki,
Tasuku Soma
Abstract:
Matrix representations are a powerful tool for designing efficient algorithms for combinatorial optimization problems such as matching, and linear matroid intersection and parity. In this paper, we initiate the study of matrix representations using the concept of non-commutative rank (nc-rank), which has recently attracted attention in the research of Edmonds' problem. We reveal that the nc-rank o…
▽ More
Matrix representations are a powerful tool for designing efficient algorithms for combinatorial optimization problems such as matching, and linear matroid intersection and parity. In this paper, we initiate the study of matrix representations using the concept of non-commutative rank (nc-rank), which has recently attracted attention in the research of Edmonds' problem. We reveal that the nc-rank of the matrix representation of linear matroid parity corresponds to the optimal value of fractional linear matroid parity: a half-integral relaxation of linear matroid parity. Based on our representation, we present an algebraic algorithm for the fractional linear matroid parity problem by building a new technique to incorporate the search-to-decision reduction into the half-integral problem represented via the nc-rank. We further present a faster divide-and-conquer algorithm for finding a maximum fractional matroid matching and an algebraic algorithm for finding a dual optimal solution. They together lead to an algebraic algorithm for the weighted fractional linear matroid parity problem. Our algorithms are significantly simpler and faster than the existing algorithms.
△ Less
Submitted 16 July, 2022;
originally announced July 2022.
-
Observable Lyapunov irregular sets for planar piecewise expanding maps
Authors:
Yushi Nakano,
Teruhiko Soma,
Kodai Yamamoto
Abstract:
For any integer $r$ with $1\leq r<\infty$, we present a one-parameter family $F_σ$ $(0<σ<1)$ of 2-dimensional piecewise $\mathcal C^r$ expanding maps such that each $F_σ$ has an observable (i.e. Lebesgue positive) Lyapunov irregular set. These maps are obtained by modifying the piecewise expanding map given in Tsujii (2000). In strong contrast to it, we also show that any Lyapunov irregular set of…
▽ More
For any integer $r$ with $1\leq r<\infty$, we present a one-parameter family $F_σ$ $(0<σ<1)$ of 2-dimensional piecewise $\mathcal C^r$ expanding maps such that each $F_σ$ has an observable (i.e. Lebesgue positive) Lyapunov irregular set. These maps are obtained by modifying the piecewise expanding map given in Tsujii (2000). In strong contrast to it, we also show that any Lyapunov irregular set of any 2-dimensional piecewise real analytic expanding map is not observable. This is based on the spectral analysis of piecewise expanding maps in Buzzi (2000).
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
Abundance of observable Lyapunov irregular sets
Authors:
Shin Kiriki,
Xiaolong Li,
Yushi Nakano,
Teruhiko Soma
Abstract:
Lyapunov exponent is widely used in natural science to find chaotic signal, but its existence is seldom discussed. In the present paper, we consider the problem of whether the set of points at which Lyapunov exponent fails to exist, called the Lyapunov irregular set, has positive Lebesgue measure. The only known example with the Lyapunov irregular set of positive Lebesgue measure is a figure-8 att…
▽ More
Lyapunov exponent is widely used in natural science to find chaotic signal, but its existence is seldom discussed. In the present paper, we consider the problem of whether the set of points at which Lyapunov exponent fails to exist, called the Lyapunov irregular set, has positive Lebesgue measure. The only known example with the Lyapunov irregular set of positive Lebesgue measure is a figure-8 attractor by the work of Ott and Yorke [OY2008], whose key mechanism (homoclinic loop) is easy to be broken by small perturbations. In this paper, we show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas [CV2001], as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. We can construct such positive Lebesgue measure sets both as the time averages exist and do not exist on it.
△ Less
Submitted 27 January, 2022; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Historic and physical wandering domains for wild blender-horseshoes
Authors:
Shin Kiriki,
Yushi Nakano,
Teruhiko Soma
Abstract:
We present diffeomorphisms of wild blender-horseshoes which belong to $C^r$ $(1\leq r<\infty)$ closures of two types of diffeomorphisms, one of which has a historic contracting wandering domain, and the other has a non-trivial Dirac physical measure supported by saddle periodic orbit. It is a non-trivial extension of Colli-Vargas' model [CV01] to the higher dimensional dynamics with the use of wil…
▽ More
We present diffeomorphisms of wild blender-horseshoes which belong to $C^r$ $(1\leq r<\infty)$ closures of two types of diffeomorphisms, one of which has a historic contracting wandering domain, and the other has a non-trivial Dirac physical measure supported by saddle periodic orbit. It is a non-trivial extension of Colli-Vargas' model [CV01] to the higher dimensional dynamics with the use of wild blender-horseshoes.
△ Less
Submitted 12 June, 2022; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Online Risk-Averse Submodular Maximization
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
We present a polynomial-time online algorithm for maximizing the conditional value at risk (CVaR) of a monotone stochastic submodular function. Given $T$ i.i.d. samples from an underlying distribution arriving online, our algorithm produces a sequence of solutions that converges to a ($1-1/e$)-approximate solution with a convergence rate of $O(T^{-1/4})$ for monotone continuous DR-submodular funct…
▽ More
We present a polynomial-time online algorithm for maximizing the conditional value at risk (CVaR) of a monotone stochastic submodular function. Given $T$ i.i.d. samples from an underlying distribution arriving online, our algorithm produces a sequence of solutions that converges to a ($1-1/e$)-approximate solution with a convergence rate of $O(T^{-1/4})$ for monotone continuous DR-submodular functions. Compared with previous offline algorithms, which require $Ω(T)$ space, our online algorithm only requires $O(\sqrt{T})$ space. We extend our online algorithm to portfolio optimization for monotone submodular set functions under a matroid constraint. Experiments conducted on real-world datasets demonstrate that our algorithm can rapidly achieve CVaRs that are comparable to those obtained by existing offline algorithms.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Information geometry of operator scaling
Authors:
Takeru Matsuda,
Tasuku Soma
Abstract:
Matrix scaling is a classical problem with a wide range of applications. It is known that the Sinkhorn algorithm for matrix scaling is interpreted as alternating e-projections from the viewpoint of classical information geometry. Recently, a generalization of matrix scaling to completely positive maps called operator scaling has been found to appear in various fields of mathematics and computer sc…
▽ More
Matrix scaling is a classical problem with a wide range of applications. It is known that the Sinkhorn algorithm for matrix scaling is interpreted as alternating e-projections from the viewpoint of classical information geometry. Recently, a generalization of matrix scaling to completely positive maps called operator scaling has been found to appear in various fields of mathematics and computer science, and the Sinkhorn algorithm has been extended to operator scaling. In this study, the operator Sinkhorn algorithm is studied from the viewpoint of quantum information geometry through the Choi representation of completely positive maps. The operator Sinkhorn algorithm is shown to coincide with alternating e-projections with respect to the symmetric logarithmic derivative metric, which is a Riemannian metric on the space of quantum states relevant to quantum estimation theory. Other types of alternating e-projections algorithms are also provided by using different information geometric structures on the positive definite cone.
△ Less
Submitted 25 January, 2021; v1 submitted 29 April, 2020;
originally announced May 2020.
-
Statistical Learning with Conditional Value at Risk
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
We propose a risk-averse statistical learning framework wherein the performance of a learning algorithm is evaluated by the conditional value-at-risk (CVaR) of losses rather than the expected loss. We devise algorithms based on stochastic gradient descent for this framework. While existing studies of CVaR optimization require direct access to the underlying distribution, our algorithms make a weak…
▽ More
We propose a risk-averse statistical learning framework wherein the performance of a learning algorithm is evaluated by the conditional value-at-risk (CVaR) of losses rather than the expected loss. We devise algorithms based on stochastic gradient descent for this framework. While existing studies of CVaR optimization require direct access to the underlying distribution, our algorithms make a weaker assumption that only i.i.d.\ samples are given. For convex and Lipschitz loss functions, we show that our algorithm has $O(1/\sqrt{n})$-convergence to the optimal CVaR, where $n$ is the number of samples. For nonconvex and smooth loss functions, we show a generalization bound on CVaR. By conducting numerical experiments on various machine learning tasks, we demonstrate that our algorithms effectively minimize CVaR compared with other baseline algorithms.
△ Less
Submitted 13 February, 2020;
originally announced February 2020.
-
Volume and structure of hyperbolic 3-manifolds
Authors:
Teruhiko Soma
Abstract:
In this paper, we show that Gromov-Thurston's principle works for hyperbolic 3-manifolds of infinite volume and with finitely generated fundamental group. As an application, we have a new proof of Ending Lamination Theorem. Our proof essentially relays only on Maximum Volume Law for hyperbolic 3-simplices.
In this paper, we show that Gromov-Thurston's principle works for hyperbolic 3-manifolds of infinite volume and with finitely generated fundamental group. As an application, we have a new proof of Ending Lamination Theorem. Our proof essentially relays only on Maximum Volume Law for hyperbolic 3-simplices.
△ Less
Submitted 7 December, 2019; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Historic behavior in non-hyperbolic homoclinic classes
Authors:
Pablo G. Barrientos,
Shin Kiriki,
Yushi Nakano,
Artem Raibekas,
Teruhiko Soma
Abstract:
We show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior.
We show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior.
△ Less
Submitted 5 August, 2019; v1 submitted 12 May, 2019;
originally announced May 2019.
-
Emergence via non-existence of averages
Authors:
Shin Kiriki,
Yushi Nakano,
Teruhiko Soma
Abstract:
Inspired by a recent work by Berger, we introduce the concept of pointwise emergence. This concept provides with a new quantitative perspective into the study of non-existence of averages for dynamical systems. We show that high pointwise emergence on a large set appears for abundant dynamical systems: Any continuous maps on a compact metric space with the specification property have super-polynom…
▽ More
Inspired by a recent work by Berger, we introduce the concept of pointwise emergence. This concept provides with a new quantitative perspective into the study of non-existence of averages for dynamical systems. We show that high pointwise emergence on a large set appears for abundant dynamical systems: Any continuous maps on a compact metric space with the specification property have super-polynomial pointwise emergence on a residual subset of the state space. Furthermore, there is a dense subset of any Newhouse open set each element of which has super-polynomial pointwise emergence on a positive Lebesgue measure subset of the state space.
△ Less
Submitted 27 January, 2022; v1 submitted 6 April, 2019;
originally announced April 2019.
-
Fast greedy algorithms for dictionary selection with generalized sparsity constraints
Authors:
Kaito Fujii,
Tasuku Soma
Abstract:
In dictionary selection, several atoms are selected from finite candidates that successfully approximate given data points in the sparse representation. We propose a novel efficient greedy algorithm for dictionary selection. Not only does our algorithm work much faster than the known methods, but it can also handle more complex sparsity constraints, such as average sparsity. Using numerical experi…
▽ More
In dictionary selection, several atoms are selected from finite candidates that successfully approximate given data points in the sparse representation. We propose a novel efficient greedy algorithm for dictionary selection. Not only does our algorithm work much faster than the known methods, but it can also handle more complex sparsity constraints, such as average sparsity. Using numerical experiments, we show that our algorithm outperforms the known methods for dictionary selection, achieving competitive performances with dictionary learning algorithms in a smaller running time.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Spectral Sparsification of Hypergraphs
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
For an undirected/directed hypergraph $G=(V,E)$, its Laplacian $L_G\colon\mathbb{R}^V\to \mathbb{R}^V$ is defined such that its ``quadratic form'' $\boldsymbol{x}^\top L_G(\boldsymbol{x})$ captures the cut information of $G$. In particular, $\boldsymbol{1}_S^\top L_G(\boldsymbol{1}_S)$ coincides with the cut size of $S \subseteq V$, where $\boldsymbol{1}_S \in \mathbb{R}^V$ is the characteristic v…
▽ More
For an undirected/directed hypergraph $G=(V,E)$, its Laplacian $L_G\colon\mathbb{R}^V\to \mathbb{R}^V$ is defined such that its ``quadratic form'' $\boldsymbol{x}^\top L_G(\boldsymbol{x})$ captures the cut information of $G$. In particular, $\boldsymbol{1}_S^\top L_G(\boldsymbol{1}_S)$ coincides with the cut size of $S \subseteq V$, where $\boldsymbol{1}_S \in \mathbb{R}^V$ is the characteristic vector of $S$. A weighted subgraph $H$ of a hypergraph $G$ on a vertex set $V$ is said to be an $ε$-spectral sparsifier of $G$ if $(1-ε)\boldsymbol{x}^\top L_H(\boldsymbol{x}) \leq \boldsymbol{x}^\top L_G(\boldsymbol{x}) \leq (1+ε)\boldsymbol{x}^\top L_H(\boldsymbol{x})$ holds for every $\boldsymbol{x} \in \mathbb{R}^V$. In this paper, we present a polynomial-time algorithm that, given an undirected/directed hypergraph $G$ on $n$ vertices, constructs an $ε$-spectral sparsifier of $G$ with $O(n^3\log n/ε^2)$ hyperedges/hyperarcs. The proposed spectral sparsification can be used to improve the time and space complexities of algorithms for solving problems that involve the quadratic form, such as computing the eigenvalues of $L_G$, computing the effective resistance between a pair of vertices in $G$, semi-supervised learning based on $L_G$, and cut problems on $G$. In addition, our sparsification result implies that any submodular function $f\colon 2^V \to \mathbb{R}_+$ with $f(\emptyset)=f(V)=0$ can be concisely represented by a directed hypergraph. Accordingly, we show that, for any distribution, we can properly and agnostically learn submodular functions $f\colon 2^V \to [0,1]$ with $f(\emptyset)=f(V)=0$, with $O(n^4\log (n/ε) /ε^4)$ samples.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
No-regret algorithms for online $k$-submodular maximization
Authors:
Tasuku Soma
Abstract:
We present a polynomial time algorithm for online maximization of $k$-submodular maximization. For online (nonmonotone) $k$-submodular maximization, our algorithm achieves a tight approximate factor in an approximate regret. For online monotone $k$-submodular maximization, our approximate-regret matches to the best-known approximation ratio, which is tight asymptotically as $k$ tends to infinity.…
▽ More
We present a polynomial time algorithm for online maximization of $k$-submodular maximization. For online (nonmonotone) $k$-submodular maximization, our algorithm achieves a tight approximate factor in an approximate regret. For online monotone $k$-submodular maximization, our approximate-regret matches to the best-known approximation ratio, which is tight asymptotically as $k$ tends to infinity. Our approach is based on the Blackwell approachability theorem and online linear optimization.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Maximally Invariant Data Perturbation as Explanation
Authors:
Satoshi Hara,
Kouichi Ikeno,
Tasuku Soma,
Takanori Maehara
Abstract:
While several feature scoring methods are proposed to explain the output of complex machine learning models, most of them lack formal mathematical definitions. In this study, we propose a novel definition of the feature score using the maximally invariant data perturbation, which is inspired from the idea of adversarial example. In adversarial example, one seeks the smallest data perturbation that…
▽ More
While several feature scoring methods are proposed to explain the output of complex machine learning models, most of them lack formal mathematical definitions. In this study, we propose a novel definition of the feature score using the maximally invariant data perturbation, which is inspired from the idea of adversarial example. In adversarial example, one seeks the smallest data perturbation that changes the model's output. In our proposed approach, we consider the opposite: we seek the maximally invariant data perturbation that does not change the model's output. In this way, we can identify important input features as the ones with small allowable data perturbations. To find the maximally invariant data perturbation, we formulate the problem as linear programming. The experiment on the image classification with VGG16 shows that the proposed method could identify relevant parts of the images effectively.
△ Less
Submitted 11 July, 2018; v1 submitted 18 June, 2018;
originally announced June 2018.
-
Electronic properties across metal-insulator transition in β-pyrochlore-type CsW2O6 epitaxial films
Authors:
Takuto Soma,
Kohei Yoshimatsu,
Koji Horiba,
Hiroshi Kumigashira,
Akira Ohtomo
Abstract:
In CsW2O6, which undergoes a metal-insulator transition (MIT) at 213 K, the emergence of exotic properties associated with rattling motion of Cs is expected owing to its characteristic β-pyrochlore-type structure. However, a hurdle for crystal growth hampers elucidation of detailed properties and mechanisms of the MIT. Here we report on the epitaxial growth of β-pyrochlore-type CsW2O6 films and th…
▽ More
In CsW2O6, which undergoes a metal-insulator transition (MIT) at 213 K, the emergence of exotic properties associated with rattling motion of Cs is expected owing to its characteristic β-pyrochlore-type structure. However, a hurdle for crystal growth hampers elucidation of detailed properties and mechanisms of the MIT. Here we report on the epitaxial growth of β-pyrochlore-type CsW2O6 films and their electronic properties across the MIT. Using pulsed-laser deposi-tion technique, we grew single-crystalline CsW2O6 films exhibiting remarkably lower resistivity compared with a poly-crystalline bulk and sharp MIT around 200 K. Negative magnetoresistance and positive Hall coefficient were found, which became pronounced below 200 K. The valence-band and core-levels photoemission spectra indicated the drastic changes across the MIT. In the valence band photoemission spectrum, the finite density of states was observed at the Fermi level in the metallic phase. In contrast, an energy gap appeared in the insulating phase. The split of W 4f core-level spectrum suggested the charge disproportionation of W5+ and W6+ in the insulating phase. The change of spectral shape in the Cs 4d core levels reflected the rattling motion of Cs+ cations. These results strongly suggest that CsW2O6 is a novel material, in which MIT is driven by the charge disproportionation associated with the rattling motion.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Polynomial-Time Algorithms for Submodular Laplacian Systems
Authors:
Kaito Fujii,
Tasuku Soma,
Yuichi Yoshida
Abstract:
Let $G=(V,E)$ be an undirected graph, $L_G\in \mathbb{R}^{V \times V}$ be the associated Laplacian matrix, and $b \in \mathbb{R}^V$ be a vector. Solving the Laplacian system $L_G x = b$ has numerous applications in theoretical computer science, machine learning, and network analysis. Recently, the notion of the Laplacian operator $L_F:\mathbb{R}^V \to 2^{\mathbb{R}^V}$ for a submodular transformat…
▽ More
Let $G=(V,E)$ be an undirected graph, $L_G\in \mathbb{R}^{V \times V}$ be the associated Laplacian matrix, and $b \in \mathbb{R}^V$ be a vector. Solving the Laplacian system $L_G x = b$ has numerous applications in theoretical computer science, machine learning, and network analysis. Recently, the notion of the Laplacian operator $L_F:\mathbb{R}^V \to 2^{\mathbb{R}^V}$ for a submodular transformation $F:2^V \to \mathbb{R}_+^E$ was introduced, which can handle undirected graphs, directed graphs, hypergraphs, and joint distributions in a unified manner. In this study, we show that the submodular Laplacian system $L_F( x) \ni b$ can be solved in polynomial time. Furthermore, we also prove that even when the submodular Laplacian system has no solution, we can solve its regression form in polynomial time. Finally, we discuss potential applications of submodular Laplacian systems in machine learning and network analysis.
△ Less
Submitted 29 March, 2018;
originally announced March 2018.
-
Moduli of 3-dimensional diffeomorphisms with saddle-foci
Authors:
Shinobu Hashimoto,
Shin Kiriki,
Teruhiko Soma
Abstract:
We consider a space $\mathcal{U}$ of 3-dimensional diffeomorphisms $f$ with hyperbolic fixed points $p$ the stable and unstable manifolds of which have quadratic tangencies and satisfying some open conditions and such that $Df(p)$ has non-real expanding eigenvalues and a real contracting eigenvalue. The aim of this paper is to study moduli of diffeomorphisms in $\mathcal{U}$. We show that, for a g…
▽ More
We consider a space $\mathcal{U}$ of 3-dimensional diffeomorphisms $f$ with hyperbolic fixed points $p$ the stable and unstable manifolds of which have quadratic tangencies and satisfying some open conditions and such that $Df(p)$ has non-real expanding eigenvalues and a real contracting eigenvalue. The aim of this paper is to study moduli of diffeomorphisms in $\mathcal{U}$. We show that, for a generic element $f$ of $\mathcal{U}$, all the eigenvalues of $Df(p)$ are moduli and the restriction of a conjugacy homeomorphism to a local unstable manifold is a uniquely determined linear conformal map.
△ Less
Submitted 22 June, 2018; v1 submitted 31 October, 2017;
originally announced October 2017.
-
A New Approximation Guarantee for Monotone Submodular Function Maximization via Discrete Convexity
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
In monotone submodular function maximization, approximation guarantees based on the curvature of the objective function have been extensively studied in the literature. However, the notion of curvature is often pessimistic, and we rarely obtain improved approximation guarantees, even for very simple objective functions.
In this paper, we provide a novel approximation guarantee by extracting an M…
▽ More
In monotone submodular function maximization, approximation guarantees based on the curvature of the objective function have been extensively studied in the literature. However, the notion of curvature is often pessimistic, and we rarely obtain improved approximation guarantees, even for very simple objective functions.
In this paper, we provide a novel approximation guarantee by extracting an M$^\natural$-concave function $h:2^E \to \mathbb R_+$, a notion in discrete convex analysis, from the objective function $f:2^E \to \mathbb R_+$. We introduce the notion of $h$-curvature, which measures how much $f$ deviates from $h$, and show that we can obtain a $(1-γ/e-ε)$-approximation to the problem of maximizing $f$ under a cardinality constraint in polynomial time for any constant $ε> 0$. Then, we show that we can obtain nontrivial approximation guarantees for various problems by applying the proposed algorithm.
△ Less
Submitted 9 September, 2017;
originally announced September 2017.
-
On orthogonal tensors and best rank-one approximation ratio
Authors:
Zhening Li,
Yuji Nakatsukasa,
Tasuku Soma,
André Uschmajew
Abstract:
As is well known, the smallest possible ratio between the spectral norm and the Frobenius norm of an $m \times n$ matrix with $m \le n$ is $1/\sqrt{m}$ and is (up to scalar scaling) attained only by matrices having pairwise orthonormal rows. In the present paper, the smallest possible ratio between spectral and Frobenius norms of $n_1 \times \dots \times n_d$ tensors of order $d$, also called the…
▽ More
As is well known, the smallest possible ratio between the spectral norm and the Frobenius norm of an $m \times n$ matrix with $m \le n$ is $1/\sqrt{m}$ and is (up to scalar scaling) attained only by matrices having pairwise orthonormal rows. In the present paper, the smallest possible ratio between spectral and Frobenius norms of $n_1 \times \dots \times n_d$ tensors of order $d$, also called the best rank-one approximation ratio in the literature, is investigated. The exact value is not known for most configurations of $n_1 \le \dots \le n_d$. Using a natural definition of orthogonal tensors over the real field (resp., unitary tensors over the complex field), it is shown that the obvious lower bound $1/\sqrt{n_1 \cdots n_{d-1}}$ is attained if and only if a tensor is orthogonal (resp., unitary) up to scaling. Whether or not orthogonal or unitary tensors exist depends on the dimensions $n_1,\dots,n_d$ and the field. A connection between the (non)existence of real orthogonal tensors of order three and the classical Hurwitz problem on composition algebras can be established: existence of orthogonal tensors of size $\ell \times m \times n$ is equivalent to the admissibility of the triple $[\ell,m,n]$ to the Hurwitz problem. Some implications for higher-order tensors are then given. For instance, real orthogonal $n \times \dots \times n$ tensors of order $d \ge 3$ do exist, but only when $n = 1,2,4,8$. In the complex case, the situation is more drastic: unitary tensors of size $\ell \times m \times n$ with $\ell \le m \le n$ exist only when $\ell m \le n$. Finally, some numerical illustrations for spectral norm computation are presented.
△ Less
Submitted 13 March, 2018; v1 submitted 9 July, 2017;
originally announced July 2017.
-
Historic behaviour for nonautonomous contraction map**s
Authors:
Shin Kiriki,
Yushi Nakano,
Teruhiko Soma
Abstract:
We consider a parametrised perturbation of a $\mathscr C^r$ diffeomorphism on a closed smooth Riemannian manifold with $r\geq 1$, modeled by nonautonomous dynamical systems. A point without time averages for a (nonautonomous) dynamical system is said to have historic behaviour. It is known that for any $\mathscr C^r$ diffeomorphism, the observability of historic behaviour, in the sense of the exis…
▽ More
We consider a parametrised perturbation of a $\mathscr C^r$ diffeomorphism on a closed smooth Riemannian manifold with $r\geq 1$, modeled by nonautonomous dynamical systems. A point without time averages for a (nonautonomous) dynamical system is said to have historic behaviour. It is known that for any $\mathscr C^r$ diffeomorphism, the observability of historic behaviour, in the sense of the existence of a positive Lebesgue measure set consisting of points with historic behaviour, disappears under absolutely continuous, independent and identically distributed (i.i.d.) noise. On contrast, we show that the observability of historic behaviour can appear by a non-i.i.d. noise: we consider a contraction map** for which the set of points with historic behaviour is of zero Lebesgue measure and provide an absolutely continuous, non-i.i.d. noise under which the set of points with historic behaviour is of positive Lebesgue measure.
△ Less
Submitted 20 November, 2018; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Non-monotone DR-Submodular Function Maximization
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
We consider non-monotone DR-submodular function maximization, where DR-submodularity (diminishing return submodularity) is an extension of submodularity for functions over the integer lattice based on the concept of the diminishing return property. Maximizing non-monotone DR-submodular functions has many applications in machine learning that cannot be captured by submodular set functions. In this…
▽ More
We consider non-monotone DR-submodular function maximization, where DR-submodularity (diminishing return submodularity) is an extension of submodularity for functions over the integer lattice based on the concept of the diminishing return property. Maximizing non-monotone DR-submodular functions has many applications in machine learning that cannot be captured by submodular set functions. In this paper, we present a $\frac{1}{2+ε}$-approximation algorithm with a running time of roughly $O(\frac{n}ε\log^2 B)$, where $n$ is the size of the ground set, $B$ is the maximum value of a coordinate, and $ε> 0$ is a parameter. The approximation ratio is almost tight and the dependency of running time on $B$ is exponentially smaller than the naive greedy algorithm. Experiments on synthetic and real-world datasets demonstrate that our algorithm outputs almost the best solution compared to other baseline algorithms, whereas its running time is several orders of magnitude faster.
△ Less
Submitted 3 December, 2016;
originally announced December 2016.
-
Non-trivial wandering domains for heterodimensional cycles
Authors:
Shin Kiriki,
Yushi Nakano,
Teruhiko Soma
Abstract:
We present a sufficient condition for three-dimensional diffeomorphisms having heterodimensional cycles to be approximated arbitrarily well by diffeomorphisms with non-trivial contracting wandering domains via several perturbations. The key idea is to show that diffeomorphisms with heterodimensional cycles associated with saddle points with non-real eigenvalues can be approximated by diffeomorphis…
▽ More
We present a sufficient condition for three-dimensional diffeomorphisms having heterodimensional cycles to be approximated arbitrarily well by diffeomorphisms with non-trivial contracting wandering domains via several perturbations. The key idea is to show that diffeomorphisms with heterodimensional cycles associated with saddle points with non-real eigenvalues can be approximated by diffeomorphisms with generalized homoclinic tangencies presented by Tatjer. The generalized homoclinic tangency is an organizing center including a Bogdanov-Takens bifurcation, by which one can obtain non-trivial contracting wandering domains together with a Denjoy-like construction.
△ Less
Submitted 21 July, 2017; v1 submitted 9 October, 2016;
originally announced October 2016.
-
Insulator to metal transition of WO3 epitaxial films induced by electrochemical Li-ion intercalation
Authors:
Kohei Yoshimatsu,
Takuto Soma,
Akira Ohtomo
Abstract:
We investigated systematic evolutions of structural and electronic properties of LixWO3 films, induced by Li-ion electrochemical reactions. Chronoamperometric Li-ion intercalation could control the amount of Li content up to x ~ 0.5. The resistivity abruptly decreased with increasing x and the films underwent an insulator to metal transition (IMT) within a range of 0.2 < x < 0.24, which was consis…
▽ More
We investigated systematic evolutions of structural and electronic properties of LixWO3 films, induced by Li-ion electrochemical reactions. Chronoamperometric Li-ion intercalation could control the amount of Li content up to x ~ 0.5. The resistivity abruptly decreased with increasing x and the films underwent an insulator to metal transition (IMT) within a range of 0.2 < x < 0.24, which was consistent with IMT of cubic NaxWO3. The X-ray diffraction analyses revealed the coexistence of tetragonal and cubic phases across IMT, suggesting that the alkaline-ion content was a primary factor for metallic conductivity in the ReO3-type WO3 system.
△ Less
Submitted 16 May, 2016;
originally announced May 2016.
-
Epitaxial growth of hexagonal tungsten bronze CsxWO3 films in superconducting phase region exceeding bulk limit
Authors:
Takuto Soma,
Kohei Yoshimatsu,
Akira Ohtomo
Abstract:
We report epitaxial synthesis of superconducting CsxWO3 (x = 0.11, 0.20, 0.31) films on Y-stabilized ZrO2 (111) substrates. The hexagonal crystal structure was verified not only for composition within the stable region of bulk (x = 0.20, 0.31), but also for the out-of-range composition (x = 0.11). The onset of superconducting transition temperature (TC) was recorded 5.8 K for x = 0.11. We found st…
▽ More
We report epitaxial synthesis of superconducting CsxWO3 (x = 0.11, 0.20, 0.31) films on Y-stabilized ZrO2 (111) substrates. The hexagonal crystal structure was verified not only for composition within the stable region of bulk (x = 0.20, 0.31), but also for the out-of-range composition (x = 0.11). The onset of superconducting transition temperature (TC) was recorded 5.8 K for x = 0.11. We found strong correlation between TC and c-axis length, irrespective of the Cs content. The results indicate that hidden superconducting phase region of hexagonal tungsten bronze is accessible by using epitaxial synthesis of lightly doped films.
△ Less
Submitted 13 May, 2016;
originally announced May 2016.
-
Development of a computer-aided diagnostic system for Alzheimer's disease using magnetic resonance imaging
Authors:
Kenya Murase,
Naohiko Gondo,
Tsutomu Soma
Abstract:
Alzheimer's disease (AD) is the most common type of dementia accompanied with brain atrophy. Structural measurements of brain atrophy in specific brain structures such as hippocampus using magnetic resonance imaging (MRI) have been reported to detect the development of dementia early in the course of the disease. The purpose of this study was to develop a computer-aided diagnostic system for AD us…
▽ More
Alzheimer's disease (AD) is the most common type of dementia accompanied with brain atrophy. Structural measurements of brain atrophy in specific brain structures such as hippocampus using magnetic resonance imaging (MRI) have been reported to detect the development of dementia early in the course of the disease. The purpose of this study was to develop a computer-aided diagnostic system for AD using MRI, which is based on the automatic volumetry of segmented brain images and generation of three-dimensional cortical thickness images using the Eulerian partial differential equation (PDE) approach. We investigated the effect of the inhomogeneity of magnetic field strength and statistical noise on the accuracy of our automatic volumetry and the PDE approach using the simulated MR images generated from BrainWeb. Our automatic volumetry and PDE approach were robust against inhomogeneous magnetic field strength. Although the accuracy of our automatic volumetry decreased with increasing statistical noise, it was maintained when the statistical noise was less than 7-8%. The cortical thickness obtained by the PDE method tended to decrease with increasing statistical noise. When we applied our method to clinical data, the cortical thinning due to brain atrophy was clearly demonstrated in patients with brain atrophy. These results suggest that our system appears to be useful for the diagnosis of AD, because it allows us to automatically evaluate the extent of brain atrophy and cortical thinning in a three-dimensional manner.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Geometric Lorenz flows with historic behavior
Authors:
Shin Kiriki,
Ming-Chia Li,
Teruhiko Soma
Abstract:
We will show that, in the the geometric Lorenz flow, the set of initial states which give rise to orbits with historic behavior is residual in a trap** region.
We will show that, in the the geometric Lorenz flow, the set of initial states which give rise to orbits with historic behavior is residual in a trap** region.
△ Less
Submitted 18 August, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Finding a low-rank basis in a matrix subspace
Authors:
Yuji Nakatsukasa,
Tasuku Soma,
André Uschmajew
Abstract:
For a given matrix subspace, how can we find a basis that consists of low-rank matrices? This is a generalization of the sparse vector problem. It turns out that when the subspace is spanned by rank-1 matrices, the matrices can be obtained by the tensor CP decomposition. For the higher rank case, the situation is not as straightforward. In this work we present an algorithm based on a greedy proces…
▽ More
For a given matrix subspace, how can we find a basis that consists of low-rank matrices? This is a generalization of the sparse vector problem. It turns out that when the subspace is spanned by rank-1 matrices, the matrices can be obtained by the tensor CP decomposition. For the higher rank case, the situation is not as straightforward. In this work we present an algorithm based on a greedy process applicable to higher rank problems. Our algorithm first estimates the minimum rank by applying soft singular value thresholding to a nuclear norm relaxation, and then computes a matrix with that rank using the method of alternating projections. We provide local convergence results, and compare our algorithm with several alternative approaches. Applications include data compression beyond the classical truncated SVD, computing accurate eigenvectors of a near-multiple eigenvalue, image separation and graph Laplacian eigenproblems.
△ Less
Submitted 27 June, 2016; v1 submitted 30 March, 2015;
originally announced March 2015.
-
Takens' last problem and existence of non-trivial wandering domains
Authors:
Shin Kiriki,
Teruhiko Soma
Abstract:
In this paper, we give an answer to a $C^{r}$ $(2\leq r <\infty)$ version of the open problem of Takens in [Nonlinearity, 21 (2008), no.3, T33-T36] which is related to historic behavior of dynamical systems. To obtain the answer, we show the existence of non-trivial wandering domains near a homoclinic tangency, which is conjectured by Colli-Vargas [Ergod. Th. & Dynam. Sys., 21 (2001), 1657-1681].…
▽ More
In this paper, we give an answer to a $C^{r}$ $(2\leq r <\infty)$ version of the open problem of Takens in [Nonlinearity, 21 (2008), no.3, T33-T36] which is related to historic behavior of dynamical systems. To obtain the answer, we show the existence of non-trivial wandering domains near a homoclinic tangency, which is conjectured by Colli-Vargas [Ergod. Th. & Dynam. Sys., 21 (2001), 1657-1681]. Concretely speaking, it is proved that any Newhouse open set in the space of $C^{r}$-diffeomorphisms on a closed surface is contained in the closure of the set of diffeomorphisms which have non-trivial wandering domains whose forward orbits have historic behavior. Moreover, this result implies an answer in the $C^{r}$ category to one of the open problems of van Strien [Discrete Conti. Dynam. Sys., 27 (2010), no.2, 557-588] which is concerned with wandering domains for Hénon family.
△ Less
Submitted 4 November, 2016; v1 submitted 20 March, 2015;
originally announced March 2015.
-
Maximizing Monotone Submodular Functions over the Integer Lattice
Authors:
Tasuku Soma,
Yuichi Yoshida
Abstract:
The problem of maximizing non-negative monotone submodular functions under a certain constraint has been intensively studied in the last decade. In this paper, we address the problem for functions defined over the integer lattice.
Suppose that a non-negative monotone submodular function $f:\mathbb{Z}_+^n \to \mathbb{R}_+$ is given via an evaluation oracle. Assume further that $f$ satisfies the d…
▽ More
The problem of maximizing non-negative monotone submodular functions under a certain constraint has been intensively studied in the last decade. In this paper, we address the problem for functions defined over the integer lattice.
Suppose that a non-negative monotone submodular function $f:\mathbb{Z}_+^n \to \mathbb{R}_+$ is given via an evaluation oracle. Assume further that $f$ satisfies the diminishing return property, which is not an immediate consequence of submodularity when the domain is the integer lattice. Given this, we design polynomial-time $(1-1/e-ε)$-approximation algorithms for a cardinality constraint, a polymatroid constraint, and a knapsack constraint. For a cardinality constraint, we also provide a $(1-1/e-ε)$-approximation algorithm with slightly worse time complexity that does not rely on the diminishing return property.
△ Less
Submitted 10 May, 2016; v1 submitted 3 March, 2015;
originally announced March 2015.
-
$C^2$-robust heterodimensional tangencies
Authors:
Shin Kiriki,
Teruhiko Soma
Abstract:
In this paper, we give sufficient conditions for the existence of $C^{2}$ robust heterodimensional tangency, and present a nonempty open set in $\Diff^2(M)$ with $\dim(M)\geq 3$ each element of which has a non-degenerate heterodimensional tangency on a $C^2$ robust heterodimensional cycle.
In this paper, we give sufficient conditions for the existence of $C^{2}$ robust heterodimensional tangency, and present a nonempty open set in $\Diff^2(M)$ with $\dim(M)\geq 3$ each element of which has a non-degenerate heterodimensional tangency on a $C^2$ robust heterodimensional cycle.
△ Less
Submitted 26 September, 2012; v1 submitted 19 September, 2011;
originally announced September 2011.
-
Coexistence of invariant sets with and without SRB measures in Hénon family
Authors:
Shin Kiriki,
Ming-Chia Li,
Teruhiko Soma
Abstract:
Let $\{f_{a,b}\}$ be the (original) Hénon family. In this paper, we show that, for any $b$ near $0$, there exists a closed interval $J_b$ which contains a dense subset $J'$ such that, for any $a\in J'$, $f_{a,b}$ has a quadratic homoclinic tangency associated with a saddle fixed point of $f_{a,b}$ which unfolds generically with respect to the one-parameter family $\{f_{a,b}\}_{a\in J_b}$. By apply…
▽ More
Let $\{f_{a,b}\}$ be the (original) Hénon family. In this paper, we show that, for any $b$ near $0$, there exists a closed interval $J_b$ which contains a dense subset $J'$ such that, for any $a\in J'$, $f_{a,b}$ has a quadratic homoclinic tangency associated with a saddle fixed point of $f_{a,b}$ which unfolds generically with respect to the one-parameter family $\{f_{a,b}\}_{a\in J_b}$. By applying this result, we prove that $J_b$ contains a residual subset $A_b^{(2)}$ such that, for any $a\in A_b^{(2)}$, $f_{a,b}$ admits the Newhouse phenomenon. Moreover, the interval $J_b$ contains a dense subset $\tilde A_b$ such that, for any $a\in \tilde A_b$, $f_{a,b}$ has a large homoclinic set without SRB measure and a small strange attractor with SRB measure simultaneously.
Dedicated to the memory of Floris Takens (Nov. 12, 1940 - Jun. 20, 2010).
△ Less
Submitted 8 July, 2010;
originally announced July 2010.
-
The Smale conjecture for Seifert fibered spaces with hyperbolic base orbifold
Authors:
Darryl McCullough,
Teruhiko Soma
Abstract:
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental grou…
▽ More
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental group of M is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings of M for all compact orientable aspherical 3-manifolds. We also prove that when the base orbifold of M is hyperbolic with underlying manifold the 2-sphere with three cone points, the inclusion from the isometry group Isom(M) to Diff(M) is a homotopy equivalence.
△ Less
Submitted 27 May, 2010;
originally announced May 2010.
-
Geometry and topology of geometric limits I
Authors:
Ken'ichi Ohshika,
Teruhiko Soma
Abstract:
In this paper, we classify completely hyperbolic 3-manifolds corresponding to geometric limits of Kleinian surface groups isomorphic to $π_1(S)$ for a finite-type hyperbolic surface $S$. In the first of the three main theorems, we construct bi-Lipschitz model manifolds for such hyperbolic 3-manifolds, which have a structure called brick decomposition and are embedded in $S \times (0,1)$. In the se…
▽ More
In this paper, we classify completely hyperbolic 3-manifolds corresponding to geometric limits of Kleinian surface groups isomorphic to $π_1(S)$ for a finite-type hyperbolic surface $S$. In the first of the three main theorems, we construct bi-Lipschitz model manifolds for such hyperbolic 3-manifolds, which have a structure called brick decomposition and are embedded in $S \times (0,1)$. In the second theorem, we show that conversely, any such model manifold admitting a brick decomposition with reasonable conditions is bi-Lipschitz homeomorphic to a hyperbolic manifold corresponding to some geometric limit of quasi-Fuchsian groups. In the third theorem, it is shown that we can define end invariants for hyperbolic 3-manifolds appearing as geometric limits of Kleinian surface groups, and that the homeomorphism type and the end invariants determine the isometric type of a manifold, which is analogous to the ending lamination theorem for the case of finitely generated Kleinian groups. These constitute an attempt to give an answer to the 8th question among the 24 questions raised by Thurston in his BAMS paper.
△ Less
Submitted 20 May, 2015; v1 submitted 23 February, 2010;
originally announced February 2010.
-
Existence of ruled wrap**s in hyperbolic 3-manifolds
Authors:
Teruhiko Soma
Abstract:
We present a short elementary proof of an existence theorem of certain CAT(-1)-surfaces in open hyperbolic 3-manifolds. The main construction lemma in Calegari and Gabai's proof of Marden's Tameness Conjecture can be replaced by an applicable version of our theorem.
We present a short elementary proof of an existence theorem of certain CAT(-1)-surfaces in open hyperbolic 3-manifolds. The main construction lemma in Calegari and Gabai's proof of Marden's Tameness Conjecture can be replaced by an applicable version of our theorem.
△ Less
Submitted 1 March, 2009;
originally announced March 2009.
-
Persistent antimonotonic bifurcations and strange attractors for cubic homoclinic tangencies
Authors:
Shin Kiriki,
Teruhiko Soma
Abstract:
In this paper, we study a two-parameter family of two-dimensional diffeomorphisms such that it has a cubic homoclinic tangency unfolding generically which is associated with a dissipative saddle point. Our first theorem presents an open set in the parameter-plane such that, for any parameter value in the open set, there exists a one-parameter subfamily through this value exhibiting cubically rel…
▽ More
In this paper, we study a two-parameter family of two-dimensional diffeomorphisms such that it has a cubic homoclinic tangency unfolding generically which is associated with a dissipative saddle point. Our first theorem presents an open set in the parameter-plane such that, for any parameter value in the open set, there exists a one-parameter subfamily through this value exhibiting cubically related persistent contact-making and contact-breaking quadratic tangencies. Moreover, the second theorem shows that any such two-parameter family satisfies Wang-Young's conditions which guarantee that it exhibits a cubic polynomial-like strange attractor with an SRB measure.
△ Less
Submitted 19 March, 2008;
originally announced March 2008.
-
Heterodimensional tangencies on cycles leading to strange attractors
Authors:
Shin Kiriki,
Yusuke Nishizawa,
Teruhiko Soma
Abstract:
In this paper, we study heterodimensional cycles of two-parameter families of 3-dimensional diffeomorphisms some element of which contains nondegenerate heterodimensional tangencies of the stable and unstable manifolds of two saddle points with different indexes, and prove that such diffeomorphisms can be well approximated by another element which has a quadratic homoclinic tangency associated t…
▽ More
In this paper, we study heterodimensional cycles of two-parameter families of 3-dimensional diffeomorphisms some element of which contains nondegenerate heterodimensional tangencies of the stable and unstable manifolds of two saddle points with different indexes, and prove that such diffeomorphisms can be well approximated by another element which has a quadratic homoclinic tangency associated to one of these saddle points. Moreover, it is shown that the tangency unfolds generically with respect to the family. This result together with some theorem in Viana, we detect strange attractors appeared arbitrarily close to the original element with the heterodimensional cycle.
△ Less
Submitted 26 September, 2009; v1 submitted 26 February, 2008;
originally announced February 2008.
-
Geometric approach to Ending Lamination Conjecture
Authors:
Teruhiko Soma
Abstract:
We present a new proof of the bi-Lipschitz model theorem, which occupies the main part of the Ending Lamination Conjecture proved by Minsky and Brock-Canary-Minsky. Our proof is done by using techniques of standard hyperbolic geometry as much as possible.
We present a new proof of the bi-Lipschitz model theorem, which occupies the main part of the Ending Lamination Conjecture proved by Minsky and Brock-Canary-Minsky. Our proof is done by using techniques of standard hyperbolic geometry as much as possible.
△ Less
Submitted 23 January, 2010; v1 submitted 28 January, 2008;
originally announced January 2008.
-
Geometric limits of quasi-Fuchsian groups
Authors:
Teruhiko Soma
Abstract:
In this paper, we will determine the topological types of hyperbolic 3-anifolds H^3/G such that G is a geometric limit of any algebraically convergent sequence of quasi-Fuchsian groups.
In this paper, we will determine the topological types of hyperbolic 3-anifolds H^3/G such that G is a geometric limit of any algebraically convergent sequence of quasi-Fuchsian groups.
△ Less
Submitted 23 February, 2007;
originally announced February 2007.
-
Existence of generic cubic homoclinic tangencies for Hénon maps
Authors:
Shin Kiriki,
Teruhiko Soma
Abstract:
In this paper, we show that the Hénon map $\varphi_{a,b}$ has a generically unfolding cubic tangency for some $(a,b)$ arbitrarily close to $(-2,0)$ by applying results of Gonchenko-Shilnikov-Turaev [12]-[16]. Combining this fact with theorems in Kiriki-Soma [20], one can observe the new phenomena in the Hénon family, appearance of persistent antimonotonic tangencies and cubic polynomial-like stran…
▽ More
In this paper, we show that the Hénon map $\varphi_{a,b}$ has a generically unfolding cubic tangency for some $(a,b)$ arbitrarily close to $(-2,0)$ by applying results of Gonchenko-Shilnikov-Turaev [12]-[16]. Combining this fact with theorems in Kiriki-Soma [20], one can observe the new phenomena in the Hénon family, appearance of persistent antimonotonic tangencies and cubic polynomial-like strange attractors.
△ Less
Submitted 19 March, 2012; v1 submitted 15 August, 2006;
originally announced August 2006.
-
Parameter-shifted shadowing property for geometric Lorenz attractors
Authors:
Shin Kiriki,
Teruhiko Soma
Abstract:
In this paper, we will show that any geometric Lorenz flow in a definite class satisfies the parameter-shifted shadowing property.
In this paper, we will show that any geometric Lorenz flow in a definite class satisfies the parameter-shifted shadowing property.
△ Less
Submitted 8 December, 2003;
originally announced December 2003.