Showing 1–50 of 52 results for author: Damian, M

Edge-Unfolding Polycubes with Orthogonally Convex Layers

Authors: Mirela Damian, Henk Meijer

Abstract: A polycube is an orthogonal polyhedron composed of unit cubes glued together along entire faces, homeomorphic to a sphere. A polycube layer is the section of the polycube that lies between two horizontal cross-sections of the polycube at unit distance from each other. An edge unfolding of a polycube involves cutting its surface along any of the constituent cube edges and flattening it into a singl… ▽ More A polycube is an orthogonal polyhedron composed of unit cubes glued together along entire faces, homeomorphic to a sphere. A polycube layer is the section of the polycube that lies between two horizontal cross-sections of the polycube at unit distance from each other. An edge unfolding of a polycube involves cutting its surface along any of the constituent cube edges and flattening it into a single, non-overlapping planar piece. We show that any polycube with orthogonally convex layers can be edge unfolded. △ Less

Submitted 16 July, 2024; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: 36 pages, 25 figures

ACM Class: F.2.2

Floer Homology with DG Coefficients. Applications to cotangent bundles

Authors: Jean-François Barraud, Mihai Damian, Vincent Humilière, Alexandru Oancea

Abstract: We define Hamiltonian Floer homology with differential graded (DG) local coefficients for symplectically aspherical manifolds. The differential of the underlying complex involves chain representatives of the fundamental classes of the moduli spaces of Floer trajectories of arbitrary dimension. This setup allows in particular to define and compute Floer homology with coefficients in chains on fiber… ▽ More We define Hamiltonian Floer homology with differential graded (DG) local coefficients for symplectically aspherical manifolds. The differential of the underlying complex involves chain representatives of the fundamental classes of the moduli spaces of Floer trajectories of arbitrary dimension. This setup allows in particular to define and compute Floer homology with coefficients in chains on fibers of fibrations over the free loop space of the underlying symplectic manifold. We develop the DG Floer toolset, including continuation maps and homotopies, and we also define and study symplectic homology groups with DG local coefficients. We define spectral invariants and establish general criteria for almost existence of contractible periodic orbits on regular energy levels of Hamiltonian systems inside Liouville domains. In the case of cotangent bundles, we prove a Viterbo isomorphism theorem with DG local coefficients. This serves as a stepping stone for applications to the almost existence of contractible closed characteristics on closed smooth hypersurfaces. In this context, our methods allow to access for the first time the dichotomy between closed manifolds that are aspherical and those that are not. △ Less

Submitted 4 July, 2024; v1 submitted 11 April, 2024; originally announced April 2024.

Comments: 125 pages, 3 figures. v2: we have partially rewritten the introduction and we have added some references

MSC Class: 57R58; 53D40; 55N25; 14F08

Inconsistencies in Unstructured Geometric Volume-of-Fluid Methods for Two-Phase Flows with High Density Ratios

Authors: Jun Liu, Tobias Tolle, Davide Zuzio, Jean-Luc Estivalezes, Santiago Marquez Damian, Tomislav Maric

Abstract: Geometric flux-based Volume-of-Fluid (VOF) methods are widely considered consistent in handling two-phase flows with high density ratios. However, although the conservation of mass and momentum is consistent for two-phase incompressible single-field Navier-Stokes equations without phase-change, discretization may easily introduce small inconsistencies that result in very large errors or catastroph… ▽ More Geometric flux-based Volume-of-Fluid (VOF) methods are widely considered consistent in handling two-phase flows with high density ratios. However, although the conservation of mass and momentum is consistent for two-phase incompressible single-field Navier-Stokes equations without phase-change, discretization may easily introduce small inconsistencies that result in very large errors or catastrophic failure. We apply the consistency conditions derived for the unstructured Level Set / Front Tracking method to flux-based geometric VOF methods, and implement our discretization into the plicRDF-isoAdvector geometrical VOF method. We find that computing the mass flux by scaling the geometrically computed fluxed phase-specific volume destroys the equivalence between the scaled volume fraction equation and the mass conservation equation, depending on the choice for the temporal and convective term discretization schemes. We propose two solutions. First, based on the analysis of discretization errors, we suggest a consistent combination of the temporal discretization scheme and the interpolation scheme for the momentum convection term. Second, similar to our previous work on the unstructured Level Set / Front Tracking method, we solve an auxiliary mass conservation equation with a geometrical calculation of the face-centered density. We prove the equivalence between these two approaches mathematically and verify and validate their numerical stability for density ratios in the range $[1,10^6]$ and viscosity ratios in the range $[10^2,10^5]$. △ Less

Submitted 7 January, 2025; v1 submitted 16 December, 2023; originally announced December 2023.

Journal ref: Computers & Fluids, 281 (2024) 106375

The HIBEAM Instrument at the European Spallation Source

Authors: V. Santoro, D. Milstead, P. Fierlinger, W. M. Snow, J. Amaral, J. Barrow, M. Bartis, P. Bentley, L. Björk, G. Brooijmans, L. Broussard, A. Burgman, G. Croci, N. de la Cour, D. D. Di Julio, K. Dunne, L. Eklund, H. Eriksson, M. J. Ferreira, U. Friman-Gayer, P. Golubev, G. Gorini, G. P. Guedes, V. Hehl, A. Heinz , et al. (39 additional authors not shown)

Abstract: The European Spallation Source (ESS) will be the world's brightest neutron source and will open a new intensity frontier in particle physics. The HIBEAM collaboration aims to exploit the unique potential of the ESS with a dedicated ESS instrument for particle physics which offers world-leading capability in a number of areas. The HIBEAM program includes the first search in thirty years for free ne… ▽ More The European Spallation Source (ESS) will be the world's brightest neutron source and will open a new intensity frontier in particle physics. The HIBEAM collaboration aims to exploit the unique potential of the ESS with a dedicated ESS instrument for particle physics which offers world-leading capability in a number of areas. The HIBEAM program includes the first search in thirty years for free neutrons converting to antineutrons and searches for sterile neutrons, ultralight axion dark matter and nonzero neutron electric charge. This paper outlines the capabilities, design, infrastructure, and scientific potential of the HIBEAM program, including its dedicated beamline, neutron optical system, magnetic shielding and control, and detectors for neutrons and antineutrons. Additionally, we discuss the long-term scientific exploitation of HIBEAM, which may include measurements of the neutron electric dipole moment and precision studies of neutron decays. △ Less

Submitted 7 April, 2025; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 80 pages, 30 figures

Journal ref: J. Phys. G: Nucl. Part. Phys (2025)

HighNESS Conceptual Design Report: Volume I

Authors: V. Santoro, O. Abou El Kheir, D. Acharya, M. Akhyani, K. H. Andersen, J. Barrow, P. Bentley, M. Bernasconi, M. Bertelsen, Y. Bessler, A. Bianchi, G. Brooijmans, L. Broussard, T. Brys, M. Busi, D. Campi, A. Chambon, J. Chen, V. Czamler, P. Deen, D. D. DiJulio, E. Dian, L. Draskovits, K. Dunne, M. El Barbari , et al. (65 additional authors not shown)

Abstract: The European Spallation Source, currently under construction in Lund, Sweden, is a multidisciplinary international laboratory. Once completed to full specifications, it will operate the world's most powerful pulsed neutron source. Supported by a 3 million Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) has been completed to develop a second neutron… ▽ More The European Spallation Source, currently under construction in Lund, Sweden, is a multidisciplinary international laboratory. Once completed to full specifications, it will operate the world's most powerful pulsed neutron source. Supported by a 3 million Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) has been completed to develop a second neutron source located below the spallation target. Compared to the first source, designed for high cold and thermal brightness, the new source has been optimized to deliver higher intensity, and a shift to longer wavelengths in the spectral regions of cold (CN, 2--20\,Å), very cold (VCN, 10--120\,Å), and ultracold (UCN, ${>}\,{500}$\,Å) neutrons. The second source comprises a large liquid deuterium moderator designed to produce CN and support secondary VCN and UCN sources. Various options have been explored in the proposed designs, aiming for world-leading performance in neutronics. These designs will enable the development of several new instrument concepts and facilitate the implementation of a high-sensitivity neutron-antineutron oscillation experiment (NNBAR). This document serves as the Conceptual Design Report for the HighNESS project, representing its final deliverable. △ Less

Submitted 28 May, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 269 pages, 255 figures. Volume I of the final deliverable of the HighNESS Project (HORIZON 2020 grant agreement ID: 951782)

Morse homology with DG coefficients

Authors: Jean-François Barraud, Mihai Damian, Vincent Humilière, Alexandru Oancea

Abstract: We develop a theory of Morse homology and cohomology with coefficients in a derived local system, for manifolds and also more generally for colimits of spaces that have the homotopy type of manifolds, with a view towards Floer theory. The model that we adopt for derived, or differential graded (DG) local systems is that of DG modules over chains on the based loop space of a manifold. These encompa… ▽ More We develop a theory of Morse homology and cohomology with coefficients in a derived local system, for manifolds and also more generally for colimits of spaces that have the homotopy type of manifolds, with a view towards Floer theory. The model that we adopt for derived, or differential graded (DG) local systems is that of DG modules over chains on the based loop space of a manifold. These encompass both classical (non DG) local systems and chains on fibers of Hurewicz fibrations. We prove that the Morse homology and cohomology groups that we construct are isomorphic to DG Tor and Ext functors. The key ingredient in the definition is a notion of twisting cocycle obtained by evaluating into based loops a coherent system of representatives for the fundamental classes of the moduli spaces of Morse trajectories of arbitrary dimensions. From this perspective, our construction sits midway between classical Morse homology with twisted coefficients and more refined invariants of Floer homotopical flavor. The construction of the twisting cocycle is originally due to Barraud and Cornea with Z/2-coefficients. We show that the twisting cocycle with integer coefficients is equivalent to Brown's universal twisting cocycle. We prove that Morse homology with coefficients in chains on the fiber of a Hurewicz fibration recovers the homology of the total space of the fibration. We study several structural properties of the theory: invariance, functoriality, and Poincaré duality, also in the nonorientable case. △ Less

Submitted 10 September, 2024; v1 submitted 11 August, 2023; originally announced August 2023.

Comments: 256 pages. v2: Minor modifications and additions to address referee's comments. Change to book format. v3: Minor change

Particle Physics at the European Spallation Source

Authors: H. Abele, A. Alekou, A. Algora, K. Andersen, S. Baessler, L. Barron-Palos, J. Barrow, E. Baussan, P. Bentley, Z. Berezhiani, Y. Bessler, A. K. Bhattacharyya, A. Bianchi, J. Bijnens, C. Blanco, N. Blaskovic Kraljevic, M. Blennow, K. Bodek, M. Bogomilov, C. Bohm, B. Bolling, E. Bouquerel, G. Brooijmans, L. J. Broussard, O. Buchan , et al. (154 additional authors not shown)

Abstract: Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons… ▽ More Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons and neutrinos produced at the ESS for high precision (sensitivity) measurements (searches). △ Less

Submitted 30 January, 2024; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 121 pages, updated version after referee comments

The Development of the NNBAR Experiment

Authors: F. Backman, J. Barrow, Y. Beßler, A. Bianchi, C. Bohm, G. Brooijmans, L. J. Broussard, H. Calen, J. Cederkäll, J. I. M. Damian, E. Dian, D. D. Di Julio, K. Dunne, L. Eklund, M. J. Ferreira, P. Fierlinger, U. Friman-Gayer, C. Happe, M. Holl, T. Johansson, Y. Kamyshkov, E. Klinkby, R. Kolevatov, A. Kupsc, B. Meirose , et al. (18 additional authors not shown)

Abstract: The NNBAR experiment for the European Spallation Source will search for free neutrons converting to antineutrons with a sensitivity improvement of three orders of magnitude compared to the last such search. This paper describes progress towards a conceptual design report for NNBAR. The design of a moderator, neutron reflector, beamline, shielding and annihilation detector is reported. The simulati… ▽ More The NNBAR experiment for the European Spallation Source will search for free neutrons converting to antineutrons with a sensitivity improvement of three orders of magnitude compared to the last such search. This paper describes progress towards a conceptual design report for NNBAR. The design of a moderator, neutron reflector, beamline, shielding and annihilation detector is reported. The simulations used form part of a model which will be used for optimisation of the experiment design and quantification of its sensitivity. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 30 pages, 26 figures, accepted for publication in Journal of Instrumentation (JINST)

Spectroscopic Neutron Imaging for Resolving Hydrogen Dynamics Changes in Battery Electrolytes

Authors: E. R. Carreón Ruiz, J. Lee, J. I. Márquez Damián, M. Strobl, G. Burca, R. Woracek, M. Cochet, M. -O. Ebert, L. Höltschi, P. M. Kadletz, A. S. Tremsin, E. Winter, M. Zlobinski, L. Gubler, P. Boillat

Abstract: We present spectroscopic neutron imaging (SNI), a bridge between imaging and scattering techniques, for the analysis of hydrogenated molecules in lithium-ion cells. The scattering information of CHn-based organic solvents and electrolytes was mapped in two-dimensional space by investigating the wavelength-dependent property of hydrogen atoms through time-of-flight imaging. Our investigation demons… ▽ More We present spectroscopic neutron imaging (SNI), a bridge between imaging and scattering techniques, for the analysis of hydrogenated molecules in lithium-ion cells. The scattering information of CHn-based organic solvents and electrolytes was mapped in two-dimensional space by investigating the wavelength-dependent property of hydrogen atoms through time-of-flight imaging. Our investigation demonstrates a novel approach to detect physical and chemical changes in hydrogenated liquids, which extends, but not limits, the use of SNI to relevant applications in electrochemical devices, e.g., the study of electrolytes in Li-ion batteries. △ Less

Submitted 18 July, 2022; originally announced July 2022.

Reconfiguration of Non-crossing Spanning Trees

Authors: Oswin Aichholzer, Brad Ballinger, Therese Biedl, Mirela Damian, Erik D. Demaine, Matias Korman, Anna Lubiw, Jayson Lynch, Josef Tkadlec, Yushi Uno

Abstract: For a set $P$ of $n$ points in the plane in general position, a non-crossing spanning tree is a spanning tree of the points where every edge is a straight-line segment between a pair of points and no two edges intersect except at a common endpoint. We study the problem of reconfiguring one non-crossing spanning tree of $P$ to another using a sequence of flips where each flip removes one edge and a… ▽ More For a set $P$ of $n$ points in the plane in general position, a non-crossing spanning tree is a spanning tree of the points where every edge is a straight-line segment between a pair of points and no two edges intersect except at a common endpoint. We study the problem of reconfiguring one non-crossing spanning tree of $P$ to another using a sequence of flips where each flip removes one edge and adds one new edge so that the result is again a non-crossing spanning tree of $P$. There is a known upper bound of $2n-4$ flips [Avis and Fukuda, 1996] and a lower bound of $1.5n - 5$ flips. We give a reconfiguration algorithm that uses at most $2n-3$ flips but reduces that to $1.5n-2$ flips when one tree is a path and either: the points are in convex position; or the path is monotone in some direction. For points in convex position, we prove an upper bound of $2d - Ω(\log d)$ where $d$ is half the size of the symmetric difference between the trees. We also examine whether the happy edges (those common to the initial and final trees) need to flip, and we find exact minimum flip distances for small point sets using exhaustive search. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Comments: 25 pages

ACM Class: F.2.2

Development of a High Intensity Neutron Source at the European Spallation Source: The HighNESS project

Authors: V. Santoro, K. H. Andersen, M. Bernasconi, M. Bertelsen, Y. Beßler, D. Campi, V. Czamler, D. D. Di Julio, E. Diane, K. Dunne, P. Fierlinger, A. Gaye, G. Gorini, C. Happe, T. Kittelmann, E. B. Klinkby, Z. Kokai, R. Kolevatov, B. Lauritzen, R. Linander, J. I. Marquez Damian, B. Meirose, F. Mezei, D. Milstead, G. Muhrer , et al. (14 additional authors not shown)

Abstract: The European Spallation Source (ESS), presently under construction in Lund, Sweden, is a multidisciplinary international laboratory that will operate the world's most powerful pulsed neutron source. Supported by a 3M Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) is now underway to develop a second neutron source below the spallation target. Compa… ▽ More The European Spallation Source (ESS), presently under construction in Lund, Sweden, is a multidisciplinary international laboratory that will operate the world's most powerful pulsed neutron source. Supported by a 3M Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) is now underway to develop a second neutron source below the spallation target. Compared to the first source, located above the spallation target and designed for high cold and thermal brightness, the new source will provide higher intensity, and a shift to longer wavelengths in the spectral regions of cold (2 /- 20 Å), very cold (VCN, 10 /- 120 Å), and ultra cold (UCN, > 500 Å) neutrons. The core of the second source will consist of a large liquid deuterium moderator to deliver a high flux of cold neutrons and to serve secondary VCN and UCN sources, for which different options are under study. The features of these new sources will boost several areas of condensed matter research and will provide unique opportunities in fundamental physics. Part of the HighNESS project is also dedicated to the development of future instruments that will make use of the new source and will complement the initial suite of instruments in construction at ESS. The HighNESS project started in October 2020. In this paper, the ongoing developments and the results obtained in the first year are described. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 10 pages, 10 figures, 14th International Topical Meeting on Nuclear Applications of Accelerators, November 30 to December 4, 2021, Washington, DC

KDSource, a tool for the generation of Monte Carlo particle sources using kernel density estimation

Authors: N. S. Schmidt, O. I. Abbate, Z. M. Prieto, J. I. Robledo, J. I. Márquez Damián, A. A. Márquez, J. Dawidowski

Abstract: Monte Carlo radiation transport simulations have clearly contributed to improve the design of nuclear systems. When performing in-beam or shielding simulations a complexity arises due to the fact that particles must be tracked to regions far from the original source or behind the shielding, often lacking sufficient statistics. Different possibilities to overcome this problem such as using particle… ▽ More Monte Carlo radiation transport simulations have clearly contributed to improve the design of nuclear systems. When performing in-beam or shielding simulations a complexity arises due to the fact that particles must be tracked to regions far from the original source or behind the shielding, often lacking sufficient statistics. Different possibilities to overcome this problem such as using particle lists or generating synthetic sources have already been reported. In this work we present a new approach by using the adaptive multivariate kernel density estimator (KDE) method. This concept was implemented in KDSource, a general tool for modelling, optimizing and sampling KDE sources, which provides a convenient user interface. The basic properties of the method were studied in an analytical problem with a known density distribution. Furthermore, the tool was used in two Monte Carlo simulations that modelled neutron beams, which showed good agreement with experimental results. △ Less

Submitted 14 March, 2022; v1 submitted 10 March, 2022; originally announced March 2022.

NJOY+NCrystal: an open-source tool for creating thermal neutron scattering libraries

Authors: Kemal Ramic, Jose Ignacio Marquez Damian, Thomas Kittelmann, Douglas D. Di Julio, Davide Campi, Marco Bernasconi, Giuseppe Gorini, Valentina Santoro

Abstract: In this work we present NJOY+NCrystal, a tool to generate thermal neutron scattering libraries with support for coherent and incoherent elastic components for crystalline solid materials. This tool, which is a customized version of NJOY, was created by modifying the nuclear data processing program NJOY to call the thermal scattering software library NCrystal, and includes a proposed change in the… ▽ More In this work we present NJOY+NCrystal, a tool to generate thermal neutron scattering libraries with support for coherent and incoherent elastic components for crystalline solid materials. This tool, which is a customized version of NJOY, was created by modifying the nuclear data processing program NJOY to call the thermal scattering software library NCrystal, and includes a proposed change in the ENDF-6 format to store both the coherent and incoherent elastic components. Necessary changes to enable this format in NJOY, as well as to sample it in the OpenMC Monte Carlo code, are detailed here. Examples of materials that are coherent-dominant, incoherent-dominant, and mixed elastic scatterers are presented, as well as the creation of novel libraries for MgH$_2$ and MgD$_2$, that are under consideration as advanced neutron reflectors in the HighNESS project at the European Spallation Source. NJOY+NCrystal simplifies greatly the process to generate thermal scattering libraries (TSL) and this is exemplified with 213 new and updated TSL evaluations. △ Less

Submitted 22 November, 2021; v1 submitted 26 August, 2021; originally announced August 2021.

Calculation of kinetic parameters $β_{\mathit{eff}}$ and $Λ$ with modified open source Monte Carlo code OpenMC(TD)

Authors: Jaime Romero-Barrientos, Jose Ignacio Marquez Damian, Francisco Molina, Marcelo Zambra, Pablo Aguilera, Franco Lopez-Usquiano, Byron Parra

Abstract: This work presents the methodology used to expand the capabilities of the Monte Carlo code OpenMC for the calculation of reactor kinetic parameters: effective delayed neutron fraction $β_{\mathit{eff}}$ and neutron generation time $Λ$. The modified code, OpenMC(Time-Dependent) or OpenMC(TD), was then used to calculate the effective delayed neutron fraction by using the prompt method, while the neu… ▽ More This work presents the methodology used to expand the capabilities of the Monte Carlo code OpenMC for the calculation of reactor kinetic parameters: effective delayed neutron fraction $β_{\mathit{eff}}$ and neutron generation time $Λ$. The modified code, OpenMC(Time-Dependent) or OpenMC(TD), was then used to calculate the effective delayed neutron fraction by using the prompt method, while the neutron generation time was estimated using the pulsed method, fitting $Λ$ to the decay of the neutron population. OpenMC(TD) is intended to serve as an alternative for the estimation of kinetic parameters when licensed codes are not available. The results obtained are compared to experimental data and MCNP calculated values for $18$ benchmark configurations. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 7 pages with 2 figures

A Computing and Detector Simulation Framework for the HIBEAM/NNBAR Experimental Program at the ESS

Authors: J. Barrow, G. Brooijmans, J. I. M. Damian, D. DiJulio, K. Dunne, M. Frost, E. Golubeva, Y. Kamyshkov, T. Kittelmann, E. Klinkby, Z. Kókai, J. Makkinje, B. Meirose, D. Milstead, A. Nepomuceno, A. Oskarsson, K. Ramic, N. Rizzi, V. Santoro, S. Silverstein, A. Takibayev, R. Wagner, S-C. Yiu, L. Zanini, O. Zimmer

Abstract: The HIBEAM/NNBAR program is a proposed two-stage experiment at the European Spallation Source focusing on searches for baryon number violation via processes in which neutrons convert to antineutrons. This paper outlines the computing and detector simulation framework for the HIBEAM/NNBAR program. The simulation is based on predictions of neutron flux and neutronics together with signal and backgro… ▽ More The HIBEAM/NNBAR program is a proposed two-stage experiment at the European Spallation Source focusing on searches for baryon number violation via processes in which neutrons convert to antineutrons. This paper outlines the computing and detector simulation framework for the HIBEAM/NNBAR program. The simulation is based on predictions of neutron flux and neutronics together with signal and background generation. A range of diverse simulation packages are incorporated, including Monte Carlo transport codes, neutron ray-tracing simulation packages, and detector simulation software. The common simulation package in which these elements are interfaced together is discussed. Data management plans and triggers are also described. △ Less

Submitted 30 June, 2021; originally announced June 2021.

Comments: Contribution to CHEP2021. Accepted for publication in the European Physical Journal (EPJ) Web of Conferences

Development of neutron scattering kernels for cold neutron reflector materials

Authors: José Rolando Granada, José Ignacio Márquez Damián, Javier Dawidowski, José Ignacio Robledo, Christian Helman, Giovanni Romanelli, Goran Škoro

Abstract: The newest neutron scattering applications are highly intensity-limited techniques that demand reducing the neutron losses between source and detectors. In addition, the nuclear industry demands more accurate data and procedures for the design and optimization of advanced fission reactors, especially for the treatment of fuel and moderator materials. To meet these demands, it is necessary to impro… ▽ More The newest neutron scattering applications are highly intensity-limited techniques that demand reducing the neutron losses between source and detectors. In addition, the nuclear industry demands more accurate data and procedures for the design and optimization of advanced fission reactors, especially for the treatment of fuel and moderator materials. To meet these demands, it is necessary to improve the existing calculation tools, through the generation of better models that describe the interaction of neutrons with the systems of interest. The Neutron Physics Department at Centro Atomico Bariloche (CNEA, Argentina) has been developing over the time new models for the interaction of slow neutrons with materials, to produce scattering kernels and cross section data in the thermal and cold neutron energy region. Besides the studies carried out on neutron moderators, we have recently begun looking at materials that could serve as efficient neutron reflectors over those energy ranges. In this work we present the results of transmission and scattering experiments on diamond nanopowder and magnesium hydride, carried out simultaneously at the VESUVIO spectrometer (ISIS, UK), and compare them with newly generated cross-section libraries. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Comments: UCANS-Web 2020

Nuclear data development at the European Spallation Source

Authors: Jose Ignacio Marquez Damian, Douglas D. DiJulio, Günter Muhrer

Abstract: Transport calculations for neutronic design require accurate nuclear data and validated computational tools. In the Spallation Physics Group, at the European Spallation Source, we perform shielding and neutron beam calculations to help the deployment of the instrument suite for the current high brilliance (top) moderator, as well for the design of the high intensity bottom moderator, currently und… ▽ More Transport calculations for neutronic design require accurate nuclear data and validated computational tools. In the Spallation Physics Group, at the European Spallation Source, we perform shielding and neutron beam calculations to help the deployment of the instrument suite for the current high brilliance (top) moderator, as well for the design of the high intensity bottom moderator, currently under study for the facility. This work includes providing the best available nuclear data in addition to improving models and tools when necessary. In this paper we present the status of these activities, which include a set of thermal scattering kernels for moderator, reflector, and structural materials, the development of new kernels for beryllium considering crystallite size effects, nanodiamonds, liquid hydrogen and deuterium based on path integral molecular dynamics, and the use of the software package NCrystal to assist the development of nuclear data in the framework of the new HighNESS project. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: UCANS-Web 2020

Thermal neutron cross sections of amino acids from average contributions of functional groups

Authors: G. Romanelli, D. Onorati, P. Ulpiani, S. Cancelli, E. Perelli-Cippo, J. I. Márquez Damián, S. C. Capelli, G. Croci, A. Muraro, M. Tardocchi, G. Gorini, C. Andreani, R. Senesi

Abstract: The experimental thermal neutron cross sections of the twenty proteinogenic amino acids have been measured over the incident-neutron energy range spanning from 1 meV to 10 keV and data have been interpreted using the multi-phonon expansion based on first-principles calculations. The scattering cross section, dominated by the incoherent inelastic contribution from the hydrogen atoms, can be rationa… ▽ More The experimental thermal neutron cross sections of the twenty proteinogenic amino acids have been measured over the incident-neutron energy range spanning from 1 meV to 10 keV and data have been interpreted using the multi-phonon expansion based on first-principles calculations. The scattering cross section, dominated by the incoherent inelastic contribution from the hydrogen atoms, can be rationalised in terms of the average contributions of different functional groups, thus neglecting their correlation. These results can be used for modelling the total neutron cross sections of complex organic systems like proteins, muscles, or human tissues from a limited number of starting input functions. This simplification is of crucial importance for fine-tuning of transport simulations used in medical applications, including boron neutron capture therapy as well as secondary neutrons-emission induced during proton therapy. Moreover, the parametrized neutron cross sections allow a better treatment of neutron scattering experiments, providing detailed sample self-attenuation corrections for a variety of biological and soft-matter systems. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Universal Reconfiguration of Facet-Connected Modular Robots by Pivots: The $O(1)$ Musketeers

Authors: Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmović, Robin Flatland, Matias Korman, Belén Palop, Irene Parada, André van Renssen, Vera Sacristán

Abstract: We present the first universal reconfiguration algorithm for transforming a modular robot between any two facet-connected square-grid configurations using pivot moves. More precisely, we show that five extra "helper" modules ("musketeers") suffice to reconfigure the remaining $n$ modules between any two given configurations. Our algorithm uses $O(n^2)$ pivot moves, which is worst-case optimal. Pre… ▽ More We present the first universal reconfiguration algorithm for transforming a modular robot between any two facet-connected square-grid configurations using pivot moves. More precisely, we show that five extra "helper" modules ("musketeers") suffice to reconfigure the remaining $n$ modules between any two given configurations. Our algorithm uses $O(n^2)$ pivot moves, which is worst-case optimal. Previous reconfiguration algorithms either require less restrictive "sliding" moves, do not preserve facet-connectivity, or for the setting we consider, could only handle a small subset of configurations defined by a local forbidden pattern. Configurations with the forbidden pattern do have disconnected reconfiguration graphs (discrete configuration spaces), and indeed we show that they can have an exponential number of connected components. But forbidding the local pattern throughout the configuration is far from necessary, as we show that just a constant number of added modules (placed to be freely reconfigurable) suffice for universal reconfigurability. We also classify three different models of natural pivot moves that preserve facet-connectivity, and show separations between these models. △ Less

Submitted 10 September, 2019; v1 submitted 21 August, 2019; originally announced August 2019.

Unfolding Polycube Trees with Constant Refinement

Authors: Mirela Damian, Robin Flatland

Abstract: We show that every polycube tree can be unfolded with a 4x4 refinement of the grid faces. This is the first constant refinement unfolding result for polycube trees that are not required to be well-separated. We show that every polycube tree can be unfolded with a 4x4 refinement of the grid faces. This is the first constant refinement unfolding result for polycube trees that are not required to be well-separated. △ Less

Submitted 31 March, 2021; v1 submitted 5 November, 2018; originally announced November 2018.

Comments: 42 pages, 39 figures. Preliminary results for polycube trees of degree at most 3 appeared in CCCG 2018 (polycube trees are referred to as orthotrees in the CCCG paper)

ACM Class: F.2.2

Spanning Properties of Theta-Theta-6

Authors: Mirela Damian, John Iacono, Andrew Winslow

Abstract: We show that, unlike the Yao-Yao graph $YY_6$, the Theta-Theta graph $ΘΘ_6$ defined by six cones is a spanner for sets of points in convex position. We also show that, for sets of points in non-convex position, the spanning ratio of $ΘΘ_6$ is unbounded. We show that, unlike the Yao-Yao graph $YY_6$, the Theta-Theta graph $ΘΘ_6$ defined by six cones is a spanner for sets of points in convex position. We also show that, for sets of points in non-convex position, the spanning ratio of $ΘΘ_6$ is unbounded. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Comments: 13 pages, 9 figures

ACM Class: F.2.2; G.2.2

Rejection-based sampling of inelastic neutron scattering

Authors: X. X. Cai, T. Kittelmann, E. Klinkby, J. I. Márquez Damián

Abstract: Distributions of inelastically scattered neutrons can be quantum dynamically described by a scattering kernel. We present an accurate and computationally efficient rejection method for sampling a given scattering kernel of any isotropic material. The proposed method produces continuous neutron energy and angular distributions, typically using just a single interpolation per sampling. We benchmark… ▽ More Distributions of inelastically scattered neutrons can be quantum dynamically described by a scattering kernel. We present an accurate and computationally efficient rejection method for sampling a given scattering kernel of any isotropic material. The proposed method produces continuous neutron energy and angular distributions, typically using just a single interpolation per sampling. We benchmark the results of this method against those from accurate analytical models and one of the major neutron transport codes. We also show the results of applying this method to the conventional discrete double differential cross sections. △ Less

Submitted 12 December, 2018; v1 submitted 8 August, 2018; originally announced August 2018.

Minimal forcing sets for 1D origami

Authors: Mirela Damian, Erik Demaine, Muriel Dulieu, Robin Flatland, Hella Hoffman, Thomas C. Hull, Jayson Lynch, Suneeta Ramaswami

Abstract: This paper addresses the problem of finding minimum forcing sets in origami. The origami material folds flat along straight lines called creases that can be labeled as mountains or valleys. A forcing set is a subset of creases that force all the other creases to fold according to their labels. The result is a flat folding of the origami material. In this paper we develop a linear time algorithm th… ▽ More This paper addresses the problem of finding minimum forcing sets in origami. The origami material folds flat along straight lines called creases that can be labeled as mountains or valleys. A forcing set is a subset of creases that force all the other creases to fold according to their labels. The result is a flat folding of the origami material. In this paper we develop a linear time algorithm that finds minimum forcing sets in one dimensional origami. △ Less

Submitted 18 March, 2017; originally announced March 2017.

Comments: 21 pages with a 6-page appendix

MSC Class: 05B99 ACM Class: F.2.2

Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement

Authors: Mirela Damian, Erik Demaine, Robin Flatland, Joseph O'Rourke

Abstract: We show that every orthogonal polyhedron of genus at most 2 can be unfolded without overlap while using only a linear number of orthogonal cuts (parallel to the polyhedron edges). This is the first result on unfolding general orthogonal polyhedra beyond genus-0. Our unfolding algorithm relies on the existence of at most 2 special leaves in what we call the "unfolding tree" (which ties back to the… ▽ More We show that every orthogonal polyhedron of genus at most 2 can be unfolded without overlap while using only a linear number of orthogonal cuts (parallel to the polyhedron edges). This is the first result on unfolding general orthogonal polyhedra beyond genus-0. Our unfolding algorithm relies on the existence of at most 2 special leaves in what we call the "unfolding tree" (which ties back to the genus), so unfolding polyhedra of genus 3 and beyond requires new techniques. △ Less

Submitted 31 October, 2016; originally announced November 2016.

Comments: 22 pages, 10 figures

ACM Class: F.2.2; G.2.2

Improved Bounds on the Stretch Factor of $Y_4$

Authors: Mirela Damian, Naresh Nelavalli

Abstract: We establish an upper bound of 4.94 on the stretch factor of the Yao graph $Y_4^\infty$ defined in the $L_\infty$-metric, improving upon the best previously known upper bound of 6.31. We also establish an upper bound of 54.62 on the stretch factor of the Yao graph $Y_4$ defined in the Euclidean metric, improving upon the best previously known upper bound of 662.16. We establish an upper bound of 4.94 on the stretch factor of the Yao graph $Y_4^\infty$ defined in the $L_\infty$-metric, improving upon the best previously known upper bound of 6.31. We also establish an upper bound of 54.62 on the stretch factor of the Yao graph $Y_4$ defined in the Euclidean metric, improving upon the best previously known upper bound of 662.16. △ Less

Submitted 17 February, 2016; originally announced February 2016.

Comments: 12 pages, 12 figures

ACM Class: F.2.2; I.1.2

On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere

Authors: Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel Smid

Abstract: Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is betwe… ▽ More Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is between two concentric spheres of radii $1$ and $R>1$, and the angles in all faces are at least $θ$, we prove that the skeleton is a $t$-spanner, where $t$ depends only on $R$ and $θ$. One of the ingredients in the proof is a tight upper bound on the geometric dilation of a convex cycle that is contained in an annulus. △ Less

Submitted 2 September, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: Improved results in Section 4.1. Incorporated referees' comments

Minimum Forcing Sets for Miura Folding Patterns

Authors: Brad Ballinger, Mirela Damian, David Eppstein, Robin Flatland, Jessica Ginepro, Thomas Hull

Abstract: We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable pat… ▽ More We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable patterns called Miura-ori, which divide the plane into congruent parallelograms using horizontal lines and zig-zag vertical lines. We develop efficient algorithms for constructing a minimum forcing set of a Miura-ori map, and for deciding whether a given set of creases is forcing or not. We also provide tight bounds on the size of a forcing set, establishing that the standard mountain-valley assignment for the Miura-ori is the one that requires the most creases in its forcing sets. Additionally, given a partial mountain/valley assignment to a subset of creases of a Miura-ori map, we determine whether the assignment domain can be extended to a locally flat-foldable pattern on all the creases. At the heart of our results is a novel correspondence between flat-foldable Miura-ori maps and $3$-colorings of grid graphs. △ Less

Submitted 8 October, 2014; originally announced October 2014.

Comments: 20 pages, 16 figures. To appear at the ACM/SIAM Symp. on Discrete Algorithms (SODA 2015)

ACM Class: F.2.2

Journal ref: ACM-SIAM Symposium on Discrete Algorithms (SODA15), (2015), 136-147

Continuous Yao Graphs

Authors: Luis Barba, Prosenjit Bose, Jean-Lou De Carufel, Mirela Damian, Rolf Fagerberg, André van Renssen, Perouz Taslakian, Sander Verdonschot

Abstract: In this paper, we introduce a variation of the well-studied Yao graphs. Given a set of points $S\subset \mathbb{R}^2$ and an angle $0 < θ\leq 2π$, we define the continuous Yao graph $cY(θ)$ with vertex set $S$ and angle $θ$ as follows. For each $p,q\in S$, we add an edge from $p$ to $q$ in $cY(θ)$ if there exists a cone with apex $p$ and aperture $θ$ such that $q$ is the closest point to $p$ insid… ▽ More In this paper, we introduce a variation of the well-studied Yao graphs. Given a set of points $S\subset \mathbb{R}^2$ and an angle $0 < θ\leq 2π$, we define the continuous Yao graph $cY(θ)$ with vertex set $S$ and angle $θ$ as follows. For each $p,q\in S$, we add an edge from $p$ to $q$ in $cY(θ)$ if there exists a cone with apex $p$ and aperture $θ$ such that $q$ is the closest point to $p$ inside this cone. We study the spanning ratio of $cY(θ)$ for different values of $θ$. Using a new algebraic technique, we show that $cY(θ)$ is a spanner when $θ\leq 2π/3$. We believe that this technique may be of independent interest. We also show that $cY(π)$ is not a spanner, and that $cY(θ)$ may be disconnected for $θ> π$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: 7 pages, 7 figures. Presented at CCCG 2014

Spanning Properties of Theta-Theta Graphs

Authors: Mirela Damian, Dumitru V. Voicu

Abstract: We study the spanning properties of Theta-Theta graphs. Similar in spirit with the Yao-Yao graphs, Theta-Theta graphs partition the space around each vertex into a set of k cones, for some fixed integer k > 1, and select at most one edge per cone. The difference is in the way edges are selected. Yao-Yao graphs select an edge of minimum length, whereas Theta-Theta graphs select an edge of minimum o… ▽ More We study the spanning properties of Theta-Theta graphs. Similar in spirit with the Yao-Yao graphs, Theta-Theta graphs partition the space around each vertex into a set of k cones, for some fixed integer k > 1, and select at most one edge per cone. The difference is in the way edges are selected. Yao-Yao graphs select an edge of minimum length, whereas Theta-Theta graphs select an edge of minimum orthogonal projection onto the cone bisector. It has been established that the Yao-Yao graphs with parameter k = 6k' have spanning ratio 11.67, for k' >= 6. In this paper we establish a first spanning ratio of $7.82$ for Theta-Theta graphs, for the same values of $k$. We also extend the class of Theta-Theta spanners with parameter 6k', and establish a spanning ratio of $16.76$ for k' >= 5. We surmise that these stronger results are mainly due to a tighter analysis in this paper, rather than Theta-Theta being superior to Yao-Yao as a spanner. We also show that the spanning ratio of Theta-Theta graphs decreases to 4.64 as k' increases to 8. These are the first results on the spanning properties of Theta-Theta graphs. △ Less

Submitted 29 July, 2014; v1 submitted 13 July, 2014; originally announced July 2014.

Comments: 20 pages, 6 figures, 3 tables

ACM Class: F.2.2; G.2.2

Unfolding Orthogrids with Constant Refinement

Authors: Mirela Damian, Erik Demaine, Robin Flatland

Abstract: We define a new class of orthogonal polyhedra, called orthogrids, that can be unfolded without overlap with constant refinement of the gridded surface. We define a new class of orthogonal polyhedra, called orthogrids, that can be unfolded without overlap with constant refinement of the gridded surface. △ Less

Submitted 16 October, 2013; originally announced October 2013.

Comments: 19 pages, 12 figures

New and Improved Spanning Ratios for Yao Graphs

Authors: Luis Barba, Prosenjit Bose, Mirela Damian, Rolf Fagerberg, Wah Loon Keng, Joseph O'Rourke, André van Renssen, Perouz Taslakian, Sander Verdonschot, Ge Xia

Abstract: For a set of points in the plane and a fixed integer $k > 0$, the Yao graph $Y_k$ partitions the space around each point into $k$ equiangular cones of angle $θ=2π/k$, and connects each point to a nearest neighbor in each cone. It is known for all Yao graphs, with the sole exception of $Y_5$, whether or not they are geometric spanners. In this paper we close this gap by showing that for odd… ▽ More For a set of points in the plane and a fixed integer $k > 0$, the Yao graph $Y_k$ partitions the space around each point into $k$ equiangular cones of angle $θ=2π/k$, and connects each point to a nearest neighbor in each cone. It is known for all Yao graphs, with the sole exception of $Y_5$, whether or not they are geometric spanners. In this paper we close this gap by showing that for odd $k \geq 5$, the spanning ratio of $Y_k$ is at most $1/(1-2\sin(3θ/8))$, which gives the first constant upper bound for $Y_5$, and is an improvement over the previous bound of $1/(1-2\sin(θ/2))$ for odd $k \geq 7$. We further reduce the upper bound on the spanning ratio for $Y_5$ from $10.9$ to $2+\sqrt{3} \approx 3.74$, which falls slightly below the lower bound of $3.79$ established for the spanning ratio of $Θ_5$ ($Θ$-graphs differ from Yao graphs only in the way they select the closest neighbor in each cone). This is the first such separation between a Yao and $Θ$-graph with the same number of cones. We also give a lower bound of $2.87$ on the spanning ratio of $Y_5$. Finally, we revisit the $Y_6$ graph, which plays a particularly important role as the transition between the graphs ($k > 6$) for which simple inductive proofs are known, and the graphs ($k \le 6$) whose best spanning ratios have been established by complex arguments. Here we reduce the known spanning ratio of $Y_6$ from $17.6$ to $5.8$, getting closer to the spanning ratio of 2 established for $Θ_6$. △ Less

Submitted 14 March, 2019; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 35 pages. This version includes a correction to Lemma 13 in the journal version. We are grateful to Davood Bakhshesh for making us aware of the error

Journal ref: Journal of Computational Geometry, 6(2):19-53, 2015. Special issue for SoCG 2014

An Infinite Class of Sparse-Yao Spanners

Authors: Matthew Bauer, Mirela Damian

Abstract: We show that, for any integer k > 5, the Sparse-Yao graph YY_{6k} (also known as Yao-Yao) is a spanner with stretch factor 11.67. The stretch factor drops down to 4.75 for k > 7. We show that, for any integer k > 5, the Sparse-Yao graph YY_{6k} (also known as Yao-Yao) is a spanner with stretch factor 11.67. The stretch factor drops down to 4.75 for k > 7. △ Less

Submitted 15 June, 2012; originally announced June 2012.

Comments: 17 pages, 12 figures

MSC Class: 05C85; 68R05 ACM Class: F.2.2; G.2.2

On the topology of monotone Lagrangian submanifolds

Authors: Mihai Damian

Abstract: We find new obstructions on the topology of monotone Lagrangian submanifolds of $C^{n}$ under some hypothesis on the homology of their universal cover. In particular we show that nontrivial connected sums of manifolds of odd dimensions do not admit monotone Lagrangian embeddings into $\C^{n}$ whereas some of these examples are known to admit usual Lagrangian embeddings. In dimension three we get a… ▽ More We find new obstructions on the topology of monotone Lagrangian submanifolds of $C^{n}$ under some hypothesis on the homology of their universal cover. In particular we show that nontrivial connected sums of manifolds of odd dimensions do not admit monotone Lagrangian embeddings into $\C^{n}$ whereas some of these examples are known to admit usual Lagrangian embeddings. In dimension three we get as a corollary that the only orientable Lagrangians in ${\bf C}^{3}$ are products $S^{1}\times Σ$. △ Less

Submitted 12 June, 2012; originally announced June 2012.

Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm

Authors: Mirela Damian, Erik Demaine, Robin Flatland

Abstract: We show that every orthogonal polyhedron homeomorphic to a sphere can be unfolded without overlap while using only polynomially many (orthogonal) cuts. By contrast, the best previous such result used exponentially many cuts. More precisely, given an orthogonal polyhedron with n vertices, the algorithm cuts the polyhedron only where it is met by the grid of coordinate planes passing through the ver… ▽ More We show that every orthogonal polyhedron homeomorphic to a sphere can be unfolded without overlap while using only polynomially many (orthogonal) cuts. By contrast, the best previous such result used exponentially many cuts. More precisely, given an orthogonal polyhedron with n vertices, the algorithm cuts the polyhedron only where it is met by the grid of coordinate planes passing through the vertices, together with Theta(n^2) additional coordinate planes between every two such grid planes. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 15 pages, 10 figures

ACM Class: F.2.2; I.3.5

Undirected Connectivity of Sparse Yao Graphs

Authors: Mirela Damian, Abhaykumar Kumbhar

Abstract: Given a finite set S of points in the plane and a real value d > 0, the d-radius disk graph G^d contains all edges connecting pairs of points in S that are within distance d of each other. For a given graph G with vertex set S, the Yao subgraph Y_k[G] with integer parameter k > 0 contains, for each point p in S, a shortest edge pq from G (if any) in each of the k sectors defined by k equally-space… ▽ More Given a finite set S of points in the plane and a real value d > 0, the d-radius disk graph G^d contains all edges connecting pairs of points in S that are within distance d of each other. For a given graph G with vertex set S, the Yao subgraph Y_k[G] with integer parameter k > 0 contains, for each point p in S, a shortest edge pq from G (if any) in each of the k sectors defined by k equally-spaced rays with origin p. Motivated by communication issues in mobile networks with directional antennas, we study the connectivity properties of Y_k[G^d], for small values of k and d. In particular, we derive lower and upper bounds on the minimum radius d that renders Y_k[G^d] connected, relative to the unit radius assumed to render G^d connected. We show that d=sqrt(2) is necessary and sufficient for the connectivity of Y_4[G^d]. We also show that, for d <= ~1.056, the graph Y_3[G^d] can be disconnected, but for d >= 2/sqrt(3), Y_3[G^d] is always connected. Finally, we show that Y_2[G^d] can be disconnected, for any d >= 1. △ Less

Submitted 22 March, 2011; originally announced March 2011.

Comments: 7 pages, 11 figures

ACM Class: F.2.2

Connectivity of Graphs Induced by Directional Antennas

Authors: Mirela Damian, Robin Flatland

Abstract: This paper addresses the problem of finding an orientation and a minimum radius for directional antennas of a fixed angle placed at the points of a planar set S, that induce a strongly connected communication graph. We consider problem instances in which antenna angles are fixed at 90 and 180 degrees, and establish upper and lower bounds for the minimum radius necessary to guarantee strong connect… ▽ More This paper addresses the problem of finding an orientation and a minimum radius for directional antennas of a fixed angle placed at the points of a planar set S, that induce a strongly connected communication graph. We consider problem instances in which antenna angles are fixed at 90 and 180 degrees, and establish upper and lower bounds for the minimum radius necessary to guarantee strong connectivity. In the case of 90-degree angles, we establish a lower bound of 2 and an upper bound of 7. In the case of 180-degree angles, we establish a lower bound of sqrt(3) and an upper bound of 1+sqrt(3). Underlying our results is the assumption that the unit disk graph for S is connected. △ Less

Submitted 23 August, 2010; originally announced August 2010.

Comments: 8 pages, 10 figures

ACM Class: C.2.1; F.2.2

Floer homology on the universal cover, a proof of Audin's conjecture and other constraints on Lagrangian submanifolds

Authors: Mihai Damian

Abstract: We establish a new version of Floer homology for monotone Lagrangian submanifolds and apply it to prove the following (generalized) version of Audin's conjecture : if $L$ is an aspherical manifold which admits a monotone Lagrangian embedding in ${\bf C^{n}}$, then its Maslov number equals $2$. We also prove other results on the topology of monotone Lagrangian submanifolds $L\subset M$ of maximal M… ▽ More We establish a new version of Floer homology for monotone Lagrangian submanifolds and apply it to prove the following (generalized) version of Audin's conjecture : if $L$ is an aspherical manifold which admits a monotone Lagrangian embedding in ${\bf C^{n}}$, then its Maslov number equals $2$. We also prove other results on the topology of monotone Lagrangian submanifolds $L\subset M$ of maximal Maslov number under the hypothesis that they are displaceable through a Hamiltonian isotopy. △ Less

Submitted 17 June, 2010; originally announced June 2010.

Comments: to appear in Comment. Math. Helvetici

MSC Class: 57R17 57R58 57R70

Pi/2-Angle Yao Graphs are Spanners

Authors: Prosenjit Bose, Mirela Damian, Karim Douieb, Joseph O'Rourke, Ben Seamone, Michiel Smid, Stefanie Wuhrer

Abstract: We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. △ Less

Submitted 17 January, 2010; originally announced January 2010.

Comments: 20 pages, 9 figures

ACM Class: F.2.2

Journal ref: International Journal of Computational Geometry & Applications, 22(1):61-82, 2012

Localized Spanners for Wireless Networks

Authors: Mirela Damian, Sriram V. Pemmaraju

Abstract: We present a new efficient localized algorithm to construct, for any given quasi-unit disk graph G=(V,E) and any e > 0, a (1+e)-spanner for G of maximum degree O(1) and total weight O(w(MST)), where w(MST) denotes the weight of a minimum spanning tree for V. We further show that similar localized techniques can be used to construct, for a given unit disk graph G = (V, E), a planar Cdel(1+e)(1+pi… ▽ More We present a new efficient localized algorithm to construct, for any given quasi-unit disk graph G=(V,E) and any e > 0, a (1+e)-spanner for G of maximum degree O(1) and total weight O(w(MST)), where w(MST) denotes the weight of a minimum spanning tree for V. We further show that similar localized techniques can be used to construct, for a given unit disk graph G = (V, E), a planar Cdel(1+e)(1+pi/2)-spanner for G of maximum degree O(1) and total weight O(w(MST)). Here Cdel denotes the stretch factor of the unit Delaunay triangulation for V. Both constructions can be completed in O(1) communication rounds, and require each node to know its own coordinates. △ Less

Submitted 25 June, 2008; originally announced June 2008.

Comments: 21 pages

ACM Class: C.2.1; F.2.2

Local Approximation Schemes for Topology Control

Authors: Mirela Damian, Saurav Pandit, Sriram Pemmaraju

Abstract: This paper presents a distributed algorithm on wireless ad-hoc networks that runs in polylogarithmic number of rounds in the size of the network and constructs a linear size, lightweight, (1+ε)-spanner for any given ε> 0. A wireless network is modeled by a d-dimensional α-quasi unit ball graph (α-UBG), which is a higher dimensional generalization of the standard unit disk graph (UDG) model. The… ▽ More This paper presents a distributed algorithm on wireless ad-hoc networks that runs in polylogarithmic number of rounds in the size of the network and constructs a linear size, lightweight, (1+ε)-spanner for any given ε> 0. A wireless network is modeled by a d-dimensional α-quasi unit ball graph (α-UBG), which is a higher dimensional generalization of the standard unit disk graph (UDG) model. The d-dimensional α-UBG model goes beyond the unrealistic ``flat world'' assumption of UDGs and also takes into account transmission errors, fading signal strength, and physical obstructions. The main result in the paper is this: for any fixed ε> 0, 0 < α\le 1, and d \ge 2, there is a distributed algorithm running in O(\log n \log^* n) communication rounds on an n-node, d-dimensional α-UBG G that computes a (1+ε)-spanner G' of G with maximum degree Δ(G') = O(1) and total weight w(G') = O(w(MST(G)). This result is motivated by the topology control problem in wireless ad-hoc networks and improves on existing topology control algorithms along several dimensions. The technical contributions of the paper include a new, sequential, greedy algorithm with relaxed edge ordering and lazy updating, and clustering techniques for filtering out unnecessary edges. △ Less

Submitted 14 March, 2008; originally announced March 2008.

Comments: 11 pages, 6 figures

ACM Class: C.2.4; F.2.2

Journal ref: Proceedings of the 25th ACM Symposium on Principles of Distributed Computing, pages 208-218, July 2006

A Simple Yao-Yao-Based Spanner of Bounded Degree

Authors: Mirela Damian

Abstract: It is a standing open question to decide whether the Yao-Yao structure for unit disk graphs (UDGs) is a length spanner of not. This question is highly relevant to the topology control problem for wireless ad hoc networks. In this paper we make progress towards resolving this question by showing that the Yao-Yao structure is a length spanner for UDGs of bounded aspect ratio. We also propose a new… ▽ More It is a standing open question to decide whether the Yao-Yao structure for unit disk graphs (UDGs) is a length spanner of not. This question is highly relevant to the topology control problem for wireless ad hoc networks. In this paper we make progress towards resolving this question by showing that the Yao-Yao structure is a length spanner for UDGs of bounded aspect ratio. We also propose a new local algorithm, called Yao-Sparse-Sink, based on the Yao-Sink method introduced by Li, Wan, Wang and Frieder, that computes a (1+e)-spanner of bounded degree for a given UDG and for given e > 0. The Yao-Sparse-Sink method enables an efficient local computation of sparse sink trees. Finally, we show that all these structures for UDGs -- Yao, Yao-Yao, Yao-Sink and Yao-Sparse-Sink -- have arbitrarily large weight. △ Less

Submitted 4 April, 2008; v1 submitted 29 February, 2008; originally announced February 2008.

Comments: 7 pages, 5 figures

ACM Class: C.2.1; F.2.2

Constraints on exact Lagrangians in cotangent bundles of manifolds fibred over the circle

Authors: Mihai Damian

Abstract: We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference betw… ▽ More We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference between the number of generators and the number of relations is less than two. △ Less

Submitted 11 September, 2008; v1 submitted 2 October, 2007; originally announced October 2007.

MSC Class: 57R17; 57R58; 57R70; 53D12

A New Lower Bound on Guard Placement for Wireless Localization

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke, Suneeta Ramaswami

Abstract: The problem of wireless localization asks to place and orient stations in the plane, each of which broadcasts a unique key within a fixed angular range, so that each point in the plane can determine whether it is inside or outside a given polygonal region. The primary goal is to minimize the number of stations. In this paper we establish a lower bound of 2n/3 - 1 stations for polygons in general… ▽ More The problem of wireless localization asks to place and orient stations in the plane, each of which broadcasts a unique key within a fixed angular range, so that each point in the plane can determine whether it is inside or outside a given polygonal region. The primary goal is to minimize the number of stations. In this paper we establish a lower bound of 2n/3 - 1 stations for polygons in general position, for the case in which the placement of stations is restricted to polygon vertices, improving upon the existing n/2 lower bound. △ Less

Submitted 21 September, 2007; originally announced September 2007.

Comments: 4 pages, 3 figures

ACM Class: F.2.2

Connecting Polygonizations via Stretches and Twangs

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke, Suneeta Ramaswami

Abstract: We show that the space of polygonizations of a fixed planar point set S of n points is connected by O(n^2) ``moves'' between simple polygons. Each move is composed of a sequence of atomic moves called ``stretches'' and ``twangs''. These atomic moves walk between weakly simple ``polygonal wraps'' of S. These moves show promise to serve as a basis for generating random polygons. We show that the space of polygonizations of a fixed planar point set S of n points is connected by O(n^2) ``moves'' between simple polygons. Each move is composed of a sequence of atomic moves called ``stretches'' and ``twangs''. These atomic moves walk between weakly simple ``polygonal wraps'' of S. These moves show promise to serve as a basis for generating random polygons. △ Less

Submitted 12 September, 2007; originally announced September 2007.

Comments: 15 pages, 14 figures, 3 appendices

ACM Class: F.2.2; G.2

Unfolding Manhattan Towers

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke

Abstract: We provide an algorithm for unfolding the surface of any orthogonal polyhedron that falls into a particular shape class we call Manhattan Towers, to a nonoverlapping planar orthogonal polygon. The algorithm cuts along edges of a 4x5x1 refinement of the vertex grid. We provide an algorithm for unfolding the surface of any orthogonal polyhedron that falls into a particular shape class we call Manhattan Towers, to a nonoverlapping planar orthogonal polygon. The algorithm cuts along edges of a 4x5x1 refinement of the vertex grid. △ Less

Submitted 10 May, 2007; originally announced May 2007.

Comments: Full version of abstract that appeared in: Proc. 17th Canad. Conf. Comput. Geom., 2005, pp. 204--207

ACM Class: F.2.2

On the homotopy of finite CW-complexes with polycyclic fundamental group

Authors: Mihai Damian

Abstract: Let X be a finite CW-complex of dimension q. If its fundamental group $π_{1}(X)$ is polycyclic of Hirsch number h>q we show that at least one of the homotopy groups $π_{i}(X)$ is not finitely generated. If h=q or h=q-1 the same conclusion holds unless X is an Eilenberg-McLane space $K(π_{1}(X),1)$. Let X be a finite CW-complex of dimension q. If its fundamental group $π_{1}(X)$ is polycyclic of Hirsch number h>q we show that at least one of the homotopy groups $π_{i}(X)$ is not finitely generated. If h=q or h=q-1 the same conclusion holds unless X is an Eilenberg-McLane space $K(π_{1}(X),1)$. △ Less

Submitted 14 December, 2006; originally announced December 2006.

Comments: 27 pages, 0 figures

MSC Class: 57R70; 55P15; 57Q10

Epsilon-Unfolding Orthogonal Polyhedra

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke

Abstract: An unfolding of a polyhedron is produced by cutting the surface and flattening to a single, connected, planar piece without overlap (except possibly at boundary points). It is a long unsolved problem to determine whether every polyhedron may be unfolded. Here we prove, via an algorithm, that every orthogonal polyhedron (one whose faces meet at right angles) of genus zero may be unfolded. Our cut… ▽ More An unfolding of a polyhedron is produced by cutting the surface and flattening to a single, connected, planar piece without overlap (except possibly at boundary points). It is a long unsolved problem to determine whether every polyhedron may be unfolded. Here we prove, via an algorithm, that every orthogonal polyhedron (one whose faces meet at right angles) of genus zero may be unfolded. Our cuts are not necessarily along edges of the polyhedron, but they are always parallel to polyhedron edges. For a polyhedron of n vertices, portions of the unfolding will be rectangular strips which, in the worst case, may need to be as thin as epsilon = 1/2^{Omega(n)}. △ Less

Submitted 22 March, 2006; v1 submitted 27 February, 2006; originally announced February 2006.

Comments: 23 pages, 20 figures, 7 references. Revised version improves language and figures, updates references, and sharpens the conclusion

ACM Class: F.2.2

Grid Vertex-Unfolding Orthogonal Polyhedra

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke

Abstract: An edge-unfolding of a polyhedron is produced by cutting along edges and flattening the faces to a *net*, a connected planar piece with no overlaps. A *grid unfolding* allows additional cuts along grid edges induced by coordinate planes passing through every vertex. A vertex-unfolding permits faces in the net to be connected at single vertices, not necessarily along edges. We show that any ortho… ▽ More An edge-unfolding of a polyhedron is produced by cutting along edges and flattening the faces to a *net*, a connected planar piece with no overlaps. A *grid unfolding* allows additional cuts along grid edges induced by coordinate planes passing through every vertex. A vertex-unfolding permits faces in the net to be connected at single vertices, not necessarily along edges. We show that any orthogonal polyhedron of genus zero has a grid vertex-unfolding. (There are orthogonal polyhedra that cannot be vertex-unfolded, so some type of "gridding" of the faces is necessary.) For any orthogonal polyhedron P with n vertices, we describe an algorithm that vertex-unfolds P in O(n^2) time. Enroute to explaining this algorithm, we present a simpler vertex-unfolding algorithm that requires a 3 x 1 refinement of the vertex grid. △ Less

Submitted 27 September, 2006; v1 submitted 18 September, 2005; originally announced September 2005.

Comments: Original: 12 pages, 8 figures, 11 references. Revised: 22 pages, 16 figures, 12 references. New version is a substantial revision superceding the preliminary extended abstract that appeared in Lecture Notes in Computer Science, Volume 3884, Springer, Berlin/Heidelberg, Feb. 2006, pp. 264-276

ACM Class: F.2.2

An O(n log n)-Time Algorithm for the Restricted Scaffold Assignment

Authors: Justin Colannino, Mirela Damian, Ferran Hurtado, John Iacono, Henk Meijer, Suneeta Ramaswami, Godfried Toussaint

Abstract: The assignment problem takes as input two finite point sets S and T and establishes a correspondence between points in S and points in T, such that each point in S maps to exactly one point in T, and each point in T maps to at least one point in S. In this paper we show that this problem has an O(n log n)-time solution, provided that the points in S and T are restricted to lie on a line (linear… ▽ More The assignment problem takes as input two finite point sets S and T and establishes a correspondence between points in S and points in T, such that each point in S maps to exactly one point in T, and each point in T maps to at least one point in S. In this paper we show that this problem has an O(n log n)-time solution, provided that the points in S and T are restricted to lie on a line (linear time, if S and T are presorted). △ Less

Submitted 5 July, 2005; v1 submitted 5 July, 2005; originally announced July 2005.

Comments: 13 pages, 8 figures

ACM Class: F.2.2; G.2.2

Partitioning Regular Polygons into Circular Pieces II:Nonconvex Partitions

Authors: Mirela Damian, Joseph O'Rourke

Abstract: We explore optimal circular nonconvex partitions of regular k-gons. The circularity of a polygon is measured by its aspect ratio: the ratio of the radii of the smallest circumscribing circle to the largest inscribed disk. An optimal circular partition minimizes the maximum ratio over all pieces in the partition. We show that the equilateral triangle has an optimal 4-piece nonconvex partition, th… ▽ More We explore optimal circular nonconvex partitions of regular k-gons. The circularity of a polygon is measured by its aspect ratio: the ratio of the radii of the smallest circumscribing circle to the largest inscribed disk. An optimal circular partition minimizes the maximum ratio over all pieces in the partition. We show that the equilateral triangle has an optimal 4-piece nonconvex partition, the square an optimal 13-piece nonconvex partition, and the pentagon has an optimal nonconvex partition with more than 20 thousand pieces. For hexagons and beyond, we provide a general algorithm that approaches optimality, but does not achieve it. △ Less

Submitted 21 December, 2004; originally announced December 2004.

Comments: 13 pages, 11 figures

ACM Class: F.2.2