Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Transitive subtournaments of $k$-th power Paley digraphs and improved lower bounds for Ramsey numbers
Published
• View Publication
• BIB
Let $k \geq 2$ be an even integer. Let $q$ be a prime power such that $q \equiv k+1 \pmod {2k}$. We define the $\textit{k-th power Paley digraph}$ of order $q$, $G_k(q)$, as the graph with vertex set $\mathbb{F}_q$ where $a \to b$ is an edge if and only if $b-a$ is a $k$-th power residue. This generalizes the (k=2) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases, we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor directed Ramsey numbers $R_{\frac{k}{2}}(4)=R(4,4,\cdots,4)$ (resp. $R_{\frac{k}{2}}(3)$). We state explicitly these lower bounds for $k\leq 10$ and compare to known bounds, showing improvement for $R_2(4)$ and $R_3(3)$. Combining with known multiplicative relations we give improved lower bounds for $R_{t}(4)$, for all $t\geq 2$, and for $R_{t}(3)$, for all $t \geq 3$.
Ghost series and a motivated proof of the Bressoud-Göllnitz-Gordon identities
Published
• View Publication
• BIB
We present what we call a "motivated proof" of the Bressoud-Göllnitz-Gordon partition identities. Similar "motivated proofs" have been given by Andrews and Baxter for the Rogers-Ramanujan identities and by Lepowsky and Zhu for Gordon's identities. Additionally, "motivated proofs" have also been given for the Andrews-Bressoud partition identities by Kanade, Lepowsky, Russell, and Sills and for the Göllnitz-Gordon-Andrews identities by Coulson, Kanade, Lepowsky, McRae, Qi, Russell, and the third author. Our proof borrows both the use of "ghost series" from the "motivated proof" of the Andrews-Bressoud identities and uses recursions similar to those found in the "motivated proof" of the Göllnitz-Gordon-Andrews identities. We anticipate that this "motivated proof" of the Bressoud-Göllnitz-Gordon identities will illuminate certain twisted vertex-algebraic constructions.
Interface fluctuations associated with split Fermi seas
Published in J. Phys. A: Math. Theor. 57 085201 (2024)
• View Publication
• BIB
We consider the asymptotic behaviour of a family of unidimensional lattice fermion models, which are in exact correspondence with certain probability laws on partitions and on unitary matrices. These models exhibit limit shapes, and in the case where the bulk of these shapes are described by analytic functions, the fluctuations around their interfaces have been shown to follow a universal Tracy-Widom distribution or its higher-order analogue. Non-differentiable bulk limit shape functions arise when a gap appears in some quantum numbers of the model, in other words when the Fermi sea is split. We show that split Fermi seas give rise to new interface fluctuations, governed by integer powers of universal distributions. This breakdown in universality is analogous to the behaviour of a random Hermitian matrix when the support of its limiting eigenvalue distribution has multiple cuts, with oscillations appearing in the limit of the two-point correlation function. We show that when the Fermi sea is split in the lattice fermion model, there are multiple cuts in the eigenvalue support of the corresponding unitary matrix model.
Positive discrepancy, MaxCut, and eigenvalues of graphs
The positive discrepancy of a graph $G$ of edge density $p=e(G)/\binom{v(G)}{2}$ is defined as
$$\mbox{disc}^{+}(G)=\max_{U\subset V(G)}e(G[U])-p\binom{|U|}{2}.$$
In 1993, Alon proved (using the equivalent terminology of minimum bisections) that if $G$ is $d$-regular on $n$ vertices, and $d=O(n^{1/9})$, then $\mbox{disc}^{+}(G)=Ω(d^{1/2}n)$. We greatly extend this by showing that if $G$ has average degree $d$, then $\mbox{disc}^{+}(G)=Ω(d^{\frac{1}{2}}n)$ if $d\in [0,n^{\frac{2}{3}}]$, $Ω(n^2/d)$ if $d\in [n^{\frac{2}{3}},n^{\frac{4}{5}}]$, and $Ω(d^{\frac{1}{4}}n/\log n)$ if $d\in \left[n^{\frac{4}{5}},(\frac{1}{2}-\varepsilon)n\right]$. These bounds are best possible if $d\ll n^{3/4}$, and the complete bipartite graph shows that $\mbox{disc}^{+}(G)=Ω(n)$ cannot be improved if $d\approx n/2$. Our proofs are based on semidefinite programming and linear algebraic techniques.
An interesting corollary of our results is that every $d$-regular graph on $n$ vertices with ${\frac{1}{2}+\varepsilon\leq \frac{d}{n}\leq 1-\varepsilon}$ has a cut of size $\frac{nd}{4}+Ω(n^{5/4}/\log n)$. This is not necessarily true without the assumption of regularity, or the bounds on $d$.
The positive discrepancy of regular graphs is controlled by the second eigenvalue $λ_2$, as $\mbox{disc}^{+}(G)\leq \frac{λ_2}{2} n+d$. As a byproduct of our arguments, we present lower bounds on $λ_2$ for regular graphs, extending the celebrated Alon-Boppana theorem in the dense regime.
The Tensor as an Informational Resource
Published in PNAS Nexus, Volume 3, Issue 9, September 2024, pgae254 (2024)
• View Publication
• BIB
A tensor is a multidimensional array of numbers that can be used to store data, encode a computational relation and represent quantum entanglement. In this sense a tensor can be viewed as valuable resource whose transformation can lead to an understanding of structure in data, computational complexity and quantum information.
In order to facilitate the understanding of this resource, we propose a family of information-theoretically constructed preorders on tensors, which can be used to compare tensors with each other and to assess the existence of transformations between them. The construction places copies of a given tensor at the edges of a hypergraph and allows transformations at the vertices. A preorder is then induced by the transformations possible in a given growing sequence of hypergraphs. The new family of preorders generalises the asymptotic restriction preorder which Strassen defined in order to study the computational complexity of matrix multiplication.
We derive general properties of the preorders and their associated asymptotic notions of tensor rank and view recent results on tensor rank non-additivity, tensor networks and algebraic complexity in this unifying frame. We hope that this work will provide a useful vantage point for exploring tensors in applied mathematics, physics and computer science, but also from a purely mathematical point of view.
On 2-Distance ($Δ+4$)-coloring of planar graphs with girth at least five
Published
• View Publication
• BIB
A vertex coloring of a graph $G$ is called a 2-distance coloring if any two vertices at distance at most $2$ from each other receive different colors. Let $G$ be a planar graph with girth at least $5$. We prove that $G$ admits a $2$-distance coloring with $Δ+4$ colors if $Δ\geq 22$.
Complexity of sign imbalance, parity of linear extensions, and height 2 posets
Sign imbalance is a statistic on posets which counts the difference between the number of even and odd linear extensions. We prove complexity results about the sign imbalance and parity of linear extensions, focusing on the representative case of height 2 posets. We then consider a recent conjecture of Chan and Pak.
Fuss-Catalan numbers and planar partitions
We show how the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$ enter different problems of counting simple and multiple planar partitions.
Intersection theorems for uniform subfamilies of hereditary families
A family $\mathcal C$ of sets is hereditary if whenever $A\in \mathcal C$ and $B\subset A$, we have $B\in \mathcal C$. Chvátal conjectured that the largest intersecting subfamily of a hereditary family is the family of all sets containing a fixed element. This is a generalization of the non-uniform Erdős-Ko-Rado theorem.
A natural uniform variant of this question, which is essentially a generalization for the uniform Erdős-Ko-Rado theorem, was suggested by Borg: given a hereditary family $\mathcal C$, in which all maximal sets have size at least $n$, what is the largest intersecting subfamily of the family of all $k$-element sets in $\mathcal C$? The answer, of course, depends on $n$ and $k$, and Borg conjectured that for $n\ge 2k$ the it is again the family of all $k$-element sets containing a singleton. Borg proved this conjecture for $n\ge k^3$. He also considered a $t$-intersecting variant of the question.
In this paper, we improve the bound on $n$ for both intersecting and $t$-intersecting cases, showing that for $n\ge Ckt\log^2\frac nk$ and $n\ge Ck\log k$ the largest $t$-intersecting subfamily of the $k$-th layer of a hereditary family with maximal sets of size at least $n$ is the family of all sets containing a fixed $t$-element set. We also prove a stability result.
Decks of rooted binary trees
Published
• View Publication
• BIB
We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree $T$ refers to the set (resp. multiset) of leaf induced binary subtrees of $T$. On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on $n$ leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for $k$-universal trees, i.e., rooted binary trees that contain all $k$-leaf rooted binary trees as induced subtrees.
A robust version of the multipartite Hajnal--Szemerédi theorem
In this note we show the following strengthening of a multipartite version of the Hajnal--Szemerédi theorem. For an integer $r \ge 3$ and $γ> 0$, there exists a constant $C$ such that if $p\ge Cn^{-2/r}(\log n)^{1/{r \choose 2}}$ and $G$ is a balanced $r$-partite graph with each vertex class of size $n$ and $δ^\ast(G)\ge (1-1/r+γ)n$, then with high probability the random subgraph $G(p)$ of $G$ contains a $K_r$-factor. We also use it to derive corresponding transversal versions.
Computing random $r$-orthogonal Latin squares
Published
• View Publication
• BIB
Two Latin squares of order $n$ are $r$-orthogonal if, when superimposed, there are exactly $r$ distinct ordered pairs. The spectrum of all values of $r$ for Latin squares of order $n$ is known. A Latin square $A$ of order $n$ is $r$-self-orthogonal if $A$ and its transpose are $r$-orthogonal. The spectrum of all values of $r$ is known for all orders $n\ne 14$. We develop randomized algorithms for computing pairs of $r$-orthogonal Latin squares of order $n$ and algorithms for computing $r$-self-orthogonal Latin squares of order $n$.
Enforce and selective operators of combinatorial games
Published
• View Publication
• BIB
We consider an {\em enforce operator} on impartial rulesets similar to the Muller Twist and the comply/constrain operator of Smith and St\u anic\u a, 2002. Applied to the rulesets A and B, on each turn the opponent enforces one of the rulesets and the current player complies, by playing a move in that ruleset. If the outcome table of the enforce variation of A and B is the same as the outcome table of A, then we say that A dominates B. We find necessary and sufficient conditions for this relation. Additionally, we define a {\em selective operator} and explore a distributive-lattice-like structure within applicable rulesets. Lastly, we define nim-values under enforce-rulesets, and establish that the Sprague-Grundy theory continues to hold, along with illustrative examples.
Inverse of the Squared Distance Matrix of a Complete Multipartite Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $d_{ij}$ be the length of the shortest path between vertices $i$ and $j$ in $G$. We set $d_{ii}=0$ for every vertex $i$ in $G$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. For a given complete $t$-partite graph $K_{n_1,n_2,\cdots,n_t}$ on $n=\sum_{i=1}^t n_i$ vertices, under some condition we find the inverse $Δ(K_{n_1,n_2,\cdots,n_t})^{-1}$ as a rank-one perturbation of a symmetric Laplacian-like matrix $\mathcal{L}$ with $\textup{rank} (\mathcal{L})=n-1$. We also investigate the inertia of $\mathcal{L}$.
On Conflict-Free Cuts: Algorithms and Complexity
Published
• View Publication
• BIB
One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph $G$, we are given a so-called conflict graph $\hat{G}$ on the edges of $G$, and we ask for an edge-cutset $M$ of $G$ that is independent in $\hat{G}$. Since conflict-free settings are popular generalizations of classical optimization problems and Conflict-Free Cut was not considered in the literature so far, we start the study of the problem. We show that the problem is $\textsf{NP}$-complete even when the maximum degree of $G$ is 5 and $\hat{G}$ is 1-regular. The same reduction implies an exponential lower bound on the solvability based on the Exponential Time Hypothesis. We also give parameterized complexity results: We show that the problem is fixed-parameter tractable with the vertex cover number of $G$ as a parameter, and we show $\textsf{W[1]}$-hardness even when $G$ has a feedback vertex set of size one, and the clique cover number of $\hat{G}$ is the parameter. Since the clique cover number of $\hat{G}$ is an upper bound on the independence number of $\hat{G}$ and thus the solution size, this implies $\textsf{W[1]}$-hardness when parameterized by the cut size. We list polynomial-time solvable cases and interesting open problems. At last, we draw a connection to a symmetric variant of SAT.
The Feasibility Problem -- the family ${\cal F}$$(G)$ of all induced $G$-free graphs
An infinite family of graphs ${\cal F}$ is called feasible if for any pair of integers $(n,m)$, $n \geq 1$, $0 \leq m \leq \binom{n}{2}$, there is a member $G \in {\cal F}$ such that $G$ has $n$ vertices and $m$ edges. We prove that given a graph $G$, the family ${\cal F}$$(G)$ of all induced $G$-free graphs is feasible if and only if $G$ is not $K_k$, $K_k\backslash K_2$, $\overline{K_k}$, $\overline{K_k\backslash K_2}$, for $k \geq 2$.
Free fermionic probability theory and K-theoretic Schubert calculus
Published in Forum of Mathematics, Sigma 13 (2025) e197
• View Publication
• BIB
For each of the four particle processes given by Dieker and Warren [arXiv:0707.1843], we show the $n$-step transition kernels are given by the (dual) (weak) refined symmetric Grothendieck functions up to a simple overall factor. We do so by encoding the particle dynamics as the basis of free fermions first introduced by the first author, which we translate into deformed Schur operators acting on partitions. We provide a direct combinatorial proof of this relationship in each case, where the defining tableaux naturally describe the particle motions.
Tilings of the sphere by congruent regular triangles and congruent rhombi
Published
• View Publication
• BIB
All edge-to-edge tilings of the sphere by congruent regular triangles and congruent rhombi are classified as: (1) a $1$-parameter family of protosets each admitting a unique $(2a^3,3a^4)$-tiling like a triangular prism; (2) a $1$-parameter family of protosets each admitting 2 different $(8a^3,6a^4)$-tilings like a cuboctahedron and a triangular orthobicupola respectively; (3) a sequence of protosets each admitting a unique $(2a^3,(6n-3)a^4)$-tiling like a generalized anti-triangular prism for each $n\ge3$; (4) 26 sporadic protosets, among which nineteen admit a unique tiling, one admits 3 different tilings, one admits 5 different tilings, three admit 2 different tilings, two admit too many tilings to count. The moduli of parameterized tilings and all geometric data are provided.
Non-canonical maximum cliques without a design structure in the block graphs of 2-designs
Published
• View Publication
• BIB
In this note we answer positively a question of Chris Godsil and Karen Meagher on the existence of a 2-design whose block graph has a non-canonical maximum clique without a design structure.
On conjectures concerning the graph grabbing game
We consider two conjectures made in regard to the graph grabbing game, played on a vertex weighted graph. Seacrest and Seacrest conjectured in 2012 that the first player can win the graph grabbing game on any even-order bipartite graph. Eoh and Choi conjectured a strengthening of this in 2019, namely that the first player can win on any graph with no induced corona product of an odd cycle and a point. We provide a family of counterexamples to the latter conjecture, and propose a weaker conjecture in its place. We also show that the above two conjectures are equivalent when the vertex weights are all $0$ or $1$.