Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Rigidity of symmetric frameworks with non-free group actions on the vertices
For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then use these generalised orbit rigidity matrices to provide necessary conditions for infinitesimal rigidity for frameworks that are symmetric with a cyclic group that acts freely or non-freely on the vertices. Moreover, for the reflection, the half-turn, and the three-fold rotational group in the plane, we establish complete combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks. This extends well-known characterisations for these groups to the case when the group action is not necessarily free on the vertices. The presence of vertices that are fixed by non-trivial group elements requires the introduction of generalised versions of group-labelled quotient graphs leads to more refined types of combinatorial sparsity counts for characterising symmetry-generic infinitesimal rigidity.
A restricted model for the bounded derived category of gentle algebras
Published
• View Publication
• BIB
We present a restricted model for the bounded derived category of gentle algebras that encodes the indecomposable objects and positive extensions between them. The model is then used to count the number of $d$-term silting objects for linearly oriented $A_n$, recovering the result that they are counted by the Pfaff-Fuss-Catalan numbers.
Commuting graphs of $p$-adic matrices
Published
• View Publication
• BIB
We study the commuting graph of $n\times n$ matrices over the field of $p$-adics $\mathbb{Q}_p$, whose vertices are non-scalar $n\times n$ matrices with entries in $\mathbb{Q}_p$ and whose edges connect pairs of matrices that commute under matrix multiplication. We prove that this graph is connected if and only if $n\geq 3$, with $n$ neither prime nor a power of $p$. We also prove that in the case of $p=2$ and $n=2q$ for $q$ a prime with $q\geq 7$, the commuting graph has the maximum possible diameter of $6$; these are the first known such examples independent of the axiom of choice. We also find choices of $p$ and $n$ yielding diameter $4$ and diameter $5$ commuting graphs, and prove general bounds depending on $p$ and $n$.
Sackin Indices for Labeled and Unlabeled Classes of Galled Trees
Published
• View Publication
• BIB
The Sackin index is an important measure for the balance of phylogenetic trees. We investigate two extensions of the Sackin index to the class of galled trees and two of its subclasses (simplex galled trees and normal galled trees) where we consider both labeled and unlabeled galled trees. In all cases, we show that the mean of the Sackin index for a network which is uniformly sampled from its class is asymptotic to $μn^{3/2}$ for an explicit constant $μ$. In addition, we show that the scaled Sackin index convergences weakly and with all its moments to the Airy distribution.
Juhl type formulas for curved Ovsienko--Redou operators
We prove Juhl type formulas for the curved Ovsienko--Redou operators and their linear analogues, which indicate the associated formal self-adjointness, thereby confirming two conjectures of Case, Lin, and Yuan. We also offer an extension of Juhl's original formula for the GJMS operators.
On intersecting families of subgraphs of perfect matchings
Published
• View Publication
• BIB
The seminal Erdős--Ko--Rado (EKR) theorem states that if $\mathcal{F}$ is a family of $k$-subsets of an $n$-element set $X$ for $k\leq n/2$ such that every pair of subsets in $\mathcal{F}$ has a nonempty intersection, then $\mathcal{F}$ can be no bigger than the trivially intersecting family obtained by including all $k$-subsets of $X$ that contain a fixed element $x\in X$. This family is called the star centered at $x$. In this paper, we formulate and prove an EKR theorem for intersecting families of subgraphs of the perfect matching graph, the graph consisting of $n$ disjoint edges. This can be considered a generalization not only of the aforementioned EKR theorem but also of a signed variant of it, first stated by Meyer (1974), and proved separately by Deza--Frankl (1983) and Bollobás--Leader (1997). The proof of our main theorem relies on a novel extension of Katona's beautiful cycle method.
A Unified Model of Congestion Games with Priorities: Two-Sided Markets with Ties, Finite and Non-Affine Delay Functions, and Pure Nash Equilibria
Published
• View Publication
• BIB
The study of equilibrium concepts in congestion games and two-sided markets with ties has been a primary topic in game theory, economics, and computer science. Ackermann, Goldberg, Mirrokni, Röglin, Vöcking (2008) gave a common generalization of these two models, in which a player more prioritized by a resource produces an infinite delay on less prioritized players. While presenting several theorems on pure Nash equilibria in this model, Ackermann et al.\ posed an open problem of how to design a model in which more prioritized players produce a large but finite delay on less prioritized players. In this paper, we present a positive solution to this open problem by combining the model of Ackermann et al.\ with a generalized model of congestion games due to Bilò and Vinci (2023). In the model of Bilò and Vinci, the more prioritized players produce a finite delay on the less prioritized players, while the delay functions are of a specific kind of affine function, and all resources have the same priorities. By unifying these two models, we achieve a model in which the delay functions may be finite and non-affine, and the priorities of the resources may be distinct. We prove some positive results on the existence and computability of pure Nash equilibria in our model, which extend those for the previous models and support the validity of our model.
Rainbow connectivity of multilayered random geometric graphs
An edge-colored multigraph $G$ is rainbow connected if every pair of vertices is joined by at least one rainbow path, i.e., a path where no two edges are of the same color.
In the context of multilayered networks we introduce the notion of multilayered random geometric graphs, from $h\ge 2$ independent random geometric graphs $G(n,r)$ on the unit square. We define an edge-coloring by coloring the edges according to the copy of $G(n,r)$ they belong to and study the rainbow connectivity of the resulting edge-colored multigraph. We show that $r(n)=\left(\frac{\log n}{n}\right)^{\frac{h-1}{2h}}$ is a threshold of the radius for the property of being rainbow connected. This complements the known analogous results for the multilayerd graphs defined on the Erdős-R\' enyi random model.
Stellar subdivisions, wedges and Buchstaber numbers
Published
• View Publication
• BIB
A seed is a PL sphere that is not obtainable by a wedge operation from any other PL sphere. In this paper, we study two operations on PL spheres, known as the stellar subdivision and the wedge, that preserve the maximality of Buchstaber numbers and polytopality. We construct a new polytopal toric colorable seed from these two operations. As a corollary, we prove that the toric colorable seed inequality established by Choi and Park is tight.
On Isomorphisms of Tetravalent Cayley Digraphs over Dihedral Groups
Published
• View Publication
• BIB
Let $m$ be a positive integer. A group $G$ is said to be an $m$-DCI-group or an $m$-CI-group if $G$ has the $k$-DCI property or $k$-CI property for all positive integers $k$ at most $m$, respectively. Let $G$ be a dihedral group of order $2n$ with $n\geq 3$. Qu and Yu proved that $G$ is an $m$-DCI-group or $m$-CI-group, for every $m\in \{1,2,3\}$, if and only if $n$ is odd. In this paper, it is shown that $G$ is a $4$-DCI-group if and only if $n$ is odd and not divisible by $9$, and $G$ is a $4$-CI-group if and only if $n$ is odd.
Frieze patterns over finite commutative local rings
We count numbers of tame frieze patterns with entries in a finite commutative local ring. For the ring $\mathbb{Z}/p^r\mathbb{Z}$, $p$ a prime and $r\in\mathbb{N}$ we obtain closed formulae for all heights. These may be interpreted as formulae for the numbers of certain relations in quotients of the modular group.
A concentration inequality for random combinatorial optimisation problems
Given a finite set $S$, i.i.d. random weights $\{X_i\}_{i\in S}$, and a family of subsets $\mathcal{F}\subseteq 2^S$, we consider the minimum weight of an $F\in \mathcal{F}$: \[ M(\mathcal{F}):= \min_{F\in \mathcal{F}} \sum_{i\in F}X_i. \] In particular, we investigate under what conditions this random variable is sharply concentrated around its mean.
We define the patchability of a family $\mathcal{F}$: essentially, how expensive is it to finish an almost-complete $F$ (that is, $F$ is close to $\mathcal{F}$ in Hamming distance) if the edge weights are re-randomized? Combining the patchability of $\mathcal{F}$, applying the Talagrand inequality to a dual problem, and a sprinkling-type argument, we prove a concentration inequality for the random variable $M(\mathcal{F})$.
Sharp isoperimetric inequalities on the Hamming cube near the critical exponent
Published
• View Publication
• BIB
An isoperimetric inequality on the Hamming cube for exponents $β\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the critical exponent $β=0.5$, including a bound that is asymptotically sharp for small subsets. A key ingredient is a new Bellman-type function involving the Gaussian isoperimetric profile which appears to be a good approximation of the true envelope function. Verification uses computer-assisted proofs and interval arithmetic. Applications include progress towards a conjecture of Kahn and Park as well as sharp Poincaré inequalities for Boolean-valued functions near $L^1$.
Tensor product Markov chains and Weil representations
Published
• View Publication
• BIB
We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations.
Growth Rates Of Permutations With Given Descent Or Peak Set
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
Given a set $I \subseteq \mathbb{N}$, consider the sequences $\{d_n(I)\},\{p_n(I)\}$ where for any $n$, $d_n(I)$ and $p_n(I)$ respectively count the number of permutations in the symmetric group $\mathfrak{S}_n$ whose descent set (respectively peak set) is $I \cap [n-1]$. We investigate the growth rates $\text{gr} \ d_n(I) = \lim_{n \to \infty} \left(d_n(I)/n!\right)^{1/n}$ and $\text{gr} \ p_n(I) = \lim_{n \to \infty} \left(p_n(I)/n!\right)^{1/n}$ over all $I \subseteq \mathbb{N}$. Our main contributions are two-fold. Firstly, we prove that the numbers $\text{gr} \ d_n(I)$ over all $I \subseteq \mathbb{N}$ are exactly the interval $\left[0,2/π\right]$. To do so, we construct an algorithm that explicitly builds $I$ for any desired limit $L$ in the interval. Secondly, we prove that the numbers $\text{gr} \ p_n(I)$ for periodic sets $I \subseteq \mathbb{N}$ form a dense set in $\left[0,1/\sqrt[3]{3}\right]$. We do this by explicitly finding, for any prescribed $L$ in the interval, a set $I$ whose corresponding growth rate is arbitrarily close to $L$.
On the existence of reflecting $n$-queens configurations
Published
• View Publication
• BIB
In 1967, Klarner proposed a problem concerning the existence of reflecting $n$-queens configurations. The problem considers the feasibility of placing $n$ mutually non-attacking queens on the reflecting chessboard, an $n\times n$ chessboard with a $1\times n$ "reflecting strip" of squares added along one side of the board. A queen placed on the reflecting chessboard can attack the squares in the same row, column, and diagonal, with the additional feature that its diagonal path can be reflected via the reflecting strip. Klarner noted the equivalence of this problem to a number theory problem proposed by Slater, which asks: for which $n$ is it possible to pair up the integers 1 through $n$ with the integers $n+1$ through $2n$ such that no two of the sums or differences of the $n$ pairs of integers are the same. We prove the existence of reflecting $n$-queens configurations for all sufficiently large $n$, thereby resolving both Slater's and Klarner's questions for all but a finite number of integers.
The Two-loop MHV Momentum Amplituhedron from Fibrations of Fibrations
Published
• View Publication
• BIB
Recently, a new approach to computing the canonical forms of the momentum amplituhedron in dual-momentum space was proposed by the authors. These are relevant for the integrands of scattering amplitudes in planar N=4 super-Yang-Mills. At one-loop the idea was to view the set of all loop momenta, which we refer to as the one-loop fiber geometry, as a fibration over the tree-level kinematic data. This led to the notion of tree-level chambers, subsets of the tree-level kinematic space for which the combinatorial structure of the one-loop fiber remains unchanged, that allowed for a novel representation of the one-loop integrand. The goal of this paper is to extend these ideas to two loops for MHV integrands. Our approach will be to view the geometry accessed by the second loop momentum, similarly referred to as the two-loop fiber geometry, as a fibration over both the one-loop kinematic data and the position of the first loop momentum in the one-loop fiber. This will lead to the notion of one-loop chambers, subsets of the one-loop fibers for which the combinatorial structure of the two-loop fiber remains unchanged. We will characterise the full set of one-loop chambers and their corresponding two-loop fibers and present formulae for their canonical forms. Ultimately, this will result in a new formula for the two-loop MHV integrand written as a fibration of fibration.
A threshold for relative hyperbolicity in random right-angled Coxeter groups
Published
• View Publication
• BIB
We consider the random right-angled Coxeter group $W_Γ$ whose presentation graph $Γ\sim \mathcal{G}_{n,p}$ is an Erd{\H o}s--Rényi random graph on $n$ vertices with edge probability $p=p(n)$. We establish that $p=1/\sqrt{n}$ is a threshold for relative hyperbolicity of the random group $W_Γ$. As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest.
We also show that there is an interval of edge probabilities of width $Ω(1/\sqrt{n})$ in which the random right-angled Coxeter group has precisely cubic divergence. This interval is between the thresholds for relative hyperbolicity (whence exponential divergence) and quadratic divergence. Moreover, a simple random walk on any Cayley graph of the random right-angled Coxeter group for $p$ in this interval satisfies a central limit theorem.
Graph-theoretical estimates of the diameters of the Rubik's Cube groups
A strict lower bound for the diameter of a symmetric graph is proposed, which is calculable with the order $n$ and other local parameters of the graph such as the degree $k\,(\geq 3)$, even girth $g\,(\geq 4)$, and number of $g$-cycles traversing a vertex, which are easily determined by inspecting a small portion of the graph (unless the girth is large). It is applied to the symmetric Cayley graphs of some Rubik's Cube groups of various sizes and metrics, yielding slightly tighter lower bounds of the diameters than those for random $k$-regular graphs proposed by Bollobás and de la Vega. They range from 60% to 77% of the correct diameters of large-$n$ graphs.
Real toric manifolds associated with chordal nestohedra
Published
• View Publication
• BIB
This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti numbers into a counting problem. This approach allows us to compute the $a$-number of a finite simple graph through permutation counting when the graph is chordal. In addition, we provide detailed computations for specific cases such as real Hochschild varieties corresponding to Hochschild polytopes.