-
Lifting link invariants by functors on nanophrases
Authors:
Tomonori Fukunaga,
Noboru Ito
Abstract:
Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the category in which the Jones polynomial is defined consists of a category that is actually less informative category than the link category, and so is the quandle…
▽ More
Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the category in which the Jones polynomial is defined consists of a category that is actually less informative category than the link category, and so is the quandle category. The former is called the pseudolink category and the latter the quasilink category, which are covered by the link category; there is a known filtration: links cover pseudolinks, pseudolinks cover virtual strings, and virtual strings cover free links. The introduction and groundwork for nanophrases were done by Turaev around 2005. In this paper, we introduce functors (Theorem 1) from general nanophrases to virtual strings/pseudolinks/quasilinks/free links. These functors are powerful because of the difference between each of two. To demonstrate the effectiveness of such new construction of functors, the Jones pseudolink polynomial (Section 4), which implies the Jones link polynomial, is extended to general filtered nanophrases using one of the functors (Section 5). In particular, the information level of the nanophrases used in each category is explicitly described in the above construction process. This paper is a refined version by developing parts of sections 3 and 6 in arXiv: 0901.3956.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
New Classes of the Greedy-Applicable Arm Feature Distributions in the Sparse Linear Bandit Problem
Authors:
Koji Ichikawa,
Shinji Ito,
Daisuke Hatano,
Hanna Sumita,
Takuro Fukunaga,
Naonori Kakimura,
Ken-ichi Kawarabayashi
Abstract:
We consider the sparse contextual bandit problem where arm feature affects reward through the inner product of sparse parameters. Recent studies have developed sparsity-agnostic algorithms based on the greedy arm selection policy. However, the analysis of these algorithms requires strong assumptions on the arm feature distribution to ensure that the greedily selected samples are sufficiently diver…
▽ More
We consider the sparse contextual bandit problem where arm feature affects reward through the inner product of sparse parameters. Recent studies have developed sparsity-agnostic algorithms based on the greedy arm selection policy. However, the analysis of these algorithms requires strong assumptions on the arm feature distribution to ensure that the greedily selected samples are sufficiently diverse; One of the most common assumptions, relaxed symmetry, imposes approximate origin-symmetry on the distribution, which cannot allow distributions that has origin-asymmetric support. In this paper, we show that the greedy algorithm is applicable to a wider range of the arm feature distributions from two aspects. Firstly, we show that a mixture distribution that has a greedy-applicable component is also greedy-applicable. Second, we propose new distribution classes, related to Gaussian mixture, discrete, and radial distribution, for which the sample diversity is guaranteed. The proposed classes can describe distributions with origin-asymmetric support and, in conjunction with the first claim, provide theoretical guarantees of the greedy policy for a very wide range of the arm feature distributions.
△ Less
Submitted 28 March, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
On the Convergence of Semi-Relaxed Sinkhorn with Marginal Constraint and OT Distance Gaps
Authors:
Takumi Fukunaga,
Hiroyuki Kasai
Abstract:
This paper presents consideration of the Semi-Relaxed Sinkhorn (SR-Sinkhorn) algorithm for the semi-relaxed optimal transport (SROT) problem, which relaxes one marginal constraint of the standard OT problem. For evaluation of how the constraint relaxation affects the algorithm behavior and solution, it is vitally necessary to present the theoretical convergence analysis in terms not only of the fu…
▽ More
This paper presents consideration of the Semi-Relaxed Sinkhorn (SR-Sinkhorn) algorithm for the semi-relaxed optimal transport (SROT) problem, which relaxes one marginal constraint of the standard OT problem. For evaluation of how the constraint relaxation affects the algorithm behavior and solution, it is vitally necessary to present the theoretical convergence analysis in terms not only of the functional value gap, but also of the marginal constraint gap as well as the OT distance gap. However, no existing work has addressed all analyses simultaneously. To this end, this paper presents a comprehensive convergence analysis for SR-Sinkhorn. After presenting the $ε$-approximation of the functional value gap based on a new proof strategy and exploiting this proof strategy, we give the upper bound of the marginal constraint gap. We also provide its convergence to the $ε$-approximation when two distributions are in the probability simplex. Furthermore, the convergence analysis of the OT distance gap to the $ε$-approximation is given as assisted by the obtained marginal constraint gap. The latter two theoretical results are the first results presented in the literature related to the SROT problem.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Block-coordinate Frank-Wolfe algorithm and convergence analysis for semi-relaxed optimal transport problem
Authors:
Takumi Fukunaga,
Hiroyuki Kasai
Abstract:
The optimal transport (OT) problem has been used widely for machine learning. It is necessary for computation of an OT problem to solve linear programming with tight mass-conservation constraints. These constraints prevent its application to large-scale problems. To address this issue, loosening such constraints enables us to propose the relaxed-OT method using a faster algorithm. This approach ha…
▽ More
The optimal transport (OT) problem has been used widely for machine learning. It is necessary for computation of an OT problem to solve linear programming with tight mass-conservation constraints. These constraints prevent its application to large-scale problems. To address this issue, loosening such constraints enables us to propose the relaxed-OT method using a faster algorithm. This approach has demonstrated its effectiveness for applications. However, it remains slow. As a superior alternative, we propose a fast block-coordinate Frank-Wolfe (BCFW) algorithm for a convex semi-relaxed OT. Specifically, we prove their upper bounds of the worst convergence iterations, and equivalence between the linearization duality gap and the Lagrangian duality gap. Additionally, we develop two fast variants of the proposed BCFW. Numerical experiments have demonstrated that our proposed algorithms are effective for color transfer and surpass state-of-the-art algorithms. This report presents a short version of arXiv:2103.05857.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Online Task Assignment Problems with Reusable Resources
Authors:
Hanna Sumita,
Shinji Ito,
Kei Takemura,
Daisuke Hatano,
Takuro Fukunaga,
Naonori Kakimura,
Ken-ichi Kawarabayashi
Abstract:
We study online task assignment problem with reusable resources, motivated by practical applications such as ridesharing, crowdsourcing and job hiring. In the problem, we are given a set of offline vertices (agents), and, at each time, an online vertex (task) arrives randomly according to a known time-dependent distribution. Upon arrival, we assign the task to agents immediately and irrevocably. T…
▽ More
We study online task assignment problem with reusable resources, motivated by practical applications such as ridesharing, crowdsourcing and job hiring. In the problem, we are given a set of offline vertices (agents), and, at each time, an online vertex (task) arrives randomly according to a known time-dependent distribution. Upon arrival, we assign the task to agents immediately and irrevocably. The goal of the problem is to maximize the expected total profit produced by completed tasks. The key features of our problem are (1) an agent is reusable, i.e., an agent comes back to the market after completing the assigned task, (2) an agent may reject the assigned task to stay the market, and (3) a task may accommodate multiple agents. The setting generalizes that of existing work in which an online task is assigned to one agent under (1).
In this paper, we propose an online algorithm that is $1/2$-competitive for the above setting, which is tight. Moreover, when each agent can reject assigned tasks at most $Δ$ times, the algorithm is shown to have the competitive ratio $Δ/(3Δ-1)\geq 1/3$. We also evaluate our proposed algorithm with numerical experiments.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Fast block-coordinate Frank-Wolfe algorithm for semi-relaxed optimal transport
Authors:
Takumi Fukunaga,
Hiroyuki Kasai
Abstract:
Optimal transport (OT), which provides a distance between two probability distributions by considering their spatial locations, has been applied to widely diverse applications. Computing an OT problem requires solution of linear programming with tight mass-conservation constraints. This requirement hinders its application to large-scale problems. To alleviate this issue, the recently proposed rela…
▽ More
Optimal transport (OT), which provides a distance between two probability distributions by considering their spatial locations, has been applied to widely diverse applications. Computing an OT problem requires solution of linear programming with tight mass-conservation constraints. This requirement hinders its application to large-scale problems. To alleviate this issue, the recently proposed relaxed-OT approach uses a faster algorithm by relaxing such constraints. Its effectiveness for practical applications has been demonstrated. Nevertheless, it still exhibits slow convergence. To this end, addressing a convex semi-relaxed OT, we propose a fast block-coordinate Frank-Wolfe (BCFW) algorithm, which gives sparse solutions. Specifically, we provide their upper bounds of the worst convergence iterations, and equivalence between the linearization duality gap and the Lagrangian duality gap. Three fast variants of the proposed BCFW are also proposed. Numerical evaluations in color transfer problem demonstrate that the proposed algorithms outperform state-of-the-art algorithms across different settings.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Near-Optimal Regret Bounds for Contextual Combinatorial Semi-Bandits with Linear Payoff Functions
Authors:
Kei Takemura,
Shinji Ito,
Daisuke Hatano,
Hanna Sumita,
Takuro Fukunaga,
Naonori Kakimura,
Ken-ichi Kawarabayashi
Abstract:
The contextual combinatorial semi-bandit problem with linear payoff functions is a decision-making problem in which a learner chooses a set of arms with the feature vectors in each round under given constraints so as to maximize the sum of rewards of arms. Several existing algorithms have regret bounds that are optimal with respect to the number of rounds $T$. However, there is a gap of…
▽ More
The contextual combinatorial semi-bandit problem with linear payoff functions is a decision-making problem in which a learner chooses a set of arms with the feature vectors in each round under given constraints so as to maximize the sum of rewards of arms. Several existing algorithms have regret bounds that are optimal with respect to the number of rounds $T$. However, there is a gap of $\tilde{O}(\max(\sqrt{d}, \sqrt{k}))$ between the current best upper and lower bounds, where $d$ is the dimension of the feature vectors, $k$ is the number of the chosen arms in a round, and $\tilde{O}(\cdot)$ ignores the logarithmic factors. The dependence of $k$ and $d$ is of practical importance because $k$ may be larger than $T$ in real-world applications such as recommender systems. In this paper, we fill the gap by improving the upper and lower bounds. More precisely, we show that the C${}^2$UCB algorithm proposed by Qin, Chen, and Zhu (2014) has the optimal regret bound $\tilde{O}(d\sqrt{kT} + dk)$ for the partition matroid constraints. For general constraints, we propose an algorithm that modifies the reward estimates of arms in the C${}^2$UCB algorithm and demonstrate that it enjoys the optimal regret bound for a more general problem that can take into account other objectives simultaneously. We also show that our technique would be applicable to related problems. Numerical experiments support our theoretical results and considerations.
△ Less
Submitted 27 February, 2021; v1 submitted 19 January, 2021;
originally announced January 2021.
-
Wasserstein k-means with sparse simplex projection
Authors:
Takumi Fukunaga,
Hiroyuki Kasai
Abstract:
This paper presents a proposal of a faster Wasserstein $k$-means algorithm for histogram data by reducing Wasserstein distance computations and exploiting sparse simplex projection. We shrink data samples, centroids, and the ground cost matrix, which leads to considerable reduction of the computations used to solve optimal transport problems without loss of clustering quality. Furthermore, we dyna…
▽ More
This paper presents a proposal of a faster Wasserstein $k$-means algorithm for histogram data by reducing Wasserstein distance computations and exploiting sparse simplex projection. We shrink data samples, centroids, and the ground cost matrix, which leads to considerable reduction of the computations used to solve optimal transport problems without loss of clustering quality. Furthermore, we dynamically reduced the computational complexity by removing lower-valued data samples and harnessing sparse simplex projection while keeping the degradation of clustering quality lower. We designate this proposed algorithm as sparse simplex projection based Wasserstein $k$-means, or SSPW $k$-means. Numerical evaluations conducted with comparison to results obtained using Wasserstein $k$-means algorithm demonstrate the effectiveness of the proposed SSPW $k$-means for real-world datasets
△ Less
Submitted 25 November, 2020;
originally announced November 2020.
-
Adaptive Algorithm for Finding Connected Dominating Sets in Uncertain Graphs
Authors:
Takuro Fukunaga
Abstract:
The problem of finding a minimum-weight connected dominating set (CDS) of a given undirected graph has been studied actively, motivated by operations of wireless ad hoc networks. In this paper, we formulate a new stochastic variant of the problem. In this problem, each node in the graph has a hidden random state, which represents whether the node is active or inactive, and we seek a CDS of the gra…
▽ More
The problem of finding a minimum-weight connected dominating set (CDS) of a given undirected graph has been studied actively, motivated by operations of wireless ad hoc networks. In this paper, we formulate a new stochastic variant of the problem. In this problem, each node in the graph has a hidden random state, which represents whether the node is active or inactive, and we seek a CDS of the graph that consists of the active nodes. We consider an adaptive algorithm for this problem, which repeat choosing nodes and observing the states of the nodes around the chosen nodes until a CDS is found. Our algorithms have a theoretical performance guarantee that the sum of the weights of the nodes chosen by the algorithm is at most $O(α\log (1/δ))$ times that of any adaptive algorithm in expectation, where $α$ is an approximation factor for the node-weighted polymatroid Steiner tree problem and $δ$ is the minimum probability of possible scenarios on the node states.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
How different is the core of $^{25}$F from $^{24}$O$_{g.s.}$?
Authors:
T. L. Tang,
T. Uesaka,
S. Kawase,
D. Beaumel,
M. Dozono,
T. Fujii,
N. Fukuda,
T. Fukunaga,
A. Galindo-Uribarri,
S. H. Hwang,
N. Inabe,
D. Kameda,
T. Kawahara,
W. Kim,
K. Kisamori,
M. Kobayashi,
T. Kubo,
Y. Kubota,
K. Kusaka,
C. S. Lee,
Y. Maeda,
H. Matsubara,
S. Michimasa,
H. Miya,
T. Noro
, et al. (22 additional authors not shown)
Abstract:
The neutron-shell structure of $^{25}$F was studied using quasi-free (p,2p) knockout reaction at 270A MeV in inverse kinematics. The sum of spectroscopic factors of $π$0d$_{5/2}$ orbital is found to be $1.0 \pm 0.3$. However, the spectroscopic factor for the ground-state to ground-state transition ($^{25}$F, $^{24}$O$_{g.s.}$) is only $0.36\pm 0.13$, and $^{24}$O excited states are produced from t…
▽ More
The neutron-shell structure of $^{25}$F was studied using quasi-free (p,2p) knockout reaction at 270A MeV in inverse kinematics. The sum of spectroscopic factors of $π$0d$_{5/2}$ orbital is found to be $1.0 \pm 0.3$. However, the spectroscopic factor for the ground-state to ground-state transition ($^{25}$F, $^{24}$O$_{g.s.}$) is only $0.36\pm 0.13$, and $^{24}$O excited states are produced from the 0d$_{5/2}$ proton knockout. The result shows that the $^{24}$O core of $^{25}$F nucleus significantly differs from a free $^{24}$O nucleus, and the core consists of 35% $^{24}$O$_{g.s}$. and 65% excited $^{24}$O.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.
-
Causal Bandits with Propagating Inference
Authors:
Akihiro Yabe,
Daisuke Hatano,
Hanna Sumita,
Shinji Ito,
Naonori Kakimura,
Takuro Fukunaga,
Ken-ichi Kawarabayashi
Abstract:
Bandit is a framework for designing sequential experiments. In each experiment, a learner selects an arm $A \in \mathcal{A}$ and obtains an observation corresponding to $A$. Theoretically, the tight regret lower-bound for the general bandit is polynomial with respect to the number of arms $|\mathcal{A}|$. This makes bandit incapable of handling an exponentially large number of arms, hence the band…
▽ More
Bandit is a framework for designing sequential experiments. In each experiment, a learner selects an arm $A \in \mathcal{A}$ and obtains an observation corresponding to $A$. Theoretically, the tight regret lower-bound for the general bandit is polynomial with respect to the number of arms $|\mathcal{A}|$. This makes bandit incapable of handling an exponentially large number of arms, hence the bandit problem with side-information is often considered to overcome this lower bound. Recently, a bandit framework over a causal graph was introduced, where the structure of the causal graph is available as side-information. A causal graph is a fundamental model that is frequently used with a variety of real problems. In this setting, the arms are identified with interventions on a given causal graph, and the effect of an intervention propagates throughout all over the causal graph. The task is to find the best intervention that maximizes the expected value on a target node. Existing algorithms for causal bandit overcame the $Ω(\sqrt{|\mathcal{A}|/T})$ simple-regret lower-bound; however, their algorithms work only when the interventions $\mathcal{A}$ are localized around a single node (i.e., an intervention propagates only to its neighbors).
We propose a novel causal bandit algorithm for an arbitrary set of interventions, which can propagate throughout the causal graph. We also show that it achieves $O(\sqrt{ γ^*\log(|\mathcal{A}|T) / T})$ regret bound, where $γ^*$ is determined by using a causal graph structure. In particular, if the in-degree of the causal graph is bounded, then $γ^* = O(N^2)$, where $N$ is the number $N$ of nodes.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Submodular maximization with uncertain knapsack capacity
Authors:
Yasushi Kawase,
Hanna Sumita,
Takuro Fukunaga
Abstract:
We consider the maximization problem of monotone submodular functions under an uncertain knapsack constraint. Specifically, the problem is discussed in the situation that the knapsack capacity is not given explicitly and can be accessed only through an oracle that answers whether or not the current solution is feasible when an item is added to the solution. Assuming that cancellation of the last i…
▽ More
We consider the maximization problem of monotone submodular functions under an uncertain knapsack constraint. Specifically, the problem is discussed in the situation that the knapsack capacity is not given explicitly and can be accessed only through an oracle that answers whether or not the current solution is feasible when an item is added to the solution. Assuming that cancellation of the last item is allowed when it overflows the knapsack capacity, we discuss the robustness ratios of adaptive policies for this problem, which are the worst case ratios of the objective values achieved by the output solutions to the optimal objective values. We present a randomized policy of robustness ratio $(1-1/e)/2$, and a deterministic policy of robustness ratio $2(1-1/e)/21$. We also consider a universal policy that chooses items following a precomputed sequence. We present a randomized universal policy of robustness ratio $(1-1/\sqrt[4]{e})/2$. When the cancellation is not allowed, no randomized adaptive policy achieves a constant robustness ratio. Because of this hardness, we assume that a probability distribution of the knapsack capacity is given, and consider computing a sequence of items that maximizes the expected objective value. We present a polynomial-time randomized algorithm of approximation ratio $(1-1/\sqrt[4]{e})/4-ε$ for any small constant $ε>0$.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Universal Lévy's stable law of stock market and its characterization
Authors:
Takumi Fukunaga,
Ken Umeno
Abstract:
Price fluctuations in financial markets can be characterized by Lévy's stable distribution, which is supported by the generalized central limit system. When the stable parameters were estimated from four different stock markets in long term, they similarly indicated an unique value. On the other hand, when analyzed in short term, parameters and the stock prices fluctuated with correlation, which s…
▽ More
Price fluctuations in financial markets can be characterized by Lévy's stable distribution, which is supported by the generalized central limit system. When the stable parameters were estimated from four different stock markets in long term, they similarly indicated an unique value. On the other hand, when analyzed in short term, parameters and the stock prices fluctuated with correlation, which shows that the stock markets are instable.
△ Less
Submitted 19 February, 2018; v1 submitted 19 September, 2017;
originally announced September 2017.
-
Computing a tree having a small vertex cover
Authors:
Takuro Fukunaga,
Takanori Maehara
Abstract:
We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a given vertex-weighted undirected graph. Since it is included by the Steiner tree activation problem, the problem admits an O(log n)-approximation algorithm in gen…
▽ More
We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a given vertex-weighted undirected graph. Since it is included by the Steiner tree activation problem, the problem admits an O(log n)-approximation algorithm in general graphs with n vertices. This approximation factor is tight up to a constant because it is NP-hard to achieve an o(log n)-approximation for the vertex-cover-weighted Steiner tree problem on general graphs even if the given vertex weights are uniform and a spanning tree is required instead of a Steiner tree. In this paper, we present constant-factor approximation algorithms for the problem with unit disk graphs and with graphs excluding a fixed minor. For the latter graph class, our algorithm can be also applied for the Steiner tree activation problem.
△ Less
Submitted 6 August, 2018; v1 submitted 30 January, 2017;
originally announced January 2017.
-
Constant-approximation algorithms for highly connected multi-dominating sets in unit disk graphs
Authors:
Takuro Fukunaga
Abstract:
Given an undirected graph on a node set $V$ and positive integers $k$ and $m$, a $k$-connected $m$-dominating set ($(k,m)$-CDS) is defined as a subset $S$ of $V$ such that each node in $V \setminus S$ has at least $m$ neighbors in $S$, and a $k$-connected subgraph is induced by $S$. The weighted $(k,m)$-CDS problem is to find a minimum weight $(k,m)$-CDS in a given node-weighted graph. The problem…
▽ More
Given an undirected graph on a node set $V$ and positive integers $k$ and $m$, a $k$-connected $m$-dominating set ($(k,m)$-CDS) is defined as a subset $S$ of $V$ such that each node in $V \setminus S$ has at least $m$ neighbors in $S$, and a $k$-connected subgraph is induced by $S$. The weighted $(k,m)$-CDS problem is to find a minimum weight $(k,m)$-CDS in a given node-weighted graph. The problem is called the unweighted $(k,m)$-CDS problem if the objective is to minimize the cardinality of a $(k,m)$-CDS. These problems have been actively studied for unit disk graphs, motivated by the application of constructing a virtual backbone in a wireless ad hoc network. However, constant-approximation algorithms are known only for $k \leq 3$ in the unweighted $(k,m)$-CDS problem, and for $(k,m)=(1,1)$ in the weighted $(k,m)$-CDS problem. In this paper, we consider the case in which $m \geq k$, and we present a simple $O(5^k k!)$-approximation algorithm for the unweighted $(k,m)$-CDS problem, and a primal-dual $O(k^2 \log k)$-approximation algorithm for the weighted $(k,m)$-CDS problem. Both algorithms achieve constant approximation factors when $k$ is a fixed constant.
△ Less
Submitted 6 August, 2018; v1 submitted 29 November, 2015;
originally announced November 2015.
-
Approximating the generalized terminal backup problem via half-integral multiflow relaxation
Authors:
Takuro Fukunaga
Abstract:
We consider a network design problem called the generalized terminal backup problem. Whereas earlier work investigated the edge-connectivity constraints only, we consider both edge- and node-connectivity constraints for this problem. A major contribution of this paper is the development of a strongly polynomial-time 4/3-approximation algorithm for the problem. Specifically, we show that a linear p…
▽ More
We consider a network design problem called the generalized terminal backup problem. Whereas earlier work investigated the edge-connectivity constraints only, we consider both edge- and node-connectivity constraints for this problem. A major contribution of this paper is the development of a strongly polynomial-time 4/3-approximation algorithm for the problem. Specifically, we show that a linear programming relaxation of the problem is half-integral, and that the half-integral optimal solution can be rounded to a 4/3-approximate solution. We also prove that the linear programming relaxation of the problem with the edge-connectivity constraints is equivalent to minimizing the cost of half-integral multiflows that satisfy flow demands given from terminals. This observation presents a strongly polynomial-time algorithm for computing a minimum cost half-integral multiflow under flow demand constraints.
△ Less
Submitted 18 January, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.
-
Covering problems in edge- and node-weighted graphs
Authors:
Takuro Fukunaga
Abstract:
This paper discusses the graph covering problem in which a set of edges in an edge- and node-weighted graph is chosen to satisfy some covering constraints while minimizing the sum of the weights. In this problem, because of the large integrality gap of a natural linear programming (LP) relaxation, LP rounding algorithms based on the relaxation yield poor performance. Here we propose a stronger LP…
▽ More
This paper discusses the graph covering problem in which a set of edges in an edge- and node-weighted graph is chosen to satisfy some covering constraints while minimizing the sum of the weights. In this problem, because of the large integrality gap of a natural linear programming (LP) relaxation, LP rounding algorithms based on the relaxation yield poor performance. Here we propose a stronger LP relaxation for the graph covering problem. The proposed relaxation is applied to designing primal-dual algorithms for two fundamental graph covering problems: the prize-collecting edge dominating set problem and the multicut problem in trees. Our algorithms are an exact polynomial-time algorithm for the former problem, and a 2-approximation algorithm for the latter problem, respectively. These results match the currently known best results for purely edge-weighted graphs.
△ Less
Submitted 15 April, 2014;
originally announced April 2014.
-
Spider covers for prize-collecting network activation problem
Authors:
Takuro Fukunaga
Abstract:
In the network activation problem, each edge in a graph is associated with an activation function, that decides whether the edge is activated from node-weights assigned to its end-nodes. The feasible solutions of the problem are the node-weights such that the activated edges form graphs of required connectivity, and the objective is to find a feasible solution minimizing its total weight. In this…
▽ More
In the network activation problem, each edge in a graph is associated with an activation function, that decides whether the edge is activated from node-weights assigned to its end-nodes. The feasible solutions of the problem are the node-weights such that the activated edges form graphs of required connectivity, and the objective is to find a feasible solution minimizing its total weight. In this paper, we consider a prize-collecting version of the network activation problem, and present first non- trivial approximation algorithms. Our algorithms are based on a new LP relaxation of the problem. They round optimal solutions for the relaxation by repeatedly computing node-weights activating subgraphs called spiders, which are known to be useful for approximating the network activation problem.
△ Less
Submitted 26 September, 2014; v1 submitted 21 October, 2013;
originally announced October 2013.
-
Simplified numerical form of universal finite type invariant of Gauss words
Authors:
Tomonori Fukunaga,
Takayuki Yamaguchi,
Takaaki Yamanoi
Abstract:
In the present paper, we study the finite type invariants of Gauss words. In the Polyak algebra techniques, we reduce the determination of the group structure to transformation of a matrix into its Smith normal form and we give the simplified form of a universal finite type invariant by means of the isomorphism of this transformation. The advantage of this process is that we can implement it as a…
▽ More
In the present paper, we study the finite type invariants of Gauss words. In the Polyak algebra techniques, we reduce the determination of the group structure to transformation of a matrix into its Smith normal form and we give the simplified form of a universal finite type invariant by means of the isomorphism of this transformation. The advantage of this process is that we can implement it as a computer program. We obtain the universal finite type invariant of degree 4, 5, and 6 explicitly. Moreover, as an application, we give the complete classification of Gauss words of rank 4 and the partial classification of Gauss words of rank 5 where the distinction of only one pair remains.
△ Less
Submitted 3 September, 2012;
originally announced September 2012.
-
Iterative rounding approximation algorithms for degree-bounded node-connectivity network design
Authors:
Takuro Fukunaga,
Zeev Nutov,
R. Ravi
Abstract:
We consider the problem of finding a minimum edge cost subgraph of a graph satisfying both given node-connectivity requirements and degree upper bounds on nodes. We present an iterative rounding algorithm of the biset LP relaxation for this problem. For directed graphs and $k$-out-connectivity requirements from a root, our algorithm computes a solution that is a 2-approximation on the cost, and th…
▽ More
We consider the problem of finding a minimum edge cost subgraph of a graph satisfying both given node-connectivity requirements and degree upper bounds on nodes. We present an iterative rounding algorithm of the biset LP relaxation for this problem. For directed graphs and $k$-out-connectivity requirements from a root, our algorithm computes a solution that is a 2-approximation on the cost, and the degree of each node $v$ in the solution is at most $2b(v) + O(k)$ where $b(v)$ is the degree upper bound on $v$. For undirected graphs and element-connectivity requirements with maximum connectivity requirement $k$, our algorithm computes a solution that is a $4$-approximation on the cost, and the degree of each node $v$ in the solution is at most $4b(v)+O(k)$. These ratios improve the previous $O(\log k)$-approximation on the cost and $O(2^k b(v))$ approximation on the degrees. Our algorithms can be used to improve approximation ratios for other node-connectivity problems such as undirected $k$-out-connectivity, directed and undirected $k$-connectivity, and undirected rooted $k$-connectivity and subset $k$-connectivity.
△ Less
Submitted 9 August, 2015; v1 submitted 15 March, 2012;
originally announced March 2012.
-
On Generalization of Homotopy of Words and Its Applications
Authors:
Tomonori Fukunaga
Abstract:
V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generalized homotopy theory of words and phrases, we extend some homotopy invariants of…
▽ More
V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generalized homotopy theory of words and phrases, we extend some homotopy invariants of nanophrases to $S$-homotopy invariant of nanowords with some homotopy data $S$.
△ Less
Submitted 29 October, 2009; v1 submitted 20 August, 2009;
originally announced August 2009.
-
Field-induced carrier delocalization in the strain-induced Mott insulating state of an organic superconductor
Authors:
Yoshitaka Kawasugi,
Hiroshi M. Yamamoto,
Naoya Tajima,
Takeo Fukunaga,
Kazuhito Tsukagoshi,
Reizo Kato
Abstract:
We report the influence of the field effect on the dc resistance and Hall coefficient in the strain-induced Mott insulating state of an organic superconductor $κ$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Br. Conductivity obeys the formula for activated transport $σ_{\Box} = σ_{0}\exp(-W/k_{B}T)$, where $σ_{0}$ is a constant and $W$ depends on the gate voltage. The gate voltage dependence of the Hall coeff…
▽ More
We report the influence of the field effect on the dc resistance and Hall coefficient in the strain-induced Mott insulating state of an organic superconductor $κ$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Br. Conductivity obeys the formula for activated transport $σ_{\Box} = σ_{0}\exp(-W/k_{B}T)$, where $σ_{0}$ is a constant and $W$ depends on the gate voltage. The gate voltage dependence of the Hall coefficient shows that, unlike in conventional FETs, the effective mobility of dense hole carriers ($\sim1.6\times 10^{14}$ cm$^{-2}$) is enhanced by a positive gate voltage. This implies that carrier doping involves delocalization of intrinsic carriers that were initially localized due to electron correlation.
△ Less
Submitted 21 September, 2009; v1 submitted 1 August, 2009;
originally announced August 2009.
-
Homotopy Classification of Generalized Phrases in Turaev's Theory of Words
Authors:
Tomonori Fukunaga
Abstract:
In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or equal to five letters. In this paper we give the classification of generalized…
▽ More
In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or equal to five letters. In this paper we give the classification of generalized phrases up to homotopy with less than or equal to three letters. To do this we construct a new homotopy invariant for nanophrases over any $α$.
△ Less
Submitted 27 April, 2009;
originally announced April 2009.
-
Homotopy classification of nanophrases with less than or equal to four letters
Authors:
Tomonori Fukunaga
Abstract:
In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less…
▽ More
In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less than or equal to 4 letters. It is an extension of the classification of nanophrases of length 2 with less than or equal to 4 letters which was given by the author in a previous paper. This is a corrected version of Hokkaido University Preprint Series in Mathematics #921. I corrected the subsection 5.3 and added proofs of propositions.
△ Less
Submitted 22 April, 2009;
originally announced April 2009.
-
Khovanov homology and words
Authors:
Tomonori Fukunaga,
Noboru Ito
Abstract:
This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.
This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.
△ Less
Submitted 22 March, 2010; v1 submitted 26 January, 2009;
originally announced January 2009.
