SearcharxivSearch

arXiv subjects

Satoru Fujishige

Publications and source records attributed to Satoru Fujishige.

9 recordsLinked to original sources

Scoring Rules as Least-Squares Estimators

Kawada (2018) proved that every scoring rule is equivalent to the corresponding cosine similarity rule. The original proof relies on a direct analysis of the cosine similarity optimization problem. In this note, we present an alternative, simpler proof based on a basic least-squares characterization. Our argument shows that the arithmetic mean of the score vectors is the unique minimizer of the total squared Euclidean distance and that the cosine similarity formulation is an immediate consequence of this optimization property. This result provides a transparent geometric interpretation of scoring rules and clarifies why the cosine similarity rule necessarily coincides with the corresponding scoring rule.

econ.TH

A New Method for Finding the Schulze Winner Set

We propose a new voting algorithm based on the pairwise majority-comparison matrix derived from voters' preference profiles. We show that this algorithm induces exactly the winner set of the Schulze rule (Schulze, 1997). Our algorithm successively eliminates weaker candidates in terms of all-pairs comparisons, thereby reflecting a dual spirit to Condorcet's original idea of splitting preference cycles (de Condorcet, 1785). We further show that the direct sum of the survival sets obtained at each elimination round coincides with the Schwartz set (Schwartz, 1972). These two equivalence results provide a formal mathematical foundation for the ``folklore'' relationship between the Schulze winner set and the Schwartz set, as well as a new Condorcetian interpretation of the Schulze winner set.

econ.TH

A Note on Ordinal Submodularity

Notions of ordinal submodularity/supermodularity have been introduced and studied in the literature. We consider several classes of ordinally submodular functions defined on finite Boolean lattices and give characterizations of the set of minimizers of ordinally submodular functions.

math.CO

A Note on Ordinally Concave Functions

The notion of ordinal concavity of utility functions has recently been considered by Hafalir, Kojima, Yenmez, and Yokote in economics while there exist earlier related works in discrete optimization and operations research. In the present note we consider functions satisfying ordinal concavity and introduce a weaker notion of ordinal weak-concavity as well. We also investigate useful behaviors of ordinally (weak-)concave functions and related choice correspondences, show a characterization of ordinally weak-concave functions, and give an efficient algorithm for maximizing ordinally concave functions. We further examine a duality in ordinally (weak-)concave functions and introduce the lexicographic composition of ordinally weak-concave functions.

math.CO

An Update-and-Stabilize Framework for the Minimum-Norm-Point Problem

We consider the minimum-norm-point (MNP) problem over polyhedra, a well-studied problem that encompasses linear programming. We present a general algorithmic framework that combines two fundamental approaches for this problem: active set methods and first order methods. Our algorithm performs first order update steps, followed by iterations that aim to `stabilize' the current iterate with additional projections, i.e., find a locally optimal solution whilst keeping the current tight inequalities. Such steps have been previously used in active set methods for the nonnegative least squares (NNLS) problem. We bound on the number of iterations polynomially in the dimension and in the associated circuit imbalance measure. In particular, the algorithm is strongly polynomial for network flow instances. Classical NNLS algorithms such as the Lawson-Hanson algorithm are special instantiations of our framework; as a consequence, we obtain convergence bounds for these algorithms. Our preliminary computational experiments show promising practical performance.

math.OC

Compression of M${}^\natural$-convex Functions -- Flag Matroids and Valuated Permutohedra

Murota (1998) and Murota and Shioura (1999) introduced concepts of M-convex function and M${}^\natural$-convex function as discrete convex functions, which are generalizations of valuated matroids due to Dress and Wenzel (1992). In the present paper we consider a new operation defined by a convolution of sections of an M${}^\natural$-convex function that transforms the given M${}^\natural$-convex function to an M-convex function, which we call a compression of an M${}^\natural$-convex function. For the class of valuated generalized matroids, which are special M${}^\natural$-convex functions, the compression induces a valuated permutohedron together with a decomposition of the valuated generalized matroid into flag-matroid strips, each corresponding to a maximal linearity domain of the induced valuated permutohedron. We examine the details of the structure of flag-matroid strips and the induced valuated permutohedron by means of discrete convex analysis of Murota.

math.CO

A Note on a Nearly Uniform Partition into Common Independent Sets of Two Matroids

The present note is a strengthening of a recent paper by K. Takazawa and Y. Yokoi (A generalized-polymatroid approach to disjoint common independent sets in two matroids, Discrete Mathematics (2019)). For given two matroids on $E$, under the same assumption in their paper to guarantee the existence of a partition of $E$ into $k$ common independent sets of the two matroids, we show that there exists a nearly uniform partition $\mathcal{P}$ of $E$ into $k$ common independent sets, where the difference of the cardinalities of any two sets in $\mathcal{P}$ is at most one.

math.CO

Matroids are Immune to Braess Paradox

The famous Braess paradox describes the following phenomenon: It might happen that the improvement of resources, like building a new street within a congested network, may in fact lead to larger costs for the players in an equilibrium. In this paper we consider general nonatomic congestion games and give a characterization of the maximal combinatorial property of strategy spaces for which Braess paradox does not occur. In a nutshell, bases of matroids are exactly this maximal structure. We prove our characterization by two novel sensitivity results for convex separable optimization problems over polymatroid base polyhedra which may be of independent interest.

cs.GT

A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions

This paper presents the first combinatorial polynomial-time algorithm for minimizing submodular set functions, answering an open question posed in 1981 by Grotschel, Lovasz, and Schrijver. The algorithm employs a scaling scheme that uses a flow in the complete directed graph on the underlying set with each arc capacity equal to the scaled parameter. The resulting algorithm runs in time bounded by a polynomial in the size of the underlying set and the largest length of the function value. The paper also presents a strongly polynomial-time version that runs in time bounded by a polynomial in the size of the underlying set independent of the function value.

math.CO