Showing 1–50 of 79 results for author: Yamashita, M

Categorical dualtiy for Yetter-Drinfeld C*-algebras. Beyond the braided-commutative case

Authors: Lucas Hataishi, Makoto Yamashita

Abstract: We develop a tensor categorical duality in the sprit of the Tannaka-Krein duality for the C*-algebras admitting the Yetter-Drinfeld module structure over a compact quantum group. Under this duality, given a reduced compact quantum group G, the Yetter-Drinfeld G-C*-algebras correspond to the bimodule categories over the representation category Rep(G), satisfying a certain centrality condition. We develop a tensor categorical duality in the sprit of the Tannaka-Krein duality for the C*-algebras admitting the Yetter-Drinfeld module structure over a compact quantum group. Under this duality, given a reduced compact quantum group G, the Yetter-Drinfeld G-C*-algebras correspond to the bimodule categories over the representation category Rep(G), satisfying a certain centrality condition. △ Less

Submitted 29 April, 2025; originally announced April 2025.

Comments: 19 pages, split off part of arXiv:2205.06663 as a separate paper

Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks

Authors: Godai Azuma, Sunyoung Kim, Makoto Yamashita

Abstract: For verifying the safety of neural networks (NNs), Fazlyab et al. (2019) introduced a semidefinite programming (SDP) approach called DeepSDP. This formulation can be viewed as the dual of the SDP relaxation for a problem formulated as a quadratically constrained quadratic program (QCQP). While SDP relaxations of QCQPs generally provide approximate solutions with some gaps, this work focuses on tig… ▽ More For verifying the safety of neural networks (NNs), Fazlyab et al. (2019) introduced a semidefinite programming (SDP) approach called DeepSDP. This formulation can be viewed as the dual of the SDP relaxation for a problem formulated as a quadratically constrained quadratic program (QCQP). While SDP relaxations of QCQPs generally provide approximate solutions with some gaps, this work focuses on tight SDP relaxations that provide exact solutions to the QCQP for single-layer NNs. Specifically, we analyze tightness conditions in three cases: (i) NNs with a single neuron, (ii) single-layer NNs with an ellipsoidal input set, and (iii) single-layer NNs with a rectangular input set. For NNs with a single neuron, we propose a condition that ensures the SDP admits a rank-1 solution to DeepSDP by transforming the QCQP into an equivalent two-stage problem leads to a solution collinear with a predetermined vector. For single-layer NNs with an ellipsoidal input set, the collinearity of solutions is proved via the Karush-Kuhn-Tucker condition in the two-stage problem. In case of single-layer NNs with a rectangular input set, we demonstrate that the tightness of DeepSDP can be reduced to the single-neuron NNs, case (i), if the weight matrix is a diagonal matrix. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 27 pages, 2 figures

MSC Class: 62M45; 90C20; 90C22; 90C25; 90C26

On the structure of DHR bimodules of abstract spin chains

Authors: Lucas Hataishi, David Jaklitsch, Corey Jones, Makoto Yamashita

Abstract: Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the… ▽ More Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the associated category has a structure of modular tensor category with respect to the natural braiding. Under an additional assumption of algebraic Haag duality, this category becomes the Drinfeld center of the half-line fusion category. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Comments: 29 pages

Topological Elliptic Genera I -- The mathematical foundation

Authors: Ying-Hsuan Lin, Mayuko Yamashita

Abstract: We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issu… ▽ More We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issue lays the mathematical foundation and discusses immediate applications. Most notably, we deduce an interesting divisibility result for the Euler numbers of $Sp$-manifolds. △ Less

Submitted 19 January, 2025; v1 submitted 3 December, 2024; originally announced December 2024.

Comments: 90 pages, comments are welcome!

MSC Class: 55N34 (Primary); 55P91; 55N22 (Secondary)

Dual Spectral Projected Gradient Method for Generalized Log-det Semidefinite Programming

Authors: Charles Namchaisiri, Makoto Yamashita

Abstract: Log-det semidefinite programming (SDP) problems are optimization problems that often arise from Gaussian graphic models. A log-det SDP problem with an l1-norm term has been examined in many methods, and the dual spectral projected gradient (DSPG) method by Nakagaki et al.~in 2020 is designed to efficiently solve the dual problem of the log-det SDP by combining a non-monotone line-search projected… ▽ More Log-det semidefinite programming (SDP) problems are optimization problems that often arise from Gaussian graphic models. A log-det SDP problem with an l1-norm term has been examined in many methods, and the dual spectral projected gradient (DSPG) method by Nakagaki et al.~in 2020 is designed to efficiently solve the dual problem of the log-det SDP by combining a non-monotone line-search projected gradient method with the step adjustment for positive definiteness. This paper extends the DSPG method for solving a generalized log-det SDP problem involving additional terms to cover more structures in Gaussian graphical models in a unified style. We establish the convergence of the proposed method to the optimal value. We conduct numerical experiments to illustrate the efficiency of the proposed method. △ Less

Submitted 29 September, 2024; originally announced September 2024.

Comments: 19 pages

MSC Class: 90C22; 90C25; 90C26

Annealing-Assisted Column Generation for Inequality-Constrained Combinatorial Optimization Problems

Authors: Hiroshi Kanai, Masashi Yamashita, Kotaro Tanahashi, Shu Tanaka

Abstract: Ising machines are expected to solve combinatorial optimization problems faster than the existing integer programming solvers. These problems, particularly those encountered in practical situations, typically involve inequality constraints. However, owing to the hardware limitations of the current Ising machines, solving combinatorial optimization problems with inequality constraints remains chall… ▽ More Ising machines are expected to solve combinatorial optimization problems faster than the existing integer programming solvers. These problems, particularly those encountered in practical situations, typically involve inequality constraints. However, owing to the hardware limitations of the current Ising machines, solving combinatorial optimization problems with inequality constraints remains challenging. The Capacitated Vehicle Routing Problem (CVRP) is a typical example of a problem with inequality constraints. The objective function of the CVRP is to minimize the total distance traveled by each vehicle while limiting the total demand of customers served by a single vehicle to the vehicle's capacity. The CVRP is classified as NP-hard and, thus, is commonly solved using heuristic algorithms, such as column generation. Column generation attempts to iteratively generate only the promising routes, as the number of feasible routes increases exponentially. Within this framework, the CVRP is formulated as a set cover problem. The corresponding dual solutions are used to define the pricing subproblem, which is intended to create a new route. By applying Ising machines to this pricing subproblem, the overall computation time can be reduced. This study aims to solve combinatorial optimization problems with inequality constraints using a hybrid algorithm that combines column generation and Ising machines, thereby extending the applications of the latter. We parameterize the difficulty of the inequality constraints and demonstrate that our annealing-assisted column generation can converge to a better lower bound. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 13 pages, 10 figures

Journal ref: IEEE Access, vol. 12, pp. 157669-157685, 2024

On the 576-fold periodicity of the spectrum SQFT: The proof of the lower bound via the Anderson duality pairing

Authors: Theo Johnson-Freyd, Mayuko Yamashita

Abstract: We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymme… ▽ More We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymmetric quantum field theories, and show that the periodicity of $\mathrm{SQFT}$ is no less than 576. The main tool for the proof is the analogue of the Anderson duality pairing introduced by the second-named author and Tachikawa. We do not rely on the Segal-Stolz-Teichner conjecture, so in particular we do not use any comparison map with TMF. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: 30 pages

A new dual spectral projected gradient method for log-determinant semidefinite programming with hidden clustering structures

Authors: Charles Namchaisiri, Tianxiang Liu, Makoto Yamashita

Abstract: In this paper, we propose a new efficient method for a sparse Gaussian graphical model with hidden clustering structures by extending a dual spectral projected gradient (DSPG) method proposed by Nakagaki et al.~(2020). We establish the global convergence of the proposed method to an optimal solution, and we show that the projection onto the feasible region can be solved with a low computational co… ▽ More In this paper, we propose a new efficient method for a sparse Gaussian graphical model with hidden clustering structures by extending a dual spectral projected gradient (DSPG) method proposed by Nakagaki et al.~(2020). We establish the global convergence of the proposed method to an optimal solution, and we show that the projection onto the feasible region can be solved with a low computational complexity by the use of the pool-adjacent-violators algorithm. Numerical experiments on synthesis data and real data demonstrate the efficiency of the proposed method. The proposed method takes 0.91 seconds to achieve a similar solution to the direct application of the DSPG method which takes 4361 seconds. △ Less

Submitted 18 June, 2024; v1 submitted 27 March, 2024; originally announced March 2024.

Comments: 21 pages, 3 figures

MSC Class: 90C22; 90C25; 90C26

An inexact infeasible arc-search interior-point method for linear optimization

Authors: Einosuke Iida, Makoto Yamashita

Abstract: Arc-search interior-point methods (IPMs) are a class of IPMs that utilize an ellipsoidal arc to approximate the central path. On the other hand, inexact IPMs solve the linear equation system for the search direction inexactly at each iteration. In this paper, we propose an inexact infeasible arc-search interior-point method. We establish that the proposed method is a polynomial-time algorithm… ▽ More Arc-search interior-point methods (IPMs) are a class of IPMs that utilize an ellipsoidal arc to approximate the central path. On the other hand, inexact IPMs solve the linear equation system for the search direction inexactly at each iteration. In this paper, we propose an inexact infeasible arc-search interior-point method. We establish that the proposed method is a polynomial-time algorithm and we show that its iteration complexity is lower than an inexact infeasible line-search IPM. We conducted numerical experiments with benchmark problems from NETLIB. The numerical results demonstrate that the proposed method can reduce the number of iterations and the computation time compared to an existing inexact line-search IPM. △ Less

Submitted 18 March, 2025; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 28 pages, 3 figures

MSC Class: 90C51; 65K05; 90C05 ACM Class: F.2.1; G.1.6

Crystallization of C*-algebras

Authors: Marcelo Laca, Sergey Neshveyev, Makoto Yamashita

Abstract: Given a C$^*$-algebra $A$ with an almost periodic time evolution $σ$, we define a new C$^*$-algebra $A_c$, which we call the crystal of $(A,σ)$, that represents the zero temperature limit of $(A, σ)$. We prove that there is a one-to-one correspondence between the ground states of $(A,σ)$ and the states on $A_c$, justifying the name. In order to investigate further the relation between low temperat… ▽ More Given a C$^*$-algebra $A$ with an almost periodic time evolution $σ$, we define a new C$^*$-algebra $A_c$, which we call the crystal of $(A,σ)$, that represents the zero temperature limit of $(A, σ)$. We prove that there is a one-to-one correspondence between the ground states of $(A,σ)$ and the states on $A_c$, justifying the name. In order to investigate further the relation between low temperature equilibrium states on $A$ and traces on $A_c$, we define a Fock module $\mathcal F$ over the crystal and construct a vacuum representation of $A$ on $\mathcal F$. This allows us to show, under relatively mild assumptions, that for sufficiently large inverse temperatures $β$ the $σ$-KMS$_β$-states on $A$ are induced from traces on $A_c$ by means of the Fock module. In the second part, we compare the K-theoretic structures of $A$ and $A_c$. Previous work by various authors suggests that they have (rationally) isomorphic K-groups. We analyze this phenomenon in detail, confirming it under favorable conditions, but showing that, in general, there is apparently no easy way to relate these groups. As examples, we discuss in particular Exel's results on semi-saturated circle actions, and recent results of Miller on the K-theory of inverse semigroup C$^*$-algebras. In relation to the latter, we introduce the notion of a scale $N$ on an inverse semigroup $I$ and define a new inverse semigroup $I_c$, which we call the crystal of $(I,N)$. △ Less

Submitted 18 December, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 27 pages: v4: minor corrections, shortened last section, to appear in CIMP; v3: minor fixes, references added; v2: minor fixes

T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization

Authors: Hiroki Marumo, Sunyoung Kim, Makoto Yamashita

Abstract: We study T-semidefinite programming (SDP) relaxation for constrained polynomial optimization problems (POPs). T-SDP relaxation for unconstrained POPs was introduced by Zheng, Huang and Hu in 2022. In this work, we propose a T-SDP relaxation for POPs with polynomial inequality constraints and show that the resulting T-SDP relaxation formulated with third-order tensors can be transformed into the st… ▽ More We study T-semidefinite programming (SDP) relaxation for constrained polynomial optimization problems (POPs). T-SDP relaxation for unconstrained POPs was introduced by Zheng, Huang and Hu in 2022. In this work, we propose a T-SDP relaxation for POPs with polynomial inequality constraints and show that the resulting T-SDP relaxation formulated with third-order tensors can be transformed into the standard SDP relaxation with block-diagonal structures. The convergence of the T-SDP relaxation to the optimal value of a given constrained POP is established under moderate assumptions as the relaxation level increases. Additionally, the feasibility and optimality of the T-SDP relaxation are discussed. Numerical results illustrate that the proposed T-SDP relaxation enhances numerical efficiency. △ Less

Submitted 14 May, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 31 pages, 4 tables

MSC Class: 90C22; 90C25; 90C26

Exact Matrix Completion via High-Rank Matrices in Sum-of-Squares Relaxations

Authors: Godai Azuma, Sunyoung Kim, Makoto Yamashita

Abstract: We study exact matrix completion from partially available data with hidden connectivity patterns. Exact matrix completion was shown to be possible recently by Cosse and Demanet in 2021 with Lasserre's relaxation using the trace of the variable matrix as the objective function with given data structured in a chain format. In this study, we introduce a structure for the objective function so that th… ▽ More We study exact matrix completion from partially available data with hidden connectivity patterns. Exact matrix completion was shown to be possible recently by Cosse and Demanet in 2021 with Lasserre's relaxation using the trace of the variable matrix as the objective function with given data structured in a chain format. In this study, we introduce a structure for the objective function so that the resulting sum-of-squares (SOS) relaxation, the dual of Lasserre's SDP relaxation, produces a rank-($N$-1) solution, where $N$ denotes the size of variable matrix in the SOS relaxation. Specifically, the arrowhead structure is employed for the coefficient matrix of the objective function. We show that a matrix can be exactly completed through the SOS relaxation when the connectivity of given data is not explicitly displayed or follows a chain format. The theoretical exactness is proved using the rank of the Gram matrix for the SOS relaxation. We also present numerical algorithms designed to find the coefficient matrix in the SOS relaxation. Numerical experiments illustrate the validity of the proposed algorithm. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 22 pages, 3 figures

MSC Class: 90C22; 90C25; 90C26

Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Authors: Valerio Proietti, Makoto Yamashita

Abstract: We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associ… ▽ More We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample. △ Less

Submitted 15 October, 2023; originally announced October 2023.

Comments: splitting off part of arXiv:2207.03118 as a separate paper

Journal ref: Ergodic Theory and Dynamical Systems 45-1 (2025), 247-273

Anderson duality of topological modular forms and its differential-geometric manifestations

Authors: Yuji Tachikawa, Mayuko Yamashita

Abstract: We construct and study a morphism of spectra implementing the Anderson duality of topological modular forms ($\mathrm{TMF}$). Its differential version will then be introduced, allowing us to pair elements of $π_d\mathrm{TMF}$ with spin manifolds whose boundaries are equipped with string structure. A few negative-degree elements of $π_d\mathrm{TMF}$ will then be constructed using the theory of… ▽ More We construct and study a morphism of spectra implementing the Anderson duality of topological modular forms ($\mathrm{TMF}$). Its differential version will then be introduced, allowing us to pair elements of $π_d\mathrm{TMF}$ with spin manifolds whose boundaries are equipped with string structure. A few negative-degree elements of $π_d\mathrm{TMF}$ will then be constructed using the theory of $\mathrm{RO}(G)$-graded $\mathrm{TMF}$, and will be identified using the differential pairing. We also discuss a conjecture relating vertex operator algebras and negative-degree elements of $π_d\mathrm{TMF}$, underlying much of the discussions of this paper. The paper ends with a separate appendix for physicists, in which the contents of the paper are summarized and translated into their language. △ Less

Submitted 29 June, 2025; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: 102 pages; v3: another major revision. one Appendix was kindly provided by Sanath Devalapurkar

Invertible QFTs and differential Anderson duals

Authors: Mayuko Yamashita

Abstract: This is the proceeding of a talk given at Stringmath 2022. We introduce a Cheeger-Simons type model for the differential extension of Anderson dual to generalized homology theory with physical interpretations. This construction generalizes the construction of the differential Anderson dual to bordism homology theories, given in a previous work of Yonekura and the author. This is the proceeding of a talk given at Stringmath 2022. We introduce a Cheeger-Simons type model for the differential extension of Anderson dual to generalized homology theory with physical interpretations. This construction generalizes the construction of the differential Anderson dual to bordism homology theories, given in a previous work of Yonekura and the author. △ Less

Submitted 19 April, 2023; v1 submitted 18 April, 2023; originally announced April 2023.

Comments: 18 pages

An infeasible interior-point arc-search method with Nesterov's restarting strategy for linear programming problems

Authors: Einosuke Iida, Makoto Yamashita

Abstract: An arc-search interior-point method is a type of interior-point methods that approximates the central path by an ellipsoidal arc, and it can often reduce the number of iterations. In this work, to further reduce the number of iterations and computation time for solving linear programming problems, we propose two arc-search interior-point methods using Nesterov's restarting strategy that is well-kn… ▽ More An arc-search interior-point method is a type of interior-point methods that approximates the central path by an ellipsoidal arc, and it can often reduce the number of iterations. In this work, to further reduce the number of iterations and computation time for solving linear programming problems, we propose two arc-search interior-point methods using Nesterov's restarting strategy that is well-known method to accelerate the gradient method with a momentum term. The first one generates a sequence of iterations in the neighborhood, and we prove that the convergence of the generated sequence to an optimal solution and the computation complexity is polynomial time. The second one incorporates the concept of the Mehrotra-type interior-point method to improve numerical performance. The numerical experiments demonstrate that the second one reduced the number of iterations and computational time. In particular, the average number of iterations was reduced compared to existing interior-point methods due to the momentum term. △ Less

Submitted 28 September, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: 33 pages, 6 figures, 2 tables

MSC Class: 90C51(Primary) 65K05; 90C05(Secondary) ACM Class: F.2.1; G.1.6

Remarks on mod-2 elliptic genus

Authors: Yuji Tachikawa, Mayuko Yamashita, Kazuya Yonekura

Abstract: For physicists: For supersymmetric quantum mechanics, there are cases when a mod-2 Witten index can be defined, even when a more ordinary $\mathbb{Z}$-valued Witten index vanishes. Similarly, for 2d supersymmetric quantum field theories, there are cases when a mod-2 elliptic genus can be defined, even when a more ordinary elliptic genus vanishes. We study such mod-2 elliptic genera in the context… ▽ More For physicists: For supersymmetric quantum mechanics, there are cases when a mod-2 Witten index can be defined, even when a more ordinary $\mathbb{Z}$-valued Witten index vanishes. Similarly, for 2d supersymmetric quantum field theories, there are cases when a mod-2 elliptic genus can be defined, even when a more ordinary elliptic genus vanishes. We study such mod-2 elliptic genera in the context of $\mathcal{N}=(0,1)$ supersymmetry, and show that they are characterized by mod-2 reductions of integral modular forms, under some assumptions. For mathematicians: We study the image of the standard homomorphism $π_n \mathrm{TMF}\to π_n \mathrm{KO}((q))\simeq \mathbb{Z}/2((q))$ for $n=8k+1$ or $8k+2$, by relating them to the mod-2 reductions of integral modular forms. △ Less

Submitted 14 November, 2024; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: 31 pages; v2: accepted version with significant revision

Homology and K-theory of dynamical systems III. Beyond stably disconnected Smale spaces

Authors: Valerio Proietti, Makoto Yamashita

Abstract: We study homological invariants of étale groupoids arising from Smale spaces, continuing on our previous work, but going beyond the stably disconnected case by incorporating resolutions in the space direction. We show that the homology groups defined by Putnam are isomorphic to the Crainic-Moerdijk groupoid homology with integer coefficients. We also show that the K-groups of C*-algebras of stable… ▽ More We study homological invariants of étale groupoids arising from Smale spaces, continuing on our previous work, but going beyond the stably disconnected case by incorporating resolutions in the space direction. We show that the homology groups defined by Putnam are isomorphic to the Crainic-Moerdijk groupoid homology with integer coefficients. We also show that the K-groups of C*-algebras of stable and unstable equivalence relations have finite rank. For unstably disconnected Smale spaces, we provide a cohomological spectral sequence whose second page is the (stable) homology groups, and converges to the K-groups of the unstable C*-algebra. △ Less

Submitted 17 October, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: v3: 20 pages, new title, general part is split off as arXiv:2310.09928; v2: 25 pages, improved presentation, results unchanged; v1: 22 pages

Injectivity for algebras and categories with quantum symmetry

Authors: Lucas Hataishi, Makoto Yamashita

Abstract: We establish the existence of injective envelopes for unital Yetter-Drinfeld C*-algebras, and a related class of bimodule categories over rigid C*-tensor categories. This implies monoidal invariance for boundary actions of Drinfeld doubles of compact quantum groups. We establish the existence of injective envelopes for unital Yetter-Drinfeld C*-algebras, and a related class of bimodule categories over rigid C*-tensor categories. This implies monoidal invariance for boundary actions of Drinfeld doubles of compact quantum groups. △ Less

Submitted 2 May, 2025; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: v3: 24 pages, duality part is split off as arXiv:2504.21162; v2: 34 pages, minor changes; v1: 31 pages

Exact SDP relaxations for quadratic programs with bipartite graph structures

Authors: Godai Azuma, Mituhiro Fukuda, Sunyoung Kim, Makoto Yamashita

Abstract: For nonconvex quadratically constrained quadratic programs (QCQPs), we first show that, under certain feasibility conditions, the standard semidefinite (SDP) relaxation is exact for QCQPs with bipartite graph structures. The exact optimal solutions are obtained by examining the dual SDP relaxation and the rank of the optimal solution of this dual SDP relaxation under strong duality. Our results on… ▽ More For nonconvex quadratically constrained quadratic programs (QCQPs), we first show that, under certain feasibility conditions, the standard semidefinite (SDP) relaxation is exact for QCQPs with bipartite graph structures. The exact optimal solutions are obtained by examining the dual SDP relaxation and the rank of the optimal solution of this dual SDP relaxation under strong duality. Our results on the QCQPs generalize the results on QCQP with sign-definite bipartite graph structures, QCQPs with forest structures, and QCQPs with nonpositive off-diagonal data elements. Second, we propose a conversion method from QCQPs with no particular structure to the ones with bipartite graph structures. As a result, we demonstrate that a wider class of QCQPs can be exactly solved by the SDP relaxation. Numerical instances are presented for illustration. △ Less

Submitted 1 May, 2022; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 23 pages, 6 figures

MSC Class: 90C20; 90C22; 90C25; 90C26

Poisson-Lie Group structures on semidirect products

Authors: Floris Elzinga, Makoto Yamashita

Abstract: We look at the Poisson structure on the total space of the dual bundle to the Lie algebroid arising from a matched pair of Lie groups. This dual bundle, with the natural semidirect product group structure, becomes a Poisson-Lie group as suggested by a recent work of Stachura. Moreover, when we start from matched pairs given by the Iwasawa decomposition of simple Lie groups, the associated Lie bial… ▽ More We look at the Poisson structure on the total space of the dual bundle to the Lie algebroid arising from a matched pair of Lie groups. This dual bundle, with the natural semidirect product group structure, becomes a Poisson-Lie group as suggested by a recent work of Stachura. Moreover, when we start from matched pairs given by the Iwasawa decomposition of simple Lie groups, the associated Lie bialgebra is coboundary. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 17 pages

Crossed Product Equivalence of Quantum Automorphism Groups

Authors: Michael Brannan, Floris Elzinga, Samuel J. Harris, Makoto Yamashita

Abstract: We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $Γ$ lead to isomorphic $\ast$-algebras. This allows us to transfer various properties such as inner unitarity, Conn… ▽ More We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $Γ$ lead to isomorphic $\ast$-algebras. This allows us to transfer various properties such as inner unitarity, Connes embeddability, and strong $1$-boundedness between the various algebras associated with these quantum groups. △ Less

Submitted 21 February, 2023; v1 submitted 9 February, 2022; originally announced February 2022.

Comments: 27 pages. Revised version to appear in IMRN

Differential $KO$-theory via gradations and mass terms

Authors: Kiyonori Gomi, Mayuko Yamashita

Abstract: We construct models of the differential $KO$-theory and the twisted differential $KO$-theory, by refining Karoubi's $KO$-theory [Kar78] in terms of gradations on Clifford modules. In order for this, we set up the generalized Clifford superconnection formalism which generalizes the Quillen's superconnection formalism [Qui85]. One of our models can be regarded as classifying "fermionic mass terms" i… ▽ More We construct models of the differential $KO$-theory and the twisted differential $KO$-theory, by refining Karoubi's $KO$-theory [Kar78] in terms of gradations on Clifford modules. In order for this, we set up the generalized Clifford superconnection formalism which generalizes the Quillen's superconnection formalism [Qui85]. One of our models can be regarded as classifying "fermionic mass terms" in physics. △ Less

Submitted 14 January, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: 74 pages, minor changes in v2

Differential models for the Anderson dual to bordism theories and invertible QFT's, II

Authors: Mayuko Yamashita

Abstract: This is the second part of the work on differential models of the Anderson duals to the stable tangential $G$-bordism theories $IΩ^G$, motivated by classifications of invertible QFT's. Using the model constructed in the first part \cite{YamashitaYonekura2021}, in this paper we show that pushforwards in generalized differential cohomology theories induces transformations between differential cohomo… ▽ More This is the second part of the work on differential models of the Anderson duals to the stable tangential $G$-bordism theories $IΩ^G$, motivated by classifications of invertible QFT's. Using the model constructed in the first part \cite{YamashitaYonekura2021}, in this paper we show that pushforwards in generalized differential cohomology theories induces transformations between differential cohomology theories which refine the Anderson duals to multiplicative genera. This gives us a unified understanding of an important class of elements in the Anderson duals with physical origins. △ Less

Submitted 1 November, 2023; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 31 pages

Journal ref: Journal of Gokova Geometry Topology, Volume 16 (2023) 65-97

Topological modular forms and the absence of all heterotic global anomalies

Authors: Yuji Tachikawa, Mayuko Yamashita

Abstract: We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $\mathrm{TMF}^\bullet\to (I_{\mathbb{Z}}Ω^\text{string})^{\bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, i… ▽ More We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $\mathrm{TMF}^\bullet\to (I_{\mathbb{Z}}Ω^\text{string})^{\bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, implying that heterotic global anomalies are always absent. The fact that $\mathrm{TMF}^{21}(\mathrm{pt})=0$ plays an important role in the process. Along the way, we also discuss how the twists of $\mathrm{TMF}$ can be described under the Segal-Stolz-Teichner conjecture, by using the result of Freed and Hopkins concerning anomalies of quantum field theories. The paper contains separate introductions for mathematicians and for string theorists, in the hope of making the content more accessible to a larger audience. The sections are also demarcated cleanly into mathematically rigorous parts and those which are not. △ Less

Submitted 18 April, 2023; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: 36 pages; v2: incorporates many suggestions by a helpful anonymous referee

Differential models for the Anderson dual to bordism theories and invertible QFT's, I

Authors: Mayuko Yamashita, Kazuya Yonekura

Abstract: In this paper, we construct new models for the Anderson duals $(IΩ^G)^*$ to the stable tangential $G$-bordism theories and their differential extensions. The cohomology theory $(IΩ^G)^*$ is conjectured by Freed and Hopkins [FH21] to classify deformation classes of possibly non-topological invertible quantum field theories (QFT's). Our model is made by abstractizing certain properties of invertible… ▽ More In this paper, we construct new models for the Anderson duals $(IΩ^G)^*$ to the stable tangential $G$-bordism theories and their differential extensions. The cohomology theory $(IΩ^G)^*$ is conjectured by Freed and Hopkins [FH21] to classify deformation classes of possibly non-topological invertible quantum field theories (QFT's). Our model is made by abstractizing certain properties of invertible QFT's, thus supporting their conjecture. △ Less

Submitted 1 November, 2023; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 60 pages, 1 figures. The content of this article has been greatly changed and improved from the first version (v1). The results of v1 are contained in Sections 3 and 4 of the current version. See Remark 1.20 for details

Journal ref: Journal of Gokova Geometry Topology, Volume 16 (2023) 1-64

Lieb type convexity for positive operator monotone decreasing functions

Authors: Hans Henrich Neumann, Makoto Yamashita

Abstract: We prove Lieb type convexity and concavity results for trace functionals associated with positive operator monotone (decreasing) functions and certain monotone concave functions. This gives a partial generalization of Hiai's recent work on trace functionals associated with power functions. We prove Lieb type convexity and concavity results for trace functionals associated with positive operator monotone (decreasing) functions and certain monotone concave functions. This gives a partial generalization of Hiai's recent work on trace functionals associated with power functions. △ Less

Submitted 17 June, 2021; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: v2: minor changes, 6 pages, v1: 5 pages

Homology and K-theory of dynamical systems. II. Smale spaces with totally disconnected transversal

Authors: Valerio Proietti, Makoto Yamashita

Abstract: We apply our previous work on the relation between groupoid homology and K-theory to Smale spaces. More precisely, we consider the unstable equivalence relation of a Smale space with totally disconnected stable sets, and prove that the associated spectral sequence shows Putnam's stable homology groups on the second sheet. Moreover, this homology is in fact isomorphic to the groupoid homology of un… ▽ More We apply our previous work on the relation between groupoid homology and K-theory to Smale spaces. More precisely, we consider the unstable equivalence relation of a Smale space with totally disconnected stable sets, and prove that the associated spectral sequence shows Putnam's stable homology groups on the second sheet. Moreover, this homology is in fact isomorphic to the groupoid homology of unstable equivalence relation. △ Less

Submitted 11 December, 2021; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: v2: 28 pages, improved intermediate results, to appear in JNCG; v1: 26 pages, splitting off part of arXiv:2006.08028 as a separate paper

MSC Class: 46L85; 19K35; 37D99

Journal ref: Journal of Noncommutative Geometry 17-3 (2023), 957-998

Mod-two APS index and domain-wall fermion

Authors: Hidenori Fukaya, Mikio Furuta, Yoshiyuki Matsuki, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi, Mayuko Yamashita

Abstract: We reformulate the mod-two Atiyah-Patodi-Singer (APS) index in a physicist-friendly way using the domain-wall fermion. Our new formulation is given on a closed manifold, which is extended from the original manifold with boundary, where we instead give a fermion mass term changing its sign at the location of the original boundary. This new setup does not need the APS boundary condition, which is no… ▽ More We reformulate the mod-two Atiyah-Patodi-Singer (APS) index in a physicist-friendly way using the domain-wall fermion. Our new formulation is given on a closed manifold, which is extended from the original manifold with boundary, where we instead give a fermion mass term changing its sign at the location of the original boundary. This new setup does not need the APS boundary condition, which is non-local. A mathematical proof of equivalence between the two different formulations is given by two different evaluations of the same index of a Dirac operator on a higher dimensional manifold. The domain-wall fermion allows us to separate the edge and bulk mode contributions in a natural but not in a gauge invariant way, which offers a straightforward description of the global anomaly inflow. △ Less

Submitted 8 December, 2020; v1 submitted 7 December, 2020; originally announced December 2020.

Comments: 30 pages, 1 figure, minor corrections

Report number: OU-HET-1073

Comparison of quantizations of symmetric spaces: cyclotomic Knizhnik-Zamolodchikov equations and Letzter-Kolb coideals

Authors: Kenny De Commer, Sergey Neshveyev, Lars Tuset, Makoto Yamashita

Abstract: We establish an equivalence between two approaches to quantization of irreducible symmetric spaces of compact type within the framework of quasi-coactions, one based on the Enriquez-Etingof cyclotomic Knizhnik-Zamolodchikov (KZ) equations and the other on the Letzter-Kolb coideals. This equivalence can be upgraded to that of ribbon braided quasi-coactions, and then the associated reflection operat… ▽ More We establish an equivalence between two approaches to quantization of irreducible symmetric spaces of compact type within the framework of quasi-coactions, one based on the Enriquez-Etingof cyclotomic Knizhnik-Zamolodchikov (KZ) equations and the other on the Letzter-Kolb coideals. This equivalence can be upgraded to that of ribbon braided quasi-coactions, and then the associated reflection operators (K-matrices) become a tangible invariant of the quantization. As an application we obtain a Kohno-Drinfeld type theorem on type B braid group representations defined by the monodromy of KZ-equations and by the Balagović-Kolb universal K-matrices. The cases of Hermitian and non-Hermitian symmetric spaces are significantly different. In particular, in the latter case a quasi-coaction is essentially unique, while in the former we show that there is a one-parameter family of mutually nonequivalent quasi-coactions. △ Less

Submitted 23 January, 2025; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: 63 pages; v3: minor changes

Journal ref: Forum Math. Pi 11 (2023), Paper No. e14

Exact SDP relaxations of quadratically constrained quadratic programs with forest structures

Authors: Godai Azuma, Mituhiro Fukuda, Sunyoung Kim, Makoto Yamashita

Abstract: We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with $n$ variables, the rank and positive semidefiniteness of the matrix are examined. We prove that if the rank of the aggregate sparsity matrix is not less than $n-1$ and the matrix remains positive se… ▽ More We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with $n$ variables, the rank and positive semidefiniteness of the matrix are examined. We prove that if the rank of the aggregate sparsity matrix is not less than $n-1$ and the matrix remains positive semidefinite after replacing some off-diagonal nonzero elements with zeros, then the standard SDP relaxation provides an exact optimal solution for the QCQP under feasibility assumptions. In particular, we demonstrate that QCQPs with forest-structured aggregate sparsity matrix, such as the tridiagonal or arrow-type matrix, satisfy the exactness condition on the rank. The exactness is attained by considering the feasibility of the dual SDP relaxation, the strong duality of SDPs, and a sequence of QCQPs with perturbed objective functions, under the assumption that the feasible region is compact. We generalize our result for a wider class of QCQPs by applying simultaneous tridiagonalization on the data matrices. Moreover, simultaneous tridiagonalization is applied to a matrix pencil so that QCQPs with two constraints can be solved exactly by the SDP relaxation. △ Less

Submitted 19 September, 2020; v1 submitted 5 September, 2020; originally announced September 2020.

MSC Class: 90C20; 90C22; 90C25; 90C26

A lattice version of the Atiyah-Singer index theorem

Authors: Mayuko Yamashita

Abstract: We formulate and prove a lattice version of the Atiyah-Singer index theorem. The main theorem gives a $K$-theoretic formula for an index-type invariant of operators on lattice approximations of closed integral affine manifolds. We apply the main theorem to an index problem of Wilson-Dirac operators in lattice gauge theory. We formulate and prove a lattice version of the Atiyah-Singer index theorem. The main theorem gives a $K$-theoretic formula for an index-type invariant of operators on lattice approximations of closed integral affine manifolds. We apply the main theorem to an index problem of Wilson-Dirac operators in lattice gauge theory. △ Less

Submitted 19 February, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: 27 pages, final version

Homology and K-theory of dynamical systems. I. torsion-free ample groupoids

Authors: Valerio Proietti, Makoto Yamashita

Abstract: Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture dev… ▽ More Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui. △ Less

Submitted 26 May, 2021; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: v4: 23 pages, post-publication notes; v3: 23 pages, new title, Smale space part is split off as arXiv:2104.10938, to appear in Ergodic Theory Dynam. Systems; v2: 38 pages, some remarks and appendix expanded; v1: 34 pages

MSC Class: 46L85; 19K35; 37D99

Journal ref: Ergodic Theory and Dynamical Systems 42-8 (2022), 2630-2660

A new construction of strict deformation quantization for Lagrangian fiber bundles

Authors: Mayuko Yamashita

Abstract: We give a new construction of strict deformation quantization of symplectic manifolds equipped with a proper Lagrangian fiber bundle structure, whose representation spaces are the quantum Hilbert spaces obtained by geometric quantization. The construction can be regarded as a "lattice approximation of the correspondence between differential operators and principal symbols". We analyze the correspo… ▽ More We give a new construction of strict deformation quantization of symplectic manifolds equipped with a proper Lagrangian fiber bundle structure, whose representation spaces are the quantum Hilbert spaces obtained by geometric quantization. The construction can be regarded as a "lattice approximation of the correspondence between differential operators and principal symbols". We analyze the corresponding formal deformation quantization. We also investigate into relations between our construction and Berezin-Toeplitz deformation quantization. △ Less

Submitted 18 March, 2020; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 41 pages, v2: a minor correction in the condition (U) in p.14

Spectral convergence in geometric quantization --- the case of toric symplectic manifolds

Authors: Kota Hattori, Mayuko Yamashita

Abstract: In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on… ▽ More In this paper, we show the spectral convergence result of $\overline{\partial}$-Laplacians when $(X,ω)$ is a compact toric symplectic manifold equipped with the natural prequantum line bundle $L$. We consider a family $\{ J_s\}_s$ of $ω$-compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of $\overline{\partial}$-Laplacians acting on $L^k$. △ Less

Submitted 27 February, 2020; originally announced February 2020.

MSC Class: 53D50

A physicist-friendly reformulation of the Atiyah-Patodi-Singer index and its mathematical justification

Authors: Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi, Mayuko Yamashita

Abstract: The Atiyah-Patodi-Singer index theorem describes the bulk-edge correspondence of symmetry protected topological insulators. The mathematical setup for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local and unnatural boundary condition known as the "APS boundary condition" by hand. In 2017, we showed that the same integer a… ▽ More The Atiyah-Patodi-Singer index theorem describes the bulk-edge correspondence of symmetry protected topological insulators. The mathematical setup for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local and unnatural boundary condition known as the "APS boundary condition" by hand. In 2017, we showed that the same integer as the APS index can be obtained from the $η$ invariant of the domain-wall Dirac operator. Recently we gave a mathematical proof that the equivalence is not a coincidence but generally true. In this contribution to the proceedings of LATTICE 2019, we try to explain the whole story in a physicist-friendly way. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: 7 pages, talk presented at Lattice 2019

Report number: OU-HET-1035

Spectral convergence in geometric quantization -- the case of non-singular Langrangian fibrations

Authors: Kota Hattori, Mayuko Yamashita

Abstract: We develop a new approach to geometric quantization using the theory of convergence of metric measure spaces. Given a family of Kähler polarizations converging to a non-singular real polarization on a prequantized symplectic manifold, we show the spectral convergence result of $\bar{\partial}$-Laplacians, as well as the convergence result of quantum Hilbert spaces. We also consider the case of alm… ▽ More We develop a new approach to geometric quantization using the theory of convergence of metric measure spaces. Given a family of Kähler polarizations converging to a non-singular real polarization on a prequantized symplectic manifold, we show the spectral convergence result of $\bar{\partial}$-Laplacians, as well as the convergence result of quantum Hilbert spaces. We also consider the case of almost Kähler quantization for compatible almost complex structures, and show the analogous convergence results. △ Less

Submitted 1 May, 2023; v1 submitted 17 December, 2019; originally announced December 2019.

Comments: To appear in The Journal of Symplectic Geometry

MSC Class: 53D50

Exploiting Aggregate Sparsity in Second Order Cone Relaxations for Quadratic Constrained Quadratic Programming Problems

Authors: Heejune Sheen, Makoto Yamashita

Abstract: Among many approaches to increase the computational efficiency of semidefinite programming (SDP) relaxation for quadratic constrained quadratic programming problems (QCQPs), exploiting the aggregate sparsity of the data matrices in the SDP by Fukuda et al. (2001) and second-order cone programming (SOCP) relaxation have been popular. In this paper, we exploit the aggregate sparsity of SOCP relaxati… ▽ More Among many approaches to increase the computational efficiency of semidefinite programming (SDP) relaxation for quadratic constrained quadratic programming problems (QCQPs), exploiting the aggregate sparsity of the data matrices in the SDP by Fukuda et al. (2001) and second-order cone programming (SOCP) relaxation have been popular. In this paper, we exploit the aggregate sparsity of SOCP relaxation of QCQPs. Specifically, we prove that exploiting the aggregate sparsity reduces the number of second-order cones in the SOCP relaxation, and that we can simplify the matrix completion procedure by Fukuda et al. in both primal and dual of the SOCP relaxation problem without losing the max-determinant property. For numerical experiments, QCQPs from the lattice graph and pooling problem are tested as their SOCP relaxations provide the same optimal value as the SDP relaxations. We demonstrate that exploiting the aggregate sparsity improves the computational efficiency of the SOCP relaxation for the same objective value as the SDP relaxation, thus much larger problems can be handled by the proposed SOCP relaxation than the SDP relaxation. △ Less

Submitted 5 November, 2019; originally announced November 2019.

MSC Class: 90C20 Quadratic programming; 90C22 Semidefinite programming; 90C25 Convex programming; 90C26 Nonconvex programming; global optimization

Sparsity Exploitation of Accelerated Modulus-Based Gauss-Seidel Method for Interactive Rigid Body Simulations

Authors: Shugo Miyamoto, Makoto Yamashita

Abstract: Large-scale linear complementarity problems (LCPs) are repeatedly solved in interactive rigid-body simulations. The projected Gauss-Seidel method is often employed for LCPs, since it has advantages in computation time, numerical robustness, and memory use. Zheng and Yin (2013) proposed modulus-based matrix splitting iteration methods and showed their effectiveness for large problems, but a simple… ▽ More Large-scale linear complementarity problems (LCPs) are repeatedly solved in interactive rigid-body simulations. The projected Gauss-Seidel method is often employed for LCPs, since it has advantages in computation time, numerical robustness, and memory use. Zheng and Yin (2013) proposed modulus-based matrix splitting iteration methods and showed their effectiveness for large problems, but a simple application of their approach to large-scale LCPs in interactive rigid-body simulations is not effective since such a simple application demands large matrix multiplications. In this paper, we propose a novel method derived from accelerated modulus-based matrix splitting iteration methods that fits LCPs arising in interactive rigid-body simulations. To improve the computation time, we exploit sparsity structures related to the generalized velocity vector of rigid bodies. We discuss the convergence of the proposed method for an important case that the coefficient matrix of a given LCP is a positive definite matrix. Numerical experiments show that the proposed method is more efficient than the simple application of the accelerated modulus-based Gauss-Seidel method and that the accuracy in each step of the proposed method is superior to that of the projected Gauss-Seidel method. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 10 pages, 8 figures

MSC Class: 65F10; 70E55

The Atiyah-Patodi-Singer index and domain-wall fermion Dirac operators

Authors: Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi, Mayuko Yamashita

Abstract: We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index of our previous paper. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes. We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index of our previous paper. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes. △ Less

Submitted 27 April, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Report number: OU-HET-1026

An Infeasible Interior-point Arc-search Algorithm for Nonlinear Constrained Optimization

Authors: Einosuke Iida, Yaguang Yang, Makoto Yamashita

Abstract: In this paper, we propose an infeasible arc-search interior-point algorithm for solving nonlinear programming problems. Most algorithms based on interior-point methods are categorized as line search, since they compute a next iterate on a straight line determined by a search direction which approximates the central path.The proposed arc-search interior-point algorithm uses an arc for the approxima… ▽ More In this paper, we propose an infeasible arc-search interior-point algorithm for solving nonlinear programming problems. Most algorithms based on interior-point methods are categorized as line search, since they compute a next iterate on a straight line determined by a search direction which approximates the central path.The proposed arc-search interior-point algorithm uses an arc for the approximation.We discuss convergence properties of the proposed algorithm.We also conduct numerical experiments on the CUTEst benchmark problems and compare the performance of the proposed arc-search algorithm with that of a line-search algorithm. Numerical results indicate that the proposed arc-search algorithm reaches the optimal solution using less iterations but longer time than a line-search algorithm. A modification that leads to a faster arc-search algorithm is also discussed. △ Less

Submitted 28 October, 2020; v1 submitted 24 September, 2019; originally announced September 2019.

Report number: Research Report B-491, Department of Mathematical and Computing Science, Tokyo Institute of Technology MSC Class: 90C51; 90C30

Strengthened convexity of positive operator monotone decreasing functions

Authors: Megumi Kirihata, Makoto Yamashita

Abstract: We prove a strengthened form of convexity for operator monotone decreasing positive functions defined on the positive real numbers. This extends Ando and Hiai's work to allow arbitrary positive maps instead of states (or the identity map), and functional calculus by operator monotone functions defined on the positive real numbers instead of the logarithmic function. We prove a strengthened form of convexity for operator monotone decreasing positive functions defined on the positive real numbers. This extends Ando and Hiai's work to allow arbitrary positive maps instead of states (or the identity map), and functional calculus by operator monotone functions defined on the positive real numbers instead of the logarithmic function. △ Less

Submitted 2 June, 2021; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: v3: correct typo (after publication), v2: minor changes, to appear in Math. Scand., v1: 5 pages

Journal ref: Math. Scand. 126 (2020), no. 3, 559-567

A topological approach to indices of geometric operators on manifolds with fibered boundaries

Authors: Mayuko Yamashita

Abstract: In this paper, we investigate topological aspects of indices of twisted geometric operators on manifolds equipped with fibered boundaries. We define $K$-groups relative to the pushforward for boundary fibration, and show that indices of twisted geometric operators, defined by complete $Φ$ or edge metrics, can be regarded as the index pairing over these $K$-groups. We also prove various properties… ▽ More In this paper, we investigate topological aspects of indices of twisted geometric operators on manifolds equipped with fibered boundaries. We define $K$-groups relative to the pushforward for boundary fibration, and show that indices of twisted geometric operators, defined by complete $Φ$ or edge metrics, can be regarded as the index pairing over these $K$-groups. We also prove various properties of these indices using groupoid deformation techniques. Using these properties, we give an application to the localization problem of signature operators for singular fiber bundles. △ Less

Submitted 23 August, 2019; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 69 pages; the final version

A dual spectral projected gradient method for log-determinant semidefinite problems

Authors: Takashi Nakagaki, Mituhiro Fukuda, Sunyoung Kim, Makoto Yamashita

Abstract: We extend the result on the spectral projected gradient method by Birgin et al. in 2000 to a log-determinant semidefinite problem (SDP) with linear constraints and propose a spectral projected gradient method for the dual problem. Our method is based on alternate projections on the intersection of two convex sets, which first projects onto the box constraints and then onto a set defined by a linea… ▽ More We extend the result on the spectral projected gradient method by Birgin et al. in 2000 to a log-determinant semidefinite problem (SDP) with linear constraints and propose a spectral projected gradient method for the dual problem. Our method is based on alternate projections on the intersection of two convex sets, which first projects onto the box constraints and then onto a set defined by a linear matrix inequality. By exploiting structures of the two projections, we show the same convergence properties can be obtained for the proposed method as Birgin's method where the exact orthogonal projection onto the intersection of two convex sets is performed. Using the convergence properties, we prove that the proposed algorithm attains the optimal value or terminates in a finite number of iterations. The efficiency of the proposed method is illustrated with the numerical results on randomly generated synthetic/deterministic data and gene expression data, in comparison with other methods including the inexact primal-dual path-following interior-point method, the adaptive spectral projected gradient method, and the adaptive Nesterov's smooth method. For the gene expression data, our results are compared with the quadratic approximation for sparse inverse covariance estimation method. We show that our method outperforms the other methods in obtaining a better optimal value fast. △ Less

Submitted 2 December, 2018; originally announced December 2018.

Comments: 25 pages, 5 figures

MSC Class: 90C20; 90C22; 90C25; 90C26

Polyhedral-based Methods for Mixed-Integer SOCP in Tree Breeding

Authors: Sena Safarina, Tim J. Mullin, Makoto Yamashita

Abstract: Optimal contribution selection (OCS) is a mathematical optimization problem that aims to maximize the total benefit from selecting a group of individuals under a constraint on genetic diversity. We are specifically focused on OCS as applied to forest tree breeding, when selected individuals will contribute equally to the gene pool. Since the diversity constraint in OCS can be described with a seco… ▽ More Optimal contribution selection (OCS) is a mathematical optimization problem that aims to maximize the total benefit from selecting a group of individuals under a constraint on genetic diversity. We are specifically focused on OCS as applied to forest tree breeding, when selected individuals will contribute equally to the gene pool. Since the diversity constraint in OCS can be described with a second-order cone, equal deployment in OCS can be mathematically modeled as mixed-integer second-order cone programming (MI-SOCP). If we apply a general solver for MI-SOCP, non-linearity embedded in OCS requires a heavy computation cost. To address this problem, we propose an implementation of lifted polyhedral programming (LPP) relaxation and a cone-decomposition method (CDM) to generate effective linear approximations for OCS. In particular, CDM successively solves OCS problems much faster than generic approaches for MI-SOCP. The approach of CDM is not limited to OCS, so that we can also apply the approach to other MI-SOCP problems. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Report number: B-489, Dept. of Mathematical and Computing Science, Tokyo Institute of Technology MSC Class: 90C11; 90C25; 90C59; 90C90; 92-08 Biology and other natural sciences

Solving Pooling Problems by LP and SOCP Relaxations and Rescheduling Methods

Authors: Masaki Kimizuka, Sunyoung Kim, Makoto Yamashita

Abstract: The pooling problem is an important industrial problem in the class of network flow problems for allocating gas flow in pipeline transportation networks. For P-formulation of the pooling problem with time discretization, we propose second order cone programming (SOCP) and linear programming (LP) relaxations and prove that they obtain the same optimal value as the semidefinite programming relaxatio… ▽ More The pooling problem is an important industrial problem in the class of network flow problems for allocating gas flow in pipeline transportation networks. For P-formulation of the pooling problem with time discretization, we propose second order cone programming (SOCP) and linear programming (LP) relaxations and prove that they obtain the same optimal value as the semidefinite programming relaxation. The equivalence among the optimal values of the three relaxations is also computationally shown. Moreover, a rescheduling method is proposed to efficiently refine the solution obtained by the SOCP or LP relaxation. The efficiency of the SOCP and the LP relaxation and the proposed rescheduling method is illustrated with numerical results on the test instances from the work of Nishi in 2010, some large instances, and Foulds 3, 4, 5 test problems. △ Less

Submitted 9 April, 2018; originally announced April 2018.

Report number: B-487, Research report, Dept. of Mathematical and Computing Science, Tokyo Institute of Technology MSC Class: 90C20; 90C22; 90C25; 90C26

Tube representations and twisting of graded categories

Authors: Jyotishman Bhowmick, Shamindra Ghosh, Narayan Rakshit, Makoto Yamashita

Abstract: We study deformation of tube algebra under twisting of graded monoidal categories. When a tensor category $\mathcal{C}$ is graded over a group $Γ$, a torus-valued 3-cocycle on $Γ$ can be used to deform the associator of $\mathcal{C}$. Based on a natural Fell bundle structure of the tube algebra over the action groupoid of the adjoint action of $Γ$, we show that the tube algebra of the twisted cate… ▽ More We study deformation of tube algebra under twisting of graded monoidal categories. When a tensor category $\mathcal{C}$ is graded over a group $Γ$, a torus-valued 3-cocycle on $Γ$ can be used to deform the associator of $\mathcal{C}$. Based on a natural Fell bundle structure of the tube algebra over the action groupoid of the adjoint action of $Γ$, we show that the tube algebra of the twisted category is a 2-cocycle twisting of the original one. △ Less

Submitted 7 May, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: v2: expanded remark on Kazhdan-Wenzl categories, other minor changes, 18 pages; v1: 16 pages

MSC Class: Primary 18D10; Secondary 46L37

Finding Submodularity Hidden in Symmetric Difference

Authors: Junpei Nakashima, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita

Abstract: A set function $f$ on a finite set $V$ is submodular if $f(X) + f(Y) \geq f(X \cup Y) + f(X \cap Y)$ for any pair $X, Y \subseteq V$. The symmetric difference transformation (SD-transformation) of $f$ by a canonical set $S \subseteq V$ is a set function $g$ given by $g(X) = f(X \vartriangle S)$ for $X \subseteq V$,where $X \vartriangle S = (X \setminus S) \cup (S \setminus X)$ denotes the symmetri… ▽ More A set function $f$ on a finite set $V$ is submodular if $f(X) + f(Y) \geq f(X \cup Y) + f(X \cap Y)$ for any pair $X, Y \subseteq V$. The symmetric difference transformation (SD-transformation) of $f$ by a canonical set $S \subseteq V$ is a set function $g$ given by $g(X) = f(X \vartriangle S)$ for $X \subseteq V$,where $X \vartriangle S = (X \setminus S) \cup (S \setminus X)$ denotes the symmetric difference between $X$ and $S$. Submodularity and SD-transformations are regarded as the counterparts of convexity and affine transformations in a discrete space, respectively. However, submodularity is not preserved under SD-transformations, in contrast to the fact that convexity is invariant under affine transformations. This paper presents a characterization of SD-stransformations preserving submodularity. Then, we are concerned with the problem of discovering a canonical set $S$, given the SD-transformation $g$ of a submodular function $f$ by $S$, provided that $g(X)$ is given by a function value oracle. A submodular function $f$ on $V$ is said to be strict if $f(X) + f(Y) > f(X \cup Y) + f(X \cap Y)$ holds whenever both $X \setminus Y$ and $Y \setminus X$ are nonempty. We show that the problem is solved by using ${\rm O}(|V|)$ oracle calls when $f$ is strictly submodular, although it requires exponentially many oracle calls in general. △ Less

Submitted 6 February, 2019; v1 submitted 23 December, 2017; originally announced December 2017.

Ribbon braided module categories, quantum symmetric pairs and Knizhnik-Zamolodchikov equations

Authors: Kenny De Commer, Sergey Neshveyev, Lars Tuset, Makoto Yamashita

Abstract: Let $\mathfrak u$ be a compact semisimple Lie algebra, and $σ$ be a Lie algebra involution of $\mathfrak u$. Let Rep$_q(\mathfrak u)$ be the ribbon braided tensor C*-category of $U_q(\mathfrak u)$-representations for $0<q<1$. We introduce three module C*-categories over Rep$_q(\mathfrak u)$ starting from the input data $(\mathfrak u,σ)$. The first construction is based on the theory of cyclotomic… ▽ More Let $\mathfrak u$ be a compact semisimple Lie algebra, and $σ$ be a Lie algebra involution of $\mathfrak u$. Let Rep$_q(\mathfrak u)$ be the ribbon braided tensor C*-category of $U_q(\mathfrak u)$-representations for $0<q<1$. We introduce three module C*-categories over Rep$_q(\mathfrak u)$ starting from the input data $(\mathfrak u,σ)$. The first construction is based on the theory of cyclotomic KZ-equations. The second construction uses the notion of quantum symmetric pair as developed by G. Letzter. The third construction uses a variation of Drinfeld twisting. In all three cases the module C*-category is ribbon twist-braided in the sense of A. Brochier---this is essentially due to B. Enriquez in the first case, is proved by S. Kolb in the second case, and is closely related to work of J. Donin, P. Kulish, and A. Mudrov in the third case. We formulate a conjecture concerning equivalence of these ribbon twist-braided module C*-categories, and confirm it in the rank one case. △ Less

Submitted 13 February, 2018; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: v2: new references and minor changes; v1: 37 pages, 9 figures

Journal ref: Comm. Math. Phys. 367 (2019), no. 3, 717-769

Tracing cyclic homology pairings under twisting of graded algebras

Authors: Sayan Chakraborty, Makoto Yamashita

Abstract: We give a description of cyclic cohomology and its pairing with K-groups for 2-cocycle deformation of algebras graded over discrete groups. The proof relies on a realization of monodromy for the Gauss-Manin connection on periodic cyclic cohomology in terms of the cup product action of group cohomology. We give a description of cyclic cohomology and its pairing with K-groups for 2-cocycle deformation of algebras graded over discrete groups. The proof relies on a realization of monodromy for the Gauss-Manin connection on periodic cyclic cohomology in terms of the cup product action of group cohomology. △ Less

Submitted 11 September, 2017; originally announced September 2017.

Comments: v1: 26 pages