Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Signed counting of partition matrices
Published
• View Publication
• BIB
We prove that the signed counting (with respect to the parity of the ``$\operatorname{inv}$'' statistic) of partition matrices equals the cardinality of a subclass of inversion sequences. In the course of establishing this result, we introduce an interesting class of partition matrices called improper partition matrices. We further show that a subset of improper partition matrices is equinumerous with the set of Motzkin paths. Such an equidistribution is established both analytically and bijectively.
On tetravalent half-arc-transitive graphs
Published
• View Publication
• BIB
Vertex-stabilizers of trivalent edge-transitive graphs have been classified by Tutte, Goldschmidt and some others in several previous papers. Tetravalent half-arc-transitive graphs form an important class of tetravalent edge-transitive graphs. Marušič and Nedela (2001) initiated the study of the problem of classifying vertex-stabilizers of tetravalent half-arc-transitive graphs, which has received extensive attention and considerable effort in the literature. In this paper, we solve this problem by proving that a group is the vertex-stabilizer of a connected tetravalent half-arc-transitive graph if and only if it is a non-trivial concentric group. Note that a characterization of concentric groups has been given by Marušič and Nedela in 2001. Furthermore, we give an explicit construction of an infinite family of tetravalent half-arc-transitive graphs with automorphism group isomorphic to $A_{2^n}\wr \mathbb{Z}_2$ and vertex-stabilizers isomorphic to $(D_8^2\times\mathbb{Z}_{2}^{n-6})^2$ for $n\geq7$. These are the first known family of basic tetravalent half-arc-transitive graphs of bi-quasiprimitive type.
On the Number of Path Systems
A path system in a graph $G$ is a collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We show that the number of consistent path systems on $n$ vertices is $n^{\frac{n^2}{2}(1-o(1))}$, whereas the number of consistent path systems which are realizable as the unique geodesics w.r.t. some metric is only $2^{Θ(n^2)}$.
In addition, these insights allow us to improve known bounds on the face-count of the metric cone and shed new light on enumerating maximum-VC-classes.
Nice vertices in cubic graphs
Published in Discrete Mathematics, 348 (2025) 114553
• View Publication
• BIB
A subgraph $G'$ of a graph $G$ is nice if $G-V(G')$ has a perfect matching. Nice subgraphs play a vital role in the theory of ear decomposition and matching minors of matching covered graphs. A vertex $u$ of a cubic graph is nice if $u$ and its neighbors induce a nice subgraph. D. Král et al. (2010) [9] showed that each vertex of a cubic brick is nice. It is natural to ask how many nice vertices a matching covered cubic graph has. In this paper, using some basic results of matching covered graphs, we prove that if a non-bipartite cubic graph $G$ is 2-connected, then $G$ has at least 4 nice vertices; if $G$ is 3-connected and $G\neq K_4$, then $G$ has at least 6 nice vertices. We also determine all the corresponding extremal graphs.
For a cubic bipartite graph $G$ with bipartition $(A,B)$, a pair of vertices $a\in A$ and $b\in B$ is called a nice pair if $a$ and $b$ together with their neighbors induce a nice subgraph. We show that a connected cubic bipartite graph $G$ is a brace if and only if each pair of vertices in distinct color classes is a nice pair. In general, we prove that $G$ has at least 9 nice pairs of vertices and $K_{3,3}$ is the only extremal graph.
Finite $N$ precursors of the free cumulants
Published
• View Publication
• BIB
We study $\mathrm{U}(N)$ invariant polynomials on the space of $N\times N$ matrices first introduced by Capitaine and Casalis, that are precursors of free cumulants in various respects. First, they are polynomials of deterministic matrices, that are not yet evaluated over some probability law, contrary to what is usually meant by cumulants. Secondly, they converge towards the algebraic expression of free cumulants in terms of moments as $N\to \infty$, with $1/N^2$ corrections expressed in terms of monotone Hurwitz numbers. Their most crucial property is their additivity with respect to averaging over sums of $\mathrm{U}(N)$ conjugacy orbits, providing a finite $N$ version of the well-known additivity of free cumulants in free probability. Finally, they extend several properties of free cumulants at finite $N$, including a Wick rule for their average over a Gaussian weight and their appearance in various matrix integrals. Building on the additivity property of these precursors, we also define and compute a coproduct describing the behaviour of general invariant polynomials with respect to the addition of $\mathrm{U}(N)$ conjugacy orbits, as well as their expectation values on sums of $\mathrm{U}(N)$-invariant random matrices. In our construction, a central role is played by the so-called HCIZ integral, both for the definition of the precursors and for the derivation of their properties.
Irreducible Combinatorially Symmetric Sign Patterns Requiring a Unique Inertia
Published
• View Publication
• BIB
A sign pattern is a matrix whose entries belong to the set $\{+,-,0\}$. A sign pattern requires a unique inertia if every real matrix in its qualitative class has the same inertia. Symmetric tree sign patterns requiring a unique inertia has been studied extensively in \cite{2001, 2001a, 2018}. Necessary and sufficient conditions in terms of the symmetric minimal and maximal rank, as well as conditions depending on the position and sign of the loops in the underlying graph of such patterns has been used to characterize inertia of symmetric tree sign patterns. In this paper, we consider combinatorially symmetric sign patterns with a $0$-diagonal and identify some such patterns with interesting combinatorial properties, which does not require a unique inertia. Initially, we begin with combinatorially symmetric tree sign patterns with a $0$-diagonal, with a special focus on tridiagonal sign patterns. We then consider patterns whose underlying undirected graph contain cycles but no loops, and we derive necessary conditions based on the sign of the edges and the distance between the cycles in the underlying graph for such patterns to require a unique inertia.
On the isolation number of graphs with minimum degree four
Published
• View Publication
• BIB
An isolating set in a graph $G$ is a set $S$ of vertices such that removing $S$ and its neighborhood leaves no edge. The isolation number $ι(G)$ of $G$ (also known as the vertex-edge domination number) is the minimum size among all isolating sets of $G$. We provide a technique for proving upper bounds on this parameter for graphs with a given minimum degree. For example, we show that if $G$ has order~$n$ and minimum degree at least~$4$, then $ι(G) \le 13n/41$, and if $G$ is also triangle-free, then $ι(G) \le 3n/10$.
A proof of the Briançon-Iarrobino Conjecture in three dimensions
We resolve the 1978 Briançon-Iarrobino Conjecture regarding the maximum singularity of $\mathcal{H}=\mathrm{Hilb}^{l}(\mathbb{A}^3)$, where $l$ is a tetrahedral number, by refining the work of Ramkumar-Sammartano in \cite{Ramkumar-Sammartano}. This also immediately implies the conjectural necessary condition for a point of $\mathcal{H}$ to have the maximal singularity, suggested by the second-named author in \cite{Rezaee-23-Conjectures}. In a sequel to this article, \cite{Mackenzie-Rezaee2}, we prove a generalized version of this conjecture for certain non-tetrahedral $l$, via proving the conjectural necessary condition.
When Many Trees Go to War: On Sets of Phylogenetic Trees With Almost No Common Structure
Published
• View Publication
• BIB
It is known that any two trees on the same $n$ leaves can be displayed by a network with $n-2$ reticulations, and there are two trees that cannot be displayed by a network with fewer reticulations. But how many reticulations are needed to display multiple trees? For any set of $t$ trees on $n$ leaves, there is a trivial network with $(t - 1)n$ reticulations that displays them. To do better, we have to exploit common structure of the trees to embed non-trivial subtrees of different trees into the same part of the network. In this paper, we show that for $t \in o(\sqrt{\lg n})$, there is a set of $t$ trees with virtually no common structure that could be exploited. More precisely, we show for any $t\in o(\sqrt{\lg n})$, there are $t$ trees such that any network displaying them has $(t-1)n - o(n)$ reticulations. For $t \in o(\lg n)$, we obtain a slightly weaker bound. We also prove that already for $t = c\lg n$, for any constant $c > 0$, there is a set of $t$ trees that cannot be displayed by a network with $o(n \lg n)$ reticulations, matching up to constant factors the known upper bound of $O(n \lg n)$ reticulations sufficient to display \emph{all} trees with $n$ leaves. These results are based on simple counting arguments and extend to unrooted networks and trees.
Irreversible $k$-Threshold Conversion Number of Corona Product and Double Corona Product Graphs
This paper studies the irreversible $k$-threshold process on graphs, where a vertex becomes colored if at least $k$ neighbors are colored and remains colored indefinitely. We investigate vertex sets that, when initially colored, lead to a completely colored graph. The graphs under initial consideration are constructed using the corona product of cyclic graphs and complete graphs. We then introduce and explore double corona product graphs (of cyclic graphs and complete graphs) to study more complex topologies and their impact on the coloring propagation. We further extend the theory by introducing a probabilistic approach to the coloring dynamics. Our findings provide insights into the interplay between graph structure and saturation dynamics by extending the theory to new families of graphs and introducing a probabilistic approach with potential applications in epidemiology and social influence modeling.
Improvement on line transversals of families of connected sets in the plane
Published
• View Publication
• BIB
Three lines are concurrent if they intersect at a single point. In this paper I prove that if $F$ is a bounded family of compact connected sets in the plane, such that every three sets in $F$ can be pierced by a single line, then there exists three concurrent lines in the plane such that the union of the three lines intersect every member of $F$. This had previously only been proven for lines that are not required to be concurrent by McGinnis and Zerbib in arXiv:2103.05565v2. In fact, I prove a more general, ``colorful'' version of this result: If $F_1, \dots , F_5$ are bounded families of compact connected sets in the plane such that every three sets, chosen from three distinct families $F_i$, can be pierced by a single line, then there exists $1 \leq j \leq 5$ and three concurrent lines, such that the union of the three lines intersect every member of $F_j$. McGinnis and Zerbib had 6 families instead of 5, so I also improve their result in this respect. Moreover, the result can also be extended to unbounded families, if we allow the piercing lines to be parallel.
Epsilon-saturation for stable graphs and Littlestone classes
Any Littlestone class, or stable graph, has finite sets which function as ``virtual elements'': these can be seen from the learning side as representing hypotheses which are expressible as weighted majority opinions of hypotheses in the class, and from the model-theoretic side as an approximate finitary version of realizing types. We introduce and study the epsilon-saturation of a Littlestone class, or stable graph, which is essentially the closure of the class under inductively adding all such virtual elements. We characterize this closure and prove that under reasonable choices of parameters, it remains Littlestone (or stable), though not always of the same Littlestone dimension. This highlights some surprising phenomena having to do with regimes of epsilon and the relation between Littlestone/stability and VC dimension.
The sandglass conjecture beyond cancellative pairs
The sandglass conjecture, posed by Simonyi, states that if a pair $(A, B)$ of families of subsets of $[n]$ is recovering then $|A| |B| \leq 2^n$. We improve the best known upper bound to $|A| |B| \leq 2.2543^n$. To do this we overcome a significant barrier by exponentially separating the upper bounds on recovering pairs from cancellative pairs, a related notion.
Generalization and Power of Kocay's Lemma in Graph Reconstruction
This paper generalizes Kocay's lemma, with particular applications to graph reconstruction, as well as discussing and proving aspects around the power of these generalizations and Kocay's original lemma, with a result on the reconstruction of the multiplicity of a tree T as a subgraph of G.
On the probability of generating matrix incidence rings
Published
• View Publication
• BIB
The probability that a tuple of matrices together with all scalars generates a finite incidence ring is calculated. It is proved that all real and complex finite-dimensional incidence algebras are generated by two randomly chosen matrices.
String Graph Obstacles of High Girth and of Bounded Degree
A string graph is the intersection graph of curves in the plane. Kratochvíl previously showed the existence of infinitely many obstacles: graphs that are not string graphs but for which any edge contraction or vertex deletion produces a string graph. Kratochvíl's obstacles contain arbitrarily large cliques, so they have girth three and unbounded degree. We extend this line of working by studying obstacles among graphs of restricted girth and/or degree. We construct an infinite family of obstacles of girth four; in addition, our construction is $K_{2,3}$-subgraph-free and near-planar (planar plus one edge). Furthermore, we prove that there is a subcubic obstacle of girth three, and that there are no subcubic obstacles of high girth. We characterize the subcubic string graphs as having a matching whose contraction yields a planar graph, and based on this characterization we find a linear-time algorithm for recognizing subcubic string graphs of bounded treewidth.
Combinatorial proof of a permuted basement Macdonald polynomial identity
Published
• View Publication
• BIB
A well-known and fundamental property of the Macdonald polynomials $P_λ(x;q,t)$ is their invariance under the transformation sending $(q,t)$ to $(q^{-1},t^{-1})$. Recently, Concha and Lapointe showed that this property extends in an interesting, nontrivial way to an identity for partially symmetric Macdonald polynomials. Their identity played a key role in the work of Bechtloff Weising and Orr linking partially symmetric Macdonald polynomials to parabolic flag Hilbert schemes. In this paper, we refine the Concha-Lapointe identity to a sub-family of Alexandersson's permuted basement Macdonald polynomials and give a combinatorial proof of the refined identity. We show also that the Concha-Lapointe identity is equivalent to the assertion that (normalized) partially symmetric Macdonald polynomials are fixed under the Kazhdan-Lusztig involution.
Three Generalizations of Erdős Szekeres: $k$-Modal Subsequences
Erdős and Szekeres showed that given a permutation $p$ of $[n]$, and the sequence defined by \newline $(p(1), p(2), \ldots, p(n))$, there exists either a decreasing or increasing subsequence, not necessarily contiguous, of length at least $\sqrt{n}$. Fan Chung considered subsequences that can have at most one change of direction, i.e. an increasing and then decreasing subsequence, or a decreasing and then increasing subsequence. She called these unimodal subsequences, and showed there exists a unimodal subsequence of length at least $\sqrt{3n}$, up to some constants \cite{chung}. She conjectured that a permutation of $n$ contains a $k$-modal (at most $k$ changes in direction) subsequence of length at least $\sqrt{(2k+1)n}$ up to some constants. Zijian Xu proved this conjecture in 2024 \cite{xu}, and we will provide another substantially different proof using "sophisticated labeling arguments" instead of "underlying poset structures behind k-modal subsequences." We also show that there exists an increasing first $k$-modal subsequence of length at least $\sqrt{2kn}$.
Binomial edge rings associated to skew Ferrers diagrams
In this study, we investigate the binomial edge ring associated with the skew Ferrers diagram. By employing Sagbi basis theory, we construct a quadratic Gröbner basis for its defining ideal. As an application, we prove that this ring is a Koszul, Cohen-Macaulay, normal domain. Moreover, we precisely determine its Krull dimension.
A map between arborifications of multiple zeta values
Published
• View Publication
• BIB
Arborified multiple zeta values are a generalization of multiple zeta values associated with rooted trees. There are two types of decorated rooted trees, corresponding respectively to the series and the integral expressions. Manchon introduces the contracting arborification (resp. the simple arborification), which is maps from the BCK Hopf algebras of the decorated rooted trees corresponding to the series expression (resp. the integral expression) to the non-commutative polynomial algebras of the set $\mathbb{N}$ (resp. the set $\{0,1\}$). There is a natural map between the two non-commutative polynomial algebras. Manchon posed the question of finding a natural map between the two BCK Hopf algebras that would make the diagram commutative. In this paper, we consider planar rooted trees and use a recursive method to construct such a map between the two BCK Hopf algebras, making the diagram commutative.