Showing 20 papers (Total: 82661 papers, 47773 authors in database)
The strong metric dimension of some generalized Petersen graphs
Published in Applicable Analysis and Discrete Mathematics 11(1) (2017) 1-10
• View Publication
• BIB
In this paper the strong metric dimension of generalized Petersen graphs $GP(n,2)$ is considered. The exact value is determined for cases $n=4k$ and $n=4k+2$, while for $n=4k+1$ an upper bound of the strong metric dimension is presented.
Recovery and Rigidity in a Regular Stochastic Block Model
Published in Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete algorithms, pp. 1589-1601. Society for Industrial and Applied Mathematics, 2016
• View Publication
• BIB
The stochastic block model is a natural model for studying community detection in random networks. Its clustering properties have been extensively studied in the statistics, physics and computer science literature. Recently this area has experienced major mathematical breakthroughs, particularly for the binary (two-community) version, see Mossel, Neeman, Sly (2012, 2013) and Massoulie (2013). In this paper, we introduce a variant of the binary model which we call the regular stochastic block model (RSBM). We prove rigidity by showing that with high probability an exact recovery of the community structure is possible. Spectral methods exhibit a regime where this can be done efficiently. Moreover we also prove that, in this setting, any suitably good partial recovery can be bootstrapped to obtain a full recovery of the communities.
Cops and robbers on planar directed graphs
Published
• View Publication
• BIB
Aigner and Fromme initiated the systematic study of the cop number of a graph by proving the elegant and sharp result that in every connected planar graph, three cops are sufficient to win a natural pursuit game against a single robber. This game, introduced by Nowakowski and Winkler, is commonly known as Cops and Robbers in the combinatorial literature. We extend this study to directed planar graphs, and establish separation from the undirected setting. We exhibit a geometric construction which shows that a more sophisticated robber strategy can indefinitely evade three cops on a particular strongly connected planar directed graph.
On Higman's $k(U_n(\mathbb{F}_q))$ conjecture
A classical conjecture by Graham Higman states that the number of conjugacy classes of $U_n(q)$, the group of upper triangular $n\times n$ matrices over $\mathbb{F}_q$, is polynomial in $q$, for all $n$. In this paper we present both positive and negative evidence, verifying the conjecture for $n\le 16$, and suggesting that it probably fails for $n\ge 59$. The tools are both theoretical and computational. We introduce a new framework for testing Higman's conjecture, which involves recurrence relations for the number of conjugacy classed of \emph{pattern groups}. These relations are proved by the \emph{orbit method} for finite nilpotent groups. Other applications are also discussed.
Shifted Matroid Optimization
Published in Operations Research Letters, 44:535-539, 2016
• View Publication
• BIB
We show that finding lexicographically minimal $n$ bases in a matroid can be done in polynomial time in the oracle model. This follows from a more general result that the shifted problem over a matroid can be solved in polynomial time as well.
On The Fixed Number of Graphs
An automorphism on a graph $G$ is a bijective mapping on the vertex set $V(G)$, which preserves the relation of adjacency between any two vertices of $G$. An automorphism $g$ fixes a vertex $v$ if $g$ maps $v$ onto itself. The stabilizer of a set $S$ of vertices is the set of all automorphisms that fix vertices of $S$. A set $F$ is called fixing set of $G$, if its stabilizer is trivial. The fixing number of a graph is the cardinality of a smallest fixing set. The fixed number of a graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a fixing set of $G$. A graph $G$ is called a $k$-fixed graph if its fixing number and fixed number are both $k$. In this paper, we study the fixed number of a graph and give construction of a graph of higher fixed number from graph with lower fixed number. We find bound on $k$ in terms of diameter $d$ of a distance-transitive $k$-fixed graph.
On the number of subgroups of a given exponent in a finite abelian group
Published in Publications de l'Institut Mathématique Beograd 101(115) (2017), 121--133
• View Publication
• BIB
This paper deals with the number of subgroups of a given exponent in a finite abelian group. Explicit formulas are obtained in the case of rank two and rank three abelian groups. An asymptotic formula is also presented.
Short proofs of some extremal results II
Published
• View Publication
• BIB
We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are quite short.
Characterization and recognition of some opposition and coalition graph classes
Published
• View Publication
• BIB
A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coalition graphs have been introduced and investigated in connection to perfect graphs. Recognizing and characterizing opposition and coalition graphs are long-standing open problems. This paper gives characterizations for opposition graphs and coalition graphs on some restricted graph classes. Implicit in our arguments are polynomial time recognition algorithms for these graphs. We also give a good characterization for the so-called generalized opposition graphs.
Ice sliding games
Published
• View Publication
• BIB
This paper deals with sliding games, which are a variant of the better known pushpush game. On a given structure (grid, torus...), a robot can move in a specific set of directions, and stops when it hits a block or boundary of the structure. The objective is to place the minimum number of blocks such that the robot can visit all the possible positions of the structure. In particular, we give the exact value of this number when playing on a rectangular grid and a torus. Other variants of this game are also considered, by constraining the robot to stop on each case, or by replacing blocks by walls.
Notes on a theorem of Naji
Published in Discrete Math. 340 (2017), 3217-3234
• View Publication
• BIB
We present a new proof of an algebraic characterization of circle graphs due to W. Naji. For bipartite graphs, Naji's theorem is equivalent to an algebraic characterization of planar matroids due to J. Geelen and B. Gerards. Naji's theorem also yields an algebraic characterization of permutation graphs.
Maxima of the Q-index: graphs with no K_s,t
Published
• View Publication
• BIB
This note presents a new spectral version of the graph Zarankiewicz problem: How large can be the maximum eigenvalue of the signless Laplacian of a graph of order $n$ that does not contain a specified complete bipartite subgraph. A conjecture is stated about general complete bipartite graphs, which is proved for infinitely many cases.
More precisely, it is shown that if $G$ is a graph of order $n,$ with no subgraph isomorphic to $K_{2,s+1},$ then the largest eigenvalue $q(G)$ of the signless Laplacian of $G$ satisfies \[ q(G)\leq\frac{n+2s}{2}+\frac{1}{2}\sqrt{(n-2s)^{2}+8s}, \] with equality holding if and only if $G$ is a join of $K_{1}$ and an $s$-regular graph of order $n-1.$
Braid moves in commutation classes of the symmetric group
Published in European J. Combin. 62 (2017) 15-34
• View Publication
• BIB
We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.
Coloring Random Non-Uniform Bipartite Hypergraphs
Let $H_{n,(p_m)_{m=2,\ldots,M}}$ be a random non-uniform hypergraph of dimension $M$ on $2n$ vertices, where the vertices are split into two disjoint sets of size $n$, and colored by two distinct colors. Each non-monochromatic edge of size $m=2,\ldots,M$ is independently added with probability $p_m$. We show that if $p_2,\ldots,p_M$ are such that the expected number of edges in the hypergraph is at least $dn\ln n$, for some $d>0$ sufficiently large, then with probability $(1-o(1))$, one can find a proper 2-coloring of $H_{n,(p_m)_{m=2,\ldots,M}}$ in polynomial time. We present a polynomial time algorithm for hypergraph 2-coloring, and provide discussions on extension of the approach for $k$-coloring of non-uniform hypergraphs.
Fast domino tileability
Published
• View Publication
• BIB
Domino tileability is a classical problem in Discrete Geometry, famously solved by Thurston for simply connected regions in nearly linear time in the area. In this paper, we improve upon Thurston's height function approach to a nearly linear time in the perimeter.
Equivariant Ulrich bundles on flag varieties
In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig.
Symmetric Powers of Symmetric Bilinear Forms, Homogeneous Orthogonal Polynomials on the Sphere and an Application to Compact Hyperkähler Manifolds
Published
• View Publication
• BIB
The Beauville-Fujiki relation for a compact Hyperkähler manifold $X$ of dimension $2k$ allows to equip the symmetric power $\text{Sym}^kH^2(X)$ with a symmetric bilinear form induced by the Beauville-Bogomolov form. We study some of its properties and compare it to the form given by the Poincaré pairing.
The construction generalizes to a definition for an induced symmetric bilinear form on the symmetric power of any free module equipped with a symmetric bilinear form. We point out how the situation is related to the theory of orthogonal polynomials in several variables. Finally, we construct a basis of homogeneous polynomials that are orthogonal when integrated over the unit sphere $\mathbb{S}^d$, or equivalently, over $\mathbb{R}^{d+1}$ with a Gaussian kernel.
$t$-perfection in $P_5$-free graphs
Published
• View Publication
• BIB
A graph is called $t$-perfect if its stable set polytope is fully described by non-negativity, edge and odd-cycle constraints. We characterise $P_5$-free $t$-perfect graphs in terms of forbidden $t$-minors. Moreover, we show that $P_5$-free $t$-perfect graphs can always be coloured with three colours, and that they can be recognised in polynomial time.
Long paths and Hamiltonicity in random graphs
Published
• View Publication
• BIB
We discuss several classical results about long paths and Hamilton cycles in random graphs and present accessible versions of their proofs, relying on the Depth First Search (DFS) algorithm and the notion of boosters.
Asymptotic properties of free monoid morphisms
Published
• View Publication
• BIB
Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^ω(a))$ is the image of a fixed point of a morphism $f$ under another morphism $g$, then there exist a non-erasing morphism $σ$ and a coding $τ$ such that $w =τ(σ^ω(b))$.
Based on the Perron theorem about asymptotic properties of powers of non-negative matrices, our main contribution is an in-depth study of the growth type of iterated morphisms when one replaces erasing morphisms with non-erasing ones. We also explicitly provide an algorithm computing $σ$ and $τ$ from $f$ and $g$.