Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Antipode formulas for pattern Hopf algebras
The permutation pattern Hopf algebra is a commutative filtered and connected Hopf algebra. Its product structure stems from counting patterns of a permutation, interpreting the coefficients as permutation quasi-shuffles. The Hopf algebra was shown to be a free commutative algebra and to fit into a general framework of pattern Hopf algebras, via species with restrictions.
In this paper we introduce the cancellation-free and grouping-free formula for the antipode of the permutation pattern Hopf algebra. To obtain this formula, we use the popular sign-reversing involution method, by Benedetti and Sagan. This formula has applications on polynomial invariants on permutations, in particular for obtaining reciprocity theorems. On our way, we also introduce the packed word patterns Hopf algebra and present a formula for its antipode.
Other pattern algebras are discussed here, notably on parking functions, which recovers notions recently studied by Adeniran and Pudwell, and by Qiu and Remmel.
Symmetric and Nonsymmetric Macdonald Polynomials via a Path Model with a Pseudo-crystal Structure
Published
• View Publication
• BIB
In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots.
Inapproximability of shortest paths on perfect matching polytopes
Published
• View Publication
• BIB
We consider the computational problem of finding short paths in the skeleton of the perfect matching polytope of a bipartite graph. We prove that unless $P=NP$, there is no polynomial-time algorithm that computes a path of constant length between two vertices at distance two of the perfect matching polytope of a bipartite graph. Conditioned on $P\neq NP$, this disproves a conjecture by Ito, Kakimura, Kamiyama, Kobayashi and Okamoto [SIAM Journal on Discrete Mathematics, 36(2), pp. 1102-1123 (2022)]. Assuming the Exponential Time Hypothesis we prove the stronger result that there exists no polynomial-time algorithm computing a path of length at most $\left(\frac{1}{4}-o(1)\right)\frac{\log N}{\log \log N}$ between two vertices at distance two of the perfect matching polytope of an $N$-vertex bipartite graph. These results remain true if the bipartite graph is restricted to be of maximum degree three. The above has the following interesting implication for the performance of pivot rules for the simplex algorithm on simply-structured combinatorial polytopes: If $P\neq NP$, then for every simplex pivot rule executable in polynomial time and every constant $k \in \mathbb{N}$ there exists a linear program on a perfect matching polytope and a starting vertex of the polytope such that the optimal solution can be reached in two monotone steps from the starting vertex, yet the pivot rule will require at least $k$ steps to reach the optimal solution. This result remains true in the more general setting of pivot rules for so-called circuit-augmentation algorithms.
Highly unbreakable graph with a fixed excluded minor are almost rigid
A set $X \subseteq V(G)$ in a graph $G$ is $(q,k)$-unbreakable if every separation $(A,B)$ of order at most $k$ in $G$ satisfies $|A \cap X| \leq q$ or $|B \cap X| \leq q$. In this paper, we prove the following result: If a graph $G$ excludes a fixed complete graph $K_h$ as a minor and satisfies certain unbreakability guarantees, then $G$ is almost rigid in the following sense: the vertices of $G$ can be partitioned in an isomorphism-invariant way into a part inducing a graph of bounded treewidth and a part that admits a small isomorphism-invariant family of labelings. This result is the key ingredient in the fixed-parameter algorithm for Graph Isomorphism parameterized by the Hadwiger number of the graph, which is presented in a companion paper.
Conjectures on the reduced Kronecker coefficients
We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.
On the epidemic threshold of a network
Published
• View Publication
• BIB
The graph invariant examined in this paper is the largest eigenvalue of the adjacency matrix of a graph. Previous work demonstrates the tight relationship between this invariant, the birth and death rate of a contagion spreading on the graph, and the trajectory of the contagion over time. We begin by conducting a simulation confirming this and explore bounds on the birth and death rate in terms of well-known graph invariants. As a result, the change in the largest eigenvalue resulting from removal of a vertex in the network is the best measure of effectiveness of interventions that slow the spread of a contagion. We define the spread centrality of a vertex $v$ in a graph $G$ as the difference between the largest eigenvalues of $G$ and $G-v$. While the spread centrality is a distinct centrality measure and serves as another graph invariant for distinguishing graphs, we found experimental evidence that vertices ranked by the spread centrality and those ranked by eigenvector centrality are strongly correlated. Since eigenvector centrality is easier to compute than the spread centrality, this justifies using eigenvector centrality as a measure of spread, especially in large networks with unknown portions. We also examine two strategies for selecting members of a population to vaccinate.
Cyclic descents, matchings and Schur-positivity
Published
• View Publication
• BIB
A new descent set statistic on involutions, defined geometrically via their interpretation as matchings, is introduced in this paper, and shown to be equi-distributed with the standard one. This concept is then applied to construct explicit cyclic descent extensions on involutions, standard Young tableaux and Motzkin paths. Schur-positivity of the associated quasisymmetric functions follows.
Row-Factorization Matrices in Arf Numerical Semigroups and Defining Ideals
Published
• View Publication
• BIB
In this paper, we investigate the row-factorization matrices of Arf numerical semigroups, and we provide the full list of such matrices of certain Arf numerical semigroups. We use the information of row-factorization matrices to detect the generic nature and to find generators of the defining ideals.
Hypergraph Artificial Benchmark for Community Detection (h-ABCD)
The Artificial Benchmark for Community Detection (ABCD) graph is a recently introduced random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs with similar properties as the well-known LFR one, and its main parameter can be tuned to mimic its counterpart in the LFR model, the mixing parameter. In this paper, we introduce hypergraph counterpart of the ABCD model, h-ABCD, which produces random hypergraph with distributions of ground-truth community sizes and degrees following power-law. As in the original ABCD, the new model h-ABCD can produce hypergraphs with various levels of noise. More importantly, the model is flexible and can mimic any desired level of homogeneity of hyperedges that fall into one community. As a result, it can be used as a suitable, synthetic playground for analyzing and tuning hypergraph community detection algorithms.
Counting Perfect Matchings in Dense Graphs Is Hard
We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number $\leq 2$, or general graphs of independence number $\leq 2$. Our proof is by reduction from counting perfect matchings in bipartite graphs, via elementary linear algebra tricks and graph constructions.
Turán graphs with bounded matching number
Published
• View Publication
• BIB
We determine the maximum possible number of edges of a graph with $n$ vertices, matching number at most $s$ and clique number at most $k$ for all admissible values of the parameters.
On the Generation, Structure, and Symmetries of Minimal Prime Graphs
In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if and only if G contains an element of order pq. Since the discovery of a simple, purely graph theoretical characterization of the prime graphs of solvable groups in 2015 these graphs have been studied in more detail from a graph theoretic angle. In this paper we explore several new aspects of these graphs. We characterize regular reseminant graphs and study the automorphisms of reseminant graphs for arbitrary base graphs. We then study minimal prime graphs on larger vertex sets by a novel regular graph construction for base graphs and by proving results on prime graph properties under graph products. Lastly, we present the first new way, different from vertex duplication, to obtain a new minimal prime graph from a given minimal prime graph.
Graphs of Linear Growth have Bounded Treewidth
Published
• View Publication
• BIB
A graph class $\mathcal{G}$ has linear growth if, for each graph $G \in \mathcal{G}$ and every positive integer $r$, every subgraph of $G$ with radius at most $r$ contains $O(r)$ vertices. In this paper, we show that every graph class with linear growth has bounded treewidth.
Euler numbers and diametral paths in Fibonacci cubes, Lucas cubes and Alternate Lucas cubes
The diameter of a graph is the maximum distance between pairs of vertices in the graph. A pair of vertices whose distance is equal to its diameter are called diametrically opposite vertices. The collection of shortest paths between diametrically opposite vertices are referred as diametral paths. In this work, we enumerate the number of diametral paths for Fibonacci cubes, Lucas cubes and Alternate Lucas cubes. We present bijective proofs that show that these numbers are related to alternating permutations and are enumerated by Euler numbers.
On a conjecture on 2-reduced Schur functions and Schur's Q-functions
Motivated by Sato and Mori's work on the Korteweg-de Vries (KdV) equation and the modified KdV equation, Mizukawa, Nakajima, and Yamada made a conjecture on 2-reduced Schur functions and Schur's Q-functions. The conjecture claims that certain sums of products of a Littlewood-Richardson coefficient and two 2-reduced Schur functions are equal to Schur's Q-functions up to a scalar multiple. In this paper we give a proof of the conjecture in cases which have not been proved yet. We introduce a new expression of Schur's Q-functions and use it to prove the conjecture. Combinatorics of the inverse Kostka matrix is also used. We also provide consideration of the conjecture in general case.
On the existence of tripartite graphs and n-partite graphs
Published
• View Publication
• BIB
The degree sequence of a graph is the sequence of the degrees of its vertices. If $π$ is a degree sequence of a graph $G$, then $G$ is a realization of $π$ and $G$ realizes $π$. Determining when a sequence of positive integers is realizable as a degree sequence of a simple graph has received much attention. One of the early results, by Erdös and Gallai, characterized degree sequences of graphs. The result was strengthened by Hakimi and Havel. Another generalization is derived by Cai et al. Hoogeveen and Sierksma listed seven criteria and gave a uniform proof. In addition, Gale and Ryser independently established a characterization by using network flows. We extend Gale and Ryser's results from bipartite graphs to tripartite graphs and even $n$-partite graphs. As corollaries, we give a necessary condition and a sufficient condition for the triple $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph, where $σ_1$, $σ_2$ and $σ_3$ are all non-increasing sequences of nonnegative integers. We also give a stronger necessary condition for $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph.
Structural analysis of water networks
Published
• View Publication
• BIB
Liquid water, besides being fundamental for life on Earth, has long fascinated scientists due to several anomalies. Different hypotheses have been put forward to explain these peculiarities. The most accredited one foresees the presence in the supercooled region of two phases at different densities: the low-density liquid phase and the high-density liquid phase. In our previous work [Faccio et al., J. Mol. Liq. 355 (2022): 118922], we showed that it is possible to identify these two forms in water networks through a computational approach based on molecular dynamics simulation and on the calculation of the total communicability of the associated graph, in which the nodes correspond to water molecules and the edges represent the connections (interactions) between molecules. In this paper, we present a more in-depth investigation of the application of graph-theory based approaches to the analysis of the structure of water networks. In particular, we investigate different connectivity and centrality measures and we report on the use of a variety of global metrics aimed at giving a topological and geometrical characterization of liquid water.
Ramsey numbers of large even cycles and fans
Published
• View Publication
• BIB
For graphs $F$ and $H$, the Ramsey number $R(F, H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of $K_N$ contains either a red $F$ or a blue $H$. Let $C_n$ be a cycle of length $n$ and $F_n$ be a fan consisting of $n$ triangles all sharing a common vertex. In this paper, we prove that for all sufficiently large $n$, \[ R(C_{2\lfloor an\rfloor}, F_n)= \left\{ \begin{array}{ll} (2+2a+o(1))n & \textrm{if $1/2\leq a< 1$,}\\ (4a+o(1))n & \textrm{if $ a\geq 1$.} \end{array} \right. \]
Stability, corners, and other 2-dimensional shapes
Published
• View Publication
• BIB
We introduce a relaxation of stability, called almost sure stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a non-standard finite group. We show that almost sure stability satisfies a stationarity principle in the sense of geometric stability theory for measure independent elements. We apply this principle to deduce the existence of squares in dense almost surely stable subsets of Cartesian products of non-standard finite groups, possibly non-abelian. Our results imply qualitative asymptotic versions for Cartesian products of finite groups. In the final section, we establish the existence of $3\times 2$-grids (and thus of $L$-shapes) in dense almost surely stable $2$-dimensional subsets of finite abelian groups of odd order.
Ordered unavoidable sub-structures in matchings and random matchings
Published
• View Publication
• BIB
An ordered matching of size $n$ is a graph on a linearly ordered vertex set $V$, $|V|=2n$, consisting of $n$ pairwise disjoint edges. There are three different ordered matchings of size two on $V=\{1,2,3,4\}$: an alignment $\{1,2\},\{3,4\}$, a nesting $\{1,4\},\{2,3\}$, and a crossing $\{1,3\},\{2,4\}$. Accordingly, there are three basic homogeneous types of ordered matchings (with all pairs of edges arranged in the same way) which we call, respectively, lines, stacks, and waves.
We prove an Erdős-Szekeres type result guaranteeing in every ordered matching of size $n$ the presence of one of the three basic sub-structures of a given size. In particular, one of them must be of size at least $n^{1/3}$. We also investigate the size of each of the three sub-structures in a random ordered matching. Additionally, the former result is generalized to $3$-uniform ordered matchings.
Another type of unavoidable patterns we study are twins, that is, pairs of order-isomorphic, disjoint sub-matchings. By relating to a similar problem for permutations, we prove that the maximum size of twins that occur in every ordered matching of size $n$ is $O\left(n^{2/3}\right)$ and $Ω\left(n^{3/5}\right)$. We conjecture that the upper bound is the correct order of magnitude and confirm it for almost all matchings. In fact, our results for twins are proved more generally for $r$-multiple twins, $r\ge2$.