Results for "Fedor V. Fomin"

total 85338took 0.15s
A Polynomial kernel for Proper Interval Vertex DeletionApr 22 2012It is known that the problem of deleting at most k vertices to obtain a proper interval graph (Proper Interval Vertex Deletion) is fixed parameter tractable. However, whether the problem admits a polynomial kernel or not was open. Here, we answers this ... More
Parameterized Algorithms for Partial Cover ProblemsFeb 12 2008Covering problems are fundamental classical problems in optimization, computer science and complexity theory. Typically an input to these problems is a family of sets over a finite universe and the goal is to cover the elements of the universe with as ... More
Preprocessing Subgraph and Minor Problems: When Does a Small Vertex Cover Help?Jun 21 2012Sep 26 2013We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial size. Our characterizations ... More
Refined Complexity of PCA with OutliersMay 10 2019Principal component analysis (PCA) is one of the most fundamental procedures in exploratory data analysis and is the basic step in applications ranging from quantitative finance and bioinformatics to image analysis and neuroscience. However, it is well-documented ... More
Exploring Subexponential Parameterized Complexity of Completion ProblemsSep 16 2013May 13 2014Let ${\cal F}$ be a family of graphs. In the ${\cal F}$-Completion problem, we are given a graph $G$ and an integer $k$ as input, and asked whether at most $k$ edges can be added to $G$ so that the resulting graph does not contain a graph from ${\cal ... More
(Meta) KernelizationApr 04 2009Sep 25 2013In a parameterized problem, every instance I comes with a positive integer k. The problem is said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the instance I to a polynomial in k, while preserving the answer. In this ... More
Reducing Topological Minor Containment to the Unique Linkage TheoremApr 05 2019In the Topological Minor Containment problem (TMC) problem two undirected graphs, $G$ and $H$ are given and the objective is to check whether $G$ contains $H$ as a topological minor. Grohe, Kawarabayashi, Marx, and Wollan~[STOC 2011] resolved the parameterized ... More
Exact Inflation in Einstein-Gauss-Bonnet GravityApr 12 2017We study cosmological inflation in the Einstein gravity model, where additionally the Gauss-Bonnet term non-minimally coupled to a scalar field is included. We prove that inflationary solutions of exponential and power-law types are allowable and we found ... More
Subexponential Parameterized Algorithm for Minimum Fill-inApr 12 2011The Minimum Fill-in problem is to decide if a graph can be triangulated by adding at most k edges. Kaplan, Shamir, and Tarjan [FOCS 1994] have shown that the problem is solvable in time O(2^(O(k)) + k2 * nm) on graphs with n vertices and m edges and thus ... More
Finding Induced Subgraphs via Minimal TriangulationsSep 29 2009Dec 22 2009Potential maximal cliques and minimal separators are combinatorial objects which were introduced and studied in the realm of minimal triangulations problems including Minimum Fill-in and Treewidth. We discover unexpected applications of these notions ... More
Treewidth computation and extremal combinatoricsMar 09 2008May 05 2008For a given graph G and integers b,f >= 0, let S be a subset of vertices of G of size b+1 such that the subgraph of G induced by S is connected and S can be separated from other vertices of G by removing f vertices. We prove that every graph on n vertices ... More
Low Temperature Limit of Stability of Coherent Precession of Spin in the Superfluid 3He-BJul 13 2009It is shown that instability of homogeneous precession is caused by combined effect of anisotropy of spin wave velocities and dipole interaction. In the principal order on the ratio of the Leggett frequency to the Larmor frequency the increments of growth ... More
Parametric instability of homogeneous precession of spin in the superfluid 3He-BJun 02 2006Stability of homogeneous precession of spin due to parametric excitation of spin waves is considered as the explanation of the "catastrophic relaxation", that is observed in the superfluid 3He-B. It is shown, that at sufficiently low temperatures homogeneous ... More
Subexponential parameterized algorithm for computing the cutwidth of a semi-complete digraphJan 30 2013Cutwidth of a digraph is a width measure introduced by Chudnovsky, Fradkin, and Seymour [4] in connection with development of a structural theory for tournaments, or more generally, for semi-complete digraphs. In this paper we provide an algorithm with ... More
Jungles, bundles, and fixed parameter tractabilityDec 07 2011Aug 02 2012We give a fixed-parameter tractable (FPT) approximation algorithm computing the path-width of a tournament, and more generally, of a semi-complete digraph. Based on this result, we prove that topological containment and rooted immersion problems are FPT ... More
Bidimensionality and Geometric GraphsJul 12 2011Nov 07 2011In this paper we use several of the key ideas from Bidimensionality to give a new generic approach to design EPTASs and subexponential time parameterized algorithms for problems on classes of graphs which are not minor closed, but instead exhibit a geometric ... More
Vertex Cover Structural Parameterization RevisitedMar 02 2016A pseudoforest is a graph whose connected components have at most one cycle. Let X be a pseudoforest modulator of graph G, i. e. a vertex subset of G such that G-X is a pseudoforest. We show that Vertex Cover admits a polynomial kernel being parameterized ... More
Long Circuits and Large Euler SubgraphsApr 21 2013An undirected graph is Eulerian if it is connected and all its vertices are of even degree. Similarly, a directed graph is Eulerian, if for each vertex its in-degree is equal to its out-degree. It is well known that Eulerian graphs can be recognized in ... More
The effect of confinement on the solid-liquid transition in a core-softened potential systemJun 13 2019We present a comparative computer simulation study of the phase diagrams and anomalous behavior of two-dimensional ($2D$) and quasi-two-dimensional ($q2D$) classical particles interacting with each other through isotropic core-softened potential which ... More
Largest chordal and interval subgraphs faster than 2^nNov 16 2013We prove that in an n-vertex graph, induced chordal and interval subgraphs with the maximum number of vertices can be found in time $O(2^{\lambda n})$ for some $\lambda<1$. These are the first algorithms breaking the trivial $2^n n^{O(1)}$ bound of the ... More
A subexponential parameterized algorithm for Proper Interval CompletionFeb 13 2014In the Proper Interval Completion problem we are given a graph G and an integer k, and the task is to turn G using at most k edge additions into a proper interval graph, i.e., a graph admitting an intersection model of equal-length intervals on a line. ... More
Rank-width and Tree-width of H-minor-free GraphsOct 01 2009We prove that for any fixed r>=2, the tree-width of graphs not containing K_r as a topological minor (resp. as a subgraph) is bounded by a linear (resp. polynomial) function of their rank-width. We also present refinements of our bounds for other graph ... More
Minimizing Rosenthal Potential in Multicast GamesSep 26 2013A multicast game is a network design game modelling how selfish non-cooperative agents build and maintain one-to-many network communication. There is a special source node and a collection of agents located at corresponding terminals. Each agent is interested ... More
On the Parameterized Complexity of Graph Modification to First-Order Logic PropertiesMay 11 2018Feb 26 2019We consider the problems of deciding whether an input graph can be modified by removing/adding at most k vertices/edges such that the result of the modification satisfies some property definable in first-order logic. We establish a number of sufficient ... More
Bidimensionality and KernelsJun 17 2016Feb 05 2019Bidimensionality Theory was introduced by [E.D. Demaine, F.V. Fomin, M.Hajiaghayi, and D.M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp.866--893] as a tool to obtain sub-exponential ... More
Bidimensionality and EPTASMay 29 2010Nov 03 2011Bidimensionality theory is a powerful framework for the development of metaalgorithmic techniques. It was introduced by Demaine et al. as a tool to obtain sub-exponential time parameterized algorithms for problems on H-minor free graphs. Demaine and Hajiaghayi ... More
On Integer Programming and the Path-width of the Constraint MatrixJul 18 2016Nov 03 2016In the classic Integer Programming (IP) problem, the objective is to decide whether, for a given $m \times n$ matrix $A$ and an $m$-vector $b=(b_1,\dots, b_m)$, there is a non-negative integer $n$-vector $x$ such that $Ax=b$. Solving (IP) is an important ... More
Representative Sets of Product FamiliesFeb 17 2014A subfamily ${\cal F}'$ of a set family ${\cal F}$ is said to $q$-{\em represent} ${\cal F}$ if for every $A \in {\cal F}$ and $B$ of size $q$ such that $A \cap B = \emptyset$ there exists a set $A' \in {\cal F}'$ such that $A' \cap B = \emptyset$. In ... More
Computing Tree-depth Faster Than $2^{n}$Jun 17 2013A connected graph has tree-depth at most $k$ if it is a subgraph of the closure of a rooted tree whose height is at most $k$. We give an algorithm which for a given $n$-vertex graph $G$, in time $\mathcal{O}(1.9602^n)$ computes the tree-depth of $G$. ... More
A subexponential parameterized algorithm for Interval CompletionFeb 13 2014Nov 10 2014In the Interval Completion problem we are given a graph G and an integer k, and the task is to turn G using at most k edge additions into an interval graph, i.e., a graph admitting an intersection model of intervals on a line. Motivated by applications ... More
On the parameterized complexity of cutting a few vertices from a graphApr 23 2013Oct 01 2013We study the parameterized complexity of separating a small set of vertices from a graph by a small vertex-separator. That is, given a graph $G$ and integers $k$, $t$, the task is to find a vertex set $X$ with $|X| \le k$ and $|N(X)| \le t$. We show that ... More
Parameterized Complexity of the Anchored k-Core Problem for Directed GraphsApr 22 2013Sep 17 2013Bhawalkar, Kleinberg, Lewi, Roughgarden, and Sharma [ICALP 2012] introduced the Anchored k-Core problem, where the task is for a given graph G and integers b, k, and p to find an induced subgraph H with at least p vertices (the core) such that all but ... More
Fine-grained complexity of integer programming: The case of bounded branch-width and rankJul 18 2016We use the Exponential Time and Strong Exponential Time hypotheses (ETH & SETH) to provide conditional lower bounds on the solvability of the integer programming (IP) problem. We provide evidence that the running times of known pseudo-polynomial time ... More
Exact Algorithms via Monotone Local SearchDec 05 2015We give a new general approach for designing exact exponential-time algorithms for subset problems. In a subset problem the input implicitly describes a family of sets over a universe of size n and the task is to determine whether the family contains ... More
Kernels for (connected) Dominating Set on graphs with Excluded Topological subgraphsSep 30 2012Nov 14 2014We give the first linear kernels for Dominating Set and Connected Dominating Set problems on graphs excluding a fixed graph H as a topological minor. In other words, we give polynomial time algorithms that, for a given H-topological-minor-free graph G ... More
On the tractability of optimization problems on H-graphsSep 27 2017Apr 25 2018For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class was introduced ... More
Approximating acyclicity parameters of sparse hypergraphsSep 22 2008The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello in order to extend the concept of hypergraph acyclicity. These notions were further generalized by Grohe and Marx, who introduced the fractional ... More
Bidimensionality and KernelsJun 17 2016Bidimensionality theory was introduced by Demaine et al. in 2005 as a tool to obtain subexponential time parameterized algorithms on H-minor-free graphs. Demaine and Hajiaghayi extended the theory to obtain polynomial time approximation schemes (PTASs) ... More
Algorithms parameterized by vertex cover and modular width, through potential maximal cliquesApr 15 2014In this paper we give upper bounds on the number of minimal separators and potential maximal cliques of graphs w.r.t. two graph parameters, namely vertex cover ($\operatorname{vc}$) and modular width ($\operatorname{mw}$). We prove that for any graph, ... More
Covering vectors by spaces: Regular matroidsOct 06 2017Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in the design of parameterized algorithms on regular matroids. ... More
Structured Connectivity AugmentationJun 13 2017We initiate the algorithmic study of the following "structured augmentation" question: is it possible to increase the connectivity of a given graph G by superposing it with another given graph H? More precisely, graph F is the superposition of G and H ... More
Spanning Circuits in Regular MatroidsJul 19 2016We consider the fundamental Matroid Theory problem of finding a circuit in a matroid spanning a set T of given terminal elements. For graphic matroids this corresponds to the problem of finding a simple cycle passing through a set of given terminal edges ... More
Finding Detours is Fixed-parameter TractableJul 26 2016May 03 2017We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k longer than ... More
Knot Diagrams of Treewidth TwoApr 05 2019Apr 08 2019In this paper, we study knot diagrams for which the underlying graph has treewidth two. We give a linear time algorithm for the following problem: given a knot diagram of treewidth two, does it represent the unknot? We also show that for a link diagram ... More
Upper Bounds For Hitting Times Of Random Walks On Sparse GraphsFeb 13 2017We obtain upper bounds (in most cases, sharp) for the hitting times of random walks on finite undirected graphs expressed as functions of the graph's number of edges. In particular, we show that the maximum hitting time for a simple random walk on a connected ... More
Bounds for the order for p-elementary subgroups in the plane Cremona group over a perfect fieldJun 15 2010We obtain a sharp bound for p-elementary subgroups in the plane Cremona group over an arbitrary perfect field.
A Linear Vertex Kernel for Maximum Internal Spanning TreeJul 20 2009Mar 03 2012We present a polynomial time algorithm that for any graph G and integer k >= 0, either finds a spanning tree with at least k internal vertices, or outputs a new graph G' on at most 3k vertices and an integer k' such that G has a spanning tree with at ... More
Finding Detours is Fixed-parameter TractableJul 26 2016We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k longer than ... More
Tight Bounds for Subgraph Isomorphism and Graph HomomorphismJul 14 2015We prove that unless Exponential Time Hypothesis (ETH) fails, deciding if there is a homomorphism from graph $G$ to graph $H$ cannot be done in time $|V(H)|^{o(|V(G)|)}$. Combined with the reduction of Cygan, Pachocki, and Soca{\l}a, our result rules ... More
Lower Bounds for the Graph Homomorphism ProblemFeb 19 2015The graph homomorphism problem (HOM) asks whether the vertices of a given $n$-vertex graph $G$ can be mapped to the vertices of a given $h$-vertex graph $H$ such that each edge of $G$ is mapped to an edge of $H$. The problem generalizes the graph coloring ... More
On the Parameterized Complexity of Graph Modification to First-Order Logic PropertiesMay 11 2018Oct 30 2018We consider the problems of deciding whether an input graph can be modified by removing/adding at most k vertices/edges such that the result of the modification satisfies some property definable in first-order logic. We establish a number of sufficient ... More
Parameterized Complexity of Firefighting RevisitedSep 22 2011The Firefighter problem is to place firefighters on the vertices of a graph to prevent a fire with known starting point from lighting up the entire graph. In each time step, a firefighter may be permanently placed on an unburned vertex and the fire spreads ... More
Knot Diagrams of Treewidth TwoApr 05 2019In this paper, we study knot diagrams for which the underlying graph has treewidth two. We give a linear time algorithm for the following problem: given a knot diagram of treewidth two, does it represent the unknot? We also show that for a link diagram ... More
Low-rank binary matrix approximation in column-sum normApr 12 2019We consider $\ell_1$-Rank-$r$ Approximation over GF(2), where for a binary $m\times n$ matrix ${\bf A}$ and a positive integer $r$, one seeks a binary matrix ${\bf B}$ of rank at most $r$, minimizing the column-sum norm $||{\bf A} -{\bf B}||_1$. We show ... More
Parameterized k-Clustering: The distance matters!Feb 22 2019We consider the $k$-Clustering problem, which is for a given multiset of $n$ vectors $X\subset \mathbb{Z}^d$ and a nonnegative number $D$, to decide whether $X$ can be partitioned into $k$ clusters $C_1, \dots, C_k$ such that the cost \[\sum_{i=1}^k \min_{c_i\in ... More
Parameterized Low-Rank Binary Matrix ApproximationMar 16 2018We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an integer r, the "simplicity" ... More
Preventing Unraveling in Social Networks Gets HarderApr 23 2013The behavior of users in social networks is often observed to be affected by the actions of their friends. Bhawalkar et al. \cite{bhawalkar-icalp} introduced a formal mathematical model for user engagement in social networks where each individual derives ... More
Efficient Computation of Representative Sets with Applications in Parameterized and Exact AlgorithmsApr 16 2013Feb 22 2016We give two algorithms computing representative families of linear and uniform matroids and demonstrate how to use representative families for designing single-exponential parameterized and exact exponential time algorithms. The applications of our approach ... More
Kernels for (connected) Dominating Set on graphs with Excluded Topological subgraphsSep 30 2012Oct 25 2017We give the first linear kernels for the (Connected) Dominating Set problems on H-topological minor free graphs. We prove the existence of polynomial time algorithms that, for a given H-topological-minor-free graph G and a positive integer k, output an ... More
Bipolaron Binding in Quantum WiresApr 19 2000A theory of bipolaron states in quantum wires with a parabolic potential well is developed applying the Feynman variational principle. The basic parameters of the bipolaron ground state (the binding energy, the number of phonons in the bipolaron cloud, ... More
Low temperature mixed spin state of Co3+ in LaCoO3 evidenced from Jahn-Teller lattice distortionsJan 06 2006One- and multi-phonon excitations of the single crystalline LaCoO3 were studied using Raman spectroscopy in the temperature region of 5 K - 300 K. First-order Raman spectra show a larger number of phonon modes than allowed for the rhombohedral structure. ... More
On a conjecture of A. BikchentaevJan 20 2013In \cite{bik1}, A. M. Bikchentaev conjectured that for positive $\tau-$measurable operators $a$ and $b$ affiliated with an arbitrary semifinite von Neumann algebra $\mathcal M$, the operator $b^{1/2}ab^{1/2}$ is submajorized by the operator $ab$ in the ... More
How to Hunt an Invisible Rabbit on a GraphFeb 19 2015Feb 20 2015We investigate Hunters & Rabbit game, where a set of hunters tries to catch an invisible rabbit that slides along the edges of a graph. We show that the minimum number of hunters required to win on an (n\times m)-grid is \lfloor min{n,m}/2\rfloor+1. We ... More
Faster Algorithms for Finding and Counting SubgraphsDec 11 2009In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$ vertices respectively ... More
Phase diagram of the system with the repulsive shoulder potential in two dimensions: density functional approachDec 01 2014In the framework of the density functional theory of freezing proposed in our previous works, we calculate the phase diagram of two-dimensional system of particles interacting through the repulsive shoulder potential. This potential consists of the hard ... More
Plato's cave and differential formsDec 31 2017Apr 21 2019In the 1970s and again in the 1990s, Gromov gave a number of theorems and conjectures motivated by the notion that the real homotopy theory of compact manifolds and simplicial complexes influences the geometry of maps between them. The main technical ... More
Kernels for Feedback Arc Set In TournamentsJul 13 2009Oct 29 2009A tournament T=(V,A) is a directed graph in which there is exactly one arc between every pair of distinct vertices. Given a digraph on n vertices and an integer parameter k, the Feedback Arc Set problem asks whether the given digraph has a set of k arcs ... More
Covering Vectors by Spaces in Perturbed Graphic Matroids and Their DualsFeb 19 2019Perturbed graphic matroids are binary matroids that can be obtained from a graphic matroid by adding a noise of small rank. More precisely, r-rank perturbed graphic matroid M is a binary matroid that can be represented in the form I +P, where I is the ... More
Going Far From DegeneracyFeb 07 2019Feb 14 2019An undirected graph G is d-degenerate if every subgraph of G has a vertex of degree at most d. By the classical theorem of Erd\H{o}s and Gallai from 1959, every graph of degeneracy d>1 contains a cycle of length at least d+1. The proof of Erd\H{o}s and ... More
Kernel(s) for Problems With no Kernel: On Out-Trees With Many LeavesOct 27 2008Nov 06 2008The {\sc $k$-Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) with at least $k$ leaves in a given digraph. The problem has recently received much attention from the viewpoint of parameterized algorithms {alonLNCS4596,AlonFGKS07fsttcs,BoDo2,KnLaRo}. ... More
Fully polynomial-time parameterized computations for graphs and matrices of low treewidthNov 04 2015We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero entries. In ... More
Approximation Schemes for Low-Rank Binary Matrix Approximation ProblemsJul 18 2018We provide a randomized linear time approximation scheme for a generic problem about clustering of binary vectors subject to additional constrains. The new constrained clustering problem encompasses a number of problems and by solving it, we obtain the ... More
Partial complementation of graphsApr 29 2018A partial complement of the graph $G$ is a graph obtained from $G$ by complementing all the edges in one of its induced subgraphs. We study the following algorithmic question: for a given graph $G$ and graph class $\mathcal{G}$, is there a partial complement ... More
Metric Dimension of Bounded Tree-length GraphsFeb 08 2016The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and y there is ... More
Parameterized Complexity of Superstring ProblemsFeb 05 2015In the Shortest Superstring problem we are given a set of strings $S=\{s_1, \ldots, s_n\}$ and integer $\ell$ and the question is to decide whether there is a superstring $s$ of length at most $\ell$ containing all strings of $S$ as substrings. We obtain ... More
Parameterized Complexity of Secluded Connectivity ProblemsFeb 13 2015Apr 21 2015The Secluded Path problem models a situation where a sensitive information has to be transmitted between a pair of nodes along a path in a network. The measure of the quality of a selected path is its exposure, which is the total weight of vertices in ... More
Algorithm for Finding $k$-Vertex Out-trees and its Application to $k$-Internal Out-branching ProblemMar 05 2009An out-tree $T$ is an oriented tree with only one vertex of in-degree zero. A vertex $x$ of $T$ is internal if its out-degree is positive. We design randomized and deterministic algorithms for deciding whether an input digraph contains a given out-tree ... More
A weak set theory that proves its own consistencyJul 01 2019In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a natural arithmetization ... More
Going Far From DegeneracyFeb 07 2019An undirected graph G is d-degenerate if every subgraph of G has a vertex of degree at most d. By the classical theorem of Erd\H{o}s and Gallai from 1959, every graph of degeneracy d>1 contains a cycle of length at least d+1. The proof of Erd\H{o}s and ... More
Tight Lower Bounds on Graph Embedding ProblemsFeb 16 2016We prove that unless the Exponential Time Hypothesis (ETH) fails, deciding if there is a homomorphism from graph $G$ to graph $H$ cannot be done in time $|V(H)|^{o(|V(G)|)}$. We also show an exponential-time reduction from Graph Homomorphism to Subgraph ... More
Webs on surfaces, rings of invariants, and clustersAug 08 2013We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of three-dimensional vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked surfaces with ... More
Hitting forbidden minors: Approximation and KernelizationOct 07 2010We study a general class of problems called F-deletion problems. In an F-deletion problem, we are asked whether a subset of at most $k$ vertices can be deleted from a graph $G$ such that the resulting graph does not contain as a minor any graph from the ... More
Better Algorithms and Bounds for Directed Maximum Leaf ProblemsJul 07 2007The {\sc Directed Maximum Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this paper, we improve known parameterized algorithms and combinatorial bounds ... More
Subexponential fixed-parameter tractability of cluster editingDec 19 2011Jan 30 2013In the Correlation Clustering, also known as Cluster Editing, we are given an undirected n-vertex graph G and a positive integer k. The task is to decide if G can be transformed into a cluster graph, i.e., a disjoint union of cliques, by changing at most ... More
Decomposition of Map Graphs with ApplicationsMar 04 2019Bidimensionality is the most common technique to design subexponential-time parameterized algorithms on special classes of graphs, particularly planar graphs. The core engine behind it is a combinatorial lemma of Robertson, Seymour and Thomas that states ... More
Linear theory of random textures of 3He-A in aerogelMay 25 2016Aug 07 2016Spacial variation of the orbital part of the order parameter of $^3$He-A in aerogel is represented as a random walk of the unit vector $\mathbf{l}$ in a field of random anisotropy produced by the strands of aerogel. For a range of distances, where variation ... More
Long-range order in the A-like phase of superfluid 3He in aerogelJul 28 2007Sep 30 2007A mutual action of the random anisotropy brought in the superfluid 3He by aerogel and of the global anisotropy caused by its deformation is considered. Strong global anisotropy tends to suppress fluctuations of orientation of the order parameter and stabilizes ... More
A O(c^k n) 5-Approximation Algorithm for TreewidthApr 23 2013We give an algorithm that for an input n-vertex graph G and integer k>0, in time 2^[O(k)]n either outputs that the treewidth of G is larger than k, or gives a tree decomposition of G of width at most 5k+4. This is the first algorithm providing a constant ... More
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed GraphsJan 06 2010We develop two different methods to achieve subexponential time parameterized algorithms for problems on sparse directed graphs. We exemplify our approaches with two well studied problems. For the first problem, {\sc $k$-Leaf Out-Branching}, which is ... More
Subexponential parameterized algorithms for planar and apex-minor-free graphs via low treewidth pattern coveringApr 20 2016We prove the following theorem. Given a planar graph $G$ and an integer $k$, it is possible in polynomial time to randomly sample a subset $A$ of vertices of $G$ with the following properties: (i) $A$ induces a subgraph of $G$ of treewidth $\mathcal{O}(\sqrt{k}\log ... More
Labeled floor diagrams for plane curvesJun 20 2009Jan 18 2010Floor diagrams are a class of weighted oriented graphs introduced by E. Brugalle and the second author. Tropical geometry arguments lead to combinatorial descriptions of (ordinary and relative) Gromov-Witten invariants of projective spaces in terms of ... More
Spin-alignment noise in atomic vaporJun 07 2019In the conventional spin noise spectroscopy, the probe laser light monitors fluctuations of the spin orientation of a paramagnet revealed as fluctuations of its gyrotropy, i.e., circular birefringence. For spins larger than 1/2, there exists spin arrangement ... More
Quantum transport in the cylindrical nanosize silicon-based MOSFETApr 02 2000A model is developed for a detailed investigation of the current flowing through a cylindrical nanosize MOSFET with a close gate electrode. The quantum mechanical features of the lateral charge transport are described by Wigner distribution function which ... More
Large induced subgraphs via triangulations and CMSOSep 06 2013We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following: there is a ... More
k-Gap Interval GraphsDec 14 2011Dec 16 2011We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an interval associated ... More
Magnetization Properties and Vortex Phase Diagram in CuxTiSe2 Single CrystalsOct 06 2013We have investigated the magnetization properties and flux dynamics of superconducting Cu$_x$TiSe$_2$ single crystals within wide range of copper concentrations. We find that the superconducting anisotropy is low and independent on copper concentration ... More
On a question of Krajewski'sDec 05 2017In this paper we provide a (negative) solution to a problem posed by Stanis{\l}aw Krajewski. Consider a recursively enumerable theory U and a finite expansion of the signature of U that contains at least one predicate symbol of arity $\ge$ 2. We show ... More
A surface containing a line and a circle through each point is a quadricOct 11 2011Aug 15 2012We prove that a surface in real 3-space containing a line and a circle through each point is a quadric. We also give some particular results on the classification of surfaces containing several circles through each point.
The Connes character formula for locally compact spectral triplesMar 05 2018May 04 2018A fundamental tool in noncommutative geometry is Connes' character formula. This formula is used in an essential way in the applications of noncommutative geometry to index theory and to the spectral characterisation of manifolds. A non-compact space ... More