-
Least multivariate Chebyshev polynomials on diagonally determined domains
Authors:
Mareike Dressler,
Simon Foucart,
Mioara Joldes,
Etienne de Klerk,
Jean-Bernard Lasserre,
Yuan Xu
Abstract:
We consider a new multivariate generalization of the classical monic (univariate) Chebyshev polynomial that minimizes the uniform norm on the interval $[-1,1]$. Let $Π^*_n$ be the subset of polynomials of degree at most $n$ in $d$ variables, whose homogeneous part of degree $n$ has coefficients summing up to $1$. The problem is determining a polynomial in $Π^*_n$ with the smallest uniform norm on…
▽ More
We consider a new multivariate generalization of the classical monic (univariate) Chebyshev polynomial that minimizes the uniform norm on the interval $[-1,1]$. Let $Π^*_n$ be the subset of polynomials of degree at most $n$ in $d$ variables, whose homogeneous part of degree $n$ has coefficients summing up to $1$. The problem is determining a polynomial in $Π^*_n$ with the smallest uniform norm on a domain $Ω$, which we call a least Chebyshev polynomial (associated with $Ω$). Our main result solves the problem for $Ω$ belonging to a non-trivial class of domains, defined by a property of its diagonal, and establishes the remarkable result that a least Chebyshev polynomial can be given via the classical, univariate, Chebyshev polynomial. In particular, the solution can be independent of the dimension. The result is valid for fairly general domains that can be non-convex and highly irregular.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Optimization-Aided Construction of Multivariate Chebyshev Polynomials
Authors:
Mareike Dressler,
Simon Foucart,
Etienne de Klerk,
Mioara Joldes,
Jean Bernard Lasserre,
Yuan Xu
Abstract:
This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform norm. Exploiting the Moment-SOS hierarchy, we devise a versatile semidefinite-programming-based procedure to compute such best approximants, as well as associate…
▽ More
This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform norm. Exploiting the Moment-SOS hierarchy, we devise a versatile semidefinite-programming-based procedure to compute such best approximants, as well as associated signatures. Applying this procedure in three variables leads to the values of best approximation errors for all mononials up to degree six on the euclidean ball, the simplex, and the cross-polytope. Furthermore, inspired by numerical experiments, we obtain explicit expressions for Chebyshev polynomials in two cases unresolved before, namely for the monomial $x_1^2 x_2^2 x_3$ on the euclidean ball and for the monomial $x_1^2 x_2 x_3$ on the simplex.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Douglas--Rachford is the best projection method
Authors:
Minh N. Dao,
Mareike Dressler,
Hongzhi Liao,
Vera Roshchina
Abstract:
We prove that the Douglas--Rachford method applied to two closed convex cones in the Euclidean plane converges in finitely many steps if and only if the set of fixed points of the Douglas--Rachford operator is nontrivial. We analyze this special case using circle dynamics.
We also construct explicit examples for a broad family of projection methods for which the set of fixed points of the releva…
▽ More
We prove that the Douglas--Rachford method applied to two closed convex cones in the Euclidean plane converges in finitely many steps if and only if the set of fixed points of the Douglas--Rachford operator is nontrivial. We analyze this special case using circle dynamics.
We also construct explicit examples for a broad family of projection methods for which the set of fixed points of the relevant projection method operator is nontrivial, but the convergence is not finite. This three-parametric family is well known in the projection method literature and includes both the Douglas--Rachford method and the classic method of alternating projections.
Even though our setting is fairly elementary, this work contributes in a new way to the body of theoretical research justifying the superior performance of the Douglas--Rachford method compared to other techniques. Moreover, our result leads to a neat sufficient condition for finite convergence of the Douglas--Rachford method in the locally polyhedral case on the plane, unifying and expanding several special cases available in the literature.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits
Authors:
Mareike Dressler,
Salma Kuhlmann,
Moritz Schick
Abstract:
In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications no…
▽ More
In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications nor under linear transformation of variables. Moreover, we present an alternative proof of an analog of Hilbert's 1888 Theorem for the SOS+SONC cone and prove that in the non-Hilbert cases it provides a proper superset of both the SOS and the SONC cone. This follows by exploiting a new necessary condition for membership in the SONC cone.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Holistic Graph-based Motion Prediction
Authors:
Daniel Grimm,
Philip Schörner,
Moritz Dreßler,
J. -Marius Zöllner
Abstract:
Motion prediction for automated vehicles in complex environments is a difficult task that is to be mastered when automated vehicles are to be used in arbitrary situations. Many factors influence the future motion of traffic participants starting with traffic rules and reaching from the interaction between each other to personal habits of human drivers. Therefore we present a novel approach for a g…
▽ More
Motion prediction for automated vehicles in complex environments is a difficult task that is to be mastered when automated vehicles are to be used in arbitrary situations. Many factors influence the future motion of traffic participants starting with traffic rules and reaching from the interaction between each other to personal habits of human drivers. Therefore we present a novel approach for a graph-based prediction based on a heterogeneous holistic graph representation that combines temporal information, properties and relations between traffic participants as well as relations with static elements like the road network. The information are encoded through different types of nodes and edges that both are enriched with arbitrary features. We evaluated the approach on the INTERACTION and the Argoverse dataset and conducted an informative ablation study to demonstrate the benefit of different types of information for the motion prediction quality.
△ Less
Submitted 20 June, 2023; v1 submitted 31 January, 2023;
originally announced January 2023.
-
Algebraic optimization of sequential decision problems
Authors:
Mareike Dressler,
Marina Garrote-López,
Guido Montúfar,
Johannes Müller,
Kemal Rose
Abstract:
We study the optimization of the expected long-term reward in finite partially observable Markov decision processes over the set of stationary stochastic policies. In the case of deterministic observations, also known as state aggregation, the problem is equivalent to optimizing a linear objective subject to quadratic constraints. We characterize the feasible set of this problem as the intersectio…
▽ More
We study the optimization of the expected long-term reward in finite partially observable Markov decision processes over the set of stationary stochastic policies. In the case of deterministic observations, also known as state aggregation, the problem is equivalent to optimizing a linear objective subject to quadratic constraints. We characterize the feasible set of this problem as the intersection of a product of affine varieties of rank one matrices and a polytope. Based on this description, we obtain bounds on the number of critical points of the optimization problem. Finally, we conduct experiments in which we solve the KKT equations or the Lagrange equations over different boundary components of the feasible set, and compare the result to the theoretical bounds and to other constrained optimization methods.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Time-Varying Semidefinite Programming: Path Following a Burer-Monteiro Factorization
Authors:
Antonio Bellon,
Mareike Dressler,
Vyacheslav Kungurtsev,
Jakub Marecek,
André Uschmajew
Abstract:
We present an online algorithm for time-varying semidefinite programs (TV-SDPs), based on the tracking of the solution trajectory of a low-rank matrix factorization, also known as the Burer-Monteiro factorization, in a path-following procedure. There, a predictor-corrector algorithm solves a sequence of linearized systems. This requires the introduction of a horizontal space constraint to ensure t…
▽ More
We present an online algorithm for time-varying semidefinite programs (TV-SDPs), based on the tracking of the solution trajectory of a low-rank matrix factorization, also known as the Burer-Monteiro factorization, in a path-following procedure. There, a predictor-corrector algorithm solves a sequence of linearized systems. This requires the introduction of a horizontal space constraint to ensure the local injectivity of the low-rank factorization. The method produces a sequence of approximate solutions for the original TV-SDP problem, for which we show that they stay close to the optimal solution path if properly initialized. Numerical experiments for a time-varying max-cut SDP relaxation demonstrate the computational advantages of the proposed method for tracking TV-SDPs in terms of runtime compared to off-the-shelf interior point methods.
△ Less
Submitted 9 January, 2024; v1 submitted 15 October, 2022;
originally announced October 2022.
-
Kronecker Product Approximation of Operators in Spectral Norm via Alternating SDP
Authors:
Mareike Dressler,
André Uschmajew,
Venkat Chandrasekaran
Abstract:
The decomposition or approximation of a linear operator on a matrix space as a sum of Kronecker products plays an important role in matrix equations and low-rank modeling. The approximation problem in Frobenius norm admits a well-known solution via the singular value decomposition. However, the approximation problem in spectral norm, which is more natural for linear operators, is much more challen…
▽ More
The decomposition or approximation of a linear operator on a matrix space as a sum of Kronecker products plays an important role in matrix equations and low-rank modeling. The approximation problem in Frobenius norm admits a well-known solution via the singular value decomposition. However, the approximation problem in spectral norm, which is more natural for linear operators, is much more challenging. In particular, the Frobenius norm solution can be far from optimal in spectral norm. We describe an alternating optimization method based on semidefinite programming to obtain high-quality approximations in spectral norm, and we present computational experiments to illustrate the advantages of our approach.
△ Less
Submitted 6 December, 2023; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Algebraic perspectives on signomial optimization
Authors:
Mareike Dressler,
Riley Murray
Abstract:
Signomials are obtained by generalizing polynomials to allow for arbitrary real exponents. This generalization offers great expressive power, but has historically sacrificed the organizing principle of ``degree'' that is central to polynomial optimization theory. We reclaim that principle here through the concept of signomial rings, which we use to derive complete convex relaxation hierarchies of…
▽ More
Signomials are obtained by generalizing polynomials to allow for arbitrary real exponents. This generalization offers great expressive power, but has historically sacrificed the organizing principle of ``degree'' that is central to polynomial optimization theory. We reclaim that principle here through the concept of signomial rings, which we use to derive complete convex relaxation hierarchies of upper and lower bounds for signomial optimization via sums of arithmetic-geometric exponentials (SAGE) nonnegativity certificates. The Positivstellensatz underlying the lower bounds relies on the concept of conditional SAGE and removes regularity conditions required by earlier works, such as convexity and Archimedeanity of the feasible set. Through worked examples we illustrate the practicality of this hierarchy in areas such as chemical reaction network theory and chemical engineering. These examples include comparisons to direct global solvers (e.g., BARON and ANTIGONE) and the Lasserre hierarchy (where appropriate). The completeness of our hierarchy of upper bounds follows from a generic construction whereby a Positivstellensatz for signomial nonnegativity over a compact set provides for arbitrarily strong outer approximations of the corresponding cone of nonnegative signomials. While working toward that result, we prove basic facts on the existence and uniqueness of solutions to signomial moment problems.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Separability of Hermitian Tensors and PSD Decompositions
Authors:
Mareike Dressler,
Jiawang Nie,
Zi Yang
Abstract:
Hermitian tensors are natural generalizations of Hermitian matrices, while possessing rather different properties. A Hermitian tensor is separable if it has a Hermitian decomposition with only positive coefficients, i.e., it is a sum of rank-1 psd Hermitian tensors. This paper studies how to detect separability of Hermitian tensors. It is equivalent to the long-standing quantum separability proble…
▽ More
Hermitian tensors are natural generalizations of Hermitian matrices, while possessing rather different properties. A Hermitian tensor is separable if it has a Hermitian decomposition with only positive coefficients, i.e., it is a sum of rank-1 psd Hermitian tensors. This paper studies how to detect separability of Hermitian tensors. It is equivalent to the long-standing quantum separability problem in quantum physics, which asks to tell if a given quantum state is entangled or not. We formulate this as a truncated moment problem and then provide a semidefinite relaxation algorithm to solve it. Moreover, we study psd decompositions of separable Hermitian tensors. When the psd rank is low, we first flatten them into cubic order tensors and then apply tensor decomposition methods to compute psd decompositions. We prove that this method works well if the psd rank is low. In computation, this flattening approach can detect separability for much larger sized Hermitian tensors. This method is a good start on determining psd ranks of separable Hermitian tensors.
△ Less
Submitted 9 August, 2021; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Multiple typical ranks in matrix completion
Authors:
Mareike Dressler,
Robert Krone
Abstract:
Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving t…
▽ More
Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving that many sets of specified entries have only one typical rank, and show other families with two typical ranks, specifically focusing on entry sets represented by circulant graphs. This generalizes the results of Bernstein, Blekherman, and Sinn. In particular, we provide a complete characterization of the set of unspecified entries of an $n\times n$ matrix such that $n-1$ is a typical rank and fully determine the typical ranks for entry set $G(n,1)$ for $n<9$. Moreover, we study the asymptotic behaviour of typical ranks and present results regarding unique matrix completions.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Global Optimization via the Dual SONC Cone and Linear Programming
Authors:
Mareike Dressler,
Janin Heuer,
Helen Naumann,
Timo de Wolff
Abstract:
Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a multivariate real polynomial. Our approach builds on two key observations. First, that the dual SONC cone is contained in the primal one. Hence, containment in this cone is a certificate of nonnegativity. Second, we show tha…
▽ More
Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a multivariate real polynomial. Our approach builds on two key observations. First, that the dual SONC cone is contained in the primal one. Hence, containment in this cone is a certificate of nonnegativity. Second, we show that membership in the dual cone can be verified by a linear program. We implement the algorithm and present initial experimental results comparing our method to existing approaches.
△ Less
Submitted 22 October, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Real Zeros of SONC Polynomials
Authors:
Mareike Dressler
Abstract:
We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact determination of the number $B''_{n+1,2d}$ for all $n$ and $d$. $B''_{n+1,2d}$ is defined to be the supremum of the number of zeros of all homogeneous $n+1$-vari…
▽ More
We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact determination of the number $B''_{n+1,2d}$ for all $n$ and $d$. $B''_{n+1,2d}$ is defined to be the supremum of the number of zeros of all homogeneous $n+1$-variate polynomials of degree $2d$ in the SONC cone. The analogously defined numbers $B_{n+1,2d}$ and $B'_{n+1,2d}$ for the nonnegativity cone and the cone of sums of squares were first introduced and studied by Choi, Lam, and Reznick. In strong contrast to our case, the determination of both $B_{n+1,2d}$ and $B'_{n+1,2d}$ for general $n$ and $d$ is still an open question.
Moreover, we initiate the study of the exposed faces of the SONC cone. In particular, we explicitly consider small dimensions and analyze dimension bounds on the exposed faces. When comparing the exposed faces of the SONC cone with those of the nonnegativity cone we observe dimensional differences between them.
△ Less
Submitted 7 November, 2020; v1 submitted 14 September, 2019;
originally announced September 2019.
-
Magnetic Calibration System With Interference Compensation
Authors:
Michal Janosek,
Michal Dressler,
Vojtech Petrucha,
Andrey Chirtsov
Abstract:
This paper describes a novel method for calibrating dc-precise magnetometers in the low field range (100 uT), which gives acceptable results even in laboratory conditions with significant magnetic interference. By introducing a closely mounted reference magnetometer and a specific calibration procedure, it is possible to compensate for the external magnetic field disturbances caused, e.g., by the…
▽ More
This paper describes a novel method for calibrating dc-precise magnetometers in the low field range (100 uT), which gives acceptable results even in laboratory conditions with significant magnetic interference. By introducing a closely mounted reference magnetometer and a specific calibration procedure, it is possible to compensate for the external magnetic field disturbances caused, e.g., by the local transportation operated with dc power supplies. The field compensation occurs only shortly after the calibrating coils are energized. In this case, the leakage of the coil's magnetic flux to the reference sensor due to the cancellation of the time-varying compensating field was negligible. When using 60 cm coils and reference sensor in 2.5 m distance, we were able to calculate magnetometer gains with a standard deviation of 91 ppm. We show that an overall uncertainty of 0.1% can be achieved.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
The dual cone of sums of non-negative circuit polynomials
Authors:
Mareike Dressler,
Helen Naumann,
Thorsten Theobald
Abstract:
For a non-empty, finite subset $\mathcal{A} \subseteq \mathbb{N}_0^n$, denote by $C_{\text{sonc}}(\mathcal{A}) \in \mathbb{R}[x_1, \ldots, x_n]$ the cone of sums of non-negative circuit polynomials with support $\mathcal{A}$. We derive a representation of the dual cone $(C_{\text{sonc}}(\mathcal{A}))^*$ and deduce a resulting optimality criterion for the use of sums of non-negative circuit polynom…
▽ More
For a non-empty, finite subset $\mathcal{A} \subseteq \mathbb{N}_0^n$, denote by $C_{\text{sonc}}(\mathcal{A}) \in \mathbb{R}[x_1, \ldots, x_n]$ the cone of sums of non-negative circuit polynomials with support $\mathcal{A}$. We derive a representation of the dual cone $(C_{\text{sonc}}(\mathcal{A}))^*$ and deduce a resulting optimality criterion for the use of sums of non-negative circuit polynomials in polynomial optimization.
△ Less
Submitted 23 September, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials
Authors:
Mareike Dressler,
Adam Kurpisz,
Timo de Wolff
Abstract:
Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate the analysis of optimization problems over the boolean hypercube via a recent, alt…
▽ More
Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate the analysis of optimization problems over the boolean hypercube via a recent, alternative certificate called sums of nonnegative circuit polynomials (SONC). We show that key results for SOS based certificates remain valid: First, for polynomials, which are nonnegative over the $n$-variate boolean hypercube with constraints of degree $d$ there exists a SONC certificate of degree at most $n+d$. Second, if there exists a degree $d$ SONC certificate for nonnegativity of a polynomial over the boolean hypercube, then there also exists a short degree $d$ SONC certificate, that includes at most $n^{O(d)}$ nonnegative circuit polynomials.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Multi-component lattice Boltzmann models for accurate simulation of flows with wide viscosity variation
Authors:
Hiroshi Otomo,
Bernd Crouse,
Marco Dressler,
David M. Freed,
Ilya Staroselsky,
Raoyang Zhang,
Hudong Chen
Abstract:
Multi-component lattice Boltzmann models operating in a wide range of fluid viscosity values are developed and examined. The algorithm is constructed with the goal to enable engineering applications without sacrificing simplicity and computational efficiency present in the original Shan-Chen model and D3Q19 lattice scheme. Boundary conditions for modeling friction and wettability effects are devel…
▽ More
Multi-component lattice Boltzmann models operating in a wide range of fluid viscosity values are developed and examined. The algorithm is constructed with the goal to enable engineering applications without sacrificing simplicity and computational efficiency present in the original Shan-Chen model and D3Q19 lattice scheme. Boundary conditions for modeling friction and wettability effects are developed for discrete representation of surfaces within a volumetric approach, which results in accurate flow simulation in complex geometry. Numerical validation of our models includes comparison to previous studies and analytical solutions. The results are shown to be robust and accurate up to an extremely small kinematic viscosity value of $0.0017$ lattice units and the extremely high ratio of components' kinematic viscosities of hundreds and up to a thousand. This improvement is significant compared to previous studies with Shan-Chen model \cite{2013_Yang,2004_Kang,2010_Dong}, in which reasonable accuracy was kept only at the viscosity ratio up to 10 in the Poiseuille flow and the fingering simulation.
△ Less
Submitted 8 November, 2017;
originally announced November 2017.
-
A Positivstellensatz for Sums of Nonnegative Circuit Polynomials
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a…
▽ More
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a given compact, semi-algebraic set can be represented by the constraints of the set and SONC polynomials. Based on this Positivstellensatz we provide a hierarchy of lower bounds converging against the minimum of a polynomial on a given compact set $K$. Moreover, we show that these new bounds can be computed efficiently via interior point methods using results about relative entropy functions.
△ Less
Submitted 17 March, 2017; v1 submitted 20 July, 2016;
originally announced July 2016.
-
An Approach to Constrained Polynomial Optimization via Nonnegative Circuit Polynomials and Geometric Programming
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi…
▽ More
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi and Marshall. We show that the combination of both results yields a new method to solve certain classes of constrained polynomial optimization problems. We test the new method experimentally and compare it to semidefinite programming in various examples.
△ Less
Submitted 5 June, 2018; v1 submitted 19 February, 2016;
originally announced February 2016.
-
Studies of accurate multi-component lattice Boltzmann models on benchmark cases required for engineering applications
Authors:
Hiroshi Otomo,
Hongli Fan,
Yong Li,
Marco Dressler,
Ilya Staroselsky,
Raoyang Zhang,
Hudong Chen
Abstract:
We present recent developments in lattice Boltzmann modeling for multi-component flows, implemented on the platform of a general purpose, arbitrary geometry solver PowerFLOW. Presented benchmark cases demonstrate the method's accuracy and robustness necessary for handling real world engineering applications at practical resolution and computational cost. The key requirements for such approach are…
▽ More
We present recent developments in lattice Boltzmann modeling for multi-component flows, implemented on the platform of a general purpose, arbitrary geometry solver PowerFLOW. Presented benchmark cases demonstrate the method's accuracy and robustness necessary for handling real world engineering applications at practical resolution and computational cost. The key requirements for such approach are that the relevant physical properties and flow characteristics do not strongly depend on numerics. In particular, the strength of surface tension obtained using our new approach is independent of viscosity and resolution, while the spurious currents are significantly suppressed. Using a much improved surface wetting model, undesirable numerical artifacts including thin film and artificial droplet movement on inclined wall are significantly reduced.
△ Less
Submitted 6 January, 2016;
originally announced January 2016.
-
The role of water in the behavior of wood
Authors:
Dominique Derome,
Ahmad Rafsanjani,
Stefan Hering,
Martin Dressler,
Alessandra Patera,
Christian Lanvermann,
Marjan Sedighi-Gilani,
Falk K. Wittel,
Peter Niemz,
Jan Carmeliet
Abstract:
Wood, due to its biological origin, has the capacity to interact with water. Sorption/desorption of moisture is accompanied with swelling/shrinkage and softening/hardening of its stiffness. The correct prediction of the behavior of wood components undergoing environmental loading requires that the moisture behavior and mechanical behavior of wood are considered in a coupled manner. We propose a co…
▽ More
Wood, due to its biological origin, has the capacity to interact with water. Sorption/desorption of moisture is accompanied with swelling/shrinkage and softening/hardening of its stiffness. The correct prediction of the behavior of wood components undergoing environmental loading requires that the moisture behavior and mechanical behavior of wood are considered in a coupled manner. We propose a comprehensive framework using a fully coupled poromechanical approach, where its multiscale implementation provides the capacity to take into account, directly, the exact geometry of the wood cellular structure, using computational homogenization. A hierarchical model is used to take into account the subcellular composite-like organization of the material. Such advanced modeling requires high resolution experimental data for the appropriate determination of inputs and for its validation. High-resolution x-ray tomography, digital image correlation, and neutron imaging are presented as valuable methods to provide the required information.
△ Less
Submitted 17 September, 2015;
originally announced September 2015.