Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Bounded quantifier depth spectrum for random uniform hypegraphs
The notion of spectrum for first-order properties introduced by J. Spencer for Erdos-Renyi random graph is considered in relation to random uniform hypergraphs. In this work we study the set of limit points of the spectrum for first-order formulae with bounded quantifier depth and obtain bounds for its maximum value. Moreover, we prove zero-one k-laws for the random uniform hypergraph and improve the bounds for the maximum value of the spectrum for first-order formulae with bounded quantifier depth. We obtain that the maximum value of the spectrum belongs to some two-element set.
The Newton polytope of the Kronecker product
Published
• View Publication
• BIB
We study the Kronecker product of two Schur functions $s_λ\ast s_μ$, defined as the image of the characteristic map of the product of two $S_n$ irreducible characters. We prove special cases of a conjecture of Monical--Tokcan--Yong that its monomial expansion has a saturated Newton polytope. Our proofs employ the Horn inequalities for positivity of Littlewood-Richardson coefficients and imply necessary conditions for the positivity of Kronecker coefficients.
The Rainbow Connection Number of The Commuting Graph of a Finite Nonabelian Group
A path in an edge-colored graph is called a rainbow path if every two distinct edges of the path have different colors. A graph whose every pair of vertices are linked by a rainbow path is called a rainbow-connected graph. The rainbow connection number of a graph is the minimum number of colors that are needed to color the edges of the graph such that the graph is rainbow-connected. In this paper, we determine the rainbow connection number of the commuting graph of a finite nonabelian group, which is a graph whose vertex set is a nonabelian group of finite order and two distinct elements of the group is adjacent in the graph if they commute. We also show that the rainbow connection number of the commuting graph of a finite group is related to the number of maximal abelian subgroups or the number of involutions that do not commute with any other nonidentity element of the group.
A Complete Characterization of all Magic Constants Arising from Distance Magic Graphs
Published
• View Publication
• BIB
A positive integer $k$ is called a magic constant if there is a graph $G$ along with a bijective function $f$ from $V(G)$ to first $|V(G)|$ natural numbers such that the weight of the vertex $w(v) = \sum_{uv \in E}f(v) =k$ for all $v \in V$. It is known that all odd positive integers greater equal $3$ and the integer powers of $2$, $2^{t}$, $t \ge 6$ are magic constants. In this paper we characterise all positive integers which are magic constants.
Antimagic Labeling of Generalized Edge Corona Graphs
An antimagic labeling of a graph $G$ is a one-to-one correspondence between the edge set $E(G)$ and $\lbrace 1,2,...,|E(G)|\rbrace$ in which the sum of the edge labels incident on the distinct vertices are distinct. Let $G$,$H_1$,$H_2$,...,$H_{m-1}$, and $H_m$ be simple graphs where $|E(G)|=m$. A generalized edge corona of the graph $G$ and $(H_1,H_2,...,H_m)$ (denoted by $G\diamond (H_1,H_2,...H_m)$) is a graph obtained by taking a copy of $G,H_1,H_2,...,H_m$ and joining the end vertices of $i^{th}$ edge of $G$ to every vertex of $H_i$, $i\in\lbrace 1,2,...,m\rbrace$. In this paper, we consider $G$ as a connected graph with exactly one vertex of maximum degree 3 (excluding the spider graph with exactly one vertex of maximum degree 3 containing uneven legs) and each $H_i$, $1\leq i \leq m$ as a connected graph on at least two vertices. We provide an algorithmic approach to prove that $G$ $\diamond$ $(H_1,H_2,...H_m)$ is antimagic under certain conditions.
Achromatic colorings of polarity graphs
Published
• View Publication
• BIB
A complete partition of a graph $G$ is a partition of the vertex set such that there is at least one edge between any two parts. The largest $r$ such that $G$ has a complete partition into $r$ parts, each of which is an independent set, is the achromatic number of $G$. We determine the achromatic number of polarity graphs of biaffine planes coming from generalized polygons. Our colorings of a family of unitary polarity graphs are used to solve a problem of Axenovich and Martin on complete partitions of $C_4$-free graphs. Furthermore, these colorings prove that there are sequences of graphs which are optimally complete and have unbounded degree, a problem that had been studied for the sequence of hypercubes independently by Roichman, and Ahlswede, Bezrukov, Blokhuis, Metsch, and Moorhouse.
Maximal cocliques and the chromatic number of the Kneser graph on chambers of PG$(3,q)$
Published
• View Publication
• BIB
Let $Γ$ be the graph whose vertices are the chambers of the finite projective $3$-space PG$(3,q)$, with two vertices being adjacent if and only if the corresponding chambers are in general position. We show that a maximal independent set of vertices of $Γ$ contains $q^4+3q^3+4q^2+3q+1$, or $3q^3+5q^2+3q+1$, or at most $3q^3+4q^2+3q+2$ elements. For $q\geq 4$ the structure of the largest maximal independent sets is described. For $q\geq 7$ the structure of the maximal independent sets of the three largest cardinalities is described. Using the cardinality of the second largest maximal independent sets, we show that the chromatic number of $Γ$ is $q^2+q$.
Lattices properties of acyclic alternating pipe dreams
This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.
Directional counting for regular languages
Published
• View Publication
• BIB
We explain how certain tools from convex analysis and probability theory may be used in order to obtain counting results for the number of words with prescribed frequencies of letters in regular languages.
The $A_α$-spectra of graph operations based on generalized (edge) corona
Let $G, H_{i}$ be simple graphs with $n=|V(G)|$, $m=|E(G)|$ and $i=1, 2, \ldots, n(m)$. The generalized corona, denoted $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{n}$ and joining the $i$th vertex of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq n$. The generalized edge corona, denoted by $G[H_i]_1^m$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{m}$ and then joining two end-vertices of the $i$th edge of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq m$. For any real $α\in[0,1]$, the matrix $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree matrix of a graph $G$, respectively. In this paper, we obtain the $A_α$-characteristic polynomial of $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, which extends some known results. Meanwhile, we determine the $A_α$-characteristic polynomial of $G[H_i]_1^m$ and get the $A_α$-spectrum of $G[H_i]_1^m$ when $G$ and $H_i$ are regular graphs for $1\le i\le m$. As an application of the above conclusions, we construct infinitely many pairs of non-regular $A_α$-cospectral graphs.
Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs
Published
• View Publication
• BIB
We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.
Bender-Knuth involutions for types B and C
Published in Electron. J. Comb. 31(2) (2024) P2.59
• View Publication
• BIB
We show that the combinatorial definitions of King and Sundaram of the symmetric polynomials of types B and C are indeed symmetric, in the sense that they are invariant by the action of the Weyl groups. Our proof is combinatorial and inspired by Bender and Knuth's classic involutions for type A.
Torsion pairs in repetitive cluster categories of type $A_n$
Published
• View Publication
• BIB
We give a complete classification of torsion pairs in repetitive cluster categories of type $A_n$, which were defined by Zhu as the orbit categories, via certain configurations of diagonals, called Ptolemy diagrams. As applications, we classify rigid subcategories, which gives Lamberti's classification of cluster tilting subcategories. When $p = 1$, this generalizes the work of Holm, Jorgensen and Rubey for the classification of torsion pairs in cluster categories of type $A_n$.
Products of boundary classes on M_0,n-bar via balanced weights
Published
• View Publication
• BIB
In this note, we give a simple closed formula for an arbitrary product, landing in dimension 0, of boundary classes on the Deligne--Mumford moduli space M_0,n-bar. For any such boundary strata $X_{T_1}, \ldots, X_{T_\ell}$, we show the intersection product $\int \prod_{i=1}^\ell [X_{T_i}]$ is either a signed product of multinomial coefficients, or zero, and provide a simple criterion for determining when it is nonzero.
We do not claim originality for our product formula, but to our knowledge it does not appear elsewhere in the literature.
Orientably-regular embeddings of complete multigraphs
An embedding of a graph on an orientable surface is orientably-regular (or rotary, in an equivalent terminology) if the group of orientation-preserving automorphisms of the embedding is transitive (and hence regular) on incident vertex-edge pairs of the graph. A classification of orientably-regular embeddings of complete graphs was obtained by L. D. James and G. A. Jones [in "Regular orientable imbeddings of complete graphs", J. Combinatorial Theory Ser. B 39 (1985), 353-367], pointing out interesting connections to finite fields and Frobenius groups. By a combination of graph-theoretic methods and tools from combinatorial group theory we extend results of James and Jones to classification of orientably-regular embeddings of complete multigraphs with arbitrary edge-multiplicity.
Chromatic functions, interval orders and increasing forests
The chromatic quasisymmetric functions (csf) of Shareshian and Wachs associated to unit interval orders have attracted a lot of interest since their introduction in 2016, both in combinatorics and geometry, because of their relation to the famous Stanley-Stembridge conjecture (1993) and to the topology of Hessenberg varieties, respectively. In the present work we study the csf associated to the larger class of interval orders with no restriction on the length of the intervals. Inspired by an article of Abreu and Nigro, we show that these csf are weighted sums of certain quasisymmetric functions associated to the increasing spanning forests of the associated incomparability graphs. Furthermore, we define quasisymmetric functions that include the unicellular LLT symmetric functions and generalize an identity due to Carlsson and Mellit. Finally we conjecture a formula giving their expansion in the type 1 power sum quasisymmetric functions which should extend a theorem of Athanasiadis.
Folding median graphs
Extending Stallings' foldings of trees, we show in this article that every parallel-preserving map between median graphs factors as an isometric embedding through a sequence of elementary transformations which we call foldings and swellings. This new construction proposes a unified point of view on Beeker and Lazarovich's work on folding pocsets and on Ben-Zvi, Kropholler, and Lyman's work on folding nonpositively curved cube complexes.
A Study of Abstract Elementary Classes in the context of Graphs
In the framework of graphs, we study abstract elementary classes (aecs). In this work we analyze several properties of Forb(G) and versions of Forb-Con(G) in the context of aecs and we present some examples of classes of graphs which contradicts amalgamation property.
Average Jaccard Index of Random Graphs
Published in J. Appl. Probab. 61 (2024) 1139-1152
• View Publication
• BIB
The asymptotic behavior of the Jaccard index in $G(n,p)$, the classical Erdös-Rényi random graphs model, is studied in this paper, as $n$ goes to infinity. We first derive the asymptotic distribution of the Jaccard index of any pair of distinct vertices, as well as the first two moments of this index. Then the average of the Jaccard indices over all vertex pairs in $G(n,p)$ is shown to be asymptotically normal under an additional mild condition that $np\to\infty$ and $n^2(1-p)\to\infty$.
Polynomially Over-Parameterized Convolutional Neural Networks Contain Structured Strong Winning Lottery Tickets
Published
• View Publication
• BIB
The Strong Lottery Ticket Hypothesis (SLTH) states that randomly-initialised neural networks likely contain subnetworks that perform well without any training. Although unstructured pruning has been extensively studied in this context, its structured counterpart, which can deliver significant computational and memory efficiency gains, has been largely unexplored. One of the main reasons for this gap is the limitations of the underlying mathematical tools used in formal analyses of the SLTH. In this paper, we overcome these limitations: we leverage recent advances in the multidimensional generalisation of the Random Subset-Sum Problem and obtain a variant that admits the stochastic dependencies that arise when addressing structured pruning in the SLTH. We apply this result to prove, for a wide class of random Convolutional Neural Networks, the existence of structured subnetworks that can approximate any sufficiently smaller network.
This result provides the first sub-exponential bound around the SLTH for structured pruning, opening up new avenues for further research on the hypothesis and contributing to the understanding of the role of over-parameterization in deep learning.