Showing 1–5 of 5 results for author: Wack, M

Matroid isomorphism games

Authors: Daniel Corey, Simon Schmidt, Marcel Wack

Abstract: We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum com… ▽ More We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum commuting strategies, and we find a pair of nonisomorphic matroids that are quantum isomorphic. We also give a purely algebraic characterization of quantum isomorphic matroids. Finally, we use this notion of quantum isomorphism to describe a new type of quantum automorphism group of a matroid and derive a sufficient condition for a matroid to have nonclassical quantum automorphism. △ Less

Submitted 8 July, 2025; originally announced July 2025.

MSC Class: 05B35 (Primary); 05E16; 16T30; 20B25 (Secondary)

Finite Gröbner bases for quantum symmetric groups

Authors: Leonard Schmitz, Marcel Wack

Abstract: Non-commutative Gröbner bases of two-sided ideals are not necessarily finite. Motivated by this, we provide a closed-form description of a finite and reduced Gröbner bases for the two-sided ideal used in the construction of Wangs quantum symmetric group. In particular, this proves that the word problem for quantum symmetric groups is decidable. Non-commutative Gröbner bases of two-sided ideals are not necessarily finite. Motivated by this, we provide a closed-form description of a finite and reduced Gröbner bases for the two-sided ideal used in the construction of Wangs quantum symmetric group. In particular, this proves that the word problem for quantum symmetric groups is decidable. △ Less

Submitted 19 March, 2025; originally announced March 2025.

MSC Class: 16T20; 13P10; 46L89; 08A50

Quantum automorphisms of matroids

Authors: Daniel Corey, Michael Joswig, Julien Schanz, Marcel Wack, Moritz Weber

Abstract: Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the re… ▽ More Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 22 pages, 1 figure, 6 tables

MSC Class: 16T30 (primary); 05B35; 05E16; 16-04 (secondary)

Observer-Based High Order Sliding Mode Control of Unity Power Factor in Three-Phase AC/DC Converter for Hybrid Electric Vehicle Applications

Authors: Jianxing Liu, Salah Laghrouche, Maxime Wack

Abstract: In this paper, a full-bridge boost power converter topology is studied for power factor control, using output high order sliding mode control. The AC/DC converters are used for charging the battery and super-capacitor in hybrid electric vehicles from the utility. The proposed control forces the input currents to track the desired values, which can controls the output voltage while keeping the powe… ▽ More In this paper, a full-bridge boost power converter topology is studied for power factor control, using output high order sliding mode control. The AC/DC converters are used for charging the battery and super-capacitor in hybrid electric vehicles from the utility. The proposed control forces the input currents to track the desired values, which can controls the output voltage while keeping the power factor close to one. Super-twisting sliding mode observer is employed to estimate the input currents and load resistance only from the measurement of output voltage. Lyapunov analysis shows the asymptotic convergence of the closed loop system to zero. Simulation results show the effectiveness and robustness of the proposed controller. △ Less

Submitted 30 May, 2013; v1 submitted 23 March, 2013; originally announced March 2013.

Adaptive High Order Sliding Mode Observer Based Fault Reconstruction for a Class of Nonlinear Uncertain Systems: Application to PEM Fuel Cell System

Authors: Jianxing Liu, Salah Laghrouche, Maxime Wack

Abstract: This paper focuses on observer based fault reconstruction for a class of nonlinear uncertain systems with Lipschitz nonlinearities. An adaptive-gain Super-Twisting (STW) observer is developed for observing the system states, where the adaptive law compensates the uncertainty in parameters. The inherent equivalent output error injection feature of STW algorithm is then used to reconstruct the fault… ▽ More This paper focuses on observer based fault reconstruction for a class of nonlinear uncertain systems with Lipschitz nonlinearities. An adaptive-gain Super-Twisting (STW) observer is developed for observing the system states, where the adaptive law compensates the uncertainty in parameters. The inherent equivalent output error injection feature of STW algorithm is then used to reconstruct the fault signal. The performance of the proposed observer is validated through a Hardware-In-Loop (HIL) simulator which consists of a commercial twin screw compressor and a real time Polymer Electrolyte Membrane fuel cell emulation system. The simulation results illustrate the feasibility and effectiveness of the proposed approach for application to fuel cell systems. △ Less

Submitted 21 March, 2013; originally announced March 2013.