Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Unitary causal decompositions: a combinatorial characterisation via lattice theory
If a unitary transformation has a decomposition into a quantum circuit with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, it is known that if $a$ does not influence $b$, one may always find a circuit decomposition lacking a path between these systems, thus making the no-influence condition directly apparent in the connectivity of the circuit. Causal decompositions are circuit decompositions in which, more generally, multiple such no-influence conditions are made apparent simultaneously. They bridge two fundamental concepts in quantum causality: causal structure, as expressed by influences through unitary transformations (and related to signalling through quantum channels); and compositional structure, expressed in terms of the shape of quantum circuits or networks. The general existence of causal decompositions remains unknown.
This work focusses on unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to `extended' or `routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of causal no-influence constraints $G$ for which any unitary transformation satisfying $G$ has a unitary causal decomposition compositionally representing those constraints. Our methods are based on finite-dimensional operator algebra as well as the concept lattice construction, which was recently shown to provide a canonical shape $L_G$ for causal decompositions. The combinatorial condition we identify can be formulated in terms of $G$ as the absence of a forbidden substructure $C_3$ and in terms of $L_G$ as the existence of no more than one path between each input and output.
Separable integer partition classes with restrictions on consecutive parts
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this article, we will consider the types of partitions with restrictions on consecutive parts. We will show that such partitions are separable integer partition classes and then give the generating functions for such partitions.
$K$-analogues of Hivert's divided difference operators
Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.
The Challenge of Computing Geode Numbers
In a fascinating recent American Mathematical Monthly article, Norman Wildberger and Dean Rubine introduced a new kind of combinatorial numbers, that they aptly named the ``Geode numbers''. While their definition is simple, these numbers are surprisingly hard to compute, in general. While the two-dimensional case has a nice closed-form expression, that make them easy to compute, already the three-dimensional case poses major computational challenges that we do meet, combining experimental mathematics and the holonomic ansatz. Alas, things get really complicated in four and higher dimensions, and we are unable to efficiently compute, for example, the $1000$-th term of the four-dimensional diagonal Geode sequence. A donation of $100$ US dollars to the OEIS, in honor of the first person to compute this number, is offered.
On the Structure of Multilinear Invariants of a Finite Unitary Reflection Group
We study the space of multilinear invariants \( V_f \) of degree \( f \) for a specified finite unitary reflection group. A subspace \( W_f \) of typical invariants is also introduced. We note that the dimension of \( W_f \) is given by Catalan number. We explore both spaces for \( f \leq 5 \), noting that their dimensions differ based on the value of \( f \). We explicitly determine the bases for both spaces, and then we establish the relationship between the vectors of the two bases.
On 2-Movable Total Domination in the Join and Corona of Graphs
Let $G$ be a connected graph. A non-empty $T\subseteq V(G)$ is a $2$-\textit{movable total dominating set} of $G$ if $T$ is a total dominating set and for every pair $x,y \in T$, $T \backslash \{x, y\}$ is a total dominating set in $G$, or there exist $u, v \in V(G) \backslash T$ such that $u$ and $v$ are adjacent to $x$ and $y$, respectively, and $(T \backslash \{x,y\}) \cup \{u,v\}$ is a total dominating set in $G$. The $2$-\textit{movable total domination number} of $G$, denoted by $γ_{mt}^{2}(G)$, is the minimum cardinality of a 2-movable total dominating set of $G$. A 2-movable total dominating set with cardinality equal to $γ_{mt}^{2}(G)$ is called $γ_{mt}^{2}$-set of $G$. This paper present the 2-movable total domination in the join and corona of graphs.
Stanley-Reisner ideals with linear powers
Let $S = K[x_1, \dots, x_n]$ be the standard graded polynomial ring over a field $K$. In this paper, we address and completely solve two fundamental open questions in Commutative Algebra:
(i) For which degrees $d$, does there exist a uniform combinatorial characterization of all squarefree monomial ideals in $S$ having $d$-linear resolutions?
(ii) For which degrees $d$, does having a linear resolution coincide with having linear powers for all squarefree monomial ideals of $S$ generated in degree $d$?
Let $\mathcal{I}_{n,d}(K)$ denote the class of squarefree monomial ideals of $S$ having a $d$-linear resolution. Our main result establishes the equivalence of the following conditions:
(a) Any squarefree monomial ideal $I$ in $S$ generated in degree $d$ has a linear resolution, if and only if, $I$ has linear powers.
(b) $\mathcal{I}_{n,d}(K)$ is independent of the base field $K$.
(c) $d\in\{0,1,2,n{-}2,n{-}1,n\}$.
In each of these degrees, we show that a squarefree monomial ideal has a linear resolution if and only if all of its powers admit linear quotients, and we combinatorially classify such ideals. In contrast, for each degree $3\le d\le n{-}3$, we construct fully-supported squarefree monomial ideals $I$ and $J$ in $S$ generated in degree $d$ such that the linear resolution property of $I$ depends on the choice of the base field, $J$ has a linear resolution and $J^2$ does not have a linear resolution.
Lower Bounds on Tree Covers
Given an $n$-point metric space $(X,d_X)$, a tree cover $\mathcal{T}$ is a set of $|\mathcal{T}|=k$ trees on $X$ such that every pair of vertices in $X$ has a low-distortion path in one of the trees in $\mathcal{T}$. Tree covers have been playing a crucial role in graph algorithms for decades, and the research focus is the construction of tree covers with small size $k$ and distortion.
When $k=1$, the best distortion is known to be $Θ(n)$. For a constant $k\ge 2$, the best distortion upper bound is $\tilde O(n^{\frac 1 k})$ and the strongest lower bound is $Ω(\log_k n)$, leaving a gap to be closed. In this paper, we improve the lower bound to $Ω(n^{\frac{1}{2^{k-1}}})$.
Our proof is a novel analysis on a structurally simple grid-like graph, which utilizes some combinatorial fixed-point theorems. We believe that they will prove useful for analyzing other tree-like data structures as well.
The bracket polynomial of the Celtic link shadow $CK_4^{2n}$
We derive the Kauffman bracket polynomial for the shadow of the Celtic link $CK_4^{2n}$ using two complementary approaches. The first approach uses a recursive relation within the Celtic framework of Gross and Tucker, based on diagrammatic identities. The second approach makes use of a 4-tangle algebraic framework: a fundamental tangle is concatenated with itself n times to form an iterated composite tangle, and the Kauffman bracket polynomial is computed by decomposing the state space with respect to the basis elements of the 4-strand diagram monoid.
Non-orientable regular hypermaps of arbitrary hyperbolic type
One of the consequences of residual finiteness of triangle groups is that for any given hyperbolic triple $(\ell,m,n)$ there exist infinitely many regular hypermaps of type $(\ell,m,n)$ on compact orientable surfaces. The same conclusion also follows from a classification of those finite quotients of hyperbolic triangle groups that are isomorphic to linear fractional groups over finite fields. A non-orientable analogue of this, that is, existence of regular hypermaps of a given hyperbolic type on {\em non-orientable} compact surfaces, appears to have been proved only for {\em maps}, which arise when one of the parameters $\ell,m,n$ is equal to $2$.
In this paper we establish a non-orientable version of the above statement in full generality by proving the following much stronger assertion: for every hyperbolic triple $(\ell,m,n)$ there exists an infinite set of primes $p$ of positive Dirichlet density, such that (i) there exists a regular hypermap $\mathcal{H}$ of type $(\ell,m,n)$ on a compact non-orientable surface such that the automorphism group of $\mathcal{H}$ is isomorphic to $\PSL(2,p)$, and, moreover, (ii) the carrier compact surface of {\em every} regular hypermap of type $(\ell,m,n)$ with rotation group isomorphic to $\PSL(2,p)$ is necessarily non-orientable.
Localization game capture time of trees and outerplanar graphs
The localization game is a variant of the game of Cops and Robber in which the robber is invisible and moves between adjacent vertices, but the cops can probe any $k$ vertices of the graph to obtain the distance between probed vertices and the robber. The localization number of a graph is the minimum $k$ needed for cops to be able to locate the robber in finite time. The localization capture time is the number of rounds needed for cops to win.
The localization capture time conjecture claims that there exists a constant $C$ such that the localization number of every connected graph on $n$ vertices is at most $Cn$. While it is known that the conjecture holds for trees, in this paper we significantly improve the known upper bound for the localization capture time of trees. We also prove the conjecture for a subclass of outerplanar graphs and present a generalization of the localization game that appears useful for making further progress towards the conjecture.
Maximal 1-plane graphs with the maximum number of crossings
A drawing of a graph in the plane is called 1-planar if each edge is crossed at most once. A graph together with a 1-planar drawing is a 1-plane graph. A 1-plane graph $G$ with exactly $4|V (G)|-8$ edges is called optimal. The crossing number $cr(G)$ of a graph $G$ is the minimum number of crossings over all drawings of $G$. Czap and Hudák proved that $cr(G)\le |V(G)|-2$ for any 1-plane graph $G$ and equality holds if $G$ is an optimal 1-plane graph [The Electronic J. Comb}., 20(2),#P54 (2013)]. This paper aims to characterize maximal 1-plane graphs $G$ achieving the maximum crossing number $|V(G)|-2$. We first introduce a class of quasi-optimal 1-plane graphs as a generalization of optimal 1-plane graphs, and then prove that for any maximal 1-plane graph $G$, $cr(G)=|V(G)|-2$ holds if and only if $G$ is a quasi-optimal 1-plane graph. Moreover, we prove that every quasi-optimal 1-plane graph is maximal 1-planar (not merely drawing-saturated). Finally, we present some applications of our main results, including a disproof of an upper bound on the crossing number of maximal 1-planar graphs with odd-degree vertices.
The maximum number of triangles in $K_{1,s,t}$-free graphs
We consider the following generalized Turán problem: For $2 \le s \le t$, what is the maximum number of triangles in a $K_{1,s,t}$-free graph on $n$ vertices? The previously best known lower and upper bounds are $Ω(n^2)$ and $o(n^{3-1/s})$, respectively. To the best of our knowledge, all known proofs of the upper bound use the triangle removal lemma. We give a new elementary proof that avoids the use of the triangle removal lemma and improves the upper bound to $O\left(n^{3-1/s}(\log n)^{-1+1/s}\right)$.
Balanced spanning trees of the 2-by-N grid
We obtain an exact formula for the probability that a uniformly random spanning tree of the $2$-by-$n$ square grid is ``balanced'' in the sense that it has an edge whose removal partitions its vertices into two sets of equal size. We compute the exact limit of this probability as $n\rightarrow\infty$.
Finding Partite Hypergraphs Efficiently
We provide a deterministic polynomial-time algorithm that, for a given $k$-uniform hypergraph $H$ with $n$ vertices and edge density $d$, finds a complete $k$-partite subgraph of $H$ with parts of size at least ${c(d, k)(\log n)^{1/(k-1)}}$. This generalizes work by Mubayi and Turán on bipartite graphs. The value we obtain for the part size matches the order of magnitude guaranteed by the non-constructive proof due to Erdős and is tight up to a constant factor.
Integral Cayley graphs over a nonabelian group of order $8n$
A graph is called an integral graph when all eigenvalues of its adjacency matrix are integers. We study which Cayley graphs over a nonabelian group $$ T_{8n}=\left\langle a,b\mid a^{2n}=b^8=e,a^n=b^4,b^{-1}ab=a^{-1} \right \rangle $$ are integral graphs. Based on the group representation theory, we first give the irreducible matrix representations and characters of $T_{8n}$. Then we give necessary and sufficient conditions for which Cayley graphs over $T_{8n}$ are integral graphs. As applications, we also characterize some families of connected integral Cayley graphs over $T_{8n}$.
The domatic number game played on graphs
The domatic number of a graph is the maximum number of pairwise disjoint dominating sets admitted by the graph. We introduce a game based around this graph invariant. The domatic number game is played on a graph $G$ by two players, Alice and Bob, who take turns selecting a vertex and placing it into one of $k$ sets. Alice is trying to make each of these sets into a dominating set of $G$ while Bob's goal is to prevent this from being accomplished. The maximum $k$ for which Alice can achieve her goal when both players are playing optimal strategies, is called the game domatic number of $G$. There are two versions of the game and two resulting invariants depending on whether Alice or Bob is the first to play.
We prove several upper bounds on these game domatic numbers of arbitrary graphs and find the exact values for several classes of graphs including trees, complete bipartite graphs, cycles and some narrow grid graphs. We pose several open problems concerning the effect of standard graph operations on the game domatic number as well as a vexing question related to the monotonicity of the number of sets available to Alice.
Ext operators for wreath Macdonald polynomials
We introduce a wreath Macdonald polynomial analogue of the Carlsson--Nekrasov--Okounkov vertex operator. As an application, we prove a modular $(q,t)$-Nekrasov--Okounkov formula for $r\ge 3$ originally conjectured by Walsh and Warnaar.
Promotion digraphs
Work of Gaetz, Pechenik, Pfannerer, Striker, and Swanson (2024) introduced promotion permutations for a rectangular standard Young tableau $T$. These promotion permutations encode important features of $T$ and its orbit under Schützenberger's promotion operator. Indeed, the promotion permutations uniquely determine the tableau $T$.
We introduce more general promotion digraphs for both standard and increasing tableaux of arbitrary shape. For rectangular standard tableaux, this construction recovers the functional digraphs of the promotion permutations. Among other facts, we show that promotion digraphs uniquely determine $T$ when $T$ is standard of arbitrary shape or increasing of rectangular shape, but not when $T$ is increasing and general shape. We completely characterize the promotion digraphs for two-row rectangular increasing tableaux. We use promotion digraphs for three-row rectangular increasing tableaux to conjecture a connection between their dynamics and the flamingo webs recently introduced by Kim to give a diagrammatic basis of the Specht module $S^{(k^3,1^{n-3k})}$.
Quadratic Embedding Constants of Cartesian Products and Joins of Graphs
The quadratic embedding constant (QEC) of a finite, simple, connected graph originated from the classical work of Schoenberg [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938] on Euclidean distance geometry. In this article, we study the QEC of graphs in terms of two graph operations: the Cartesian product and the join of graphs. We derive a general formula for the QEC of the join of an arbitrary graph with a regular graph and with a complete multipartite graph. We then provide quadratic embedding constants for the Cartesian product of an arbitrary graph $G$ with a complete graph and with a complete bipartite graph in terms of QEC$(G)$.