Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The weak order on the hyperoctahedral group and the monomial basis for the Hopf algebra of signed permutations
Published
• View Publication
• BIB
We give a combinatorial description for the weak order on the hyperoctahedral group. This characterization is then used to analyze the order-theoretic properties of the shifted products of hyperoctahedral groups. It is shown that each shifted product is a disjoint union of some intervals, which can be convex embedded into a hyperoctahedral group. As an application, we investigate the monomial basis for the Hopf algebra $\mathfrak{H}Sym$ of signed permutations, related to the fundamental basis via Möbius inversion on the weak order on hyperoctahedral groups. It turns out that the image of a monomial basis element under the descent map from $\mathfrak{H}Sym$ to the algebra of type $B$ quasi-symmetric functions is either zero or a monomial quasi-symmetric function of type $B$.
Subsets of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ without L-shaped configurations
Published in Compos. Math., 160(1), 176-236, 2024
• View Publication
• BIB
Fix a prime $p\geq 11$. We show that there exists a positive integer $m$ such that any subset of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ containing no nontrivial configurations of the form $(x,y),(x,y+z),(x,y+2z),(x+z,y)$ must have density $\ll 1/\log_{m}{n}$, where $\log_{m}$ denotes the $m$-fold iterated logarithm. This gives the first reasonable bound in the multidimensional Szemerédi theorem for a two-dimensional four-point configuration in any setting.
Cayley graphs on non-isomorphic groups
A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. In this paper we give conditions for when a Cayley graph on an abelian group can be represented as a Cayley graph on a generalized dihedral group, and conditions for when the converse is true.
Inverse formula for distance matrices of gear graphs
Distance matrices of some star like graphs are investigated in \cite{JAK}. These graphs are trees which are stars, wheel graphs, helm graphs and gear graphs. Except for gear graphs in the above list of star like graphs, there are precise formulas available in the literature to compute the inverse/Moore-Penrose inverse of their distance matrices. These formulas tell that if $D$ is the distance matrix of $G$, then $D^\dagger = -\frac{1}{2}L+uu'$, where $L$ is a Laplacian-like matrix which is positive semidefinite and all row sums equal to zero. The matrix $L$ and the vector $u$ depend only on the degree and number of vertices in $G$ and hence, can be written directly from $G$. The earliest formula obtained is for distance matrices of trees in Graham and Lovász \cite{GL}. In this paper, we obtain an elegant formula of this kind to compute the Moore-Penrose inverse of the distance matrix of a gear graph.
On tournaments combinatorics
In this paper we present a new proof of a proposition presented in the article: Complexes of tournaments, directionality filtrations and persistent homology. This paper is part of Joaquín Castañeda's undergraduate thesis.
Enumeration of partial Lukasiewicz paths
Published
• View Publication
• BIB
Łukasiewicz paths are lattice paths in $\Bbb{N}^2$ starting at the origin, ending on the $x$-axis, and consisting of steps in the set $\{(1,k), k\geq -1\}$. We give generating function and exact value for the number of $n$-length prefixes (resp. suffixes) of these paths ending at height $k\geq 0$ with a given type of step. We make a similar study for prefixes of height at most $t\geq 0$. Using the explicit forms for the paths of bounded height, we evaluate the average height asymptotically. For fixed $k$ and $n\to\infty$, this quantity behaves as $\sqrt{πn}$. Finally we study (in the same way) prefixes of alternate Łukasiewicz paths, i.e., Łukasiewicz paths that do contain two consecutive steps with the same direction.
Non-Gorenstein locus and almost Gorenstein property of the Ehrhart ring of the stable set polytope of a cycle graph
Published
• View Publication
• BIB
Let $R$ be the Ehrhart ring of the stable set polytope of a cycle graph which is not Gorenstein. We describe the non-Gorenstein locus of $\mathrm{Spec} R$. Further, we show that $R$ is almost Gorenstein. Moreover, we show that the conjecture of Hibi and Tsuchiya is true.
Extreme Values of Permutation Statistics
Published in Electronic Journal of Combinatorics, Volume 31, Issue 3 (2024), Article P3.10
• View Publication
• BIB
We investigate extreme values of Mahonian and Eulerian distributions arising from counting inversions and descents of random elements of finite Coxeter groups. To this end, we construct a triangular array of either distribution from a sequence of Coxeter groups with increasing ranks. To avoid degeneracy of extreme values, the number of i.i.d. samples $k_n$ in each row must be asymptotically bounded. We employ large deviations theory to prove the Gumbel attraction of Mahonian and Eulerian distributions. It is shown that for the two classes, different bounds on $k_n$ ensure this.
Schur properties of randomly perturbed sets
Published
• View Publication
• BIB
A set $A$ of integers is said to be Schur if any two-colouring of $A$ results in monochromatic $x,y$ and $z$ with $x+y=z$. We study the following problem: how many random integers from $[n]$ need to be added to some $A\subseteq [n]$ to ensure with high probability that the resulting set is Schur? Hu showed in 1980 that when $|A|> \lceil\tfrac{4n}{5}\rceil$, no random integers are needed, as $A$ is already guaranteed to be Schur. Recently, Aigner-Horev and Person showed that for any dense set of integers $A\subseteq [n]$, adding $ω(n^{1/3})$ random integers suffices, noting that this is optimal for sets $A$ with $|A|\leq \lceil\tfrac{n}{2}\rceil$. We close the gap between these two results by showing that if $A\subseteq [n]$ with $|A|=\lceil\tfrac{n}{2}\rceil+t<\lceil\tfrac{4n}{5}\rceil$, then adding $ω(\min\{n^{1/3},nt^{-1}\})$ random integers will with high probability result in a set that is Schur. Our result is optimal for all $t$, and we further provide a stability result showing that one needs far fewer random integers when $A$ is not close in structure to the extremal examples. We also initiate the study of perturbing sparse sets of integers $A$ by using algorithmic arguments and the theory of hypergraph containers to provide nontrivial upper and lower bounds.
On a conjecture that strengthens Kundu's $k$-factor Theorem
Published in J. Graph Theory. 108 (2025), 463-491
• View Publication
• BIB
Let $π=(d_{1},\ldots,d_{n})$ be a non-increasing degree sequence with even $n$. In 1974, Kundu showed that if $\mathcal{D}_{k}(π)=(d_{1}-k,\ldots,d_{n}-k)$ is graphic, then some realization of $π$ has a $k$-factor. For $r\leq 2$, Busch et al. and later Seacrest for $r\leq 4$ showed that if $r\leq k$ and $\mathcal{D}_{k}(π)$ is graphic, then there is a realization with a $k$-factor whose edges can be partitioned into a $(k-r)$-factor and $r$ edge-disjoint $1$-factors. We improve this to any $r\leq \min\{\lceil\frac{k+5}{3}\big\rceil,k\}$. In 1978, Brualdi and then Busch et al. in 2012, conjectured that $r=k$. The conjecture is still open for $k\geq6$. However, Busch et al. showed the conjecture is true when $d_{1}\leq \frac{n}{2}+1$ or $d_{n}\geq \frac{n}{2}+k-2$. We explore this conjecture by first developing new tools that generalize edge-exchanges. With these new tools, we can drop the assumption $\mathcal{D}_{k}(π)$ is graphic and show that if $d_{d_{1}-d_{n}+k}\geq d_{1}-d_{n}+k-1,$ then $π$ has a realization with $k$ edge-disjoint $1$-factors. From this we confirm the conjecture when $d_{n}\geq \frac{d_{1}+k-1}{2}$ or when $\mathcal{D}_{k}(π)$ is graphic and $d_{1}\leq \max \{n/2+d_{n}-k,(n+d_{n})/2\}$.
Optimal Time-Backlog Tradeoffs for the Variable-Processor Cup Game
The \emph{$ p$-processor cup game} is a classic and widely studied scheduling problem that captures the setting in which a $p$-processor machine must assign tasks to processors over time in order to ensure that no individual task ever falls too far behind. The problem is formalized as a multi-round game in which two players, a filler (who assigns work to tasks) and an emptier (who schedules tasks) compete. The emptier's goal is to minimize backlog, which is the maximum amount of outstanding work for any task.
Recently, Kuszmaul and Westover (ITCS, 2021) proposed the \emph{variable-processor cup game}, which considers the same problem, except that the amount of resources available to the players (i.e., the number $p$ of processors) fluctuates between rounds of the game. They showed that this seemingly small modification fundamentally changes the dynamics of the game: whereas the optimal backlog in the fixed $p$-processor game is $Θ(\log n)$, independent of $p$, the optimal backlog in the variable-processor game is $Θ(n)$. The latter result was only known to apply to games with \emph{exponentially many} rounds, however, and it has remained an open question what the optimal tradeoff between time and backlog is for shorter games.
This paper establishes a tight trade-off curve between time and backlog in the variable-processor cup game. Importantly, we prove that for a game consisting of $t$ rounds, the optimal backlog is $Θ(n)$ if and only if $t \ge Ω(n^3)$. Our techniques also allow for us to resolve several other open questions concerning how the variable-processor cup game behaves in beyond-worst-case-analysis settings.
Squared distance matrices of trees with matrix weights
Published
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices whose edge weights are positive definite matrices of order $s$. The squared distance matrix of $T$, denoted by $Δ$, is the $ns \times ns$ block matrix with $Δ_{ij}=d(i,j)^2$, where $d(i,j)$ is the sum of the weights of the edges in the unique $(i,j)$-path. In this article, we obtain a formula for the determinant of $Δ$ and find $Δ^{-1}$ under some conditions.
PBW filtration and monomial bases for Demazure modules in types A and C
Published in Beitr Algebra Geom (2022)
• View Publication
• BIB
We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements depends not on the type A or C of the Lie algebra but on the rank only.
Iterated Jump Graphs
The jump graph $J(G)$ of a simple graph $G$ has vertices which represent edges in $G$ where two vertices in $J(G)$ are adjacent if and only if the corresponding edges in $G$ do not share an endpoint. In this paper, we examine sequences of graphs generated by iterating the jump graph operation and characterize the behavior of this sequence for all initial graphs. We build on work by Chartrand et al. who showed that a handful of jump graph sequences terminate and two sequences converge. We extend these results by showing that there are no non-trivial repeating sequences of jump graphs. All diverging jump graph sequences grow without bound while accumulating certain subgraphs.
Applications of the Isolating Fusion Algorithm to Table Algebras and Association Schemes
Let $\mathbf{B}$ be a basis for an $r$-dimensional algebra $A$ over a field or commutative ring with unity. The semifusions of $\mathbf{B}$ are the partitions of $\mathbf{B}$ whose characteristic functions form the basis of a subalgebra of $A$, and fusions are semifusions that respect a given involution on $A$.
In this paper, we give an algorithm for computing a minimal semifusion (or fusion) of $\mathbf{B}$ that isolates a prescribed list of disjoint sums of basis elements of $\mathbf{B}$, when such a semifusion (or fusion) exists. We apply this algorithm to three problems: (1) computing the fusion lattices for small association schemes of a given order; (2) producing explicit realizations of association schemes with transitive automorphism groups; and (3) producing examples of non-Schurian fusions of Schurian association schemes whose adjacency matrices have noncyclotomic eigenvalues. The latter is of interest to the open question asking whether association schemes with transitive automorphsm groups can have noncyclotomic character values.
Generalized perfect difference families and their application to variable-weight geometric orthogonal codes
Published
• View Publication
• BIB
Motivated by the application in geometric orthogonal codes (GOCs), Wang et al. introduced the concept of generalized perfect difference families (PDFs), and established the equivalence between GOCs and a certain type of generalized PDFs recently. Based on the relationship, we discuss the existence problem of generalized $(n\times m,K,1)$-PDFs in this paper. By using some auxiliary designs such as semi-perfect group divisible designs and several recursive constructions, we prove that a generalized $(n\times m, \{3,4\}, 1)$-PDF exists if and only if $nm\equiv1\pmod{6}$. The existence of a generalized $(n\times m, \{3,4,5\}, 1)$-PDF is also completely solved possibly except for a few values. As a consequence, some variable-weight perfect $(n\times m,K,1)$-GOCs are obtained.\vspace{0.2cm}
{\bf Keywords}: generalized perfect difference family, generalized perfect difference packing, geometric orthogonal code, semi-perfect group divisible design
Eigenstripping, Spectral Decay, and Edge-Expansion on Posets
We study the relationship between the underlying structure of posets and the spectral and combinatorial properties of their higher-order random walks. While fast mixing of random walks on hypergraphs has led to myriad breakthroughs throughout theoretical computer science in the last five years, many other important applications (e.g. locally testable codes, 2-2 games) rely on the more general non-simplicial structures. These works make it clear that the global expansion properties of posets depend strongly on their underlying architecture (e.g. simplicial, cubical, linear algebraic), but the overall phenomenon remains poorly understood. In this work, we quantify the advantage of different architectures, highlighting how structural regularity controls the spectral decay and edge-expansion of corresponding random walks.
In particular, we show the spectra of walks on expanding posets (Dikstein, Dinur, Filmus, Harsha RANDOM 2018) concentrate in strips around a small number of approximate eigenvalues controlled by the poset's regularity. This gives a simple condition to identify architectures (e.g. the Grassmann) that exhibit fast (exponential) decay of eigenvalues, versus architectures like hypergraphs with slow (linear) decay -- a crucial distinction in applications to hardness of approximation and agreement testing such as the recent proof of the 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). We show these results lead to a tight variance-based characterization of edge-expansion on eposets generalizing (Bafna, Hopkins, Kaufman, and Lovett (SODA 2022)), and pay special attention to the case of the Grassmann where we show our results are tight for a natural set of sparsifications of the Grassmann graphs. We note for clarity that our results do not recover the characterization used in the proof of the 2-2 Games Conjecture which relies on $\ell_\infty$ rather than $\ell_2$-structure.
Edge Resolvability of Crystal Cubic Carbon Structure
Published
• View Publication
• BIB
Chemical graph theory is commonly used to analyse and comprehend chemical structures and networks, as well as their features. The resolvability parameters for graph $G$= $(V,E)$ are a relatively new advanced field in which the complete structure is built so that each vertex (atom) or edge (bond) represents a distinct position. In this article, we study the resolvability parameters i.e., edge resolvability of chemical graph of crystal structure of cubic carbon $CCS(n)$
Skeptical binary inferences in multi-label problems with sets of probabilities
In this paper, we consider the problem of making distributionally robust, skeptical inferences for the multi-label problem, or more generally for Boolean vectors. By distributionally robust, we mean that we consider a set of possible probability distributions, and by skeptical we understand that we consider as valid only those inferences that are true for every distribution within this set. Such inferences will provide partial predictions whenever the considered set is sufficiently big. We study in particular the Hamming loss case, a common loss function in multi-label problems, showing how skeptical inferences can be made in this setting. Our experimental results are organised in three sections; (1) the first one indicates the gain computational obtained from our theoretical results by using synthetical data sets, (2) the second one indicates that our approaches produce relevant cautiousness on those hard-to-predict instances where its precise counterpart fails, and (3) the last one demonstrates experimentally how our approach copes with imperfect information (generated by a downsampling procedure) better than the partial abstention [31] and the rejection rules.
Anticoncentration and Berry--Esseen bounds for random tensors
Published
• View Publication
• BIB
We obtain estimates for the Kolmogorov distance to appropriately chosen gaussians, of linear functions \[ \sum_{i\in [n]^d} θ_i X_i \] of random tensors $\boldsymbol{X}=\langle X_i:i\in [n]^d\rangle$ which are symmetric and exchangeable, and whose entries have bounded third moment and vanish on diagonal indices. These estimates are expressed in terms of intrinsic (and easily computable) parameters associated with the random tensor $\boldsymbol{X}$ and the given coefficients $\langle θ_i:i\in [n]^d\rangle$, and they are optimal in various regimes.
The key ingredient -- which is of independent interest -- is a combinatorial CLT for high-dimensional tensors which provides quantitative non-asymptotic normality under suitable conditions, of statistics of the form \[ \sum_{(i_1,\dots,i_d)\in [n]^d} \boldsymbolζ\big(i_1,\dots,i_d,π(i_1),\dots,π(i_d)\big) \] where $\boldsymbolζ\colon [n]^d\times [n]^d\to\mathbb{R}$ is a deterministic real tensor, and $π$ is a random permutation uniformly distributed on the symmetric group $\mathbb{S}_n$. Our results extend, in any dimension $d$, classical work of Bolthausen who covered the one-dimensional case, and more recent work of Barbour/Chen who treated the two-dimensional case.