Showing 1–49 of 49 results for author: de Oliveira, A G

Highly efficient broadband THz upconversion with Dirac materials

Authors: Tatiana A. Uaman Svetikova, Igor Ilyakov, Alexey Ponomaryov, Thales V. A. G. de Oliveira, Christian Berger, Lena Fürst, Florian Bayer, Jan-Christoph Deinert, Gulloo Lal Prajapati, Atiqa Arshad, Elena G. Novik, Alexej Pashkin, Manfred Helm, Stephan Winnerl, Hartmut Buhmann, Laurens W. Molenkamp, Tobias Kiessling, Sergey Kovalev, Georgy V. Astakhov

Abstract: The use of the THz frequency domain in future network generations offers an unparalleled level of capacity, which can enhance innovative applications in wireless communication, analytics, and imaging. Communication technologies rely on frequency mixing, enabling signals to be converted from one frequency to another and transmitted from a sender to a receiver. Technically, this process is implement… ▽ More The use of the THz frequency domain in future network generations offers an unparalleled level of capacity, which can enhance innovative applications in wireless communication, analytics, and imaging. Communication technologies rely on frequency mixing, enabling signals to be converted from one frequency to another and transmitted from a sender to a receiver. Technically, this process is implemented using nonlinear components such as diodes or transistors. However, the highest operation frequency of this approach is limited to sub-THz bands. Here, we demonstrate the upconversion of a weak sub-THz signal from a photoconductive antenna to multiple THz bands. The key element is a high-mobility HgTe-based heterostructure with electronic band inversion, leading to one of the strongest third-order nonlinearities among all materials in the THz range. Due to the Dirac character of electron dispersion, the highly intense sub-THz radiation is efficiently mixed with the antenna signal, resulting in a THz response at linear combinations of their frequencies. The field conversion efficiency above 2$\%$ is provided by a bare tensile-strained HgTe layer with a thickness below 100 nm at room temperature under ambient conditions. Devices based on Dirac materials allow for high degree of integration, with field-enhancing metamaterial structures, making them very promising for THz communication with unprecedented data transfer rate. △ Less

Submitted 22 December, 2024; originally announced December 2024.

Comments: 7 pages, 4 figures

Terahertz harmonic generation across the Mott insulator-metal transition

Authors: Gulloo Lal Prajapati, Sujay Ray, Igor Ilyakov, Alexey N. Ponomaryov, Atiqa Arshad, Thales V. A. G. de Oliveira, Gaurav Dubey, Dhanvir Singh Rana, Jan-Christoph Deinert, Philipp Werner, Sergey Kovalev

Abstract: We demonstrate terahertz (THz) harmonic generation across the Mott insulator-metal transition in rare-earth nickelates (RNiO$_3$, R = rare-earth atom). The THz harmonic generation is observed in all the three different phases with distinct behaviors: the intensity of harmonics increases upon cooling in both the low-temperature antiferromagnetic (AFM) insulating and high-temperature paramagnetic (P… ▽ More We demonstrate terahertz (THz) harmonic generation across the Mott insulator-metal transition in rare-earth nickelates (RNiO$_3$, R = rare-earth atom). The THz harmonic generation is observed in all the three different phases with distinct behaviors: the intensity of harmonics increases upon cooling in both the low-temperature antiferromagnetic (AFM) insulating and high-temperature paramagnetic (PM) metallic phases, while this trend is reversed in the intermediate PM insulating phase. Using single- and two-band Hubbard models, we find different dominant origins of THz harmonics in different phases: strong spin-charge and orbital-charge couplings in the AFM insulating phase, intraband currents from renormalized quasi-particles with frequency-dependent scattering rate in the PM metallic phase, and the reduction of the charge carrier density due to the opening of the Mott gap in the PM insulating phase. Our study offers strategies for efficient THz harmonic generation from Mott and other strongly correlated systems and insights into the fundamental physics of complex materials. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Comments: Submitted to Physical Review Letters. 5 pages, 3 figures

THz Second and Third Harmonic Generation in PdCoO$_2$ Thin Films

Authors: T. Priessnitz, L. Feng, T. V. A. G. de Oliveira, G. Baker, I. Ilyakov, A. Ponomaryov, A. Arshad, G. L. Prajapati, J. -C. Deinert, S. Kovalev, B. Keimer, S. Kaiser

Abstract: Terahertz high harmonic generation (THz HHG) is a common property of nonlinear systems. Recently it has been used to investigate fundamental principles that govern transport and nonlinear dynamics in novel quantum materials like graphene, Dirac semimetals or high-temperature superconductors. Here, we report on the observation of exceptionally large THz second harmonic and third harmonic generation… ▽ More Terahertz high harmonic generation (THz HHG) is a common property of nonlinear systems. Recently it has been used to investigate fundamental principles that govern transport and nonlinear dynamics in novel quantum materials like graphene, Dirac semimetals or high-temperature superconductors. Here, we report on the observation of exceptionally large THz second harmonic and third harmonic generation in thin films of the highly conducting delafossite PdCoO$_2$ down to low temperatures. The growth of this material on offcut substrate allows for a significant enhancement of the third harmonic intensity compared to ordinary $c$-axis grown thin films. Furthermore, it appears to be a necessity for the observation of THz second harmonic generation. We model the temperature dependence of the third harmonic generation by means of Boltzmann transport theory and provide an explanation for the second harmonic generation by comparing the system to the electric field induced second harmonic generation. The present investigation thus provides an important contribution to the ongoing discussion of low temperature origins of THz HHG and might serve as a new platform for THz high harmonic applications. △ Less

Submitted 12 September, 2024; originally announced September 2024.

Demonstration of weighted graph optimization on a Rydberg atom array using local light-shifts

Authors: A. G. de Oliveira, E. Diamond-Hitchcock, D. M. Walker, M. T. Wells-Pestell, G. Pelegrí, C. J. Picken, G. P. A. Malcolm, A. J. Daley, J. Bass, J. D. Pritchard

Abstract: Neutral atom arrays have emerged as a versatile platform towards scalable quantum computation and optimization. In this paper we present demonstrations of solving maximum weighted independent set problems on a Rydberg atom array using annealing with local light-shifts. We verify the ability to prepare weighted graphs in 1D and 2D arrays, including embedding a five vertex non-unit disk graph using… ▽ More Neutral atom arrays have emerged as a versatile platform towards scalable quantum computation and optimization. In this paper we present demonstrations of solving maximum weighted independent set problems on a Rydberg atom array using annealing with local light-shifts. We verify the ability to prepare weighted graphs in 1D and 2D arrays, including embedding a five vertex non-unit disk graph using nine physical qubits and demonstration of a simple crossing gadget. We find common annealing ramps leading to preparation of the target ground state robustly over a substantial range of different graph weightings. This work provides a route to exploring large-scale optimization of non-planar weighted graphs relevant for solving relevant real-world problems. △ Less

Submitted 5 December, 2024; v1 submitted 3 April, 2024; originally announced April 2024.

Comments: 7 pages, 5 figures. Methods: 4 pages, 3 figures

Journal ref: PRX Quantum 6, 010301 (2025)

Generating functions of lattice paths

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths. For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of… ▽ More We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths. For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of the On-Line Encyclopedia of Integer Sequences are unified, clarified, and simplified. △ Less

Submitted 15 January, 2024; originally announced January 2024.

MSC Class: 05A15; 05A10

Spin-orbit interaction driven terahertz nonlinear dynamics in transition metals

Authors: Ruslan Salikhov, Markus Lysne, Philipp Werner, Igor Ilyakov, Michael Schüler, Thales V. A. G. de Oliveira, Alexey Ponomaryov, Atiqa Arshad, Gulloo Lal Prajapati, Jan-Christoph Deinert, Pavlo Makushko, Denys Makarov, Thomas Cowan, Jürgen Fassbender, Jürgen Lindner, Aleksandra Lindner, Carmine Ortix, Sergey Kovalev

Abstract: The interplay of electric charge, spin, and orbital polarizations, coherently driven by picosecond long oscillations of light fields in spin-orbit coupled systems, is the foundation of emerging terahertz spintronics and orbitronics. The essential rules for how terahertz light interacts with these systems in a nonlinear way are still not understood. In this work, we demonstrate a universally applic… ▽ More The interplay of electric charge, spin, and orbital polarizations, coherently driven by picosecond long oscillations of light fields in spin-orbit coupled systems, is the foundation of emerging terahertz spintronics and orbitronics. The essential rules for how terahertz light interacts with these systems in a nonlinear way are still not understood. In this work, we demonstrate a universally applicable electronic nonlinearity originating from spin-orbit interactions in conducting materials, wherein the interplay of light-induced spin and orbital textures manifests. We utilized terahertz harmonic generation spectroscopy to investigate the nonlinear dynamics over picosecond timescales in various transition metal films. We found that the terahertz harmonic generation efficiency scales with the spin Hall conductivity in the studied films, while the phase takes two possible values (shifted by π), depending on the d-shell filling. These findings elucidate the fundamental mechanisms governing non-equilibrium spin and orbital polarization dynamics at terahertz frequencies, which is relevant for potential applications of terahertz spin- and orbital-based devices. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 11 pages, 4 figures

Tunable room temperature nonlinear Hall effect from the surfaces of elementary bismuth thin films

Authors: Pavlo Makushko, Sergey Kovalev, Yevhen Zabila, Igor Ilyakov, Alexey Ponomaryov, Atiqa Arshad, Gulloo Lal Prajapati, Thales V. A. G. de Oliveira, Jan-Christoph Deinert, Paul Chekhonin, Igor Veremchuk, Tobias Kosub, Yurii Skourski, Fabian Ganss, Denys Makarov, Carmine Ortix

Abstract: The nonlinear Hall effect (NLHE) with time-reversal symmetry constitutes the appearance of a transverse voltage quadratic in the applied electric field. It is a second-order electronic transport phenomenon that induces frequency doubling and occurs in non-centrosymmetric crystals with large Berry curvature -- an emergent magnetic field encoding the geometric properties of electronic wavefunctions.… ▽ More The nonlinear Hall effect (NLHE) with time-reversal symmetry constitutes the appearance of a transverse voltage quadratic in the applied electric field. It is a second-order electronic transport phenomenon that induces frequency doubling and occurs in non-centrosymmetric crystals with large Berry curvature -- an emergent magnetic field encoding the geometric properties of electronic wavefunctions. The design of (opto)electronic devices based on the NLHE is however hindered by the fact that this nonlinear effect typically appears at low temperatures and in complex compounds characterized by Dirac or Weyl electrons. Here, we show a strong room temperature NLHE in the centrosymmetric elemental material bismuth synthesized in the form of technologically relevant polycrystalline thin films. The ($1\,1\,1$) surface electrons of this material are equipped with a Berry curvature triple that activates side jumps and skew scatterings generating nonlinear transverse currents. We also report a boost of the zero field nonlinear transverse voltage in arc-shaped bismuth stripes due to an extrinsic geometric classical counterpart of the NLHE. This electrical frequency doubling in curved geometries is then extended to optical second harmonic generation in the terahertz (THz) spectral range. The strong nonlinear electrodynamical responses of the surface states are further demonstrated by a concomitant highly efficient THz third harmonic generation which we achieve in a broad range of frequencies in Bi and Bi-based heterostructures. Combined with the possibility of growth on CMOS-compatible and mechanically flexible substrates, these results highlight the potential of Bi thin films for THz (opto)electronic applications. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 44 pages, 21 figures

Journal ref: Nature Electronics 7, 207 (2024)

Terahertz Twistoptics -- engineering canalized phonon polaritons

Authors: Maximilian Obst, Tobias Nörenberg, Gonzalo Álvarez-Pérez, Thales V. A. G. de Oliveira, Javier Taboada-Gutiérrez, Flávio H. Feres, Felix G. Kaps, Osama Hatem, Andrei Luferau, Alexey Y. Nikitin, J. Michael Klopf, Pablo Alonso-González, Susanne C. Kehr, Lukas M. Eng

Abstract: The terahertz (THz) frequency range is key to study collective excitations in many crystals and organic molecules. However, due to the large wavelength of THz radiation, the local probing of these excitations in smaller crystalline structures or few-molecular arrangements, requires sophisticated methods to confine THz light down to the nanometer length scale, as well as to manipulate such a confin… ▽ More The terahertz (THz) frequency range is key to study collective excitations in many crystals and organic molecules. However, due to the large wavelength of THz radiation, the local probing of these excitations in smaller crystalline structures or few-molecular arrangements, requires sophisticated methods to confine THz light down to the nanometer length scale, as well as to manipulate such a confined radiation. For this purpose, in recent years, taking advantage of hyperbolic phonon polaritons (HPhP) in highly anisotropic van der Waals (vdW) materials has emerged as a promising approach, offering a multitude of manipulation options such as control over the wavefront shape and propagation direction. Here, we demonstrate the first THz application of twist-angle-induced HPhP manipulation, designing the propagation of confined THz radiation between 8.39 and 8.98 THz in the vdW material alpha-molybdenum trioxide ($α-MoO_{3}$), hence extending twistoptics to this intriguing frequency range. Our images, recorded by near-field optical microscopy, show the frequency- and twist-angle-dependent change between hyperbolic and elliptic polariton propagation, revealing a polaritonic transition at THz frequencies. As a result, we are able to allocate canalization (highly collimated propagation) of confined THz radiation by carefully adjusting these two parameters, i.e. frequency and twist angle. Specifically, we report polariton canalization in $α-MoO_{3}$ at 8.67 THz for a twist angle of 50°. Our results demonstrate an unprecedented control and the manipulation of highly-confined collective excitations at THz frequencies, offering novel possibilities for nanophotonic applications. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 25 pages, 4 figures, article, submitted

Impulsive Fermi magnon-phonon resonance in antiferromagnetic $CoF_{2}$

Authors: Thomas W. J. Metzger, Kirill A. Grishunin, Chris Reinhoffer, Roman M. Dubrovin, Atiqa Arshad, Igor Ilyakov, Thales V. A. G. de Oliveira, Alexey Ponomaryov, Jan-Christoph Deinert, Sergey Kovalev, Roman V. Pisarev, Mikhail I. Katsnelson, Boris A. Ivanov, Paul H. M. van Loosdrecht, Alexey V. Kimel, Evgeny A. Mashkovich

Abstract: Understanding spin-lattice interactions in antiferromagnets is one of the most fundamental issues at the core of the recently emerging and booming fields of antiferromagnetic spintronics and magnonics. Recently, coherent nonlinear spin-lattice coupling was discovered in an antiferromagnet which opened the possibility to control the nonlinear coupling strength and thus showing a novel pathway to co… ▽ More Understanding spin-lattice interactions in antiferromagnets is one of the most fundamental issues at the core of the recently emerging and booming fields of antiferromagnetic spintronics and magnonics. Recently, coherent nonlinear spin-lattice coupling was discovered in an antiferromagnet which opened the possibility to control the nonlinear coupling strength and thus showing a novel pathway to coherently control magnon-phonon dynamics. Here, utilizing intense narrow band terahertz (THz) pulses and tunable magnetic fields up to 7 T, we experimentally realize the conditions of the Fermi magnon-phonon resonance in antiferromagnetic $CoF_{2}$. These conditions imply that both the spin and the lattice anharmonicities harvest energy transfer between the subsystems, if the magnon eigenfrequency $f_{m}$ is twice lower than the frequency of the phonon $2f_{m}=f_{ph}$. Performing THz pump-infrared probe spectroscopy in conjunction with simulations, we explore the coupled magnon-phonon dynamics in the vicinity of the Fermi-resonance and reveal the corresponding fingerprints of an impulsive THz-induced response. This study focuses on the role of nonlinearity in spin-lattice interactions, providing insights into the control of coherent magnon-phonon energy exchange. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Journal ref: Nat Commun 15, 5472 (2024)

Tracing the dynamics of superconducting order via transient third harmonic generation

Authors: Min-Jae Kim, Sergey Kovalev, Mattia Udina, Rafael Haenel, Gideok Kim, Matteo Puviani, Georg Cristiani, Igor Ilyakov, Thales V. A. G. de Oliveira, Alexey Ponomaryov, Jan-Christoph Deinert, Gennady Logvenov, Bernhard Keimer, Dirk Manske, Lara Benfatto, Stefan Kaiser

Abstract: Ultrafast optical control of quantum systems is an emerging field of physics. In particular, the possibility of light-driven superconductivity with ultrashort laser pulses has attracted much of attention. To identify non-equilibrium superconductivity, it is necessary to measure fingerprints of superconductivity on ultrafast timescales. Recently non-linear THz third harmonic generation (THG) was sh… ▽ More Ultrafast optical control of quantum systems is an emerging field of physics. In particular, the possibility of light-driven superconductivity with ultrashort laser pulses has attracted much of attention. To identify non-equilibrium superconductivity, it is necessary to measure fingerprints of superconductivity on ultrafast timescales. Recently non-linear THz third harmonic generation (THG) was shown to directly probe the collective degrees of freedoms of the superconducting condensate including particularly the Higgs mode. Here we extend this idea to light-driven non-equilibrium states in superconducting La2-xSrxCuO4 establishing a protocol to access the transient superconducting (SC) order-parameter fluctuations. We perform an optical pump-THz-THG drive experiment and use a two-dimensional spectroscopy approach to disentangle the driven third-harmonic response of optically excited quasiparticles and the pure condensate response. In this way, 2D spectroscopy separately probes both the ultrafast pair breaking dynamics and transient pairing amplitude of the condensate. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 28 pages, 12 figures

The number of Prime Parking Functions

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: A parking function of length $n$ is prime if we obtain a parking function of length $n-1$ by deleting one 1 from it. In this note we give a new direct proof that the number of prime parking functions of length $n$ is $(n-1)^{n-1}$. This proof leads to a new interpretation, in close terms to the definition of parking function. A parking function of length $n$ is prime if we obtain a parking function of length $n-1$ by deleting one 1 from it. In this note we give a new direct proof that the number of prime parking functions of length $n$ is $(n-1)^{n-1}$. This proof leads to a new interpretation, in close terms to the definition of parking function. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Milliwatt terahertz harmonic generation from topological insulator metamaterials

Authors: Klaas-Jan Tielrooij, Alessandro Principi, David Saleta Reig, Alexander Block, Sebin Varghese, Steffen Schreyeck, Karl Brunner, Grzegorz Karczewski, Igor Ilyakov, Oleksiy Ponomaryov, Thales V. A. G. de Oliveira, Min Chen, Jan-Christoph Deinert, Carmen Gomez Carbonell, Sergio O. Valenzuela, Laurens W. Molenkamp, Tobias Kiessling, Georgy V. Astakhov, Sergey Kovalev

Abstract: Achieving efficient, high-power harmonic generation in the terahertz spectral domain has technological applications, for example in sixth generation (6G) communication networks. Massless Dirac fermions possess extremely large terahertz nonlinear susceptibilities and harmonic conversion efficiencies. However, the observed maximum generated harmonic power is limited, because of saturation effects at… ▽ More Achieving efficient, high-power harmonic generation in the terahertz spectral domain has technological applications, for example in sixth generation (6G) communication networks. Massless Dirac fermions possess extremely large terahertz nonlinear susceptibilities and harmonic conversion efficiencies. However, the observed maximum generated harmonic power is limited, because of saturation effects at increasing incident powers, as shown recently for graphene. Here, we demonstrate room-temperature terahertz harmonic generation in a Bi$_2$Se$_3$ topological insulator and topological-insulator-grating metamaterial structures with surface-selective terahertz field enhancement. We obtain a third-harmonic power approaching the milliwatt range for an incident power of 75 mW - an improvement by two orders of magnitude compared to a benchmarked graphene sample. We establish a framework in which this exceptional performance is the result of thermodynamic harmonic generation by the massless topological surface states, benefiting from ultrafast dissipation of electronic heat via surface-bulk Coulomb interactions. These results are an important step towards on-chip terahertz (opto)electronic applications. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Journal ref: Light Sci Appl 11, 315 (2022)

On Structuring Functional Programs with Monoidal Profunctors

Authors: Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo

Abstract: We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of… ▽ More We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of the monoidal construction to optics, and introduce a promising generalization of the implementation which we illustrate by introducing effectful monoidal profunctors. △ Less

Submitted 2 July, 2022; originally announced July 2022.

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal ref: EPTCS 360, 2022, pp. 134-150

Observation of triangular-lattice pattern in nonlinear wave mixing with optical vortices

Authors: B. Pinheiro da Silva, G. H. dos Santos, A. G. de Oliveira, N. Rubiano da Silva, W. T. Buono, R. M. Gomes, W. C. Soares, A. J. Jesus-Silva, E. J. S. Fonseca, P. H. Souto Ribeiro, A. Z. Khoury

Abstract: A triangular-lattice pattern is observed in light beams resulting from the spatial cross modulation between an optical vortex and a triangular shaped beam undergoing parametric interaction. Both up- and down-conversion processes are investigated, and the far-field image of the converted beam exhibits a triangular lattice. The number of sites and the lattice orientation are determined by the topolo… ▽ More A triangular-lattice pattern is observed in light beams resulting from the spatial cross modulation between an optical vortex and a triangular shaped beam undergoing parametric interaction. Both up- and down-conversion processes are investigated, and the far-field image of the converted beam exhibits a triangular lattice. The number of sites and the lattice orientation are determined by the topological charge of the vortex beam. In the down-conversion process, the lattice orientation can also be affected by phase conjugation. The observed cross modulation works for a large variety of spatial field structures, and could replace solid-state devices at wavelengths where they are not yet available. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Evaluation of Twisted Gaussian Schell Model beams produced with phase randomized coherent fields

Authors: Gustavo Cañas, Esteban Sepúlveda Gómes, Gustavo Henrique dos Santos, André Gustavo de Oliveira, Nara Rubiano da Silva, Stuti Joshi, Yaseera Ismail, Paulo Henrique Souto Ribeiro, Stephen Patrick Walborn

Abstract: The twisted Gaussian Schell Model describes a family of partially coherent beams that present several interesting characteristics, and as such have attracted attention in classical and quantum optics. Recent techniques have been demonstrated to synthesize these beams from a coherent source using a discrete set of "pseudo-modes", where the phase of each mode is randomized so that they are mutually… ▽ More The twisted Gaussian Schell Model describes a family of partially coherent beams that present several interesting characteristics, and as such have attracted attention in classical and quantum optics. Recent techniques have been demonstrated to synthesize these beams from a coherent source using a discrete set of "pseudo-modes", where the phase of each mode is randomized so that they are mutually incoherent. Here we investigate this technique and evaluate the resulting beam parameters, such as divergence, coherence length and twist phase. We show that for a finite set of modes there is also some residual coherence, which can have an observable effect. A theoretical model is developed for the output field that includes residual coherence and agrees very well with experimental data. In addition, we demonstrate a simple method to measure the twist phase using double slit interference. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Comments: 8 pages, 6 figures

Desenvolvimento de ferramenta de simulação para auxílio no ensino da disciplina de robótica industrial

Authors: Afonso Henriques Fontes Neto Segundo, Joel Sotero da Cunha Neto, Halisson Alves de Oliveira, Átila Girão de Oliveira, Reginaldo Florencio da Silva

Abstract: Currently, robotics is one of the fastest growing areas not only in the industrial sector but also in the consumer and service sectors. Several areas benefit from the technological advancement of robotics, especially the industrial area those benefits from gains in productivity and quality. However, to supply this growing demand it is necessary for the newly graduated professionals to have a deepe… ▽ More Currently, robotics is one of the fastest growing areas not only in the industrial sector but also in the consumer and service sectors. Several areas benefit from the technological advancement of robotics, especially the industrial area those benefits from gains in productivity and quality. However, to supply this growing demand it is necessary for the newly graduated professionals to have a deeper understanding of how to design and control a robotic manipulator. It is logical that in order to obtain this more in-depth knowledge of robotics, it is necessary to have an experience with a real robotic manipulator, since the practice is a much more efficient way of learning than theory. However, it is known that a robotic arm is not a cheap investment, and its maintenance is not cheap either. Therefore, many educational institutions are not able to provide this type of experience to their students. With this in mind, and through the use of Unity 3D, which is a game development software, a robotic arm simulator has been developed to correlate classroom theory with what actually happens in practice. The robotic manipulators implemented on this simulator can be controlled by both inverse kinematics (which is the industry standard) and direct kinematics. △ Less

Submitted 31 March, 2022; originally announced March 2022.

Comments: COBENGE 2019, in Portuguese language

Germanium monosulfide as a natural platform for highly anisotropic THz polaritons

Authors: Tobias Nörenberg, Gonzalo Álvarez-Pérez, Maximilian Obst, Lukas Wehmeier, Franz Hempel, J. Michael Klopf, Alexey Y. Nikitin, Susanne C. Kehr, Lukas M. Eng, Pablo Alonso-González, Thales V. A. G. de Oliveira

Abstract: Terahertz (THz) electromagnetic radiation is key to optically access collective excitations such as magnons (spins), plasmons (electrons), or phonons (atomic vibrations), thus bridging between optics and solid-state physics. Confinement of THz light to the nanometer length scale is desirable for local probing of such excitations in low dimensional systems, thereby inherently circumventing the larg… ▽ More Terahertz (THz) electromagnetic radiation is key to optically access collective excitations such as magnons (spins), plasmons (electrons), or phonons (atomic vibrations), thus bridging between optics and solid-state physics. Confinement of THz light to the nanometer length scale is desirable for local probing of such excitations in low dimensional systems, thereby inherently circumventing the large footprint and low spectral density of far-field THz optics. For that purpose, phonon polaritons (PhPs, i.e., light coupled to lattice vibrations in polar crystals) in anisotropic van der Waals (vdW) materials have recently emerged as a promising platform for THz nanooptics; yet the amount of explored, viable materials is still exiguous. Hence, there is a demand for the exploration of novel materials that feature not only THz PhPs at different spectral regimes, but also exhibit unique anisotropic (directional) electrical, thermoelectric, and vibronic properties. To that end, we introduce here the semiconducting alpha-germanium(II) sulfide (GeS) as an intriguing candidate. By employing THz nano-spectroscopy supported by theoretical analysis, we provide a thorough characterization of the different in-plane hyperbolic and elliptical PhP modes in GeS. We find not only PhPs with long life times ($τ$ > 2 ps) and excellent THz light confinement ($λ_0/λ$ > 45), but also an intrinsic, phonon-induced anomalous dispersion as well as signatures of naturally occurring PhP canalization within one single GeS slab. △ Less

Submitted 4 November, 2021; v1 submitted 25 October, 2021; originally announced October 2021.

Journal ref: ACS Nano 2022, 16, 20174-20185

On Euler's rotation theorem

Authors: P. Gothen, A. Guedes de Oliveira

Abstract: It is well known that a rigid motion of the Euclidean plane can be written as the composition of at most three reflections. It is perhaps not so widely known that a similar result holds for Euclidean space in any number of dimensions. The purpose of the present article is, firstly, to present a natural proof of this result in dimension 3 by explicitly constructing a suitable sequence of reflection… ▽ More It is well known that a rigid motion of the Euclidean plane can be written as the composition of at most three reflections. It is perhaps not so widely known that a similar result holds for Euclidean space in any number of dimensions. The purpose of the present article is, firstly, to present a natural proof of this result in dimension 3 by explicitly constructing a suitable sequence of reflections, and, secondly, to show how a careful analysis of this construction provides a quick and pleasant geometric path to Euler's rotation theorem, and to the complete classification of rigid motions of space, whether orientation preserving or not. Finally, we present an example where we use the general scheme of our proofs to classify the composition of two explicitly given orientation preserving isometries. We believe that our presentation will highlight the elementary nature of the results and hope that readers, perhaps especially those more familiar with the usual linear algebra approach, will appreciate the simplicity and geometric flavour of the arguments. △ Less

Submitted 18 January, 2023; v1 submitted 19 December, 2020; originally announced December 2020.

Comments: Accepted manuscript

MSC Class: 51-01

Journal ref: The College Mathematics Journal 54 (2023), 171-175

Full Thermalization of a Photonic Qubit

Authors: A. G. de Oliveira, R. M. Gomes, V. C. C. Brasil, N. Rubiano da Silva, L. C. Céleri, P. H. Souto Ribeiro

Abstract: The generalized amplitude damping (GAD) quantum channel implements the interaction between a qubit and an environment with arbitrary temperature and arbitrary interaction time. Here, we implement a photonic version of the GAD for the case of infinite interaction time (full thermalization). We also show that this quantum channel works as a thermal bath with controlled temperature. The generalized amplitude damping (GAD) quantum channel implements the interaction between a qubit and an environment with arbitrary temperature and arbitrary interaction time. Here, we implement a photonic version of the GAD for the case of infinite interaction time (full thermalization). We also show that this quantum channel works as a thermal bath with controlled temperature. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 5 pages, 3 figures

Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}$ system

Authors: Tiago M. L. Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: We use a labelled deduction system ( LND$_{ED-}$TRS ) based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type, which allowed us to carry out in homotopic theory an approach using the concept of computational paths. From this, we show that the computational paths can be used to perform the proofs of the $LND_{EQ}-TRS_{2}$ rewriting system… ▽ More We use a labelled deduction system ( LND$_{ED-}$TRS ) based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type, which allowed us to carry out in homotopic theory an approach using the concept of computational paths. From this, we show that the computational paths can be used to perform the proofs of the $LND_{EQ}-TRS_{2}$ rewriting system. △ Less

Submitted 17 November, 2023; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: 21 pages. arXiv admin note: substantial text overlap with arXiv:1906.09105

Nanoscale-confined Terahertz Polaritons in a van der Waals Crystal

Authors: Thales V. A. G. de Oliveira, Tobias Nörenberg, Gonzalo Álvarez-Pérez, Lukas Wehmeier, Javier Taboada-Gutiérrez, Maximilian Obst, Franz Hempel, Eduardo J. H. Lee, John M. Klopf, Ion Errea, Alexey Y. Nikitin, Susanne C. Kehr, Pablo Alonso-Gonzaléz, Lukas M. Eng

Abstract: Electromagnetic field confinement is crucial for nanophotonic technologies, since it allows for enhancing light-matter interactions, thus enabling light manipulation in deep sub-wavelength scales. In the terahertz (THz) spectral range, radiation confinement is conventionally achieved with specially designed metallic structures - such as antennas or nanoslits - with large footprints due to the rath… ▽ More Electromagnetic field confinement is crucial for nanophotonic technologies, since it allows for enhancing light-matter interactions, thus enabling light manipulation in deep sub-wavelength scales. In the terahertz (THz) spectral range, radiation confinement is conventionally achieved with specially designed metallic structures - such as antennas or nanoslits - with large footprints due to the rather long wavelengths of THz radiation. In this context, phonon polaritons - light coupled to lattice vibrations - in van der Waals (vdW) crystals have emerged as a promising solution for controlling light beyond the diffraction limit, as they feature extreme field confinements and low optical losses. However, experimental demonstration of nanoscale-confined phonon polaritons at THz frequencies has so far remained elusive. Here, we provide it by employing scattering-type scanning near-field optical microscopy (s-SNOM) combined with a free-electron laser (FEL) to reveal a range of low-loss polaritonic excitations at frequencies from 8 to 12 THz in the vdW semiconductor $α-MoO_3$. We visualize THz polaritons with i) in-plane hyperbolic dispersion, ii) extreme nanoscale field confinement (below $λ_o/75$) and iii) long polariton lifetimes, with a lower limit of > 2 ps. △ Less

Submitted 11 November, 2020; v1 submitted 13 July, 2020; originally announced July 2020.

Journal ref: Adv. Mater. 2021, 33, 2005777

Asymptotic Analysis of a Two-Phase Model of Solid Tumour Growth

Authors: Andrea Genovese de Oliveira, John R. King

Abstract: We investigate avascular tumour growth as a two-phase process consisting of cells and liquid. Based on the one-dimensional continuum moving-boundary model formulated by (Byrne, King, McElwain, Preziosi, Applied Mathematics Letters, 2003, 16, 567-573), we defined boundary conditions for the analogous model of tumour growth in two dimensions. We investigate linear stability of one dimensional time-d… ▽ More We investigate avascular tumour growth as a two-phase process consisting of cells and liquid. Based on the one-dimensional continuum moving-boundary model formulated by (Byrne, King, McElwain, Preziosi, Applied Mathematics Letters, 2003, 16, 567-573), we defined boundary conditions for the analogous model of tumour growth in two dimensions. We investigate linear stability of one dimensional time-dependent solution profiles in the moving-boundary formulation of a limit case (with negligible nutrient consumption and cell drag). For this, we obtain an asymptotic limit of the two-dimensional perturbations for large time (in the case where the tumour is growing) by using the method of matched asymptotic approximations. Having characterised an asymptotic limit of the perturbations, we compare it to the time-dependent solution profile in order to analytically obtain a condition for instability. Numerical simulations are mentioned. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 19 pages, 2 figures

Terahertz signatures of ultrafast Dirac fermion relaxation at the surface of topological insulators at room temperature

Authors: S. Kovalev, K. -J. Tielrooij, J. -C. Deinert, I. Ilyakov, N. Awari, M. Chen, A. Ponomaryov, M. Bawatna, T. V. A. G. de Oliveira, L. M. Eng, K. A. Kuznetsov, G. Kh. Kitaeva, P. I. Kuznetsov, H. A. Hafez, D. Turchinovich, M. Gensch

Abstract: Topologically-protected surface states present rich physics and promising spintronic, optoelectronic and photonic applications that require a proper understanding of their ultrafast carrier dynamics. Here, we investigate these dynamics in topological insulators (TIs) of the bismuth and antimony chalcogenide family, where we isolate the response of Dirac fermions at the surface from the response of… ▽ More Topologically-protected surface states present rich physics and promising spintronic, optoelectronic and photonic applications that require a proper understanding of their ultrafast carrier dynamics. Here, we investigate these dynamics in topological insulators (TIs) of the bismuth and antimony chalcogenide family, where we isolate the response of Dirac fermions at the surface from the response of bulk carriers by combining photoexcitation with below-bandgap terahertz (THz) photons with TI samples with varying Fermi level, including one sample with the Fermi level located within the bandgap. We identify distinctly faster relaxation of charge carriers in the topologically-protected Dirac surface states (few hundred femtoseconds), compared to bulk carriers (few picoseconds). In agreement with such fast cooling dynamics, we observe THz harmonic generation without any saturation effects for increasing incident fields, unlike graphene which exhibits strong saturation. This opens up promising avenues for increased THz nonlinear conversion efficiencies, and high-bandwidth optoelectronic and spintronic information and communication applications. △ Less

Submitted 1 March, 2021; v1 submitted 6 June, 2020; originally announced June 2020.

Quantum-optical Description of Phase Conjugation of Vector Vortex Beams in Stimulated Parametric Down Conversion

Authors: A. G. de Oliveira, N. Rubiano da Silva, R. Medeiros de Araújo, P. H. Souto Ribeiro, S. P. Walborn

Abstract: We present a quantum optics approach for describing stimulated parametric down conversion in the two type-I crystal "sandwich" configuration, which allows for parametric interaction of vector vortex beams. We analyze the conditions for which phase conjugation of the seed vector beam occurs. We then use two strategies for defining generalized Stokes parameters to describe phase conjugation of vecto… ▽ More We present a quantum optics approach for describing stimulated parametric down conversion in the two type-I crystal "sandwich" configuration, which allows for parametric interaction of vector vortex beams. We analyze the conditions for which phase conjugation of the seed vector beam occurs. We then use two strategies for defining generalized Stokes parameters to describe phase conjugation of vector vortex beams. These allow for geometrical representations, such as higher-order Poincaré spheres. Our results are useful for description and design of stimulated and spontaneous parametric down conversion experiments with vector vortex beams. △ Less

Submitted 4 May, 2020; originally announced May 2020.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. Applied 14, 024048 (2020)

Real-time Phase Conjugation of Vector Vortex Beams

Authors: A. G. de Oliveira, M. F. Z. Arruda, W. C. Soares, S. P. Walborn, R. M. Gomes, R. Medeiros de Araújo, P. H. Souto Ribeiro

Abstract: Vector vortex beams have played a fundamental role in the better understanding of coherence and polarization. They are described by spatially inhomogeneous polarization states, which present a rich optical mode structure that has attracted much attention for applications in optical communications, imaging, spectroscopy and metrology. However, this complex mode structure can be quite detrimental wh… ▽ More Vector vortex beams have played a fundamental role in the better understanding of coherence and polarization. They are described by spatially inhomogeneous polarization states, which present a rich optical mode structure that has attracted much attention for applications in optical communications, imaging, spectroscopy and metrology. However, this complex mode structure can be quite detrimental when propagation effects such as turbulence and birefringence perturb the beam. Optical phase conjugation has been proposed as a method to recover an optical beam from perturbations. Here we demonstrate full phase conjugation of vector vortex beams using three-wave mixing. Our scheme exploits a fast non-linear process that can be conveniently controlled via the pump beam. Our results pave the way for sophisticated, practical applications of vector beams. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 7 pages, 8 figures

Journal ref: ACS Photonics 2020, 7, 1, 249-255

An alternative approach to the calculation of fundamental groups based on labeled natural deduction

Authors: Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations between these computational paths, establishing equalities between equalities. We use a labelled deduction system based on the concept of computational paths (se… ▽ More In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations between these computational paths, establishing equalities between equalities. We use a labelled deduction system based on the concept of computational paths (sequence of rewrites) to obtain some results of algebraic topology and with support of the Seifet-Van Kampen Theorem we will calculate, in a way less complex than the one made in mathematics \cite{Munkres} and the technique of homotopy type theory \cite{hott}, the fundamental group of Klein Blottle $\mathbb{K}^2$, of the Torus $\mathbb{T}^2$ and Two holed Torus $\mathbb{M}_2=\mathbb{T}^2\# \mathbb{T}^2$ (the connected sum two torus). △ Less

Submitted 19 June, 2019; originally announced June 2019.

Comments: 28 pages, 17 figures arXiv admin note: text overlap with arXiv:1804.01413, arXiv:1803.01709, arXiv:1906.09105

A Topological Application of Labelled Natural Deduction

Authors: Tiago M. L. Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations between these computational paths, establishing equalities between equalities. We then proceed to show the main result here: using this system to obtain the calculation of th… ▽ More We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations between these computational paths, establishing equalities between equalities. We then proceed to show the main result here: using this system to obtain the calculation of the fundamental group of the circle, of the torus and the real projective plane. △ Less

Submitted 9 May, 2021; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 42 pages, 5 figures. arXiv admin note: text overlap with arXiv:1804.01413, arXiv:1803.01709, arXiv:1906.09107

Pak-Stanley labeling of the $m$-Catalan hyperplane arrangement

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We characterize in simple terms the Pak-Stanley labels $λ(R)$ of the regions $R$ of the $m$-Catalan arrangement. We also propose a simple algorithm that returns $R$ from $λ(R)$. Finally, we characterize in close terms the labels of the relatively bounded regions. We characterize in simple terms the Pak-Stanley labels $λ(R)$ of the regions $R$ of the $m$-Catalan arrangement. We also propose a simple algorithm that returns $R$ from $λ(R)$. Finally, we characterize in close terms the labels of the relatively bounded regions. △ Less

Submitted 11 December, 2019; v1 submitted 28 March, 2019; originally announced March 2019.

Comments: 14 pages, 5 figures

Phase conjugation and mode conversion in stimulated parametric down-conversion with orbital angular momentum: a geometrical interpretation

Authors: André G. de Oliveira, Marcelo F. Z. Arruda, Willamys C. Soares, Stephen P. Walborn, Antonio Z. Khoury, Antonio Kanaan, Paulo H. Souto Ribeiro, Renné Medeiros de Araújo

Abstract: We report on an experiment that investigates the spatial mode conversion in the process of parametric down-conversion seeded by a light beam in a superposition of orbital angular momentum modes. This process is interpreted in terms of a geometric representation of first-order spatial modes in a Poincaré sphere, providing an intuitive image of the phase conjugation and the topological charge conser… ▽ More We report on an experiment that investigates the spatial mode conversion in the process of parametric down-conversion seeded by a light beam in a superposition of orbital angular momentum modes. This process is interpreted in terms of a geometric representation of first-order spatial modes in a Poincaré sphere, providing an intuitive image of the phase conjugation and the topological charge conservation. We also make a comparison with the analogous phenomenon for optical parametric oscillators. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: 5 pages, 6 figures

Partial Parking Functions

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We characterise the Pak-Stanley labels of the regions of a family of hyperplane arrangements that interpolate between the Shi arrangement and the Ish arrangement. We characterise the Pak-Stanley labels of the regions of a family of hyperplane arrangements that interpolate between the Shi arrangement and the Ish arrangement. △ Less

Submitted 19 October, 2018; v1 submitted 10 May, 2018; originally announced May 2018.

Comments: 11 pages. Revised version following the suggestions of the reviewers

MSC Class: 05A19

Journal ref: Discrete Mathematics Volume 342, Issue 2, February 2019, Pages 562-571

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths

Authors: Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation of the equality, since one can semantically interpret the equality between two terms of the same type as a collection of homotopical paths between points of the same space. Since this is only a semantical interpretation, the addition of paths to the syntax of homotopy t… ▽ More One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation of the equality, since one can semantically interpret the equality between two terms of the same type as a collection of homotopical paths between points of the same space. Since this is only a semantical interpretation, the addition of paths to the syntax of homotopy type theory has been recently proposed by De Queiroz, Ramos and De Oliveira . In these works, the authors propose an entity known as `computational path', proposed by De Queiroz and Gabbay in 1994, and show that it can be used to formalize the identity type. We have found that it is possible to use these computational paths as a tool to achieve one central result of algebraic topology and homotopy type theory: the calculation of fundamental groups of surfaces. We review the concept of computational paths and the $LND_{EQ}-TRS$, which is a term rewriting system proposed by De Oliveira in 1994 to map redundancies between computational paths. We then proceed to calculate the fundamental group of the circle, cylinder, M{ö}bius band, torus and the real projective plane. Moreover, we show that the use of computational paths make these calculations simple and straightforward, whereas the same result is much harder to obtain using the traditional code-encode-decode approach of homotopy type theory. △ Less

Submitted 17 May, 2018; v1 submitted 3 April, 2018; originally announced April 2018.

Comments: 30 pages, 9 figures, 2 appendix. arXiv admin note: substantial text overlap with arXiv:1803.01709, arXiv:1609.05079

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory

Authors: Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Tiago Mendonça Lucena de Veras

Abstract: The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$. A term of this type, $p : Id_{A}(a,b)$, makes up for the grounds (or proof) that establishes that $a$ is i… ▽ More The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$. A term of this type, $p : Id_{A}(a,b)$, makes up for the grounds (or proof) that establishes that $a$ is indeed equal to $b$. Based on that, a proof of equality can be seen as a sequence of substitutions and rewrites, also known as a `computational path'. One interesting fact is that it is possible to rewrite computational paths using a set of reduction rules arising from an analysis of redundancies in paths. These rules were mapped by De Oliveira in 1994 in a term rewrite system known as $LND_{EQ}-TRS$. Here we use computational paths and this term rewrite system to work with path spaces. In homotopy type theory, the main technique used to define path spaces is the code-encode-decode approach. Our objective is to propose an alternative approach based on the theory of computational paths. We believe this new approach is simpler and more straightforward than the code-encode-decode one. We then use our approach to obtain two important results of homotopy type theory: the construction of the path space of the naturals and the calculation of the fundamental group of the circle. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:1609.05079

Sequentialization for full N-Graphs via sub-N-Graphs

Authors: Ruan V. B. Carvalho, Lais S. Andrade, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz

Abstract: Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof based on properties of subnets (empires and kingdoms) and Robinson (2003) proposed a straightforward generalization of this presentation for proof-nets from sequent calculus for classical logic. In 2014 it was presented a… ▽ More Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof based on properties of subnets (empires and kingdoms) and Robinson (2003) proposed a straightforward generalization of this presentation for proof-nets from sequent calculus for classical logic. In 2014 it was presented an extension of these studies to obtain a proof of the sequentialization theorem for the fragment of N-Graphs with conjunction, disjunction and negation connectives, via the notion of sub-N-Graphs. N-Graphs is a symmetric natural deduction calculus with multiple conclusions that adopts Danos-Regnier's criterion and has defocussing switchable links. In this paper, we present a sequentization for full propositional classical N-Graphs, showing how to find a split node in the middle of the proof even with a global rule for discharging hypothesis. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Between Ish and Shi

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We introduce a new family of hyperplane arrangements in dimension $n\geq3$ that includes both the Shi arrangement and the Ish arrangement. We prove that all the members of a given subfamily have the same number of regions - the connected components of the complement of the union of the hyperplanes - which can be bijectively labeled with the Pak-Stanley labeling. In addition, we show that, in the c… ▽ More We introduce a new family of hyperplane arrangements in dimension $n\geq3$ that includes both the Shi arrangement and the Ish arrangement. We prove that all the members of a given subfamily have the same number of regions - the connected components of the complement of the union of the hyperplanes - which can be bijectively labeled with the Pak-Stanley labeling. In addition, we show that, in the cases of the Shi and the Ish arrangements, the number of labels with reverse centers of a given length is equal, and conjecture that the same happens with all of the members of the family. △ Less

Submitted 7 September, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: In this version we introduced improvements and corrections that have been kindly suggested by the reviewer of Discrete Mathematics, where the article has been accepted for publication

Report number: Discrete Mathematics, Volume 341, Issue 2, February 2018, Pages 388-399 MSC Class: 05A19

The number of parking functions with center of a given length

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: Let $1\leq r\leq n$ and suppose that, when the Depth-first Search Algorithm is applied to a given rooted labelled tree on $n+1$ vertices, exactly $r$ vertices are visited before backtracking. Let $R$ be the set of trees with this property. We count the number of elements of $R$. For this purpose, we first consider a bijection, due to Parkinson, Yang and Yu, that maps $R$ onto the set of parking… ▽ More Let $1\leq r\leq n$ and suppose that, when the Depth-first Search Algorithm is applied to a given rooted labelled tree on $n+1$ vertices, exactly $r$ vertices are visited before backtracking. Let $R$ be the set of trees with this property. We count the number of elements of $R$. For this purpose, we first consider a bijection, due to Parkinson, Yang and Yu, that maps $R$ onto the set of parking function with center (defined by the authors in a previous article) of size $r$. A second bijection maps this set onto the set of parking functions with run $r$, a property that we introduce here. We then prove that the number of length $n$ parking functions with a given run is the number of length $n$ rook words (defined by Leven, Rhoades and Wilson) with the same run. This is done by counting related lattice paths in a ladder-shaped region. We finally count the number of length $n$ rook words with run $r$, which is the answer to our initial question. △ Less

Submitted 7 March, 2017; v1 submitted 11 November, 2016; originally announced November 2016.

Comments: 15 pages. Version 2: some typos corrected

MSC Class: 05A19

Explicit Computational Paths

Authors: Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$. A term of this type, $p : Id_{A}(a,b)$, makes up for the grounds (or proof) that establishes that $a$ is i… ▽ More The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$. A term of this type, $p : Id_{A}(a,b)$, makes up for the grounds (or proof) that establishes that $a$ is indeed equal to $b$. Based on that, a proof of equality can be seen as a sequence of substitutions and rewrites, also known as a `computational path'. One interesting fact is that it is possible to rewrite computational paths using a set of reduction rules arising from an analysis of redundancies in paths. These rules were mapped by De Oliveira in 1994 in a term rewrite system known as $LND_{EQ}-TRS$. Here we use computational paths and this term rewrite system to develop the main foundations of homotopy type theory, i.e., we develop the lemmas and theorems connected to the main types of this theory, types such as products, coproducts, identity type, transport and many others. We also show that it is possible to directly construct path spaces through computational paths. To show this, we construct the natural numbers and the fundamental group of the circle, showing results connected to these structures. △ Less

Submitted 25 April, 2018; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 45 pages (2 pages - appendix)

On the Groupoid Model of Computational Paths

Authors: Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computational paths are taken to be terms of the identity type of Martin Löf's Intensional Type Theory, since these paths can be seen as the grounds on which the propositional equality between two computational objects stand. Fro… ▽ More The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computational paths are taken to be terms of the identity type of Martin Löf's Intensional Type Theory, since these paths can be seen as the grounds on which the propositional equality between two computational objects stand. From this perspective, this work aims to show that one of the properties of the identity type is present on computational paths. We are referring to the fact that that the identity type induces a groupoid structure, as proposed by Hofmann \& Streicher (1994). Using categorical semantics, we show that computational paths induce a groupoid structure. We also show that computational paths are capable of inducing higher categorical structures. △ Less

Submitted 8 September, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 12 pages + 2 appendix

On the Identity Type as the Type of Computational Paths

Authors: Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is easy to understand and use. We make this point clear constructing terms of some relevant types using our proposed elimination rule. We also show that the identity… ▽ More We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is easy to understand and use. We make this point clear constructing terms of some relevant types using our proposed elimination rule. We also show that the identity type, as defined by our approach, induces a groupoid structure. This result is on par with the fact that the traditional identity type induces a groupoid, as exposed by Hofmann \& Streicher (1994). △ Less

Submitted 18 April, 2015; originally announced April 2015.

Comments: 16 pages

Note on the bijectivity of the Pak-Stanley labelling

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: This article has the sole purpose of presenting a simple, self-contained and direct proof of the fact that the Pak-Stanley labeling is a bijection. The construction behind the proof is subsumed in a forthcoming paper [R. Duarte and A. Guedes de Oliveira, The braid and the Shi arrangements and the Pak-Stanley labeling, Eur. J. Combinatorics, in press.], but an actual self-contained proof is not exp… ▽ More This article has the sole purpose of presenting a simple, self-contained and direct proof of the fact that the Pak-Stanley labeling is a bijection. The construction behind the proof is subsumed in a forthcoming paper [R. Duarte and A. Guedes de Oliveira, The braid and the Shi arrangements and the Pak-Stanley labeling, Eur. J. Combinatorics, in press.], but an actual self-contained proof is not explicitly included in that paper. △ Less

Submitted 10 January, 2015; originally announced January 2015.

Comments: 8 pages, 2 figures

MSC Class: 05A19; 05A15

Sequences of Rewrites: A Categorical Interpretation

Authors: Arthur Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: In Martin-Löf's Intensional Type Theory, identity type is a heavily used and studied concept. The reason for that is the fact that it's responsible for the recently discovered connection between Type Theory and Homotopy Theory. The main problem with identity types, as originally formulated, is that they are complex to understand and use. Using that fact as motivation, a much simpler formulation fo… ▽ More In Martin-Löf's Intensional Type Theory, identity type is a heavily used and studied concept. The reason for that is the fact that it's responsible for the recently discovered connection between Type Theory and Homotopy Theory. The main problem with identity types, as originally formulated, is that they are complex to understand and use. Using that fact as motivation, a much simpler formulation for the identity type was proposed by Queiroz & Gabbay (1994) and further developed by de Queiroz & de Oliveira (2013). In this formulation, an element of an identity type is seen as a sequence of rewrites (or computational paths). Together with the logical rules of this new entity, there exists a system of reduction rules between sequence of rewrites called LND_{EQS}-RWS. This system is constructed using the labelled natural deduction (i.e. Prawitz' Natural Deduction plus derivations-as-terms) and is responsible for establishing how a sequence of rewrites can be rewritten, resulting in a new sequence of rewrites. In this context, we propose a categorical interpretation for this new entity, using the types as objects and the rules of rewrites as morphisms. Moreover, we show that our interpretation is in accordance with some known results, like that types have a groupoidal structure. We also interpret more complicated structures, like the one formed by a rewrite of a sequence of rewrites. △ Less

Submitted 15 February, 2015; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: 13 pages, submitted to a scientific conference (WoLLIC 2015); corrected typos; Moved part of Section 2.4 to the appendix; corrected small issues in Section 3 (typos and some compositions order), results unchanged

High Resolution Parameter Space from a Two Level Model on Semi-Insulating GaAs

Authors: S. L. da Silva, E. R. Viana, A. G. de Oliveira, G. M. Ribeiro, R. L. da Silva

Abstract: Semi-insulating Gallium Arsenide (SI-GaAs) samples experimentally show, under high electric fields and even at room temperature, negative differential conductivity in N-shaped form (NNDC). Since the most consolidated model for n-GaAs, namely, "the model", proposed by E. Scholl was not capable to generate the NNDC curve for SI-GaAs, in this work we proposed an alternative model. The model proposed,… ▽ More Semi-insulating Gallium Arsenide (SI-GaAs) samples experimentally show, under high electric fields and even at room temperature, negative differential conductivity in N-shaped form (NNDC). Since the most consolidated model for n-GaAs, namely, "the model", proposed by E. Scholl was not capable to generate the NNDC curve for SI-GaAs, in this work we proposed an alternative model. The model proposed, "the two-valley model" is based on the minimal set of generation recombination equations for two valleys inside of the conduction band, and an equation for the drift velocity as a function of the applied electric field, that covers the physical properties of the nonlinear electrical conduction of the SI-GaAs system. The "two valley model" was capable to generate theoretically the NNDC region for the first time, and with that, we were able to build a high resolution parameter-space of the periodicity (PSP) using a Periodicity-Detection (PD) routine. In the parameter space were observed self-organized periodic structures immersed in chaotic regions. The complex regions are presented in a "shrimp" shape rotated around a focal point, which forms in large-scale a "snail shell" shape, with intricate connections between different "shrimps". The knowledge of detailed information on parameter spaces is crucial to localize wide regions of smooth and continuous chaos. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 16 pages, 8 figures, Accepted for publication on International Journal of Bifurcation and Chaos (2015)

A short proof of a famous combinatorial identity

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We explain how the identity $$\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j}\;=\;\displaystyle4^n$$ is an easy consequence of the inclusion-exclusion principle. We explain how the identity $$\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j}\;=\;\displaystyle4^n$$ is an easy consequence of the inclusion-exclusion principle. △ Less

Submitted 25 July, 2013; originally announced July 2013.

MSC Class: 05A19

Short note on the convolution of binomial coefficients

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We know [Rui Duarte and António Guedes de Oliveira, New developments of an old identity, manuscript arXiv:1203.5424, submitted.] that, for every non-negative integer numbers $n,i,j$ and for every real number $\ell$, $$ \sum_{i+j=n} \binom{2i-\ell}{i} \binom{2j+\ell}{j} = \sum_{i+j=n}\binom{2i}{i} \binom{2j}{j}, $$ which is well-known to be $4^n$. We extend this result by proving that, indeed,… ▽ More We know [Rui Duarte and António Guedes de Oliveira, New developments of an old identity, manuscript arXiv:1203.5424, submitted.] that, for every non-negative integer numbers $n,i,j$ and for every real number $\ell$, $$ \sum_{i+j=n} \binom{2i-\ell}{i} \binom{2j+\ell}{j} = \sum_{i+j=n}\binom{2i}{i} \binom{2j}{j}, $$ which is well-known to be $4^n$. We extend this result by proving that, indeed, $$ \sum_{i+j=n} \binom{ai+k-\ell}{i} \binom{aj+\ell}{j} = \sum_{i+j=n} \binom{ai+k}{i} \binom{aj}{j} $$ for every integer $a$ and for every real $k$, and present new expressions for this value. △ Less

Submitted 8 February, 2013; originally announced February 2013.

Comments: 4 pages

Journal ref: Journal of Integer Sequences, Vol. 16 (2013), Article 13.7.6

Photoluminescence and High Temperature Persistent Photoconductivity Experiments in SnO2 Nanobelts

Authors: E. R. Viana, J. C. González, G. M. Ribeiro, A. G. de Oliveira

Abstract: The Persistent Photoconductivity (PPC) effect was studied in individual tin oxide (SnO2) nanobelts as a function of temperature, in air, helium, and vacuum atmospheres, and low temperature Photoluminescence measurements were carried out to study the optical transitions and to determine of the acceptor/donors levels and their best representation inside the band gap. Under ultraviolet (UV) illuminat… ▽ More The Persistent Photoconductivity (PPC) effect was studied in individual tin oxide (SnO2) nanobelts as a function of temperature, in air, helium, and vacuum atmospheres, and low temperature Photoluminescence measurements were carried out to study the optical transitions and to determine of the acceptor/donors levels and their best representation inside the band gap. Under ultraviolet (UV) illumination and at temperatures in the range of 200 to 400K we observed a fast and strong enhancement of the photoconductivity, and the maximum value of the photocurrent induced increases as the temperature or the oxygen concentration decreases. By turning off the UV illumination the induced photocurrent decays with lifetimes up to several hours. The photoconductivity and the PPC results were explained by adsorption and desorption of molecular oxygen at the surface of the SnO2 nanobelts. Based on the temperature dependence of the PPC decay an activation energy of 230 meV was found, which corresponds to the energy necessary for thermal ionization of free holes from acceptor levels to the valence band, in agreement with the photoluminescence results presented. The molecular-oxygen recombination with holes is the origin of the PPC effect in metal oxide semiconductors, so that, the PPC effect is not related to the oxygen vacancies, as commonly presented in the literature. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Comments: 6 pages, 10 figures, submitted to "The Journal of Physical Chemistry C"

3D Hopping Conduction in SnO2 nanobelts

Authors: E. R. Viana, J. C. Gonzalez, G. M. Ribeiro, A. G. de Oliveira

Abstract: The temperature dependence of the electrical transport of a individual tin oxide nanobelt was measured, in darkness, from 400 to 5K. We found four intrinsic electrical transport mechanisms through the nanobelt. It starts with Thermal-Activation Conduction between 400 and 314K, Nearest-Neighbor Hopping conduction between 268 and 115K, and Variable Range Hopping conduction below 58K, with a crossove… ▽ More The temperature dependence of the electrical transport of a individual tin oxide nanobelt was measured, in darkness, from 400 to 5K. We found four intrinsic electrical transport mechanisms through the nanobelt. It starts with Thermal-Activation Conduction between 400 and 314K, Nearest-Neighbor Hopping conduction between 268 and 115K, and Variable Range Hopping conduction below 58K, with a crossover from the 3D-Mott to the 3D-Efros-Shklovskii regime at 16K. We claim that this sequence reveal the three-dimensional nature of the electrical transport in the SnO2 nanobelts, even they are expected to behave as one-dimensional systems. △ Less

Submitted 11 December, 2012; v1 submitted 11 April, 2012; originally announced April 2012.

Comments: 3 pages, 4 figures, Accepted for publication on "physica status solidi (RRL) - Rapid Research Letters", DOI: 10.1002/pssr.201206161

New developments of an old identity

Authors: Rui Duarte, António Guedes de Oliveira

Abstract: We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$. We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$. △ Less

Submitted 8 February, 2013; v1 submitted 24 March, 2012; originally announced March 2012.

Comments: 8 pages

MSC Class: 05A19; 05A15

Journal ref: Journal of Integer Sequences, Vol. 17 (2014), Article 14.9.1

Quantized conductance in SnO2 nanobelts with rectangular hard-walls

Authors: E. R. Viana, J. C. Gonzalez, G. M. Ribeiro, A. G. de Oliveira

Abstract: Quantized conductance is reported in high-crystalline tin oxide (SnO2) nanobelt back-gate field-effect transistors, at low temperatures. The quantized conductance was observed as current oscillations in the drain current vs. gate voltage characteristics, and were analyzed considering the nanobelt as a quantum wire with rectangular cross-section hard-walls. The quantum confinement in the nanowires… ▽ More Quantized conductance is reported in high-crystalline tin oxide (SnO2) nanobelt back-gate field-effect transistors, at low temperatures. The quantized conductance was observed as current oscillations in the drain current vs. gate voltage characteristics, and were analyzed considering the nanobelt as a quantum wire with rectangular cross-section hard-walls. The quantum confinement in the nanowires created conditions for the successive filling of the electron energy-subbands, as the gate voltage increases. When the source-drain voltage is changed the oscillations are not dislocated with respect to Vg, indicating flat-band subband energies at low temperatures. The subband separation was found to be in good agreement with the experimental observations, since the oscillations tend to disappear for T > 60K. Therefore, a novel quantum effect is reported in SnO2 nanobelts, which is expected to behave as bulk at zero electric gate fields. △ Less

Submitted 7 March, 2013; v1 submitted 17 January, 2012; originally announced January 2012.

Comments: 14 pages, 5 figures. Submited to "Nanoscale"

Propositional equality, identity types, and direct computational paths

Authors: Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Abstract: In proof theory the notion of canonical proof is rather basic, and it is usually taken for granted that a canonical proof of a sentence must be unique up to certain minor syntactical details (such as, e.g., change of bound variables). When setting up a proof theory for equality one is faced with a rather unexpected situation where there may not be a unique canonical proof of an equality statement.… ▽ More In proof theory the notion of canonical proof is rather basic, and it is usually taken for granted that a canonical proof of a sentence must be unique up to certain minor syntactical details (such as, e.g., change of bound variables). When setting up a proof theory for equality one is faced with a rather unexpected situation where there may not be a unique canonical proof of an equality statement. Indeed, in a (1994--5) proposal for the formalisation of proofs of propositional equality in the Curry--Howard style, we have already uncovered such a peculiarity. Totally independently, and in a different setting, Hofmann & Streicher (1994) have shown how to build a model of Martin-Löf's Type Theory in which uniqueness of canonical proofs of identity types does not hold. The intention here is to show that, by considering as sequences of rewrites and substitution, it comes a rather natural fact that two (or more) distinct proofs may be yet canonical and are none to be preferred over one another. By looking at proofs of equality as rewriting (or computational) paths this approach will be in line with the recently proposed connections between type theory and homotopy theory via identity types, since elements of identity types will be, concretely, paths (or homotopies). △ Less

Submitted 5 August, 2013; v1 submitted 10 July, 2011; originally announced July 2011.

Comments: 41 pages, submitted to a scientific journal. arXiv admin note: text overlap with arXiv:1010.1810, arXiv:0906.4521 by other authors

MSC Class: 03Fxx; 03F03 ACM Class: F.4.1

Direct evidence of enhanced Ga interdiffusion in InAs vertically aligned free-standing nanowires

Authors: J. C. Gonz'alez, A. Malachias, J. C. de Sousa, R-Ribeiro Andrade, M. V. B. Moreira, A. G. de Oliveira

Abstract: We present direct evidence of enhanced Ga interdiffusion in InAs free-standing nanowires grown at moderate temperatures by molecular beam epitaxy on GaAs (111)B. Scanning electron microscopy together with X-ray diffraction measurements in coplanar and grazing incidence geometries show that nominally grown InAs NWs are actually made of In$_{0.86}$Ga$_{0.14}$As. Unlike typical vapor-liquid-solid g… ▽ More We present direct evidence of enhanced Ga interdiffusion in InAs free-standing nanowires grown at moderate temperatures by molecular beam epitaxy on GaAs (111)B. Scanning electron microscopy together with X-ray diffraction measurements in coplanar and grazing incidence geometries show that nominally grown InAs NWs are actually made of In$_{0.86}$Ga$_{0.14}$As. Unlike typical vapor-liquid-solid growth, these nanowires are formed by diffusion-induced growth combined with strong interdiffusion from substrate material. Based on the experimental results, a simple nanowire growth model accounting for the Ga interdiffusion is also presented. This growth model could be generally applicable to the molecular beam heteroepitaxy of III-V nanowires. △ Less

Submitted 13 May, 2008; v1 submitted 13 March, 2008; originally announced March 2008.