-
Trainable Quantum Neural Network for Multiclass Image Classification with the Power of Pre-trained Tree Tensor Networks
Authors:
Keisuke Murota,
Takumi Kobori
Abstract:
Tree tensor networks (TTNs) offer powerful models for image classification. While these TTN image classifiers already show excellent performance on classical hardware, embedding them into quantum neural networks (QNNs) may further improve the performance by leveraging quantum resources. However, embedding TTN classifiers into QNNs for multiclass classification remains challenging. Key obstacles ar…
▽ More
Tree tensor networks (TTNs) offer powerful models for image classification. While these TTN image classifiers already show excellent performance on classical hardware, embedding them into quantum neural networks (QNNs) may further improve the performance by leveraging quantum resources. However, embedding TTN classifiers into QNNs for multiclass classification remains challenging. Key obstacles are the highorder gate operations required for large bond dimensions and the mid-circuit postselection with exponentially low success rates necessary for the exact embedding. In this work, to address these challenges, we propose forest tensor network (FTN)-classifiers, which aggregate multiple small-bond-dimension TTNs. This allows us to handle multiclass classification without requiring large gates in the embedded circuits. We then remove the overhead of mid-circuit postselection by extending the adiabatic encoding framework to our setting and smoothly encode the FTN-classifiers into a quantum forest tensor network (qFTN)- classifiers. Numerical experiments on MNIST and CIFAR-10 demonstrate that we can successfully train FTN-classifiers and encode them into qFTN-classifiers, while maintaining or even improving the performance of the pre-trained FTN-classifiers. These results suggest that synergy between TTN classification models and QNNs can provide a robust and scalable framework for multiclass quantum-enhanced image classification.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Adiabatic Encoding of Pre-trained MPS Classifiers into Quantum Circuits
Authors:
Keisuke Murota
Abstract:
Although Quantum Neural Networks (QNNs) offer powerful methods for classification tasks, the training of QNNs faces two major training obstacles: barren plateaus and local minima. A promising solution is to first train a tensor-network (TN) model classically and then embed it into a QNN.\ However, embedding TN-classifiers into quantum circuits generally requires postselection whose success probabi…
▽ More
Although Quantum Neural Networks (QNNs) offer powerful methods for classification tasks, the training of QNNs faces two major training obstacles: barren plateaus and local minima. A promising solution is to first train a tensor-network (TN) model classically and then embed it into a QNN.\ However, embedding TN-classifiers into quantum circuits generally requires postselection whose success probability may decay exponentially with the system size. We propose an \emph{adiabatic encoding} framework that encodes pre-trained MPS-classifiers into quantum MPS (qMPS) circuits with postselection, and gradually removes the postselection while retaining performance. We prove that training qMPS-classifiers from scratch on a certain artificial dataset is exponentially hard due to barren plateaus, but our adiabatic encoding circumvents this issue. Additional numerical experiments on binary MNIST also confirm its robustness.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Local Basis Transformation to Mitigate Negative Sign Problems
Authors:
Keisuke Murota,
Synge Todo
Abstract:
Quantum Monte Carlo (QMC) methods for the frustrated quantum spin systems occasionally suffer from the negative sign problem, which makes simulations exponentially harder for larger systems at lower temperatures and severely limits QMC's application across a wide range of spin systems. This problem is known to depend on the choice of representation basis. We propose a systematic approach for mitig…
▽ More
Quantum Monte Carlo (QMC) methods for the frustrated quantum spin systems occasionally suffer from the negative sign problem, which makes simulations exponentially harder for larger systems at lower temperatures and severely limits QMC's application across a wide range of spin systems. This problem is known to depend on the choice of representation basis. We propose a systematic approach for mitigating the sign problem independent of the given Hamiltonian or lattice structure. We first introduce the concept of negativity to characterize the severity of the negative sign problem. We then demonstrate the existence of a locally defined quantity, the L1 adaptive loss function, which effectively approximates negativity, especially in frustration-free systems. Using the proposed loss function, we demonstrate that optimizing the representation basis can mitigate the negative sign. This is evidenced by several frustration-free models and other important quantum spin systems. Furthermore, we compare the effectiveness of unitary transformations against the standard orthogonal transformation and reveal that unitary transformations can effectively mitigate the sign problem in certain cases.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Two Proofs of a Structural Theorem of Decreasing Minimization on Integrally Convex Sets
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set can be represented as the intersection of a unit discrete cube and a face of the convex hull of the given integrally convex set. The first proof resorts to the Fe…
▽ More
This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set can be represented as the intersection of a unit discrete cube and a face of the convex hull of the given integrally convex set. The first proof resorts to the Fenchel-type duality theorem in discrete convex analysis and the second is more elementary using Farkas' lemma.
△ Less
Submitted 24 April, 2025; v1 submitted 11 January, 2025;
originally announced January 2025.
-
Note on Minkowski Summation and Unimodularity in Discrete Convex Analysis
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
This short note gives an elementary alternative proof for a theorem of Danilov and Koshevoy on Minkowski summation and unimodularity in discrete convex analysis. It is intended to disseminate this fundamental theorem and make its proof accessible to researchers in optimization and operations research.
This short note gives an elementary alternative proof for a theorem of Danilov and Koshevoy on Minkowski summation and unimodularity in discrete convex analysis. It is intended to disseminate this fundamental theorem and make its proof accessible to researchers in optimization and operations research.
△ Less
Submitted 28 April, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Note on Steepest Descent Algorithm for Quasi L$^{\natural}$-convex Function Minimization
Authors:
Kazuo Murota,
Akiyoshi Shioura
Abstract:
We define a class of discrete quasi convex functions, called semi-strictly quasi L$^{\natural}$-convex functions, and show that the steepest descent algorithm for L$^{\natural}$-convex function minimization also works for this class of quasi convex functions. The analysis of the exact number of iterations is also extended, revealing the so-called geodesic property of the steepest descent algorithm…
▽ More
We define a class of discrete quasi convex functions, called semi-strictly quasi L$^{\natural}$-convex functions, and show that the steepest descent algorithm for L$^{\natural}$-convex function minimization also works for this class of quasi convex functions. The analysis of the exact number of iterations is also extended, revealing the so-called geodesic property of the steepest descent algorithm when applied to semi-strictly quasi L$^{\natural}$-convex functions.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Decomposition of an Integrally Convex Set into a Minkowski Sum of Bounded and Conic Integrally Convex Sets
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
Every polyhedron can be decomposed into a Minkowski sum (or vector sum) of a bounded polyhedron and a polyhedral cone. This paper establishes similar statements for some classes of discrete sets in discrete convex analysis, such as integrally convex sets, L-natural-convex sets, and M-natural-convex sets.
Every polyhedron can be decomposed into a Minkowski sum (or vector sum) of a bounded polyhedron and a polyhedral cone. This paper establishes similar statements for some classes of discrete sets in discrete convex analysis, such as integrally convex sets, L-natural-convex sets, and M-natural-convex sets.
△ Less
Submitted 3 October, 2023; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Note on Minimization of Quasi M$^\natural$-convex Functions
Authors:
Kazuo Murota,
Akiyoshi Shioura
Abstract:
For a class of discrete quasi convex functions called semi-strictly quasi M$^\natural$-convex functions, we investigate fundamental issues relating to minimization, such as optimality condition by local optimality, minimizer cut property, geodesic property, and proximity property. Emphasis is put on comparisons with (usual) M$^\natural$-convex functions. The same optimality condition and a weaker…
▽ More
For a class of discrete quasi convex functions called semi-strictly quasi M$^\natural$-convex functions, we investigate fundamental issues relating to minimization, such as optimality condition by local optimality, minimizer cut property, geodesic property, and proximity property. Emphasis is put on comparisons with (usual) M$^\natural$-convex functions. The same optimality condition and a weaker form of the minimizer cut property hold for semi-strictly quasi M$^\natural$-convex functions, while geodesic property and proximity property fail.
△ Less
Submitted 26 November, 2023; v1 submitted 28 May, 2023;
originally announced May 2023.
-
Shapley-Folkman-type Theorem for Integrally Convex Sets
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
The Shapley-Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, L-natural-convex sets, and M-natural-convex sets, which are major classes of discrete convex sets in discrete convex analysis.
The Shapley-Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, L-natural-convex sets, and M-natural-convex sets, which are major classes of discrete convex sets in discrete convex analysis.
△ Less
Submitted 17 August, 2024; v1 submitted 24 May, 2023;
originally announced May 2023.
-
Double-Exponential transformation: A quick review of a Japanese tradition
Authors:
Kazuo Murota,
Takayasu Matsuo
Abstract:
This paper is a short introduction to numerical methods using the double exponential (DE) transformation, such as tanh-sinh quadrature and DE-Sinc approximation. The DE-based methods for numerical computation have been developed intensively in Japan and the objective of this paper is to describe their history in addition to the underlying mathematical ideas.
This paper is a short introduction to numerical methods using the double exponential (DE) transformation, such as tanh-sinh quadrature and DE-Sinc approximation. The DE-based methods for numerical computation have been developed intensively in Japan and the objective of this paper is to describe their history in addition to the underlying mathematical ideas.
△ Less
Submitted 21 May, 2025; v1 submitted 5 January, 2023;
originally announced January 2023.
-
Discrete Convex Analysis: A Tool for Economics and Game Theory
Authors:
Kazuo Murota
Abstract:
This paper presents discrete convex analysis as a tool for economics and game theory. Discrete convex analysis is a new framework of discrete mathematics and optimization, developed during the last two decades. Recently, it is being recognized as a powerful tool for analyzing economic or game models with indivisibilities. The main feature of discrete convex analysis is the distinction of two conve…
▽ More
This paper presents discrete convex analysis as a tool for economics and game theory. Discrete convex analysis is a new framework of discrete mathematics and optimization, developed during the last two decades. Recently, it is being recognized as a powerful tool for analyzing economic or game models with indivisibilities. The main feature of discrete convex analysis is the distinction of two convexity concepts, M-convexity and L-convexity, for functions in integer or binary variables, together with their conjugacy relationship. The crucial fact is that M-concavity, or its variant called M-natural-concavity, is equivalent to the (gross) substitutes property in economics. Fundamental theorems in discrete convex analysis such as the M-L conjugacy theorems, discrete separation theorems and discrete fixed point theorems yield structural results in economics such as the existence of equilibria and the lattice structure of equilibrium price vectors. Algorithms in discrete convex analysis give iterative auction algorithms as well as computational methods for equilibria.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Recent Progress on Integrally Convex Functions
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
Integrally convex functions constitute a fundamental function class in discrete convex analysis, including M-convex functions, L-convex functions, and many others. This paper aims at a rather comprehensive survey of recent results on integrally convex functions with some new technical results. Topics covered in this paper include characterizations of integral convex sets and functions, operations…
▽ More
Integrally convex functions constitute a fundamental function class in discrete convex analysis, including M-convex functions, L-convex functions, and many others. This paper aims at a rather comprehensive survey of recent results on integrally convex functions with some new technical results. Topics covered in this paper include characterizations of integral convex sets and functions, operations on integral convex sets and functions, optimality criteria for minimization with a proximity-scaling algorithm, integral biconjugacy, and the discrete Fenchel duality. While the theory of M-convex and L-convex functions has been built upon fundamental results on matroids and submodular functions, developing the theory of integrally convex functions requires more general and basic tools such as the Fourier-Motzkin elimination.
△ Less
Submitted 21 February, 2023; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Decreasing Minimization on Base-Polyhedra: Relation Between Discrete and Continuous Cases
Authors:
András Frank,
Kazuo Murota
Abstract:
This paper is concerned with the relationship between the discrete and the continuous decreasing minimization problem on base-polyhedra. The continuous version (under the name of lexicographically optimal base of a polymatroid) was solved by Fujishige in 1980, with subsequent elaborations described in his book (1991). The discrete counterpart of the dec-min problem (concerning M-convex sets) was s…
▽ More
This paper is concerned with the relationship between the discrete and the continuous decreasing minimization problem on base-polyhedra. The continuous version (under the name of lexicographically optimal base of a polymatroid) was solved by Fujishige in 1980, with subsequent elaborations described in his book (1991). The discrete counterpart of the dec-min problem (concerning M-convex sets) was settled only recently by the present authors, with a strongly polynomial algorithm to compute not only a single decreasing minimal element but also the matroidal structure of all decreasing minimal elements and the dual object called the canonical partition. The objective of this paper is to offer a complete picture on the relationship between the continuous and discrete dec-min problems on base-polyhedra by establishing novel technical results and integrating known results. In particular, we derive proximity results, asserting the geometric closeness of the decreasingly minimal elements in the continuous and discrete cases, by revealing the relation between the principal partition and the canonical partition. We also describe decomposition-type algorithms for the discrete case following the approach of Fujishige and Groenevelt.
△ Less
Submitted 11 April, 2022; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Inclusion and Intersection Relations Between Fundamental Classes of Discrete Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
In discrete convex analysis, various convexity concepts are considered for discrete functions such as separable convexity, L-convexity, M-convexity, integral convexity, and multimodularity. These concepts of discrete convex functions are not mutually independent. For example, M-natural-convexity is a special case of integral convexity, and the combination of L-natural-convexity and M-natural-conve…
▽ More
In discrete convex analysis, various convexity concepts are considered for discrete functions such as separable convexity, L-convexity, M-convexity, integral convexity, and multimodularity. These concepts of discrete convex functions are not mutually independent. For example, M-natural-convexity is a special case of integral convexity, and the combination of L-natural-convexity and M-natural-convexity coincides with separable convexity. This paper aims at a fairly comprehensive analysis of the inclusion and intersection relations for various classes of discrete convex functions. Emphasis is put on the analysis of multimodularity in relation to L-natural-convexity and M-natural-convexity.
△ Less
Submitted 3 February, 2023; v1 submitted 13 November, 2021;
originally announced November 2021.
-
Note on the Polyhedral Description of the Minkowski Sum of Two L-convex Sets
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
L-convex sets are one of the most fundamental concepts in discrete convex analysis. Furthermore, the Minkowski sum of two L-convex sets, called L2-convex sets, is an intriguing object that is closely related to polymatroid intersection. This paper reveals the polyhedral description of an L2-convex set, together with the observation that the convex hull of an L2-convex set is a box-TDI polyhedron.…
▽ More
L-convex sets are one of the most fundamental concepts in discrete convex analysis. Furthermore, the Minkowski sum of two L-convex sets, called L2-convex sets, is an intriguing object that is closely related to polymatroid intersection. This paper reveals the polyhedral description of an L2-convex set, together with the observation that the convex hull of an L2-convex set is a box-TDI polyhedron. Two different proofs are given for the polyhedral description. The first is a structural short proof, relying on the conjugacy theorem in discrete convex analysis, and the second is a direct algebraic proof, based on Fourier-Motzkin elimination. The obtained results admit natural graph representations. Implications of the obtained results in discrete convex analysis are also discussed.
△ Less
Submitted 24 March, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Discrete Fenchel Duality for a Pair of Integrally Convex and Separable Convex Functions
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
Discrete Fenchel duality is one of the central issues in discrete convex analysis. The Fenchel-type min-max theorem for a pair of integer-valued M-natural-convex functions generalizes the min-max formulas for polymatroid intersection and valuated matroid intersection. In this paper we establish a Fenchel-type min-max formula for a pair of integer-valued integrally convex and separable convex funct…
▽ More
Discrete Fenchel duality is one of the central issues in discrete convex analysis. The Fenchel-type min-max theorem for a pair of integer-valued M-natural-convex functions generalizes the min-max formulas for polymatroid intersection and valuated matroid intersection. In this paper we establish a Fenchel-type min-max formula for a pair of integer-valued integrally convex and separable convex functions. Integrally convex functions constitute a fundamental function class in discrete convex analysis, including both M-natural-convex functions and L-natural-convex functions, whereas separable convex functions are characterized as those functions which are both M-natural-convex and L-natural-convex. The theorem is proved by revealing a kind of box integrality of subgradients of an integer-valued integrally convex function. The proof is based on the Fourier-Motzkin elimination.
△ Less
Submitted 6 December, 2021; v1 submitted 23 August, 2021;
originally announced August 2021.
-
Exchange Properties of M-natural-concave Set Functions and Valuated Matroids
Authors:
Kazuo Murota
Abstract:
This is a survey article on the exchange properties characterizing M-natural-concave set functions and valuated matroids (M-concave set functions). The objective of this paper is to collect related results scattered in the literature and to give (reasonably) self-contained elementary proofs for them.
This is a survey article on the exchange properties characterizing M-natural-concave set functions and valuated matroids (M-concave set functions). The objective of this paper is to collect related results scattered in the literature and to give (reasonably) self-contained elementary proofs for them.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Fair Integral Submodular Flows
Authors:
András Frank,
Kazuo Murota
Abstract:
Integer-valued elements of an integral submodular flow polyhedron $Q$ are investigated which are decreasingly minimal (dec-min) in the sense that their largest component is as small as possible, within this, the second largest component is as small as possible, and so on. As a main result, we prove that the set of dec-min integral elements of $Q$ is the set of integral elements of another integral…
▽ More
Integer-valued elements of an integral submodular flow polyhedron $Q$ are investigated which are decreasingly minimal (dec-min) in the sense that their largest component is as small as possible, within this, the second largest component is as small as possible, and so on. As a main result, we prove that the set of dec-min integral elements of $Q$ is the set of integral elements of another integral submodular flow polyhedron arising from $Q$ by intersecting a face of $Q$ with a box. Based on this description, we develop a strongly polynomial algorithm for computing not only a dec-min integer-valued submodular flow but even a cheapest one with respect to a linear cost-function. A special case is the problem of finding a strongly connected (or $k$-edge-connected) orientation of a mixed graph whose in-degree vector is decreasingly minimal.
△ Less
Submitted 5 June, 2022; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Decreasing Minimization on M-convex Sets: Algorithms and Applications
Authors:
András Frank,
Kazuo Murota
Abstract:
This paper is concerned with algorithms and applications of decreasing minimization on an M-convex set, which is the set of integral elements of an integral base-polyhedron. Based on a recent characterization of decreasingly minimal (dec-min) elements, we develop a strongly polynomial algorithm for computing a dec-min element of an M-convex set. The matroidal feature of the set of dec-min elements…
▽ More
This paper is concerned with algorithms and applications of decreasing minimization on an M-convex set, which is the set of integral elements of an integral base-polyhedron. Based on a recent characterization of decreasingly minimal (dec-min) elements, we develop a strongly polynomial algorithm for computing a dec-min element of an M-convex set. The matroidal feature of the set of dec-min elements makes it possible to compute a minimum cost dec-min element, as well. Our second goal is to exhibit various applications in matroid and network optimization, resource allocation, and (hyper)graph orientation. We extend earlier results on semi-matchings to a large degree by developing a structural description of dec-min in-degree bounded orientations of a graph. This characterization gives rise to a strongly polynomial algorithm for finding a minimum edge-cost dec-min orientation.
△ Less
Submitted 15 July, 2021; v1 submitted 19 July, 2020;
originally announced July 2020.
-
Decreasing Minimization on M-convex Sets: Background and Structures
Authors:
András Frank,
Kazuo Murota
Abstract:
The present work is the first member of a pair of papers concerning decreasingly-minimal (dec-min) elements of a set of integral vectors, where a vector is dec-min if its largest component is as small as possible, within this, the next largest component is as small as possible, and so on. This discrete notion, along with its fractional counterpart, showed up earlier in the literature under various…
▽ More
The present work is the first member of a pair of papers concerning decreasingly-minimal (dec-min) elements of a set of integral vectors, where a vector is dec-min if its largest component is as small as possible, within this, the next largest component is as small as possible, and so on. This discrete notion, along with its fractional counterpart, showed up earlier in the literature under various names.
The domain we consider is an M-convex set, that is, the set of integral elements of an integral base-polyhedron. A fundamental difference between the fractional and the discrete case is that a base-polyhedron has always a unique dec-min element, while the set of dec-min elements of an M-convex set admits a rich structure, described here with the help of a "canonical chain". As a consequence, we prove that this set arises from a matroid by translating the characteristic vectors of its bases with an integral vector.
By relying on these characterizations, we prove that an element is dec-min if and only if the square-sum of its components is minimum, a property resulting in a new type of min-max theorems. The characterizations also give rise, as shown in the companion paper, to a strongly polynomial algorithm, and to several applications in the areas of resource allocation, network flow, matroid, and graph orientation problems, which actually provided a major motivation to the present investigations. In particular, we prove a conjecture on graph orientation.
△ Less
Submitted 15 July, 2021; v1 submitted 19 July, 2020;
originally announced July 2020.
-
A Discrete Convex Min-Max Formula for Box-TDI Polyhedra
Authors:
András Frank,
Kazuo Murota
Abstract:
A min-max formula is proved for the minimum of an integer-valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box-TDI) polyhedron. One variant of the theorem uses the notion of conjugate function (a fundamental concept in non-linear optimization) but we also provide another version that avoids conjugates, and its spir…
▽ More
A min-max formula is proved for the minimum of an integer-valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box-TDI) polyhedron. One variant of the theorem uses the notion of conjugate function (a fundamental concept in non-linear optimization) but we also provide another version that avoids conjugates, and its spirit is conceptually closer to the standard form of classic min-max theorems in combinatorial optimization. The presented framework provides a unified background for separable convex minimization over the set of integral elements of the intersection of two integral base-polyhedra, submodular flows, L-convex sets, and polyhedra defined by totally unimodular (TU) matrices. As an unexpected application, we show how a wide class of inverse combinatorial optimization problems can be covered by this new framework.
△ Less
Submitted 26 January, 2021; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Charge correlation in V$_2$OPO$_4$ probed by hard x-ray photoemission spectroscopy
Authors:
K. Murota,
E. Pachoud,
J. P. Attfield,
R. Glaum,
T. Yasuda,
D. Ootsuki,
Y. Takagi,
A. Yasui,
D. I. Khomskii,
T. Mizokawa
Abstract:
Electronic properties of V$_2$OPO$_4$ have been investigated by means of hard x-ray photoemission spectroscopy (HAXPES) and subsequent theoretical calculations. The V 1$s$ and 2$p$ HAXPES spectra are consistent with the charge ordering of V$^{2+}$ and V$^{3+}$. The binding energy difference between the V$^{2+}$ and V$^{3+}$ components is unexpectedly large indicating large bonding-antibonding spli…
▽ More
Electronic properties of V$_2$OPO$_4$ have been investigated by means of hard x-ray photoemission spectroscopy (HAXPES) and subsequent theoretical calculations. The V 1$s$ and 2$p$ HAXPES spectra are consistent with the charge ordering of V$^{2+}$ and V$^{3+}$. The binding energy difference between the V$^{2+}$ and V$^{3+}$ components is unexpectedly large indicating large bonding-antibonding splitting between them in the final states of core level photoemission. The V 1$s$ HAXPES spectrum exhibits a charge transfer satellite which can be analyzed by configuration interaction calculations on a V$_2$O$_9$ cluster. The V 3$d$ spectral weight near the Fermi level is assigned to the 3$d$ $t_{2g}$ orbitals of the V$^{2+}$ site. The broad V 3$d$ spectral distribution is consistent with the strong hybridization between V$^{2+}$ and V$^{3+}$ in the ground state. The core level and valence band HAXPES results indicate substantial charge transfer from the V$^{2+}$ site to the V$^{3+}$ site.7 figure
△ Less
Submitted 7 June, 2020;
originally announced June 2020.
-
V 3$d$ charge and orbital states in V$_2$OPO$_4$ probed by x-ray absorption spectroscopy
Authors:
Kota Murota,
Elise Pachoud,
J. Paul Attfield,
Robert Glaum,
Ronny Sutarto,
Kou Takubo,
Daniel I. Khomskii,
Takashi Mizokawa
Abstract:
V 3$d$ charge and orbital states in V$_2$OPO$_4$ have been investigated by means of x-ray absorption spectroscopy (XAS). The electronic structure of V$_2$OPO$_4$ is very unique in that the charge transfer between V$^{2+}$ and V$^{3+}$ in face sharing VO$_6$ chains provides negative thermal expansion as reported by Pachoud {\it et al.} [J. Am. Chem. Soc. {\bf 140}, 636 (2018).] The near edge region…
▽ More
V 3$d$ charge and orbital states in V$_2$OPO$_4$ have been investigated by means of x-ray absorption spectroscopy (XAS). The electronic structure of V$_2$OPO$_4$ is very unique in that the charge transfer between V$^{2+}$ and V$^{3+}$ in face sharing VO$_6$ chains provides negative thermal expansion as reported by Pachoud {\it et al.} [J. Am. Chem. Soc. {\bf 140}, 636 (2018).] The near edge region of O 1$s$ XAS exhibits the three features which can be assigned to transitions to O 2$p$ mixed into the unoccupied V 3$d$ $t_{2g}$ and $e_{g}$ orbitals of V$^{2+}$ and V$^{3+}$. The V 2$p$ XAS line shape can be reproduced by multiplet calculations for a mixed valence state with V$^{2+}$ and V$^{3+}$. The polarization dependence of the O 1$s$ and V 2$p$ XAS spectra indicates V 3$d$ orbital order in which $xy$ and $yz$ (or $zx$) orbitals are occupied at the V$^{3+}$ site in the face sharing chains. The occupied $xy$ orbital is essential for the antiferromagnetic coupling between the V$^{2+}$ and V$^{3+}$ sites along the chains while the occupied $yz$ (or $zx$) orbital provides the antiferromagnetic coupling between the V$^{2+}$ and V$^{3+}$ sites between the chains.
△ Less
Submitted 8 June, 2020; v1 submitted 2 February, 2020;
originally announced February 2020.
-
On Basic Operations Related to Network Induction of Discrete Convex Functions
Authors:
Kazuo Murota
Abstract:
Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to investigate basic operations such as direct sum, splitting, and aggregation that are related to network induction of discrete convex functions as well as discrete convex sets. Various kinds of discrete convex functions in discrete co…
▽ More
Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to investigate basic operations such as direct sum, splitting, and aggregation that are related to network induction of discrete convex functions as well as discrete convex sets. Various kinds of discrete convex functions in discrete convex analysis are considered such as integrally convex functions, L-convex functions, M-convex functions, multimodular functions, and discrete midpoint convex functions.
△ Less
Submitted 27 August, 2020; v1 submitted 8 January, 2020;
originally announced January 2020.
-
A Survey of Fundamental Operations on Discrete Convex Functions of Various Kinds
Authors:
Kazuo Murota
Abstract:
Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to offer a survey on fundamental operations for various kinds of discrete convex functions in discrete convex analysis such as integrally convex functions, L-convex functions, M-convex functions, and multimodular functions.
Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to offer a survey on fundamental operations for various kinds of discrete convex functions in discrete convex analysis such as integrally convex functions, L-convex functions, M-convex functions, and multimodular functions.
△ Less
Submitted 2 October, 2019; v1 submitted 22 July, 2019;
originally announced July 2019.
-
A Note on M-convex Functions on Jump Systems
Authors:
Kazuo Murota
Abstract:
A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity"…
▽ More
A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity" and extend it to "jump M-natural-convexity" for functions defined on a larger class of jump systems. By definition, every jump M-convex function is a jump M-natural-convex function, and we show the equivalence of these concepts by establishing an (injective) embedding of jump M-natural-convex functions in n variables into the set of jump M-convex functions in n+1 variables. Using this equivalence we show further that jump M-natural-convex functions admit a number of natural operations such as aggregation, projection (partial minimization), convolution, composition, and transformation by a network.
△ Less
Submitted 17 September, 2020; v1 submitted 14 July, 2019;
originally announced July 2019.
-
Fair Integral Network Flows
Authors:
András Frank,
Kazuo Murota
Abstract:
A strongly polynomial algorithm is developed for finding an integer-valued feasible $st$-flow of given flow-amount which is decreasingly minimal on a specified subset $F$ of edges in the sense that the largest flow-value on $F$ is as small as possible, within this, the second largest flow-value on $F$ is as small as possible, within this, the third largest flow-value on $F$ is as small as possible…
▽ More
A strongly polynomial algorithm is developed for finding an integer-valued feasible $st$-flow of given flow-amount which is decreasingly minimal on a specified subset $F$ of edges in the sense that the largest flow-value on $F$ is as small as possible, within this, the second largest flow-value on $F$ is as small as possible, within this, the third largest flow-value on $F$ is as small as possible, and so on. A characterization of the set of these $st$-flows gives rise to an algorithm to compute a cheapest $F$-decreasingly minimal integer-valued feasible $st$-flow of given flow-amount. Decreasing minimality is a possible formal way to capture the intuitive notion of fairness.
△ Less
Submitted 24 April, 2022; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Discrete Decreasing Minimization, Part II: Views from Discrete Convex Analysis
Authors:
András Frank,
Kazuo Murota
Abstract:
We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fujishige (1980) on the lexicographically op…
▽ More
We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fujishige (1980) on the lexicographically optimal base and the principal partition of a base-polyhedron in continuous variables. The objective of Part II is two-fold. The first is to offer structural views from discrete convex analysis (DCA) on the results of Part I obtained by the constructive and algorithmic approach. The second objective is to pave the way of DCA approach to discrete decreasing minimization on other discrete structures such as the intersection of M-convex sets, flows, and submodular flows.
We derive the structural results in Part I from fundamental facts on M-convex sets and M-convex functions in DCA. A direct characterization is given to the canonical partition, which was constructed by an iterative procedure in Part I. This reveals the precise relationship between the canonical partition for the discrete case and the principal partition for the continuous case. Moreover, this result entails a proximity theorem, stating that every decreasingly minimal element is contained in the small box containing the (unique) fractional decreasingly minimal element (the minimum-norm point), leading further to a continuous relaxation algorithm for finding a decreasingly minimal element of an M-convex set. Thus the relationship between the continuous and discrete cases is completely clarified.
Furthermore, we present DCA min-max formulas for network flows, the intersection of two M-convex sets, and submodular flows.
△ Less
Submitted 30 June, 2020; v1 submitted 25 August, 2018;
originally announced August 2018.
-
Discrete Decreasing Minimization, Part I: Base-polyhedra with Applications in Network Optimization
Authors:
András Frank,
Kazuo Murota
Abstract:
Borradaile et al. (2017) investigated orientations of an undirected graph in which the sequence of in-degrees of the nodes is lexicographically minimal, which we call decreasingly minimal (=dec-min). They proved that an orientation is dec-min if and only if there is no dipath from $s$ to $t$ with in-degrees $\varrho (t) \geq \varrho (s)+2$. They conjectured that an analogous statement holds for st…
▽ More
Borradaile et al. (2017) investigated orientations of an undirected graph in which the sequence of in-degrees of the nodes is lexicographically minimal, which we call decreasingly minimal (=dec-min). They proved that an orientation is dec-min if and only if there is no dipath from $s$ to $t$ with in-degrees $\varrho (t) \geq \varrho (s)+2$. They conjectured that an analogous statement holds for strongly connected dec-min orientations, as well. We prove not only this conjecture but its extension to $k$-edge-connected orientations, as well. We also provide a solution to a discrete version of Megiddo's lexicographically optimal (fractional) network flow problem (1974, 1977).
Our main goal is to integrate these cases into a single framework. Namely, we characterize dec-min elements of an M-convex set (which is nothing but the set of integral points of an integral base-polyhedron), and prove that the set of dec-min elements is a special M-convex set arising from a matroid base-polyhedron by translation. The topic of our investigations may be interpreted as a discrete counter-part of the work by Fujishige (1980) on the (unique) lexicographically optimal base of a base-polyhedron. We also exhibit a canonical chain (and partition) associated with a base-polyhedron. We also show that dec-min elements of an M-convex set are exactly those which minimize the square-sum of components, and describe a new min-max formula for the minimum square-sum. Our approach gives rise to a strongly polynomial algorithm for computing a dec-min element, as well as the canonical chain. The algorithm relies on a submodular function minimizer oracle in the general case, which can, however, be replaced by more efficient classic flow- and matroid algorithms in the relevant special cases.
△ Less
Submitted 9 July, 2019; v1 submitted 22 August, 2018;
originally announced August 2018.
-
Integrality of Subgradients and Biconjugates of Integrally Convex Functions
Authors:
Kazuo Murota,
Akihisa Tamura
Abstract:
Integrally convex functions constitute a fundamental function class in discrete convex analysis. This paper shows that an integer-valued integrally convex function admits an integral subgradient and that the integral biconjugate of an integer-valued integrally convex function coincides with itself. The proof is based on the Fourier-Motzkin elimination. The latter result provides a unified proof of…
▽ More
Integrally convex functions constitute a fundamental function class in discrete convex analysis. This paper shows that an integer-valued integrally convex function admits an integral subgradient and that the integral biconjugate of an integer-valued integrally convex function coincides with itself. The proof is based on the Fourier-Motzkin elimination. The latter result provides a unified proof of integral biconjugacy for various classes of integer-valued discrete convex functions, including L-convex, M-convex, L$_{2}$-convex, M$_{2}$-convex, BS-convex, and UJ-convex functions as well as multimodular functions. Our results of integral subdifferentiability and integral biconjugacy make it possible to extend the theory of discrete DC (difference of convex) functions developed for L- and M-convex functions to that for integrally convex functions, including an analogue of the Toland--Singer duality for integrally convex functions.
△ Less
Submitted 7 September, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
On Fundamental Operations for Multimodular Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and…
▽ More
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and convolution. It is shown, in particular, that the class of multimodular functions is stable under projection under a certain natural condition on the variables to be minimized, and the convolution of two multimodular functions is not necessarily multimodular, even in the special case of the convolution of a multimodular function with a separable convex function.
△ Less
Submitted 22 June, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
A tractable class of binary VCSPs via M-convex intersection
Authors:
Hiroshi Hirai,
Yuni Iwamasa,
Kazuo Murota,
Stanislav Zivny
Abstract:
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable ca…
▽ More
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable case is the one induced by the joint winner property (JWP). Recently, Iwamasa, Murota, and Živný made a link between VCSP and discrete convex analysis, showing that a function satisfying the JWP can be transformed into a function represented as the sum of two quadratic M-convex functions, which can be minimized in polynomial time via an M-convex intersection algorithm if the value oracle of each M-convex function is given. In this paper, we give an algorithmic answer to a natural question: What binary finite-valued CSP instances can be represented as the sum of two quadratic M-convex functions and can be solved in polynomial time via an M-convex intersection algorithm? We solve this problem by devising a polynomial-time algorithm for obtaining a concrete form of the representation in the representable case. Our result presents a larger tractable class of binary finite-valued CSPs, which properly contains the JWP class.
△ Less
Submitted 11 July, 2019; v1 submitted 7 January, 2018;
originally announced January 2018.
-
Projection and Convolution Operations for Integrally Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in…
▽ More
This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in the literature, the convolution of two integrally convex functions may possibly fail to be integrally convex. We show that the convolution of an integrally convex function with a separable convex function remains integrally convex. We also point out in terms of examples that the similar statement is false for integrally convex functions with local or global discrete midpoint convexity.
△ Less
Submitted 7 August, 2018; v1 submitted 10 October, 2017;
originally announced October 2017.
-
Discrete Midpoint Convexity
Authors:
Satoko Moriguchi,
Kazuo Murota,
Akihisa Tamura,
Fabio Tardella
Abstract:
For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer la…
▽ More
For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by the average of the function values at the integer round-up and round-down of the midpoint. It is known that discrete midpoint convexity on all line segments with integer endpoints characterizes L$^{\natural}$-convexity, and that it characterizes submodularity if we restrict the endpoints of the line segments to be at $\ell_\infty$-distance one. By considering discrete midpoint convexity for all pairs at $\ell_\infty$-distance equal to two or not smaller than two, we identify new classes of discrete convex functions, called local and global discrete midpoint convex functions, which are strictly between the classes of L$^{\natural}$-convex and integrally convex functions, and are shown to be stable under scaling and addition. Furthermore, a proximity theorem, with the same small proximity bound as that for L$^{\natural}$-convex functions, is established for discrete midpoint convex functions. Relevant examples of classes of local and global discrete midpoint convex functions are provided.
△ Less
Submitted 17 May, 2019; v1 submitted 7 August, 2017;
originally announced August 2017.
-
On Equivalence of M$^\natural$-concavity of a Set Function and Submodularity of Its Conjugate
Authors:
Kazuo Murota,
Akiyoshi Shioura
Abstract:
A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.
A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.
△ Less
Submitted 13 December, 2022; v1 submitted 27 July, 2017;
originally announced July 2017.
-
A Stronger Multiple Exchange Property for M$^{\natural}$-concave Functions
Authors:
Kazuo Murota
Abstract:
The multiple exchange property for matroid bases has recently been generalized for valuated matroids and M$^{\natural}$-concave set functions. This paper establishes a stronger form of this multiple exchange property that imposes a cardinality condition on the exchangeable subset. The stronger form immediately implies the defining exchange property of M$^{\natural}$-concave set functions, which wa…
▽ More
The multiple exchange property for matroid bases has recently been generalized for valuated matroids and M$^{\natural}$-concave set functions. This paper establishes a stronger form of this multiple exchange property that imposes a cardinality condition on the exchangeable subset. The stronger form immediately implies the defining exchange property of M$^{\natural}$-concave set functions, which was not the case with the recently established multiple exchange property without the cardinality condition.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Relationship of Two Formulations for Shortest Bibranchings
Authors:
Kazuo Murota,
Kenjiro Takazawa
Abstract:
The shortest bibranching problem is a common generalization of the minimum-weight edge cover problem in bipartite graphs and the minimum-weight arborescence problem in directed graphs. For the shortest bibranching problem, an efficient primal-dual algorithm is given by Keijsper and Pendavingh (1998), and the tractability of the problem is ascribed to total dual integrality in a linear programming…
▽ More
The shortest bibranching problem is a common generalization of the minimum-weight edge cover problem in bipartite graphs and the minimum-weight arborescence problem in directed graphs. For the shortest bibranching problem, an efficient primal-dual algorithm is given by Keijsper and Pendavingh (1998), and the tractability of the problem is ascribed to total dual integrality in a linear programming formulation by Schrijver (1982). Another view on the tractability of this problem is afforded by a valuated matroid intersection formulation by Takazawa (2012). In the present paper, we discuss the relationship between these two formulations for the shortest bibranching problem. We first demonstrate that the valuated matroid intersection formulation can be derived from the linear programming formulation through the Benders decomposition, where integrality is preserved in the decomposition process and the resulting convex programming is endowed with discrete convexity. We then show how a pair of primal and dual optimal solutions of one formulation is constructed from that of the other formulation, thereby providing a connection between polyhedral combinatorics and discrete convex analysis.
△ Less
Submitted 20 July, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Scaling, Proximity, and Optimization of Integrally Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota,
Akihisa Tamura,
Fabio Tardella
Abstract:
In discrete convex analysis, the scaling and proximity properties for the class of L$^\natural$-convex functions were established more than a decade ago and have been used to design efficient minimization algorithms. For the larger class of integrally convex functions of $n$ variables, we show here that the scaling property only holds when $n \leq 2$, while a proximity theorem can be established f…
▽ More
In discrete convex analysis, the scaling and proximity properties for the class of L$^\natural$-convex functions were established more than a decade ago and have been used to design efficient minimization algorithms. For the larger class of integrally convex functions of $n$ variables, we show here that the scaling property only holds when $n \leq 2$, while a proximity theorem can be established for any $n$, but only with a superexponential bound. This is, however, sufficient to extend the classical logarithmic complexity result for minimizing a discrete convex function of one variable to the case of integrally convex functions of any fixed number of variables.
△ Less
Submitted 11 December, 2017; v1 submitted 30 March, 2017;
originally announced March 2017.
-
Discrete Convexity in Joint Winner Property
Authors:
Yuni Iwamasa,
Kazuo Murota,
Stanislav Zivny
Abstract:
In this paper, we reveal a relation between joint winner property (JWP) in the field of valued constraint satisfaction problems (VCSPs) and M${}^\natural$-convexity in the field of discrete convex analysis (DCA). We introduce the M${}^\natural$-convex completion problem, and show that a function $f$ satisfying the JWP is Z-free if and only if a certain function $\overline{f}$ associated with $f$ i…
▽ More
In this paper, we reveal a relation between joint winner property (JWP) in the field of valued constraint satisfaction problems (VCSPs) and M${}^\natural$-convexity in the field of discrete convex analysis (DCA). We introduce the M${}^\natural$-convex completion problem, and show that a function $f$ satisfying the JWP is Z-free if and only if a certain function $\overline{f}$ associated with $f$ is M${}^\natural$-convex completable. This means that if a function is Z-free, then the function can be minimized in polynomial time via M${}^\natural$-convex intersection algorithms. Furthermore we propose a new algorithm for Z-free function minimization, which is faster than previous algorithms for some parameter values.
△ Less
Submitted 8 May, 2018; v1 submitted 26 January, 2017;
originally announced January 2017.
-
Multiple Exchange Property for M$^\natural$-concave Functions and Valuated Matroids
Authors:
Kazuo Murota
Abstract:
The multiple exchange property for matroid bases is generalized for valuated matroids and M$^\natural$-concave set functions. The proof is based on the Fenchel-type duality theorem in discrete convex analysis. The present result has an implication in economics: The strong no complementarities (SNC) condition of Gul and Stacchetti is in fact equivalent to the gross substitutes (GS) condition of Kel…
▽ More
The multiple exchange property for matroid bases is generalized for valuated matroids and M$^\natural$-concave set functions. The proof is based on the Fenchel-type duality theorem in discrete convex analysis. The present result has an implication in economics: The strong no complementarities (SNC) condition of Gul and Stacchetti is in fact equivalent to the gross substitutes (GS) condition of Kelso and Crawford.
△ Less
Submitted 10 April, 2017; v1 submitted 25 August, 2016;
originally announced August 2016.
-
Application of semidefinite programming to maximize the spectral gap produced by node removal
Authors:
Naoki Masuda,
Tetsuya Fujie,
Kazuo Murota
Abstract:
The smallest positive eigenvalue of the Laplacian of a network is called the spectral gap and characterizes various dynamics on networks. We propose mathematical programming methods to maximize the spectral gap of a given network by removing a fixed number of nodes. We formulate relaxed versions of the original problem using semidefinite programming and apply them to example networks.
The smallest positive eigenvalue of the Laplacian of a network is called the spectral gap and characterizes various dynamics on networks. We propose mathematical programming methods to maximize the spectral gap of a given network by removing a fixed number of nodes. We formulate relaxed versions of the original problem using semidefinite programming and apply them to example networks.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
