Showing 1–50 of 95 results for author: Rivera, M

Measurable Parameter Combinations of Environmentally-dephased EMRI Gravitational-Wave Signals

Authors: Marco Immanuel B. Rivera, Reinabelle C. Reyes

Abstract: The future space-borne Laser Interferometer Space Antenna (LISA) is expected to detect gravitational waves (GW) from Extreme Mass Ratio Inspiral (EMRI) binaries which may live in nontrivial environments such as accretion disks. In this work, we apply the Fisher matrix Principal Component Analysis (PCA) method to assess how well LISA observations can jointly constrain the source parameters and envi… ▽ More The future space-borne Laser Interferometer Space Antenna (LISA) is expected to detect gravitational waves (GW) from Extreme Mass Ratio Inspiral (EMRI) binaries which may live in nontrivial environments such as accretion disks. In this work, we apply the Fisher matrix Principal Component Analysis (PCA) method to assess how well LISA observations can jointly constrain the source parameters and environmental densities around EMRIs. Specifically, we calculate the Fisher matrix from the post-Newtonian parameters of an EMRI binary embedded in a fluid with a constant density profile. We determine that the most dominant measurable parameter combination is dominated by contributions from environmental effects, namely, gravitational drag, accretion, and gravitational pull (in order of contribution). The proposed reparameterization of the PN parameters can be used to improve the power and efficiency of future detection and parameter estimation methods. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Comments: Matches accepted version in New Astronomy; 8 pages, 2 figures

Journal ref: New Astronomy, 112, 102263 (2024)

Cyclic homology of categorical coalgebras and the free loop space

Authors: Manuel Rivera, Daniel Tolosa

Abstract: We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does not require any hypotheses on $X$ or on the commutative ring of coefficients. Along the way, we introduce a family of polytopes, coined as Goodwillie polytopes, t… ▽ More We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does not require any hypotheses on $X$ or on the commutative ring of coefficients. Along the way, we introduce a family of polytopes, coined as Goodwillie polytopes, that controls the combinatorics behind the relationship of the coHochschild complex of a categorical coalgebra and the Hochschild complex of its associated differential graded category. △ Less

Submitted 15 March, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: minor typos fixed and some references added

Combining Confidence Elicitation and Sample-based Methods for Uncertainty Quantification in Misinformation Mitigation

Authors: Mauricio Rivera, Jean-François Godbout, Reihaneh Rabbany, Kellin Pelrine

Abstract: Large Language Models have emerged as prime candidates to tackle misinformation mitigation. However, existing approaches struggle with hallucinations and overconfident predictions. We propose an uncertainty quantification framework that leverages both direct confidence elicitation and sampled-based consistency methods to provide better calibration for NLP misinformation mitigation solutions. We fi… ▽ More Large Language Models have emerged as prime candidates to tackle misinformation mitigation. However, existing approaches struggle with hallucinations and overconfident predictions. We propose an uncertainty quantification framework that leverages both direct confidence elicitation and sampled-based consistency methods to provide better calibration for NLP misinformation mitigation solutions. We first investigate the calibration of sample-based consistency methods that exploit distinct features of consistency across sample sizes and stochastic levels. Next, we evaluate the performance and distributional shift of a robust numeric verbalization prompt across single vs. two-step confidence elicitation procedure. We also compare the performance of the same prompt with different versions of GPT and different numerical scales. Finally, we combine the sample-based consistency and verbalized methods to propose a hybrid framework that yields a better uncertainty estimation for GPT models. Overall, our work proposes novel uncertainty quantification methods that will improve the reliability of Large Language Models in misinformation mitigation applications. △ Less

Submitted 30 January, 2024; v1 submitted 13 January, 2024; originally announced January 2024.

Comments: 12 pages, 11 figures

EXTRACTER: Efficient Texture Matching with Attention and Gradient Enhancing for Large Scale Image Super Resolution

Authors: Esteban Reyes-Saldana, Mariano Rivera

Abstract: Recent Reference-Based image super-resolution (RefSR) has improved SOTA deep methods introducing attention mechanisms to enhance low-resolution images by transferring high-resolution textures from a reference high-resolution image. The main idea is to search for matches between patches using LR and Reference image pair in a feature space and merge them using deep architectures. However, existing m… ▽ More Recent Reference-Based image super-resolution (RefSR) has improved SOTA deep methods introducing attention mechanisms to enhance low-resolution images by transferring high-resolution textures from a reference high-resolution image. The main idea is to search for matches between patches using LR and Reference image pair in a feature space and merge them using deep architectures. However, existing methods lack the accurate search of textures. They divide images into as many patches as possible, resulting in inefficient memory usage, and cannot manage large images. Herein, we propose a deep search with a more efficient memory usage that reduces significantly the number of image patches and finds the $k$ most relevant texture match for each low-resolution patch over the high-resolution reference patches, resulting in an accurate texture match. We enhance the Super Resolution result adding gradient density information using a simple residual architecture showing competitive metrics results: PSNR and SSMI. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 5 pages, 3 figures, 3 tables

MSC Class: I.4.3

How to train your VAE

Authors: Mariano Rivera

Abstract: Variational Autoencoders (VAEs) have become a cornerstone in generative modeling and representation learning within machine learning. This paper explores a nuanced aspect of VAEs, focusing on interpreting the Kullback-Leibler (KL) Divergence, a critical component within the Evidence Lower Bound (ELBO) that governs the trade-off between reconstruction accuracy and regularization. Meanwhile, the KL… ▽ More Variational Autoencoders (VAEs) have become a cornerstone in generative modeling and representation learning within machine learning. This paper explores a nuanced aspect of VAEs, focusing on interpreting the Kullback-Leibler (KL) Divergence, a critical component within the Evidence Lower Bound (ELBO) that governs the trade-off between reconstruction accuracy and regularization. Meanwhile, the KL Divergence enforces alignment between latent variable distributions and a prior imposing a structure on the overall latent space but leaves individual variable distributions unconstrained. The proposed method redefines the ELBO with a mixture of Gaussians for the posterior probability, introduces a regularization term to prevent variance collapse, and employs a PatchGAN discriminator to enhance texture realism. Implementation details involve ResNetV2 architectures for both the Encoder and Decoder. The experiments demonstrate the ability to generate realistic faces, offering a promising solution for enhancing VAE-based generative models. △ Less

Submitted 21 June, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: 5 pages, 3 figures

MSC Class: 68T07 ACM Class: I.2.4; I.4.5

Attentive VQ-VAE

Authors: Angello Hoyos, Mariano Rivera

Abstract: We present a novel approach to enhance the capabilities of VQ-VAE models through the integration of a Residual Encoder and a Residual Pixel Attention layer, named Attentive Residual Encoder (AREN). The objective of our research is to improve the performance of VQ-VAE while maintaining practical parameter levels. The AREN encoder is designed to operate effectively at multiple levels, accommodating… ▽ More We present a novel approach to enhance the capabilities of VQ-VAE models through the integration of a Residual Encoder and a Residual Pixel Attention layer, named Attentive Residual Encoder (AREN). The objective of our research is to improve the performance of VQ-VAE while maintaining practical parameter levels. The AREN encoder is designed to operate effectively at multiple levels, accommodating diverse architectural complexities. The key innovation is the integration of an inter-pixel auto-attention mechanism into the AREN encoder. This approach allows us to efficiently capture and utilize contextual information across latent vectors. Additionally, our models uses additional encoding levels to further enhance the model's representational power. Our attention layer employs a minimal parameter approach, ensuring that latent vectors are modified only when pertinent information from other pixels is available. Experimental results demonstrate that our proposed modifications lead to significant improvements in data representation and generation, making VQ-VAEs even more suitable for a wide range of applications as the presented. △ Less

Submitted 8 February, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 5 pages, 4 figures, 2 table2, 1 pseudo-code

ACM Class: I.2.10

Algebraic string topology from the neighborhood of infinity

Authors: Manuel Rivera, Alex Takeda, Zhengfang Wang

Abstract: We construct and study an algebraic analogue of the loop coproduct in string topology, also known as the Goresky-Hingston coproduct. Our algebraic setup, which under this analogy takes the place of the complex of chains on the free loop space of a possibly non-simply connected manifold, is the Hochschild chain complex of a smooth $A_{\infty}$-category equipped with a pre-Calabi-Yau structure and a… ▽ More We construct and study an algebraic analogue of the loop coproduct in string topology, also known as the Goresky-Hingston coproduct. Our algebraic setup, which under this analogy takes the place of the complex of chains on the free loop space of a possibly non-simply connected manifold, is the Hochschild chain complex of a smooth $A_{\infty}$-category equipped with a pre-Calabi-Yau structure and a trivialization of a version of the Chern character of its diagonal bimodule. The algebraic analogue of the loop coproduct is part of a more general map** cone construction, which we describe in terms of the categorical formal punctured neighborhood of infinity associated to the underlying smooth $A_\infty$-category. We use a graphical formalism for $A_\infty$-categories and bimodules to describe explicit models for the operations and homotopies involved. We also compute explicitly the algebraic coproduct in the context of the string topology of spheres. △ Less

Submitted 7 November, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 51 pages + Appendix. Comments welcome

MSC Class: 16E40; 55P50; 18G10; 16S38

A Computational Design Pipeline to Fabricate Sensing Network Physicalizations

Authors: S. Sandra Bae, Takanori Fujiwara, Anders Ynnerman, Ellen Yi-Luen Do, Michael L. Rivera, Danielle Albers Szafir

Abstract: Interaction is critical for data analysis and sensemaking. However, designing interactive physicalizations is challenging as it requires cross-disciplinary knowledge in visualization, fabrication, and electronics. Interactive physicalizations are typically produced in an unstructured manner, resulting in unique solutions for a specific dataset, problem, or interaction that cannot be easily extende… ▽ More Interaction is critical for data analysis and sensemaking. However, designing interactive physicalizations is challenging as it requires cross-disciplinary knowledge in visualization, fabrication, and electronics. Interactive physicalizations are typically produced in an unstructured manner, resulting in unique solutions for a specific dataset, problem, or interaction that cannot be easily extended or adapted to new scenarios or future physicalizations. To mitigate these challenges, we introduce a computational design pipeline to 3D print network physicalizations with integrated sensing capabilities. Networks are ubiquitous, yet their complex geometry also requires significant engineering considerations to provide intuitive, effective interactions for exploration. Using our pipeline, designers can readily produce network physicalizations supporting selection-the most critical atomic operation for interaction-by touch through capacitive sensing and computational inference. Our computational design pipeline introduces a new design paradigm by concurrently considering the form and interactivity of a physicalization into one cohesive fabrication workflow. We evaluate our approach using (i) computational evaluations, (ii) three usage scenarios focusing on general visualization tasks, and (iii) expert interviews. The design paradigm introduced by our pipeline can lower barriers to physicalization research, creation, and adoption. △ Less

Submitted 12 August, 2023; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 11 pages, 8 figures; to be published in Proceedings of IEEE VIS 2023

The distribution of genera of 2-bridge knots

Authors: Moshe Cohen, Abigail DiNardo, Adam M. Lowrance, Steven Raanes, Izabella M. Rivera, Andrew J. Steindl, Ella S. Wanebo

Abstract: The average genus of a 2-bridge knot with crossing number $c$ approaches $\frac{c}{4} + \frac{1}{12}$ as $c$ approaches infinity, as proven by Suzuki and Tran and independently Cohen and Lowrance. In this paper, for the genera of $2$-bridge knots of a fixed crossing number $c$, we show that the median and mode are both $\lfloor \frac{c+2}{4} \rfloor$ and that the variance approaches… ▽ More The average genus of a 2-bridge knot with crossing number $c$ approaches $\frac{c}{4} + \frac{1}{12}$ as $c$ approaches infinity, as proven by Suzuki and Tran and independently Cohen and Lowrance. In this paper, for the genera of $2$-bridge knots of a fixed crossing number $c$, we show that the median and mode are both $\lfloor \frac{c+2}{4} \rfloor$ and that the variance approaches $\frac{c}{16}-\frac{17}{144}$ as $c$ approaches infinity. We prove that the distribution of genera of 2-bridge knots is asymptotically normal. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: 23 pages, 4 figures

MSC Class: 57K10

A detailed look at the Szczarba map

Authors: Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian

Abstract: We explain how to derive an explicit formula for a natural transformation relating the (left adjoints of) the homotopy coherent nerve and the Dwyer-Kan simplicial classifying space functor. The formula is derived using a method introduced by Szczarba when comparing two different chain models of a fibration. This note may be taken as a companion to section 3 of our previous article "Categorical mod… ▽ More We explain how to derive an explicit formula for a natural transformation relating the (left adjoints of) the homotopy coherent nerve and the Dwyer-Kan simplicial classifying space functor. The formula is derived using a method introduced by Szczarba when comparing two different chain models of a fibration. This note may be taken as a companion to section 3 of our previous article "Categorical models for path spaces". △ Less

Submitted 22 May, 2023; originally announced May 2023.

Hadamard Layer to Improve Semantic Segmentation

Authors: Angello Hoyos, Mariano Rivera

Abstract: The Hadamard Layer, a simple and computationally efficient way to improve results in semantic segmentation tasks, is presented. This layer has no free parameters that require to be trained. Therefore it does not increase the number of model parameters, and the extra computational cost is marginal. Experimental results show that the new Hadamard layer substantially improves the performance of the i… ▽ More The Hadamard Layer, a simple and computationally efficient way to improve results in semantic segmentation tasks, is presented. This layer has no free parameters that require to be trained. Therefore it does not increase the number of model parameters, and the extra computational cost is marginal. Experimental results show that the new Hadamard layer substantially improves the performance of the investigated models (variants of the Pix2Pix model). The performance's improvement can be explained by the Hadamard layer forcing the network to produce an internal encoding of the classes so that all bins are active. Therefore, the network computation is more distributed. In a sort that the Hadamard layer requires that to change the predicted class, it is necessary to modify $2^{k-1}$ bins, assuming $k$ bins in the encoding. A specific loss function allows a stable and fast training convergence. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: Accepted in ICASSP 2023

ACM Class: I.4.6; I.5.1

Formation of Multiple Counter-propagating Clusters in the Attractive Hamiltonian Mean-field Model

Authors: Danilo M. Rivera, Roberto E. Navarro

Abstract: Many-body long-range interacting systems can remain approximately in a quasi-stationary state far-from-thermodynamic equilibrium. These states are typically characterized by a pair of counter-propagating density clusters, or by a single non-homogeneous core-halo in the phase-space of the particles. By using particle simulations based on the Hamiltonian mean-field model, we show that this model sup… ▽ More Many-body long-range interacting systems can remain approximately in a quasi-stationary state far-from-thermodynamic equilibrium. These states are typically characterized by a pair of counter-propagating density clusters, or by a single non-homogeneous core-halo in the phase-space of the particles. By using particle simulations based on the Hamiltonian mean-field model, we show that this model supports stationary states with multiple cluster or particle holes in phase-space density. We also propose a mechanism based on wave-wave and wave-particle interactions that lead to the formation of these clusters, and characterize these new quasi-stationary states in terms of the initial parameters of the simulations. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 14 pages, 3 figures

An algebraic model for the free loop space

Authors: Manuel Rivera

Abstract: We describe an algebraic chain level construction that models the passage from an arbitrary topological space to its free loop space. The input of the construction is a categorical coalgebra, i.e. a curved coalgebra satisfying certain properties, and the output is a chain complex. The construction is a modified version of the coHochschild complex of a differential graded (dg) coalgebra. When appli… ▽ More We describe an algebraic chain level construction that models the passage from an arbitrary topological space to its free loop space. The input of the construction is a categorical coalgebra, i.e. a curved coalgebra satisfying certain properties, and the output is a chain complex. The construction is a modified version of the coHochschild complex of a differential graded (dg) coalgebra. When applied to the chains on an arbitrary simplicial set $X$, appropriately interpreted, it yields a chain complex that is naturally quasi-isomorphic to the singular chains on the free loop space of the geometric realization of $X$. We relate this construction to a twisted tensor product model for the free loop space constructed using the adjoint action of a dg Hopf algebra model for the based loop space. △ Less

Submitted 20 November, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: Reformatted references. Added a missing flatness hypothesis in definition 2

The simplicial coalgebra of chains under three different notions of weak equivalence

Authors: George Raptis, Manuel Rivera

Abstract: We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring R. The weak equivalences are given by: (1) an R-linearized version of categorical equivalences, (2) maps inducing an isomorphism on fundamental groups and an R-homology… ▽ More We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring R. The weak equivalences are given by: (1) an R-linearized version of categorical equivalences, (2) maps inducing an isomorphism on fundamental groups and an R-homology equivalence between universal covers, and (3) R-homology equivalences. Analogously, for any field F, we construct three model structures on the category of connected simplicial cocommutative F-coalgebras. The weak equivalences in this context are (1') maps inducing a quasi-isomorphism of dg algebras after applying the cobar functor, (2') maps inducing a quasi-isomorphism of dg algebras after applying a localized version of the cobar functor, and (3') quasi-isomorphisms. Building on previous work of Goerss in the context of (3)-(3'), we prove that, when F is algebraically closed, the simplicial F-coalgebra of chains defines a homotopically full and faithful left Quillen functor for each pair of model categories. More generally, when F is a perfect field, we compare the three pairs of model categories in terms of suitable notions of homotopy fixed points with respect to the absolute Galois group of F. △ Less

Submitted 3 February, 2024; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: Revised version following referee reports. The definition of the localized cobar construction has been modified so that the multiplicative set of elements to be inverted is extracted after applying the cobar functor. This makes the resulting construction invariant under Cobar-quasi-isomorphisms. To appear in IMRN

String topology in three flavours

Authors: Florian Naef, Manuel Rivera, Nathalie Wahl

Abstract: We describe two major string topology operations, the Chas-Sullivan product and the Goresky-Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom-Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduc… ▽ More We describe two major string topology operations, the Chas-Sullivan product and the Goresky-Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom-Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduce that the coproduct distinguishes 3-dimensional lens spaces. Algebraically, we describe the structure these operations define together on the Tate-Hochschild complex. We use rational homotopy theory methods to sketch the equivalence between the geometric and algebraic definitions for simply connected manifolds and real coefficients, emphasizing the role of configuration spaces. Finally, we study invariance properties of the operations, both algebraically and geometrically. △ Less

Submitted 9 March, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: Dedicated to Dennis Sullivan on the occasion of his 80th birthday. A reference was added in v2

Report number: CPH-GeoTop-DNRF151

Categorical models for path spaces

Authors: Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian

Abstract: We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by considering localizations of the rigidification functor, unraveling a construction of Hinich, and using a sequence of operators originally introduced by Szczarba in… ▽ More We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by considering localizations of the rigidification functor, unraveling a construction of Hinich, and using a sequence of operators originally introduced by Szczarba in 1961. As a result, we obtain several combinatorial models for the path category of a simplicial set. We then pass to the chain level and describe a model for the path category, now considered as a category enriched over differential graded (dg) coalgebras, in terms of a suitable algebraic chain model for the underlying simplicial set. This is achieved through a version of the cobar functor inspired by Lazarev and Holstein's categorical Koszul duality. As a consequence, we obtain a conceptual explanation of a result of Franz stating that there is a natural dg bialgebra quasi-isomorphism from the extended cobar construction on the chains of a reduced simplicial set to the chains on its Kan loop group. △ Less

Submitted 22 May, 2023; v1 submitted 9 January, 2022; originally announced January 2022.

Comments: Section 3 has been revised. With the previous convention for the rigidification functor, the natural transformation Sz is not well defined. This is fixed by flip** the arrows in the definition of the rigidification functor. This change also had an effect on the indices of the simplicial operators used in the inductive formula for Sz, which has also been corrected

Optimization of Quantized Phase Shifts for Reconfigurable Smart Surfaces Assisted Communications

Authors: Maximiliano Rivera, Mohammad Chegini, Wael Jaafar, Safwan Alfattani, Halim Yanikomeroglu

Abstract: Reconfigurable Smart Surface (RSS) is assumed to be a key enabler for future wireless communication systems due to its ability to control the wireless propagation environment and, thus, enhance communications quality. Although optimal and continuous phase-shift configuration can be analytically obtained, practical RSS systems are prone to both channel estimation errors, discrete control, and curse… ▽ More Reconfigurable Smart Surface (RSS) is assumed to be a key enabler for future wireless communication systems due to its ability to control the wireless propagation environment and, thus, enhance communications quality. Although optimal and continuous phase-shift configuration can be analytically obtained, practical RSS systems are prone to both channel estimation errors, discrete control, and curse of dimensionality. This leads to relaying on a finite number of phase-shift configurations that is expected to degrade the system's performances. In this paper, we tackle the problem of quantized RSS phase-shift configuration, aiming to maximize the data rate of an orthogonal frequency division multiplexing (OFDM) point-to-point RSS-assisted communication. Due to the complexity of optimally solving the formulated problem, we propose here a sub-optimal greedy algorithm to solve it. Simulation results illustrate the performance superiority of the proposed algorithm compared to baseline approaches. Finally, the impact of several parameters ,e.g., quantization resolution and RSS placement, is investigated. △ Less

Submitted 22 November, 2021; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: 4 pages, 6 figures; Accepted in IEEE 19th Annual Consumer Communications & Networking Conference 2022 (CCNC'22)

Adams' cobar construction as a monoidal $E_{\infty}$-coalgebra model of the based loop space

Authors: Anibal M. Medina-Mardones, Manuel Rivera

Abstract: We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty$-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams' map preserves monoidal coalgebra structures. We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty$-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams' map preserves monoidal coalgebra structures. △ Less

Submitted 16 May, 2024; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: Final version

Report number: MPIM-Bonn-2022 MSC Class: 57T30; 55P35; 18N70; 55U10; 55N45; 55S05

Hamiltonicity of the Complete Double Vertex Graph of some Join Graphs

Authors: Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: The complete double vertex graph $M_2(G)$ of $G$ is defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs $G$ (containing Hamiltonian and non-Hamiltonian graphs) for which $M_2(G)$ are Hamiltoni… ▽ More The complete double vertex graph $M_2(G)$ of $G$ is defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs $G$ (containing Hamiltonian and non-Hamiltonian graphs) for which $M_2(G)$ are Hamiltonian. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 8 pages, 1 figure. The results presented in this article were presented in preprint arXiv:2007.00115 which was splitted into two papers

MSC Class: 05C45; 05C76

An alternate approach to simulate the dynamics of perturbed liquid drops

Authors: Tanu Singla, Tanushree Roy, P. Parmananda, M. Rivera

Abstract: Liquid drops when subjected to external periodic perturbations can execute polygonal oscillations. In this work, a simple model is presented that demonstrates these oscillations and their characteristic properties. The model consists of a spring-mass network such that the masses are analogous to liquid molecules and the springs are to intermolecular forces. Neo-Hookean springs are considered to re… ▽ More Liquid drops when subjected to external periodic perturbations can execute polygonal oscillations. In this work, a simple model is presented that demonstrates these oscillations and their characteristic properties. The model consists of a spring-mass network such that the masses are analogous to liquid molecules and the springs are to intermolecular forces. Neo-Hookean springs are considered to represent these intermolecular forces. The restoring force of a neo-Hookean spring depends nonlinearly on its length such that the force of a compressed spring is much higher than the force of a spring elongated by the same amount. This is equivalent to the incompressibility of liquids, making these springs suitable to simulate the polygonal oscillations. It is shown that this spring-mass network can imitate most of the characteristic features of experimentally reported polygonal oscillations. Additionally, it is shown that the network can execute certain dynamics which so far have not been observed in a perturbed liquid drop. The features of dynamics which are observed in the perturbed network are: polygonal oscillations, rotation of network, numerical relations (rational and irrational) between the frequencies of polygonal oscillations and the forcing signal, and the dependency of the shape of the polygons on the parameters of perturbation. △ Less

Submitted 20 September, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

AxonNet: A self-supervised Deep Neural Network for Intravoxel Structure Estimation from DW-MRI

Authors: Hanna Ehrlich, Mariano Rivera

Abstract: We present a method for estimating intravoxel parameters from a DW-MRI based on deep learning techniques. We show that neural networks (DNNs) have the potential to extract information from diffusion-weighted signals to reconstruct cerebral tracts. We present two DNN models: one that estimates the axonal structure in the form of a voxel and the other to calculate the structure of the central voxel… ▽ More We present a method for estimating intravoxel parameters from a DW-MRI based on deep learning techniques. We show that neural networks (DNNs) have the potential to extract information from diffusion-weighted signals to reconstruct cerebral tracts. We present two DNN models: one that estimates the axonal structure in the form of a voxel and the other to calculate the structure of the central voxel using the voxel neighborhood. Our methods are based on a proposed parameter representation suitable for the problem. Since it is practically impossible to have real tagged data for any acquisition protocol, we used a self-supervised strategy. Experiments with synthetic data and real data show that our approach is competitive, and the computational times show that our approach is faster than the SOTA methods, even if training times are considered. This computational advantage increases if we consider the prediction of multiple images with the same acquisition protocol. △ Less

Submitted 19 March, 2021; originally announced March 2021.

Well-posedness and stability of a generalized micropolar thermoelastic body with infinite memory

Authors: Aissa Guesmia, Jaime Muñoz Rivera, Mauricio Sepúlveda, Octavio Vera

Abstract: We study in this paper the well-posedness and stability of a linear system of a thermoelastic Cosserat medium with infinite memory, where the Cosserat medium is a continuum in which each point has the degrees of freedom of a rigid body. We study in this paper the well-posedness and stability of a linear system of a thermoelastic Cosserat medium with infinite memory, where the Cosserat medium is a continuum in which each point has the degrees of freedom of a rigid body. △ Less

Submitted 30 January, 2021; originally announced February 2021.

Journal ref: Q. J. Math. 72 (2021), no. 4, 1495-1515

Laminated Timoshenko beams with interfacial slip and infinite memories

Authors: Aissa Guesmia, Jaime Muñoz Rivera, Mauricio Sepúlveda, Octavio Vera

Abstract: We study in this paper the well-posedness and stability of three structures with interfacial slip and two infinite memories effective on the transverse displacement and the rotation angle. We consider a large class of kernels and prove that the system has a unique solution satisfying some regularity properties. Moreover, without restrictions on the values of the parameters, we show that the soluti… ▽ More We study in this paper the well-posedness and stability of three structures with interfacial slip and two infinite memories effective on the transverse displacement and the rotation angle. We consider a large class of kernels and prove that the system has a unique solution satisfying some regularity properties. Moreover, without restrictions on the values of the parameters, we show that the solution goes to zero at infinity and give an information on its speed of convergence in terms of the growth of kernels at infinity. A numerical analysis of the obtained theoretical results will be also given. △ Less

Submitted 29 January, 2021; originally announced February 2021.

MSC Class: 35B40; 35L45; 74H40; 93D20; 93D15

Journal ref: Math. Methods Appl. Sci. 45 (2022), no. 8, 4408-4427

Hamiltonicity of Token Graphs of some Join Graphs

Authors: Luis Enrique Adame, Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: Let $G$ be a simple graph of order $n$ and let $k$ be an integer such that $1\leq k\leq n-1$. The $k$-token graph $G^{\{k\}}$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $G^{\{k\}}$ whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we study the Hamiltonicity of the $k$-token graphs of some join graphs.… ▽ More Let $G$ be a simple graph of order $n$ and let $k$ be an integer such that $1\leq k\leq n-1$. The $k$-token graph $G^{\{k\}}$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $G^{\{k\}}$ whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we study the Hamiltonicity of the $k$-token graphs of some join graphs. As a consequence, we provide an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which their $k$-token graphs are Hamiltonian. Our result provides, to our knowledge, the first family of non-Hamiltonian graphs for which their $k$-token graphs are Hamiltonian, for $2<k<n-2$. △ Less

Submitted 16 June, 2021; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: The results presented in this article generalize some results presented in arXiv:2007.00115. V2 is a revised version and some mistakes in our proofs were corrected

MSC Class: 05C45; 05C76

Journal ref: Symmetry 13(1076), 2021

Engineering the electronic and optical properties of 2D porphyrin paddlewheel metal-organic frameworks

Authors: Victor Posligua, Dimpy Pandya, Alex Aziz, Miguel Rivera, Rachel Crespo-Otero, Said Hamad, Ricardo Grau-Crespo

Abstract: Metal organic frameworks (MOFs) are promising photocatalytic materials due to their high surface area and tuneability of their electronic structure. We discuss here how to engineer the band structures and optical properties of a family of two-dimensional (2D) porphyrin-based MOFs, consisting of M tetrakis(4 carboxyphenyl)porphyrin structures (M TCPP, where M = Zn2+ or Co2+) and metal (Co2+, Ni2+,… ▽ More Metal organic frameworks (MOFs) are promising photocatalytic materials due to their high surface area and tuneability of their electronic structure. We discuss here how to engineer the band structures and optical properties of a family of two-dimensional (2D) porphyrin-based MOFs, consisting of M tetrakis(4 carboxyphenyl)porphyrin structures (M TCPP, where M = Zn2+ or Co2+) and metal (Co2+, Ni2+, Cu2+ or Zn2+) paddlewheel clusters, with the aim of optimising their photocatalytic behaviour in solar fuel synthesis reactions (water splitting and/or CO2 reduction). Based on density functional theory (DFT) and time-dependent DFT simulations with a hybrid functional, we studied three types of composition/structural modifications: a) varying the metal centre at the paddlewheel or at the porphyrin centre to modify the band alignment; b) partially reducing the porphyrin unit to chlorin, which leads to stronger absorption of visible light; and c) substituting the benzene bridging between the porphyrin and paddlewheel, by ethyne or butadiyne bridges, with the aim of modifying the linker to metal charge transfer behaviour. Our work offers new insights on how to improve the photocatalytic behaviour of porphyrin- and paddlewheel-based MOFs. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Explosive synchronization in temporal networks: A comparative study

Authors: Tanu Singla, M. Rivera

Abstract: We present a comparative study on Explosive Synchronization (ES) in temporal networks consisting of phase oscillators. The temporal nature of the networks is modeled with two configurations: (1) oscillators are allowed to move in a closed two dimensional box such that they couple with their neighbors, (2) oscillators are static and they randomly switch their coupling partners. Configuration (1) is… ▽ More We present a comparative study on Explosive Synchronization (ES) in temporal networks consisting of phase oscillators. The temporal nature of the networks is modeled with two configurations: (1) oscillators are allowed to move in a closed two dimensional box such that they couple with their neighbors, (2) oscillators are static and they randomly switch their coupling partners. Configuration (1) is further studied under two possible scenarios: in the first case oscillators couple to fixed numbers of neighbors while in other they couple to all oscillators lying in their circle of vision. Under these circumstances, we monitor the degrees of temporal networks, velocities, and radius of circle of vision of the oscillators, and the probability of forming connections in order to study and compare the critical values of the coupling required to induce ES in the population of phase oscillators. △ Less

Submitted 16 November, 2020; v1 submitted 19 July, 2020; originally announced July 2020.

Hamiltonicity of the Double Vertex Graph and the Complete Double Vertex Graph of some Join Graphs

Authors: Luis Enrique Adame, Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of… ▽ More Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which $F_2(G)$ and $M_2(G)$ are Hamiltonian. This family of graphs is the set of join graphs $G=G_1 + G_2$, where $G_1$ and $G_2$ are of order $m\geq 1$ and $n\geq 2$, respectively, and $G_2$ has a Hamiltonian path. For this family of graphs, we show that if $m\leq 2n$ then $F_2(G)$ is Hamiltonian, and if $m\leq 2(n-1)$ then $M_2(G)$ is Hamiltonian. △ Less

Submitted 5 August, 2021; v1 submitted 30 June, 2020; originally announced July 2020.

Comments: V2 is a revised version. Not intended for publication. Theorem 1.1 was presented in Symmetry 13(6) (1076), 2021, doi:10.3390/sym13061076 (arXiv:2101.01855) and Theorem 1.2 was presented in arXiv:2108.01119 (to appear in Matemática Contemporânea)

MSC Class: 05C45 (Primary); 05C76 (Secondary)

Lepton number violating operators with standard model gauge fields: A survey of neutrino masses from 3-loops and their link to dark matter

Authors: Michael Gustafsson, Jose Miguel No, Maximiliano A. Rivera

Abstract: We investigate neutrino mass generation scenarios where the lepton number breaking new physics couples only to the Standard Model (SM) right-handed charged lepton chirality. The lowest-order lepton number violating effective operator which describes this framework is a unique dimension nine operator involving SM gauge fields, $\mathcal{O}_9$. We find that there are two possible classes of new phys… ▽ More We investigate neutrino mass generation scenarios where the lepton number breaking new physics couples only to the Standard Model (SM) right-handed charged lepton chirality. The lowest-order lepton number violating effective operator which describes this framework is a unique dimension nine operator involving SM gauge fields, $\mathcal{O}_9$. We find that there are two possible classes of new physics scenarios giving rise to this $\mathcal{O}_9$ operator. In these scenarios neutrino masses are induced radiatively via dark matter interactions, linking the dark matter to a natural explanation for the smallness of neutrino masses compared to the electroweak scale. We discuss the phenomenology and existing constraints in the different neutrino mass models within each class. In particular, we analyze the important interplay between neutrino mixing and neutrinoless double $β$-decay in order to predict characteristic signatures and disfavour certain scenarios. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 36 pages, 11 figures

The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time

Authors: Manuel Rivera, Felix Wierstra, Mahmoud Zeinalian

Abstract: We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebra… ▽ More We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebraic structure of the chains. The algebraic structure is presented as the class of the simplicial cocommutative coalgebra of chains under a notion of weak equivalence induced by a functor from coalgebras to algebras coined by Adams as the cobar construction. The fundamental group is determined by a quadratic equation on the zeroth homology of the cobar construction of the normalized chains which involves Steenrod's chain homotopies for cocommutativity of the coproduct. The homology groups with local coefficients are modeled by an algebraic analog of the universal cover which is invariant under our notion of weak equivalence. We conjecture that the integral homotopy type is also determined by the simplicial coalgebra of integral chains, which we prove when the universal cover is of finite type. △ Less

Submitted 7 October, 2021; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: Minor revisions were made to this version to improve the presentation. To appear in Transactions of the American Mathematical Society

Sounds of Leidenfrost drops

Authors: Tanu Singla, M. Rivera

Abstract: We show that when a drop of water is maintained in its Leidenfrost regime, a sound in the form of periodic beats emits from the drop. The process of beat emission involves two distinct frequencies. One component is the frequency of beats itself and second is the frequency of sound in every beat which is emitted when one oscillation in the drop occurs. Experiments have been performed by placing a d… ▽ More We show that when a drop of water is maintained in its Leidenfrost regime, a sound in the form of periodic beats emits from the drop. The process of beat emission involves two distinct frequencies. One component is the frequency of beats itself and second is the frequency of sound in every beat which is emitted when one oscillation in the drop occurs. Experiments have been performed by placing a drop of water over a concave metallic surface and the beats of the drop were recorded by fixing a microphone above the drop. A video camera was also fixed above the drop to record its oscillations. Simple analytical techniques like Fourier and wavelet transforms of the audio signals and image processing of the videos of the drop have been used to gain insight about mechanism of beat emission process. This analysis also helped us in studying the dependence of frequencies, if any, on the radius of the drop and the substrate temperature. △ Less

Submitted 27 May, 2020; v1 submitted 22 February, 2020; originally announced February 2020.

Journal ref: Phys. Rev. Fluids 5, 113604 (2020)

Two-Step Phase Shifting Algorithms: Where Are We?

Authors: Víctor H. Flores, Alan Reyes-Figueroa, César Carrillo-Delgado, Mariano Rivera

Abstract: Two steps phase shifting interferometry has been a hot topic in the recent years. We present a comparison study of 12 representative self--tunning algorithms based on two-steps phase shifting interferometry. We evaluate the performance of such algorithms by estimating the phase step of synthetic and experimental fringe patterns using 3 different normalizing processes: Gabor Filters Bank (GFB), Dee… ▽ More Two steps phase shifting interferometry has been a hot topic in the recent years. We present a comparison study of 12 representative self--tunning algorithms based on two-steps phase shifting interferometry. We evaluate the performance of such algorithms by estimating the phase step of synthetic and experimental fringe patterns using 3 different normalizing processes: Gabor Filters Bank (GFB), Deep Neural Networks (DNNs) and Hilbert Huang Transform (HHT); in order to retrieve the background, the amplitude modulation and noise. We present the variants of state-of-the-art phase step estimation algorithms by using the GFB and DNNs as normalization preprocesses, as well as the use of a robust estimator such as the median to estimate the phase step. We present experimental results comparing the combinations of the normalization processes and the two steps phase shifting algorithms. Our study demonstrates that the quality of the retrieved phase from of two-step interferograms is more dependent of the normalizing process than the phase step estimation method. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Invariance of the Goresky-Hingston algebra on reduced Hochschild homology

Authors: Manuel Rivera, Zhengfang Wang

Abstract: We prove that two quasi-isomorphic simply connected differential graded associative Frobenius algebras have isomorphic Goresky-Hingston algebras on their reduced Hochschild homology. Our proof is based on relating the Goresky-Hingston algebra on reduced Hochschild homology to the singular Hochschild cohomology algebra. For any simply connected oriented closed manifold $M$ of dimension $k$, the Gor… ▽ More We prove that two quasi-isomorphic simply connected differential graded associative Frobenius algebras have isomorphic Goresky-Hingston algebras on their reduced Hochschild homology. Our proof is based on relating the Goresky-Hingston algebra on reduced Hochschild homology to the singular Hochschild cohomology algebra. For any simply connected oriented closed manifold $M$ of dimension $k$, the Goresky-Hingston algebra on reduced Hochschild homology induces an algebra structure of degree $k-1$ on $\bar{H}^*(LM;\mathbb{Q})$, the reduced rational cohomology of the free loop space of $M$. As a consequence of our algebraic result, we deduce that the isomorphism class of the induced algebra structure on $\bar{H}^*(LM;\mathbb{Q})$ is an invariant of the homotopy type of $M$. △ Less

Submitted 5 January, 2022; v1 submitted 31 December, 2019; originally announced December 2019.

Comments: Final version to appear in the Proceedings of the London Mathematical Society. The presentation and exposition were improved following the suggestions of an anonymous referee. In particular, we have added an outline of the proof of our main result in the introduction

Adams' cobar construction revisited

Authors: Manuel Rivera

Abstract: We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is naturally quasi-isomorphic as a dg associative algebra to the singular chains on the based loop space. This extends a classical theorem of F. Adams originally prov… ▽ More We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is naturally quasi-isomorphic as a dg associative algebra to the singular chains on the based loop space. This extends a classical theorem of F. Adams originally proven for simply connected spaces. Our proof is based on relating the cobar functor to the left adjoint of the homotopy coherent nerve functor. △ Less

Submitted 12 June, 2022; v1 submitted 18 October, 2019; originally announced October 2019.

Comments: Final version. To appear in Documenta Mathematica

StateLens: A Reverse Engineering Solution for Making Existing Dynamic Touchscreens Accessible

Authors: Anhong Guo, Junhan Kong, Michael Rivera, Frank F. Xu, Jeffrey P. Bigham

Abstract: Blind people frequently encounter inaccessible dynamic touchscreens in their everyday lives that are difficult, frustrating, and often impossible to use independently. Touchscreens are often the only way to control everything from coffee machines and payment terminals, to subway ticket machines and in-flight entertainment systems. Interacting with dynamic touchscreens is difficult non-visually bec… ▽ More Blind people frequently encounter inaccessible dynamic touchscreens in their everyday lives that are difficult, frustrating, and often impossible to use independently. Touchscreens are often the only way to control everything from coffee machines and payment terminals, to subway ticket machines and in-flight entertainment systems. Interacting with dynamic touchscreens is difficult non-visually because the visual user interfaces change, interactions often occur over multiple different screens, and it is easy to accidentally trigger interface actions while exploring the screen. To solve these problems, we introduce StateLens - a three-part reverse engineering solution that makes existing dynamic touchscreens accessible. First, StateLens reverse engineers the underlying state diagrams of existing interfaces using point-of-view videos found online or taken by users using a hybrid crowd-computer vision pipeline. Second, using the state diagrams, StateLens automatically generates conversational agents to guide blind users through specifying the tasks that the interface can perform, allowing the StateLens iOS application to provide interactive guidance and feedback so that blind users can access the interface. Finally, a set of 3D-printed accessories enable blind people to explore capacitive touchscreens without the risk of triggering accidental touches on the interface. Our technical evaluation shows that StateLens can accurately reconstruct interfaces from stationary, hand-held, and web videos; and, a user study of the complete system demonstrates that StateLens successfully enables blind users to access otherwise inaccessible dynamic touchscreens. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: ACM UIST 2019

The automorphism groups of some token graphs

Authors: Sofía Ibarra, Luis Manuel Rivera

Abstract: In this paper we obtain the automorphism groups of the token graphs of some graphs. In particular we obtain the automorphism group of the $k$-token graph of the path graph $P_n$, for $n\neq 2k$. Also, we obtain the automorphism group of the $2$-token graph of the following graphs: cycle, star, fan and wheel graphs. In this paper we obtain the automorphism groups of the token graphs of some graphs. In particular we obtain the automorphism group of the $k$-token graph of the path graph $P_n$, for $n\neq 2k$. Also, we obtain the automorphism group of the $2$-token graph of the following graphs: cycle, star, fan and wheel graphs. △ Less

Submitted 12 July, 2023; v1 submitted 13 July, 2019; originally announced July 2019.

Comments: 18 pages, 8 figures. Version 3 is a revised version. Proyecciones Journal of Mathematics, to appear

MSC Class: 05C76; 05C60

Journal ref: Proyecciones Journal Mathematics, 42(6) 2023, pp. 1627-1651

On the number of even roots of permutations

Authors: Lev Glebsky, Melany Licón, Luis Manuel Rivera

Abstract: Let $σ$ be a permutation on $n$ letters. We say that a permutation $τ$ is an even (resp. odd) $k$th root of $σ$ if $τ^k=σ$ and $τ$ is an even (resp. odd) permutation. In this article, we obtain generating functions for the number of even and odd $k$th roots of permutations. Our result implies know generating functions of Moser and Wyman and also some generating functions for sequences in The On-li… ▽ More Let $σ$ be a permutation on $n$ letters. We say that a permutation $τ$ is an even (resp. odd) $k$th root of $σ$ if $τ^k=σ$ and $τ$ is an even (resp. odd) permutation. In this article, we obtain generating functions for the number of even and odd $k$th roots of permutations. Our result implies know generating functions of Moser and Wyman and also some generating functions for sequences in The On-line Encyclopedia of Integer Sequences (OEIS). △ Less

Submitted 11 June, 2021; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: Second version, 11 pages

MSC Class: 05A05; 05A15

Journal ref: Australas J. Combin., 86(2), pp. 308-319 (2023),

Deep neural network for fringe pattern filtering and normalisation

Authors: Alan Reyes-Figueroa, Mariano Rivera

Abstract: We propose a new framework for processing Fringe Patterns (FP). Our novel approach builds upon the hypothesis that the denoising and normalisation of FPs can be learned by a deep neural network if enough pairs of corrupted and ideal FPs are provided. The main contributions of this paper are the following: (1) We propose the use of the U-net neural network architecture for FP normalisation tasks; (… ▽ More We propose a new framework for processing Fringe Patterns (FP). Our novel approach builds upon the hypothesis that the denoising and normalisation of FPs can be learned by a deep neural network if enough pairs of corrupted and ideal FPs are provided. The main contributions of this paper are the following: (1) We propose the use of the U-net neural network architecture for FP normalisation tasks; (2) we propose a modification for the distribution of weights in the U-net, called here the V-net model, which is more convenient for reconstruction tasks, and we conduct extensive experimental evidence in which the V-net produces high-quality results for FP filtering and normalisation. (3) We also propose two modifications of the V-net scheme, namely, a residual version called ResV-net and a fast operating version of the V-net, to evaluate the potential improvements when modify our proposal. We evaluate the performance of our methods in various scenarios: FPs corrupted with different degrees of noise, and corrupted with different noise distributions. We compare our methodology versus other state-of-the-art methods. The experimental results (on both synthetic and real data) demonstrate the capabilities and potential of this new paradigm for processing interferograms. △ Less

Submitted 27 October, 2020; v1 submitted 14 June, 2019; originally announced June 2019.

Comments: 19 pages (including references), 21 figures Comments: Full mathematical details of the arquitecture were replaced by tables in a more readable form (Tables 1-3). Added new series of experiments with high-levels of noise in Subsection 4.4. References added

MSC Class: 68U10; 68T10 ACM Class: I.2.6; I.4.3

Rational homotopy equivalences and singular chains

Authors: Manuel Rivera, Felix Wierstra, Mahmoud Zeinalian

Abstract: Bousfield and Kan's $\mathbb{Q}$-completion and fiberwise $\mathbb{Q}$-completion of spaces lead to two different approaches to the rational homotopy theory of non-simply connected spaces. In the first approach, a map is a weak equivalence if it induces an isomorphism on rational homology. In the second, a map of connected and pointed spaces is a weak equivalence if it induces an isomorphism betwe… ▽ More Bousfield and Kan's $\mathbb{Q}$-completion and fiberwise $\mathbb{Q}$-completion of spaces lead to two different approaches to the rational homotopy theory of non-simply connected spaces. In the first approach, a map is a weak equivalence if it induces an isomorphism on rational homology. In the second, a map of connected and pointed spaces is a weak equivalence if it induces an isomorphism between fundamental groups and higher rationalized homotopy groups; we call these maps $π_1$-rational homotopy equivalences. In this paper, we compare these two notions and show that $π_1$-rational homotopy equivalences correspond to maps that induce $Ω$-quasi-isomorphisms on the rational singular chains, i.e. maps that induce a quasi-isomorphism after applying the cobar functor to the dg coassociative coalgebra of rational singular chains. This implies that both notions of rational homotopy equivalence can be deduced from the rational singular chains by using different algebraic notions of weak equivalences: quasi-isomorphism and $Ω$-quasi-isomorphisms. We further show that, in the second approach, there are no dg coalgebra models of the chains that are both strictly cocommutative and coassociative. △ Less

Submitted 1 July, 2020; v1 submitted 9 June, 2019; originally announced June 2019.

Comments: Final version. To appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 21 (2021) 1535-1552

Manipulation of exciton and trion quasiparticles in monolayer WS2 via charge transfer

Authors: Anand P. S. Gaur, Adriana M. Rivera, Saroj P. Dash, Sandwip Dey, Ram S. Katiyar, Satyaprakash Sahoo

Abstract: Charge do** in transition metal dichalcogenide is currently a subject of high importance for future electronic and optoelectronic applications. Here we demonstrate chemical do** in CVD grown monolayer (1L) of WS2 by a few commonly used laboratory solvents by investigating the room temperature photoluminescence (PL). The appearance of distinct trionic emission in the PL spectra and quenched PL… ▽ More Charge do** in transition metal dichalcogenide is currently a subject of high importance for future electronic and optoelectronic applications. Here we demonstrate chemical do** in CVD grown monolayer (1L) of WS2 by a few commonly used laboratory solvents by investigating the room temperature photoluminescence (PL). The appearance of distinct trionic emission in the PL spectra and quenched PL intensities suggest n-type do** in WS2. The temperature-dependent PL spectra of the doped 1L-WS2 reveal significant enhancement of trion emission intensity over the excitonic emission at low temperature indicating the stability of trion at low temperature. The temperature dependent exciton-trion population dynamic has been modeled using the law of mass action of trion formation. These results shed light on the solution-based chemical do** in 1L WS2 and its profound effect on the photoluminescence which is essential for the control of optical and electrical properties for optoelectronics applications. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Robust Two-Step phase estimation using the Simplified Lissajous Ellipse Fitting method with Gabor Filter Banks preprocessing

Authors: Victor H. Flores, Mariano Rivera

Abstract: We present the Simplified Lissajous Ellipse Fitting (SLEF) method for the calculation of the random phase step and the phase distribution from two phase-shifted interferograms. We consider interferograms with spatial and temporal dependency of background intensities, amplitude modulations and noise. Given these problems, the use of the Gabor Filters Bank (GFB) allows us to filter--out the noise, n… ▽ More We present the Simplified Lissajous Ellipse Fitting (SLEF) method for the calculation of the random phase step and the phase distribution from two phase-shifted interferograms. We consider interferograms with spatial and temporal dependency of background intensities, amplitude modulations and noise. Given these problems, the use of the Gabor Filters Bank (GFB) allows us to filter--out the noise, normalize the amplitude and eliminate the background. The normalized patterns permit to implement the SLEF algorithm, which is based on reducing the number of estimated coefficients of the ellipse equation, from five terms to only two. Our method consists of three stages. First, we preprocess the interferograms with GFB methodology in order to normalize the fringe patterns. Second, we calculate the phase step by using the proposed SLEF technique and third, we estimate the phase distribution using a two--steps formula. For the calculation of the phase step, we present two alternatives: the use of the Least Squares (LS) method to approximate the values of the coefficients and, in order to improve the LS estimation, a robust estimation based on the Leclerc's potential. The SLEF method's performance is evaluated through synthetic and experimental data to demonstrate its feasibility. △ Less

Submitted 27 January, 2020; v1 submitted 10 April, 2019; originally announced April 2019.

Journal ref: Optics Communications, Volume 461, 15 April 2020, 125286

Computation of the phase step between two-step fringe patterns based on Gram--Schmidt algorithm

Authors: Víctor H. Flores, Mariano Rivera

Abstract: We present the evaluation of a closed form formula for the calculation of the original step between two randomly shifted fringe patterns. Our proposal extends the Gram--Schmidt orthonormalization algorithm for fringe pattern. Experimentally, the phase shift is introduced by a electro--mechanical devices (such as piezoelectric or moving mounts).The estimation of the actual phase step allows us to i… ▽ More We present the evaluation of a closed form formula for the calculation of the original step between two randomly shifted fringe patterns. Our proposal extends the Gram--Schmidt orthonormalization algorithm for fringe pattern. Experimentally, the phase shift is introduced by a electro--mechanical devices (such as piezoelectric or moving mounts).The estimation of the actual phase step allows us to improve the phase shifting device calibration. The evaluation consists of three cases that represent different pre-normalization processes: First, we evaluate the accuracy of the method in the orthonormalization process by estimating the test step using synthetic normalized fringe patterns with no background, constant amplitude and different noise levels. Second, we evaluate the formula with a variable amplitude function on the fringe patterns but with no background. Third, we evaluate non-normalized noisy fringe patterns including the comparison of pre-filtering processes such as the Gabor filter banks and the isotropic normalization process, in order to emphasize how they affect in the calculation of the phase step. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Reduction and simultaneous do** of graphene oxide to repel LDL in treatment of atherosclerosis disease

Authors: L. M. Rivera, A. F. Betancur, D. G. Zarate, D. Torres Torres, L. M. Hoyos, A. G. Garcia

Abstract: Atherosclerotic disease develops when there is endothelial dysfunction, making low density lipoproteins (LDL) which are cholesterol carriers traveling in the blood, very likely to penetrate the endothelium layer triggering the formation of the atheromatous plaque and leading to the obstruction of blood vessels. For some time now, devices called stents have been used to re-open the light of the plu… ▽ More Atherosclerotic disease develops when there is endothelial dysfunction, making low density lipoproteins (LDL) which are cholesterol carriers traveling in the blood, very likely to penetrate the endothelium layer triggering the formation of the atheromatous plaque and leading to the obstruction of blood vessels. For some time now, devices called stents have been used to re-open the light of the plugged artery, allowing the restoration of blood flow. However, this treatment has disadvantages like develo** intra-stent restenosis and progression of the atherosclerosis, clogging the blood vessel again. For these reasons it is necessary to develop new materials and strategies focused on the prevention and correction of this pathology and its subsequent complications. In the present work, a reduction and in situ nitrogen do** method in graphene oxide (N-rGO) was studied. By means of XPS a 9.57% at of nitrogen do** was demonstrated and was found that the pyrrole type nitrogen is predominant. Due to nitrogen do** and pyrrolic sites, the N-rGO surface reached high levels of negative electric charge, which was verified by Electrostatic Force Microscopy (EFM) and wettability tests between the LDL at different oxidation levels and the synthesized N-rGO; contact angles between 95.7° and 130.4° were obtained which indicates repulsion between both materials. The N-rGO was also characterized by SEM and TEM where a wrinkled morphology typical of this type of material was observed and the hexagonal atomic arrangement of GO is distinguished. Finally, cell viability tests using 3-(4,5-dimethylthiazolyl)-2,5-diphenyltetrazolium bromide (MTT) assay were carried out on human umbilical cord endothelial cells (HUVEC) to analyze the cellular response at different concentrations of N-rGO, obtaining favorable behavior up to concentrations of 100 (μg/mL). △ Less

Submitted 5 February, 2019; originally announced February 2019.

Comments: 36 pages, 14 figures

Independence numbers of some double vertex graphs and pair graphs

Authors: Paloma Jiménez-Sepúlveda, Luis Manuel Rivera

Abstract: The combinatorial properties of double vertex graphs has been widely studied since the 90's. However only very few results are know about the independence number of such graphs. In this paper we obtain the independence numbers of the double vertex graphs of fan graphs and wheel graphs. Also we obtain the independence numbers of the pair graphs, that is a generalization of the double vertex graphs,… ▽ More The combinatorial properties of double vertex graphs has been widely studied since the 90's. However only very few results are know about the independence number of such graphs. In this paper we obtain the independence numbers of the double vertex graphs of fan graphs and wheel graphs. Also we obtain the independence numbers of the pair graphs, that is a generalization of the double vertex graphs, of some families of graphs. △ Less

Submitted 5 January, 2019; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: 17 pages. Minor changes in the proofs

MSC Class: 05C69; 05C76

The functor of singular chains detects weak homotopy equivalences

Authors: Manuel Rivera, Felix Wierstra, Mahmoud Zeinalian

Abstract: The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally a cocommutative bialgebra, has an antipode, i.e. it is a cocommutative Hopf algebra. We prove that a continuous map of path connected pointed spaces… ▽ More The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally a cocommutative bialgebra, has an antipode, i.e. it is a cocommutative Hopf algebra. We prove that a continuous map of path connected pointed spaces $f: X\to Y$ is a weak homotopy equivalence if and only if $\mathbf{C}_*(f): \mathbf{C}_*(X)\to \mathbf{C}_*(Y)$ is an $\mathbfΩ$-quasi-isomorphism, i.e. a quasi-isomorphism of dg algebras after applying the cobar functor $\mathbfΩ$ to the underlying dg coassociative coalgebras. The proof is based on combining a classical theorem of Whitehead together with the observation that the fundamental group functor and the data of a local system over a space may be described functorially from the algebraic structure of the singular chains. △ Less

Submitted 22 January, 2019; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: This version contains minor changes based on a referee report mostly concerning presentation and typos. We have also added new acknowledgements

Singular chains and the fundamental group

Authors: Manuel Rivera, Mahmoud Zeinalian

Abstract: We show that the natural algebraic structure of the singular chains on a path connected topological space determines the fundamental group functorially. Moreover, we describe a notion of weak equivalence for the relevant algebraic structure under which the data of the fundamental group is preserved. We show that the natural algebraic structure of the singular chains on a path connected topological space determines the fundamental group functorially. Moreover, we describe a notion of weak equivalence for the relevant algebraic structure under which the data of the fundamental group is preserved. △ Less

Submitted 15 June, 2020; v1 submitted 17 July, 2018; originally announced July 2018.

Comments: The presentation was revised and reorganized. Minor typos were corrected, new references were added. To appear on Fundamenta Mathematicae

The colimit of an $\infty$-local system as a twisted tensor product

Authors: Manuel Rivera, Mahmoud Zeinalian

Abstract: We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as infinity-categories by exploiting the relationship between the differential graded nerve functor and the cobar construction. We use one of these models to calculate the quasi-categorical c… ▽ More We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as infinity-categories by exploiting the relationship between the differential graded nerve functor and the cobar construction. We use one of these models to calculate the quasi-categorical colimit of an infinity-local system in terms of a twisted tensor product. △ Less

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

Comments: Typos were corrected and presentation was improved. To appear in Higher Structures

A combinatorial model for the free loop fibration

Authors: Manuel Rivera, Samson Saneblidze

Abstract: We introduce the abstract notion of a closed necklical set in order to describe a functorial combinatorial model of the free loop fibration $ΩY\rightarrow ΛY\rightarrow Y$ over the geometric realization $Y=|X|$ of a path connected simplicial set $X.$ In particular, to any path connected simplicial set $X$ we associate a closed necklical set $\widehat{\mathbfΛ}X$ such that its geometric realization… ▽ More We introduce the abstract notion of a closed necklical set in order to describe a functorial combinatorial model of the free loop fibration $ΩY\rightarrow ΛY\rightarrow Y$ over the geometric realization $Y=|X|$ of a path connected simplicial set $X.$ In particular, to any path connected simplicial set $X$ we associate a closed necklical set $\widehat{\mathbfΛ}X$ such that its geometric realization $|\widehat{\mathbfΛ}X|$, a space built out of gluing "freehedrical" and "cubical" cells, is homotopy equivalent to the free loop space $ΛY$ and the differential graded module of chains $C_*(\widehat{\mathbfΛ}X)$ generalizes the coHochschild chain complex of the chain coalgebra $C_\ast(X).$ △ Less

Submitted 13 August, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: Made minor revisions. To appear in Bulletin of the London Mathematical Society

Report number: BLMS12202

Journal ref: Bulletin of the London Mathematical Society 2018

The packing number of the double vertex graph of the path graph

Authors: José Manuel Gómez Soto, Jesús Leaños, Luis Manuel Ríos-Castro, Luis Manuel Rivera

Abstract: Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane… ▽ More Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680. △ Less

Submitted 24 March, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: 21 pages, 7 figures. V2: 22 pages, more figures added. V3. minor corrections based on referee's comments. One figure corrected. The title "On an error correcting code problem" has been changed

MSC Class: 94B05; 94B65; 05C70; 05C76

Journal ref: Discrete Appl. Math, 247 (2018) 327-340

Aproximación métrica de grupos: una breve perspectiva

Authors: Luis Manuel Rivera, Nidya Monserrath Veyna García

Abstract: This is an expository paper (in Spanish) about the metric approximation of groups. This is an expository paper (in Spanish) about the metric approximation of groups. △ Less

Submitted 5 September, 2017; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 23 pages, Expository paper in Spanish. The references in the published version were updated

MSC Class: 20-02; 20F65

Journal ref: Morfismos, 21 (1) (2017), 45-67

Hamiltonicity of token graphs of fan graphs

Authors: Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: In this note we show that the token graphs of fan graphs are Hamiltonian. This result provides another proof of the Hamiltonicity of Johnson graphs and also extends previous results obtained by Mirajkar and Priyanka Y. B. In this note we show that the token graphs of fan graphs are Hamiltonian. This result provides another proof of the Hamiltonicity of Johnson graphs and also extends previous results obtained by Mirajkar and Priyanka Y. B. △ Less

Submitted 2 October, 2017; v1 submitted 18 July, 2017; originally announced July 2017.

Comments: V2 is a revised version following the referee report. A minor gap in the proof was corrected

MSC Class: 05C45; 05C76

Journal ref: Art Discrete Appl. Math. 1 (2018) #P07