Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Remarks on the energy of regular graphs
Published
• View Publication
• BIB
The energy of a graph is the sum of the absolute values of the eigenvalues of its adjacency matrix. This note is about the energy of regular graphs. It is shown that graphs that are close to regular can be made regular with a negligible change of the energy. Also a $k$-regular graph can be extended to a $k$-regular graph of a slightly larger order with almost the same energy. As an application, it is shown that for every sufficiently large $n,$ there exists a regular graph $G$ of order $n$ whose energy $\left\Vert G\right\Vert_{\ast}$ satisfies \[ \left\Vert G\right\Vert_{\ast}>\frac{1}{2}n^{3/2}-n^{13/10}. \] Several infinite families of graphs with maximal or submaximal energy are given, and the energy of almost all regular graphs is determined.
Small minimal $(3, 3)$-Ramsey graphs
Published in Ann. Univ. Sofia Fac. Math. Inform., 103:123-147, 2016
• Search Publication
We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.
On $(2k+1, 2k+3)$-core partitions with distinct parts
In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.
Distinguishing number and distinguishing index of natural and fractional powers of graphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. For any $n \in \mathbb{N}$, the $n$-subdivision of $G$ is a simple graph $G^{\frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$. The $m^{th}$ power of $G$, is a graph with same set of vertices of $G$ and an edge between two vertices if and only if there is a path of length at most $m$ between them. The fractional power of $G$, denoted by $G^{\frac{m}{n}}$ is $m^{th}$ power of the $n$-subdivision of $G$ or $n$-subdivision of $m$-th power of $G$. In this paper we study the distinguishing number and distinguishing index of natural and fractional powers of $G$. We show that the natural powers more than two of a graph distinguished by three edge labels. Also we show that for a connected graph $G$ of order $n \geqslant 3$ with maximum degree $Δ(G)$, $D(G^{\frac{1}{k}})\leqslant min\{s: 2^k+\sum^s_{n=3}n^{k-1}\geqslant Δ(G)\}$ and for $m\geqslant 3$, $D'(G^{\frac{m}{k}})\leqslant 3$.
New results on metric-locating-dominating sets of graphs
A dominating set $S$ of a graph is a metric-locating-dominating set if each vertex of the graph is uniquely distinguished by its distances from the elements of $S$, and the minimum cardinality of such a set is called the metric-location-domination number. In this paper, we undertake a study that, in general graphs and specific families, relates metric-locating-dominating sets to other special sets: resolving sets, dominating sets, locating-dominating sets and doubly resolving sets. We first characterize classes of trees according to certain relationships between their metric-location-domination number and their metric dimension and domination number. Then, we show different methods to transform metric-locating-dominating sets into locating-dominating sets and doubly resolving sets. Our methods produce new bounds on the minimum cardinalities of all those sets, some of them involving parameters that have not been related so far.
Shortcut sets for the locus of plane Euclidean networks
We study the problem of augmenting the locus $\mathcal{N}_{\ell}$ of a plane Euclidean network $\mathcal{N}$ by inserting iteratively a finite set of segments, called \emph{shortcut set}, while reducing the diameter of the locus of the resulting network. There are two main differences with the classical augmentation problems: the endpoints of the segments are allowed to be points of $\mathcal{N}_{\ell}$ as well as points of the previously inserted segments (instead of only vertices of $\mathcal{N}$), and the notion of diameter is adapted to the fact that we deal with $\mathcal{N}_{\ell}$ instead of $\mathcal{N}$. This increases enormously the hardness of the problem but also its possible practical applications to network design. Among other results, we characterize the existence of shortcut sets, compute them in polynomial time, and analyze the role of the convex hull of $\mathcal{N}_{\ell}$ when inserting a shortcut set. Our main results prove that, while the problem of minimizing the size of a shortcut set is NP-hard, one can always determine in polynomial time whether inserting only one segment suffices to reduce the diameter.
Chromatic classical symmetric functions
Published in J. Comb. 9:401--409 (2018)
• View Publication
• BIB
In this note we classify when a skew Schur function is a positive linear combination of power sum symmetric functions. We then use this to determine precisely when any scalar multiple of a skew Schur function is the chromatic symmetric function of some graph. From here we are able to prove that of the classical bases for symmetric functions only certain scalar multiples of the elementary symmetric functions can be realised as the chromatic symmetric function of some graph, namely a particular union of complete graphs.
Top degree part in $b$-conjecture for unicellular bipartite maps
Published in Electron. J. Combin. 24, no. 3, Paper 3.24 (2017)
• Search Publication
Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series $ψ(x, y, z; 1, 1+β)$ with an additional parameter $β$ that may be interpreted as a continuous deformation of the rooted bipartite maps generating series. Indeed, it has the property that for $β\in \{0,1\}$, it specializes to the rooted, orientable (general, i.e. orientable or not, respectively) bipartite maps generating series. They made the following conjecture: coefficients of $ψ$ are polynomials in $β$ with positive integer coefficients that can be written as a multivariate generating series of rooted, general bipartite maps, where the exponent of $β$ is an integer-valued statistic that in some sense "measures the non-orientability" of the corresponding bipartite map.
We show that except for two special values of $β= 0,1$ for which the combinatorial interpretation of the coefficients of $ψ$ is known, there exists a third special value $β= -1$ for which the coefficients of $ψ$ indexed by two partitions $μ,ν$, and one partition with only one part are given by rooted, orientable bipartite maps with arbitrary face degrees and black/white vertex degrees given by $μ$/$ν$, respectively. We show that this evaluation corresponds, up to a sign, to a top-degree part of the coefficients of $ψ$. As a consequence, we introduce a collection of integer-valued statistics of maps $(η)$ such that the top-degree of the multivariate generating series of rooted bipartite maps with only one face (called unicellular) with respect to $η$ gives the top-degree of the appropriate coefficients of $ψ$. Finally, we show that the $b$-conjecture holds true for all rooted, unicellular bipartite maps of genus at most $2$.
Asymptotic Behavior of the Expectation Value of Permanent Products, a Sequel
Continuing the computations of the previous paper,[1], we calculate another approximation to the expectation value of the product of two permanents in the ensemble of 0-1 n x n matrices with like row and column sums equal r uniformly weighted. Here we consider the Bernoulli random matrix ensemble where each entry independently has a probability p=r/n of being one, otherwise zero. We denote the expectations of the approximation ensemble of [1] by E, and the expectations of the present approximation ensemble, the Bernoulli random matrix ensemble, by E*. One has for these
lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E(perm_m(A)))
-lim_{n to infinity} (1/n) ln(E*(perm_m(A))) ) = 0 and
lim_{n to infinity} (1/n) ln(E(perm_m(A)perm_m'(A))) =
lim_{n to infinity} (1/n) ln(E(perm_m(A))) +
lim_{n to infinity} (1/n) ln(E(perm_m'(A)))
Here and in all such formulas the subscripts m,m' are assumed proportional to n. It seems likely to us that
lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E*(perm_m(A)perm_m'(A)))
- lim_{n to infinity} (1/n) ln(E*(perm_m(A))) +
- lim_{n to infinity} (1/n) ln(E*(perm_m'(A))) ) = 0
We believe: "E gives us the `correct' expectations in these equations, and E* is only `correct' in the r to infinity limit."
Graph Matrices: Norm Bounds and Applications
In this paper, we derive nearly tight probabilistic norm bounds for a class of random matrices we call graph matrices. While the classical case of symmetric matrices with independent random entries (Wigner's matrices) is a special case, in general, the entries of our matrices will be dependent in a way that can be specified in terms of a fixed-size graph we refer to as the shape. For Wigner's matrices, this shape is $K_2$, the clique on 2 vertices. To prove our norm bounds, we use the trace power method.
In a recent series of papers by Potechin and coauthors, graph matrices played a crucial role in proving average-case lower bounds for the Sum-of-Squares (SoS) hierarchy of proof systems, one of the most powerful, but difficult to analyze, techniques in combinatorial optimization. In particular, graph matrices played a crucial role in proving that low-degree SoS cannot refute the existence of a large clique in a random graph and proving that low-degree SoS cannot prove a tight lower bound on the ground state energy of the Sherrington-Kirkpatrick Hamiltonian. In this paper, we give several additional applications of graph matrices. We show that for several technical lemmas in the literature, while the original analyses were quite involved, we can give direct proofs using graph matrices and our norm bounds.
Higher Nakayama algebras I: Construction
Published in Adv. Math. 351 (2019), 1139-1200
• View Publication
• BIB
We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher Auslander--Reiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$-cluster-tilting $A^{(d)}$-module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes.
Ramanujan Graphs in Polynomial Time
Published
• View Publication
• BIB
The recent work by Marcus, Spielman and Srivastava proves the existence of bipartite Ramanujan (multi)graphs of all degrees and all sizes. However, that paper did not provide a polynomial time algorithm to actually compute such graphs. Here, we provide a polynomial time algorithm to compute certain expected characteristic polynomials related to this construction. This leads to a deterministic polynomial time algorithm to compute bipartite Ramanujan (multi)graphs of all degrees and all sizes.
Five Essays on the Geometry of László Fejes Tóth
Published
• View Publication
• BIB
In this paper we consider the following topics related to results of László Fejes Tóth: (1) The Tammes problem and Fejes Tóth's bound on circle packings; (2) Fejes Tóth's problem on maximizing the minimum distance between antipodal pairs of points on the sphere; (3) Fejes Tóth's problem on the maximum kissing number of packings on the sphere; (4) The Fejes Tóth -- Sachs problem on the one--sided kissing numbers; (5) Fejes Tóth's papers on the isoperimetric problem for polyhedra.
Covering complete partite hypergraphs by monochromatic components
A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color.
Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture.
In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color.
Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set.
To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices.
Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.
The topological transversal Tverberg theorem plus constraints
In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.
Star operations on numerical semigroups: antichains and explicit results
Published
• View Publication
• BIB
We introduce an order on the set of non-divisorial ideals of a numerical semigroup $S$, and link antichains of this order with the star operations on $S$; subsequently, we use this order to find estimates on the number of star operations on $S$. We then use them to find an asymptotic estimate on the number of nonsymmetric numerical semigroups with $n$ or less star operations, and to determine these semigroups explicitly when $n=10$.
Counting triangulations of some classes of subdivided convex polygons
Published in Europ. J. Combin. 62 (2017), 92-114
• View Publication
• BIB
We compute the number of triangulations of a convex $k$-gon each of whose sides is subdivided by $r-1$ points. We find explicit formulas and generating functions, and we determine the asymptotic behaviour of these numbers as $k$ and/or $r$ tend to infinity. We connect these results with the question of finding the planar set of points in general position that has the minimum possible number of triangulations - a well-known open problem from computational geometry.
The vulnerability of the diameter of enhanced hypercubes
Published
• View Publication
• BIB
For an interconnection network $G$, the {\it $ω$-wide diameter} $d_ω(G)$ is the least $\ell$ such that any two vertices are joined by $ω$ internally-disjoint paths of length at most $\ell$, and the {\it $(ω-1)$-fault diameter} $D_ω(G)$ is the maximum diameter of a subgraph obtained by deleting fewer than $ω$ vertices of $G$.
The enhanced hypercube $Q_{n,k}$ is a variant of the well-known hypercube. Yang, Chang, Pai, and Chan gave an upper bound for $d_{n+1}(Q_{n,k})$ and $D_{n+1}(Q_{n,k})$ and posed the problem of finding the wide diameters and fault diameters of $Q_{n,k}$. By constructing internally disjoint paths between any two vertices in the enhanced hypercube, for $n\ge3$ and $2\le k\le n$ we prove $$ D_ω(Q_{n,k})=d_ω(Q_{n,k})=\begin{cases} d(Q_{n,k}) & \textrm{for $1 \leq ω< n-\lfloor\frac{k}{2}\rfloor$;}\\ d(Q_{n,k})+1 & \textrm{for $n-\lfloor\frac{k}{2}\rfloor \leq ω\leq n+1$.} \end{cases} $$ where $d(Q_{n,k})$ is the diameter of $Q_{n,k}$. These results mean that interconnection networks modelled by enhanced hypercubes are extremely robust.
Degree-associated edge-reconstruction numbers of double-brooms
An edge-deleted subgraph of a graph $G$ is an {\it edge-card}. A {\it decard} consists of an edge-card and the degree of the missing edge. The {\it degree-associated edge-reconstruction number} of a graph $G$, denoted $\dern(G)$, is the minimum number of decards that suffice to reconstruct $G$. The {\it adversary degree-associated edge-reconstruction number} $\adern(G)$ is the least $k$ such that every set of $k$ decards determines $G$. We determine these two parameters for all double-brooms. The answer is usually $1$ for $\dern(G)$, and $2$ for $\adern(G)$ when $G$ is double-broom. But there are exceptions in each case.
Flawlessness of $h$-vectors of broken circuit complexes
Published in Int. Math. Res. Not. IMRN 2018, no. 5, 1347-1367
• View Publication
• BIB
One of the major open questions in matroid theory asks whether the $h$-vector $(h_0,h_1,\ldots,h_s)$ of the broken circuit complex of a matroid $M$ satisfies the following inequalities: $$ h_0\leq h_1\leq \cdots\leq h_{\lfloor s/2\rfloor} \quad \text{and}\qua h_i\le h_{s-i}\ \text{ for }\ 0\leq i \leq \lfloor s/2\rfloor. $$ This paper affirmatively answers the question for matroids that are representable over a field of characteristic zero.