124 research outputs found
Quantum proofs can be verified using only single qubit measurements
QMA (Quantum Merlin Arthur) is the class of problems which, though
potentially hard to solve, have a quantum solution which can be verified
efficiently using a quantum computer. It thus forms a natural quantum version
of the classical complexity class NP (and its probabilistic variant MA,
Merlin-Arthur games), where the verifier has only classical computational
resources. In this paper, we study what happens when we restrict the quantum
resources of the verifier to the bare minimum: individual measurements on
single qubits received as they come, one-by-one. We find that despite this
grave restriction, it is still possible to soundly verify any problem in QMA
for the verifier with the minimum quantum resources possible, without using any
quantum memory or multiqubit operations. We provide two independent proofs of
this fact, based on measurement based quantum computation and the local
Hamiltonian problem, respectively. The former construction also applies to
QMA, i.e., QMA with one-sided error.Comment: 7 pages, 1 figur
The computational complexity of density functional theory
Density functional theory is a successful branch of numerical simulations of
quantum systems. While the foundations are rigorously defined, the universal
functional must be approximated resulting in a `semi'-ab initio approach. The
search for improved functionals has resulted in hundreds of functionals and
remains an active research area. This chapter is concerned with understanding
fundamental limitations of any algorithmic approach to approximating the
universal functional. The results based on Hamiltonian complexity presented
here are largely based on \cite{Schuch09}. In this chapter, we explain the
computational complexity of DFT and any other approach to solving electronic
structure Hamiltonians. The proof relies on perturbative gadgets widely used in
Hamiltonian complexity and we provide an introduction to these techniques using
the Schrieffer-Wolff method. Since the difficulty of this problem has been well
appreciated before this formalization, practitioners have turned to a host
approximate Hamiltonians. By extending the results of \cite{Schuch09}, we show
in DFT, although the introduction of an approximate potential leads to a
non-interacting Hamiltonian, it remains, in the worst case, an NP-complete
problem.Comment: Contributed chapter to "Many-Electron Approaches in Physics,
Chemistry and Mathematics: A Multidisciplinary View
Implementing Scaled-Agile Frameworks at Non-Digital Born Companies - A Multiple Case Study
For traditional enterprises to harness the advantages of organizational agility, scaled-agile frameworks seem to be more appropriate to adopt agile practices at large scale. However, the adoption of agile practices often creates trade-offs between the implementation of an ideal theoretical framework and company-specific necessities. While extant research has covered the implications and challenges when adopting agile structures, our research focuses on the how and why of such trade-offs using Socio-Technical Systems Theory. Drawing on the results of an exploratory multiple case study, we reveal that companies either choose a top-down or bottom-up approach for implementation. While the first often is triggered by the need to increase customer centricity, the latter is mostly triggered by the need to increase the number of releases. Moreover, we found that the selected implementation approach has significant impact on the key design parameters for and the content of the implementation of scaled-agile frameworks
Water fragmentation by bare and dressed light ions with MeV energies: Fragment-ion-energy and time-of-flight distributions
The energy and time-of-flight distributions of water ionic fragments produced by impact of fast atoms and bare and dressed ions; namely, H+, Li0-3+, C1+, and C2+ are reported in this work. Fragment species as a function of emission energy and time-of-flight were recorded by using an electrostatic spectrometer and a time-of-flight mass spectrometer, respectively. An improved Coulomb explosion model coupled to a classical trajectory Monte Carlo (CTMC) simulation gave the energy centroids of the fragments for the dissociation channels resulting from the removal of two to five electrons from the water molecule. For the energy distribution ranging up to 50 eV, both the experiment and model reveal an isotropic production of multiple charged oxygen ions, as well as hydrogen ions. From the ion energy distribution, relative yields of the dissociation resulting from multiple ionization were obtained as a function of the charge state, as well as for several projectile energies. Multiple-ionization yields with charge state up to 4+, were extracted from the measurements of the time-of-flight spectra, focused on the production of single and multiple charged oxygen ions. The measurements were compared to ion-water collision experiments investigated at the keV energy range available in the literature, revealing differences and similarities in the fragment-ion energy distribution.Fil: Wolff, W.. Universidade Federal do Rio de Janeiro; BrasilFil: Luna, H.. Universidade Federal do Rio de Janeiro; BrasilFil: Schuch, R.. Alba Nova University Center; SueciaFil: Cariatore, Nelson Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Física del Sur. Universidad Nacional del Sur. Departamento de Física. Instituto de Física del Sur; ArgentinaFil: Otranto, Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Física del Sur. Universidad Nacional del Sur. Departamento de Física. Instituto de Física del Sur; ArgentinaFil: Turco, Federico. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Fregenal, Daniel Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Bernardi, Guillermo Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Suárez, S.. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; Argentin
Compensating Inhomogeneities of Neuromorphic VLSI Devices Via Short-Term Synaptic Plasticity
Recent developments in neuromorphic hardware engineering make mixed-signal VLSI neural network models promising candidates for neuroscientific research tools and massively parallel computing devices, especially for tasks which exhaust the computing power of software simulations. Still, like all analog hardware systems, neuromorphic models suffer from a constricted configurability and production-related fluctuations of device characteristics. Since also future systems, involving ever-smaller structures, will inevitably exhibit such inhomogeneities on the unit level, self-regulation properties become a crucial requirement for their successful operation. By applying a cortically inspired self-adjusting network architecture, we show that the activity of generic spiking neural networks emulated on a neuromorphic hardware system can be kept within a biologically realistic firing regime and gain a remarkable robustness against transistor-level variations. As a first approach of this kind in engineering practice, the short-term synaptic depression and facilitation mechanisms implemented within an analog VLSI model of I&F neurons are functionally utilized for the purpose of network level stabilization. We present experimental data acquired both from the hardware model and from comparative software simulations which prove the applicability of the employed paradigm to neuromorphic VLSI devices
A Rapid Review of Randomized Trials Assessing the Effects of High-Intensity Interval Training on Depressive Symptoms in People with Mental Illness
[EN] Objective: to systematically search for randomized controlled trials comparing the effects
of high-intensity interval training (HIIT) protocols vs. control without exercise or other exercise
protocols, in patients with mental disorders experiencing depressive symptoms, and to provide
some guidance based on the current HIIT literature to improve further interventions. Methods: we
searched for relevant studies, published by 18 August 2022 on PubMed, Embase, PsycINFO and
SPORTDiscus databases, that used a HIIT protocol, involving adults (≥18 years) with a diagnosis of a
mental disorder, participating in a HIIT or a control condition, and assessed for depressive symptoms.
Results: Four studies accounting for 108 participants (n HIIT = 55; n comparison groups = 53) met
the inclusion criteria. Three out of the four studies included found significant improvements of
depressive symptoms after 12 days to 8 weeks of intervention. However, there were no differences
to other forms of low-to-moderate continuous exercise in 2/3 studies. Conclusions: The limited
evidence suggests the effectiveness of HIIT interventions for improving depressive symptoms in
people with mental illness. However, HIIT was not superior to other exercise treatments, although a
trend for its superiority may be recognized. A number of methodological issues should be considered
in further interventions to better characterize and identify the most efficient HIIT modalities for the
treatment of depressive symptoms in these patients
Computational Complexity in Electronic Structure
In quantum chemistry, the price paid by all known efficient model chemistries
is either the truncation of the Hilbert space or uncontrolled approximations.
Theoretical computer science suggests that these restrictions are not mere
shortcomings of the algorithm designers and programmers but could stem from the
inherent difficulty of simulating quantum systems. Extensions of computer
science and information processing exploiting quantum mechanics has led to new
ways of understanding the ultimate limitations of computational power.
Interestingly, this perspective helps us understand widely used model
chemistries in a new light. In this article, the fundamentals of computational
complexity will be reviewed and motivated from the vantage point of chemistry.
Then recent results from the computational complexity literature regarding
common model chemistries including Hartree-Fock and density functional theory
are discussed.Comment: 14 pages, 2 figures, 1 table. Comments welcom
Perfis de Vento e Turbulência Atmosféricos Simulados em Túnel de Vento
O perfil de vento e a turbulência foram estudados a partir de medidas obtidas com um anemômetro de fio quente em ensaios de túnel de vento com um modelo de cavidade rasa. Foi determinada a Escala Integral Euleriana e os resultados sugerem que a estrutura da turbulência é controlada, principalmente, pela entrada de energia a sotavento da cavidade
Prediction of Depression Scores From Aerobic Fitness, Body Fatness, Physical Activity, and Vagal Indices in Non-exercising, Female Workers
[EN] Background: Depression is associated with a decreased cardiorespiratory fitness,
and physical activity [PA] levels, higher rates of obesity, and dysfunction in autonomic
control of heart rate [HR]. However, these parameters were mostly recorded with indirect
methods. Thus, the aim of the current study was to investigate the relationships between
depression scores and objective measures of body fatness, autonomic indices (i.e. HRV
and HRR), cardiorespiratory fitness and PA levels; and subsequently to present the best
predictive models of depression scores for this population, based on these variables.
Methods: Thirty-five non-exercising women (26–43 years; maximal oxygen
consumption [VO2max] ∼ 17.4–38.3 mL/kg/min) volunteered for participation in
this study. All participants responded to the Beck Depression Inventory [DBI] and
were evaluated for body mass index [BMI], percentage of body fat, sum of skinfolds,
and VO2max. Subsequently, over four consecutive days, an orthostatic test and
a submaximal exercise on a cycle ergometer were performed to record HRV and
HRR, respectively. In addition, incidental PA was recorded during 5 consecutive days
using accelerometers.
Results: depression scores were related to VO2max (r = −0.446, p = 0.007) and
the sum of skinfolds (r = 0.434, p = 0.009). Several stepwise multiple linear regression
models were performed and only VO2max was revealed as an independent predictor of
the Beck scores (ß = −0.446, R² = 0.199, p = 0.007).
Conclusion: The present study revealed that VO2max and the sum of skinfolds were
moderately related to depression scores, while VO2max was the only independent
predictor of depression scores in female workers
Preservação digital na gestão de processos administrativos de uma instituição de ensino superior: o caso dos PEAPDs da PROGEP da UFSM
It is known that the evolution of information technology has been accompanied by the increase of its importance for the organizations. Thus, this study sought to propose a long-term digital preservation management model of the administrative processes of previous years of Teaching Progression of the Pro-Rectory of People Management of the Federal University of Santa Maria, to enable that these processes are created in the future in digital format and preserved in reliable digital archival repositories. For that, an applied research of was carried out, with a qualitative-quantitative approach to the research problem. Regarding the objectives, the research was descriptive. The results demonstrated that the objective of the study was fulfilled, as the Digital Preservation Management Model was developed, adapted to maintain the chain of custody and the authenticity of the documents of the administrative processes of previous years of Teaching Progression. In the future, the documents may be produced digitally, in the Information System for Teaching.Sabe-se que a evolução das tecnologias da informação foi acompanhada pelo aumento de sua importância para as organizações. Assim, este estudo buscou propor um modelo de gestão de preservação digital, em longo prazo, dos processos administrativos de exercícios anteriores de Progressão Docente da Pró-Reitoria de Gestão de Pessoas da Universidade Federal de Santa Maria, para viabilizar que esses processos possam, no futuro, ser criados em formato digital e preservados em repositórios arquivísticos digitais confiáveis. Para tanto, foi realizada uma pesquisa de natureza aplicada, com abordagem quali-quantitativa. No tocante aos objetivos, pesquisa descritiva. Os resultados demonstraram que o objetivo foi cumprido, na medida em que foi desenvolvido o Modelo de Gestão de Preservação Digital, adaptado para manter a cadeia de custódia e a autenticidade dos documentos dos Processos de Exercícios Anteriores de Progressão Docente. No futuro, os documentos poderão ser produzidos nato digitais no Sistema de Informações para o Ensino. Palavras-chave: Preservação digital. Documento arquivístico digital. Autenticidade. Tecnologia de Informação e Comunicação. UFSM.
- …