Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On polytopal upper bound spheres
Published
• View Publication
• BIB
Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vector (among all polytopal spheres with given $f_0,..., f_{k - 1}$) while the upper bound spheres maximize the face vector (among spheres with a given $f_0$).
It has been conjectured that for $d\neq 2k + 1$, all $(k + 1)$-neighborly members of the class ${\cal K}_k(d)$ are tight. The result of this paper shows that, for every $k$, the case $d = 2k +1$ is a true exception to this conjecture.
Conway's subprime Fibonacci sequences
Published in Math. Mag., Vol. 87, No. 5 (Dec. 2014), pp. 323-337
• View Publication
• BIB
It's the age-old recurrence with a twist: sum the last two terms and if the result is composite, divide by its smallest prime divisor to get the next term (e.g., 0, 1, 1, 2, 3, 5, 4, 3, 7, ...). These sequences exhibit pseudo-random behaviour and generally terminate in a handful of cycles, properties reminiscent of 3x+1 and related sequences. We examine the elementary properties of these 'subprime' Fibonacci sequences.
Algebraic on Magic Square of Odd Order n
This paper aims to address the relation between a magic square of odd order $n$ and a group, and their properties. By the modulo number $n$, we construct entries for each table from initial table of magic square with large number $n^2$. Generalization of the underlying idea is presented, we obtain unique group, and we also prove variants of the main results for magic cubes.
Small oriented cycle double cover of graphs
Published
• View Publication
• BIB
A small oriented cycle double cover (SOCDC)} of a bridgeless graph $G$ on $n$ vertices is a collection of at most $n-1$ directed cycles of the symmetric orientation, $G_s$, of $G$ such that each edge of $G_s$ lies in exactly one of the cycles. It is conjectured that every 2-connected graph except two complete graphs $K_4$ and $K_6$ has an $\rm SOCDC$. In this paper, we study graphs with $\rm SOCDC$ and obtain some properties of the minimal counterexample to this conjecture.
Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences
We investigate questions related to the presence of primitive words and Lyndon words in automatic and linearly recurrent sequences. We show that the Lyndon factorization of a k-automatic sequence is itself k-automatic. We also show that the function counting the number of primitive factors (resp., Lyndon factors) of length n in a k-automatic sequence is k-regular. Finally, we show that the number of Lyndon factors of a linearly recurrent sequence is bounded.
Disconnected Forbidden Subgraphs, Toughness and Hamilton Cycles
Published
• View Publication
• BIB
In 1974, Goodman and Hedetniemi proved that every 2-connected $(K_{1,3},K_{1,3}+e)$-free graph is hamiltonian. This result gave rise many other hamiltonicity conditions for various pairs and triples of forbidden connected subgraphs under additional connectivity conditions. In 1997, it was proved that a single forbidden connected subgraph $R$ in 2-connected graphs can create only a trivial class of hamiltonian graphs (complete graphs) with $R=P_3$. In this paper we prove that a single forbidden subgraph $R$ can create a non trivial class of hamiltonian graphs if $R$ is disconnected: $(\ast1)$ every $(K_1\cup P_2)$-free graph either is hamiltonian or belongs to a well defined class of non hamiltonian graphs; $(\ast2)$ every 1-tough $(K_1\cup P_3)$-free graph is hamiltonian. We conjecure that every 1-tough $(K_1\cup P_4)$-free graph is hamiltonian and every 1-tough $P_4$-free graph is hamiltonian
Matroid Secretary for Regular and Decomposable Matroids
Published
• View Publication
• BIB
In the matroid secretary problem we are given a stream of elements and asked to choose a set of elements that maximizes the total value of the set, subject to being an independent set of a matroid given in advance. The difficulty comes from the assumption that decisions are irrevocable: if we choose to accept an element when it is presented by the stream then we can never get rid of it, and if we choose not to accept it then we cannot later add it. Babaioff, Immorlica, and Kleinberg [SODA 2007] introduced this problem, gave O(1)-competitive algorithms for certain classes of matroids, and conjectured that every matroid admits an O(1)-competitive algorithm. However, most matroids that are known to admit an O(1)-competitive algorithm can be easily represented using graphs (e.g. graphic and transversal matroids). In particular, there is very little known about F-representable matroids (the class of matroids that can be represented as elements of a vector space over a field F), which are one of the foundational matroid classes. Moreover, most of the known techniques are as dependent on graph theory as they are on matroid theory. We go beyond graphs by giving an O(1)-competitive algorithm for regular matroids (the class of matroids that are representable over every field), and use techniques that are matroid-theoretic rather than graph-theoretic. We use the regular matroid decomposition theorem of Seymour to decompose any regular matroid into matroids which are either graphic, cographic, or isomorphic to R_{10}, and then show how to combine algorithms for these basic classes into an algorithm for regular matroids. This allows us to generalize beyond regular matroids to any class of matroids that admits such a decomposition into classes for which we already have good algorithms. In particular, we give an O(1)-competitive algorithm for the class of max-flow min-cut matroids.
Nonrepetitive choice number of trees
Published
• View Publication
• BIB
A nonrepetitive coloring of a path is a coloring of its vertices such that the sequence of colors along the path does not contain two identical, consecutive blocks. The remarkable construction of Thue asserts that 3 colors are enough to color nonrepetitively paths of any length. A nonrepetitive coloring of a graph is a coloring of its vertices such that all simple paths are nonrepetitively colored. Assume that each vertex $v$ of a graph $G$ has assigned a set (list) of colors $L_v$. A coloring is chosen from $\{L_v\}_{v\in V(G)}$ if the color of each $v$ belongs to $L_v$. The Thue choice number of $G$, denoted by $π_l(G)$, is the minimum $k$ such that for any list assignment $\set{L_v}$ of $G$ with each $|L_v|\geq k$ there is a nonrepetitive coloring of $G$ chosen from $\{L_v\}$. Alon et al. (2002) proved that $π_l(G)=O(Δ^2)$ for every graph $G$ with maximum degree at most $Δ$. We propose an almost linear bound in $Δ$ for trees, namely for any $\epsi>0$ there is a constant $c$ such that $π_l(T)\leq cΔ^{1+\epsi}$ for every tree $T$ with maximum degree $Δ$. The only lower bound for trees is given by a recent result of Fiorenzi et al. (2011) that for any $Δ$ there is a tree $T$ such that $π_l(T)=Ω(\frac{\logΔ}{\log\logΔ})$. We also show that if one allows repetitions in a coloring but still forbid 3 identical consecutive blocks of colors on any simple path, then a constant size of the lists allows to color any tree.
Loop models on random maps via nested loops: case of domain symmetry breaking and application to the Potts model
Published in J. Phys. A, Math. Theor. (2012), vol. 45, 49
• View Publication
• BIB
We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction that we review, the Q = n^2 Potts model on general random maps is mapped to a particular instance of this problem with domain-non-symmetric weights. We derive in full generality a set of coupled functional relations for a pair of generating series which encode the enumeration of loop configurations on maps with a boundary of a given color, and solve it by extending well-known complex analytic techniques. In the case where loops are fully-packed, we analyze in details the phase diagram of the model and derive exact equations for the position of its non-generic critical points. In particular, we underline that the critical Potts model on general random maps is not self-dual whenever Q \neq 1. In a model with domain-symmetric weights, we also show the possibility of a spontaneous domain symmetry breaking driven by the bending energy.
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.