Showing 20 papers (Total: 81680 papers, 47334 authors in database)
In How Ways Can You Play Stanley Solitaire?
We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of Richard Stanley from 1984. We challenge the readers to find a more elementary proof.
Duality for pairs of upward bipolar plane graphs and submodule lattices
Let $G$ and $H$ be acyclic, upward bipolarly oriented plane graphs with the same number $n$ of edges. While $G$ can symbolize a flow network, $H$ has only a controlling role. Let $φ$ and $ψ$ be bijections from $\{1, \dots, n\}$ to the edge set of $G$ and that of $H$, respectively; their role is to define, for each edge of $H$, the corresponding edge of $G$. Let $b$ be an element of an Abelian group $\mathbb A$. An $n$-tuple $(a_1$, $\dots$, $a_n)$ of elements of $\mathbb A$ is a solution of the paired-bipolar-graphs problem $P:=(G,H$, $φ,ψ$, $\mathbb A, b)$ if whenever $a_i$ is the ``all-or-nothing-flow'' capacity of the edge $φ(i)$ for $i=1, \dots, n$ and $\vec e$ is a maximal directed path of $H$, then by fully exploiting the capacities of the edges corresponding to the edges of $\vec e$ and neglecting the rest of the edges of $G$, we have a flow process transporting $b$ from the source (vertex) of $G$ to the sink of $G$. Let $P':=(H',G'$, $ψ',φ'$, $\mathbb A, b)$, where $H'$ and $G'$ are the ``two-outer-facet'' duals of $H$ and $G$, respectively, and $ψ'$ and $φ'$ are defined naturally. We prove that $P$ and $P'$ have the same solutions. This result implies George Hutchinson's self-duality theorem on submodule lattices.
Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication
Published
• View Publication
• BIB
We study the formula complexity of Iterated Sub-Permutation Matrix Multiplication, the logspace-complete problem of computing the product of $k$ $n$-by-$n$ Boolean matrices with at most a single $1$ in each row and column. For all $d \le \log k$, this problem is solvable by $n^{O(dk^{1/d})}$ size monotone formulas of two distinct types: (unbounded fan-in) $AC^0$ formulas of depth $d+1$ and (semi-unbounded fan-in) $SAC^0$ formulas of $\bigwedge$-depth $d$ and $\bigwedge$-fan-in $k^{1/d}$. The results of this paper give matching $n^{Ω(dk^{1/d})}$ lower bounds for monotone $AC^0$ and $SAC^0$ formulas for all $k \le \log\log n$, as well as slightly weaker $n^{Ω(dk^{1/2d})}$ lower bounds for non-monotone $AC^0$ and $SAC^0$ formulas. These size-depth tradeoffs converge at $d = \log k$ to tight $n^{Ω(\log k)}$ lower bounds for both unbounded-depth monotone formulas [Ros15] and bounded-depth non-monotone formulas [Ros18]. Our non-monotone lower bounds extend to the more restricted Iterated Permutation Matrix Multiplication problem, improving the previous $n^{k^{1/\exp(O(d))}}$ tradeoff for this problem [BIP98].
Spectral properties of Cayley graphs over finite commutative rings
Published
• View Publication
• BIB
Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. Further, we give necessary and sufficient condition for Cayley graph ${\rm Cay}(R,xR^{*})$ to be Ramanujan.
Extremal digraphs containing at most $t$ paths of length 2 with the same endpoints
Published
• View Publication
• BIB
Given a positive integer $t$, let $P_{t,2}$ be the digraph consisting of $t$ directed paths of length 2 with the same initial and terminal vertices. In this paper, we study the maximum size of $P_{t+1,2}$-free digraphs of order $n$, which is denoted by $ex(n, P_{t+1,2})$. For sufficiently large $n$, we prove that $ex(n, P_{t+1})=g(n,t)$ when $\lfloor(n-t)/{2} \rfloor$ is odd and $ex(n, P_{t+1,2})\in \{g(n,t)-1, g(n,t)\}$ when $\lfloor(n-t)/{2} \rfloor$ is even, where $g(n,t)=\left\lceil(n+t)/{2}\right\rceil \left\lfloor(n-t)/{2}\right\rfloor+tn+1$.
Combinatorial Curve Neighborhood of the Affine Flag Manifold of Type $A_{n-1}^1$
Let $\mathscr{X}$ be the affine flag manifold of Lie type $A_{n-1}^{(1)}$ where $n \geq 3$ and let $W_{\text{aff}}$ be the associated affine Weyl group. The moment graph for $\mathscr{X}$ encodes the torus fixed points (corresponding to elements of the affine Weyl group $W_{\text{aff}}$) and the torus stable curves in $\mathscr{X}$. Given a fixed point $u\in W_{\text{aff}}$ and a degree $\mathbf{d}=(d_0,d_1,...,d_{n-1})\in \mathbb{Z}_{\geq 0}^{n}$, the combinatorial curve neighborhood is the set of maximal elements in the moment graph of $\mathscr{X}$ which can be reached from $u'\leq u$ by a chain of curves of total degree $\leq \mathbf{d}$. In this paper we give combinatorial formulas and algorithms for calculating these elements in $\mathscr{X}$.
Recursions Satisfied by Families of Determinants with Applications to Resistance Distance
The main contribution of this paper is a six-step semi-automatic algorithm that obtains a recursion satisfied by a family of determinants by systematically and iteratively applying Laplace expansion to the underlying matrix family. The recursion allows explicit computation of the Binet form providing a closed formula for resistance distance between two specified nodes in a family of graphs. This approach is particularly suited for graph families with complex structures; the method is used to prove the 1 over 14 conjectured asymptotic formula for linear 3--trees. Additionally, although the literature on recursive formulas for resistance distances is quite large, the Fibonacci Quarterly and the Proceedings have almost no such results despite the fact that many recursions related to resistance distances involve the Fibonacci numbers. Therefore, a secondary purpose of the paper is to provide a brief introductory survey of graph families, accompanied by figures, Laplacian matrices, and typical recursive results, supported by a modest bibliography of current papers on many relevant graph families, in the hope to involve Fibonaccians in this active and beautiful field.
Robustness of Erdős--Ko--Rado theorems on permutations and perfect matchings
Published
• View Publication
• BIB
The Erdős--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the independence number of random spanning subraphs of two other families of graphs whose maximum independent sets satisfy an EKR-type characterization: the derangement graph on the set of permutations in $\mathrm{Sym}(n)$ and the derangement graph on the set $\mathcal{M}_{n}$ of perfect matchings in the complete graph $\mathcal{K}_{2n}$. In both cases, we show there is a sharp threshold probability for the event that the independence number of a random spanning subgraph is equal to that of the original graph. As a useful tool to aid our computations, we obtain a Friedgut--Kalai--Naor (FKN) type theorem on sparse boolean functions whose domain is the vertex set of $\mathcal{M}_{n}$. In particular, we show that boolean functions whose Fourier transforms are highly concentrated on the first two irreducible modules in the $\mathrm{Sym}(2n)$ module $\mathbb{C}[\mathcal{M}_{n}]$, is close to being the characteristic function of a union of maximum independent sets in the derangement graph on perfect matchings.
Graph polynomials: some questions on the edge
Published
• View Publication
• BIB
We raise some questions about graph polynomials, highlighting concepts and phenomena that may merit consideration in the development of a general theory. Our questions are mainly of three types: When do graph polynomials have reduction relations (simple linear recursions based on local operations), perhaps in a wider class of combinatorial objects? How many levels of reduction relations does a graph polynomial need in order to express it in terms of trivial base cases? For a graph polynomial, how are properties such as equivalence and factorisation reflected in the structure of a graph? We illustrate our discussion with a variety of graph polynomials and other invariants. This leads us to reflect on the historical origins of graph polynomials. We also introduce some new polynomials based on partial colourings of graphs and establish some of their basic properties.
Root polytopes, flow polytopes, and order polytopes
Published
• View Publication
• BIB
In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or $\star \to v_i$ or $v_i\to \star$ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname{Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver $Q$ is strongly-connected then the root polytope $\operatorname{Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname{Root}(Q)$. We also show that if $Q$ is planar, then $\operatorname{Root}(Q)$ is (integrally equivalent to the) polar dual of the flow polytope of the dual quiver. Finally we consider the case that $Q$ comes from a ranked poset $P$, and show that $\operatorname{Root}(Q)$ is polar dual to (a translation of) a marked poset polytope. We then study the toric variety $Y(\mathcal{F}_Q)$ associated to the face fan $\mathcal{F}_Q$ of $\operatorname{Root}(Q)$. If $Q$ comes from a ranked poset $P$ we give a combinatorial description of the Picard group of $Y(\mathcal{F}_Q)$, and we show that $Y(\mathcal{F}_Q)$ is a small partial desingularisation of the Hibi toric variety $Y_{\mathcal{O}(P)}$ of the order polytope $\mathcal{O}(P)$. We show that $Y(\mathcal{F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat{\mathcal{F}}_Q)$, and as a consequence that the Hibi toric variety $Y_{\mathcal{O}(P)}$ has a small resolution of singularities for any ranked poset $P$. These results have applications to mirror symmetry.
On the Weisfeiler-Leman dimension of circulant graphs
A circulant graph is a Cayley graph of a finite cyclic group. The Weisfeiler-Leman-dimension of a circulant graph $X$ with respect to the class of all circulant graphs is the smallest positive integer~$m$ such that the $m$-dimensional Weisfeiler-Leman algorithm correctly tests the isomorphism between $X$ and any other circulant graph. It is proved that for a circulant graph of order $n$ this dimension is less than or equal to $Ω(n)+3$, where $Ω(n)$ is the number of prime divisors of~$n$.
A new condition on dominated pair degree sum for a digraph to be supereulerian
Published
• View Publication
• BIB
A digraph $D$ is supereulerian if $D$ contains a spanning eulerian subdigraph.
For any two vertices $u,v$ in a digraph $D$, if $(u,w),(v,w)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominating; if $(w,u),(w,v)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominated. In 2015, Bang-Jensen and Maddaloni [Journal of graph theory, 79(1) (2015) 8-20]
proved that if a strong digraph $D$ with $n$ vertices satisfies
$d(u) + d(v)\geq 2n -3$ for any pair of nonadjacent vertices $\{u,v\}$ of $D$, then $D$ is supereulerian. In this paper, we study the above degree sum condition for any pair of dominated or dominating nonadjacent vertices of supereulerian digraphs.
Antidirected hamiltonian paths in $k$-hypertournaments
Published
• View Publication
• BIB
A $k$-hypertournament $H$ on $n$ vertices is a pair $(V(H),A(H))$, where $V(H)$ is a set of vertices and $A(H)$ is a set of $k$-tuples of vertices, called arcs, such that for any $k$-subset $S$ of $V(H)$, $A(H)$ contains exactly one of the $k!$ $k$-tuples whose entries belong to $S$. Clearly, a 2-hypertournament is a tournament.
An antidirected path in $H$ is a sequence $x_1 a_1 x_2 a_2 x_3 \ldots x_{t-1} a_{t-1} x_t$ of distinct vertices $x_1, x_2, \ldots, x_t$ and distinct arcs $a_1, a_{2},\ldots, a_{t-1}$ such that for any $i\in \{2,3,\ldots, t-1\}$, either $x_{i-1}$ precedes $x_{i}$ in $a_{i-1}$ and $x_{i+1}$ precedes $x_{i}$ in $a_{i}$, or $x_{i}$ precedes $x_{i-1}$ in $a_{i-1}$ and $x_{i}$ precedes $x_{i+1}$ in $a_{i}$. An antidirected path that includes all vertices of $H$ is known as an antidirected hamiltonian path. In this paper, we prove that except for four hypertournaments, $T_3^{c}, T_5^{c}, T_7^{c}$ and $H_{4}$, every $k$-hypertournament with $n$ vetices, where $2\leq k\leq n-1$, has an antidirected hamiltonian path, which extends Grünbaum's theorem on tournaments (except for three tournaments, $T_3^{c}, T_5^{c}$ and $T_7^{c}$, every tournament has an antidirected hamiltonian path).
Elliptic Deformation of the Gaiotto-Rapčák Corner VOA and the Associated Partially Symmetric Polynomials
Published
• View Publication
• BIB
We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric polynomials. The elliptic Macdonald polynomials, constructed recently by Awata-Kanno-Mironov-Morozov-Zenkevich, and Fukuda-Ohkubo-Shiraishi, can be obtained as a particular case of this family.
On the Elliptic Sombor and Euler Sombor indices of Corona product of certain graphs
Published
• View Publication
• BIB
Elliptic Sombor and Euler Sombor indices are recently defined topological indices using Sombor index. Elliptic sombor index is defined as $ESO(G)=\sum_{uv\in E(G)}(d_u+ d_v)\sqrt{d^2_u+ d^2_v}$ and Euler Sombor index is defined as $EU(G)= \sum_{uv\in E(G)}\sqrt{{d_{u}^2+d_{v}^2}+d_ud_v}$, where $d_u$ and $d_v$ are degrees of vertices $u$ and $v$ in graph $G$. In this article, we compute the elliptic Sombor and Euler Sombor indices of some resultant graphs. Using the operations join and Corona product on standard graphs like path, cycle and complete graphs.
A linear programming bound for sum-rank metric codes
Published
• View Publication
• BIB
We derive a linear programming bound on the maximum cardinality of error-correcting codes in the sum-rank metric. Based on computational experiments on relatively small instances, we observe that the obtained bounds outperform all previously known bounds.
Nondegenerate Turán problems under $(t,p)$-norms
Given integers $r > t \ge 1$ and a real number $p > 0$, the $(t,p)$-norm $\left\lVert \mathcal{H} \right\rVert_{t,p}$ of an $r$-graph $\mathcal{H}$ is the sum of the $p$-th power of the degrees $d_{\mathcal{H}}(T)$ over all $t$-subsets $T \subset V(\mathcal{H})$. We conduct a systematic study of the Turán-type problem of determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$, which is the maximum of $\left\lVert \mathcal{H} \right\rVert_{t,p}$ over all $n$-vertex $\mathcal{F}$-free $r$-graphs $\mathcal{H}$.
We establish several basic properties for the $(t,p)$-norm of $r$-graphs, enabling us to derive general theorems from the recently established framework in~\cite{CL24} that are useful for determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$ and proving the corresponding stability.
We determine the asymptotic value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all feasible combinations of $(r,t,p)$ and for every graph $F$ with chromatic number greater than $r$, where $H_{F}^{r}$ represents the expansion of $F$. In the case where $F$ is edge-critical and $p \ge 1$, we establish strong stability and determine the exact value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all sufficiently large $n$. These results extend the seminal theorems of Erdős--Stone--Simonovits, Andrásfai--Erdős--Sós, Erdős--Simonovits, and a classical theorem of Mubayi.
For the $3$-uniform generalized triangle $F_5$, we determine the exact value of $\mathrm{ex}_{2,p}(n,F_5)$ for all $p \ge 1$ and its asymptotic value for all $p \in [1/2, 1]\cup \{k^{-1} \colon k \in 6\mathbb{N}^{+}+\{0,2\}\}$. This extends old theorems of Bollobás, Frankl--Füredi, and a recent result of Balogh--Clemen--Lidický. Our proofs utilize results on the graph inducibility problem, Steiner triple systems, and the feasible region problem introduced by Liu--Mubayi.
Weak recovery, hypothesis testing, and mutual information in stochastic block models and planted factor graphs
Published
• View Publication
• BIB
The stochastic block model is a canonical model of communities in random graphs. It was introduced in the social sciences and statistics as a model of communities, and in theoretical computer science as an average case model for graph partitioning problems under the name of the ``planted partition model.'' Given a sparse stochastic block model, the two standard inference tasks are: (i) Weak recovery: can we estimate the communities with non trivial overlap with the true communities? (ii) Detection/Hypothesis testing: can we distinguish if the sample was drawn from the block model or from a random graph with no community structure with probability tending to $1$ as the graph size tends to infinity?
In this work, we show that for sparse stochastic block models, the two inference tasks are equivalent except at a critical point. That is, weak recovery is information theoretically possible if and only if detection is possible. We thus find a strong connection between these two notions of inference for the model. We further prove that when detection is impossible, an explicit hypothesis test based on low degree polynomials in the adjacency matrix of the observed graph achieves the optimal statistical power. This low degree test is efficient as opposed to the likelihood ratio test, which is not known to be efficient. Moreover, we prove that the asymptotic mutual information between the observed network and the community structure exhibits a phase transition at the weak recovery threshold.
Our results are proven in much broader settings including the hypergraph stochastic block models and general planted factor graphs. In these settings we prove that the impossibility of weak recovery implies contiguity and provide a condition which guarantees the equivalence of weak recovery and detection.
Multi-quasisymmetric functions with semigroup exponents, Hopf algebras and Rota-Baxter algebras
Many years ago, G.-C.~Rota discovered a close connection between symmetric functions and Rota-Baxter algebras, and proposed to study generalizations of symmetric functions in the framework of Rota-Baxter algebras. Guided by this proposal, quasisymmetric functions from weak composition (instead of just compositions) were obtained from free Rota-Baxter algebras on one generator. This paper aims to generalize this approach to free Rota-Baxter algebras on multiple generators in order to obtain further generalizations of quasisymmetric functions. For this purpose and also for its independent interest, the space $\mathrm{MQSym}$ of quasisymmetric functions on multiple sequences of variables is defined, generalizing quasisymmetric functions and diagonally quasisymmetric functions of Aval, Bergeron and Bergeron. Linear bases of such multi-quasisymmetric functions are given by monomial multi-quasisymmetric functions and fundamental multi-quasisymmetric functions, the latter recover the fundamental $G^m$-quasisymmetric functions of Aval and Chapoton. Next introduced is the even more general notion of multi-quasisymmetric functions $\mathrm{MQSym}^E$ with exponents in a semigroup $E$, which also generalizes the quasisymmetric functions with semigroup exponents in a recent work. Through this approach, a natural Hopf algebraic structure is obtained on $\mathrm{MQSym}^E$. Finally, in support of Rota's proposal, the free commutative unitary Rota-Baxter algebra on a finite set is shown to be isomorphic to a scalar extension of $\mathrm{MQSym}^E$, a fact which in turn equips the free Rota-Baxter algebra with a Hopf algebra structure.
On the minimal period of integer tilings
If a finite set $A$ tiles the integers by translations, it also admits a tiling whose period $M$ has the same prime factors as $|A|$. We prove that the minimal period of such a tiling is bounded by $\exp(c(\log D)^2/\log\log D)$, where $D$ is the diameter of $A$. In the converse direction, given $ε>0$, we construct tilings whose minimal period has the same prime factors as $|A|$ and is bounded from below by $D^{3/2-ε}$. We also discuss the relationship between minimal tiling period estimates and the Coven-Meyerowitz conjecture.