Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Proof of a conjecture on the shape-Wilf-equivalence for partially ordered patterns
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kitaev-Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein-Han-Kitaev-Zhang concerning the shape-Wilf-equivalence for POPs of length $k$. This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram.
Equivalences and Distinctions in Lexicographic Shellability of Posets
We present two perhaps surprisingly small posets, one graded and one non-graded, that are CC-shellable in the sense of Kozlov and TCL-shellable in the sense of Hersh, but not CL-shellable in the sense of Björner and Wachs. In the spirit of Björner and Wachs' recursive atom orderings (RAO) and Hersh and Stadnyk's generalized recursive atom orderings (GRAO), we also introduce a notion called recursive first atom sets (RFAS). An RFAS is a set of conditions on the atoms of each interval in a finite bounded poset $P$ that are necessary for CC-shellability of $P$ and sufficient for shellability of $P$. We also prove that under an extra condition, $P$ is CC-shellable if and only if it admits an RFAS, in the same way that RAOs provide a reformulation of CL-shellability.
Counting independent sets in expanding bipartite regular graphs
In this paper we provide an asymptotic expansion for the number of independent sets in a general class of regular, bipartite graphs satisfying some vertex-expansion properties, extending results of Jenssen and Perkins on the hypercube and strengthening results of Jenssen, Perkins and Potukuchi. More precisely, we give an expansion of the independence polynomial of such graphs using a polymer model and the cluster expansion. In addition to the number of independent sets, our results yields information on the typical structure of (weighted) independent sets in such graphs. The class of graphs we consider covers well-studied cases like the hypercube or the middle layers graph, and we show further that it includes any Cartesian product of bipartite, regular base graphs of bounded size. To this end, we prove strong bounds on the vertex expansion of bipartite and regular Cartesian product graphs, which might be of independent interest.
Persistent homology of Morse decomposition in Markov chains based on combinatorial multivector fields
In this paper, we introduce a novel persistence framework for Morse decompositions in Markov chains using combinatorial multivector fields. Our approach provides a structured method to analyze recurrence and stability in finite-state stochastic processes. In our setting filtrations are governed by transition probabilities rather than spatial distances. We construct multivector fields directly from Markov transition matrices, treating states and transitions as elements of a directed graph. By applying Morse decomposition to the induced multivector field, we obtain a hierarchical structure of invariant sets that evolve under changes in transition probabilities. This structure naturally defines a persistence diagram, where each Morse set is indexed by its topological and dynamical complexity via homology and Conley index dimensions.
Valid Cuts for the Design of Potential-based Flow Networks
The construction of a cost minimal network for flows obeying physical laws is an important problem for the design of electricity, water, hydrogen, and natural gas infrastructures. We formulate this problem as a mixed-integer non-linear program with potential-based flows. The non-convexity of the constraints stemming from the potential-based flow model together with the binary variables indicating the decision to build a connection make these programs challenging to solve. We develop a novel class of valid inequalities on the fractional relaxations of the binary variables. Further, we show that this class of inequalities can be separated in polynomial time for solutions to a fractional relaxation. This makes it possible to incorporate these inequalities into a branch-and-cut framework. The advantage of these inequalities is lastly demonstrated in a computational study on the design of real-world gas transport networks.
On Finding All Connected Maximum-Sized Common Subgraphs in Multiple Labeled Graphs
We present an exact algorithm for computing all common subgraphs with the maximum number of vertices across multiple graphs. Our approach is further extended to handle the connected Maximum Common Subgraph (MCS), identifying the largest common subgraph in terms of either vertices or edges across multiple graphs, where edges or vertices may additionally be labeled to account for possible atom types or bond types, a classical labeling used in molecular graphs. Our approach leverages modular product graphs and a modified Bron-Kerbosch algorithm to enumerate maximal cliques, ensuring all intermediate solutions are retained. A pruning heuristic efficiently reduces the modular product size, improving computational feasibility. Additionally, we introduce a graph ordering strategy based on graph-kernel similarity measures to optimize the search process. Our method is particularly relevant for bioinformatics and cheminformatics, where identifying conserved structural motifs in molecular graphs is crucial. Empirical results on molecular datasets demonstrate that our approach is scalable and fast.
Real Tropical Quartics and their Bitangents: Counting with Patchworking
For certain tropical quartic curves the existing techniques could not predict the lifting behavior of their bitangents over the real numbers. We close this gap by using patchworking techniques. Further, this paper provides an analysis of the combinatorial types of real tropical quartic curves according to their real topology and number of real bitangents. This paper is accompanied by an extension for polymake; the computational data is available in the database collection polyDB.
Graphs generated from minimal sets of finite point-set topologies
In 1985, Golumbic and Scheinerman established an equivalence between comparability graphs and containment graphs, graphs whose vertices represent sets, with edges indicating set containment. A few years earlier, McMorris and Zaslavsky characterized upper bound graphs, those derived from partially ordered sets where two elements share an edge if they have a common upper bound, by a specific edge clique cover condition. In this paper, we introduce a unifying framework for these results using finite point set topologies. Given a finite topology, we define a graph whose vertices correspond to its elements, with edges determined by intersections of their minimal containing sets, where intersection is understood in terms of the topological separation axioms. This construction yields a natural sequence of graph classes, one for each separation axiom, that connects and extends both classical results in a structured and intuitive way.
Matroid polytopes with small rank
Published
• View Publication
• BIB
For a lattice polytope $P$, the rank of $P$ is defined by $F-(\dim P+1)$, where $F$ is the number of facets of $P$. In this paper, we study matroid polytopes with small rank. More precisely, we characterize matroid independence polytopes and graphic matroid base polytopes with rank at most three. Furthermore, using this characterization, we investigate their relationships with order polytopes, stable set polytopes, and edge polytopes.
Helly-type theorems for monotone properties of boxes
We present a unified approach to prove Helly-type theorems for monotone properties of boxes, such as having large volume or containing points from a given set. As a corollary, we obtain new proofs for several earlier results regarding specific monotone properties. Our results generalise to $H$-convex sets as well.
Big Ramsey degrees and the two-branching pseudotree
We prove that each finite chain in the two-branching countable ultrahomogeneous pseudotree has finite big Ramsey degrees. This is in contrast to the recent result of Chodounský, Eskew, and Weinert that antichains of size two have infinite big Ramsey degree in the pseudotree. Combining a lower bound result of theirs with work in this paper shows that chains of length two in the pseudotree have big Ramsey degree exactly seven. The pseudotree is the first example of a countable ultrahomogeneous structure in a finite language in which some finite substructures have finite big Ramsey degrees while others have infinite big Ramsey degrees.
Large subsets avoiding algebraic patterns
We prove the existence of a subset of the reals with large sumset and avoiding all linear patterns. This extends a result of Körner, who had shown that for any integer $q \geq 1$, there exists a subset $K$ of $\mathbb{R}/\mathbb{Z}$ satisfying no non-trivial linear relations of order $2q-1$ and such that $q.K$ has positive Lebesgue measure. With our method based on transfinite induction, we produce a set with positive measure avoiding all integral linear patterns, at the price of speaking of outer Lebesgue measure. We also discuss questions of measurability of such sets. We then provide constructions of subsets of $\mathbb{R}^n$ avoiding certain non-linear patterns and with maximal Hausdorff dimension.
Piecewise-exponential functions and Ehrhart fans
Published
• View Publication
• BIB
This paper studies rings of integral piecewise-exponential functions on rational fans. Motivated by lattice-point counting in polytopes, we introduce a special class of unimodular fans called Ehrhart fans, whose rings of integral piecewise-exponential functions admit a canonical linear functional that behaves like a lattice-point count. In particular, we verify that all complete unimodular fans are Ehrhart and that the Ehrhart functional agrees with lattice-point counting in corresponding polytopes, which can otherwise be interpreted as holomorphic Euler characteristics of vector bundles on smooth toric varieties. We also prove that all Bergman fans of matroids are Ehrhart and that the Ehrhart functional in this case agrees with the Euler characteristic of matroids, introduced recently by Larson, Li, Payne, and Proudfoot. A key property that we prove about the Ehrharticity of fans is that it only depends on the support of the fan, not on the fan structure, thus providing a uniform framework for studying K-rings and Euler characteristics of complete fans and Bergman fans simultaneously.
Tropical Bisectors and Carlini-Wagner Attacks
Pasque et al. showed that using a tropical symmetric metric as an activation function in the last layer can improve the robustness of convolutional neural networks (CNNs) against state-of-the-art attacks, including the Carlini-Wagner attack. This improvement occurs when the attacks are not specifically adapted to the non-differentiability of the tropical layer. Moreover, they showed that the decision boundary of a tropical CNN is defined by tropical bisectors. In this paper, we explore the combinatorics of tropical bisectors and analyze how the tropical embedding layer enhances robustness against Carlini-Wagner attacks. We prove an upper bound on the number of linear segments the decision boundary of a tropical CNN can have. We then propose a refined version of the Carlini-Wagner attack, specifically tailored for the tropical architecture. Computational experiments with MNIST and LeNet5 showcase our attacks improved success rate.
Combinatorics of factorization systems on lattices
We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed lattice. We ultimately uncover an intricate web of relations with such diverse combinatorial structures as submonoids, monads, Moore systems, transfer systems (from stable equivariant homotopy theory), and poly-Bernoulli numbers.
When do graph covers preserve the clique dynamics of infinite graphs?
Published
• View Publication
• BIB
We investigate for which classes of (potentially infinite) graphs the clique dynamics is cover stable, i. e., when clique convergence/divergence is preserved under triangular covering maps. We first present an instructive counterexample: a clique convergent graph which covers a clique divergent graph and which is covered by a clique divergent graph. Based on this we then focus on local conditions (i. e., conditions on the neighbourhoods of vertices) and show that the following are sufficient to imply cover stability: local girth $\geq 7$ and local minimum degree $\geq 2$; being locally cyclic and of minimum degree $\geq 6$.
The Terwilliger algebra of digraphs I -- Hamming digraph $H^*(d,3)$
In the present paper, we define the Terwilliger algebra of digraphs. Then, we determine the irreducible modules of the Terwilliger algebra of a Hamming digraph $H^*(d,3)$. As is well known, the representation of the Terwilliger algebra of a binary Hamming graph $H(d,2)$ is closely related to that of the Lie algebra $\mathit{sl}_2(\mathbb{C})$. We show that in the case of $H^*(d,3)$, it is related to that of the Lie algebra $\mathit{sl}_3(\mathbb{C})$. We also identify the Terwilliger algebra of $H^*(d,3)$ as the $d$ symmetric tensor algebra of ${\rm Mat}_3(\mathbb{C})$.
The number of irreducibles in the plethysm $s_λ[s_m]$
We give a formula for the number of irreducibles (with multiplicity) in the decomposition of the plethysm $s_λ[s_m]$ of Schur functions in terms of the number of lattice points in certain rational polytopes. In the case where $λ= n$ consists of a single part, we will give a combinatorial interpretation of this number as the cardinality of a set of matrices modulo permutation equivalence. This is also the setting of Foulkes' conjecture, and our results allow us to state a weaker version that only involves comparing the cardinalities of such sets, rather than the multiplicities of irreducible representations.
Geometric designs and Hilbert-Kamke equations of degree five for classical orthogonal polynomials
Published
• View Publication
• BIB
In this paper we elucidate the advantage of examining the connections between Hilbert-Kamke equations and geometric designs, or Chebyshev-type quadrature, for classical orthogonal polynomials. We first establish that if a $5$-design with $6$ rational points for a symmetric classical measure is parametrized by rational functions, then the corresponding measure should be the Chebyshev measure $(1-t^2)^{-1/2}dt/π$ on $(-1,1)$. Our proof is based on the collaboration of a certain polynomial identity and some advanced techniques on the computation of the genus of a certain irreducible curve. Next, we prove a necessary and sufficient condition for the existence of rational $5$-designs for the Chebyshev measure. Moreover, as one of our main theorems, we construct an infinite family of ideal solutions for the Prouhet-Tarry-Escott (PTE) problem by utilizing rational $5$-designs for the Chebyshev measure, and then establish that, up to affine equivalence over $\mathbb{Q}$, such ideal solutions are included in the famous parametric solutions found by Borwein (2002).
On the second-largest modulus among the eigenvalues of a power hypergraph
Published
• View Publication
• BIB
It is well known that the algebraic multiplicity of an eigenvalue of a graph (or real symmetric matrix) is equal to the dimension of its corresponding linear eigen-subspace, also known as the geometric multiplicity. However, for hypergraphs, the relationship between these two multiplicities remains an open problem. For a graph $G=(V,E)$ and $k \geq 3$, the $k$-power hypergraph $G^{(k)}$ is a $k$-uniform hypergraph obtained by adding $k-2$ new vertices to each edge of $G$, who always has non-real eigenvalues. In this paper, we determine the second-largest modulus $Λ$ among the eigenvalues of $G^{(k)}$, which is indeed an eigenvalue of $G^{(k)}$. The projective eigenvariety $\mathbb{V}_Λ$ associated with $Λ$ is the set of the eigenvectors of $G^{(k)}$ corresponding to $Λ$ considered in the complex projective space. We show that the dimension of $\mathbb{V}_Λ$ is zero, i.e, there are finitely many eigenvectors corresponding to $Λ$ up to a scalar. We give both the algebraic multiplicity of $Λ$ and the total multiplicity of the eigenvector in $\mathbb{V}_Λ$ in terms of the number of the weakest edges of $G$. Our result show that these two multiplicities are equal.