Showing 1–50 of 88 results for author: Jimenez, C

Bayesian analysis for pretest-posttest binary outcomes with adaptive significance levels

Authors: Alejandra Estefanía Patiño Hoyos, Johnatan Cardona Jiménez

Abstract: Count outcomes in longitudinal studies are frequent in clinical and engineering studies. In frequentist and Bayesian statistical analysis, methods such as Mixed linear models allow the variability or correlation within individuals to be taken into account. However, in more straightforward scenarios, where only two stages of an experiment are observed (pre-treatment vs. post-treatment), there are o… ▽ More Count outcomes in longitudinal studies are frequent in clinical and engineering studies. In frequentist and Bayesian statistical analysis, methods such as Mixed linear models allow the variability or correlation within individuals to be taken into account. However, in more straightforward scenarios, where only two stages of an experiment are observed (pre-treatment vs. post-treatment), there are only a few tools available, mainly for continuous outcomes. Thus, this work introduces a Bayesian statistical methodology for comparing paired samples in binary pretest-posttest scenarios. We establish a Bayesian probabilistic model for the inferential analysis of the unknown quantities, which is validated and refined through simulation analyses, and present an application to a dataset taken from the Television School and Family Smoking Prevention and Cessation Project (TVSFP) (Flay et al., 1995). The application of the Full Bayesian Significance Test (FBST) for precise hypothesis testing, along with the implementation of adaptive significance levels in the decision-making process, is included. △ Less

Submitted 9 July, 2024; originally announced July 2024.

SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Authors: John Yang, Carlos E. Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, Ofir Press

Abstract: Language model (LM) agents are increasingly being used to automate complicated tasks in digital environments. Just as humans benefit from powerful software applications, such as integrated development environments, for complex tasks like software engineering, we posit that LM agents represent a new category of end users with their own needs and abilities, and would benefit from specially-built int… ▽ More Language model (LM) agents are increasingly being used to automate complicated tasks in digital environments. Just as humans benefit from powerful software applications, such as integrated development environments, for complex tasks like software engineering, we posit that LM agents represent a new category of end users with their own needs and abilities, and would benefit from specially-built interfaces to the software they use. We investigate how interface design affects the performance of language model agents. As a result of this exploration, we introduce SWE-agent: a system that facilitates LM agents to autonomously use computers to solve software engineering tasks. SWE-agent's custom agent-computer interface (ACI) significantly enhances an agent's ability to create and edit code files, navigate entire repositories, and execute tests and other programs. We evaluate SWE-agent on SWE-bench and HumanEvalFix, achieving state-of-the-art performance on both with a pass@1 rate of 12.5% and 87.7%, respectively, far exceeding the previous state-of-the-art achieved with non-interactive LMs. Finally, we provide insight on how the design of the ACI can impact agents' behavior and performance. △ Less

Submitted 30 May, 2024; v1 submitted 6 May, 2024; originally announced May 2024.

Comments: Code, data, and demo available at https://swe-agent.com

Impact of the La2NiO4+δ oxygen content on the synaptic properties of the TiN/La2NiO4+δ/Pt memristive devices

Authors: Aleksandra Koroleva, Thoai-Khanh Khuu, César Magén, Hervé Roussel, Carmen Jiménez, Céline Ternon, Elena-Ioana Vatajelu, Mónica Burriel

Abstract: The rapid development of brain-inspired computing requires new artificial components and architectures for its hardware implementation. In this regard, memristive devices emerged as potential candidates for artificial synapses because of their ability to emulate the plasticity of the biological synapses. In this work, the synaptic behavior of the TiN/La2NiO4+δ/Pt memristive devices based on therma… ▽ More The rapid development of brain-inspired computing requires new artificial components and architectures for its hardware implementation. In this regard, memristive devices emerged as potential candidates for artificial synapses because of their ability to emulate the plasticity of the biological synapses. In this work, the synaptic behavior of the TiN/La2NiO4+δ/Pt memristive devices based on thermally annealed La2NiO4+δ films is thoroughly investigated. Using electron energy loss spectroscopy, we show that annealing using reducing (Ar) or oxidizing (O2) atmospheres affects the interstitial oxygen content (δ) in the La2NiO4+δ films. Electrical characterization shows that both devices exhibit long-term potentiation/depression and spike-timing-dependent plasticity, which makes them suitable for neuromorphic applications. At the same time, the Ar annealed TiN/La2NiO4+δ/Pt device demonstrates non-volatile properties with low energy consumption during the learning process. On the other hand, in the O2 annealed TiN/La2NiO4+δ/Pt device the resistive switching behavior is more volatile and requires more energy for synaptic learning. Finally, the simulation tools show that spiking neural network architectures with unsupervised learning rules based on the experimental data achieve high inference accuracy in the digit recognition task, which proves the potential of TiN/La2NiO4+δ/Pt devices for artificial synapse applications. △ Less

Submitted 18 February, 2024; originally announced February 2024.

The Ambrose-Singer Theorem for cohomogeneity one Riemannian manifolds

Authors: José Luis Carmona Jiménez, Marco Castrillón López, José Carlos Díaz-Ramos

Abstract: We characterize isometric actions when the principal orbits are hypersurfaces by the existence of a linear connection satisfying a set of covariant equations. We use this results to characterize isomorphic cohomogeneity one foliations in terms of these connections and give explicit examples of these objects in the Euclidean space and the real hyperbolic space. We characterize isometric actions when the principal orbits are hypersurfaces by the existence of a linear connection satisfying a set of covariant equations. We use this results to characterize isomorphic cohomogeneity one foliations in terms of these connections and give explicit examples of these objects in the Euclidean space and the real hyperbolic space. △ Less

Submitted 28 December, 2023; originally announced December 2023.

MSC Class: 53C05; 53C12; 53C40

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Authors: Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik Narasimhan

Abstract: Language models have outpaced our ability to evaluate them effectively, but for their future development it is essential to study the frontier of their capabilities. We find real-world software engineering to be a rich, sustainable, and challenging testbed for evaluating the next generation of language models. To this end, we introduce SWE-bench, an evaluation framework consisting of $2,294$ softw… ▽ More Language models have outpaced our ability to evaluate them effectively, but for their future development it is essential to study the frontier of their capabilities. We find real-world software engineering to be a rich, sustainable, and challenging testbed for evaluating the next generation of language models. To this end, we introduce SWE-bench, an evaluation framework consisting of $2,294$ software engineering problems drawn from real GitHub issues and corresponding pull requests across $12$ popular Python repositories. Given a codebase along with a description of an issue to be resolved, a language model is tasked with editing the codebase to address the issue. Resolving issues in SWE-bench frequently requires understanding and coordinating changes across multiple functions, classes, and even files simultaneously, calling for models to interact with execution environments, process extremely long contexts and perform complex reasoning that goes far beyond traditional code generation tasks. Our evaluations show that both state-of-the-art proprietary models and our fine-tuned model SWE-Llama can resolve only the simplest issues. The best-performing model, Claude 2, is able to solve a mere $1.96$% of the issues. Advances on SWE-bench represent steps towards LMs that are more practical, intelligent, and autonomous. △ Less

Submitted 5 April, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: Data, code, and leaderboard are available at https://www.swebench.com ICLR 2024, https://openreview.net/forum?id=VTF8yNQM66

C-STS: Conditional Semantic Textual Similarity

Authors: Ameet Deshpande, Carlos E. Jimenez, Howard Chen, Vishvak Murahari, Victoria Graf, Tanmay Rajpurohit, Ashwin Kalyan, Danqi Chen, Karthik Narasimhan

Abstract: Semantic textual similarity (STS), a cornerstone task in NLP, measures the degree of similarity between a pair of sentences, and has broad application in fields such as information retrieval and natural language understanding. However, sentence similarity can be inherently ambiguous, depending on the specific aspect of interest. We resolve this ambiguity by proposing a novel task called Conditiona… ▽ More Semantic textual similarity (STS), a cornerstone task in NLP, measures the degree of similarity between a pair of sentences, and has broad application in fields such as information retrieval and natural language understanding. However, sentence similarity can be inherently ambiguous, depending on the specific aspect of interest. We resolve this ambiguity by proposing a novel task called Conditional STS (C-STS) which measures sentences' similarity conditioned on an feature described in natural language (hereon, condition). As an example, the similarity between the sentences "The NBA player shoots a three-pointer." and "A man throws a tennis ball into the air to serve." is higher for the condition "The motion of the ball" (both upward) and lower for "The size of the ball" (one large and one small). C-STS's advantages are two-fold: (1) it reduces the subjectivity and ambiguity of STS and (2) enables fine-grained language model evaluation through diverse natural language conditions. We put several state-of-the-art models to the test, and even those performing well on STS (e.g. SimCSE, Flan-T5, and GPT-4) find C-STS challenging; all with Spearman correlation scores below 50. To encourage a more comprehensive evaluation of semantic similarity and natural language understanding, we make nearly 19K C-STS examples and code available for others to train and test their models. △ Less

Submitted 6 November, 2023; v1 submitted 24 May, 2023; originally announced May 2023.

Comments: Published in EMNLP 2023

Isotope Exchange Raman Spectroscopy (IERS): a novel technique to probe physicochemical processes $in$ $situ$

Authors: Alexander Stangl, Dolors Pla, Caroline Pirovano, Odette Chaix-Pluchery, Federico Baiutti, Francesco Chiabrera, Albert Tarancón, Carmen Jiménez, Michel Mermoux, Mónica Burriel

Abstract: We have developed a novel in situ methodology for the direct study of mass transport properties in oxides with spatial and unprecedented time resolution, based on Raman spectroscopy coupled to isothermal isotope exchanges. Changes in the isotope concentration, resulting in a Raman frequency shift, can be followed in real time, not accessible by conventional methods, enabling complementary insights… ▽ More We have developed a novel in situ methodology for the direct study of mass transport properties in oxides with spatial and unprecedented time resolution, based on Raman spectroscopy coupled to isothermal isotope exchanges. Changes in the isotope concentration, resulting in a Raman frequency shift, can be followed in real time, not accessible by conventional methods, enabling complementary insights for the study of ion transport properties of electrode and electrolyte materials for advanced solid-state electrochemical devices. The proof of concept and strengths of isotope exchange Raman spectroscopy (IERS) are demonstrated by studying the oxygen isotope back-exchange in gadolinium-doped ceria (CGO) thin films. Resulting oxygen self-diffusion and surface exchange coefficients are compared to conventional time-of-flight secondary ion mass spectrometry (ToF-SIMS) characterisation and literature values, showing good agreement, while at the same time providing additional insight, challenging established assumptions. IERS captivates through its rapidity, simple setup, non-destructive nature, cost effectiveness and versatile fields of application and thus can readily be integrated as new standard tool for in situ and operando characterization in many laboratories worldwide. The applicability of this method is expected to consolidate our understanding of elementary physicochemical processes and impact various emerging fields including solid oxide cells, battery research and beyond. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Pseudodifferential Operators on the Noncommutative Torus: a Survey

Authors: Carolina Neira Jiménez

Abstract: This article presents a survey of recent developments on pseudodifferential operators on the noncommutative torus in two frameworks, as a Rieffel deformation and as a spectral triple. We describe currently available constructions of pseudodifferential operators on the noncommutative torus: in association to a $C^*$-dynamical system, by using an analogue of the Fourier series representation of a fu… ▽ More This article presents a survey of recent developments on pseudodifferential operators on the noncommutative torus in two frameworks, as a Rieffel deformation and as a spectral triple. We describe currently available constructions of pseudodifferential operators on the noncommutative torus: in association to a $C^*$-dynamical system, by using an analogue of the Fourier series representation of a function in the (commutative) torus $C^\infty(\mathbb{T}^n)$, as a Rieffel deformation of the standard pseudodifferential operators on $C^\infty(\mathbb{T}^n)$, and in association to a spectral triple. △ Less

Submitted 6 March, 2023; originally announced March 2023.

MSC Class: 58B34; 53D55; 47G30

MUX-PLMs: Data Multiplexing for High-throughput Language Models

Authors: Vishvak Murahari, Ameet Deshpande, Carlos E. Jimenez, Izhak Shafran, Mingqiu Wang, Yuan Cao, Karthik Narasimhan

Abstract: The widespread adoption of large language models such as ChatGPT and Bard has led to unprecedented demand for these technologies. The burgeoning cost of inference for ever-increasing model sizes coupled with hardware shortages has limited affordable access and poses a pressing need for efficiency approaches geared towards high throughput and performance. Multi-input multi-output (MIMO) algorithms… ▽ More The widespread adoption of large language models such as ChatGPT and Bard has led to unprecedented demand for these technologies. The burgeoning cost of inference for ever-increasing model sizes coupled with hardware shortages has limited affordable access and poses a pressing need for efficiency approaches geared towards high throughput and performance. Multi-input multi-output (MIMO) algorithms such as data multiplexing, offer a promising solution with a many-fold increase in throughput by performing inference for multiple inputs at the cost of a single input. Yet these approaches are not currently performant enough to be deployed in modern systems. We change that by develo** MUX-PLMs, a class of high throughput pre-trained language models (PLMs) trained with data multiplexing, that can be fine-tuned for any downstream task to yield high-throughput high-performance. Our novel multiplexing and demultiplexing modules proficiently entangle and disentangle inputs, and enable high-performance high throughput \muxplms{} that are competitive with vanilla PLMs while achieving 2x/5x inference speedup with only a $1-4\%$ drop on a broad suite of tasks. △ Less

Submitted 22 May, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

Dense Nuclear Matter Equation of State from Heavy-Ion Collisions

Authors: Agnieszka Sorensen, Kshitij Agarwal, Kyle W. Brown, Zbigniew Chajęcki, Paweł Danielewicz, Christian Drischler, Stefano Gandolfi, Jeremy W. Holt, Matthias Kaminski, Che-Ming Ko, Rohit Kumar, Bao-An Li, William G. Lynch, Alan B. McIntosh, William G. Newton, Scott Pratt, Oleh Savchuk, Maria Stefaniak, Ingo Tews, ManYee Betty Tsang, Ramona Vogt, Hermann Wolter, Hanna Zbroszczyk, Navid Abbasi, Jörg Aichelin , et al. (111 additional authors not shown)

Abstract: The nuclear equation of state (EOS) is at the center of numerous theoretical and experimental efforts in nuclear physics. With advances in microscopic theories for nuclear interactions, the availability of experiments probing nuclear matter under conditions not reached before, endeavors to develop sophisticated and reliable transport simulations to interpret these experiments, and the advent of mu… ▽ More The nuclear equation of state (EOS) is at the center of numerous theoretical and experimental efforts in nuclear physics. With advances in microscopic theories for nuclear interactions, the availability of experiments probing nuclear matter under conditions not reached before, endeavors to develop sophisticated and reliable transport simulations to interpret these experiments, and the advent of multi-messenger astronomy, the next decade will bring new opportunities for determining the nuclear matter EOS, elucidating its dependence on density, temperature, and isospin asymmetry. Among controlled terrestrial experiments, collisions of heavy nuclei at intermediate beam energies (from a few tens of MeV/nucleon to about 25 GeV/nucleon in the fixed-target frame) probe the widest ranges of baryon density and temperature, enabling studies of nuclear matter from a few tenths to about 5 times the nuclear saturation density and for temperatures from a few to well above a hundred MeV, respectively. Collisions of neutron-rich isotopes further bring the opportunity to probe effects due to the isospin asymmetry. However, capitalizing on the enormous scientific effort aimed at uncovering the dense nuclear matter EOS, both at RHIC and at FRIB as well as at other international facilities, depends on the continued development of state-of-the-art hadronic transport simulations. This white paper highlights the essential role that heavy-ion collision experiments and hadronic transport simulations play in understanding strong interactions in dense nuclear matter, with an emphasis on how these efforts can be used together with microscopic approaches and neutron star studies to uncover the nuclear EOS. △ Less

Submitted 25 January, 2024; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: White paper prepared for the 2023 Long Range Plan. v3: Updated version as published in Progress in Particle and Nuclear Physics. Note: the published version does not include the executive summary; in the updated arXiv version, the executive summary is included as an appendix. v4: Corrected list of authors

Report number: INT-PUB-23-001, LA-UR-23-20514, LLNL-TR-844629

Journal ref: Prog.Part.Nucl.Phys. 134 (2024) 104080

Revisiting the stability of strange-dwarf stars and strange planets

Authors: Victor P. Goncalves, Jose C. Jimenez, Lucas Lazzari

Abstract: The dynamical stability of strange-dwarf hybrid stars and strange planets, constituted by strange-quark-matter cores and dilute-nuclear-matter crusts, is revisited by analyzing the fundamental mode eigenfrequencies of the radial oscillation equations with boundary conditions for slow (rapid) conversions originating at the density-discontinuous interface characterizing extremely large (small) micro… ▽ More The dynamical stability of strange-dwarf hybrid stars and strange planets, constituted by strange-quark-matter cores and dilute-nuclear-matter crusts, is revisited by analyzing the fundamental mode eigenfrequencies of the radial oscillation equations with boundary conditions for slow (rapid) conversions originating at the density-discontinuous interface characterizing extremely large (small) microscopic timescales compared to the oscillation periods. For the hadronic crust we used an analytic fit of the BPS results matched to the massless MIT bag model. For the rapid case, our calculations indicate that the zero mode is the so-called {\it reaction mode} whose frequency is a complex number, thus ruling out the existence of strange dwarfs (planets) in nature. On the other hand, slow conversions still provide a sizeable stability window which, interestingly, also reproduces the Glendenning-Kettner-Weber results. The robustness of our findings is demonstrated for different transition densities and using an equation of state from perturbative QCD for the ultra-dense core. △ Less

Submitted 8 November, 2023; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 9 pages, 3 figures. Version published in European Physical Journal A

LensWatch: I. Resolved HST Observations and Constraints on the Strongly-Lensed Type Ia Supernova 2022qmx ("SN Zwicky")

Authors: J. D. R. Pierel, N. Arendse, S. Ertl, X. Huang, L. A. Moustakas, S. Schuldt, A. J. Shajib, Y. Shu, S. Birrer, M. Bronikowski, J. Hjorth, S. H. Suyu, S. Agarwal, A. Agnello, A. S. Bolton, S. Chakrabarti, C. Cold, F. Courbin, J. M. Della Costa, S. Dhawan, M. Engesser, O. D. Fox, C. Gall, S. Gomez, A. Goobar , et al. (17 additional authors not shown)

Abstract: Supernovae (SNe) that have been multiply-imaged by gravitational lensing are rare and powerful probes for cosmology. Each detection is an opportunity to develop the critical tools and methodologies needed as the sample of lensed SNe increases by orders of magnitude with the upcoming Vera C. Rubin Observatory and Nancy Grace Roman Space Telescope. The latest such discovery is of the quadruply-image… ▽ More Supernovae (SNe) that have been multiply-imaged by gravitational lensing are rare and powerful probes for cosmology. Each detection is an opportunity to develop the critical tools and methodologies needed as the sample of lensed SNe increases by orders of magnitude with the upcoming Vera C. Rubin Observatory and Nancy Grace Roman Space Telescope. The latest such discovery is of the quadruply-imaged Type Ia SN 2022qmx (aka, "SN Zwicky"; Goobar et al. 2022) at z = 0.3544. SN Zwicky was discovered by the Zwicky Transient Facility (ZTF) in spatially unresolved data. Here we present follow-up Hubble Space Telescope observations of SN Zwicky, the first from the multi-cycle "LensWatch" program (www.lenswatch.org). We measure photometry for each of the four images of SN Zwicky, which are resolved in three WFC3/UVIS filters (F475W, F625W, F814W) but unresolved with WFC3/IR F160W, and produce an analysis of the lensing system using a variety of independent lens modeling methods. We find consistency between time delays estimated with the single epoch of HST photometry and the lens model predictions constrained through the multiple image positions, with both inferring time delays of <1 day. Our lens models converge to an Einstein radius of (0.168+0.009-0.005)", the smallest yet seen in a lensed SN. The "standard candle" nature of SN Zwicky provides magnification estimates independent of the lens modeling that are brighter by ~1.5 mag and ~0.8 mag for two of the four images, suggesting significant microlensing and/or additional substructure beyond the flexibility of our image-position mass models. △ Less

Submitted 8 November, 2022; v1 submitted 7 November, 2022; originally announced November 2022.

Energy Consumption Analysis Of Machining Centers Using Bayesian Analysis And Genetic Optimization

Authors: Johnatan Cardona Jiménez, María I. Ardila, J. S. Rudas, Cesar A. Isaza M., Edwin J. Núñez, Miguel A. Rodriguez

Abstract: Responding to the current urgent need for low carbon emissions and high efficiency in manufacturing processes, the relationships between three different machining factors (depth of cut, feed rate, and spindle rate) on power consumption and surface finish (roughness) were analysed by applying a Bayesian seemingly unrelated regressions (SUR) model. For the analysis, an optimization criterion was est… ▽ More Responding to the current urgent need for low carbon emissions and high efficiency in manufacturing processes, the relationships between three different machining factors (depth of cut, feed rate, and spindle rate) on power consumption and surface finish (roughness) were analysed by applying a Bayesian seemingly unrelated regressions (SUR) model. For the analysis, an optimization criterion was established and minimized by using an optimization algorithm that combines evolutionary algorithm methods with a derivative-based (quasi-Newton) method to find the optimal conditions for energy consumption that obtains a good surface finish quality. A Bayesian ANOVA was also performed to identify the most important factors in terms of variance explanation of the observed outcomes. The data were obtained from a factorial experimental design performed in two computerized numerical control (CNC) vertical machining centers (Haas UMC-750 and Leadwell V-40iT). Some results from this study show that the feed rate is the most influential factor in power consumption, and the depth of cut is the factor with the stronger influence on roughness values. An optimal operational point is found for the three factors with a predictive error of less than 0.01% and 0.03% for the Leadwell V-40iT machine and the Haas UMC-750 machine, respectively. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Fundamental-mode eigenfrequencies of neutral and charged twin neutron stars

Authors: Victor P. Goncalves, José C. Jiménez, Lucas Lazzari

Abstract: We investigate the effects of rapid and slow conversions on the fundamental-mode eigenfrequencies of hybrid neutron stars having highly discontinuous transitions between hadronic and quark matter, the so-called twin stars. We analyze some characteristic cases in the available parameter space of the equations of state for the hadronic and quark phases. Furthermore, we also consider the possibility… ▽ More We investigate the effects of rapid and slow conversions on the fundamental-mode eigenfrequencies of hybrid neutron stars having highly discontinuous transitions between hadronic and quark matter, the so-called twin stars. We analyze some characteristic cases in the available parameter space of the equations of state for the hadronic and quark phases. Furthermore, we also consider the possibility that these stellar configurations are electrically charged. Our results indicate that for neutral configurations under rapid conversions the stability window coincides with the usual stability criterion, i.e. $\partial M/\partial p_c > 0$ and that the two branches are disconnected. This discontinuity remains when electric charge is considered, but the usual criterion is not sufficient to determine the star's stability. On the other hand, slow conversions connect initially disconnected branches and increase the stability window of the hybrid configurations. For both conversion speeds, the presence of electric charge diminishes the magnitude of the eigenfrequencies and its stability window. △ Less

Submitted 12 December, 2022; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: 11 pages, 6 figures. Version published in EPJC

CARETS: A Consistency And Robustness Evaluative Test Suite for VQA

Authors: Carlos E. Jimenez, Olga Russakovsky, Karthik Narasimhan

Abstract: We introduce CARETS, a systematic test suite to measure consistency and robustness of modern VQA models through a series of six fine-grained capability tests. In contrast to existing VQA test sets, CARETS features balanced question generation to create pairs of instances to test models, with each pair focusing on a specific capability such as rephrasing, logical symmetry or image obfuscation. We e… ▽ More We introduce CARETS, a systematic test suite to measure consistency and robustness of modern VQA models through a series of six fine-grained capability tests. In contrast to existing VQA test sets, CARETS features balanced question generation to create pairs of instances to test models, with each pair focusing on a specific capability such as rephrasing, logical symmetry or image obfuscation. We evaluate six modern VQA systems on CARETS and identify several actionable weaknesses in model comprehension, especially with concepts such as negation, disjunction, or hypernym invariance. Interestingly, even the most sophisticated models are sensitive to aspects such as swap** the order of terms in a conjunction or varying the number of answer choices mentioned in the question. We release CARETS to be used as an extensible tool for evaluating multi-modal model robustness. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: ACL 2022

Numerical optimization of single-mode fiber-coupled single-photon sources based on semiconductor quantum dots

Authors: Lucas Bremer, Carlos Jimenez, Simon Thiele, Ksenia Weber, Tobias Huber, Sven Rodt, Alois Herkommer, Sven Burger, Sven Höfling, Harald Giessen, Stephan Reitzenstein

Abstract: We perform extended numerical studies to maximize the overall photon coupling efficiency of fiber-coupled quantum dot single-photon sources emitting in the near-infrared and telecom regime. Using the finite element method, we optimize the photon extraction and fiber-coupling efficiency of quantum dot single-photon sources based on micromesas, microlenses, circular Bragg grating cavities and microp… ▽ More We perform extended numerical studies to maximize the overall photon coupling efficiency of fiber-coupled quantum dot single-photon sources emitting in the near-infrared and telecom regime. Using the finite element method, we optimize the photon extraction and fiber-coupling efficiency of quantum dot single-photon sources based on micromesas, microlenses, circular Bragg grating cavities and micropillars. The numerical simulations which consider the entire system consisting of the quantum dot source itself, the coupling lens, and the single-mode fiber yield overall photon coupling efficiencies of up to 83%. Our work provides objectified comparability of different fiber-coupled single-photon sources and proposes optimized geometries for the realization of practical and highly efficient quantum dot single-photon sources. △ Less

Submitted 19 February, 2022; originally announced February 2022.

Journal ref: Opt. Express 30, 15913 (2022)

DataMUX: Data Multiplexing for Neural Networks

Authors: Vishvak Murahari, Carlos E. Jimenez, Runzhe Yang, Karthik Narasimhan

Abstract: In this paper, we introduce data multiplexing (DataMUX), a technique that enables deep neural networks to process multiple inputs simultaneously using a single compact representation. DataMUX demonstrates that neural networks are capable of generating accurate predictions over mixtures of inputs, resulting in increased throughput with minimal extra memory requirements. Our approach uses two key co… ▽ More In this paper, we introduce data multiplexing (DataMUX), a technique that enables deep neural networks to process multiple inputs simultaneously using a single compact representation. DataMUX demonstrates that neural networks are capable of generating accurate predictions over mixtures of inputs, resulting in increased throughput with minimal extra memory requirements. Our approach uses two key components -- 1) a multiplexing layer that performs a fixed linear transformation to each input before combining them to create a mixed representation of the same size as a single input, which is then processed by the base network, and 2) a demultiplexing layer that converts the base network's output back into independent representations before producing predictions for each input. We show the viability of DataMUX for different architectures (Transformers, and to a lesser extent MLPs and CNNs) across six different tasks spanning sentence classification, named entity recognition and image classification. For instance, DataMUX for Transformers can multiplex up to $20$x/$40$x inputs, achieving $11$x/$18$x increase in throughput with minimal absolute performance drops of $<2\%$ and $<4\%$ respectively on MNLI, a natural language inference task. We also provide a theoretical construction for multiplexing in self-attention networks and analyze the effect of various design elements in DataMUX. △ Less

Submitted 14 November, 2022; v1 submitted 18 February, 2022; originally announced February 2022.

Comments: NeurIPS 2022

$R^2$-gravity quark stars from perturbative QCD

Authors: José C. Jiménez, Juan M. Z. Pretel, Eduardo S. Fraga, Sergio E. Jorás, Ribamar R. R. Reis

Abstract: We investigate the structure of quark stars in the framework of $f(R)= R+ αR^2$ gravity using an equation of state for cold quark matter obtained from perturbative QCD, parametrized only by the renormalization scale. We show that a considerably large range of the free parameter $α$, within and even beyond the constraints previously reported in the literature, yield non-negligible modifications in… ▽ More We investigate the structure of quark stars in the framework of $f(R)= R+ αR^2$ gravity using an equation of state for cold quark matter obtained from perturbative QCD, parametrized only by the renormalization scale. We show that a considerably large range of the free parameter $α$, within and even beyond the constraints previously reported in the literature, yield non-negligible modifications in the mass and radius of stars with large central mass densities. Besides, their stability against baryon evaporation is analyzed through the behavior of the associated total binding energies for which we show that these energies are slightly affected by the modified gravity term in the regime of high proper (baryon) masses. △ Less

Submitted 24 May, 2022; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: Accepted for publication in JCAP; 17 pages, 5 figures and minor clarifications added

Journal ref: JCAP 07 (2022) 017

The homogeneous geometries of complex hyperbolic space

Authors: José Luis Carmona Jiménez, Marco Castrillón López

Abstract: We describe the holonomy algebras of all canonical connections and their action on complex hyperbolic spaces $\mathbb{C}\mathrm{H}(n)$ in all dimensions ($n\in\mathbb{N}$). This thorough investigation yields a formula for all Kahler homogeneous structures on complex hyperbolic spaces. Finally, we have related the belonging of the homogeneous structures to the different Tricerri and Vanhecke's (or… ▽ More We describe the holonomy algebras of all canonical connections and their action on complex hyperbolic spaces $\mathbb{C}\mathrm{H}(n)$ in all dimensions ($n\in\mathbb{N}$). This thorough investigation yields a formula for all Kahler homogeneous structures on complex hyperbolic spaces. Finally, we have related the belonging of the homogeneous structures to the different Tricerri and Vanhecke's (or Abbena and Garbiero's) orthogonal and irreducible $\mathrm{U}(n)$-submodules with concrete and determined expressions of the holonomy. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Tailored nano-columnar La$_2$NiO$_4$ cathodes for improved electrode performance

Authors: Alexander Stangl, Adeel Riaz, Laetitia Rapenne, José Manuel Caicedo, Carmen Jiménez, Michel Mermoux, Mónica Burriel

Abstract: La$_2$NiO$_4$ is a very promising cathode material for intermediate and low temperature solid oxide cell applications, due to its good electronic and ionic conductivity, together with its high oxygen exchange activity with a low activation energy. Oxygen incorporation and transport in La$_2$NiO$_4$ (L2NO4) thin films is limited by surface reactions. Hence, tailoring the morphology is expected to l… ▽ More La$_2$NiO$_4$ is a very promising cathode material for intermediate and low temperature solid oxide cell applications, due to its good electronic and ionic conductivity, together with its high oxygen exchange activity with a low activation energy. Oxygen incorporation and transport in La$_2$NiO$_4$ (L2NO4) thin films is limited by surface reactions. Hence, tailoring the morphology is expected to lead to an overall improvement of the electrode performance. We report on the growth of nano-architectured La$_2$NiO$_4$ thin film electrodes by Pulsed Injection Metal Organic Vapour Deposition (PI-MOCVD), achieving vertically gapped columns with multi-fold active surface area, leading to much faster oxygen exchange. This nano-columnar structure is rooted in a dense bottom layer serving as good electronic and ionic conduction pathway. The microstructure is tuned by modification of the growth temperature and characterised by SEM, TEM and XRD. We studied the effect of surface activity by electrical conductivity relaxation measurements in fully dense and nano-columnar La$_2$NiO$_4$ thin films of various thicknesses grown on several different single crystal substrates. Our results demonstrate that the increased surface area, in combination with the opening of different surface terminations, leads to a significant enhancment of the total exchange activity in our films with optimized nano-architectured microstructure. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Journal ref: J. Mater. Chem. A, 2021

BayesDLMfMRI: Bayesian Matrix-Variate Dynamic Linear Models for Task-based fRMI Modeling in R

Authors: Johnatan Cardona Jiménez

Abstract: This article introduces an R package to perform statistical analysis for task-based fMRI data at both individual and group levels. The analysis to detect brain activation at the individual level is based on modeling the fMRI signal using Matrix-Variate Dynamic Linear Models (MDLM). Therefore, the analysis for the group stage is based on posterior distributions of the state parameter obtained from… ▽ More This article introduces an R package to perform statistical analysis for task-based fMRI data at both individual and group levels. The analysis to detect brain activation at the individual level is based on modeling the fMRI signal using Matrix-Variate Dynamic Linear Models (MDLM). Therefore, the analysis for the group stage is based on posterior distributions of the state parameter obtained from the modeling at the individual level. In this way, this package offers several R functions with different algorithms to perform inference on the state parameter to assess brain activation for both individual and group stages. Those functions allow for parallel computation when the analysis is performed for the entire brain as well as analysis at specific voxels when it is required. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Radial oscillations of quark stars admixed with dark matter

Authors: José C. Jiménez, Eduardo S. Fraga

Abstract: We investigated compact stars consisting of cold quark matter and fermionic dark matter treated as two admixed fluids. We computed the stellar structures and fundamental radial oscillation frequencies for different masses of the dark fermion in the cases of weak and strong self-interacting dark matter. We found that the fundamental frequency can be dramatically modified and, in some cases, stable… ▽ More We investigated compact stars consisting of cold quark matter and fermionic dark matter treated as two admixed fluids. We computed the stellar structures and fundamental radial oscillation frequencies for different masses of the dark fermion in the cases of weak and strong self-interacting dark matter. We found that the fundamental frequency can be dramatically modified and, in some cases, stable dark strange planets and dark strangelets with very low masses and radii can be formed. △ Less

Submitted 17 January, 2022; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: v2: 27 pages, 8 figures, some technical details and minor clarifications added, matches published version

Journal ref: Universe 2022, 8, 34

Electrically charged supermassive twin stars

Authors: V. P. Goncalves, J. C. Jimenez, L. Lazzari

Abstract: By assuming that ultra dense hybrid neutron stars are endowed with a distribution of electric charge, we study the corresponding twin star solutions and their properties resulting from a sharp first order transition from confined hadronic to a deconfined quark phase. Two distinct quark matter equations of state with increasing stiffness are considered and the values for the maximum gravitational m… ▽ More By assuming that ultra dense hybrid neutron stars are endowed with a distribution of electric charge, we study the corresponding twin star solutions and their properties resulting from a sharp first order transition from confined hadronic to a deconfined quark phase. Two distinct quark matter equations of state with increasing stiffness are considered and the values for the maximum gravitational masses of the hadronic and hybrid twin configurations are obtained for different values of the total electric charge. Interestingly, our calculations indicate that sharp transitions make charged twin hybrid stars more massive than their neutral counterparts, and that the {$\SI{2}{M_{\odot}}$ constraint from PSR J0740+6620} is surpassed for standard values of electric charge and can be considered stable only satisfying $\partial M/\partial ε_0 > 0$. In particular, our charged stellar models reach masses even higher than the unknown compact object measured in the GW190814 event. △ Less

Submitted 26 January, 2022; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: 8 pages, 4 figures, 2 tables. Improved version to be published in EPJC

Heavy-quark effects on cold quark matter and self-bound stars

Authors: José C. Jiménez, Eduardo S. Fraga

Abstract: Heavy-quark effects on the equation of state for cold and dense quark matter are obtained from perturbative QCD, yielding observables parametrized only by the renormalization scale. In particular, we investigate the thermodynamics of charm quark matter under the constraints of $β$ equilibrium and electric charge neutrality in a region of densities where perturbative QCD is, in principle, much more… ▽ More Heavy-quark effects on the equation of state for cold and dense quark matter are obtained from perturbative QCD, yielding observables parametrized only by the renormalization scale. In particular, we investigate the thermodynamics of charm quark matter under the constraints of $β$ equilibrium and electric charge neutrality in a region of densities where perturbative QCD is, in principle, much more reliable. Finally, we analyze the stability of charm stars, a possible new branch of ultradense, self-bound compact stars, and find that they are unstable under radial oscillations. △ Less

Submitted 30 August, 2021; originally announced August 2021.

Comments: 4 pages, 2 figures, contribution to the proceedings for the 19th International Conference on Strangeness in Quark Matter (SQM 2021), online 17-22 May 2021 (Submission to EPJ)

Radial oscillations in neutron stars from QCD

Authors: José C. Jiménez, Eduardo S. Fraga

Abstract: We study the stability against infinitesimal radial oscillations of neutron stars generated by a set of equations of state obtained from first-principle calculations in cold and dense QCD and constrained by observational data. We consider mild and large violations of the conformal bound, $c_{s} = 1/\sqrt{3}$, in stars that can possibly contain a quark matter core. Some neutron star families in the… ▽ More We study the stability against infinitesimal radial oscillations of neutron stars generated by a set of equations of state obtained from first-principle calculations in cold and dense QCD and constrained by observational data. We consider mild and large violations of the conformal bound, $c_{s} = 1/\sqrt{3}$, in stars that can possibly contain a quark matter core. Some neutron star families in the mass-radius diagram become dynamically unstable due to large oscillation amplitudes near the core. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. D 104, 014002 (2021)

Interacting quark matter effects on the structure of compact stars

Authors: José C. Jiménez

Abstract: In this work, we study the effects that interacting quark matter has on the stellar structure of strange and charm quark stars. Additionally, their stability against radial pulsations is analyzed using a first-order formalism for adiabatic general relativistic oscillations. Besides, the early stage of stellar evolution of neutron stars after the supernovae explosion, i.e. protoneutron stars, is in… ▽ More In this work, we study the effects that interacting quark matter has on the stellar structure of strange and charm quark stars. Additionally, their stability against radial pulsations is analyzed using a first-order formalism for adiabatic general relativistic oscillations. Besides, the early stage of stellar evolution of neutron stars after the supernovae explosion, i.e. protoneutron stars, is investigated by considering the possibility of a first-order phase transition to quark matter rich in leptons, where the dynamics of conversion between phases is studied within a thermal nucleation model. For each kind of compact star mentioned we use for the quark phase the equation of state calculated within cold perturbative QCD (pQCD), parametrized only by its renormalization scale. We note that the original pQCD framework is manipulated appropriately to include neutrinos and extended to add heavy quarks to the original system composed only by up, down and strange quark flavors. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: Ph.D. Thesis; 151 pages, 52 figures

Coupled VO2 oscillators circuit as analog first layer filter in convolutional neural networks

Authors: Elisabetta Corti, Joaquin Antonio Cornejo Jimenez, Kham M. Niang, John Robertson, Kirsten E. Moselund, Bernd Gotsmann, Adrian M. Ionescu, Siegfried Karg

Abstract: In this work we present an in-memory computing platform based on coupled VO2 oscillators fabricated in a crossbar configuration on silicon. Compared to existing platforms, the crossbar configuration promises significant improvements in terms of area density and oscillation frequency. Further, the crossbar devices exhibit low variability and extended reliability, hence, enabling experiments on 4-co… ▽ More In this work we present an in-memory computing platform based on coupled VO2 oscillators fabricated in a crossbar configuration on silicon. Compared to existing platforms, the crossbar configuration promises significant improvements in terms of area density and oscillation frequency. Further, the crossbar devices exhibit low variability and extended reliability, hence, enabling experiments on 4-coupled oscillator. We demonstrate the neuromorphic computing capabilities using the phase relation of the oscillators. As a application, we propose to replace digital filtering operation in a convolutional neural network with oscillating circuits. The concept is tested with a VGG13 architecture on the MNIST dataset, achieving performances of 95% in the recognition task. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Weak variable step-size schemes for stochastic differential equations based on controlling conditional moments

Authors: Carlos M. Mora, Juan Carlos Jimenez, Monica Selva

Abstract: We address the weak numerical solution of stochastic differential equations driven by independent Brownian motions (SDEs for short). This paper develops a new methodology to design adaptive strategies for determining automatically the step-sizes of the numerical schemes that compute the mean values of smooth functions of the solutions of SDEs. First, we introduce a general method for constructing… ▽ More We address the weak numerical solution of stochastic differential equations driven by independent Brownian motions (SDEs for short). This paper develops a new methodology to design adaptive strategies for determining automatically the step-sizes of the numerical schemes that compute the mean values of smooth functions of the solutions of SDEs. First, we introduce a general method for constructing variable step-size weak schemes for SDEs, which is based on controlling the match between the first conditional moments of the increments of the numerical integrator and the ones corresponding to an additional weak approximation. To this end, we use certain local discrepancy functions that do not involve sampling random variables. Precise directions for designing suitable discrepancy functions and for selecting starting step-sizes are given. Second, we introduce a variable step-size Euler scheme, together with a variable step-size second order weak scheme via extrapolation. Finally, numerical simulations are presented to show the potential of the introduced variable step-size strategy and the adaptive scheme to overcome known instability problems of the conventional fixed step-size schemes in the computation of diffusion functional expectations. △ Less

Submitted 8 February, 2023; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: 41 pages, 4 figures

MSC Class: 65C30; 65C05; 60H35; 60H10

Facile patterning of functional materials via gas-phase 3D printing

Authors: Cesar Arturo Masse de la Huerta, Viet H. Nguyen, Abderrahime Sekkat, Chiara Crivello, Fidel Toldra-Reig, Pedro Veiga, Carmen Jimenez, Serge Quessada, David Muñoz-Rojas

Abstract: Spatial Atomic Layer Deposition (SALD) is a recent approach that is up to two orders of magnitude faster than conventional ALD, and that can be performed at atmospheric pressure and even in the open air. Previous works have exploited these assets to focus on the possibility of high-rate, large-area deposition for scaling up into mass production. Conversely, here we show that SALD indeed represents… ▽ More Spatial Atomic Layer Deposition (SALD) is a recent approach that is up to two orders of magnitude faster than conventional ALD, and that can be performed at atmospheric pressure and even in the open air. Previous works have exploited these assets to focus on the possibility of high-rate, large-area deposition for scaling up into mass production. Conversely, here we show that SALD indeed represents an ideal platform for the selective deposition of functional materials by proper design and miniaturization of SALD close-proximity heads. In particular, we have used the potential offered by 3D printing to fabricate custom close-proximity SALD injection heads. By using 3D printing, the heads can be easily designed and readily modified to obtain different deposition areas, free-form patterns, and even complex multimaterial structures. The heads can be printed in different materials to adjust to the chemistry of the precursors and the deposition conditions used. Polymeric heads can be used as cheap (even disposable) heads that are both used for performing deposition and for prototy** and optimization purposes. Finally, by designing a miniaturized head with circular concentric gas channels, 3D printing of functional materials can be performed with nanometric resolution in Z. This constitutes a new 3D printing approach based on gaseous precursors. Because the selective deposition strategies presented here are based on the SALD process, conformal and continuous thin films of functional materials can be printed at low temperatures and with high deposition rate in the open air. Our approach represents a new versatile way of printing functional materials and devices with spatial and topological control, thus extending the potential of SALD and ALD in general, and opening a new avenue in the field of area-selective deposition of functional materials. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Comments: 20 pages, 4 figures

From affine Poincaré inequalities to affine spectral inequalities

Authors: Julián Haddad, Carlos Hugo Jiménez, Marcos Montenegro

Abstract: Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As… ▽ More Given a bounded open subset $Ω$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(Ω) = \{f \in W^{1,p}_0(Ω):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(Ω)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santaló inequality. As counterpart, we develop the basic theory of $p$-Rayleigh quotients in bounded domains, in the affine case, for $p\geq 1$. More specifically, we establish $p$-affine versions of the Poincaré inequality and some of their consequences. We introduce the affine invariant $p$-Laplace operator $Δ_p^{\mathcal A} f$ defining the Euler-Lagrange equation of the minimization problem of the $p$-affine Rayleigh quotient. We also study its first eigenvalue $λ^{\mathcal A}_{1,p}(Ω)$ which satisfies the corresponding affine Faber-Krahn inequality, this is that $λ^{\mathcal A}_{1,p}(Ω)$ is minimized (among sets of equal volume) only when $Ω$ is an ellipsoid. This point depends fundamentally on PDEs regularity analysis aimed at the operator $Δ_p^{\mathcal A} f$. We also present some comparisons between affine and classical eigenvalues, including a result of rigidity through the characterization of equality cases for $p \geq 1$. All affine inequalities obtained are stronger and directly imply the classical ones. △ Less

Submitted 11 July, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 30 pages, comments are welcome

MSC Class: 35P30; 52A40; 35B09

The Ambrose-Singer Theorem for general homogeneous manifolds with applications to symplectic geometry

Authors: J. L. Carmona Jimenez, M. Castrillon Lopez

Abstract: The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes the well-known result of Ambrose and Singer for Riemannian homogeneous spaces, as well as its extensions for other geometries found in the literature. The manifo… ▽ More The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes the well-known result of Ambrose and Singer for Riemannian homogeneous spaces, as well as its extensions for other geometries found in the literature. The manifold must be connected and simply connected, the connection has to be complete and has to satisfy a set of geometric partial differential equations. If the connection is not complete or the manifold is not simply-connected, the result provides a characterization of reductive locally homogeneous manifolds. Finally, we use these results in the local framework to classify with explicit expressions reductive locally homogeneous almost symplectic, symplectic and Fedosov manifolds. △ Less

Submitted 19 August, 2021; v1 submitted 17 January, 2020; originally announced January 2020.

fMRI group analysis based on outputs from Matrix-Variate Dynamic Linear Models

Authors: Johnatan Cardona Jiménez

Abstract: In this work, we describe in more detail how to perform fMRI group analysis using inputs from modeling fMRI signal using Matrix-Variate Dynamic Linear Models (MDLM) at the individual level. After computing a posterior distribution for the average group activation, the three algorithms (FEST, FSTS, and FFBS) proposed from the previous work by Jiménez et al. [2019] can be easily implemented. We also… ▽ More In this work, we describe in more detail how to perform fMRI group analysis using inputs from modeling fMRI signal using Matrix-Variate Dynamic Linear Models (MDLM) at the individual level. After computing a posterior distribution for the average group activation, the three algorithms (FEST, FSTS, and FFBS) proposed from the previous work by Jiménez et al. [2019] can be easily implemented. We also propose an additional algorithm, which we call AG-algorithm, to draw on-line trajectories of the state parameter and therefore assess voxel activation at the group level. The performance of our method is illustrated through one practical example using real fMRI data from a "voice-localizer" experiment. △ Less

Submitted 2 November, 2019; originally announced November 2019.

Assessing Dynamic Effects on a Bayesian Matrix-Variate Dynamic Linear Model: an Application to fMRI Data Analysis

Authors: Johnatan Cardona Jiménez, Carlos A. de B. Pereira, Victor Fossaluza

Abstract: In this work, we propose a modeling procedure for fMRI data analysis using a Bayesian Matrix-Variate Dynamic Linear Model (MVDLM). With this type of model, less complex than the more traditional temporal-spatial models, we are able to take into account the temporal and -- at least locally -- the spatial structures that are usually present in this type of data. Despite employing a voxel-wise approa… ▽ More In this work, we propose a modeling procedure for fMRI data analysis using a Bayesian Matrix-Variate Dynamic Linear Model (MVDLM). With this type of model, less complex than the more traditional temporal-spatial models, we are able to take into account the temporal and -- at least locally -- the spatial structures that are usually present in this type of data. Despite employing a voxel-wise approach, every voxel in the brain is jointly modeled with its nearest neighbors, which are defined through a euclidian metric. MVDLM's have been widely used in applications where the interest lies in to perform predictions and/or analysis of covariance structures among time series. In this context, our interest is rather to assess the dynamic effects which are related to voxel activation. In order to do so, we develop three algorithms to simulate online-trajectories related to the state parameter and with those curves or simulated trajectories we compute a Monte Carlo evidence for voxel activation. Through two practical examples and two different types of assessments, we show that our method can be viewed for the practitioners as a reliable tool for fMRI data analysis. Despite all the examples and analysis are illustrated just for a single subject analysis, we also describe how more general group analysis can be implemented. △ Less

Submitted 20 January, 2020; v1 submitted 26 October, 2019; originally announced October 2019.

Cold quark matter with heavy quarks and the stability of charm stars

Authors: José C. Jiménez, Eduardo S. Fraga

Abstract: We study the effects of heavy quarks on the equation of state for cold and dense quark matter obtained from perturbative QCD, yielding observables parametrized only by the renormalization scale. We investigate the thermodynamics of charm quark matter under the constraints of $β$ equilibrium and electric charge neutrality in a region of densities where perturbative QCD is, in principle, much more r… ▽ More We study the effects of heavy quarks on the equation of state for cold and dense quark matter obtained from perturbative QCD, yielding observables parametrized only by the renormalization scale. We investigate the thermodynamics of charm quark matter under the constraints of $β$ equilibrium and electric charge neutrality in a region of densities where perturbative QCD is, in principle, much more reliable. We also analyze the stability of charm stars, which might be realized as a new branch of ultradense hybrid compact stars, and find that such quark stars are unstable under radial oscillations. △ Less

Submitted 17 August, 2020; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 8 pages, 6 figures; v2: figure added, references added, modifications to the text and figures

Journal ref: Phys. Rev. D 102, 034015 (2020)

Radial oscillations of quark stars from perturbative QCD

Authors: José C. Jiménez, Eduardo S. Fraga

Abstract: We perform the general relativistic stability analysis against radial oscillations of unpaired quark stars obtained using the equation of state for cold quark matter from perturbative QCD, the only free parameter being the renormalization scale. This approach consistently incorporates the effects of interactions and includes a built-in estimate of the inherent systematic uncertainties in the evalu… ▽ More We perform the general relativistic stability analysis against radial oscillations of unpaired quark stars obtained using the equation of state for cold quark matter from perturbative QCD, the only free parameter being the renormalization scale. This approach consistently incorporates the effects of interactions and includes a built-in estimate of the inherent systematic uncertainties in the evaluation of the equation of state. We also take into account the constraints imposed by the recent gravitational wave event GW 170817 to the compact star masses and radii, and restrict their vibrational spectrum. △ Less

Submitted 30 December, 2019; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 10 pages, 5 figures; v2: figures added, references added, modifications to the text

Journal ref: Phys. Rev. D 100, 114041 (2019)

$L_p$ functional Busemann-Petty centroid inequality

Authors: Julian Haddad, Carlos Hugo Jimenez, Leticia Alves da Silva

Abstract: If $K\subset\mathbb{R}^n$ is a convex body and $Γ_pK$ is the $p$-centroid body of $K$, the $L_p$ Busemann-Petty centroid inequality states that $\vol(Γ_pK) \geq \vol(K)$, with equality if and only if $K$ is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional $r$-mixed volume for $1 \leq r < n$, and establish as a consequence, a functional version of th… ▽ More If $K\subset\mathbb{R}^n$ is a convex body and $Γ_pK$ is the $p$-centroid body of $K$, the $L_p$ Busemann-Petty centroid inequality states that $\vol(Γ_pK) \geq \vol(K)$, with equality if and only if $K$ is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional $r$-mixed volume for $1 \leq r < n$, and establish as a consequence, a functional version of the $L_p$ Busemann-Petty centroid inequality. \keywords{Convex body, Moment body, Busemann-Petty centroid} } △ Less

Submitted 23 June, 2019; originally announced June 2019.

Comments: 14 pages. Comments are welcome

MSC Class: 39B62

An increase in membrane cholesterol by graphene oxide disrupts calcium homeostasis in primary astrocytes

Authors: Mattia Bramini, Martina Chiacchiaretta, Andrea Armirotti, Anna Rocchi, Deepali D. Kale, Cristina Martin Jimenez, Ester Vázquez, Tiziano Bandiera, Stefano Ferroni, Fabrizia Cesca, Fabio Benfenati

Abstract: The use of graphene nanomaterials (GNMs) for biomedical applications targeted to the central nervous system is exponentially increasing, although precise information on their effects on brain cells is lacking. In this work, we addressed the molecular changes induced in cortical astrocytes by few-layer graphene (FLG) and graphene oxide (GO) flakes. Our results show that exposure to FLG/GO does not… ▽ More The use of graphene nanomaterials (GNMs) for biomedical applications targeted to the central nervous system is exponentially increasing, although precise information on their effects on brain cells is lacking. In this work, we addressed the molecular changes induced in cortical astrocytes by few-layer graphene (FLG) and graphene oxide (GO) flakes. Our results show that exposure to FLG/GO does not affect cell viability or proliferation. However, proteomic and lipidomic analyses unveiled alterations in several cellular processes, including intracellular Ca2+ ([Ca2+]i) homeostasis and cholesterol metabolism, which were particularly intense in cells exposed to GO. Indeed, GO exposure impaired spontaneous and evoked astrocyte [Ca2+]i signals and induced a marked increase in membrane cholesterol levels. Importantly, cholesterol depletion fully rescued [Ca2+]i dynamics in GO-treated cells, indicating a causal relationship between these GO-mediated effects. Our results indicate that exposure to GNMs alters intracellular signaling in astrocytes and may impact on astrocyte-neuron interactions. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: This document is the unedited Author's version of a Submitted Work that was subsequently accepted for publication in Small after peer review. To access the final edited and published work see https://onlinelibrary.wiley.com/doi/10.1002/smll.201900147 40 pages, 6 main figures and 1 supplementary figure

Journal ref: Small 2019, 1900147

Community Organizations: Changing the Culture in Which Research Software Is Developed and Sustained

Authors: Daniel S. Katz, Lois Curfman McInnes, David E. Bernholdt, Abigail Cabunoc Mayes, Neil P. Chue Hong, Jonah Duckles, Sandra Gesing, Michael A. Heroux, Simon Hettrick, Rafael C. Jimenez, Marlon Pierce, Belinda Weaver, Nancy Wilkins-Diehr

Abstract: Software is the key crosscutting technology that enables advances in mathematics, computer science, and domain-specific science and engineering to achieve robust simulations and analysis for science, engineering, and other research fields. However, software itself has not traditionally received focused attention from research communities; rather, software has evolved organically and inconsistently… ▽ More Software is the key crosscutting technology that enables advances in mathematics, computer science, and domain-specific science and engineering to achieve robust simulations and analysis for science, engineering, and other research fields. However, software itself has not traditionally received focused attention from research communities; rather, software has evolved organically and inconsistently, with its development largely as by-products of other initiatives. Moreover, challenges in scientific software are expanding due to disruptive changes in computer hardware, increasing scale and complexity of data, and demands for more complex simulations involving multiphysics, multiscale modeling and outer-loop analysis. In recent years, community members have established a range of grass-roots organizations and projects to address these growing technical and social challenges in software productivity, quality, reproducibility, and sustainability. This article provides an overview of such groups and discusses opportunities to leverage their synergistic activities while nurturing work toward emerging software ecosystems. △ Less

Submitted 7 December, 2018; v1 submitted 20 November, 2018; originally announced November 2018.

Asymmetric Blaschke-Santaló functional inequalities

Authors: Julian Haddad, C. Hugo Jimenez, Marcos Montenegro

Abstract: In this work we establish functional asymmetric versions of the celebrated Blaschke-Santaló inequality. As consequences of these inequalities we recover their geometric counterparts with equality cases, as well as, another inequality with strong probabilistic flavour that was firstly obtained by Lutwak, Yang and Zhang. We present a brief study on an $L_p$ functional analogue to the center of mass… ▽ More In this work we establish functional asymmetric versions of the celebrated Blaschke-Santaló inequality. As consequences of these inequalities we recover their geometric counterparts with equality cases, as well as, another inequality with strong probabilistic flavour that was firstly obtained by Lutwak, Yang and Zhang. We present a brief study on an $L_p$ functional analogue to the center of mass that is necessary for our arguments and that might be of independent interest. △ Less

Submitted 4 October, 2018; originally announced October 2018.

Comments: 13 pages. Comments are welcome!

Full Bayesian Modeling for fMRI Group Analysis

Authors: Johnatan Cardona Jiménez, Carlos Alberto de Bragança Pereira, Victor Fossaluza

Abstract: Functional magnetic resonance imaging or functional MRI (fMRI) is a non-invasive way to assess brain activity by detecting changes associated with blood flow. In this work, we propose a full Bayesian procedure to analyze fMRI data for individual and group stages. For the individual stage we use a multivariate dynamic linear model (MDLM), where the temporal dependence is modeled through the state p… ▽ More Functional magnetic resonance imaging or functional MRI (fMRI) is a non-invasive way to assess brain activity by detecting changes associated with blood flow. In this work, we propose a full Bayesian procedure to analyze fMRI data for individual and group stages. For the individual stage we use a multivariate dynamic linear model (MDLM), where the temporal dependence is modeled through the state parameters and the spatial dependence is modeled only locally, taking the nearest neighbors of each voxel location. For the group stage we take advantage of the posterior distribution of the state parameters obtained in the individual stage and create a new posterior distribution that represents the updated beliefs for the group analysis. Since the posterior distribution for the state parameters is indexed by the time $t$, we propose an algorithm that allows on-line estimated curves of the state parameters to be drawn and posterior probabilities computed in order to assess brain activation for both individual and group analysis. We propose an alternative analysis for the group stage using a Gaussian process ANOVA model, where the on-line estimated curves obtained in the individual stage are modeled as a functional response. Finally, we assess our proposed modeling procedure using real resting-state data and computing empirical false-positive brain activation rates. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: Thesis draft

Connected but Segregated: Social Networks in Rural Villages

Authors: Felipe Montes, Roberto C. Jimenez, Jukka-Pekka Onnela

Abstract: There is an increased appreciation for, and utilization of, social networks to disseminate various kinds of interventions in a target population. Homophily, the tendency of people to be similar to those they interact with, can create within-group cohesion but at the same time can also lead to societal segregation. In public health, social segregation can form barriers to the spread of health inter… ▽ More There is an increased appreciation for, and utilization of, social networks to disseminate various kinds of interventions in a target population. Homophily, the tendency of people to be similar to those they interact with, can create within-group cohesion but at the same time can also lead to societal segregation. In public health, social segregation can form barriers to the spread of health interventions from one group to another. We analyzed the structure of social networks in 75 villages in Karnataka, India, both at the level of individuals and network communities. We found all villages to be strongly segregated at the community level, especially along the lines of caste and sex, whereas other socioeconomic variables, such as age and education, were only weakly associated with these groups in the network. While the studied networks are densely connected, our results indicate that the villages are highly segregated. △ Less

Submitted 29 May, 2018; originally announced May 2018.

Comments: 11 pages, 4 figures

Journal ref: Journal of Complex Networks, November 2017

Lepton-rich cold quark matter

Authors: J. C. Jiménez, E. S. Fraga

Abstract: We explore protoneutron star matter in the framework of cold and dense QCD using the state-of-the-art perturbative equation of state including neutrinos fixed by a lepton fraction that is appropriate for this environment. Furthermore, we calculate the modifications in the lepton-rich equation of state showing that stable strange quark matter has a more restricted parameter space. We explore protoneutron star matter in the framework of cold and dense QCD using the state-of-the-art perturbative equation of state including neutrinos fixed by a lepton fraction that is appropriate for this environment. Furthermore, we calculate the modifications in the lepton-rich equation of state showing that stable strange quark matter has a more restricted parameter space. △ Less

Submitted 6 July, 2018; v1 submitted 15 May, 2018; originally announced May 2018.

Comments: 4 pages, 4 figures. Poster presented at the XIV International Workshop on Hadron Physics, Florianópolis, Brazil, March 2018

An estimation of distribution algorithm for the computation of innovation estimators of diffusion processes

Authors: Zochil González Arenas, Juan Carlos Jimenez, Li-Vang Lozada-Chang, Roberto Santana

Abstract: Estimation of Distribution Algorithms (EDAs) and Innovation Method are recognized methods for solving global optimization problems and for the estimation of parameters in diffusion processes, respectively. Well known is also that the quality of the Innovation Estimator strongly depends on an adequate selection of the initial value for the parameters when a local optimization algorithm is used in i… ▽ More Estimation of Distribution Algorithms (EDAs) and Innovation Method are recognized methods for solving global optimization problems and for the estimation of parameters in diffusion processes, respectively. Well known is also that the quality of the Innovation Estimator strongly depends on an adequate selection of the initial value for the parameters when a local optimization algorithm is used in its computation. Alternatively, in this paper, we study the feasibility of a specific EDA - a continuous version of the Univariate Marginal Distribution Algorithm (UMDAc) - for the computation of the Innovation Estimators. Numerical experiments are performed for two different models with a high level of complexity. The numerical simulations show that the considered global optimization algorithms substantially improves the effectiveness of the Innovation Estimators for different types of diffusion processes with complex nonlinear and stochastic dynamics. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Comments: 14 pages, 5 figures

MSC Class: 65C30; 60H35; 90C59; 62M05

Effects of stoichiometry on premixed flames propagating in narrow channels: symmetry-breaking bifurcations

Authors: Daniel Fernandez-Galisteo, Carmen Jimenez, Mario Sanchez-Sanz, Vadim N. Kurdyumov

Abstract: Recent studies within the diffusive-thermal (constant-density) approximation have shown that, for premixed flames freely propagating in narrow adiabatic channels, the instabilities induced by differential diffusion may result in non-symmetric solutions and/or oscillating and rotating propagation modes. This has been shown in the context of lean mixtures, for which a single species transport equati… ▽ More Recent studies within the diffusive-thermal (constant-density) approximation have shown that, for premixed flames freely propagating in narrow adiabatic channels, the instabilities induced by differential diffusion may result in non-symmetric solutions and/or oscillating and rotating propagation modes. This has been shown in the context of lean mixtures, for which a single species transport equation with a single Lewis number (corresponding to the ratio of thermal to molecular diffusivity of the deficient reactant) can be used to describe the flame propagation problem. In the present work we extend the analysis to mixtures of any equivalence ratio. To this end, we consider a two-reactant model, where the different diffusivities of the two reactants introduce two different Lewis numbers. Steady-state computations and linear stability analysis are carried out for mixtures with large disparity between the Lewis number of the fuel (LeF) and the oxidizer (LeO), such as hydrogen-oxygen systems. It is shown that both differential diffusion and preferential diffusion have influence on the stability of the symmetric flame shape. For sufficiently lean and rich mixtures, the flame behaves as dictated by the Lewis number of the deficient reactant, i.e., the flame destabilizes toward non-symmetric solutions for large mass flow rates when the mentioned Lewis number is less than one. In near-stoichiometric mixtures the stability of the symmetric flame depends on a weighted average value of LeF and LeO. In particular, the symmetric solution is stable for large mass flow rates because of the difficulties found by the less diffusive reactant to reach the reactive zone of the flame. △ Less

Submitted 15 March, 2018; originally announced March 2018.

Comments: 17 pages, 9 figures

Journal ref: Combustion Theory and Modelling, 21:6, 1050-1065 (2017)

PROMETHEUS: PROcedural METhodology for develo** HEuristics of USability

Authors: Cristhy Jimenez, Hector Allende-Cid, Ismael Figueroa

Abstract: Usability is used to assess the effectiveness of a software product from the user point of view. Hence, proper methodologies and techniques to perform this assessment are very relevant. Heuristic evaluation is probably the most commonly used method for usability assessment. Developed by Nielsen and Molich in the '90s, traditional heuristic evaluations rely on Nielsen's 10 usability heuristics. How… ▽ More Usability is used to assess the effectiveness of a software product from the user point of view. Hence, proper methodologies and techniques to perform this assessment are very relevant. Heuristic evaluation is probably the most commonly used method for usability assessment. Developed by Nielsen and Molich in the '90s, traditional heuristic evaluations rely on Nielsen's 10 usability heuristics. However, recent evidence suggests that such heuristics are not sufficiently complete for dealing with new domains such as interactive television, virtual worlds, and many others. In addition to the lack of suitability of traditional heuristics, in the past years the lack of a robust methodology or process to effectively develop and validate these new domain-specific heuristics has been documented. In this paper we summarize current evidence on the lack of suitability of traditional heuristics, as well as the need to develop new domain-specific heuristics. After identifying and acknowledging existing gaps in heuristics for state-of-the-art technology, we present PROMETHEUS, a PROcedural METhodology for develo** HEuristics of USability. PROMETHEUS refines the methodology of Rusu et. al. (2011), and is composed of 8 stages. PROMETHEUS clearly defines the artifacts that are required and produced by each stage, and also presents a set of quality indicators in order to assess the need for further refinement in the development of new heuristics. As an initial validation of PROMETHEUS, we apply a questionnaire to several researchers that have used the methodology of Rusu et. al., and we have also performed a small retrospective study, computing the quality indicators of several previous studies. Our results suggest that PROMETHEUS is a very promising methodology, and that the metrics and indicators are indeed pertinent with respect to the conclusions of previous studies. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: The original version of this work appears in Spanish in the IEEE Latin American Transactions journal. This is a faithful translation to english, in order to further disseminate our work

Propagation of symmetric and non-symmetric lean hydrogen flames in narrow channels: influence of heat losses

Authors: Carmen Jimenez, Vadim N. Kurdyumov

Abstract: In this paper we present results of direct numerical simulations of lean hydrogen/air flames freely propagating in a planar narrow channel with varying flow rate, using detailed chemistry and transport and including heat losses through the channel walls. Our simulations show that double solutions, symmetric and non symmetric, can coexist for a given set of parameters. The symmetric solutions are c… ▽ More In this paper we present results of direct numerical simulations of lean hydrogen/air flames freely propagating in a planar narrow channel with varying flow rate, using detailed chemistry and transport and including heat losses through the channel walls. Our simulations show that double solutions, symmetric and non symmetric, can coexist for a given set of parameters. The symmetric solutions are calculated imposing symmetric boundary conditions in the channel mid plane and when this restriction is relaxed non symmetric solutions can develop. This indicates that the symmetric solutions are unstable to non symmetric perturbations, as predicted before within the context of a thermo diffusive model and simplified chemistry. It is also found that for lean hydrogen/air mixtures an increase in heat losses leads to a discontinuity of the steady state response curve, with flames extinguishing inside a finite interval of the flow rate. Non symmetric flames burn more intensely and in consequence are much more robust to flame quenching by heat losses to the walls. The inclusion of the non symmetric solutions extends therefore the parametric range for which flames can propagate in the channel. This analysis seems to have received no attention in the literature, even if it can have important safety implications in micro scale combustion devices burning hydrogen in a lean premixed way. △ Less

Submitted 15 February, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: This work was supported by grants #CSD2010-00011 (MINECO-CONSOLIDER) and #ENE2015-65852-C2-2-R (MINECO/FEDER), as well as by the EU H2020 Programme and MCTI/RNP-Brazil under the HPC4E Project, grant agreement no 689772

Journal ref: Proceedings of the Combustion Institute 36 (2017) pages 1559 to 1567

Non-perturbative evaluation for anomalous dimension in 2-dimensional O(3) sigma model

Authors: Sergio Calle Jimenez, Makoto Oka, Kiyoshi Sasaki

Abstract: We calculate the wave-function renormalization in 2-dimensional O(3) sigma model, non- perturbatively. It is evaluated in a box with a finite spatial extent. We determine the anomalous dimension in the finite volume scheme through an analysis of the step scaling function. Results are compared with a perturbative evaluation, and the reasonable behavior is confirmed. We calculate the wave-function renormalization in 2-dimensional O(3) sigma model, non- perturbatively. It is evaluated in a box with a finite spatial extent. We determine the anomalous dimension in the finite volume scheme through an analysis of the step scaling function. Results are compared with a perturbative evaluation, and the reasonable behavior is confirmed. △ Less

Submitted 6 June, 2018; v1 submitted 4 February, 2018; originally announced February 2018.

Comments: 43 pages, 9 figures

Journal ref: Phys. Rev. D 97, 114506 (2018)

Lepton-rich cold QCD matter in protoneutron stars

Authors: J. C. Jiménez, E. S. Fraga

Abstract: We investigate protoneutron star matter using the state-of-the-art perturbative equation of state for cold and dense QCD in the presence of a fixed lepton fraction in which both electrons and neutrinos are included. Besides computing the modifications in the equation of state due to the presence of trapped neutrinos, we show that stable strange quark matter has a more restricted parameter space. W… ▽ More We investigate protoneutron star matter using the state-of-the-art perturbative equation of state for cold and dense QCD in the presence of a fixed lepton fraction in which both electrons and neutrinos are included. Besides computing the modifications in the equation of state due to the presence of trapped neutrinos, we show that stable strange quark matter has a more restricted parameter space. We also study the possibility of nucleation of unpaired quark matter in the core of protoneutron stars by matching the lepton-rich QCD pressure onto a hadronic equation of state, namely TM1 with trapped neutrinos. Using the inherent dependence of perturbative QCD on the renormalization scale parameter, we provide a measure of the uncertainty in the observables we compute. △ Less

Submitted 21 May, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments: 9 pages, 9 figures

Journal ref: Phys. Rev. D 97, 094023 (2018)

Nonsmooth Pseudodifferential Boundary Value Problems on Manifolds

Authors: Helmut Abels, Carolina Neira Jiménez

Abstract: We study pseudodifferential boundary value problems in the context of the Boutet de Monvel calculus or Green operators, with nonsmooth coefficients on smooth compact manifolds with boundary. In order to have a definition that is independent of the choice of (smooth) coordinates, we prove that nonsmooth Green operators are invariant under smooth coordinate transformations. We study pseudodifferential boundary value problems in the context of the Boutet de Monvel calculus or Green operators, with nonsmooth coefficients on smooth compact manifolds with boundary. In order to have a definition that is independent of the choice of (smooth) coordinates, we prove that nonsmooth Green operators are invariant under smooth coordinate transformations. △ Less

Submitted 19 June, 2018; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: 32 pages

MSC Class: 35S15; 35J55

Sharp affine weighted $L^p$ Sobolev type inequalities

Authors: Julian Haddad, Carlos Hugo Jiménez, Marcos Montenegro

Abstract: We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don'… ▽ More We establish sharp affine weighted $L^p$ Sobolev type inequalities by using the $L_p$ Busemann-Petty centroid inequality proved by Lutwak, Yang and Zhang. Our approach consists in combining in a convenient way the latter one with a suitable family of sharp weighted $L^p$ Sobolev type inequalities obtained by Nguyen and allows to characterize all extremizers in some cases. The new inequalities don't rely on any euclidean geometric structure. △ Less

Submitted 30 August, 2017; originally announced August 2017.