-
Mass Cycle and Dynamics of a Virtual Quiescent Prominence
Authors:
Dion Donné,
Rony Keppens
Abstract:
The mass cycle of solar prominences or filaments is still not completely understood. Researchers agree that these dense structures form by coronal in-situ condensations and plasma siphoning from the underlying chromosphere. In the evaporation-condensation model siphoning arises due to evaporation of chromospheric plasma from localised footpoint heating but this is challenging to justify observatio…
▽ More
The mass cycle of solar prominences or filaments is still not completely understood. Researchers agree that these dense structures form by coronal in-situ condensations and plasma siphoning from the underlying chromosphere. In the evaporation-condensation model siphoning arises due to evaporation of chromospheric plasma from localised footpoint heating but this is challenging to justify observationally. Here, we simulate the reconnection-condensation model at extreme-resolutions down to 20.8 km within a three-dimensional magnetohydrodynamic coronal volume. We form a draining, quiescent prominence and associated coronal rain simultaneously. We show that thermal instability --acting as a trigger for local condensation formation-- by itself drives siphoning flows from the low-corona without the need of any localised heating. In addition, for the first time we demonstrate through a statistical analysis along more than 1000 magnetic field lines that cold condensations give rise to siphoning flows within magnetic threads. This siphoning arises from the strong pressure gradient along field lines induced by thermal instability. No correlation is found between siphoning flows and the prominence mass, making thermal instability the main in-situ mass collection mechanism. Our simulated prominence drains by gliding along strongly sheared, asymmetric, dipped magnetic arcades, and develops natural vertical fine-structure in an otherwise horizontal magnetic field due to the magnetic Rayleigh-Taylor instability. By synthesising our data, our model shows remarkable agreement with observations of quiescent prominences such as its dark coronal cavity in extreme-ultraviolet emission channels, fine-scale vertical structure and reconnection outflows which, for the first time, have been self-consistently obtained as the prominence evolves.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Route towards complete 3D hydro-chemical simulations of companion-perturbed AGB outflows
Authors:
Silke Maes,
Lionel Siess,
Ward Homan,
Jolien Malfait,
Frederik De Ceuster,
Thomas Ceulemans,
Dion Donne,
Mats Esseldeurs,
Leen Decin
Abstract:
Low- and intermediate mass stars experience a significant mass loss during the last phases of their evolution, which obscures them in a vast, dusty envelope. Although it has long been thought this envelope is generally spherically symmetric in shape, recent high-resolution observations find that most of these stars exhibit complex and asymmetrical morphologies, most likely resulting from binary in…
▽ More
Low- and intermediate mass stars experience a significant mass loss during the last phases of their evolution, which obscures them in a vast, dusty envelope. Although it has long been thought this envelope is generally spherically symmetric in shape, recent high-resolution observations find that most of these stars exhibit complex and asymmetrical morphologies, most likely resulting from binary interaction. In order to improve our understanding about these systems, theoretical studies are needed in the form of numerical simulations. Currently, a handful of simulations exist, albeit they mainly focus on the hydrodynamics of the outflow. Hence, we here present the pathway to more detailed and accurate modelling of companion-perturbed outflows with Phantom, by discussing the missing but crucial physical and chemical processes. With these state-of-the-art simulations we aim to make a direct comparison with observations to unveil the true identity on the embedded systems.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Experimental demonstration of entanglement delivery using a quantum network stack
Authors:
Matteo Pompili,
Carlo Delle Donne,
Ingmar te Raa,
Bart van der Vecht,
Matthew Skrzypczyk,
Guilherme Ferreira,
Lisa de Kluijver,
Arian J. Stolk,
Sophie L. N. Hermans,
Przemysław Pawełczak,
Wojciech Kozlowski,
Ronald Hanson,
Stephanie Wehner
Abstract:
Scaling current quantum communication demonstrations to a large-scale quantum network will require not only advancements in quantum hardware capabilities, but also robust control of such devices to bridge the gap to user demand. Moreover, the abstraction of tasks and services offered by the quantum network should enable platform-independent applications to be executed without knowledge of the unde…
▽ More
Scaling current quantum communication demonstrations to a large-scale quantum network will require not only advancements in quantum hardware capabilities, but also robust control of such devices to bridge the gap to user demand. Moreover, the abstraction of tasks and services offered by the quantum network should enable platform-independent applications to be executed without knowledge of the underlying physical implementation. Here we experimentally demonstrate, using remote solid-state quantum network nodes, a link layer and a physical layer protocol for entanglement-based quantum networks. The link layer abstracts the physical-layer entanglement attempts into a robust, platform-independent entanglement delivery service. The system is used to run full state tomography of the delivered entangled states, as well as preparation of a remote qubit state on a server by its client. Our results mark a clear transition from physics experiments to quantum communication systems, which will enable the development and testing of components of future quantum networks.
△ Less
Submitted 25 November, 2021; v1 submitted 22 November, 2021;
originally announced November 2021.
-
NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
Authors:
Axel Dahlberg,
Bart van der Vecht,
Carlo Delle Donne,
Matthew Skrzypczyk,
Ingmar te Raa,
Wojciech Kozlowski,
Stephanie Wehner
Abstract:
We introduce NetQASM, a low-level instruction set architecture for quantum internet applications. NetQASM is a universal, platform-independent and extendable instruction set with support for local quantum gates, powerful classical logic and quantum networking operations for remote entanglement generation. Furthermore, NetQASM allows for close integration of classical logic and communication at the…
▽ More
We introduce NetQASM, a low-level instruction set architecture for quantum internet applications. NetQASM is a universal, platform-independent and extendable instruction set with support for local quantum gates, powerful classical logic and quantum networking operations for remote entanglement generation. Furthermore, NetQASM allows for close integration of classical logic and communication at the application layer with quantum operations at the physical layer. This enables quantum network applications to be programmed in high-level platform-independent software, which is not possible using any other QASM variants. We implement NetQASM in a series of tools to write, parse, encode and run NetQASM code, which are available online. Our tools include a higher-level SDK in Python, which allows an easy way of programming applications for a quantum internet. Our SDK can be used at home by making use of our existing quantum simulators, NetSquid and SimulaQron, and will also provide a public interface to hardware released on a future iteration of Quantum Network Explorer.
△ Less
Submitted 15 December, 2021; v1 submitted 18 November, 2021;
originally announced November 2021.
-
MIP and Set Covering approaches for Sparse Approximation
Authors:
Diego Delle Donne,
Matthieu Kowalski,
Leo Liberti
Abstract:
The Sparse Approximation problem asks to find a solution $x$ such that $||y - Hx|| < α$, for a given norm $||\cdot||$, minimizing the size of the support $||x||_0 := \#\{j \ |\ x_j \neq 0 \}$. We present valid inequalities for Mixed Integer Programming (MIP) formulations for this problem and we show that these families are sufficient to describe the set of feasible supports. This leads to a reform…
▽ More
The Sparse Approximation problem asks to find a solution $x$ such that $||y - Hx|| < α$, for a given norm $||\cdot||$, minimizing the size of the support $||x||_0 := \#\{j \ |\ x_j \neq 0 \}$. We present valid inequalities for Mixed Integer Programming (MIP) formulations for this problem and we show that these families are sufficient to describe the set of feasible supports. This leads to a reformulation of the problem as an Integer Programming (IP) model which in turn represents a Minimum Set Covering formulation, thus yielding many families of valid inequalities which may be used to strengthen the models up. We propose algorithms to solve sparse approximation problems including a branch \& cut for the MIP, a two-stages algorithm to tackle the set covering IP and a heuristic approach based on Local Branching type constraints. These methods are compared in a computational experimentation with the goal of testing their practical potential.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Star Routing: Between Vehicle Routing and Vertex Cover
Authors:
Diego Delle Donne,
Guido Tagliavini
Abstract:
We consider an optimization problem posed by an actual newspaper company, which consists of computing a minimum length route for a delivery truck, such that the driver only stops at street crossings, each time delivering copies to all customers adjacent to the crossing. This can be modeled as an abstract problem that takes an unweighted simple graph $G = (V, E)$ and a subset of edges $X$ and asks…
▽ More
We consider an optimization problem posed by an actual newspaper company, which consists of computing a minimum length route for a delivery truck, such that the driver only stops at street crossings, each time delivering copies to all customers adjacent to the crossing. This can be modeled as an abstract problem that takes an unweighted simple graph $G = (V, E)$ and a subset of edges $X$ and asks for a shortest cycle, not necessarily simple, such that every edge of $X$ has an endpoint in the cycle.
We show that the decision version of the problem is strongly NP-complete, even if $G$ is a grid graph. Regarding approximate solutions, we show that the general case of the problem is APX-hard, and thus no PTAS is possible unless P $=$ NP. Despite the hardness of approximation, we show that given any $α$-approximation algorithm for metric TSP, we can build a $3α$-approximation algorithm for our optimization problem, yielding a concrete $9/2$-approximation algorithm.
The grid case is of particular importance, because it models a city map or some part of it. A usual scenario is having some neighborhood full of customers, which translates as an instance of the abstract problem where almost every edge of $G$ is in $X$. We model this property as $|E - X| = o(|E|)$, and for these instances we give a $(3/2 + \varepsilon)$-approximation algorithm, for any $\varepsilon > 0$, provided that the grid is sufficiently big.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
On the combinatorics of the 2-class classification problem
Authors:
Ricardo C. Corrêa,
Diego Delle Donne,
Javier Marenco
Abstract:
A set of points $X = X_B \cup X_R \subseteq \mathbb{R}^d$ is linearly separable if the convex hulls of $X_B$ and $X_R$ are disjoint, hence there exists a hyperplane separating $X_B$ from $X_R$. Such a hyperplane provides a method for classifying new points, according to which side of the hyperplane the new points lie. When such a linear separation is not possible, it may still be possible to parti…
▽ More
A set of points $X = X_B \cup X_R \subseteq \mathbb{R}^d$ is linearly separable if the convex hulls of $X_B$ and $X_R$ are disjoint, hence there exists a hyperplane separating $X_B$ from $X_R$. Such a hyperplane provides a method for classifying new points, according to which side of the hyperplane the new points lie. When such a linear separation is not possible, it may still be possible to partition $X_B$ and $X_R$ into prespecified numbers of groups, in such a way that every group from $X_B$ is linearly separable from every group from $X_R$. We may also discard some points as outliers, and seek to minimize the number of outliers necessary to find such a partition. Based on these ideas, Bertsimas and Shioda proposed the classification and regression by integer optimization (CRIO) method in 2007. In this work we explore the integer programming aspects of the classification part of CRIO, in particular theoretical properties of the associated formulation. We are able to find facet-inducing inequalities coming from the stable set polytope, hence showing that this classification problem has exploitable combinatorial properties.
△ Less
Submitted 28 December, 2017; v1 submitted 19 June, 2017;
originally announced June 2017.
-
General Cut-Generating Procedures for the Stable Set Polytope
Authors:
Ricardo C. Corrêa,
Diego Delle Donne,
Ivo Koch,
Javier Marenco
Abstract:
We propose general separation procedures for generating cuts for the stable set polytope, inspired by a procedure by Rossi and Smriglio and applying a lifting method by Xavier and Campêlo. In contrast to existing cut-generating procedures, ours generate both rank and non-rank valid inequalities, hence they are of a more general nature than existing methods. This is accomplished by iteratively solv…
▽ More
We propose general separation procedures for generating cuts for the stable set polytope, inspired by a procedure by Rossi and Smriglio and applying a lifting method by Xavier and Campêlo. In contrast to existing cut-generating procedures, ours generate both rank and non-rank valid inequalities, hence they are of a more general nature than existing methods. This is accomplished by iteratively solving a lifting problem, which consists of a maximum weighted stable set problem on a smaller graph. Computational experience on DIMACS benchmark instances shows that the proposed approach may be a useful tool for generating cuts for the stable set polytope.
△ Less
Submitted 28 December, 2017; v1 submitted 29 December, 2015;
originally announced December 2015.
-
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation
Authors:
Victor Campos,
Ricardo C. Corrêa,
Diego Delle Donne,
Javier Marenco,
Annegret Wagler
Abstract:
Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to th…
▽ More
Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.
△ Less
Submitted 28 August, 2015;
originally announced September 2015.
-
A Bit-Parallel Russian Dolls Search for a Maximum Cardinality Clique in a Graph
Authors:
Ricardo C. Corrêa,
Philippe Michelon,
Bertrand Le Cun,
Thierry Mautor,
Diego Delle Donne
Abstract:
Finding the clique of maximum cardinality in an arbitrary graph is an NP-Hard problem that has many applications, which has motivated studies to solve it exactly despite its difficulty. The great majority of algorithms proposed in the literature are based on the Branch and Bound method. In this paper, we propose an exact algorithm for the maximum clique problem based on the Russian Dolls Search me…
▽ More
Finding the clique of maximum cardinality in an arbitrary graph is an NP-Hard problem that has many applications, which has motivated studies to solve it exactly despite its difficulty. The great majority of algorithms proposed in the literature are based on the Branch and Bound method. In this paper, we propose an exact algorithm for the maximum clique problem based on the Russian Dolls Search method. When compared to Branch and Bound, the main difference of the Russian Dolls method is that the nodes of its search tree correspond to decision subproblems, instead of the optimization subproblems of the Branch and Bound method. In comparison to a first implementation of this Russian Dolls method from the literature, several improvements are presented. Some of them are adaptations of techniques already employed successfully in Branch and Bound algorithms, like the use of approximate coloring for pruning purposes and bit-parallel operations. Two different coloring heuristics are tested: the standard greedy and the greedy with recoloring. Other improvements are directly related to the Russian Dolls scheme: the adoption of recursive calls where each subproblem (doll) is solved itself via the same principles than the Russian Dolls Search and the application of an elimination rule allowing not to generate a significant number of dolls. Results of computational experiments show that the algorithm outperforms the best exact combinatorial algorithms in the literature for the great majority of the dense graphs tested, being more than twice faster in several cases.
△ Less
Submitted 27 May, 2015; v1 submitted 4 July, 2014;
originally announced July 2014.