Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Measure doubling in unimodular locally compact groups and quotients
We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $μ_G$, and a compact $A\subseteq G$ of positive measure with $μ_G(A^2)\leq Kμ_G(A)$. Let $H$ be a closed normal subgroup of G and $π: G \rightarrow G/H$ be the quotient map. With the further assumption that $A= A^{-1}$, we show $$μ_{G/H}(πA ^2) \leq K^2 μ_{G/H}(πA).$$ We also demonstrate that $K^2$ cannot be replaced by $(1-ε)K^2$ for any $ε>0$.
In the general case (without $A=A^{-1}$), we show $μ_{G/H}(πA ^2) \leq K^3 μ_{G/H}(πA)$, improving an earlier result by An, Jing, Zhang, and the third author. Moreover, we are able to extract a compact set $B\subseteq A$ with $μ_G(B)> μ_G(A)/2$ such that $ μ_{G/H}(πB^2) < 2K μ_{G/H}(πB)$.
Special orientable sequences
Analogously to de Bruijn sequences, Orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., recursive methods of construction were described for orientable sequences over arbitrary finite alphabets, requiring 'starter sequences' with special properties. Some of these methods required as input special orientable sequences, i.e. orientable sequences which were simultaneously negative orientable. We exhibit methods for constructing special orientable sequences with properties appropriate for use in two of the recursive methods of Alhakim et al. As a result we are able to show how to construct special orientable sequences for arbitrary sizes of alphabet (larger than a small lower bound) and for all window sizes. These sequences have periods asymptotic to the optimal as the alphabet size increases.
BiSC: An algorithm for discovering generalized permutation patterns
Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the descriptions of smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-M{é}lou and Butler 2007), Baxter permutations (Chung et al. 1978), stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990). The algorithm has also been used to discover new theorems and conjectures related to the dihedral and alternating subgroups of the symmetric group, Young tableaux, Wilf-equivalences, and sorting devices.
Cubic bricks that every b-invariant edge is forcing
A connected graph G is matching covered if every edge lies in some perfect matching of G. Lovasz proved that every matching covered graph G can be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite) up to multiple edges. Denote by b(G) the number of bricks of G. An edge e of G is removable if G-e is also matching covered, and solitary (or forcing) if after the removal of the two end vertices of e, the left graph has a unique perfect matching. Furthermore, a removable edge e of a brick G is b-invariant if b(G-e) = 1.
Lucchesi and Murty proposed a problem of characterizing bricks, distinct from K4, the prism and the Petersen graph, in which every b-invariant edge is forcing. We answer the problem for cubic bricks by showing that there are exactly ten cubic bricks, including K4, the prism and the Petersen graph, every b-invariant edge of which is forcing.
On Hamilton paths in vertex-transitive graphs of order $10p$
Published
• View Publication
• BIB
It was shown by Kutnar, Maru\v si\v c and Zhang in 2012 that every connected vertex-transitive graph of order $10p$, where $p$ is a prime and $p\ne 7$, contains a Hamilton path, except for graphs $X$ arising from the action of PSL$(2, s^m)$ on cosets of $\mathbb{Z}_s^m\rtimes \mathbb{Z}_{\frac{s^m-1}{10}}$, where $s$ is a prime. In this paper, Hamilton cycles of these exceptions $X$ will be found.
On combinatorics of plus-one generated line arrangements
Published
• View Publication
• BIB
In this note we focus on combinatorial aspects of plus-one generated line arrangements. We provide combinatorial constraints on such arrangements and we construct a polynomial that decodes the plus-one generated property. We present new examples of plus-one generated arrangements constructed by using classical Klein and Wiman reflection arrangements, and we detect, among all known sporadic simplicial arrangements up to $27$ lines, exactly $9$ arrangements that are minimal plus-one generated.
Turán numbers of cycles plus a general graph
Published
• View Publication
• BIB
For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a general graph $F$. To be precise, we determine $\textrm{ex}(n, \{{\cal C}_{\geq k}, F\})$ apart from a constant additive term, where $F$ either is a 2-connected nonbipartite graph or is a 2-connected bipartite graph under some conditions. This is an extension of a previous result on the Turán number of $\{{\cal C}_{\geq k}, K_r\}$ by the first author, Ning, and the third author.
Computational methods for finding bi-regular cages
Published
• View Publication
• BIB
An $(\{r,m\};g)$-graph is a (simple, undirected) graph of girth $g\geq3$ with vertices of degrees $r$ and $m$ where $2 \leq r < m$ . Given $r,m,g$, we seek the $(\{r,m\};g)$-graphs of minimum order, called $(\{r,m\};g)$-cages or bi-regular cages, whose order is denoted by $n(\{r,m\};g)$. In this paper, we use computational methods for finding $(\{r,m\};g)$-graphs of small order. Firstly, we present an exhaustive generation algorithm, which leads to $\unicode{x2013}$ previously unknown $\unicode{x2013}$ exhaustive lists of $(\{r,m\};g)$-cages for 24 different triples $(r,m,g)$. This also leads to the improvement of the lower bound of $n(\{4,5\};7)$ from 66 to 69. Secondly, we improve 49 upper bounds of $n(\{r,m\};g)$ based on constructions that start from $r$-regular graphs. Lastly, we generalize a theorem by Aguilar, Araujo-Pardo and Berman [arXiv:2305.03290, 2023], leading to 73 additional improved upper bounds.
Characterizing graphs with high inducibility
For a positive integer $k$ and a graph $H$ on $k$ vertices, we are interested in the inducibility of $H$, denoted $\mathrm{ind}(H)$, which is defined as the maximum possible probability that choosing $k$ vertices uniformly at random from a large graph $G$, they induce a copy of $H$. It follows from the resolved Edge-statistics conjecture that if $H \not \in \{K_k, \bar K_k\}$, then $\mathrm{ind}(H) \leq 1 / e + o_k(1)$. Equality holds for the star graph $K_{1, k-1}$, the graph with a single edge on $k$ vertices and their complements. We prove that for all other graphs $H$, we have $\mathrm{ind}(H) \leq c + o_k(1)$ for an absolute constant $c < 1 / e$. Moreover, we explicitly characterize all graphs with inducibility bounded away from zero. Namely, we show that this is the class of graphs $H$ for which there is a set $V_0 \subseteq V(H)$ of bounded size with the property that all permutations of $V(H) \backslash V_0$ extend to an automorphism of $H$.
Nonregular graphs with a given maximum degree attaining maximum spectral radius
Let $G$ be a connected nonregular graphs of order $n$ with maximum degree $Δ$ that attains the maximum spectral radius. Liu and Li (2008) proposed a conjecture stating that $G$ has a degree sequence $(Δ,\ldots,Δ,δ)$ with $δ<Δ$. For $Δ=3$ and $Δ=4$, Liu (2024) confirmed this conjecture by characterizing the structure of such graphs. Liu also proposed a modified version of the conjecture for fixed $Δ$ and sufficiently large $n$, stating that the above $δ=Δ-1$ if $Δ$ and $n$ are both odd, $δ=1$ if $Δ$ is odd and $n$ is even, and $δ=Δ-2$ if $Δ$ is even. For the cases where $Δ=n-2$ with $n\ge 5$, and $Δ=n-3$ with $n\ge 59$, we fully characterize the structure of $G$.
Element-Distinct Solution For Rado's Theorem
In this paper, we present a simplified proof of Rado's Theorem and demonstrate that when an integer matrix $M$ satisfies the column condition and $M\mathbf x=\mathbf 0$ has an element-distinct solution on $\mathbb N$, then under any finite coloring of $\mathbb N$, the equation $M\mathbf x=\mathbf 0$ has a monochromatic element-distinct solution. This gives a positive answer to a problem of Di Nasso in 2016.
Misère Cricket Pitch
Misère games in general have little algebraic structure, but if the games under consideration have properties then some algebraic structure re-appears. In 2023, the class of Blocking games was identified. Misère Cricket Pitch was suggested as a problem at the Games-at-Dal-2023 Workshop, and is the first game in this class to be studied. Normal play Cricket Pitch was analyzed in 2011.
The game involves flattening `bumps' with a roller. The main reduction of normal play, reducing every bump by $2$, is not applicable in misère play.
In this paper, we find the outcomes of single (linear) component \textsc{cricket pitch} positions, where
the proof is based on first considering the bumps to the left and to the right of the roller separately. We also give reductions, true in Blocking games in general, of positions that occur in simple positions of Cricket Pitch. These allow us to find the outcomes of the disjunctive sum of single bump positions. At the time of writing, it was not possible to find game values since the relevant theory for Blocking games does not exist.
Partition regularity of homogeneous quadratics: Current trends and challenges
Suppose we partition the integers into finitely many cells. Can we always find a solution of the equation $x^2+y^2=z^2$ with $x,y,z$ on the same cell? What about more general homogeneous quadratic equations in three variables? These are basic questions in arithmetic Ramsey theory, which have recently been partially answered using ideas inspired by ergodic theory and tools such as Gowers-uniformity properties and concentration estimates of bounded multiplicative functions. The aim of this article is to provide an introduction to this exciting research area, explaining the main ideas behind the recent progress and some of the important challenges that lie ahead.
Stable curves and chromatic polynomials
Published
• View Publication
• BIB
The intersection numbers of moduli spaces of stable curves $\overline{\mathcal{M}}_{g,m}$ are well-studied and are known to have rich combinatorial structure. We introduce a natural class of these intersection numbers $ω_{G,g,m}$ indexed by finite simple graphs $G=(V,E)$. In genus zero, these numbers are closely related to several previously-studied quantities, including maximum likelihood degrees in algebraic statistics, counts of regions of certain hyperplane arrangements, and Kapranov degrees. We give two proofs of a simple closed formula $ω_{G,g,m}=(-1)^{\left\lvert V \right\rvert}χ_G(-(2g-2+m)),$ where $χ_G$ is the chromatic polynomial of $G$ -- one proof via intersection theory on moduli spaces of stable curves, and the other using the theory of hyperplane arrangements. We discuss several related questions and speculations, including new candidates for the chromatic polynomial of a directed graph.
Log-concavity of polynomials arising from equivariant cohomology
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.
On the singularity probability of random circulant Bernoulli matrices
A complete characterization of the asymptotic singularity probability of random circulant Bernoulli matrices is given for all values of the probability parameter.
Reduced Groebner Bases With Double Exponential Cardinality
In this article, we investigate the cardinality of Groebner bases under various monomial orderings. We identify a family of polynomials F and a criterion such that the reduced Groebner basis of F is double exponential in cardinality with respect to any monomial ordering which satisfies this criterion. We also show that the said criterion is satisfied by orderings such as the lexicographic, degree lexicographic and weighted orderings.
An algorithm for uniform generation of unlabeled trees (Pólya trees), with an extension of Cayley's formula
Published
• View Publication
• BIB
Pólya trees are rooted, unlabeled trees on $n$ vertices. This paper gives an efficient, new way to generate Pólya trees. This allows comparing typical unlabeled and labeled tree statistics and comparing asymptotic theorems with `reality'.
Along the way, we give a product formula for the number of rooted labeled trees preserved by a given automorphism; this refines Cayley's formula.
A universal characterization of the shifted plactic monoid
Published
• View Publication
• BIB
The plactic monoid $\mathbf{P}$ of Lascoux and Schützenberger (1981) plays an important role in proofs of the Littlewood-Richardson rule for computing multiplicities in the linear representation theory of the symmetric group $\mathfrak{S}_n$ and the cohomology of Grassmannians. Commonly, $\mathbf{P}$ is defined as a quotient of a free monoid by relations derived from a careful analysis of Schensted's insertion algorithm and the jeu de taquin algorithm on semistandard Young tableaux. However, Lascoux and Schützenberger also gave an intrinsic characterization of $\mathbf{P}$ via a universal property.
Serrano's (2010) shifted plactic monoid $\mathbf{S}$ is an analogue of $\mathbf{P}$ that governs instead the projective representation theory of $\mathfrak{S}_n$ and the cohomology of isotropic Grassmannians. We provide a universal property for $\mathbf{S}$, analogous to the Lascoux-Schützenberger characterization of $\mathbf{P}$.
Intervals in a family of Fibonacci lattices
We focus on a family of subsets $(\F^p_n)_{p\geq 2}$ of Dyck paths of semilength $n$ that avoid the patterns $DUU$ and $D^{p+1}$, which are enumerated by the generalized Fibonacci numbers. We endow them with the partial order relation induced by the well-known Stanley lattice, and we prove that all these posets are sublattices of the Stanley lattice. We provide generating functions for the numbers of linear and boolean intervals and we deduce the Möbius function for every $p\geq 2$. We count meet-irreducible elements in $\FF_n^p$ which establishes a surprising link with the edges of the $(n,p)$-Turán graph. We also prove that intervals are in one-to-one correspondence with bicolored Motzkin paths avoiding some patterns, which allows to enumerate intervals for $p=2$. Using a discrete continuity argument ($p\rightarrow \infty$), we present a similar enumerative study in a poset of some Dyck paths of semilength $n$ counted by $2^{n-1}$. Finally, we give bijections that transport the lattice structure on other combinatorial objects, proving that those lattices can be seen as the well-known dominance order on some compositions.