Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Infinite Cliques in Simple and Stable Graphs
Published in Model Th. 4 (2025) 231-249
• View Publication
• BIB
Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.
Mixing on Generalized Associahedra
Published
• View Publication
• BIB
Eppstein and Frishberg recently proved that the mixing time for the simple random walk on the $1$-skeleton of the associahedron is $O(n^3\log^3 n)$. We obtain similar rapid mixing results for the simple random walks on the $1$-skeleta of the type-$B$ and type-$D$ associahedra. We adapt Eppstein and Frishberg's technique to obtain the same bound of $O(n^3\log^3 n)$ in type $B$ and a bound of $O(n^{13} \log^2 n)$ in type $D$; in the process, we establish an expansion bound that is tight up to logarithmic factors in type $B$.
A Bollobáss-type theorem on singular linear spaces
Bollobás-type theorem determines the maximum cardinality of a Bollobás system of sets. The original result has been extended to various mathematical structures beyond sets, including vector spaces and affine spaces. This paper generalizes the Bollobás-type theorem to singular linear spaces, and determine the maximum cardinality of (skew) Bollobás systems on them.
Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles
Published in J Appl. and Comput. Topology 9, 21 (2025)
• View Publication
• BIB
For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to a disjoint union of points and circles when both $G$ and $H$ are cycles. We generalize this known result by showing that the same holds whenever $G$ is connected and $H$ is a cycle. To this end, we explicitly construct the universal cover of each connected component of $\mathrm{Hom}(G,H)$ and prove that it is contractible. Additionally, we provide a simple criterion to determine whether the connected component containing a given homomorphism is homotopy equivalent to a point or circle.
Moment-angle manifolds corresponding to three-dimensional simplicial spheres, chordality and connected sums of products of spheres
We prove that the moment-angle complex $\mathcal Z_K$ corresponding to a 3-dimensional simplicial sphere $K$ has the cohomology ring isomorphic to the cohomology ring of a connected sum of products of spheres if and only if either (a) $K$ is the boundary of a 4-dimensional cross-polytope, or (b) the one-skeleton of $K$ is a chordal graph, or (c) there are only two missing edges in $K$ and they form a chordless 4-cycle. For simplicial spheres $K$ of arbitrary dimension, we obtain a sufficient condition for the ring isomorphism $H^*(\mathcal Z_K)\cong H^*(M)$ where $M$ is a connected sum of products of spheres.
Discrete Laplacians -- spherical and hyperbolic
Published in J. London Math. Soc. (2025)
• View Publication
• BIB
The discrete Laplacian on Euclidean triangulated surfaces is a well-established notion. We introduce discrete Laplacians on spherical and hyperbolic triangulated surfaces. On the one hand, our definitions are close to the Euclidean one in that the edge weights contain the cotangents of certain combinations of angles and are non-negative if and only if the triangulation is Delaunay. On the other hand, these discretizations are structure-preserving in several respects. We prove that the area of a convex polyhedron can be written in terms of the discrete spherical Laplacian of the support function, whose expression is the same as the area of a smooth convex body in terms of the usual spherical Laplacian. We show that the conformal factors of discrete conformal vector fields on a triangulated surface of curvature $k \in \{-1,1\}$ are $-2k$-eigenfunctions of our discrete Laplacians, exactly as in the smooth setting. The discrete conformality can be understood here both in the sense of the vertex scaling and in the sense of circle patterns. Finally, we connect the $-2k$-eigenfunctions to infinitesimal isometric deformations of a polyhedron inscribed into corresponding quadrics.
Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$
It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $ρ_θ$ is orthogonal projection to the line spanned by $( \cos θ, \sin θ, 1 )$, then $ρ_θ(A)$ has positive length for all $θ$ outside a set of Hausdorff dimension at most $\frac{3-\dim A}{2}$.
On a conjecture by Sylwia Cichacz and Tomasz Hinc, and a related problem
Published
• View Publication
• BIB
A $Γ$-magic rectangle set $\mathrm{MRS}_Γ(a, b; c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are the elements of an abelian group $Γ$ of order $abc$, each one appearing once and in a unique array in such a way that the sum of the elements of each row is equal to a constant $ω\in Γ$ and the sum of the elements of each column is equal to a constant $δ\in Γ$. In this paper we provide new evidences for the validity of a conjecture proposed by Sylwia Cichacz and Tomasz Hinc on the existence of an $\mathrm{MRS}_Γ(a,b;c)$. We also generalize this problem, describing constructions of $Γ$-magic rectangle sets, whose elements are partially filled arrays.
Irreducible characters of the generalized symmetric group
Published in J. Lie Theory 35 (2025), 593--616
• View Publication
• BIB
The paper studies how to compute irreducible characters of the generalized symmetric group $C_k\wr{S}_n$ by iterative algorithms. After reproving the Ariki-Koike version of the Murnaghan-Nakayama rule by vertex algebraic methods, we formulate a new iterative formula for characters of the generalized symmetric group. As applications, we find a numerical relation between the character values of $C_k\wr S_n$ and modular characters of $S_{kn}$.
On local antimagic chromatic numbers of the join of two special families of graphs
Published
• View Publication
• BIB
It is known that null graphs and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we use matrices of size $(2m+1) \times (2k+1)$ to completely determine the local antimagic chromatic number of the join of null graphs, $O_m, m\ge 1,$ and 1-regular graphs of odd components, $(2k+1)P_2$, $k\ge 1$. Consequently, we obtained infinitely many (possibly disconnected or regular) tripartite graphs with local antimagic chromatic number 3.
Functional Equations and Pole Structure of the Bartholdi Zeta Function
In this paper, we investigate the Bartholdi zeta function on a connected simple digraph with $n_V$ vertices and $n_E$ edges. We derive a functional equation for the Bartholdi zeta function $ζ_G(q,u)$ on a regular graph $G$ with respect to the bump parameter $u$. We also find an equivalence between the Bartholdi zeta function with a specific value of $u$ and the Ihara zeta function at $u=0$. We determine bounds of the critical strip of $ζ_G(q,u)$ for a general graph. If $G$ is a $(t+1)$-regular graph, the bounds are saturated and $q=(1-u)^{-1}$ and $q=(t+u)^{-1}$ are the poles at the boundaries of the critical strip for $u\ne 1, -t$. When $G$ is the regular graph and the spectrum of the adjacency matrix satisfies a certain condition, $ζ_G(q,u)$ satisfies the so-called Riemann hypothesis. For $u \ne 1$, $q=\pm(1-u)^{-1}$ are poles of $ζ_G(q,u)$ unless $G$ is tree. Although the order of the pole at $q=(1-u)^{-1}$ is $n_E-n_V+1$ if $u\ne u_* \equiv 1-\frac{n_E}{n_V}$, it is enhanced at $u=u_*$. In particular, if the Moore-Penrose inverse of the incidence matrix $L^+$ and the degree vector $\vec{d}$ satisfy the condition $|L^+ \vec{d}|^2\ne n_E$, the order of the pole at $q=(1-u)^{-1}$ increases only by one at $u=u_*$. The order of the pole at $q=-(1-u)^{-1}$ coincides with that at $q=(1-u)^{-1}$ if $G$ is bipartite and is $n_E-n_V$ otherwise.
An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings II
Published
• View Publication
• BIB
We continue our investigation of Erdős-Ko-Rado (EKR) sets of flags in spherical buildings. In previous work, we used the theory of buildings and Iwahori-Hecke algebras to obtain upper bounds on their size. As the next step towards the classification of the maximal EKR-sets, we describe the eigenspaces for the smallest eigenvalue of the opposition graphs. We determine their multiplicity and provide a combinatorial description of spanning sets of these subspaces, from which a complete description of the maximal Erdős-Ko-Rado sets of flags may potentially be found. This was recently shown to be possible for type $A_n$, $n$ odd, by Heering, Lansdown, and the last author by making use of the current work.
Vertex-critical graphs in co-gem-free graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$ and $(G,H)$-free if it contains no induced subgraph isomorphic to $G$ or $H$. We show that there are only finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$ when $H$ is any graph of order $4$ by showing finiteness in the three remaining open cases, those are the cases when $H$ is $2P_2$, $K_3+P_1$, and $K_4$. For the first two cases we actually prove the stronger results:
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k$ and that only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k\ge 1$.
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, $P_5$, $P_3+cP_2$)-free graphs for all $k\ge 1$ and $c\ge 0$.
To prove the latter result, we employ a novel application of Sperner's Theorem on the number of antichains in a partially ordered set. Our result for $K_4$ uses exhaustive computer search and is proved by showing the stronger result that every $(\text{co-gem, }K_4)$-free graph is $4$-colourable. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of (co-gem, $H$)-free graphs for all $k$ and all $H$ of order $4$ by searching the vertex-critical graphs as induced subgraphs.
An activities expansion of the transition polynomial of a multimatroid
Published
• View Publication
• BIB
The weighted transition polynomial of a multimatroid is a generalization of the Tutte polynomial. By defining the activity of a skew class with respect to a basis in a multimatroid, we obtain an activities expansion for the weighted transition polynomial. We also decompose the set of all transversals of a multimatroid as a union of subsets of transversals. Each term in the decomposition has the structure of a boolean lattice, and each transversal belongs to a number of terms depending only on the sizes of some of its skew classes. Further expressions for the transition polynomial of a multimatroid are obtained via an equivalence relation on its bases and by extending Kochol's theory of compatible sets.
We apply our multimatroid results to obtain a result of Morse about the transition polynomial of a delta-matroid and get a partition of the boolean lattice of subsets of elements of a delta-matroid determined by the feasible sets. Finally, we describe how multimatroids arise from graphs embedded in surfaces and apply our results to obtain an activities expansion for the topological transition polynomial. Our work extends results for the Tutte polynomial of a matroid.
Odd Covers of Complete Graphs and Hypergraphs
Published
• View Publication
• BIB
The `odd cover number' of a complete graph is the smallest size of a family of complete bipartite graphs that covers each edge an odd number of times. For $n$ odd, Buchanan, Clifton, Culver, Nie, O'Neill, Rombach and Yin showed that the odd cover number of $K_n$ is equal to $(n+1)/2$ or $(n+3)/2$, and they conjectured that it is always $(n+1)/2$. We prove this conjecture.
For $n$ even, Babai and Frankl showed that the odd cover number of $K_n$ is always at least $n/2$, and the above authors and Radhakrishnan, Sen and Vishwanathan gave some values of $n$ for which equality holds. We give some new examples.
Our constructions arise from some very symmetric constructions for the corresponding problem for complete hypergraphs. Thus the odd cover number of the complete 3-graph $K_n^{(3)}$ is the smallest number of complete 3-partite 3-graphs such that each 3-set is in an odd number of them. We show that the odd cover number of $K_n^{(3)}$ is exactly $n/2$ for even $n$, and we show that for odd $n$ it is $(n-1)/2$ for infinitely many values of $n$. We also show that for $r=3$ and $r=4$ the odd cover number of $K_n^{(r)}$ is strictly less than the partition number, answering a question of Buchanan, Clifton, Culver, Nie, O'Neill, Rombach and Yin for those values of $r$.
A note on semi-transitivity of Mycielski graphs
An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes several important graph classes. The Mycielski graph of an undirected graph is a larger graph constructed in a specific manner, which maintains the property of being triangle-free but increases the chromatic number.
In this note, we prove Hameed's conjecture, which states that the Mycielski graph of a graph $G$ is semi-transitive if and only if $G$ is a bipartite graph. Notably, our solution to the conjecture provides an alternative and shorter proof of the Hameed's result on a complete characterization of semi-transitive extended Mycielski graphs.
An integral representation of Catalan numbers using Malmstén's formula
In this article, we propose an integral expression of the Catalan numbers, based on Malmstén's definite-integral representation of $\ln\left[Γ(x)\right]$, $Γ$ being the usual Gamma function. The obtained expression is likely to yield new summations involving Catalan numbers or central binomial coefficients.
Random Subwords and Pipe Dreams
Fix a probability $p\in(0,1)$. Let $s_i$ denote the transposition in the symmetric group $\mathfrak{S}_n$ that swaps $i$ and $i+1$. Given a word $\mathsf{w}$ over the alphabet $\{s_1,\ldots,s_{n-1}\}$, we can generate a random subword by independently deleting each letter of $\mathsf{w}$ with probability $1-p$. For a large class of starting words $\mathsf{w}$ -- including all alternating reduced words for the decreasing permutation -- we compute precise asymptotics (as $n\to\infty$) for the expected number of inversions of the permutation represented by the random subword. This result can also be seen as an asymptotic formula for the expected number of inversions of a permutation represented by a certain random (non-reduced) pipe dream. In the special case when $\mathsf{w}$ is the word $(s_{n-1})(s_{n-2}s_{n-1})\cdots(s_1s_2\cdots s_{n-1})$, we find that the expected number of inversions of the permutation represented by the random subword is asymptotically equal to \[\frac{2\sqrt{2}}{3\sqrtπ}\sqrt{\frac{p}{1-p}}\,n^{3/2};\] this settles a conjecture of Morales, Panova, Petrov, and Yeliussizov.
Homotopy $n$-types of cubical sets and graphs
We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an analogous model structure can be constructed on the category of cubical sets, and use it to equip the category of (simple) graphs with a fibration category structure whose weak equivalences are discrete $n$-equivalences.
Key-avoidance for alternating sign matrices
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (March 13, 2025) dmtcs:14058
• View Publication
• BIB
We initiate a systematic study of key-avoidance on alternating sign matrices (ASMs) defined via pattern-avoidance on an associated permutation called the \emph{key} of an ASM. We enumerate alternating sign matrices whose key avoids a given set of permutation patterns in several instances. We show that ASMs whose key avoids $231$ are permutations, thus any known enumeration for a set of permutation patterns including $231$ extends to ASMs. We furthermore enumerate by the Catalan numbers ASMs whose key avoids both $312$ and $321$. We also show ASMs whose key avoids $312$ are in bijection with the gapless monotone triangles of [Ayyer, Cori, Gouyou-Beauchamps 2011]. Thus key-avoidance generalizes the notion of $312$-avoidance studied there. Finally, we enumerate ASMs with a given key avoiding $312$ and $321$ using a connection to Schubert polynomials, thereby deriving an interesting Catalan identity.