-
Algorithms for the Maximum Eulerian Cycle Decomposition Problem
Authors:
Pedro O. Pinheiro,
Alexsandro Oliveira Alexandrino,
Andre R. Oliveira,
Cid C. de Souza,
Zanoni Dias
Abstract:
Given an Eulerian graph G, in the Maximum Eulerian Cycle Decomposition problem, we are interested in finding a collection of edge-disjoint cycles {E_1, E_2, ..., E_k} in G such that all edges of G are in exactly one cycle and k is maximum. We present an algorithm to solve the pricing problem of a column generation Integer Linear Programming (ILP) model introduced by Lancia and Serafini (2016). Fur…
▽ More
Given an Eulerian graph G, in the Maximum Eulerian Cycle Decomposition problem, we are interested in finding a collection of edge-disjoint cycles {E_1, E_2, ..., E_k} in G such that all edges of G are in exactly one cycle and k is maximum. We present an algorithm to solve the pricing problem of a column generation Integer Linear Programming (ILP) model introduced by Lancia and Serafini (2016). Furthermore, we propose a greedy heuristic, which searches for minimum size cycles starting from a random vertex, and a heuristic based on partially solving the ILP model. We performed tests comparing the three approaches in relation to the quality of solutions and execution time, using distinct sets of Eulerian graphs, each set grou** graphs with different numbers of vertices and edges. Our experimental results show that the ILP based heuristic outperforms the other methods.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Solving the Minimum Convex Partition of Point Sets with Integer Programming
Authors:
Allan Sapucaia,
Pedro J. de Rezende,
Cid C. de Souza
Abstract:
The partition of a problem into smaller sub-problems satisfying certain properties is often a key ingredient in the design of divide-and-conquer algorithms. For questions related to location, the partition problem can be modeled, in geometric terms, as finding a subdivision of a planar map -- which represents, say, a geographical area -- into regions subject to certain conditions while optimizing…
▽ More
The partition of a problem into smaller sub-problems satisfying certain properties is often a key ingredient in the design of divide-and-conquer algorithms. For questions related to location, the partition problem can be modeled, in geometric terms, as finding a subdivision of a planar map -- which represents, say, a geographical area -- into regions subject to certain conditions while optimizing some objective function. In this paper, we investigate one of these geometric problems known as the Minimum Convex Partition Problem (MCPP). A convex partition of a point set $P$ in the plane is a subdivision of the convex hull of $P$ whose edges are segments with both endpoints in $P$ and such that all internal faces are empty convex polygons. The MCPP is an NP-hard problem where one seeks to find a convex partition with the least number of faces.
We present a novel polygon-based integer programming formulation for the MCPP, which leads to better dual bounds than the previously known edge-based model. Moreover, we introduce a primal heuristic, a branching rule and a pricing algorithm. The combination of these techniques leads to the ability to solve instances with twice as many points as previously possible while constrained to identical computational resources. A comprehensive experimental study is presented to show the impact of our design choices.
△ Less
Submitted 6 December, 2020;
originally announced December 2020.
-
Counterexample for the 2-approximation of finding partitions of rectilinear polygons with minimum stabbing number
Authors:
Breno Piva,
Cid C. de Souza
Abstract:
This paper presents a counterexample for the approximation algorithm proposed by Durocher and Mehrabi [1] for the general problem of finding a rectangular partition of a rectilinear polygon with minimum stabbing number.
This paper presents a counterexample for the approximation algorithm proposed by Durocher and Mehrabi [1] for the general problem of finding a rectangular partition of a rectilinear polygon with minimum stabbing number.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Constraining condensate dark matter in galaxy clusters
Authors:
J. C. C. de Souza,
M. Ujevic
Abstract:
We constrain scattering length parameters in a Bose-Einstein condensate dark matter model by using galaxy clusters radii, with the implementation of a method previously applied to galaxies. At the present work, we use a sample of 114 clusters radii in order to obtain the scattering lengths associated with a dark matter particle mass in the range $10^{-6}-10^{-4}\, {\rm eV}$. We obtain scattering l…
▽ More
We constrain scattering length parameters in a Bose-Einstein condensate dark matter model by using galaxy clusters radii, with the implementation of a method previously applied to galaxies. At the present work, we use a sample of 114 clusters radii in order to obtain the scattering lengths associated with a dark matter particle mass in the range $10^{-6}-10^{-4}\, {\rm eV}$. We obtain scattering lengths that are five orders of magnitude larger than the ones found in the galactic case, even when taking into account the cosmological expansion in the cluster scale by means of the introduction of a small cosmological constant. We also construct and compare curves for the orbital velocity of a test particle in the vicinity of a dark matter cluster in both the expanding and the non-expanding cases.
△ Less
Submitted 6 August, 2015; v1 submitted 26 November, 2014;
originally announced November 2014.
-
Engineering Art Galleries
Authors:
Pedro J. de Rezende,
Cid C. de Souza,
Stephan Friedrichs,
Michael Hemmer,
Alexander Kröller,
Davi C. Tozoni
Abstract:
The Art Gallery Problem is one of the most well-known problems in Computational Geometry, with a rich history in the study of algorithms, complexity, and variants. Recently there has been a surge in experimental work on the problem. In this survey, we describe this work, show the chronology of developments, and compare current algorithms, including two unpublished versions, in an exhaustive experi…
▽ More
The Art Gallery Problem is one of the most well-known problems in Computational Geometry, with a rich history in the study of algorithms, complexity, and variants. Recently there has been a surge in experimental work on the problem. In this survey, we describe this work, show the chronology of developments, and compare current algorithms, including two unpublished versions, in an exhaustive experiment. Furthermore, we show what core algorithmic ingredients have led to recent successes.
△ Less
Submitted 15 February, 2016; v1 submitted 31 October, 2014;
originally announced October 2014.
-
Discussion on the energy content of the galactic dark matter Bose-Einstein condensate halo in the Thomas-Fermi approximation
Authors:
J. C. C. de Souza,
M. O. C. Pires
Abstract:
We show that the galactic dark matter halo, considered composed of an axionlike particles Bose-Einstein condensate \cite{pir12} trapped by a self-graviting potential \cite{boh07}, may be stable in the Thomas-Fermi approximation since appropriate choices for the dark matter particle mass and scattering length are made. The demonstration is performed by means of the calculation of the potential, kin…
▽ More
We show that the galactic dark matter halo, considered composed of an axionlike particles Bose-Einstein condensate \cite{pir12} trapped by a self-graviting potential \cite{boh07}, may be stable in the Thomas-Fermi approximation since appropriate choices for the dark matter particle mass and scattering length are made. The demonstration is performed by means of the calculation of the potential, kinetic and self-interaction energy terms of a galactic halo described by a Boehmer-Harko density profile. We discuss the validity of the Thomas-Fermi approximation for the halo system, and show that the kinetic energy contribution is indeed negligible.
△ Less
Submitted 7 March, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.
-
Domain Wall Model in the Galactic Bose-Einstein Condensate Halo
Authors:
J. C. C. de Souza,
M. O. C. Pires
Abstract:
We assume that the galactical dark matter halo, considered composed of an axionlike particles Bose-Einstein condensate \cite{pir12}, can present topological defects, namely domain walls, arising as the dark soliton solution for the Gross-Pitaevskii equation in a self-graviting potential. We investigate the influence that such substructures would have in the gravitational interactions within a gala…
▽ More
We assume that the galactical dark matter halo, considered composed of an axionlike particles Bose-Einstein condensate \cite{pir12}, can present topological defects, namely domain walls, arising as the dark soliton solution for the Gross-Pitaevskii equation in a self-graviting potential. We investigate the influence that such substructures would have in the gravitational interactions within a galaxy. We find that, for the simple domain wall model proposed, the effects are too small to be identified, either by means of a local measurement of the gradient of the gravitational field or by analysing galaxy rotation curves. In the first case, the gradient of the gravitational field in the vicinity of the domain wall would be $10^{-31}\; (m/s^2)/m$. In the second case, the ratio of the tangential velocity correction of a star due to the presence of the domain wall to the velocity in the spherical symmetric case would be $10^{-8}$.
△ Less
Submitted 22 May, 2013; v1 submitted 4 April, 2013;
originally announced April 2013.
-
Galactic cold dark matter as a Bose-Einstein condensate of WISPs
Authors:
M. O. C. Pires,
J. C. C. de Souza
Abstract:
We propose here the dark matter content of galaxies as a cold bosonic fluid composed of Weakly Interacting Slim Particles (WISPs), represented by spin-0 axion-like particles and spin-1 hidden bosons, thermalized in the Bose-Einstein condensation state and bounded by their self-gravitational potential. We analyze two zero-momentum configurations: the polar phases in which spin alignment of two neig…
▽ More
We propose here the dark matter content of galaxies as a cold bosonic fluid composed of Weakly Interacting Slim Particles (WISPs), represented by spin-0 axion-like particles and spin-1 hidden bosons, thermalized in the Bose-Einstein condensation state and bounded by their self-gravitational potential. We analyze two zero-momentum configurations: the polar phases in which spin alignment of two neighbouring particles is anti-parallel and the ferromagnetic phases in which every particle spin is aligned in the same direction. Using the mean field approximation we derive the Gross-Pitaevskii equations for both cases, and, supposing the dark matter to be a polytropic fluid, we describe the particles density profile as Thomas-Fermi distributions characterized by the halo radii and in terms of the scattering lengths and mass of each particle. By comparing this model with data obtained from 42 spiral galaxies and 19 Low Surface Brightness (LSB) galaxies, we constrain the dark matter particle mass to the range $10^{-6}-10^{-4} eV$ and we find the lower bound for the scattering length to be of the order $10^{-14} fm$.
△ Less
Submitted 20 November, 2012; v1 submitted 1 August, 2012;
originally announced August 2012.
-
Exact cosmological solutions of models with an interacting dark sector
Authors:
A. B. Pavan,
Elisa G. M. Ferreira,
Sandro M. R. Micheletti,
J. C. C. de Souza,
E. Abdalla
Abstract:
In this work we extend the first order formalism for cosmological models that present an interaction between a fermionic and a scalar field. Cosmological exact solutions describing universes filled with interacting dark energy and dark matter have been obtained. Viable cosmological solutions with an early period of decelerated expansion followed by late acceleration have been found, notably one wh…
▽ More
In this work we extend the first order formalism for cosmological models that present an interaction between a fermionic and a scalar field. Cosmological exact solutions describing universes filled with interacting dark energy and dark matter have been obtained. Viable cosmological solutions with an early period of decelerated expansion followed by late acceleration have been found, notably one which presents a dark matter component dominating in the past and a dark energy component dominating in the future. In another one, the dark energy alone is the responsible for both periods, similar to a Chaplygin gas case. Exclusively accelerating solutions have also been obtained.
△ Less
Submitted 21 November, 2012; v1 submitted 28 November, 2011;
originally announced November 2011.
-
Signature of the interaction between dark energy and dark matter in observations
Authors:
Elcio Abdalla,
L. Raul Abramo,
Jose C. C. de Souza
Abstract:
We investigate the effect of an interaction between dark energy and dark matter upon the dynamics of galaxy clusters. This effect is computed through the Layser-Irvine equation, which describes how an astrophysical system reaches virial equilibrium and was modified to include the dark interactions. Using observational data from almost 100 purportedly relaxed galaxy clusters we put constraints on…
▽ More
We investigate the effect of an interaction between dark energy and dark matter upon the dynamics of galaxy clusters. This effect is computed through the Layser-Irvine equation, which describes how an astrophysical system reaches virial equilibrium and was modified to include the dark interactions. Using observational data from almost 100 purportedly relaxed galaxy clusters we put constraints on the strength of the couplings in the dark sector. We compare our results with those from other observations and find that a positive (in the sense of energy flow from dark energy to dark matter) non vanishing interaction is consistent with the data within several standard deviations.
△ Less
Submitted 14 July, 2010; v1 submitted 27 October, 2009;
originally announced October 2009.
-
The phase space view of f(R) gravity
Authors:
Jose C. C. de Souza,
Valerio Faraoni
Abstract:
We study the geometry of the phase space of spatially flat Friedmann-Lemaitre-Robertson-Walker models in f(R) gravity, for a general form of the function f(R). The equilibrium points (de Sitter spaces) and their stability are discussed, and a comparison is made with the phase space of the equivalent scalar-tensor theory. New effective Lagrangians and Hamiltonians are also presented.
We study the geometry of the phase space of spatially flat Friedmann-Lemaitre-Robertson-Walker models in f(R) gravity, for a general form of the function f(R). The equilibrium points (de Sitter spaces) and their stability are discussed, and a comparison is made with the phase space of the equivalent scalar-tensor theory. New effective Lagrangians and Hamiltonians are also presented.
△ Less
Submitted 4 July, 2007; v1 submitted 8 June, 2007;
originally announced June 2007.