Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The inversion statistic in derangements and in other permutations with a prescribed number of fixed points
We study how the inversion statistic is influenced by fixed points in a permutation. %The expected number of inversions in a uniformly random permutation in $S_n$ is $\frac{n(n-1)}4$. For each $n\in\mathbb{N}$, and each $k\in\{0,1,\cdots, n\}$, let $P_n^{(k)}$ denote the uniform probability measure on the set of permutations in $S_n$ with exactly $k$ fixed points. We obtain an exact formula for the expected number of inversions under the measure $P_n^{(k)}$ as well as for $P_n^{(k)}(σ^{-1}_i<σ^{-1}_j)$, for $1\le i<j\le n$, the $P_n^{(k)}$-probability that the number $i$ precedes the number $j$. In particular,
up to a super-exponentially small correction as $n\to\infty$, the expected number of inversions in a random derangement $(k=0)$ is $\frac16n+\frac1{12}$ more than
the value $\frac{n(n-1)}4$ that one obtains for a uniformly random
general permutation in $S_n$. On the other hand, up to a super-exponentially small correction, for $k\ge2$, the expected number of inversions in a random permutation with $k$ fixed points is $\frac{k-1}6n+\frac{k^2-k-1}{12}$ less than $\frac{n(n-1)}4$. In the borderline case, $k=1$, up to a super-exponentially small correction, the expected number of inversions in a random permutation with one fixed point is $\frac1{12}$ more than $\frac{n(n-1)}4$. The proofs make strategic and perhaps novel use of the Chinese restaurant construction for a uniformly random permutation.
Three combinatorial sums involving central binomial coefficients
We study three classes of combinatorial sums involving central binomial coefficients and harmonic numbers, odd harmonic numbers, and even indexed harmonic numbers, respectively. In each case we use summation by parts to derive recursive expressions for these sums. In addition, we offer an alternative approach to express one class of sums and some related sums in closed form in terms of Stirling numbers and r-Stirling numbers of the second kind.
Regularity properties of Macbeath-Hurwitz and related maps and surfaces
The Macbeath-Hurwitz maps $M$ of type $\{3,7\}$, obtained from the Hurwitz groups $G={\rm PSL}_2(q)$ found by Macbeath, are fully regular by a result of Singerman, with automorphism group $G\times{\rm C}_2$ or ${\rm PGL}_2(q)$. Hall's criterion determines which of these two properties, called inner and outer regularity, $M$ has. Inner (but not outer) regular maps $M$ yield non-orientable regular maps $M/{\rm C}_2$ of the same type with automorphism group $G$. If $q=p^3$ for a prime $p\equiv\pm 2$ or $\pm 3$ mod~$(7)$ the unique map $M$ is inner regular if and only if $p\equiv 1$ mod~$(4)$. If $q=p$ for a prime $p\equiv\pm 1$ mod~$(7)$ there are three maps $M$; we use the density theorems of Frobenius and Chebotarev to show that in this case the sets of such primes $p$ for which $0, 1, 2$ or $3$ of them are inner regular have relative densities $1/8$, $3/8$, $3/8$ and $1/8$ respectively. Hall's criterion and its consequences are extended to the analogous Macbeath maps of type $\{3,n\}$ obtained from ${\rm PSL}_2(q)$ for all $n\ge 7$; theoretical predictions on their number and properties are supported by evidence from the map databases of Conder and Poto\v cnik.
Corrigendum to the paper "The Mori fan of the Dolgachev-Nikulin-Voisin family in genus $2$'' by K. Hulek and C. Liese
In this note, we correct some of the results of \cite{HL22} concerning the number of maximal cones in the Mori fan of the Dolgachev-Nikulin-Voisin fan in genus $2$. The mistakes in the original paper concern the correct enumeration of cones. The method and the main theoretical results are not affected.
Paired 2-disjoint path covers of Bcube under the partitioned edge fault model
BCube network, as a typical distributed data center network topology, has significant advantages in fault tolerance, load balancing, and efficient routing due to its unique hierarchical structure. In terms of efficient routing, paired many-to-many m-disjoint path cover (m-DPC) plays an important role in message passing. To explore the capability of BCube in constructing paired many-to-many m-DPCs, this paper investigates whether arbitrary 2-DPC paths can be successfully constructed under the partitioned edge fault (PEF) model, especially in the case of a large number of link failures. Through this investigation, the paper aims to address the network fault tolerance issues related to path embedding problems. Theoretical proofs show that under the partitioned edge fault model, BCube exhibits exponential fault tolerance for constructing 2-DPC paths. This study, on one hand, expands the application of the partitioned edge fault model, and on the other hand, contributes to enhancing BCube's ability to achieve large-scale edge fault tolerance.
Incidences, tilings, and fields
The master theorem, introduced independently by Richter-Gebert and by Fomin and the first author, provides a method for proving incidence theorems of projective geometry using triangular tilings of surfaces. We investigate which incidence theorems over C and R can or cannot be proved via the master theorem. For this, we formalize the notion of a tiling proof. We introduce a hierarchy of classes of theorems based on the underlying topological spaces. A key tool is considering the same theorems over finite fields.
Finite Free Convolution: Infinitesimal Distributions
Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szegö and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.
Tesler identities for wreath Macdonald polynomials
We give an explicit formula for an operator that sends a wreath Macdonald polynomial to the delta function at a character associated to its partition. This allows us to prove many new results for wreath Macdonald polynomials, especially pertaining to reciprocity: Macdonald--Koornwinder duality, evaluation formulas, etc. Additionally, we initiate the study of wreath interpolation Macdonald polynomials, derive a plethystic formula for wreath $(q,t)$-Kostka coefficients, and present series solutions to the bispectral problem involving wreath Macdonald operators. Our approach is to use the eigenoperators for wreath Macdonald polynomials that have been produced from quantum toroidal and shuffle algebras.
Free line arrangements with low maximal multiplicity
Let $\mathcal{A}$ be a free arrangement of $d$ lines in the complex projective plane, with exponents $d_1\leq d_2$. Let $m$ be the maximal multiplicity of points in $\mathcal{A}$. In this note, we describe first the simple cases $d_1 \leq m$. Then we study the case $d_1=m+1$, and describe which line arrangements can occur by deleting or adding a line to $\mathcal{A}$. When $d \leq 14$, there are only two free arrangements with $d_1=m+2$, namely one with degree $13$ and the other with degree $14$. We study their geometries in order to deepen our understanding of the structure of free line arrangements in general.
Paired domination in graphs with minimum degree four
A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ admits a perfect matching. The minimum cardinality of a paired dominating set of $G$ is the paired domination number $\gpr(G)$ of $G$. We show that if $G$ is a graph of order~$n$ and $δ(G) \ge 4$, then $\gpr(G) \le \frac{10}{17}n < 0.5883 n$.
The Zero Forcing Number of Twisted Hypercubes
Twisted hypercubes are graphs that generalize the structure of the hypercube by relaxing the symmetry constraint while maintaining degree-regularity and connectivity. We study the zero forcing number of twisted hypercubes. Zero forcing is a graph infection process in which a particular colour change rule is iteratively applied to the graph and an initial set of vertices. We use the alternative framing of forcing arc sets to construct a family of twisted hypercubes of dimension k$\geq 3$ with zero forcing sets of size $2^{k-1}-2^{k-3}+1$, which is below the minimum zero forcing number of the hypercube.
Noncommutative Equiangular Lines: van Lint-Seidel Relative and Gerzon Universal Bounds
We introduce the notion of noncommutative equiangular lines and derive noncommutative versions of fundamental van Lint-Seidel relative and Gerzon universal bounds.
The tape reconfiguration problem and its consequences for dominating set reconfiguration
A dominating set of a graph $G=(V,E)$ is a set of vertices $D \subseteq V$ whose closed neighborhood is $V$, i.e., $N[D]=V$. We view a dominating set as a collection of tokens placed on the vertices of $D$. In the token sliding variant of the Dominating Set Reconfiguration problem (TS-DSR), we seek to transform a source dominating set into a target dominating set in $G$ by sliding tokens along edges, and while maintaining a dominating set all along the transformation.
TS-DSR is known to be PSPACE-complete even restricted to graphs of pathwidth $w$, for some non-explicit constant $w$ and to be XL-complete parameterized by the size $k$ of the solution. The first contribution of this article consists in using a novel approach to provide the first explicit constant for which the TS-DSR problem is PSPACE-complete, a question that was left open in the literature.
From a parameterized complexity perspective, the token jumping variant of DSR, i.e., where tokens can jump to arbitrary vertices, is known to be FPT when parameterized by the size of the dominating sets on nowhere dense classes of graphs. But, in contrast, no non-trivial result was known about TS-DSR. We prove that DSR is actually much harder in the sliding model since it is XL-complete when restricted to bounded pathwidth graphs and even when parameterized by $k$ plus the feedback vertex set number of the graph. This gives, for the first time, a difference of behavior between the complexity under token sliding and token jumping for some problem on graphs of bounded treewidth. All our results are obtained using a brand new method, based on the hardness of the so-called Tape Reconfiguration problem, a problem we believe to be of independent interest.
Ramsey with purple edges
Motivated by a question of Angell, we investigate a variant of Ramsey numbers where some edges are coloured simultaneously red and blue, which we call purple. Specifically, we are interested in the largest number $g=g(n;s,t)$, for some $s$ and $t$ and $n<R(s,t)$, such that there exists a red/blue/purple colouring of $K_n$ with $g$ purple edges, with no red/purple copy of $K_s$ nor blue/purple copy of $K_t$. We determine $g$ asymptotically for a large family of parameters, exhibiting strong dependencies with Ramsey-Turán numbers.
Characteristic polynomial of $\overline{\mathcal{M}}_{0,n}$ and log-concavity
Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.
New optima for the deletion shadow
For a family $\mathcal{F}$ of words of length $n$ drawn from an alphabet $A=[r]=\{1,\dots,r\}$, Danh and Daykin defined the deletion shadow $Δ\mathcal{F}$ as the family containing all words that can be made by deleting one letter of a word of $\mathcal{F}$. They asked, given the size of such a family, how small its deletion shadow can be, and answered this with a Kruskal-Katona type result when the alphabet has size $2$. However, Leck showed that no ordering can give such a result for larger alphabets. The minimal shadow has been known for families of size $s^n$, where the optimal family has form $[s]^n$. We give the minimal shadow for many intermediate sizes between these levels, showing that families of the form 'all words in $[s]^n$ in which the symbol $s$ appears at most $k$ times' are optimal. Our proof uses some fractional techniques that may be of independent interest.
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
We study the expressive power of first-order logic with counting quantifiers, especially the $k$-variable and quantifier-rank-$q$ fragment $\mathsf{C}^k_q$, using homomorphism indistinguishability. Recently, Dawar, Jakl, and Reggio (2021) proved that two graphs satisfy the same $\mathsf{C}^k_q$-sentences iff they are homomorphism indistinguishable over the class $\mathcal{T}^k_q$ of graphs admitting a $k$-pebble forest cover of depth $q$. After reproving this result using elementary means, we provide a graph-theoretic analysis of $\mathcal{T}^k_q$. This allows us to separate $\mathcal{T}^k_q$ from the intersection $\mathcal{TW}_{k-1} \cap \mathcal{TD}_q$, provided that $q$ is sufficiently larger than $k$. Here $\mathcal{TW}_{k-1}$ is the class of all graphs of treewidth at most $k-1$ and $\mathcal{TD}_q$ is the class of all graphs of treedepth at most $q$.
We are able to lift this separation to a separation of the respective homomorphism indistinguishability relations $\equiv_{\mathcal{T}^k_q}$ and $\equiv_{\mathcal{TW}_{k-1} \cap \mathcal{TD}_q}$. We do this by showing that the classes $\mathcal{TD}_q$ and $\mathcal{T}^k_q$ are homomorphism distinguishing closed, as conjectured by Roberson (2022).
In order to prove Roberson's conjecture for $\mathcal{T}^k_q$, we characterise $\mathcal{T}^k_q$ in terms of a monotone Cops-and-Robber game. The crux is to prove that if Cop has a winning strategy then Cop also has a winning strategy that is monotone. To that end, we transform Cops' winning strategy into a pree-tree-decomposition, which is inspired by decompositions of matroids, and then apply an intricate breadth-first cleaning up procedure along the pree-tree-decomposition (which may temporarily lose the property of representing a strategy). Thereby, we achieve monotonicity while controlling the number of rounds across all branches of the decomposition via a vertex exchange argument.
Ind-cluster algebras and infinite Grassmannians
A prototypical examples of a cluster algebra is the coordinate ring of a finite Grassmannian: using the Plücker embedding the cluster algebra structure allows one to move between `maximal sets' of algebraically independent Plücker coordinates via mutations. Fioresi and Hacon studied a specific colimit of the coordinate rings of finite Grassmannians and its link with the infinite Grassmannian introduced by Sato and independently by Segal and Wilson in connection with the Kadomtsev-Petiashvili (KP) hierarchy, an infinite set of nonlinear partial differential equations which possess soliton solutions. In this article we prove that this ring is a cluster algebra of infinite rank with the structure induced by the colimit construction. More generally, we prove that cluster algebras of infinite rank are precisely the ind-objects of a natural category of cluster algebras.
Polyhedral realisations of finite arc complexes using strip deformations
We study infinitesimal deformations of complete hyperbolic surfaces with boundary and with ideal vertices, possibly decorated with horoballs. ``Admissible'' deformations are the ones that pull all horoballs apart; they form a convex cone of deformations. We describe this cone in terms of the arc complex of the surface: specifically, this paper focuses on the surfaces for which that complex is finite. Those surfaces form four families: (ideal) polygons, once-punctured polygons, one-holed polygons (or ``crowns''), and Möbius strips with spikes. In each case, we describe a natural simplicial decomposition of the projectivised admissible cone and of each of its faces, realizing them as appropriate arc complexes.
Corrigendum to "Topology of matching complexes of complete graphs via discrete Morse theory'' [arXiv:2305.02973, Discrete Math. Theor. Comput. Sci. 26:3#13 (2024)]
In this corrigendum to arXiv:2305.02973, we justify that the motivation behind Conjecture 5.1 is based on a mistaken notion. Moreover, we prove a stronger theorem that disproves the conjecture, and obtain an optimal gradient vector field on the matching complex of the complete graph of order 7.