Source author record

Martin Schmidt

Martin Schmidt appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2026arXiv

Mixed-Integer Linear Optimization for Semi-Supervised Optimal Classification Trees

Decision trees are one of the most popular methods for solving classification problems, mainly because of their good interpretability properties. Moreover, due to advances in recent years in mixed-integer optimization, several models have been proposed to formulate the problem of computing optimal classification trees. The goal is, given a set of labeled points, to split the feature spacewith hyperplanes and assign a class to each part of the resulting partition. In certain scenarios, however, labels are only available for a subset of the given points. Additionally, this subset may be non-representative, such as in the case of self-selection in a survey. Semi-supervised decision trees tackle the setting of labeled and unlabeled data and often contribute to enhancing the reliability of the results. Furthermore, undisclosed sources may provide extra information about the size of the classes. We propose a mixed-integer linear optimization model for computing semi-supervised optimal classification trees that cover the setting of labeled and unlabeled data points as well as the overall number of points in each class for a binary classification. Our numerical results show that our approach leads to a better accuracy and a better Matthews correlation coefficient for biased samples compared to other optimal classification trees, even if onlyfew labeled points are available.

preprint2026arXiv

Widefield NV Magnetic Field Reconstruction for Probing the Meissner Effect and Critical Current Density under Pressure

The spatial distribution of a magnetic field can be determined with micrometer resolution using widefield nitrogen vacancy (NV) center magnetic imaging. Nevertheless, reconstructing the magnetic field from the raw data can be challenging due to the degeneracy of the four possible NV axes and the tremendous amount of data. While a qualitative approach is sufficient for most analyses, a quantitative analysis offers deeper insight into the physical system. Here, we apply NV widefield magnetic imaging to a HgBa$_{2}$Ca$_{2}$Cu$_{3}$O$_{8+δ}$ (Hg-1223) superconducting microcrystal at a pressure of 4 GPa. We fit the results with solutions from the Hamiltonian describing the NV center ground state and take into account the relative intensities of the resonances to determine the local magnetic field magnitude and angle. Thus, we reconstruct the temperature-dependent expulsion of the magnetic field due to the Meissner effect around the superconductor. By comparing the resulting parameters to Brandt's model, which describes the magnetic behavior of a type-II superconductor, we extract the critical current density $j_c$. Overall, this work showcases the first widefield quantitative reconstruction of the Meissner effect under pressure and an optical method to study critical current density. Thus, it provides new insights into the application of NV magnetometry to superconductivity research at high pressures.

preprint2023arXiv

NV center magnetometry up to 130 GPa as if at ambient pressure

Engineering a layer of nitrogen-vacancy (NV) centers on the tip of a diamond anvil creates a multipurpose quantum sensors array for high pressure measurements, especially for probing magnetic and superconducting properties of materials. Expanding this concept above 100 GPa appears to be a substantial challenge. We observe that deviatoric stress on the anvil tip sets a limit at 40-50 GPa for practical magnetic measurements based on optically detected magnetic resonance (ODMR) of NV centers under pressure. We show that this limit can be circumvented up to at least 130 GPa by machining a micropillar on the anvil tip to create a quasi-hydrostatic stress environment for the NV centers. This is quantified using the pressure dependence of the diamond Raman shift, the NV ODMR dependence on applied magnetic field, and NV photoluminescence spectral shift. This paves the way for direct and reliable detection of the Meissner effect in superconductors above 100 GPa, such as super-hydrides.

preprint2022arXiv

Hot Brownian motion of optically levitated nanodiamonds

The Brownian motion of a particle hotter than its environment is an iconic out-of-equilibrium system. Its study provides valuable insights into nanoscale thermal effects. Notably, it supplies an excellent diagnosis of thermal effects in optically levitated particles, a promising platform for force sensing and quantum physics tests. Thus, understanding the relevant parameters in this effect is critical. In this context, we test the role of particles' shape and material, using optically levitated nanodiamonds hosting NV centers to measure the particles' internal temperature and center-of-mass dynamics. We present a model to assess the nanodiamond internal temperature from its dynamics, adaptable to other particles. We also demonstrate that other mechanisms affect the nanodiamond dynamics and its stability in the trap. Finally, our work, by showing levitating nanodiamonds as an excellent tool for studying nano-thermal effects, opens prospects for increasing the trapping stability of optically levitated particles.

preprint2022arXiv

Thermometry of an optically levitated nanodiamond

Using the spin properties of nitrogen-vacancy (NV) centers in levitated diamond, we characterize the absorption of single nanodiamonds. We first calibrate the thermometry response of the NV centers embedded in our nanodiamonds. Then, using this calibration, we estimate the absorption cross-section of single levitated nanodiamonds. We show that this absorption is extrinsic and dominated by volumic effects. Our work opens the way to diamond materials optimization for levitation quantum experiments. It also demonstrates optical levitation as a unique platform to characterize material thermal properties at the nanoparticle level.

preprint2021arXiv

Affinely Adjustable Robust Linear Complementarity Problems

Linear complementarity problems are a powerful tool for modeling many practically relevant situations such as market equilibria. They also connect many sub-areas of mathematics like game theory, optimization, and matrix theory. Despite their close relation to optimization, the protection of LCPs against uncertainties -- especially in the sense of robust optimization -- is still in its infancy. During the last years, robust LCPs have only been studied using the notions of strict and $Γ$-robustness. Unfortunately, both concepts lead to the problem that the existence of robust solutions cannot be guaranteed. In this paper, we consider affinely adjustable robust LCPs. In the latter, a part of the LCP solution is allowed to adjust via a function that is affine in the uncertainty. We show that this notion of robustness allows to establish strong characterizations of solutions for the cases of uncertain matrix and vector, separately, from which existence results can be derived. Our main results are valid for the case of an uncertain LCP vector. Here, we additionally provide sufficient conditions on the LCP matrix for the uniqueness of a solution. Moreover, based on characterizations of the affinely adjustable robust solutions, we derive a mixed-integer programming formulation that allows to solve the corresponding robust counterpart. If, in addition, the certain LCP matrix is positive semidefinite, we prove polynomial-time solvability and uniqueness of robust solutions. If the LCP matrix is uncertain, characterizations of solutions are developed for every nominal matrix, i.e., these characterizations are, in particular, independent of the definiteness of the nominal matrix. Robust solutions are also shown to be unique for positive definite LCP matrix but both uniqueness and mixed-integer programming formulations still remain open problems if the nominal LCP matrix is not psd.

preprint2020arXiv

Nonlinear Optimization of District Heating Networks

We develop a complementarity-constrained nonlinear optimization model for the time-dependent control of district heating networks. The main physical aspects of water and heat flow in these networks are governed by nonlinear and hyperbolic 1d partial differential equations. In addition, a pooling-type mixing model is required at the nodes of the network to treat the mixing of different water temperatures. This mixing model can be recast using suitable complementarity constraints. The resulting problem is a mathematical program with complementarity constraints subject to nonlinear partial differential equations describing the physics. In order to obtain a tractable problem, we apply suitable discretizations in space and time, resulting in a finite-dimensional optimization problem with complementarity constraints for which we develop a suitable reformulation with improved constraint regularity. Moreover, we propose an instantaneous control approach for the discretized problem, discuss practically relevant penalty formulations, and present preprocessing techniques that are used to simplify the mixing model at the nodes of the network. Finally, we use all these techniques to solve realistic instances. Our numerical results show the applicability of our techniques in practice.

preprint2018arXiv

Magnetic measurements on micron-size samples under high pressure using designed NV centers

Pressure is a unique tool to tune the interplay between structural, electronic and magnetic interactions. It leads to remarkable properties of materials such as recent temperature records in superconductivity. Advanced magnetic measurements under very high pressure in the Diamond Anvil Cell (DAC) use synchrotron approaches but these are lacking a formal link to the macroscopic magnetic properties. We report an alternative method consisting in optical magnetometry based on nitrogen-vacancy (NV) centers created at the surface of a diamond anvil. We illustrate the method by two measurements realized at room and low temperature respectively: the pressure evolution of the magnetization of an iron bead up to 30 GPa showing the iron ferromagnetic collapse and the detection of the superconducting transition of MgB2 at 7 GPa.

preprint2015arXiv

Potential Errors and Test Assessment in Software Product Line Engineering

Software product lines (SPL) are a method for the development of variant-rich software systems. Compared to non-variable systems, testing SPLs is extensive due to an increasingly amount of possible products. Different approaches exist for testing SPLs, but there is less research for assessing the quality of these tests by means of error detection capability. Such test assessment is based on error injection into correct version of the system under test. However to our knowledge, potential errors in SPL engineering have never been systematically identified before. This article presents an overview over existing paradigms for specifying software product lines and the errors that can occur during the respective specification processes. For assessment of test quality, we leverage mutation testing techniques to SPL engineering and implement the identified errors as mutation operators. This allows us to run existing tests against defective products for the purpose of test assessment. From the results, we draw conclusions about the error-proneness of the surveyed SPL design paradigms and how quality of SPL tests can be improved.

preprint2014arXiv

(Co)recursion in Logic Programming: Lazy vs Eager

CoAlgebraic Logic Programming (CoALP) is a dialect of Logic Programming designed to bring a more precise compile-time and run-time analysis of termination and productivity for recursive and corecursive functions in Logic Programming. Its second goal is to introduce guarded lazy (co)recursion akin to functional theorem provers into logic programming. In this paper, we explain lazy features of CoALP, and compare them with the loop-analysis and eager execution in Coinductive Logic Programming (CoLP). We conclude by outlining the future directions in developing the guarded (co)recursion in logic programming.

preprint2013arXiv

Coalgebraic Logic Programming: from Semantics to Implementation

Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops. Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive and corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly. The programming developments have often occurred separately and have usually been implementation-led. Here, we give a coherent semantics-led account of the issues, starting with abstract category theoretic semantics, developing coalgebra to characterise naturally arising trees, and proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism.

preprint2013arXiv

Exploiting Parallelism in Coalgebraic Logic Programming

We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.

preprint2013arXiv

Random Matrix Theory approach to Mesoscopic Fluctuations of Heat Current

We consider an ensemble of fully connected networks of N oscillators coupled harmonically with random springs and show, using Random Matrix Theory considerations, that both the average phonon heat current and its variance are scale-invariant and take universal values in the large N-limit. These anomalous mesoscopic uctuations is the hallmark of strong correlations between normal modes.

preprint2010arXiv

The roundtable: an abstract model of conversation dynamics

Is it possible to abstract a formal mechanism originating schisms and governing the size evolution of social conversations? In this work a constructive solution to such problem is proposed: an abstract model of a generic N-party turn-taking conversation. The model develops from simple yet realistic assumptions derived from experimental evidence, abstracts from conversation content and semantics while including topological information, and is driven by stochastic dynamics. We find that a single mechanism - namely the dynamics of conversational party's individual fitness, as related to conversation size - controls the development of the self-organized schisming phenomenon. Potential generalizations of the model - including individual traits and preferences, memory effects and more elaborated conversational topologies - may find important applications also in other fields of research, where dynamically-interacting and networked agents play a fundamental role.