Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Limits of sparse hypergraphs
We generalize ultraproducts and local-global limits of graphs to hypergraphs and other structures. We show that the local statistics of an ultraproduct of a sequence of hypergraphs are the ultralimits of the local statistics of the hypergraphs. Using some standard results from model theory, we conclude that the space of (equivalence classes of) pmp hypergraphs with the topology of local-global convergence is compact, and that any countable set of local statistics for a pmp hypergraph can be realized as the statistics of a set of labellings (rather than just approximated) in a local-global equivalent hypergraph.
We give two applications. First, we characterize those structures where any solution to the corresponding CSP can be turned into a measurable solution. These turn out to be the width-1 structures. We can also use the limit machinery to extract from this theorem a purely finitary characterizations of width-1 structures involving asymptotic solutions.
Second, we prove two measurable versions of the Frankl--Rödl matching theorem using measurable nibble and differential equation arguments. The measurable proofs are much softer than the purely finitary results. And, we can recover the finitary theorems using the limit machinery.
Congruences involving Delannoy numbers and Schröder numbers
The central Delannoy numbers $D_n=\sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}$ and the little Schröder number $s_n=\sum_{k=1}^{n}\frac{1}{n}\binom{n}{k}\binom{n}{k-1}2^{n-k}$ are important quantities. In this paper, we confirm \[\frac{2}{3n(n+1)}\sum_{k=1}^n (-1)^{n-k}k^2D_kD_{k-1}\ \text{and}\ \ \frac 1n\sum_{k=1}^n (-1)^{n-k}(4k^2+2k-1)D_{k-1}s_k\]are positive odd integers for all $n=1,2,3,\cdots$. We also show that for any prime number $p>3$, \[\sum_{k=1}^{p-1} (-1)^kk^2D_kD_{k-1}\ \equiv\ -\frac56p \pmod{p^2}\] and \[\sum_{k=1}^p (-1)^k(4k^2+2k-1)D_{k-1}s_k\ \equiv\ -4p \pmod{p^2}\text{.}\] Moreover, define \begin{equation*} s_n(x)=\sum_{k=1}^{n}\frac{1}{n}\binom{n}{k}\binom{n}{k-1}x^{k-1}(x+1)^{n-k}, \end{equation*} for any $n\in\mathbb{Z}^+$ is even we have \begin{equation*} \frac{4}{n(n+1)(n+2)(1+2x)^3}\sum_{k=1}^{n}k(k+1)(k+2)s_k(x)s_{k+1}(x)\in\mathbb{Z}[x]. \end{equation*}
On the embeddability of skeleta of manifold triangulations
Published
• View Publication
• BIB
We show a criterion for a skeleton of a manifold triangulation being embeddable into Euclidean space in terms of the complement of a submanifold. As an application, we obtain embeddability of a $(q-1)$-skeleton of a triangulation of an $S^p$-bundle over $S^q$ into $\mathbb{R}^{p+q}$.
Generalized Bäcklund-Darboux transformations for Coxeter-Toda systems on simple Lie groups
We derive the cluster structure on the conjugation quotient Coxeter double Bruhat cells of a simple Lie group from that on the double Bruhat cells of the corresponding adjoint Lie group given by Fock and Goncharov using the notion of amalgamation given by Fock and Goncharov, and Williams, thereby generalizing the construction developed by Gekhtman \emph{et al}. We will then use this cluster structure on the conjugation quotient Coxeter double Bruhat cells to construct generalized Bäcklund-Darboux transformations between two Coxeter-Toda systems on simple Lie groups in terms of cluster mutations, thereby generalizing the construction developed by Gekhtman \emph{et al}. We show that these generalized Bäcklund-Darboux transformations preserve Hamiltonian flows generated by the restriction of the trace function of any representation of the simple Lie group, from which we deduce that the family of Coxeter-Toda systems on a simple Lie group forms a single cluster integrable system. Finally, we also develop network formulations of the Coxeter-Toda Hamiltonians for the classical Lie groups, and use these network formulations to obtain combinatorial formulas for these Coxeter-Toda Hamiltonians.
Counting largest mutual-visibility and general position sets of glued $t$-ary trees
Published in Results Math. 80 (2025) Paper 207, 14 pp
• View Publication
• BIB
All four invariants of the mutual-visibility problem and, all four invariants of the general position problem are determined for glued binary trees. The number of the corresponding extremal sets is obtained in each of the eight situations. The results are further extended to glued $t$-ary trees, and some of them also to generalized glued binary trees.
Faber-Krahn type inequality for supertrees
Published
• View Publication
• BIB
The Faber-Krahn inequality states that the first Dirichlet eigenvalue among all bounded domains is no less than a Euclidean ball with the same volume in $\mathbb{R}^n$ \cite{Chavel FB}. Bıyıkoğlu and Leydold (J. Comb. Theory, Ser. B., 2007) demonstrated that the Faber-Krahn inequality also holds for the class of trees with boundary with the same degree sequence and characterized the unique extremal tree. Bıyıkoğlu and Leydold (2007) also posed a question as follows: Give a characterization of all graphs in a given class $\mathcal{C}$ with the Faber-Krahn property. In this paper, we address this question specifically for $k$-uniform supertrees with boundary. We introduce a spiral-like ordering (SLO-ordering) of vertices for supertrees, an extension of the SLO-ordering for trees initially proposed by Pruss [ Duke Math. J., 1998], and prove that the SLO-supertree has the Faber-Krahn property among all supertrees with a given degree sequence. Furthermore, among degree sequences that have a minimum degree $d$ for interior vertices, the SLO-supertree with degree sequence $(d,\ldots,d, d', 1, \dots, 1)$ possesses the Faber-Krahn property.
On local antimagic chromatic number of the join of two special families of graphs -- II
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 proved that the join of 1-regular graph and a null graph has local antimagic chromatic number is 3. Consequently, we also obtained many families of (possibly disconnected or regular) bipartite and tripartite graph with local antimagic chromatic number 3.
$k$-Hyperopic Cops and Robber
A generalization of hyperopic cops and robber, analogous to the $k$-visibility cops and robber, is introduced in this paper. For a positive integer $k$ the $k$-hyperopic game of cops and robber is defined similarly as the usual cops and robber game, but with the robber being omniscient and invisible to the cops that are at distance at most $k$ away from the robber. The cops win the game if, after a finite number of rounds, a cop occupies the same vertex as robber. Otherwise, robber wins. The minimum number of cops needed to win the game on a graph $G$ is the $k$-hyperopic cop number $c_{H,k}(G)$ of $G$.
In addition to basic properties of the new invariant, cop-win graphs are characterized and a general upper bound in terms of the matching number of the graph is given. The invariant is also studied on trees where the upper bounds mostly depend on the relation between $k$ and the diameter of the tree. It is also proven that the 2-hyperopic cop number of outerplanar graphs is at most 2 and an upper bound in terms of the number of vertices of the graph is presented for $k \geq 3$.
The minimum number of maximal independent sets in graphs with given order and independence number
Published
• View Publication
• BIB
Let $MIS(G)$ be the set of all maximal independent sets in a graph $G$, and let $mis(G)=|MIS(G)|$. In this paper, we show that for any tree $T$ with $n$ vertices and independence number $α$,
\[mis(T)\geq f(n-α),\]
and for any unicyclic graph $G$ with $n$ vertices and independence number $α$,
\begin{align*}
mis(G)\geq
\begin{cases}
2, & \text{if} \ n=4\ \text{and}\ α=2,
3, & \text{if} \; α=n-2 \; \text{and} \; n\neq4,
2f(n-α), & \text{if} \; n\geq 5\; \text{and}\; \lceil \frac{n}{2} \rceil \leq α< n-2,
f(n-α+2)-f(n-α-3), &\text{if} \; n\geq 5, \;\text{and}\ n \; \text{is odd}, \; \text{and} \; α= \lfloor \frac{n}{2} \rfloor,
\end{cases}
\end{align*}
where $f(n)$ represent the $n$th Fibonacci number. Moreover, we also show that the above inequalities are sharp.
Free Products and the Isomorphism between Standard and Dual Artin Groups
Given a Coxeter system with a fixed Coxeter element, there is a surjective group morphism $Ψ$ from the standard to the dual Artin groups. We give conditions that are sufficient, necessary or equivalent to $Ψ$ being an isomorphism. In particular, we prove that if the Hurwitz action on the reduced words of any element in the noncrossing partition poset is transitive, and if the Hurwitz action on the reduced words of the Coxeter element has the same stabilizer as essentially the same action viewed in the standard Artin group, then $Ψ$ is an isomorphism. Both of those conditions are already known in some cases, notably in spherical and affine types. We then prove that taking the free (or direct) product of groups that satisfy those two conditions yields another group that, with a suitable Coxeter element, also satisfies them.
Recursive properties of Cohen--Macaulay flag simplicial complexes and Lefschetz decompositions from $f$-vectors
Most applications of the hard Lefschetz theorem related to combinatorial properties of simplicial complexes involve their $h$-vectors. In the context of positivity properties involving $h$-vectors of flag spheres, $f$-vectors with a Lefschetz-type ``Boolean'' decomposition have been studied. In this note, we explore families of flag simplicial complexes where we can see this Boolean decomposition explicitly in terms of transformations connecting different simplicial complexes in this family. Note that we will take complexes in a given dimension to be PL homeomorphic to each other. In particular, the existence of a Boolean decomposition patched from local parts can be phrased in terms of a certain map formally satisfying an analogue of the hard Lefschetz theorem. The map is given by the composition of a double suspension with a ``net single edge subdivision''. Here, the former contributes to the Boolean part and the latter contributes to the disjoint non-Boolean part. The fact that the simplicial complex with the given $f$-vector can be taken to be balanced suggests algebraic versions of maps connected to these decompositions.
Random $2$-SAT: The set of atoms of the limiting empirical marginal distribution
We show that the set of atoms of the limiting empirical marginal distribution in the random $2$-SAT model is $\mathbb Q \cap (0,1)$, for all clause-to-variable densities up to the satisfiability threshold. While for densities up to $1/2$, the measure is purely discrete, we additionally establish the existence of a nontrivial continuous part for any density in $(1/2, 1)$. Our proof is based on the construction of a random variable with the correct distribution as the the root marginal of a multi-type Galton-Watson tree, along with a subsequent analysis of the resulting almost sure recursion.
Poincaré series of semigroups
Published
• View Publication
• BIB
Many invariants of finitely generated positive cancelative commutative semigroups can be studied from their Poincaré series. We offer and present several closed formulas for them. Moreover, those formulas have elementary proofs and are presented in two distinct forms: one characterized in terms of simplicial complexes and the other by a purely set theoretical approach.
Density of quotient orders in groups and applications to locally-transitive graphs
We prove that the set of orders of finite quotients of a finitely generated group has natural density 0, 1/2 or 1, and characterise when each of these cases occurs. We apply this to show that the sets of orders of various families of symmetric graphs have natural density 0.
Kleinian singularities: some geometry, combinatorics and representation theory
Published
• View Publication
• BIB
We review the relationship between discrete groups of symmetries of Euclidean three-space, constructions in algebraic geometry around Kleinian singularities including versions of Hilbert and Quot schemes, and their relationship to finite-dimensional and affine Lie algebras via the McKay correspondence. We focus on combinatorial aspects, such as the enumeration of certain types of partition-like objects, reviewing in particular a recently developed root-of-unity-substitution calculus. While the most complete results are in type A, we also develop aspects of the theory in type D, and end with some questions about the exceptional type E cases.
Average-case matrix discrepancy: satisfiability bounds
Published
• View Publication
• BIB
Given a sequence of $d \times d$ symmetric matrices $\{\mathbf{W}_i\}_{i=1}^n$, and a margin $Δ> 0$, we investigate whether it is possible to find signs $(ε_1, \dots, ε_n) \in \{\pm 1\}^n$ such that the operator norm of the signed sum satisfies $\|\sum_{i=1}^n ε_i \mathbf{W}_i\|_{\rm op} \leq Δ$. Kunisky and Zhang (2023) recently introduced a random version of this problem, where the matrices $\{\mathbf{W}_i\}_{i=1}^n$ are drawn from the Gaussian orthogonal ensemble. This model can be seen as a random variant of the celebrated Matrix Spencer conjecture and as a matrix-valued analog of the symmetric binary perceptron in statistical physics. In this work, we establish a satisfiability transition in this problem as $n, d \to \infty$ with $n / d^2 \to τ> 0$. First, we prove that the expected number of solutions with margin $Δ=κ\sqrt{n}$ has a sharp threshold at a critical $τ_1(κ)$: for $τ< τ_1(κ)$ the problem is typically unsatisfiable, while for $τ> τ_1(κ)$ the average number of solutions is exponentially large. Second, combining a second-moment method with recent results from Altschuler (2023) on margin concentration in perceptron-type problems, we identify a second threshold $τ_2(κ)$, such that for $τ>τ_2(κ)$ the problem admits solutions with high probability. In particular, we establish that a system of $n = Θ(d^2)$ Gaussian random matrices can be balanced so that the spectrum of the resulting matrix macroscopically shrinks compared to the semicircle law. Finally, under a technical assumption, we show that there exists values of $(τ,κ)$ for which the number of solutions has large variance, implying the failure of the second moment method. Our proofs rely on establishing concentration and large deviation properties of correlated Gaussian matrices under spectral norm constraints.
On the lumpability of tree-valued Markov chains
Phylogenetic trees constitute an interesting class of objects for stochastic processes due to the non-standard nature of the space they inhabit. In particular, many statistical applications require the construction of Markov processes on the space of trees, whose cardinality grows superexponentially with the number of leaves considered. We investigate whether certain lower-dimensional projections of tree space preserve the Markov property in tree-valued Markov processes. We study exact lumpability of tree shapes and $\varepsilon$-lumpability of clades, exploiting the combinatorial structure of the SPR graph to obtain bounds on the lumping error under the random walk and Metropolis-Hastings processes. Finally, we show how to use these results in empirical investigation, leveraging exact and $\varepsilon$-lumpability to improve Monte Carlo estimation of tree-related quantities.
Treewidth versus clique number: induced minors
We prove that a hereditary class of graphs is $(\mathsf{tw}, ω)$-bounded if and only if the induced minors of the graphs from the class form a $(\mathsf{tw}, ω)$-bounded class.
A remark on s-torsion pairs and on the lattice of Dyck paths
There are three classical lattices on the Catalan numbers: the Tamari lattice, the lattice of noncrossing partitions and the lattice of Dyck paths. The first is known to be isomorphic to the lattice of torsion classes of the path algebra of an equioriented quiver of type $A$ and the second is known to be isomorphic to its lattice of wide subcategories. Inspired by the notion of s-torsion classes of Adachi, Enomoto and Tsukamoto, in this short note we interpret the lattice of Dyck paths as a lattice of subcategories.
On the Heine Binomial Operators
In this paper, we introduce the Heine binomial operators H$_{n}(bD_{q})$ based on $q$-differential operator $D_{q}$. The motivation for introducing the operators H$_{n}(bD_{q})$ is that their limit turns out to be the $q$-exponential operator T$(bD_{q})$ given by Chen. The Hahn polynomials $Φ_{m}^{(q^n)}(b,x|q)$ can easily be represented by using the operators H$_{n}(bD_{q})$. Here, we derive $q$-exponential and ordinary generating function, Mehler's formula, Rogers formula, and other identities for the polynomials $Φ_{m}^{(q^n)}(b,x|q)$.