Showing 20 papers (Total: 83449 papers, 48190 authors in database)
A short proof for the polyhedrality of the Chvátal-Gomory closure of a compact convex set
Published
• View Publication
• BIB
Recently Schrijver's open problem, whether the Chvátal--Gomory closure of an irrational polytope is polyhedral was answered independently in the affirmative by Dadush, Dey, and Vielma (even for arbitrarily compact convex set) as well as by Dunkel and Schulz. We present a very short, easily accesible proof that the Chvátal--Gomory closure of a compact convex set is a polytope.
Clustering function: a measure of social influence
A commonly used characteristic of statistical dependence of adjacency relations in real networks, the clustering coefficient, evaluates chances that two neighbours of a given vertex are adjacent. An extension is obtained by considering conditional probabilities that two randomly chosen vertices are adjacent given that they have r common neighbours. We denote such probabilities cl(r) and call r-> cl(r) the clustering function.
We compare clustering functions of several networks having non-negligible clustering coefficient. They show similar patterns and surprising regularity. We establish a first order asymptotic (as the number of vertices tends to infinity) of the clustering function of related random intersection graph models admitting nonvanishing clustering coefficient and asymptotic degree distribution having a finite second moment.
Exactly Solvable Balanced Tenable Urns with Random Entries via the Analytic Methodology
Published
• View Publication
• BIB
This paper develops an analytic theory for the study of some Polya urns with random rules. The idea is to extend the isomorphism theorem in Flajolet et al. (2006), which connects deterministic balanced urns to a differential system for the generating function. The methodology is based upon adaptation of operators and use of a weighted probability generating function. Systems of differential equations are developed, and when they can be solved, they lead to characterization of the exact distributions underlying the urn evolution. We give a few illustrative examples.
Random Walks and Mixed Volumes of Hypersimplices
Below is a method for relating a mixed volume computation for polytopes sharing many facet directions to a symmetric random walk. The example of permutahedra and particularly hypersimplices is expanded upon.
Fundamental Groups of Random Clique Complexes
Clique complexes of Erdős-Rényi random graphs with edge probability between $n^{-{1\over 3}}$ and $n^{-{1\over 2}}$ are shown to be aas not simply connected. This entails showing that a connected two dimensional simplicial complex for which every subcomplex has fewer than three times as many edges as vertices must have the homotopy type of a wedge of circles, two spheres and real projective planes. Note that $n^{-{1\over 3}}$ is a threshold for simple connectivity and $n^{-{1\over 2}}$ is one for vanishing first $\F_2$ homology.
Exponential approximation and Stein's method of exchangeable pairs
We derive a new result for exponential approximation using Stein's method of exchangeable pairs. As an application, an exponential limit theorem with error term is derived for |Tr(U)|^2, where Tr(U) denotes the trace of a matrix chosen from the Haar measure of the unitary group U(n,C).
Locating and Identifying Codes in Circulant Networks
Published
• View Publication
• BIB
A set S of vertices of a graph G is a dominating set of G if every vertex u of G is either in S or it has a neighbour in S. In other words, S is dominating if the sets S\cap N[u] where u \in V(G) and N[u] denotes the closed neighbourhood of u in G, are all nonempty. A set S \subseteq V(G) is called a locating code in G, if the sets S \cap N[u] where u \in V(G) \setminus S are all nonempty and distinct. A set S \subseteq V(G) is called an identifying code in G, if the sets S\cap N[u] where u\in V(G) are all nonempty and distinct. We study locating and identifying codes in the circulant networks C_n(1,3). For an integer n>6, the graph C_n(1,3) has vertex set Z_n and edges xy where x,y \in Z_n and |x-y| \in {1,3}. We prove that a smallest locating code in C_n(1,3) has size \lceil n/3 \rceil + c, where c \in {0,1}, and a smallest identifying code in C_n(1,3) has size \lceil 4n/11 \rceil + c', where c' \in {0,1}.
A 9k kernel for nonseparating independent set in planar graphs
Published
• View Publication
• BIB
We study kernelization (a kind of efficient preprocessing) for NP-hard problems on planar graphs. Our main result is a kernel of size at most 9k vertices for the Planar Maximum Nonseparating Independent Set problem. A direct consequence of this result is that Planar Connected Vertex Cover has no kernel with at most (9/8 - epsilon)k vertices, for any epsilon > 0, assuming P \ne NP. We also show a very simple 5k-vertices kernel for Planar Max Leaf, which results in a lower bound of (5/4 - epsilon)k vertices for the kernel of Planar Connected Dominating Set (also under P \ne NP).
As a by-product we show a few extremal graph theory results which might be of independent interest. We prove that graphs that contain no separator consisting of only degree two vertices contain (a) a spanning tree with at least n/4 leaves and (b) a nonseparating independent set of size at least n/9 (also, equivalently, a connected vertex cover of size at most 8/9n). The result (a) is a generalization of a theorem of Kleitman and West [SIDMA 1991] who showed the same bound for graphs of minimum degree three. Finally we show that every n-vertex outerplanar graph contains an independent set I and a collection of vertex-disjoint cycles C such that 9|I| >= 4n-3|C|.
Nonblocker in H-minor free graphs: kernelization meets discharging
Published
• View Publication
• BIB
Perhaps the best known kernelization result is the kernel of size 335k for the Planar Dominating Set problem by Alber et al. [JACM 2004], later improved to 67k by Chen et al. [SICOMP 2007]. This result means roughly, that the problem of finding the smallest dominating set in a planar graph is easy when the optimal solution is small. On the other hand, it is known that Planar Dominating Set parameterized by k'=|V|-k (also known as Planar Nonblocker) has a kernel of size 2k'. This means that Planar Dominating Set is easy when the optimal solution is very large. We improve the kernel for Planar Nonblocker to 7/4k'. This also implies that Planar Dominating Set has no kernel of size at most (7/3-epsilon)k, for any epsilon>0, unless P=NP. This improves the previous lower bound of (2-epsilon)k of Chen et al. Both of these results immediately generalize to H-minor free graphs (without changing the constants). In our proof of the bound on the kernel size we use a variant of the discharging method (used e.g. in the proof of the four color theorem). We give some arguments that this method is natural in the context of kernelization and we hope it will be applied to get improved kernel size bounds for other problems as well. As a by-product we show a result which might be of independent interest: every n-vertex graph with no isolated vertices and such that every pair of degree 1 vertices is at distance at least 5 and every pair of degree 2 vertices is at distance at least 2 has a dominating set of size at most 3/7n.
On matrices with different tropical and Kapranov ranks
Published in English translation of the note: Matematicheskie zametki, 92(2) (2012), 316-320
• View Publication
• BIB
In this note, we generalize the technique developed in [13] and prove that every 5xn matrix of tropical rank at most 3 has Kapranov rank at most 3, for the ground field that contains at least 4 elements. For the ground field either F_2 or F_3, we construct an example of a 5x5 matrix with tropical rank 3 and Kapranov rank 4.
Bergman Complexes of Lattice Path Matroids
Published
• View Publication
• BIB
We give an explicit description of the poset of cells of Bergman complexes of Lattice Path Matroids and establish a criterion for its simpliciality, in terms of the shape of the bounding paths.
Nonlinear spectral calculus and super-expanders
Published in Publications mathématiques de l'IHÉS 119(1), 1-95, 2014
• View Publication
• BIB
Nonlinear spectral gaps with respect to uniformly convex normed spaces are shown to satisfy a spectral calculus inequality that establishes their decay along Cesaro averages. Nonlinear spectral gaps of graphs are also shown to behave sub-multiplicatively under zigzag products. These results yield a combinatorial construction of super-expanders, i.e., a sequence of 3-regular graphs that does not admit a coarse embedding into any uniformly convex normed space.
Counting monochromatic copies of K_4: a new lower bound for the Ramsey multiplicity problem
Denote by k_4(n) the minimal number of monochromatic copies of a K_4 in a 2-colouring of the edges of K_n and let c_4 := lim k_4(n)/\binom{n}{4}. The best known bounds so far were given by Thomason, who proved that c_4 < 1/33 \approx 0.0303, and Giraud, who showed that c_4 > 1/46 \approx 0.0217. In this paper we prove the new lower bound c_4 > 204603019 / 7112448000 > 0.0287.
The isomorphism problem for linear representations and their graphs
Published
• View Publication
• BIB
In this paper, we study the isomorphism problem for linear representations. A linear representation Tn*(K) of a point set K is a point-line geometry, embedded in a projective space PG(n+1,q), where K is contained in a hyperplane. We put constraints on K which ensure that every automorphism of Tn*(K) is induced by a collineation of the ambient projective space. This allows us to show that, under certain conditions, two linear representations Tn*(K) and Tn*(K') are isomorphic if and only if the point sets K and K' are PGammaL-equivalent. We also deal with the slightly more general problem of isomorphic incidence graphs of linear representations. In the last part of this paper, we give an explicit description of the group of automorphisms of Tn*(K) that are induced by collineations of PG(n+1,q).
Symmetries of Quasi-Values
Published
• View Publication
• BIB
According to Shapley's game-theoretical result, there exists a unique game value of finite cooperative games that satisfies axioms on additivity, efficiency, null-player property and symmetry. The original setting requires symmetry with respect to arbitrary permutations of players. We analyze the consequences of weakening the symmetry axioms and study quasi-values that are symmetric with respect to permutations from a group $G\leq S_n$. We classify all the permutation groups $G$ that are large enough to assure a unique $G$-symmetric quasi-value, as well as the structure and dimension of the space of all such quasi-values for a general permutation group $G$.
We show how to construct $G$-symmetric quasi-values algorithmically by averaging certain basic quasi-values (marginal operators).
Bounds and Computation of Irregularity of a Graph
Albertson has defined the irregularity of a simple undirected graph $G=(V,E)$ as $ \irr(G) = \sum_{uv\in E}|d_G(u)-d_G(v)|,$ where $d_G(u)$ denotes the degree of a vertex $u \in V$. Recently, this graph invariant gained interest in the chemical graph theory, where it occured in some bounds on the first and the second Zagreb index, and was named the third Zagreb index Fath-Tabar. For general graphs with $n$ vertices, Albertson has obtained an asymptotically tight upper bound on the irregularity of $4 n^3 /27.$ Here, by exploiting a different approach than in Albertson, we show that for general graphs with $n$ vertices the upper bound $\lfloor \frac{n}{3} \rfloor \lceil \frac{2 n}{3} \rceil (\lceil \frac{2 n}{3} \rceil -1)$ is sharp. Next, we determine $k$-cyclic graphs with maximal irregularity. We also present some bounds on the maximal/minimal irregularity of graphs with fixed minimal and/or maximal vertex degrees, and consider an approximate computation of the irregularity of a graph.
Automorphism Groups of Graphical Models and Lifted Variational Inference
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group provides a precise mathematical framework for lifted inference in the general exponential family. Its group action partitions the set of random variables and feature functions into equivalent classes (called orbits) having identical marginals and expectations. Then the inference problem is effectively reduced to that of computing marginals or expectations for each class, thus avoiding the need to deal with each individual variable or feature. We demonstrate the usefulness of this general framework in lifting two classes of variational approximation for MAP inference: local LP relaxation and local LP relaxation with cycle constraints; the latter yields the first lifted inference that operate on a bound tighter than local constraints. Initial experimental results demonstrate that lifted MAP inference with cycle constraints achieved the state of the art performance, obtaining much better objective function values than local approximation while remaining relatively efficient.
Multiscale Network Generation
Networks are widely used in science and technology to represent relationships between entities, such as social or ecological links between organisms, enzymatic interactions in metabolic systems, or computer infrastructure. Statistical analyses of networks can provide critical insights into the structure, function, dynamics, and evolution of those systems. However, the structures of real-world networks are often not known completely, and they may exhibit considerable variation so that no single network is sufficiently representative of a system. In such situations, researchers may turn to proxy data from related systems, sophisticated methods for network inference, or synthetic networks. Here, we introduce a flexible method for synthesizing realistic ensembles of networks starting from a known network, through a series of mappings that coarsen and later refine the network structure by randomized editing. The method, MUSKETEER, preserves structural properties with minimal bias, including unknown or unspecified features, while introducing realistic variability at multiple scales. Using examples from several domains, we show that MUSKETEER produces the intended stochasticity while achieving greater fidelity across a suite of network properties than do other commonly used network generation algorithms.
Galois groups of Schubert problems of lines are at least alternating
Published
• View Publication
• BIB
We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formula to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality.
Connected-homomorphism-homogeneous graphs
Published
• View Publication
• BIB
A relational structure is (connected-)homogeneous if every isomorphism between finite (connected) substructures extends to an automorphism of the structure. We investigate notions which generalise (connected-)homogeneity, where "isomorphism" may be replaced by "homomorphism" or "monomorphism" in the definition. Specifically, we study the classes of finite connected-homomorphism-homogeneous graphs, with the aim of producing classifications. The main result is a classification of the finite C-HH graphs, where a graph G is C-HH if every homomorphism from a finite connected induced subgraph of G into G extends to an endomorphism of G. The finite C-II (connected-homogeneous) graphs were classified by Gardiner in 1976, and from this we obtain classifications of the finite C-HI and C-MI finite graphs. Although not all the classes of finite connected-homomorphism-homogeneous graphs are completely characterised, we may still obtain the final hierarchy picture for these classes.