BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Martin Ziegler

Martin Ziegler contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOComputational ComplexityLogic in Computer ScienceArtificial Intelligenceeess.SYHuman-Computer Interactionphysics.app-phphysics.comp-phquant-phSystems and Control

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

preprint2022arXiv

Distality in valued fields and related structures

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enabling Adaptive and Enhanced Acoustic Sensing Using Nonlinear Dynamics

Transmission of real-time data is strongly increasing due to remote processing of sensor data, among other things. A route to meet this demand is adaptive sensing, in which sensors acquire only relevant information using pre-processing at sensor level. We present here adaptive acoustic sensors based on mechanical oscillators with integrated sensing and actuation. Their dynamics are shifted into a nonlinear regime using feedback or coupling. This enhances dynamic range, frequency resolution and signal-to-noise ratio. Combining tunable sensing properties with sound analysis could enable acquiring of only relevant information rather than extracting this from irrelevant data by post-processing.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Trois couleurs: A new non-equational theory

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability yet so far only two examples of non-equational stable theories are known. We construct non-equational $ω$-stable theories by a suitable colouring of the free pseudospace, based on Hrushovski and Srour's original example.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Equational theories of fields

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields of some fixed characteristic and of the theory of separably closed fields of arbitrary imperfection degree. Srour showed that the theory of differentially closed fields in positive characteristic is equational. We give also a different proof of his result.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Variations of the Turing Test in the Age of Internet and Virtual Reality

Inspired by Hofstadter's Coffee-House Conversation (1982) and by the science fiction short story SAM by Schattschneider (1988), we propose and discuss criteria for non-mechanical intelligence. Firstly, we emphasize the practical need for such tests in view of massively multiuser online role-playing games (MMORPGs) and virtual reality systems like Second Life. Secondly, we demonstrate Second Life as a useful framework for implementing (some iterations of) that test.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Physically-Relativized Church-Turing Hypotheses

We turn `the' Church-Turing Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and well-defined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the Church-Turing Hypothesis (CTH), suggests to study the CTH relative to an arbitrary but specific physical theory--rather than vaguely referring to ``nature'' in general. To this end we combine (and compare) physical structuralism with (models of computation in) complexity theory. The benefit of this formal framework is illustrated by reporting on some previous, and giving one new, example result(s) of computability and complexity in computational physics.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Real Hypercomputation and Continuity

By the sometimes so-called 'Main Theorem' of Recursive Analysis, every computable real function is necessarily continuous. We wonder whether and which kinds of HYPERcomputation allow for the effective evaluation of also discontinuous f:R->R. More precisely the present work considers the following three super-Turing notions of real function computability: * relativized computation; specifically given oracle access to the Halting Problem 0' or its jump 0''; * encoding real input x and/or output y=f(x) in weaker ways also related to the Arithmetic Hierarchy; * non-deterministic computation. It turns out that any f:R->R computable in the first or second sense is still necessarily continuous whereas the third type of hypercomputation does provide the required power to evaluate for instance the discontinuous sign function.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Effectively Open Real Functions

A function f is continuous iff the PRE-image f^{-1}[V] of any open set V is open again. Dual to this topological property, f is called OPEN iff the IMAGE f[U] of any open set U is open again. Several classical Open Mapping Theorems in Analysis provide a variety of sufficient conditions for openness. By the Main Theorem of Recursive Analysis, computable real functions are necessarily continuous. In fact they admit a well-known characterization in terms of the mapping V+->f^{-1}[V] being EFFECTIVE: Given a list of open rational balls exhausting V, a Turing Machine can generate a corresponding list for f^{-1}[V]. Analogously, EFFECTIVE OPENNESS requires the mapping U+->f[U] on open real subsets to be effective. By effectivizing classical Open Mapping Theorems as well as from application of Tarski's Quantifier Elimination, the present work reveals several rich classes of functions to be effectively open.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Does Quantum Mechanics allow for Infinite Parallelism?

Recent works have independently suggested that Quantum Mechanics might permit for procedures that transcend the power of Turing Machines as well as of `standard' Quantum Computers. These approaches rely on and indicate that Quantum Mechanics seems to support some infinite variant of classical parallel computing. We compare this new one with other attempts towards hypercomputation by separating 1) its principal computing capabilities from 2) realizability issues. The first are shown to coincide with recursive enumerability; the second are considered in analogy to `existence' in mathematical logic.

0 citations0 reviewsNo code linkedOpen access