Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Explicit construction of exact unitary designs
Published
• View Publication
• BIB
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods.
Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$.
We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.
A combinatorial correspondence between finite Euclidean geometries and symmetric subsets of $\mathbb{Z}/n\mathbb{Z}$
$q$-analogues of quantities in mathematics involve perturbations of classical quantities using the parameter $q$, and revert to the original quantities when $q$ goes $1$. An important example is the $q$-analogues of binomial coefficients which give the number of $k$-dimensional subspaces in $\mathbb{F}_{q}^{n}$. When $q$ goes to $1$, this reverts to the binomial coefficients which measure the number of $k$-sets in $\left [ n \right ]$. Dot-analogues of $q$-binomial coefficients were studied by Yoo (2019) in order to investigate combinatorics of quadratic spaces over finite fields. The number of $k$-dimensional quadratic spaces of $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ which are isometrically isomorphic to $(\mathbb{F}_{q}^{k},x_{1}^{2}+x_{2}^{2}+\cdots+x_{k}^{2})$ can be also described as analogous to binomial coefficients, called the dot-binomial coefficients, $\binom{n}{k}_{d}$.
In this paper, we study a combinatorial correspondence between this finite Euclidean geometries and symmetric subsets of $\mathbb{Z}/n\mathbb{Z}$. In addition, we show that dot-binomial coefficients can be expressed in terms of $q$-binomial coefficients and polynomials, and we prove that dot-binomial coefficients are polynomials in $q$. Furthermore, we study the properties of the polynomials given by the dot binomial coefficients $\binom{n}{k}_{d}$.
Packing $A$-paths of length zero modulo a prime
Published in J. Combin. Theory Ser. B 160 (2023), 114-143
• View Publication
• BIB
It is known that $A$-paths of length $0$ mod $m$ satisfy the Erdős-Pósa property if $m=2$ or $m=4$, but not if $m > 4$ is composite. We show that if $p$ is prime, then $A$-paths of length $0$ mod $p$ satisfy the Erdős-Pósa property. More generally, in the framework of undirected group-labelled graphs, we characterize the abelian groups $Γ$ and elements $\ell \in Γ$ for which the Erdős-Pósa property holds for $A$-paths of weight $\ell$.
Packing cycles in undirected group-labelled graphs
Published in J. Combin. Theory Ser. B 161 (2023), 228-267
• View Publication
• BIB
We prove a refinement of the flat wall theorem of Robertson and Seymour to undirected group-labelled graphs $(G,γ)$ where $γ$ assigns to each edge of an undirected graph $G$ an element of an abelian group $Γ$. As a consequence, we prove that $Γ$-nonzero cycles (cycles whose edges sum to a non-identity element of $Γ$) satisfy the half-integral Erdős-Pósa property, and we also recover a result of Wollan that, if $Γ$ has no element of order two, then $Γ$-nonzero cycles satisfy the Erdős-Pósa property. As another application, we prove that if $m$ is an odd prime power, then cycles of length $\ell \mod m$ satisfy the Erdős-Pósa property for all integers $\ell$. This partially answers a question of Dejter and Neumann-Lara from 1987 on characterizing all such integer pairs $(\ell,m)$.
Distance Sequences of Locally Infinite Primitive Graphs
A graph is called primitive if its automorphism group acts primitively on the vertex set. In this paper, we prove a classification of the possible distance sequences of locally infinite primitive graphs. In particular we show that if a primitive graph is locally uncountable, the distance sequence is constant until it terminates. We also prove a constraint on the distance sequences of locally finite infinite graphs.
Dimers, Orientifolds and Anomalies
Published
• View Publication
• BIB
We study $4d$ $\mathcal{N}=1$ gauge theories engineered via D-branes at orientifolds of toric singularities, where gauge anomalies are cancelled without the introduction of non-compact flavor branes. Using dimer model techniques, we derive geometric criteria for establishing whether a given singularity can admit anomaly-free D-brane configurations purely based on its toric data and the type of orientifold projection. Our results therefore extend the dictionary between geometric properties of singularities and physical properties of the corresponding gauge theories.
Tic-Tac-Toe on an Affine Plane of order 4
Published in Australasian Journal of Combinatorics, Volume 82(1) (2022), Pages 21-30
• Search Publication
The game of tic-tac-toe is well known. In particular, in its classic version it is famous for being unwinnable by either player. While classically it is played on a grid, it is natural to consider the effect of playing the game on richer structures, such as finite planes. Playing the game of tic-tac-toe on finite affine and projective planes has been studied previously. While the second player can usually force a draw, for small orders it is possible for the first player to win. In this regard, a computer proof that tic-tac-toe played on the affine plane of order 4 is a first player win has been claimed. In this note we use techniques from the theory of latin squares and transversal designs to give a human verifiable, explicit proof of this fact.
Classifying torsion classes of gentle algebras
For a finite-dimensional gentle algebra, it is already known that the functorially finite torsion classes of its category of finite-dimensional modules can be classified using a combinatorial interpretation, called maximal non-crossing sets of strings, of the corresponding support $τ$-tilting module (or equivalently, two-term silting complexes). In the topological interpretation of gentle algebras via marked surfaces, such a set can be interpreted as a dissection (or partial triangulation), or equivalently, a lamination that does not contain a closed curve. We will refine this combinatorics, which gives us a classification of torsion classes in the category of finite length modules over a (possibly infinite-dimensional) gentle algebra. As a consequence, our result also unifies the functorially finite torsion class classification of finite-dimensional gentle algebras with certain classes of special biserial algebras - such as Brauer graph algebras.
An arithmetic variant of Raynaud's theorem
It is well known that for a regular semistable curve $\mathfrak X$ over a DVR with algebraically closed residue field, the spanning trees of the dual graph of the special fiber of $\mathfrak X$ are in bijection with components of the special fiber of the Néron model of the Jacobian of $\mathfrak X$. We prove a generalization of this fact that does not require the residue field to be algebraically closed, using a combinatorially enriched version of the dual graph to encode arithmetic information about divisors on $\mathfrak X$.
On the least size of a graph with a given degree set -- II
Published in Discrete Applied Mathematics 333 (2023), 32-42
• View Publication
• BIB
The degree set of a finite simple graph $G$ is the set of distinct degrees of vertices of $G$. A theorem of Kapoor, Polimeni & Wall asserts that the least order of a graph with a given degree set $\mathscr D$ is $1+\max \mathscr D$. Tripathi & Vijay considered the analogous problem concerning the least size of graphs with degree set $\mathscr D$. We expand on their results, and determine the least size of graphs with degree set $\mathscr D$ when (i) $\min \mathscr D \mid d$ for each $d \in \mathscr D$; (ii) $\min \mathscr D=2$; (iii) $\mathscr D=\{m,m+1,\ldots,n\}$. In addition, given any $\mathscr D$, we produce a graph $G$ whose size is within $\min \mathscr D$ of the optimal size, giving a $\big(1+\frac{2}{d_1+1})$-approximation, where $d_1=\max \mathscr D$.
Some novel minimax results for perfect matchings of hexagonal systems
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimum number of edges of $G$ whose deletion results in a subgraph with a unique perfect matching $M$, denoted by $af(G,M)$. When $G$ is a plane bipartite graph, Lei et al. established a minimax result: For any perfect matching $M$ of $G$, $af(G,M)$ equals the maximum number of $M$-alternating cycles of $G$ where any two either are disjoint or intersect only at edges in $M$; For a hexagonal system, the maximum anti-forcing number equals the fries number. In this paper we show that for every perfect matching $M$ of a hexagonal system $H$ with the maximum anti-forcing number or minus one, $af(H,M)$ equals the number of $M$-alternating hexagons of $H$. Further we show that a hexagonal system $H$ has a triphenylene as nice subgraph if and only $af(H,M)$ always equals the number of $M$-alternating hexagons of $H$ for every perfect matching $M$ of $H$.
Duality and bicrystals on infinite binary matrices
Published
• View Publication
• BIB
The set of finite binary matrices of a given size is known to carry a finite type A bicrystal structure. We first review this classical construction, explain how it yields a short proof of the equality between Kostka polynomials and one-dimensional sums together with a natural generalisation of the 2M -- X Pitman transform. Next, we show that, once the relevant formalism on families of infinite binary matrices is introduced, this is a particular case of a much more general phenomenon. Each such family of matrices is proved to be endowed with Kac-Moody bicrystal and tricrystal structures defined from the classical root systems. Moreover, we give an explicit decomposition of these multicrystals, reminiscent of the decomposition of characters yielding the Cauchy identities.
On the cyclic coloring conjecture
Published
• View Publication
• BIB
A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $χ_c(G)$. Let $Δ^*(G)$ be the maximum face degree of a graph $G$.
In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $χ_c(G) \leq \lfloor \frac{3}{2}Δ^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs.
We have discovered four new different upper bounds on $χ_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two.
Asymptotics of 3-stack-sortable permutations
Published
• View Publication
• BIB
We derive a simple functional equation with two catalytic variables characterising the generating function of 3-stack-sortable permutations. Using this functional equation, we extend the 174-term series to 1000 terms. From this series, we conjecture that the generating function behaves as $$W(t) \sim C_0(1-μ_3 t)^α\cdot \log^β(1-μ_3 t), $$ so that $$[t^n]W(t)=w_n \sim \frac{c_0μ_3^n}{ n^{(α+1)}\cdot \log^λ{n}} ,$$ where $μ_3 = 9.69963634535(30),$ $α= 2.0 \pm 0.25.$ If $α= 2$ exactly, then $λ= -β+1$, and we estimate $β\approx -3.$ If $α$ is not an integer, then $λ=-β$, but we cannot give a useful estimate of $β$. The growth constant estimate (just) contradicts a conjecture of the first author that $$9.702 < μ_3 \le 9.704.$$ We also prove a new rigorous lower bound of $μ_3\geq 9.4854$, allowing us to disprove a conjecture of Bóna.
We then further extend the series using differential-approximants to obtain approximate coefficients $O(t^{2000}),$ expected to be accurate to $20$ significant digits, and use the approximate coefficients to provide additional evidence supporting the results obtained from the exact coefficients.
Lower bounds for multicolor Ramsey numbers
Published
• View Publication
• BIB
We give an exponential improvement to the lower bound on diagonal Ramsey numbers for any fixed number of colors greater than two.
Limit shapes of large skew Young tableaux and a modification of the TASEP process
We present a survey of points of view on the problem of the asymptotic shape of a path between two large Young diagrams, and introduce a modification of the TASEP process related to it. This representation allows to write explicitly the functional, counting the asymptotics of the number of Young tableau close to a given one, as well as to see the sine-process on the boundary shape of a large random Young diagram.
The Ising antiferromagnet and max cut on random regular graphs
Published
• View Publication
• BIB
The Ising antiferromagnet is an important statistical physics model with close connections to the {\sc Max Cut} problem. Combining spatial mixing arguments with the method of moments and the interpolation method, we pinpoint the replica symmetry breaking phase transition predicted by physicists. Additionally, we rigorously establish upper bounds on the {\sc Max Cut} of random regular graphs predicted by Zdeborová and Boettcher [Journal of Statistical Mechanics 2010]. As an application we prove that the information-theoretic threshold of the disassortative stochastic block model on random regular graphs coincides with the Kesten-Stigum bound.
On the Powers of Signed Graphs
A signed graph is an ordered pair $Σ=(G,σ),$ where $G=(V,E)$ is the underlying graph of $Σ$ with a signature function $σ:E\rightarrow \{1,-1\}$. In this article, we define $n^{th}$ power of a signed graph and discuss some properties of these powers of signed graphs. As we can define two types of signed graphs as the power of a signed graph, necessary and sufficient conditions are given for an $n^{th}$ power of a signed graph to be unique. Also, we characterize balanced power signed graphs.
On Two Laplacian Matrices for Skew Gain Graphs
Published
• View Publication
• BIB
Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two different types, Laplacian and $g$-Laplacian matrices for a skew gain graph where the skew gains are taken from the multiplicative group $F^\times$ of a field $F$ of characteristic zero. Defining incidence matrix, we also prove the matrix tree theorem for skew gain graphs in the case of the $g$-Laplacian matrix.
Graph limits: An alternative approach to s-graphons
We show that s-convergence of graph sequences is equivalent to the convergence of certain compact sets, called shapes, of Borel probability measures. This result is analogous to the characterization of graphon convergence (with respect to the cut distance) by the convergence of envelopes, due to Doležal, Grebík, Hladký, Rocha, and Rozhovv.