Showing 1–12 of 12 results for author: Mika, M

Matrix-free polynomial preconditioning of saddle point systems using the hyper-power method

Authors: Michał Łukasz Mika, Marco ten Eikelder, Dominik Schillinger, René Rinke Hiemstra

Abstract: This study explores the integration of the hyper-power sequence, a method commonly employed for approximating the Moore-Penrose inverse, to enhance the effectiveness of an existing preconditioner. The approach is closely related to polynomial preconditioning based on Neumann series. We commence with a state-of-the-art matrix-free preconditioner designed for the saddle point system derived from iso… ▽ More This study explores the integration of the hyper-power sequence, a method commonly employed for approximating the Moore-Penrose inverse, to enhance the effectiveness of an existing preconditioner. The approach is closely related to polynomial preconditioning based on Neumann series. We commence with a state-of-the-art matrix-free preconditioner designed for the saddle point system derived from isogeometric structure-preserving discretization of the Stokes equations. Our results demonstrate that incorporating multiple iterations of the hyper-power method enhances the effectiveness of the preconditioner, leading to a substantial reduction in both iteration counts and overall solution time for simulating Stokes flow within a 3D lid-driven cavity. Through a comprehensive analysis, we assess the stability, accuracy, and numerical cost associated with the proposed scheme. △ Less

Submitted 12 November, 2023; originally announced November 2023.

MSC Class: 65N30; 65F08; 65F10; 65F30

Connecting continuum poroelasticity with discrete synthetic vascular trees for modeling liver tissue

Authors: Adnan Ebrahem, Etienne Jessen, Marco F. P. ten Eikelder, Tarun Gangwar, Michał Mika, Dominik Schillinger

Abstract: Computational simulations have the potential to assist in liver resection surgeries by facilitating surgical planning, optimizing resection strategies, and predicting postoperative outcomes. The modeling of liver tissue across multiple length scales constitutes a significant challenge, primarily due to the multiphysics coupling of mechanical response and perfusion within the complex multiscale vas… ▽ More Computational simulations have the potential to assist in liver resection surgeries by facilitating surgical planning, optimizing resection strategies, and predicting postoperative outcomes. The modeling of liver tissue across multiple length scales constitutes a significant challenge, primarily due to the multiphysics coupling of mechanical response and perfusion within the complex multiscale vascularization of the organ. In this paper, we present a modeling framework that connects continuum poroelasticity and discrete vascular tree structures to model liver tissue across disparate levels of the perfusion hierarchy. The connection is achieved through a series of modeling decisions, which include source terms in the pressure equation to model inflow from the supplying tree, pressure boundary conditions to model outflow into the draining tree, and contact conditions to model surrounding tissue. We investigate the numerical behaviour of our framework and apply it to a patient-specific full-scale liver problem that demonstrates its potential to help assess surgical liver resection procedures △ Less

Submitted 12 June, 2023; originally announced June 2023.

A matrix-free macro-element variant of the hybridized discontinuous Galerkin method

Authors: Vahid Badrkhani, Rene R. Hiemstra, Michal Mika, Dominik Schillinger

Abstract: We investigate a macro-element variant of the hybridized discontinuous Galerkin (HDG) method, using patches of standard simplicial elements that can have non-matching interfaces. Coupled via the HDG technique, our method enables local refinement by uniform simplicial subdivision of each macro-element. By enforcing one spatial discretization for all macro-elements, we arrive at local problems per m… ▽ More We investigate a macro-element variant of the hybridized discontinuous Galerkin (HDG) method, using patches of standard simplicial elements that can have non-matching interfaces. Coupled via the HDG technique, our method enables local refinement by uniform simplicial subdivision of each macro-element. By enforcing one spatial discretization for all macro-elements, we arrive at local problems per macro-element that are embarrassingly parallel, yet well balanced. Therefore, our macro-element variant scales efficiently to n-node clusters and can be tailored to available hardware by adjusting the local problem size to the capacity of a single node, while still using moderate polynomial orders such as quadratics or cubics. Increasing the local problem size means simultaneously decreasing, in relative terms, the global problem size, hence effectively limiting the proliferation of degrees of freedom. The global problem is solved via a matrix-free iterative technique that also heavily relies on macro-element local operations. We investigate and discuss the advantages and limitations of the macro-element HDG method via an advection-diffusion model problem. △ Less

Submitted 18 February, 2023; originally announced February 2023.

Seeing the forest and the trees: a radio investigation of the ULIRG Mrk 273

Authors: Pranav Kukreti, Raffaella Morganti, Marco Bondi, Tom Oosterloo, Clive Tadhunter, Leah K. Morabito, E. A. K. Adams, B. Adebahr, W. J. G. de Blok, F. de Gasperin, A. Drabent, K. M. Hess, M. V. Ivashina, A. Kutkin, Á. M. Mika, Leon Oostrum, T. W. Shimwell, J. M. van der Hulst, Joeri van Leeuwen, R. J. van Weeren, Dany Vohl, J. Ziemke

Abstract: Galaxy mergers have been observed to trigger nuclear activity by feeding gas to the central supermassive black hole. One such class of objects are Ultra Luminous InfraRed Galaxies (ULIRGs), which are mostly late stage major mergers of gas-rich galaxies. Recently, large-scale ($\sim$100 kpc) radio continuum emission has been detected in a select number of ULIRGs, all of which also harbour powerful… ▽ More Galaxy mergers have been observed to trigger nuclear activity by feeding gas to the central supermassive black hole. One such class of objects are Ultra Luminous InfraRed Galaxies (ULIRGs), which are mostly late stage major mergers of gas-rich galaxies. Recently, large-scale ($\sim$100 kpc) radio continuum emission has been detected in a select number of ULIRGs, all of which also harbour powerful Active Galactic Nuclei (AGN). This hints at the presence of large-scale radio emission being evidence for nuclear activity. Exploring the origin of this radio emission and its link to nuclear activity requires high sensitivity multi-frequency data. We present such an analysis of the ULIRG Mrk 273. Using the International LOFAR telescope (ILT), we detected spectacular large-scale arcs in this system. This detection includes, for the first time, a giant $\sim$190 kpc arc in the north. We propose these arcs are fuelled by a low power radio AGN triggered by the merger. We also identified a bright $\sim$45 kpc radio ridge, which is likely related to the ionised gas nebula in that region. We combined this with high sensitivity data from APERture Tile In Focus (Apertif) and archival data from the Very Large Array (VLA) to explore the spectral properties. The ILT simultaneously allowed us to probe the nucleus at a resolution of $\sim$0.3 arcsec, where we detected three components, and, for the first time, diffuse emission around these components. Combining this with archival high frequency VLA images of the nucleus allowed us to detect absorption in one component, and a steep spectrum radio AGN in another. We then extrapolate from this case study to the importance of investigating the presence of radio emission in more ULIRGs and what it can tell us about the link between mergers and the presence of radio activity. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Comments: Accepted for publication in A&A

Journal ref: A&A 664, A25 (2022)

Split Moves for Monte-Carlo Tree Search

Authors: Jakub Kowalski, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Mark H. M. Winands

Abstract: In many games, moves consist of several decisions made by the player. These decisions can be viewed as separate moves, which is already a common practice in multi-action games for efficiency reasons. Such division of a player move into a sequence of simpler / lower level moves is called \emph{splitting}. So far, split moves have been applied only in forementioned straightforward cases, and further… ▽ More In many games, moves consist of several decisions made by the player. These decisions can be viewed as separate moves, which is already a common practice in multi-action games for efficiency reasons. Such division of a player move into a sequence of simpler / lower level moves is called \emph{splitting}. So far, split moves have been applied only in forementioned straightforward cases, and furthermore, there was almost no study revealing its impact on agents' playing strength. Taking the knowledge-free perspective, we aim to answer how to effectively use split moves within Monte-Carlo Tree Search (MCTS) and what is the practical impact of split design on agents' strength. This paper proposes a generalization of MCTS that works with arbitrarily split moves. We design several variations of the algorithm and try to measure the impact of split moves separately on efficiency, quality of MCTS, simulations, and action-based heuristics. The tests are carried out on a set of board games and performed using the Regular Boardgames General Game Playing formalism, where split strategies of different granularity can be automatically derived based on an abstract description of the game. The results give an overview of the behavior of agents using split design in different ways. We conclude that split design can be greatly beneficial for single- as well as multi-action games. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: AAAI 2022

A comparison of matrix-free isogeometric Galerkin and collocation methods for Karhunen--Loève expansion

Authors: Michal Lukasz Mika, René Rinke Hiemstra, Thomas Joseph Robert Hughes, Dominik Schillinger

Abstract: Numerical computation of the Karhunen--Loève expansion is computationally challenging in terms of both memory requirements and computing time. We compare two state-of-the-art methods that claim to efficiently solve for the K--L expansion: (1) the matrix-free isogeometric Galerkin method using interpolation based quadrature proposed by the authors in [1] and (2) our new matrix-free implementation o… ▽ More Numerical computation of the Karhunen--Loève expansion is computationally challenging in terms of both memory requirements and computing time. We compare two state-of-the-art methods that claim to efficiently solve for the K--L expansion: (1) the matrix-free isogeometric Galerkin method using interpolation based quadrature proposed by the authors in [1] and (2) our new matrix-free implementation of the isogeometric collocation method proposed in [2]. Two three-dimensional benchmark problems indicate that the Galerkin method performs significantly better for smooth covariance kernels, while the collocation method performs slightly better for rough covariance kernels. △ Less

Submitted 3 January, 2021; originally announced January 2021.

A matrix-free isogeometric Galerkin method for Karhunen-Loève approximation of random fields using tensor product splines, tensor contraction and interpolation based quadrature

Authors: Michal Lukasz Mika, Thomas Joseph Robert Hughes, Dominik Schillinger, Peter Wriggers, René Rinke Hiemstra

Abstract: The Karhunen-Loève series expansion (KLE) decomposes a stochastic process into an infinite series of pairwise uncorrelated random variables and pairwise $L^2$-orthogonal functions. For any given truncation order of the infinite series the basis is optimal in the sense that the total mean squared error is minimized. The orthogonal basis functions are determined as the solution of an eigenvalue prob… ▽ More The Karhunen-Loève series expansion (KLE) decomposes a stochastic process into an infinite series of pairwise uncorrelated random variables and pairwise $L^2$-orthogonal functions. For any given truncation order of the infinite series the basis is optimal in the sense that the total mean squared error is minimized. The orthogonal basis functions are determined as the solution of an eigenvalue problem corresponding to the homogeneous Fredholm integral equation of the second kind, which is computationally challenging for several reasons. Firstly, a Galerkin discretization requires numerical integration over a $2d$ dimensional domain, where $d$, in this work, denotes the spatial dimension. Secondly, the main system matrix of the discretized weak-form is dense. Consequently, the computational complexity of classical finite element formation and assembly procedures as well as the memory requirements of direct solution techniques become quickly computationally intractable with increasing polynomial degree, number of elements and degrees of freedom. The objective of this work is to significantly reduce several of the computational bottlenecks associated with numerical solution of the KLE. We present a matrix-free solution strategy, which is embarrassingly parallel and scales favorably with problem size and polynomial degree. Our approach is based on (1) an interpolation based quadrature that minimizes the required number of quadrature points; (2) an inexpensive reformulation of the generalized eigenvalue problem into a standard eigenvalue problem; and (3) a matrix-free and parallel matrix-vector product for iterative eigenvalue solvers. Two higher-order three-dimensional benchmarks illustrate exceptional computational performance combined with high accuracy and robustness. △ Less

Submitted 21 February, 2021; v1 submitted 27 November, 2020; originally announced November 2020.

Efficient Reasoning in Regular Boardgames

Authors: Jakub Kowalski, Radosław Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Andrzej Tkaczyk

Abstract: We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning… ▽ More We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning, and playing games. In all these tasks, both generality and efficiency are important. In the first part, this paper describes optimizations used by the RBG compiler. The impact of these optimizations ranges from 1.7 to even 33-fold efficiency improvement when measuring the number of possible game playouts per second. Then, we perform an in-depth efficiency comparison with three other modern GGP systems (GDL, Ludii, Ai Ai). We also include our own highly optimized game-specific reasoners to provide a point of reference of the maximum speed. Our experiments show that RBG is currently the fastest among the abstract general game playing languages, and its efficiency can be competitive to common interface-based systems that rely on handcrafted game-specific implementations. Finally, we discuss some issues and methodology of computing benchmarks like this. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: IEEE Conference on Games 2020

A note on the empirical comparison of RBG and Ludii

Authors: Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła

Abstract: We present an experimental comparison of the efficiency of three General Game Playing systems in their current versions: Regular Boardgames (RBG 1.0), Ludii~0.3.0, and a Game Description Language (GDL) propnet. We show that in general, RBG is currently the fastest GGP system. For example, for chess, we demonstrate that RBG is about 37 times faster than Ludii, and Ludii is about 3 times slower than… ▽ More We present an experimental comparison of the efficiency of three General Game Playing systems in their current versions: Regular Boardgames (RBG 1.0), Ludii~0.3.0, and a Game Description Language (GDL) propnet. We show that in general, RBG is currently the fastest GGP system. For example, for chess, we demonstrate that RBG is about 37 times faster than Ludii, and Ludii is about 3 times slower than a GDL propnet. Referring to the recent comparison [An Empirical Evaluation of Two General Game Systems: Ludii and RBG, CoG 2019], we show evidences that the benchmark presented there contains a number of significant flaws that lead to wrong conclusions. △ Less

Submitted 4 October, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

The Frobenius and factor universality problems of the Kleene star of a finite set of words

Authors: Maksymilian Mika, Marek Szykuła

Abstract: We solve open problems concerning the Kleene star $L^*$ of a finite set $L$ of words over an alphabet $Σ$. The \emph{Frobenius monoid} problem is the question for a given finite set of words $L$, whether the language $L^*$ is cofinite. We show that it is PSPACE-complete. We also exhibit an infinite family of sets $L$ such that the length of the longest words not in $L^*$ (when $L^*$ is cofinite) i… ▽ More We solve open problems concerning the Kleene star $L^*$ of a finite set $L$ of words over an alphabet $Σ$. The \emph{Frobenius monoid} problem is the question for a given finite set of words $L$, whether the language $L^*$ is cofinite. We show that it is PSPACE-complete. We also exhibit an infinite family of sets $L$ such that the length of the longest words not in $L^*$ (when $L^*$ is cofinite) is exponential in the length of the longest words in $L$ and subexponential in the sum of the lengths of words in $L$. The \emph{factor universality} problem is the question for a given finite set of words $L$, whether every word over $Σ$ is a factor (substring) of some word from $L^*$. We show that it is also PSPACE-complete. Besides that, we exhibit an infinite family of sets $L$ such that the length of the shortest words not being a factor of any word in $L^*$ is exponential in the length of the longest words in $L$ and subexponential in the sum of the lengths of words in $L$. This essentially settles in the negative the longstanding Restivo's conjecture (1981) and its weak variations. All our solutions base on one shared construction, and as an auxiliary general tool, we introduce the concept of \emph{set rewriting systems}. Finally, we complement the results with upper bounds. △ Less

Submitted 1 April, 2021; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: The final published version plus appendix with a generator of examples

Journal ref: Journal of the ACM, 68(3), 18:1--18:22, 2021

Fulde-Ferrell state in superconducting core/shell nanowires: role of the orbital effect

Authors: M. Mika, P. Wójcik

Abstract: The orbital effect on the Fulde-Ferrell (FF) phase is investigated in superconducting core/shell nanowires subjected to the axial magnetic field. The confinement in the radial direction results in the quantization of the electron motion with energies determined by the radial $j$ and orbital $m$ quantum numbers. In the external magnetic field the twofold degeneracy with respect to the orbital magne… ▽ More The orbital effect on the Fulde-Ferrell (FF) phase is investigated in superconducting core/shell nanowires subjected to the axial magnetic field. The confinement in the radial direction results in the quantization of the electron motion with energies determined by the radial $j$ and orbital $m$ quantum numbers. In the external magnetic field the twofold degeneracy with respect to the orbital magnetic quantum number $m$ is lifted which leads to the Fermi wave vector mismatch between the paired electrons $(k, j,m,\uparrow) \leftrightarrow (-k, j,-m,\downarrow)$. This mismatch is transfered to the nonzero total momentum of the Cooper pairs which results in the formation of FF phase occurring sequentially with increasing magnetic field. By changing the nanowire radius $R$ and the superconducting shell thickness $d$, we discuss the role of the orbital effect in the FF phase formation in both the nanowire-like ($R/d \ll 1$) and nanofilm-like ($R/d \gg 1$) regime. We have found that the irregular pattern of the FF phase, which appears for the case of the nanowire-like regime, evolves towards the regular distribution, in which the FF phase stability regions appear periodically between the BCS state, for the nanofilm-like geometry. The crossover between these two different phase diagrams is explained as resulting from the orbital effect and the multigap character of superconductivity in core/shell nanowires. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 10 pages, 7 figures

Regular Boardgames

Authors: Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła

Abstract: We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical… ▽ More We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical developments in GGP. While dedicated mostly for describing board games, RBG is universal for the class of all finite deterministic turn-based games with perfect information. We establish foundations of RBG, and analyze it theoretically and experimentally, focusing on the efficiency of reasoning. Regular Boardgames is the first GGP language that allows efficient encoding and playing games with complex rules and with large branching factor (e.g.\ amazons, arimaa, large chess variants, go, international checkers, paper soccer). △ Less

Submitted 13 November, 2018; v1 submitted 8 June, 2017; originally announced June 2017.

Comments: AAAI 2019