SearcharxivSearch

arXiv subjects

Florian Meier

Publications and source records attributed to Florian Meier.

At least 19 recordsLinked to original sources

Least Variable Quantum Counting Processes

Counting processes provide a fundamental description of stochastic events ranging from photon detection to clock ticks. A central question is how accurately such events can be timed when only finite memory resources are available. Here, we investigate this problem within a general framework of finite-dimensional classical and quantum counting processes. We derive a rigorous finite-memory variance bound obeyed by every classical $d$-state counting process, which is tight and saturated by a discrete Erlang-type ladder process. Through numerical optimization, we identify quantum counting processes that violate this classical bound, achieving smaller first-tick fluctuations than any classical process with the same memory size and mean tick time. For the qubit case, we further derive an analytical large-mean bound within a single-Kraus no-tick family, showing that the quantum advantage persists asymptotically within this class. The optimized quantum processes exhibit coherent conditioned dynamics and approach a continuous-time quantum-jump description as the mean increases. Our results establish a finite-memory quantum advantage in temporal precision and connect discrete-time counting processes with continuous-time quantum timekeeping.

quant-ph

A Multi-Objective Approach to Curriculum-Based Course Timetabling with Continuity Across Semesters

We study a curriculum-based university course timetabling problem in which the preferences of two key stakeholder groups - lecturers and students - must be balanced while maintaining continuity across semesters in a weekly repeating timetable. While existing approaches typically rely on single-objective formulations or aggregate multiple objectives into a weighted sum, this can obscure the underlying trade-offs between conflicting stakeholder preferences. We therefore propose a multi-objective mixed-integer programming approach that explicitly separates lecturer and student objectives and incorporates timetable continuity by limiting the number of changes, called perturbations, in the time period assignments of selected courses relative to the corresponding semester of the previous academic year. To explore the resulting trade-offs, we develop a multi-objective solution approach based on the lexicographic $\varepsilon$-constraint method, enabling the computation of a representative set of solutions whose images, i.e., their vectors of objective values, cover different regions of the objective space. The approach is evaluated on real-world instances from the Straubing Campus of the Technical University of Munich. The computational results reveal a clear and consistent trade-off between lecturers' and students' objectives across all instances. Moreover, the number of allowed perturbations is identified as a key decision parameter: relaxing this constraint significantly improves timetable quality for both stakeholder groups, although diminishing returns are observed beyond certain thresholds. Overall, the proposed approach provides decision support by generating a diverse set of optimized timetables and enabling a transparent analysis of stakeholder trade-offs and continuity for the practical timetable planning process.

math.OC

From Query to Conscience: The Importance of Information Retrieval in Empowering Socially Responsible Consumerism

Millions of consumers search for products online each day, aiming to find items that meet their needs at an acceptable price. While price and quality are major factors in purchasing decisions, ethical considerations increasingly influence consumer behavior, giving rise to the socially responsible consumer. Insights from a recent survey of over 600 consumers reveal that many barriers to ethical shopping stem from information-seeking challenges, often leading to decisions made under uncertainty. These challenges contribute to the intention-behaviour gap, where consumers' desire to make ethical choices is undermined by limited or inaccessible information and inefficacy of search systems in supporting responsible decision-making. In this perspectives paper, we argue that the field of Information Retrieval (IR) has a critical role to play by empowering consumers to make more informed and more responsible choices. We present three interrelated perspectives: (1) reframing responsible consumption as an information extraction problem aimed at reducing information asymmetries; (2) redefining product search as a complex task requiring interfaces that lower the cost and burden of responsible search; and (3) reimagining search as a process of knowledge calibration that helps consumers bridge gaps in awareness when making purchasing decisions. Taken together, these perspectives outline a path from query to conscience, one where IR systems help transform everyday product searches into opportunities for more ethical and informed choices. We advocate for the development of new and novel IR systems and interfaces that address the intricacies of socially responsible consumerism, and call on the IR community to build technologies that make ethical decisions more informed, convenient, and aligned with economic realities.

cs.IR

Exponential gain in clock precision using quantum correlated ticks

Creating precise timing devices at ultra-short time scales is not just an important technological challenge, but confronts us with foundational questions about timekeeping's ultimate precision limits. Research on clocks has either focused on long-term stability using an oscillator stabilized by a level transition, limiting precision at short timescales, or on making individual stochastic ticks as precise as possible. Here, we prove the viability of a conceptually different avenue: the autonomous self-correction of consecutive ticks by quantum correlations. This provides a new paradigm that integrates the advantages and insights from quantum transport theory to operate clocks at ultra-short timescales. We fully solve a model of coupled quantum systems and show how the emergent Pauli exclusion principle correlates the clock at the quantum level yielding an exponential advantage in precision. We furthermore demonstrate through simulations with realistic imperfections that this remarkable gain in precision remains stable providing a roadmap for implementation with contemporary quantum technologies.

quant-ph

A General Framework for Physician Rostering Using Mixed-Integer Programming and a Web-Based Graphical User Interface

Physician rostering in hospitals is complex due to varying shift structures, qualifications, and department- or hospital-specific regulations. Most existing optimization models are highly tailored to a single hospital or department and rarely see practical use. We present a general framework and a corresponding mixed-integer programming (MIP) model for physician rostering that accommodates a wide variety of roster structures and constraints. The model is integrated into a web application with an advanced graphical user interface (GUI), allowing physicians to specify preferences and hospital staff to configure the MIP model to their roster requirements without any mathematical or technical background. This approach enables easy adaptation to different hospitals or departments and straightforward updates in response to structural changes, such as new duties or modified qualifications. The applicability and effectiveness of the framework are demonstrated using real-world data from three departments in different hospitals specializing in internal medicine, cardiology, and orthopedics/trauma surgery. In one department, the system is already in everyday use, while in the other two, our model achieves comparable or improved roster quality relative to existing department-specific models, highlighting its potential as a versatile and practical tool for physician rostering.

math.OC

Entropic costs of extracting classical ticks from a quantum clock

We experimentally realize a quantum clock by using a charge sensor to count charges tunneling through a double quantum dot (DQD). Individual tunneling events are used as the clock's ticks. We quantify the clock's precision while measuring the power dissipated by the DQD and, separately, the charge sensor in both direct-current and radio-frequency readout modes. This allows us to probe the thermodynamic cost of creating ticks microscopically and recording them macroscopically. Our experiment is the first to explore the interplay between the entropy produced by a microscopic clockwork and its macroscopic measurement apparatus. We show that the latter contribution not only dwarfs the former but also unlocks greatly increased precision, because the measurement record can be exploited to optimally estimate time even when the DQD is at equilibrium. Our results suggest that the entropy produced by the amplification and measurement of a clock's ticks, which has often been ignored in the literature, is the most important and fundamental thermodynamic cost of timekeeping at the quantum scale.

quant-ph

Optimal limits of continuously monitored thermometers and their Hamiltonian structure

We investigate the fundamental and practical precision limits of thermometry in bosonic and fermionic environments by coupling an $N$-level probe to them and continuously monitoring it. Our findings show that the ultimate precision limit, quantified by the Fisher information, scales linearly with $N$, offering an exponential improvement over equilibrium thermometry, where the scaling is only $\log^2 N$. For a fixed Hamiltonian structure, we develop a maximum likelihood estimation strategy that maps the observed continuously monitored trajectories of the probe into temperature estimates with minimal error. By optimizing over all possible Hamiltonian structures, we discover that the optimal configuration is an effective two-level system, with both levels exhibiting degeneracy that increases with $N$-a stark contrast to equilibrium thermometry, where the ground state remains non-degenerate. Our results have practical implications. First, continuous monitoring is experimentally feasible on several platforms and accounts for the preparation time of the probe, which is often overlooked in other approaches such as prepare-and-reset. Second, the linear scaling is robust against deviations from the effective two-level structure of the optimal Hamiltonian. Additionally, this robustness extends to cases of initial ignorance about the temperature. Thus, in global estimation problems, the linear scaling remains intact even without adaptive strategies.

quant-ph

Precision is not limited by the second law of thermodynamics

Physical devices operating out of equilibrium are inherently affected by thermal fluctuations, limiting their operational precision. This issue is pronounced at microscopic and especially quantum scales and can only be mitigated by incurring additional entropy dissipation. Understanding this constraint is crucial for both fundamental physics and technological design. For instance, clocks are inherently governed by the second law of thermodynamics and need a thermodynamic flux towards equilibrium to measure time, which results in a minimum entropy dissipation per clock tick. Classical and quantum models and experiments often show a linear relationship between precision and dissipation, but the ultimate bounds on this relationship are unknown. Our theoretical discovery presents an extensible quantum many-body system that achieves clock precision scaling exponentially with entropy dissipation. This finding demonstrates that coherent quantum dynamics can surpass the traditional thermodynamic precision limits, potentially guiding the development of future high-precision, low-dissipation quantum devices.

quant-ph

Optimal time estimation and the clock uncertainty relation for stochastic processes

Time estimation is a fundamental task that underpins precision measurement, global navigation systems, financial markets, and the organisation of everyday life. Many biological processes also depend on time estimation by nanoscale clocks, whose performance can be significantly impacted by random fluctuations. In this work, we formulate the problem of optimal time estimation for Markovian stochastic processes, and present its general solution in the asymptotic (long-time) limit. Specifically, we obtain a tight upper bound on the precision of any time estimate constructed from sustained observations of a classical, Markovian jump process. This bound is controlled by the mean residual time, i.e. the expected wait before the first jump is observed. As a consequence, we obtain a universal bound on the signal-to-noise ratio of arbitrary currents and counting observables in the steady state. This bound is similar in spirit to the kinetic uncertainty relation but provably tighter, and we explicitly construct the counting observables that saturate it. Our results establish ultimate precision limits for an important class of observables in non-equilibrium systems, and demonstrate that the mean residual time, not the dynamical activity, is the measure of freneticity that tightly constrains fluctuations far from equilibrium.

cond-mat.stat-mech

Emergence of a second law of thermodynamics in isolated quantum systems

The second law of thermodynamics states that the entropy of an isolated system can only increase over time. This appears to conflict with the reversible evolution of isolated quantum systems under the Schr\"odinger equation, which preserves the von Neumann entropy. Nonetheless, one finds that with respect to many observables, expectation values approach a fixed value -- their equilibrium value. This ultimately raises the question: in what sense does the entropy of an isolated quantum system increase over time? For classical systems, one introduces the assumption of a low entropy initial state along with the concept of ignorance about the microscopic details of the physical system, leading to a statistical interpretation of the second law. By considering the observables through which we examine quantum systems, both these assumptions can be incorporated, building upon recent studies of the equilibration on average of observables. While the statistical behavior of observable expectation values is well-established, a quantitative connection to entropy increase has been lacking so far. In deriving novel bounds for the equilibration of observables, and considering the entropy of the system relative to observables, we recover a variant of the second law: the entropy with respect to a given observable tends towards its equilibrium value in the course of the system's unitary evolution. These results also support recent findings which question the necessity of non-integrability for equilibration in quantum systems. We further illustrate our bounds using numerical results from the paradigmatic example of a quantum Ising model on a chain of spins. There, we observe entropy increasing up to equilibrium values, as well as fluctuations which expose the underlying reversible evolution in accordance with the derived bounds.

quant-ph

Autonomous Quantum Processing Unit: An Autonomous Thermal Computing Machine & its Physical Limitations

Computation is an input-output process, where a program encoding a problem to be solved is inserted into a machine that outputs a solution. Quantum computation conventionally relies on classical, external control outside the quantum computer to execute a program, obscuring computational and thermodynamic resources required. To understand the fundamental limits of computation, however, it is pivotal to work with a fully self-contained description of a quantum computation, modeling the resources on the same footing as the computation itself. By developing a framework that we dub the autonomous Quantum Processing Unit (aQPU) we model quantum computation in the framework of autonomous thermal machines. Consisting of an internal quantum timekeeping mechanism, instruction register and memory system the aQPU allows investigating relationships between thermodynamic cost, complexity, speed and fidelity of a desired quantum computation.

quant-ph

Energy-Consumption Advantage of Quantum Computation

Energy consumption in solving computational problems has been gaining growing attention as one of the key performance measures for computers. Quantum computation is known to offer advantages over classical computation in terms of various computational resources; however, proving its energy-consumption advantage has been challenging due to the lack of a theoretical foundation linking the physical concept of energy with the computer-scientific notion of complexity for quantum computation. To bridge this gap, we introduce a general framework for studying the energy consumption of quantum and classical computation, based on a computational model conventionally used for studying query complexity in computational complexity theory. Within this framework, we derive an upper bound for the achievable energy consumption of quantum computation, accounting for imperfections in implementation appearing in practice. As part of this analysis, we construct a protocol for Landauer erasure with finite precision in a finite number of steps, which constitutes a contribution of independent interest. Additionally, we develop techniques for proving a nonzero lower bound of energy consumption of classical computation, based on the energy-conservation law and Landauer's principle. Using these general bounds, we rigorously prove that quantum computation achieves an exponential energy-consumption advantage over classical computation for solving a paradigmatic computational problem -- Simon's problem. Furthermore, we propose explicit criteria for experimentally demonstrating this energy-consumption advantage of quantum computation, analogous to the experimental demonstrations of quantum computational supremacy. These results establish a foundational framework and techniques to explore the energy consumption of computation, opening an alternative way to study the advantages of quantum computation.

quant-ph

The Impact of Imperfect Timekeeping on Quantum Control

In order to unitarily evolve a quantum system, an agent requires knowledge of time, a parameter which no physical clock can ever perfectly characterise. In this letter, we study how limitations on acquiring knowledge of time impact controlled quantum operations in different paradigms. We show that the quality of timekeeping an agent has access to limits the circuit complexity they are able to achieve within circuit-based quantum computation. We do this by deriving an upper bound on the average gate fidelity achievable under imperfect timekeeping for a general class of random circuits. Another area where quantum control is relevant is quantum thermodynamics. In that context, we show that cooling a qubit can be achieved using a timer of arbitrary quality for control: timekeeping error only impacts the rate of cooling and not the achievable temperature. Our analysis combines techniques from the study of autonomous quantum clocks and the theory of quantum channels to understand the effect of imperfect timekeeping on controlled quantum dynamics.

quant-ph

Fundamental accuracy-resolution trade-off for timekeeping devices

From a thermodynamic point of view, all clocks are driven by irreversible processes. Additionally, one can use oscillatory systems to temporally modulate the thermodynamic flux towards equilibrium. Focusing on the most elementary thermalization events, this modulation can be thought of as a temporal probability concentration for these events. There are two fundamental factors limiting the performance of clocks: On the one level, the inevitable drifts of the oscillatory system, which are addressed by finding stable atomic or nuclear transitions that lead to astounding precision of today's clocks. On the other level, there is the intrinsically stochastic nature of the irreversible events upon which the clock's operation is based. This becomes relevant when seeking to maximize a clock's resolution at high accuracy, which is ultimately limited by the number of such stochastic events per reference time unit. We address this essential trade-off between clock accuracy and resolution, proving a universal bound for all clocks whose elementary thermalization events are memoryless.

quant-ph

Thermodynamic optimization of quantum algorithms: On-the-go erasure of qubit registers

We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate "on-the-go erasure" of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in these scenarios, applying results on the Landauer erasure of entangled quantum registers. For the class of algorithms solving the Abelian hidden subgroup problem, we find optimal on-the-go erasure protocols. We conclude that there is a trade-off: if we have enough partial information about a problem to build efficient on-the-go erasure, we can use it to instead simplify the algorithm, so that fewer qubits are needed to run the computation in the first place. We provide explicit protocols for these two approaches.

quant-ph

TWikiL -- The Twitter Wikipedia Link Dataset

Recent research has shown how strongly Wikipedia and other web services or platforms are connected. For example, search engines rely heavily on surfacing Wikipedia links to satisfy their users' information needs and volunteer-created Wikipedia content frequently gets re-used on other social media platforms like Reddit. However, publicly accessible datasets that enable researchers to study the interrelationship between Wikipedia and other platforms are sparse. In addition to that, most studies only focus on certain points in time and don't consider the historical perspective. To begin solving these problems we developed TWikiL, the Twitter Wikipedia Link Dataset, which contains all Wikipedia links posted on Twitter in the period 2006 to January 2021. We extract Wikipedia links from Tweets and enrich the referenced articles with their respective Wikidata identifiers and Wikipedia topic categories, which will make this dataset immediately useful for a large range of scholarly use cases. In this paper, we describe the data collection process, perform an initial exploratory analysis and present a comprehensive overview of how this dataset can be useful for the research community.

cs.SI

Improving Gradient Estimation in Evolutionary Strategies With Past Descent Directions

Evolutionary Strategies (ES) are known to be an effective black-box optimization technique for deep neural networks when the true gradients cannot be computed, such as in Reinforcement Learning. We continue a recent line of research that uses surrogate gradients to improve the gradient estimation of ES. We propose a novel method to optimally incorporate surrogate gradient information. Our approach, unlike previous work, needs no information about the quality of the surrogate gradients and is always guaranteed to find a descent direction that is better than the surrogate gradient. This allows to iteratively use the previous gradient estimate as surrogate gradient for the current search point. We theoretically prove that this yields fast convergence to the true gradient for linear functions and show under simplifying assumptions that it significantly improves gradient estimates for general functions. Finally, we evaluate our approach empirically on MNIST and reinforcement learning tasks and show that it considerably improves the gradient estimation of ES at no extra computational cost.

cs.NE

Approximating Real-Time Recurrent Learning with Random Kronecker Factors

Despite all the impressive advances of recurrent neural networks, sequential data is still in need of better modelling. Truncated backpropagation through time (TBPTT), the learning algorithm most widely used in practice, suffers from the truncation bias, which drastically limits its ability to learn long-term dependencies.The Real-Time Recurrent Learning algorithm (RTRL) addresses this issue, but its high computational requirements make it infeasible in practice. The Unbiased Online Recurrent Optimization algorithm (UORO) approximates RTRL with a smaller runtime and memory cost, but with the disadvantage of obtaining noisy gradients that also limit its practical applicability. In this paper we propose the Kronecker Factored RTRL (KF-RTRL) algorithm that uses a Kronecker product decomposition to approximate the gradients for a large class of RNNs. We show that KF-RTRL is an unbiased and memory efficient online learning algorithm. Our theoretical analysis shows that, under reasonable assumptions, the noise introduced by our algorithm is not only stable over time but also asymptotically much smaller than the one of the UORO algorithm. We also confirm these theoretical results experimentally. Further, we show empirically that the KF-RTRL algorithm captures long-term dependencies and almost matches the performance of TBPTT on real world tasks by training Recurrent Highway Networks on a synthetic string memorization task and on the Penn TreeBank task, respectively. These results indicate that RTRL based approaches might be a promising future alternative to TBPTT.

cs.LG