Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A complex analogue of the Goodman-Pollack-Wenger theorem
A \textit{$k$-transversal} to family of sets in $\mathbb{R}^d$ is a $k$-dimensional affine subspace that intersects each set of the family. In 1957 Hadwiger provided a necessary and sufficient condition for a family of pairwise disjoint, planar convex sets to have a $1$-transversal. After a series of three papers among the authors Goodman, Pollack, and Wenger from 1988 to 1990, Hadwiger's Theorem was extended to necessary and sufficient conditions for $(d-1)$-transversals to finite families of convex sets in $\mathbb{R}^d$ with no disjointness condition on the family of sets. We prove an analogue of the Goodman-Pollack-Wenger theorem in the complex setting.
Spectral pseudorandomness and the road to improved clique number bounds for Paley graphs
Published
• View Publication
• BIB
We study subgraphs of Paley graphs of prime order $p$ induced on the sets of vertices extending a given independent set of size $a$ to a larger independent set. Using a sufficient condition proved in the author's recent companion work, we show that a family of character sum estimates would imply that, as $p \to \infty$, the empirical spectral distributions of the adjacency matrices of any sequence of such subgraphs have the same weak limit (after rescaling) as those of subgraphs induced on a random set including each vertex independently with probability $2^{-a}$, namely, a Kesten-McKay law with parameter $2^a$. We prove the necessary estimates for $a = 1$, obtaining in the process an alternate proof of a character sum equidistribution result of Xi (2022), and provide numerical evidence for this weak convergence for $a \geq 2$. We also conjecture that the minimum eigenvalue of any such sequence converges (after rescaling) to the left edge of the corresponding Kesten-McKay law, and provide numerical evidence for this convergence. Finally, we show that, once $a \geq 3$, this (conjectural) convergence of the minimum eigenvalue would imply bounds on the clique number of the Paley graph improving on the current state of the art due to Hanson and Petridis (2021), and that this convergence for all $a \geq 1$ would imply that the clique number is $o(\sqrt{p})$.
Hook length biases and general linear partition inequalities
Published
• View Publication
• BIB
Motivated in part by hook-content formulas for certain restricted partitions in representation theory, we consider the total number of hooks of fixed length in odd versus distinct partitions. We show that there are more hooks of length $2$, respectively $3$, in all odd partitions of $n$ than in all distinct partitions of $n$, and make the analogous conjecture for arbitrary hook length $t \geq 2$. We also establish additional bias results on the number of gaps of size $1,$ respectively $2$, in all odd versus distinct partitions of $n$. We conjecture similar biases and asymptotics, as well as congruences for the number of hooks of fixed length in odd distinct partitions versus self-conjugate partitions.
An integral component of the proof of our bias result for hooks of length $3$ is a linear inequality involving $q(n)$, the number of distinct partitions of $n$. In this article we also establish effective linear inequalities for $q(n)$ in great generality, a result which is of independent interest.
Our methods are both analytic and combinatorial, and our results and conjectures intersect the areas of representation theory, analytic number theory, partition theory, and $q$-series. In particular, we use a Rademacher-type exact formula for $q(n),$ Wright's circle method, modularity, $q$-series transformations, asymptotic methods, and combinatorial arguments.
Upper bounds on the numbers of binary plateaued and bent functions
Published
• View Publication
• BIB
The logarithm of the number of binary n-variable bent functions is asymptotically less than $11(2^n)/32$ as n tends to infinity.
Keywords: boolean function, Walsh--Hadamard transform, plateaued function, bent function, upper bound
Shi arrangements and low elements in Coxeter groups
Published in Proceedings of the London Mathematical Society Volume 129, Issue 2 (2024)
• View Publication
• BIB
Given an arbitrary Coxeter system $(W,S)$ and a nonnegative integer $m$, the $m$-Shi arrangement of $(W,S)$ is a subarrangement of the Coxeter hyperplane arrangement of $(W,S)$. The classical Shi arrangement ($m=0$) was introduced in the case of affine Weyl groups by Shi to study Kazhdan-Lusztig cells for $W$. As two key results, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$ and that the union of their inverses form a convex subset of the Coxeter complex. The set of $m$-low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and they turn out to produce automata to study the combinatorics of reduced words in $W$.
In this article, we generalize and extend Shi's results to any Coxeter system for any $m$: (1) the set of minimal length elements of the regions in a $m$-Shi arrangement is precisely the set of $m$-low elements, settling a conjecture of the first and third authors in this case; (2) the union of the inverses of the ($0$-)low elements form a convex subset in the Coxeter complex, settling a conjecture by the third author, Nadeau and Williams.
Robust Recovery of Robinson Property in $L^p$-Graphons: A Cut-Norm Approach
Published
• View Publication
• BIB
This paper investigates the Robinson graphon completion/recovery problem within the class of $L^p$-graphons, focusing on the range $5<p\leq \infty$. A graphon $w$ is Robinson if it satisfies the Robinson property: if $x\leq y\leq z$, then $w(x,z)\leq \min\{w(x,y),w(y,z)\}$. We demonstrate that if a graphon possesses localized near-Robinson characteristics, it can be effectively approximated by a Robinson graphon in terms of cut-norm. To achieve this recovery result, we introduce a function $Λ$, defined on the space of $L^p$-graphons, which quantifies the degree to which a graphon $w$ adheres to the Robinson property. We prove that $Λ$ is a suitable gauge for measuring the Robinson property when proximity of graphons is understood in terms of cut-norm. Namely, we show that (1) $Λ(w)=0$ precisely when $w$ is Robinson; (2) $Λ$ is cut-norm continuous, in the sense that if two graphons are close in the cut-norm, then their $Λ$ values are close; and (3) for $p > 5$, any $L^p$-graphon $w$ can be approximated by a Robinson graphon, with error of the approximation bounded in terms of $Λ(w)$. When viewing $w$ as a noisy version of a Robinson graphon, our method provides a concrete recipe for recovering a cut-norm approximation of a noiseless $w$. Given that any symmetric matrix is a special type of graphon, our results can be applicable to symmetric matrices of any size. Our work extends and improves previous results, where a similar question for the special case of $L^\infty$-graphons was answered.
On the $α$-spectral radius of hypergraphs
For real $α\in [0,1)$ and a hypergraph $G$, the $α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ is the adjacency matrix of $G$, which is a symmetric matrix with zero diagonal such that for distinct vertices $u,v$ of $G$, the $(u,v)$-entry of $A(G)$ is exactly the number of edges containing both $u$ and $v$, and $D(G)$ is the diagonal matrix of row sums of $A(G)$. We study the $α$-spectral radius of a hypergraph that is uniform or not necessarily uniform. We propose some local grafting operations that increase or decrease the $α$-spectral radius of a hypergraph. We determine the unique hypergraphs with maximum $α$-spectral radius among $k$-uniform hypertrees, among $k$-uniform unicyclic hypergraphs, and among $k$-uniform hypergraphs with fixed number of pendant edges. We also determine the unique hypertrees with maximum $α$-spectral radius among hypertrees with given number of vertices and edges, the unique hypertrees with the first three largest (two smallest, respectively) $α$-spectral radii among hypertrees with given number of vertices, the unique hypertrees with minimum $α$-spectral radius among the hypertrees that are not $2$-uniform, the unique hypergraphs with the first two largest (smallest, respectively) $α$-spectral radii among unicyclic hypergraphs with given number of vertices, and the unique hypergraphs with maximum $α$-spectral radius among hypergraphs with fixed number of pendant edges.
Maximum Flag-Rank Distance Codes
Published
• View Publication
• BIB
In this paper we extend the study of linear spaces of upper triangular matrices endowed with the flag-rank metric. Such metric spaces are isometric to certain spaces of degenerate flags and have been suggested as suitable framework for network coding. In this setting we provide a Singleton-like bound which relates the parameters of a flag-rank-metric code. This allows us to introduce the family of maximum flag-rank distance codes, that are flag-rank-metric codes meeting the Singleton-like bound with equality. Finally, we provide several constructions of maximum flag-rank distance codes.
Signless Laplacian spectral radius for a k-extendable graph
Published
• View Publication
• BIB
Let $k$ and $n$ be two nonnegative integers with $n\equiv0$ (mod 2), and let $G$ be a graph of order $n$ with a 1-factor. Then $G$ is said to be $k$-extendable for $0\leq k\leq\frac{n-2}{2}$ if every matching in $G$ of size $k$ can be extended to a 1-factor. In this paper, we first establish a lower bound on the signless Laplacian spectral radius of $G$ to ensure that $G$ is $k$-extendable. Then we create some extremal graphs to claim that all the bounds derived in this article are sharp.
Disjointness Graphs of segments in $R^2$ are almost all Hamiltonian
Let $P$ be a set of $n\geq 2$ points in general position in $R^2$. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. In this note, we give a full characterization of all those edge disjointness graphs that are hamiltonian. More precisely, we shall show that (up to order type isomorphism) there are exactly 8 instances of P for which $D(P)$ is not hamiltonian. Additionally, from one of these 8 instances, we derive a counterexample to a criterion for the existence of hamiltonian cycles due to A. D. Plotnikov in 1998.
Phylogenetic degrees for claw trees
Published
• View Publication
• BIB
Group-based models appear in algebraic statistics as mathematical models coming from evolutionary biology, respectively the study of mutations of organisms. Both theoretically and in terms of applications, we are interested in determining the algebraic degrees of the phylogenetic varieties coming from these models. These algebraic degrees are called phylogenetic degrees. In this paper, we compute the phylogenetic degree of the variety $X_{G, n}$ with $G\in\{\mathbb{Z}_2,\mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_3\}$ and any $n$-claw tree. As these varieties are toric, computing their phylogenetic degree relies on computing the volume of their associated polytopes $P_{G,n}$. We apply combinatorial methods and we give concrete formulas for them.
Boltzmann Distribution on "Short" Integer Partitions with Power Parts: Limit Laws and Sampling
Published in Advances in Applied Mathematics, Volume 159, August 2024, 102739
• View Publication
• BIB
The paper is concerned with the asymptotic analysis of a family of Boltzmann (multiplicative) distributions over the set $\check{\varLambda}^{q}$ of strict integer partitions (i.e., with unequal parts) into perfect $q$-th powers. A combinatorial link is provided via a suitable conditioning by fixing the partition weight (the sum of parts) and length (the number of parts), leading to uniform distribution on the corresponding subspaces of partitions. The Boltzmann measure is calibrated through the hyper-parameters $\langle N\rangle$ and $\langle M\rangle$ controlling the expected weight and length, respectively. We study ``short'' partitions, where the parameter $\langle M\rangle$ is either fixed or grows slower than for typical plain (unconstrained) partitions. For this model, we obtain a variety of limit theorems including the asymptotics of the cumulative cardinality in the case of fixed $\langle M\rangle$ and a limit shape result in the case of slow growth of $\langle M\rangle$. In both cases, we also characterize the joint distribution of the weight and length, as well as the growth of the smallest and largest parts. Using these results we construct suitable sampling algorithms and analyse their performance.
An Euler operator approach to Ehrhart series
We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.
Ramsey numbers of cliques versus monotone paths
Published
• View Publication
• BIB
One formulation of the Erdos-Szekeres monotone subsequence theorem states that for any red/blue coloring of the edge set of the complete graph on $\{1, 2, \ldots, N\}$, there exists a monochromatic red $s$-clique or a monochromatic blue increasing path $P_n$ with $n$ vertices, provided $N >(s-1)(n-1)$. %We had previously shown that a suitable generalization of this problem to quadruple systems is essentially equivalent to classical diagonal hypergraph Ramsey numbers. Here, we prove a similar statement as above in the off-diagonal case for triple systems, with the quasipolynomial bound $N>2^{c(\log n)^{s-1}}$. For the $t$th power $P_n^t$ of the ordered increasing graph path with $n$ vertices, we prove a near linear bound $c\, n(\log n)^{s-2}$ which improves the previous bound that applied to a more general class of graphs than $P_n^t$ due to Conlon-Fox-Lee-Sudakov.
Hyperbolicity Theorems for Correspondence Colouring
Published
• View Publication
• BIB
We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form hyperbolic families. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show further that this implies that locally planar graphs are 5-correspondence colourable; and, using results of Dvořák and Kawarabayashi, that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five.
%-Immanants and Temperley-Lieb Immanants
In this paper, we investigate the relationship between Temperley-Lieb immanants, which were introduced by Rhoades and Skandera, and %-immanants, an immanant based on a concept introduced by Chepuri and Sherman-Bennett. Our main result is a classification of when a Temperley-Lieb immanant can be written as a linear combination of %-immanants. This result uses a formula by Rhoades and Skandera to compute Temperley-Lieb immanants in terms of complementary minors. Using this formula, we also derive an explicit expression for the coefficients of a Temperley-Lieb immanant coming from a $321$-, $1324$-avoiding permutation $w$ containing the pattern $2143,$ which we use to derive our main result.
Experimenting with Standard Young Tableaux
Published
• View Publication
• BIB
Using Symbolic Computation with Maple, we can discover lots of (rigorously-proved!) facts about Standard Young Tableaux, in particular the distribution of the entries in any specific cell, and the sorting probabilities.
Polarity on $H$-split graphs
Published
• View Publication
• BIB
Given nonnegative integers, $s$ and $k$, an $(s,k)$-polar partition of a graph $G$ is a partition $(A,B)$ of $V_G$ such that $G[A]$ and $\overline{G[B]}$ are complete multipartite graphs with at most $s$ and $k$ parts, respectively. If $s$ or $k$ is replaced by $\infty$, it means that there is no restriction on the number of parts of $G[A]$ or $\overline{G[B]}$, respectively. A graph admitting a $(1,1)$-polar partition is usually called a split graph.
In this work, we present some results related to $(s,k)$-polar partitions on two graph classes generalizing split graphs. Our main results include efficient algorithms to decide whether a graph on these classes admits an $(s,k)$-polar partition, as well as upper bounds for the order of minimal $(s,k)$-polar obstructions on such graph families for any $s$ and $k$ (even if $s$ or $k$ is $\infty$).
Signal processing on large networks with group symmetries
Current methods of graph signal processing rely heavily on the specific structure of the underlying network: the shift operator and the graph Fourier transform are both derived directly from a specific graph. In many cases, the network is subject to error or natural changes over time. This motivated a new perspective on GSP, where the signal processing framework is developed for an entire class of graphs with similar structures. This approach can be formalized via the theory of graph limits, where graphs are considered as random samples from a distribution represented by a graphon.
When the network under consideration has underlying symmetries, they may be modeled as samples from Cayley graphons. In Cayley graphons, vertices are sampled from a group, and the link probability between two vertices is determined by a function of the two corresponding group elements. Infinite groups such as the 1-dimensional torus can be used to model networks with an underlying spatial reality. Cayley graphons on finite groups give rise to a Stochastic Block Model, where the link probabilities between blocks form a (edge-weighted) Cayley graph. This manuscript summarizes some work on graph signal processing on large networks, in particular samples of Cayley graphons.
Graphs with queue number three and unbounded stack number
We prove that the graphs $T\boxslash P$ have unbounded stack number and queue number $3$, where $T$ is a tree and $P$ is a path, and $\boxslash$ denotes the graph strong product but with one of the directions removed. The previous best known results is that graphs with queue number $4$ can have unbounded stack number.