BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

George Konstantinidis

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

ResearcherUnclaimed source record
hep-thArtificial Intelligencecond-mat.mes-hallcond-mat.mtrl-sciDatabasesgr-qc

Catalog footprint

What is connected

9works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

9 published item(s)

preprint2022arXiv

Satisfiability and Containment of Recursive SHACL

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused on the validation problem and the standard decision problems of satisfiability and containment, crucial for design and optimisation purposes, have only been investigated for simplified versions of SHACL. Moreover, the SHACL specification does not define the semantics of recursively-defined constraints, which led to several alternative recursive semantics being proposed in the literature. The interaction between these different semantics and important decision problems has not been investigated yet. In this article we provide a comprehensive study of the different features of SHACL, by providing a translation to a new first-order language, called SCL, that precisely captures the semantics of SHACL. We also present MSCL, a second-order extension of SCL, which allows us to define, in a single formal logic framework, the main recursive semantics of SHACL. Within this language we also provide an effective treatment of filter constraints which are often neglected in the related literature. Using this logic we provide a detailed map of (un)decidability and complexity results for the satisfiability and containment decision problems for different SHACL fragments. Notably, we prove that both problems are undecidable for the full language, but we present decidable combinations of interesting features, even in the face of recursion.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

SHACL Constraints with Inference Rules

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or reasoners, is a matter of ongoing research. In this paper we study the interaction of a subset of SHACL with inference rules expressed in datalog. On the one hand, SHACL constraints can be used to define a "schema" for graph datasets. On the other hand, inference rules can lead to the discovery of new facts that do not match the original schema. Given a set of SHACL constraints and a set of datalog rules, we present a method to detect which constraints could be violated by the application of the inference rules on some graph instance of the schema, and update the original schema, i.e, the set of SHACL constraints, in order to capture the new facts that can be inferred. We provide theoretical and experimental results of the various components of our approach.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Late-time Structure of the Bunch-Davies FRW Wavefunction

In this short note we organize a perturbation theory for the Bunch-Davies wavefunction in flat, accelerating cosmologies. The calculational technique avoids the in-in formalism and instead uses an analytic continuation from Euclidean signature. We will consider both massless and conformally coupled self-interacting scalars. These calculations explicitly illustrate two facts. The first is that IR divergences get sharper as the acceleration slows. The second is that UV-divergent contact terms in the Euclidean computation can contribute to the absolute value of the wavefunction in Lorentzian signature. Here UV divergent refers to terms involving inverse powers of the radial cutoff in the Euclidean computation. In Lorentzian signature such terms encode physical time dependence of the wavefunction.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Late-time Structure of the Bunch-Davies De Sitter Wavefunction

We examine the late time behavior of the Bunch-Davies wavefunction for interacting light fields in a de Sitter background. We use perturbative techniques developed in the framework of AdS/CFT, and analytically continue to compute tree and loop level contributions to the Bunch-Davies wavefunction. We consider self-interacting scalars of general mass, but focus especially on the massless and conformally coupled cases. We show that certain contributions grow logarithmically in conformal time both at tree and loop level. We also consider gauge fields and gravitons. The four-dimensional Fefferman-Graham expansion of classical asymptotically de Sitter solutions is used to show that the wavefunction contains no logarithmic growth in the pure graviton sector at tree level. Finally, assuming a holographic relation between the wavefunction and the partition function of a conformal field theory, we interpret the logarithmic growths in the language of conformal field theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Conformal Quivers and Melting Molecules

Quiver quantum mechanics describes the low energy dynamics of a system of wrapped D-branes. It captures several aspects of single and multicentered BPS black hole geometries in four-dimensional $\mathcal{N} = 2$ supergravity such as the presence of bound states and an exponential growth of microstates. The Coulomb branch of an Abelian three node quiver is obtained by integrating out the massive strings connecting the D-particles. It allows for a scaling regime corresponding to a deep AdS$_2$ throat on the gravity side. In this scaling regime, the Coulomb branch is shown to be an $SL(2,\mathbb{R})$ invariant multi-particle superconformal quantum mechanics. Finally, we integrate out the strings at finite temperature---rather than in their ground state---and show how the Coulomb branch `melts' into the Higgs branch at high enough temperatures. For scaling solutions the melting occurs for arbitrarily small temperatures, whereas bound states can be metastable and thus long lived. Throughout the paper, we discuss how far the analogy between the quiver model and the gravity picture, particularly within the AdS$_2$ throat, can be taken.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Higher Spin de Sitter Holography from Functional Determinants

We discuss further aspects of the higher spin dS/CFT correspondence. Using a recent result of Dunne and Kirsten, it is shown how to numerically compute the partition function of the free Sp(N) model for a large class of SO(3) preserving deformations of the flat/round metric on R^3/S^3 and the source of the spin-zero single-trace operator dual to the bulk scalar. We interpret this partition function as a Hartle-Hawking wavefunctional. It has a local maximum about the pure de Sitter vacuum. Restricting to SO(3) preserving deformations, other local maxima (which exceed the one near the de Sitter vacuum) can peak at inhomogeneous and anisotropic values of the late time metric and scalar profile. Numerical experiments suggest the remarkable observation that, upon fixing a certain average of the bulk scalar profile at I^+, the wavefunction becomes normalizable in all the other (infinite) directions of the deformation. We elucidate the meaning of double trace deformations in the context of dS/CFT as a change of basis and as a convolution. Finally, we discuss possible extensions of higher spin de Sitter holography by coupling the free theory to a Chern-Simons term.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Graphene radio: Detecting radiowaves with a single atom sheet

We present the experimental evidence of RF demodulation by a graphene monolayer embedded in a coplanar structure. The demodulator was tested in the frequency range from 100 MHz to 25 GHz using amplitude modulated input signals. An input power of 0 dBm (1 mW) was used which is the typical power emitted for short range wireless communication systems, such as Bluetooth. The graphene demodulator exhibits good signal response in the frequency range associated to industrial, scientific and medical (ISM) radio band (2.4 GHz).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Radio frequency signal detection by ballistic transport in Y-shaped graphene nanoribbons

We report on the fabrication and room temperature measurements of a high frequency electrical signal detector. The device is based on the ballistic transport in graphene to detect a high frequency signal. The observed response is linear in the considered power range (-40dBm - 0dBm) and exhibits a sensitivity as high as 10 Volts/Watt. Finally the device detected signals up to 50GHz with a maximum response at 10GHz. This device outperforms any previously reported carbon based detectors in frequency response and compares to current state of the art Schottky based detectors in dynamic range.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Supergoop Dynamics

We initiate a systematic study of the dynamics of multi-particle systems with supersymmetric Van der Waals and electron-monopole type interactions. The static interaction allows a complex continuum of ground state configurations, while the Lorentz interaction tends to counteract this configurational fluidity by magnetic trapping, thus producing an exotic low temperature phase of matter aptly named supergoop. Such systems arise naturally in $\mathcal{N}=2$ gauge theories as monopole-dyon mixtures, and in string theory as collections of particles or black holes obtained by wrapping D-branes on internal space cycles. After discussing the general system and its relation to quiver quantum mechanics, we focus on the case of three particles. We give an exhaustive enumeration of the classical and quantum ground states of a probe in an arbitrary background with two fixed centers. We uncover a hidden conserved charge and show that the dynamics of the probe is classically integrable. In contrast, the dynamics of one heavy and two light particles moving on a line shows a nontrivial transition to chaos, which we exhibit by studying the Poincaré sections. Finally we explore the complex dynamics of a probe particle in a background with a large number of centers, observing hints of ergodicity breaking. We conclude by discussing possible implications in a holographic context.

0 citations0 reviewsNo code linkedOpen access