-
Two-field mixed hp-finite elements for time-dependent problems in the refined theories of thermodynamics
Authors:
Balázs Tóth,
Zsombor Molnár,
Róbert Kovács
Abstract:
Thanks to modern manufacturing technologies, heterogeneous materials with complex inner structures (e.g., foams) can be easily produced. However, their utilization is not straightforward, as the classical constitutive laws are not necessarily valid. According to various experimental observations, the Guyer--Krumhansl equation stands as a promising candidate to model such complex structures. Howeve…
▽ More
Thanks to modern manufacturing technologies, heterogeneous materials with complex inner structures (e.g., foams) can be easily produced. However, their utilization is not straightforward, as the classical constitutive laws are not necessarily valid. According to various experimental observations, the Guyer--Krumhansl equation stands as a promising candidate to model such complex structures. However, the practical applications need a reliable and efficient algorithm that is capable of handling both complex geometries and advanced heat equations. In the present paper, we present the development of a $hp$-type finite element technique, which can be reliably applied. We investigate its convergence properties for various situations, being challenging in relation to stability and the treatment of fast propagation speeds. That algorithm is also proved to be outstandingly efficient, providing solutions four magnitudes faster than commercial algorithms.
△ Less
Submitted 18 December, 2022; v1 submitted 18 September, 2022;
originally announced September 2022.
-
Mathematical analysis and numerical simulation of the Guyer-Krumhansl heat equation
Authors:
Anderson Ramos,
Róbert Kovács,
Mirelson Freitas,
Almeida Júnior
Abstract:
The Guyer-Krumhansl heat equation has numerous important practical applications in both low-temperature and room temperature heat conduction problems. In recent years, it turned out that the Guyer-Krumhansl model can effectively describe the thermal behaviour of macroscale heterogeneous materials. Thus, the Guyer-Krumhansl equation is a promising candidate to be the next standard model in engineer…
▽ More
The Guyer-Krumhansl heat equation has numerous important practical applications in both low-temperature and room temperature heat conduction problems. In recent years, it turned out that the Guyer-Krumhansl model can effectively describe the thermal behaviour of macroscale heterogeneous materials. Thus, the Guyer-Krumhansl equation is a promising candidate to be the next standard model in engineering. However, to support the Guyer-Krumhansl equation's introduction into the engineering practice, its mathematical properties must be thoroughly investigated and understood. In the present paper, we show the basic structure of this particular heat equation, focusing on the differences in comparison to the Fourier heat equation {obtained when $(τ_{q}, μ^{2})\rightarrow (0,0)$}. Additionally, we prove the well-posedness of a particular, practically significant initial and boundary value problem. The stability of the solution is also investigated in the discrete space using a finite difference approach.
△ Less
Submitted 13 July, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
On Minimally Non-Firm Binary Matrices
Authors:
Reka Agnes Kovacs
Abstract:
For a binary matrix X, the Boolean rank br(X) is the smallest integer k for which X equals the Boolean sum of k rank-1 binary matrices, and the isolation number i(X) is the maximum number of 1s no two of which are in a same row, column and a 2x2 submatrix of all 1s. In this paper, we continue Lubiw's study of firm matrices. X is said to be firm if i(X)=br(X) and this equality holds for all its sub…
▽ More
For a binary matrix X, the Boolean rank br(X) is the smallest integer k for which X equals the Boolean sum of k rank-1 binary matrices, and the isolation number i(X) is the maximum number of 1s no two of which are in a same row, column and a 2x2 submatrix of all 1s. In this paper, we continue Lubiw's study of firm matrices. X is said to be firm if i(X)=br(X) and this equality holds for all its submatrices. We show that the stronger concept of superfirmness of X is equivalent to having no odd holes in the rectangle cover graph of X, the graph in which br(X) and i(X) translate to the clique cover and the independence number, respectively. A binary matrix is minimally non-firm if it is not firm but all of its proper submatrices are. We introduce two matrix operations that lead to generalised binary matrices and use these operations to derive four infinite classes of minimally non-firm matrices. We hope that our work may pave the way towards a complete characterisation of firm matrices via forbidden submatrices.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Binary Matrix Factorisation and Completion via Integer Programming
Authors:
Reka A. Kovacs,
Oktay Gunluk,
Raphael A. Hauser
Abstract:
Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary matrix X with possibly missing entries and need to find two binary matrices A and B of dimension n x k and k x m respectively, which minimise the distance between X…
▽ More
Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary matrix X with possibly missing entries and need to find two binary matrices A and B of dimension n x k and k x m respectively, which minimise the distance between X and the Boolean product of A and B in the squared Frobenius distance. We present a compact and two exponential size integer programs (IPs) for k-BMF and show that the compact IP has a weak LP relaxation, while the exponential size IPs have a stronger equivalent LP relaxation. We introduce a new objective function, which differs from the traditional squared Frobenius objective in attributing a weight to zero entries of the input matrix that is proportional to the number of times the zero is erroneously covered in a rank-k factorisation. For one of the exponential size IPs we describe a computational approach based on column generation. Experimental results on synthetic and real word datasets suggest that our integer programming approach is competitive against available methods for k-BMF and provides accurate low-error factorisations.
△ Less
Submitted 3 August, 2021; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Four spacetime dimensional simulation of rheological waves in solids and the merits of thermodynamics
Authors:
Áron Pozsár,
Mátyás Szücs,
Róbert Kovács,
Tamás Fülöp
Abstract:
The recent results attained from a thermodynamically conceived numerical scheme applied on wave propagation in viscoelastic/rheological solids are generalized here, both in the sense that the scheme is extended to four spacetime dimensions and in the aspect of the virtues of a thermodynamical approach. Regarding the scheme, the arrangement of which quantity is represented where in discretized spac…
▽ More
The recent results attained from a thermodynamically conceived numerical scheme applied on wave propagation in viscoelastic/rheological solids are generalized here, both in the sense that the scheme is extended to four spacetime dimensions and in the aspect of the virtues of a thermodynamical approach. Regarding the scheme, the arrangement of which quantity is represented where in discretized spacetime, including the question of appropriately realizing the boundary conditions, is nontrivial. In parallel, placing the problem in the thermodynamical framework proves to be beneficial in regards to monitoring and controlling numerical artefacts - instability, dissipation error, and dispersion error. This, in addition to the observed preciseness, speed, and resource-friendliness, makes the thermodynamically extended symplectic approach that is presented here advantageous above commercial finite element software solutions.
△ Less
Submitted 7 March, 2024; v1 submitted 1 November, 2020;
originally announced December 2020.
-
Binary Matrix Factorisation via Column Generation
Authors:
Reka A. Kovacs,
Oktay Gunluk,
Raphael A. Hauser
Abstract:
Identifying discrete patterns in binary data is an important dimensionality reduction tool in machine learning and data mining. In this paper, we consider the problem of low-rank binary matrix factorisation (BMF) under Boolean arithmetic. Due to the hardness of this problem, most previous attempts rely on heuristic techniques. We formulate the problem as a mixed integer linear program and use a la…
▽ More
Identifying discrete patterns in binary data is an important dimensionality reduction tool in machine learning and data mining. In this paper, we consider the problem of low-rank binary matrix factorisation (BMF) under Boolean arithmetic. Due to the hardness of this problem, most previous attempts rely on heuristic techniques. We formulate the problem as a mixed integer linear program and use a large scale optimisation technique of column generation to solve it without the need of heuristic pattern mining. Our approach focuses on accuracy and on the provision of optimality guarantees. Experimental results on real world datasets demonstrate that our proposed method is effective at producing highly accurate factorisations and improves on the previously available best known results for 15 out of 24 problem instances.
△ Less
Submitted 3 August, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.