Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Percolation on an infinitely generated group
Published in Combinator. Probab. Comp. 29 (2020) 587-615
• View Publication
• BIB
We give an example of a long range Bernoulli percolation process on a group non-quasi-isometric with $\mathbb{Z}$, in which clusters are almost surely finite for all values of the parameter. This random graph admits diverse equivalent definitions, and we study their ramifications. We also study its expected size and point out certain phase transitions.
Maximum matchings in scale-free networks with identical degree distribution
Published
• View Publication
• BIB
The size and number of maximum matchings in a network have found a large variety of applications in many fields. As a ubiquitous property of diverse real systems, power-law degree distribution was shown to have a profound influence on size of maximum matchings in scale-free networks, where the size of maximum matchings is small and a perfect matching often does not exist. In this paper, we study analytically the maximum matchings in two scale-free networks with identical degree sequence, and show that the first network has no perfect matchings, while the second one has many. For the first network, we determine explicitly the size of maximum matchings, and provide an exact recursive solution for the number of maximum matchings. For the second one, we design an orientation and prove that it is Pfaffian, based on which we derive a closed-form expression for the number of perfect matchings. Moreover, we demonstrate that the entropy for perfect matchings is equal to that corresponding to the extended Sierpiński graph with the same average degree as both studied scale-free networks. Our results indicate that power-law degree distribution alone is not sufficient to characterize the size and number of maximum matchings in scale-free networks.
A correspondence between rigid modules over path algebras and simple curves on Riemann surfaces
Published
• View Publication
• BIB
We propose a conjectural correspondence between the set of rigid indecomposable modules over the path algebras of acyclic quivers and the set of certain non-self-intersecting curves on Riemann surfaces, and prove the correspondence for the 2-complete rank 3 quivers.
Pattern Recognition on Oriented Matroids: Decompositions of Topes, and Orthogonality Relations
If V(R) is the vertex set of a symmetric cycle R in the tope graph of a simple oriented matroid M, then for any tope T of M there exists a unique inclusion-minimal subset Q(T,R) of V(R) such that T is the sum of the topes of Q(T,R).
If for decompositions Q(T',R') and Q(T",R") with respect to symmetric cycles R' and R" in the tope graphs of two simple oriented matroids, whose ground sets have the cardinalities of opposite parity, we have |Q(T',R')|>3 and |Q(T",R")|>3, then these decompositions satisfy a certain orthogonality relation.
Most Rigid Representations and Cayley index
Published
• View Publication
• BIB
For any finite group $G$, a natural question to ask is the order of the smallest possible automorphism group for a Cayley graph on $G$. A particular Cayley graph whose automorphism group has this order is referred to as an MRR (Most Rigid Representation), and its Cayley index is a numerical indicator of this value. Study of GRRs showed that with the exception of two infinite families and seven individual groups, every group admits a Cayley graph whose MRR is a GRR, so that the Cayley index is 1. The full answer to the question of finding the smallest possible Cayley index for a Cayley graph on a fixed group was almost completed in previous work, but the precise answers for some finite groups and one infinite family of groups were left open. We fill in the remaining gaps to completely answer this question.
Local Finiteness of Infinite Neighbor Complexes
We show that if the neighbor complex, as defined by H.~Scarf, of an infinite subset of $\Z^n$ has finite dimension, then each vertex has finitely many neighbors.
Exact enumeration of self-avoiding walks on BCC and FCC lattices
Published
• View Publication
• BIB
Self-avoiding walks on the body-centered-cubic (BCC) and face-centered-cubic (FCC) lattices are enumerated up to lengths 28 and 24, respectively, using the length-doubling method. Analysis of the enumeration results yields values for the exponents $γ$ and $ν$ which are in agreement with, but less accurate than those obtained earlier from enumeration results on the simple cubic lattice. The non-universal growth constant and amplitudes are accurately determined, yielding for the BCC lattice $μ=6.530520(20)$, $A=1.1785(40)$, and $D=1.0864(50)$, and for the FCC lattice $μ=10.037075(20)$, $A=1.1736(24)$, and $D=1.0460(50)$.
$R(5,5) \le 48$
We improve the upper bound on the Ramsey number $R(5,5)$ from $R(5,5) \le 49$ to $R(5,5) \le 48$. We also complete the catalogue of extremal graphs for $R(4,5)$.
Steiner Point Removal --- Distant Terminals Don't (Really) Bother
Published
• View Publication
• BIB
Given a weighted graph $G=(V,E,w)$ with a set of $k$ terminals $T\subset V$, the Steiner Point Removal problem seeks for a minor of the graph with vertex set $T$, such that the distance between every pair of terminals is preserved within a small multiplicative distortion. Kamma, Krauthgamer and Nguyen (SODA 2014, SICOMP 2015) used a ball-growing algorithm to show that the distortion is at most $\mathcal{O}(\log^5 k)$ for general graphs.
In this paper, we improve the distortion bound to $\mathcal{O}(\log^2 k)$. The improvement is achieved based on a known algorithm that constructs terminal-distance exact-preservation minor with $\mathcal{O}(k^4)$ (which is independent of $|V|$) vertices, and also two tail bounds on the sum of independent exponential random variables, which allow us to show that it is unlikely for a non-terminal being contracted to a distant terminal.
Counting faces of nestohedra
A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$.
On connectedness of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined.
On the number of geodesics of Petersen graph $GP(n,2)$
In any network, the interconnection of nodes by means of geodesics and the number of geodesics existing between nodes are important. There exists a class of centrality measures based on the number of geodesics passing through a vertex. Betweenness centrality indicates the betweenness of a vertex or how often a vertex appears on geodesics between other vertices. It has wide applications in the analysis of networks. Consider $GP(n,k)$. For each $n$ and $k \,(n > 2k)$, the generalized Petersen graph $GP ( n , k )$ is a trivalent graph with vertex set $\{ u_ i ,\, v_ i \,|\, 0 \leq i \leq n - 1 \}$ and edge set $\{ u_ i u_ {i + 1} , u_ i v _i , v_ i v_{ i + k}\, |\, 0\leq i \leq n - 1, \hbox{ subscripts reduced modulo } n \}$. There are three kinds of edges namely outer edges, spokes and inner edges. The outer vertices generate an $n$-cycle called outer cycle and inner vertices generate one or more inner cycles. In this paper, we consider $GP(n,2)$ and find expressions for the number of geodesics and betweenness centrality.
An explicit determination of the $K$-theoretic structure constants of the affine Grassmannian associated to $SL_2$
Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.
Perfect codes in circulant graphs
Published in Discrete Mathematics 340 (2017) 1522-1527
• View Publication
• BIB
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ that is an independent set such that every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A total perfect code in $Γ$ is a subset $C$ of $V$ such that every vertex of $V$ is adjacent to exactly one vertex in $C$. A perfect code in the Hamming graph $H(n, q)$ agrees with a $q$-ary perfect 1-code of length $n$ in the classical setting. In this paper we give a necessary and sufficient condition for a circulant graph of degree $p-1$ to admit a perfect code, where $p$ is an odd prime. We also obtain a necessary and sufficient condition for a circulant graph of order $n$ and degree $p^l-1$ to have a perfect code, where $p$ is a prime and $p^l$ the largest power of $p$ dividing $n$. Similar results for total perfect codes are also obtained in the paper.
Peterson Isomorphism in $K$-theory and Relativistic Toda Lattice
Published
• View Publication
• BIB
The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory analogue of the so-called Peterson isomorphism for (co)homology. We provide a conjecture on the detailed relationship between the Schubert bases, and, in particular, we determine the image of Lenart--Maeno's quantum Grothendieck polynomial associated with a Grassmannian permutation.
On the $h$-vector of ($S_r$) simplicial complexes
Published
• View Publication
• BIB
We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes.
The (theta, wheel)-free graphs Part II: structure theorem
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 148-184
• View Publication
• BIB
A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this paper we obtain a decomposition theorem for the class of graphs that do not contain an induced subgraph isomorphic to a theta or a wheel, i.e. the class of (theta, wheel)-free graphs. The decomposition theorem uses clique cutsets and 2-joins. Clique cutsets are vertex cutsets that work really well in decomposition based algorithms, but are unfortunately not general enough to decompose more complex hereditary graph classes. A 2-join is an edge cutset that appeared in decomposition theorems of several complex classes, such as perfect graphs, even-hole-free graphs and others. In these decomposition theorems 2-joins are used together with vertex cutsets that are more general than clique cutsets, such as star cutsets and their generalizations (which are much harder to use in algorithms). This is a first example of a decomposition theorem that uses just the combination of clique cutsets and 2-joins. This has several consequences. First, we can easily transform our decomposition theorem into a complete structure theorem for (theta, wheel)-free graphs, i.e. we show how every (theta, wheel)-free graph can be built starting from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are (theta, wheel)-free. Such structure theorems are very rare for hereditary graph classes, only a few examples are known. Secondly, we obtain an $\mathcal O (n^4m)$-time decomposition based recognition algorithm for (theta, wheel)-free graphs. Finally, in Parts III and IV of this series, we give further applications of our decomposition theorem.
On Completely Regular Codes
Published
• View Publication
• BIB
This work is a survey on completely regular codes. Known properties, relations with other combinatorial structures and constructions are stated. The existence problem is also discussed and known results for some particular cases are established. In particular, we present a few new results on completely regular codes with covering radius 2 and on extended completely regular codes.
A new upper bound for subspace codes
It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=4$, and constant dimension $k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining the classification of subspace codes with parameters $(7,17,6;3)_2$ and $(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a byproduct.
On well-covered Cartesian products
Published
• View Publication
• BIB
In 1970, Plummer defined a well-covered graph to be a graph $G$ in which all maximal independent sets are in fact maximum. Later Hartnell and Rall showed that if the Cartesian product $G \Box H$ is well-covered, then at least one of $G$ or $H$ is well-covered. In this paper, we consider the problem of classifying all well-covered Cartesian products. In particular, we show that if the Cartesian product of two nontrivial, connected graphs of girth at least $4$ is well-covered, then at least one of the graphs is $K_2$. Moreover, we show that $K_2 \Box K_2$ and $C_5 \Box K_2$ are the only well-covered Cartesian products of nontrivial, connected graphs of girth at least $5$.