Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Cyclic permutations avoiding patterns in both one-line and cycle forms
Let $σ$ and $τ$ be patterns of length three; that is $σ, τ\in \{123,132,213,231,312,321\}$. In this paper, we enumerate the set of cyclic permutations in $\mathcal{S}_n$ that avoid $σ$ in their one-line notation and another pattern $τ$ in their cycle notation.
The infinite Fibonacci cube and its generalizations
The Fibonacci cube $Γ_n$ is is the graph whose vertices are independent subsets of the path graph of length $n$, where two such vertices are considered adjacent if they differ by the addition or removal of a single element. Klavžar [1] suggested considering the infinite Fibonacci cube $Γ_\infty$ whose vertices are independent subsets of the one-way infinite path graph with the same adjacency condition. We show that every connected component of $Γ_\infty$ is asymmetric (has no nontrivial automorphism) and no two connected components of $Γ_\infty$ are isomorphic. This follows from our results on a further generalization $Γ_G$ where $G$ is a simple, locally finite hypergraph with no isolated vertices.
Graph Polynomials for the Numbers of Independent Sets and Bipartite Cuts for Undirected Graphs
The graph polynomial for the number of independent sets of size $k$ in a general undirected graph is shown to be equal to an elementary symmetric polynomial of the vertex monomials, which are determined by the edges incident at the vertices. The edge variables that comprise the vertex monomials are shown to be nilpotent of degree two. The index of nilpotency of the algebra generated by the graph's vertex monomials is the order of a maximum independent set of the graph. Graph polynomials for the number of cliques and vertex covers are derived from the graph polynomial for independent sets. The graph polynomial for the number of bipartite cuts is given as a coefficient of a multivariate Laurent polynomial.
Realizing abstract simplicial complexes with specified edge lengths
For finite abstract simplicial complex $Σ$, initial realization $α$ in $\mathbb{E}^d$, and desired edge lengths $L$, we give practical sufficient conditions for the existence of a non-self-intersecting perturbation of $α$ realizing the lengths $L$. We provide software to verify these conditions by computer and optionally assist in the creation of an initial realization from abstract simplicial data. Applications include proving the existence of a planar embedding of a graph with specified edge lengths or proving the existence of polyhedra (or higher-dimensional polytopes) with specified edge lengths.
Pop-Stack Operators for Torsion Classes and Cambrian Lattices
The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}Λ$, the lattice of torsion classes of a $τ$-tilting finite algebra $Λ$ over a field $K$. We describe the pop-stack operator in terms of certain mutations of 2-term simple-minded collections. This allows us to describe preimages of a given torsion class under the pop-stack operator.
We then specialize our attention to Cambrian lattices of a finite irreducible Coxeter group $W$. Using tools from representation theory, we provide simple Coxeter-theoretic and lattice-theoretic descriptions of the image of the pop-stack operator of a Cambrian lattice (which can be stated without representation theory). When specialized to a bipartite Cambrian lattice of type A, this result settles a conjecture of Choi and Sun. We also settle a related enumerative conjecture of Defant and Williams. When $L$ is an arbitrary lattice quotient of the weak order on $W$, we prove that the maximum size of a forward orbit under the pop-stack operator of $L$ is at most the Coxeter number of $W$; when $L$ is a Cambrian lattice, we provide an explicit construction to show that this maximum forward orbit size is actually equal to the Coxeter number.
The classification of Boolean degree $1$ functions in high-dimensional finite vector spaces
Published
• View Publication
• BIB
We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with respect to $k$-spaces do not exist for $n \geq n_0(k, q)$. Our main ingredient is the Ramsey theory for geometric lattices.
Irreducible pairings and indecomposable tournaments
Published
• View Publication
• BIB
We only consider finite structures. With every totally ordered set $V$ and a subset $P$ of $\binom{V}{2}$, we associate the underlying tournament ${\rm Inv}(\underline{V}, P)$ obtained from the transitive tournament $\underline{V}:=(V, \{(x,y) \in V \times V : x < y \})$ by reversing $P$, i.e., by reversing the arcs $(x,y)$ such that $\{x,y\} \in P$. The subset $P$ is a pairing (of $\cup P$) if $|\cup P| = 2|P|$, a quasi-pairing (of $\cup P$) if $|\cup P| = 2|P|-1$; it is irreducible if no nontrivial interval of $\cup P$ is a union of connected components of the graph $(\cup P, P)$. In this paper, we consider pairings and quasi-pairings in relation to tournaments. We establish close relationships between irreducibility of pairings (or quasi-pairings) and indecomposability of their underlying tournaments under modular decomposition. For example, given a pairing $P$ of a totally ordered set $V$ of size at least $6$, the pairing $P$ is irreducible if and only if the tournament ${\rm Inv}(\underline{V}, P)$ is indecomposable. This is a consequence of a more general result characterizing indecomposable tournaments obtained from transitive tournaments by reversing pairings. We obtain analogous results in the case of quasi-pairings.
A conjecture of Erdős on $p+2^k$
Let $\mathcal{U}$ be the set of positive odd integers that cannot be represented as the sum of a prime and a power of two. In this paper, we prove that $\mathcal{U}$ is not a union of finitely many infinite arithmetic progressions and a set of asymptotic density zero. This gives a negative answer to a conjecture of P. Erd\H os. We pose several problems and a conjecture for further research.
Fringe trees for random trees with given vertex degrees
Published
• View Publication
• BIB
We prove asymptotic normality for the number of fringe subtrees isomorphic to any given tree in uniformly random trees with given vertex degrees. As applications, we also prove corresponding results for random labelled trees with given vertex degrees, for random simply generated trees (or conditioned Galton--Watson trees), and for additive functionals.
The key tool for our work is an extension to the multivariate setting of a theorem by Gao and Wormald (2004), which provides a way to show asymptotic normality by analysing the behaviour of sufficiently high factorial moments.
Multivariate asymptotic normality determined by high moments
Published
• View Publication
• BIB
We extend a general result showing that the asymptotic behavior of high moments, factorial or standard, of random variables, determines the asymptotically normality, from the one dimensional to the multidimensional setting. This approach differs from the usual moment method which requires that the moments of each fixed order converge. We illustrate our results by considering a joint distribution of the numbers of bins (having the same, finite, capacity) containing a prescribed number of balls in a classical allocation scheme.
Non-commutative probability insights into the double-scaling limit SYK Model with constant perturbations: moments cumulants and $q$-independence
Published
• View Publication
• BIB
Extending our previous results, we study the double-scaling limit SYK (DSSYK) model with an additional diagonal matrix with a fixed number $c$ of nonzero constant entries $θ$. This constant diagonal term can be rewritten in terms of Majorana fermion products. Its specific formula depends on the value of $c$. We find exact expressions for the moments of this model. More importantly, by proposing a moment-cumulant relation, we reinterpret the effect of introducing a constant term in the context of non-commutative probability theory. This gives rise to a $\tilde{q}$ dependent mixture of independences within the moment formula. The parameter $\tilde{q}$, derived from the $q$-Ornstein-Uhlenbeck ($q$-OU) process, controls this transformation. It interpolates between classical independence ($\tilde{q}=1$) and Boolean independence ($\tilde{q}=0$). The underlying combinatorial structures of this model provide the non-commutative probability connections. Additionally, we explore the potential relation between these connections and their gravitational path integral counterparts.
Reed-Muller codes have vanishing bit-error probability below capacity: a simple tighter proof via camellia boosting
This paper shows that a class of codes such as Reed-Muller (RM) codes have vanishing bit-error probability below capacity on symmetric channels. The proof relies on the notion of `camellia codes': a class of symmetric codes decomposable into `camellias', i.e., set systems that differ from sunflowers by allowing for scattered petal overlaps. The proof then follows from a boosting argument on the camellia petals with second moment Fourier analysis. For erasure channels, this gives a self-contained proof of the bit-error result in Kudekar et al.'17, without relying on sharp thresholds for monotone properties Friedgut-Kalai'96. For error channels, this gives a shortened proof of Reeves-Pfister'23 with an exponentially tighter bound, and a proof variant of the bit-error result in Abbe-Sandon'23. The control of the full (block) error probability still requires Abbe-Sandon'23 for RM codes.
Growth dichotomy for unimodular random rooted trees
We show that the growth of a unimodular random rooted tree $(T,o)$ of degree bounded by $d$ always exists, assuming its upper growth passes the critical threshold $\sqrt{d-1}$. This complements Timar's work who showed the possible nonexistence of growth below this threshold. The proof goes as follows. By Benjamini-Lyons-Schramm, we can realize $(T,o)$ as the cluster of the root for some invariant percolation on the $d$-regular tree. Then we show that for such a percolation, the limiting exponent with which the lazy random walk returns to the cluster of its starting point always exists. We develop a new method to get this, that we call the 2-3-method, as the usual pointwise ergodic theorems do not seem to work here. We then define and prove the Cohen-Grigorchuk co-growth formula to the invariant percolation setting. This establishes and expresses the growth of the cluster from the limiting exponent, assuming we are above the critical threshold.
Everything is possible: constructing spectrahedra with prescribed facial dimensions
Published
• View Publication
• BIB
Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In this work, we show that such sets can be realised as solution sets of systems of finitely many convex quadratic inequalities, and hence are representable via second-order cone programming problems, and are, in particular, spectrahedral. It also follows that these sets are facially exposed, in contrast to earlier constructions. We obtain a lower bound on the minimum number of convex quadratic inequalities needed to represent a closed convex set with prescribed facial dimension signature, and show that our bound is tight for some special cases. Finally, we relate the question of finding efficient representations with indecomposability of integer sequences and other topics, and discuss a substantial number of open questions.
On power monoids and their automorphisms
Published in Journal of Combinatorial Theory, Ser. A 209 (2025), #105961, 16 pp
• View Publication
• BIB
Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element.
We show that the only non-trivial automorphism of $\mathcal P_{{\rm fin},0}(\mathbb N)$ is the involution $X \mapsto \max X - X$. The proof leverages ideas from additive number theory and proceeds through an unconventional induction on what we call the boxing dimension of a finite set of integers, that is, the smallest number of (discrete) intervals whose union is the set itself.
Parking on trees with a (random) given degree sequence and the Frozen configuration model
Published
• View Publication
• BIB
Consider a rooted tree on the top of which we let cars arrive on its vertices. Each car tries to park on its arriving vertex but if it is already occupied, it drives towards the root of the tree and parks as soon as possible. In this article, we establish a natural coupling between the parking process on trees with prescribed degrees and an oriented configuration model. As a consequence, we recover the location of the phase transition for parking on critical Bienaymé--Galton--Watson trees already proven by Curien and Hénard, and Contat.
Conditionally monotone cumulants via shuffle algebra
Published
• View Publication
• BIB
In this work we study conditional monotone cumulants and additive convolution in the shuffle-algebraic approach to non-commutative probability. We describe c-monotone cumulants as an infinitesimal character and identify the c-monotone additive convolution as an associative operation in the set of pairs of characters in the dual of a double tensor Hopf algebra. In this algebraic framework, we understand previous results on c-monotone cumulants and prove a combinatorial formula that relates c-free and c-monotone cumulants. We also identify the notion of $t$-Boolean cumulants in the shuffle-algebraic approach and introduce the corresponding notion of $t$-monotone cumulants as a particular case of c-monotone cumulants.
Coxeter interchange graphs
Published in Ann. Comb. (2025)
• View Publication
• BIB
Brualdi and Li introduced tournament interchange graphs. In such a graph, each vertex represents a tournament. Traversing an edge corresponds to reversing a cyclically directed triangle. Such a triangle is neutral, in that its reversal does not affect the score sequence. An interchange graph encodes the combinatorics of the set of tournaments with a given score sequence, or equivalently, of a given fiber of the classical permutahedron from discrete geometry.
Coxeter tournaments were introduced by the first author and Sanchez, in relation to the Coxeter permutahedra in Ardila, Castillo, Eur and Postnikov. Coxeter tournaments have collaborative and solitaire games, in addition to the usual competitive games in classical tournaments.
We introduce Coxeter interchange graphs. These graphs are more intricate, as there are multiple neutral structures at play, which interact with one another. Our main result shows that the Coxeter interchange graphs are regular, and we describe the degree geometrically, in terms of distances in the Coxeter permutahedra. We also characterize the set of score sequences of Coxeter tournaments, generalizing a classical result of Landau.
Geproci sets on skew lines in $\mathbb P^3$ with two transversals
The purpose of this work is to pursue classification of geproci sets. Specifically we classify $[m,n]$-geproci sets which consist of $m=4$ points on each of $n$ skew lines, assuming the skew lines have two transversals in common. We show that in this case $n\leq 6$. Moreover we show that all geproci sets of this type are contained in the \emph{standard construction} for $m=4$ introduced in arXiv:2209.04820. Finally, we propose a conjectural representation for all geproci sets of this type, irrespective of the number $m$ of points on each skew line.
The Gonality of Queen's Graphs
Published
• View Publication
• BIB
In this paper we study queen's graphs, which encode the moves by a queen on an $n\times m$ chess board, through the lens of chip-firing games. We prove that their gonality is equal to $nm$ minus the independence number of the graph, and give a one-to-one correspondence between maximum independent sets and classes of positive rank divisors achieving gonality. We also prove an identical result for toroidal queen's graphs.