-
Containment for Binary Guarded Monotone SNP
Authors:
Alexey Barsukov
Abstract:
Guarded Monotone Strict NP (GMSNP) extends the class of Monotone Monadic Strict NP (MMSNP) by allowing existentially quantified relations of arities greater than 1 but restricting them to always be guarded by input relations. The containment problem is characterized for MMSNP by the existence of a recoloring which is a map** between the sets of second-order variables of the two given logical sen…
▽ More
Guarded Monotone Strict NP (GMSNP) extends the class of Monotone Monadic Strict NP (MMSNP) by allowing existentially quantified relations of arities greater than 1 but restricting them to always be guarded by input relations. The containment problem is characterized for MMSNP by the existence of a recoloring which is a map** between the sets of second-order variables of the two given logical sentences that satisfies some specific properties. This paper extends this characterization to GMSNP problems, where the input signature consists of unary and binary relation symbols.
△ Less
Submitted 5 October, 2023; v1 submitted 2 October, 2023;
originally announced October 2023.
-
arXiv:2307.16692
[pdf]
cond-mat.mtrl-sci
cond-mat.mes-hall
physics.app-ph
physics.ins-det
q-bio.BM
Femtomolar detection of the heart failure biomarker NT-proBNP in artificial saliva using an immersible liquid-gated aptasensor with reduced graphene oxide
Authors:
Stefan Jaric,
Anastasiia Kudriavtseva,
Nikita Nekrasov,
Alexey V. Orlov,
Ivan A. Komarov,
Leonty A. Barsukov,
Ivana Gadjanski,
Petr I. Nikitin,
Ivan Bobrinetskiy
Abstract:
Measuring NT-proBNP biomarker is recommended for preliminary diagnostics of the heart failure. Recent studies suggest a possibility of early screening of biomarkers in saliva for non-invasive identification of cardiac diseases at the point-of-care. However, NT-proBNP concentrations in saliva can be thousand time lower than in blood plasma, going down to pg/mL level. To reach this level, we develop…
▽ More
Measuring NT-proBNP biomarker is recommended for preliminary diagnostics of the heart failure. Recent studies suggest a possibility of early screening of biomarkers in saliva for non-invasive identification of cardiac diseases at the point-of-care. However, NT-proBNP concentrations in saliva can be thousand time lower than in blood plasma, going down to pg/mL level. To reach this level, we developed a label-free aptasensor based on a liquid-gated field effect transistor using a film of reduced graphene oxide monolayer (rGO-FET) with immobilized NT-proBNP specific aptamer. We found that, depending on ionic strength of tested solutions, there were different levels of correlation in responses of electrical parameters of the rGO-FET aptasensor, namely, the Dirac point shift and transconductance change. The correlation in response to NT-proBNP was high for 1.6 mM phosphate-buffered saline (PBS) and zero for 16 mM PBS in a wide range of analyte concentrations, varied from 1 fg/mL to 10 ng/mL. The effects of transconductance and Dirac point shift in PBS solutions of different concentrations are discussed. The biosensor exhibited a high sensitivity for both transconductance (2 uS/decade) and Dirac point shift (2.3 mV/decade) in diluted PBS with the linear range from 10 fg/mL to 1 pg/mL. The aptasensor performance has been also demonstrated in undiluted artificial saliva with the achieved limit of detection down to 41 fg/mL (~4.6 fM).
△ Less
Submitted 3 November, 2023; v1 submitted 31 July, 2023;
originally announced July 2023.
-
On guarded extensions of MMSNP
Authors:
Alexey Barsukov,
Florent R. Madelaine
Abstract:
We investigate logics and classes of problems below Fagin's existential second-order logic (ESO) and above Feder and Vardi's logic for constraint satisfaction problems (CSP), the so called monotone monadic SNP without inequality (MMSNP). It is known that MMSNP has a dichotomy between P and NP-complete but the removal of any of these three restrictions imposed on SNP yields a logic that is Ptime eq…
▽ More
We investigate logics and classes of problems below Fagin's existential second-order logic (ESO) and above Feder and Vardi's logic for constraint satisfaction problems (CSP), the so called monotone monadic SNP without inequality (MMSNP). It is known that MMSNP has a dichotomy between P and NP-complete but the removal of any of these three restrictions imposed on SNP yields a logic that is Ptime equivalent to ESO: so by Ladner's theorem we have three stronger sibling logics that are nondichotomic above MMSNP. In this paper, we explore the area between these four logics, mostly by considering guarded extensions of MMSNP, with the ultimate goal being to obtain logics above MMSNP that exhibit such a dichotomy.
△ Less
Submitted 11 May, 2024; v1 submitted 7 May, 2023;
originally announced May 2023.
-
Maximum Cut on Interval Graphs of Interval Count Two is NP-complete
Authors:
Alexey Barsukov,
Bodhayan Roy
Abstract:
An interval graph has interval count $\ell$ if it has an interval model, where among every $\ell+1$ intervals there are two that have the same length. Maximum Cut on interval graphs has been found to be NP-complete recently by Adhikary et al. while deciding its complexity on unit interval graphs (graphs with interval count one) remains a longstanding open problem. More recently, de Figueiredo et a…
▽ More
An interval graph has interval count $\ell$ if it has an interval model, where among every $\ell+1$ intervals there are two that have the same length. Maximum Cut on interval graphs has been found to be NP-complete recently by Adhikary et al. while deciding its complexity on unit interval graphs (graphs with interval count one) remains a longstanding open problem. More recently, de Figueiredo et al. have made an advancement by showing that the problem remains NP-complete on interval graphs of interval count four. In this paper, we show that Maximum Cut is NP-complete even on interval graphs of interval count two.
△ Less
Submitted 24 April, 2024; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Generalisations of Matrix Partitions : Complexity and Obstructions
Authors:
Alexey Barsukov,
Mamadou Moustapha Kanté
Abstract:
A trigraph is a graph where each pair of vertices is labelled either 0 (a non-arc), 1 (an arc) or $\star$ (both an arc and a non-arc). In a series of papers, Hell and co-authors proposed to study the complexity of homomorphisms from graphs to trigraphs, called Matrix Partition Problems, where arcs and non-arcs can be both mapped to $\star$-arcs, while a non-arc cannot be mapped to an arc, and vice…
▽ More
A trigraph is a graph where each pair of vertices is labelled either 0 (a non-arc), 1 (an arc) or $\star$ (both an arc and a non-arc). In a series of papers, Hell and co-authors proposed to study the complexity of homomorphisms from graphs to trigraphs, called Matrix Partition Problems, where arcs and non-arcs can be both mapped to $\star$-arcs, while a non-arc cannot be mapped to an arc, and vice-versa. Even though Matrix Partition Problems are generalisations of CSPs, they share with them the property of being ``intrinsically'' combinatorial. So, the question of a possible P-time vs NP-complete dichotomy is a very natural one and was raised in Hell et al.'s papers. We propose a generalisation of Matrix Partitions to relational structures and study them with respect to the question of a dichotomy. We first show that trigraph homomorphisms and Matrix Partitions are P-time equivalent, and then prove that one can also restrict (with respect to having a dichotomy) to relational structures with a single relation. Failing in proving that Matrix Partitions on directed graphs are not P-time equivalent to Matrix Partitions on relational structures, we give some evidence that it might be unlikely by formalising the reductions used in the case of CSPs and by showing that such reductions cannot work for the case of Matrix Partitions. We then turn our attention to Matrix Partitions that can be described by finite sets of (induced-subgraph) obstructions. We show, in particular, that any such problem has finitely many minimal obstructions if and only if it has finite duality. We conclude by showing that on trees (seen as trigraphs) it is NP-complete to decide whether a given tree has a homomorphism to another input trigraph. The latter shows a notable difference on tractability between CSP and Matrix Partitions as it is well-known that CSP is tractable on the class of trees.
△ Less
Submitted 4 June, 2024; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Study of plasma heating in ohmically and auxiliary heated regimes in spherical tokamak Globus-M
Authors:
Nikolay Sakharov,
Bayr Ayushin,
Alexander Barsukov,
Fedor Chernyshev,
Vasily Gusev,
Vladimir Leonov,
Roman Levin,
Vladimir Minaev,
Anatoly Mineev,
Igor Mironov,
Michael Patrov,
Yury Petrov,
Gennady Tilinin,
Sergey Tolstyakov
Abstract:
The ion temperature behavior in the plasma core of the spherical tokamak Globus-M (major radius 0.36 m, minor radius 0.24 m, torus aspect ratio 1.5, toroidal magnetic field near the plasma axis 0.4 T, plasma current up to 0.3 MA) was studied by means of 12-channels neutral particle analyzer (NPA) ACORD-12. The experiments were performed in ohmic regimes as well as in regimes with the ion cyclotr…
▽ More
The ion temperature behavior in the plasma core of the spherical tokamak Globus-M (major radius 0.36 m, minor radius 0.24 m, torus aspect ratio 1.5, toroidal magnetic field near the plasma axis 0.4 T, plasma current up to 0.3 MA) was studied by means of 12-channels neutral particle analyzer (NPA) ACORD-12. The experiments were performed in ohmic regimes as well as in regimes with the ion cyclotron resonance heating (ICRH) in the vicinity of fundamental harmonic for hydrogen minority in deuterium bulk plasma and the neutral beam injection (NBI). The total auxiliary power exceeded the magnitude of 0.8-1 MW. The NPA provided the simultaneous measurements of deuterium and hydrogen energy spectra and the percentage of both isotopes. The ion temperature was studied in a wide range of the plasma current 0.08-0.3 MA and the plasma average density (1-7)x1019 m-3 at various values of the plasma vertical elongation and the triangularity. The experimental data were compared with the results of numerical simulation. We employed a simple 1D model describing the ion energy balance by using the neoclassical transport coefficients. The charge-exchange losses were also taken into account. The experimentally measured ion temperature dependence on the plasma current and plasma density differed from the Artsimovich scaling law predictions well describing the ion heating in the case of the neoclassical plateau regime in the conventional tokamak even at a relatively low temperature in ohmic plasma. In particular strong, almost linear plasma current temperature dependence was revealed. It indicates a dominating role of trapped particles in the ion energy balance at a low aspect ratio. The estimates of energy confinement time values derived from the magnetic measurements in ohmic and auxiliary heating regimes are also presented.
△ Less
Submitted 20 October, 2004;
originally announced October 2004.