Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Monogamy of entanglement between cones
Published in Math. Ann. (2024)
• View Publication
• BIB
A separable quantum state shared between parties $A$ and $B$ can be symmetrically extended to a quantum state shared between party $A$ and parties $B_1,\ldots ,B_k$ for every $k\in\mathbf{N}$. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as "monogamy of entanglement". We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones $\mathsf{C}_A$ and $\mathsf{C}_B$: The elements of the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product $\mathsf{C}_A\otimes_{\max} \mathsf{C}^{\otimes_{\max} k}_B$ for every $k\in\mathbf{N}$. Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of $k$-extendible tensors. It is a natural question when the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ coincides with the set of $k$-extendible tensors for some finite $k$. We show that this is universally the case for every cone $\mathsf{C}_A$ if and only if $\mathsf{C}_B$ is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.
On the complexity of packing rainbow spanning trees
One of the most important questions in matroid optimization is to find disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases. Bérczi and Schwarcz showed that the problem is hard in general, therefore identifying the borderline between tractable and intractable instances is of interest.
In the present paper, we study the special case when one of the matroids is a partition matroid while the other one is a graphic matroid. This setting is equivalent to the problem of packing rainbow spanning trees, an extension of the problem of packing arborescences in directed graphs which was answered by Edmonds' seminal result on disjoint arborescences. We complement his result by showing that it is NP-complete to decide whether an edge-colored graph contains two disjoint rainbow spanning trees. Our complexity result holds even for the very special case when the graph is the union of two spanning trees and each color class contains exactly two edges. As a corollary, we give a negative answer to a question on the decomposition of oriented $k$-partition-connected digraphs.
Relation between the correspondence chromatic number and the Alon--Tarsi number
Published
• View Publication
• BIB
We study the relation between the correspondence chromatic number and the Alon--Tarsi number, both upper bounds on the list chromatic number of a graph. There are many graphs with Alon--Tarsi number greater than the correspondence chromatic number. We present here a family of graphs with arbitrary Alon--Tarsi number, with correspondence chromatic number one larger.
Keywords: correspondence coloring, Alon--Tarsi number
AMS Mathematics Subject Classification: 05C15
Stuttering look and say sequences and a challenger to Conway's most complicated algebraic number from the silliest source
We introduce stuttering look and say sequences and describe their chemical structure in the spirit of Conway's work on audioactive decay. We show the growth rate of a stuttering look and say sequence is an algebraic integer of degree 415.
Prescribed graphon symmetries and flavors of rigidity
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups are automorphism groups of finite graphs.
The paper also contains a number of results the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $Γ_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n Γ$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.
Canonical bases and new applications of increasing and decreasing subsequences to invariant theory
Published
• View Publication
• BIB
In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the second author found a similar result for the centraliser of the partition algebra acting on the same tensor space. Each basis is indexed by permutations. We exploit these bases to show that the linear decomposition of an arbitrary invariant (in either centraliser algebra) depends integrally on its entries, and describe combinatorial rules that pick out minimal sets of such entries.
A characterization of rich c-partite (c > 7) tournaments without (c + 2)-cycles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (December 5, 2023) dmtcs:9732
• View Publication
• BIB
Let c be an integer. A c-partite tournament is an orientation of a complete c-partite graph. A c-partite tournament is rich if it is strong, and each partite set has at least two vertices. In 1996, Guo and Volkmann characterized the structure of all rich c-partite tournaments without (c + 1)-cycles, which solved a problem by Bondy. They also put forward a problem that what the structure of rich c-partite tournaments without (c + k)-cycles for some k>1 is. In this paper, we answer the question of Guo and Volkmann for k = 2.
Combinatorics and preservation of conically stable polynomials
Published
• View Publication
• BIB
Given a closed, convex cone $K\subseteq \mathbb{R}^n$, a multivariate polynomial $f\in\mathbb{C}[\mathbf{z}]$ is called $K$-stable if the imaginary parts of its roots are not contained in the relative interior of $K$. If $K$ is the non-negative orthant, $K$-stability specializes to the usual notion of stability of polynomials.
We develop generalizations of preservation operations and of combinatorial criteria from usual stability towards conic stability. A particular focus is on the cone of positive semidefinite matrices (psd-stability). In particular, we prove the preservation of psd-stability under a natural generalization of the inversion operator. Moreover, we give conditions on the support of psd-stable polynomials and characterize the support of special families of psd-stable polynomials.
Pairwise disjoint perfect matchings in $r$-edge-connected $r$-regular graphs
Published in SIAM J. Discrete Math., 37 (2023), 1548-1565
• View Publication
• BIB
Thomassen [Problem 1 in Factorizing regular graphs, J. Combin. Theory Ser. B, 141 (2020), 343-351] asked whether every $r$-edge-connected $r$-regular graph of even order has $r-2$ pairwise disjoint perfect matchings. We show that this is not the case if $r \equiv 2 \text{ mod } 4$. Together with a recent result of Mattiolo and Steffen [Highly edge-connected regular graphs without large factorizable subgraphs, J. Graph Theory, 99 (2022), 107-116] this solves Thomassen's problem for all even $r$. It turns out that our methods are limited to the even case of Thomassen's problem. We then prove some equivalences of statements on pairwise disjoint perfect matchings in highly edge-connected regular graphs, where the perfect matchings contain or avoid fixed sets of edges. Based on these results we relate statements on pairwise disjoint perfect matchings of 5-edge-connected 5-regular graphs to well-known conjectures for cubic graphs, such as the Fan-Raspaud Conjecture, the Berge-Fulkerson Conjecture and the $5$-Cycle Double Cover Conjecture.
Bounds for the chromatic index of signed multigraphs
Published in Discrete Applied Mathematics, 337:185-189, 2023
• View Publication
• BIB
The paper studies edge-coloring of signed multigraphs and extends classical Theorems of Shannon and König to signed multigraphs. We prove that the chromatic index of a signed multigraph $(G,σ_G)$ is at most $\lfloor \frac{3}{2} Δ(G) \rfloor$. Furthermore, the chromatic index of a balanced signed multigraph $(H,σ_H)$ is at most $Δ(H) + 1$ and the balanced signed multigraphs with chromatic index $Δ(H)$ are characterized.
On the logical strength of the better quasi order with three elements
Published
• View Publication
• BIB
The notion of better quasi order ($\mathsf{BQO}$), due to Nash-Williams, is very fruitful mathematically and intriguing from the standpoint of logic, due to several long-standing open problems. In the present paper, we make a significant step towards one of these: Let $\mathbf 3$ be the discrete order with three elements. We show that arithmetical recursion along the natural numbers ($\mathsf{ACA}_0^+$) follows from $\mathbf 3$ being $\mathsf{BQO}$, over the base theory $\mathsf{RCA_0}$ from reverse mathematics. Also over the latter, we deduce arithmetical transfinite recursion ($\mathsf{ATR}_0$) from the assumption that $\mathbf 3$ is $Δ^0_2\text{-}\mathsf{BQO}$, which plays a role in work of Montalbán.
2-uniform toroidal maps, classification and asymptotic behavior
If a map has k transitivity classes of vertices that are subject to the action of the automorphism group, it is said to be k-uniform. The classification of 1-uniform maps on the torus is known. In this article, we classify 2-uniform maps on the torus up to isomorphism. Explicit formulas for the number of combinatorial types of these maps on number of vertices is obtained in terms of arithmetic functions in number theory, such as the divisor function. The asymptotic behaviour of these functions as number of vertices tends to infinity is also discussed and we obtained continuous functions which asymptotically served as upper and lower bounds.
On Clique Version of the Randic Index
In this paper, we first review the weighted-versiion of the handshaking lemma based on the idea of a weighted vertex-edge incidence matrix of a given graph $G$. Then, we obtain a generalized version of the handshaking lemma based on the concept of the clique value. We also define a generalized version of Randic index. More importantly, we prove an upper bound for the generalized Randic index of a graph $G$. We finally concluse the paper with some disscussions about possible future works.
An algorithm to count the number of caps in $\mathbb{P}^3(\mathbb{F}_q)$
An $n$-cap in $k$-dimensional projective space is a set of $n$ points so that no three lie on a line. In this note, we provide an algorithm to count the number of $n$-caps in $\mathbb{P}^3(\mathbb{F}_q)$, which follows from our recent paper [9]. We then give exact formulas for the number of $n$-caps when $n \le 7$. The formulas are polynomial in $q$ when $n \le 6$ and quasipolynomial in $q$ when $n = 7$.
Towards Hadwiger's conjecture via Bourgain Slicing
Published
• View Publication
• BIB
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a factor of $e^{Ω(\sqrt{d})}$ by Huang, Slomka, Tkocz and Vritsiou. In this note we take another step towards Hadwiger's conjecture by deducing an almost-exponential improvement from the recent breakthrough work of Chen, Klartag and Lehec on Bourgain's slicing problem. More precisely, we prove that, for any convex body $K \subset \mathbb{R}^d$, $$\exp\bigg( - Ω\bigg( \frac{d}{(\log d)^8} \bigg) \bigg) \cdot 4^d$$ translates of $\text{int}(K)$ suffice to cover $K$. We also show that a positive answer to Bourgain's slicing problem would imply an exponential improvement for Hadwiger's conjecture.
Counting derangements with signed right-to-left minima and excedances
Published
• View Publication
• BIB
Recently Alexandersson and Getachew proved some multivariate generalizations of a formula for enumerating signed excedances in derangements. In this paper we first relate their work to a recent continued fraction for permutations and confirm some of their observations. Our second main result is two refinements of their multivariate identities, which clearly explain the meaning of each term in their main formulas.
We also explore some similar formulas for permutations of type B.
Random partitions under the Plancherel-Hurwitz measure, high genus Hurwitz numbers and maps
Published in Ann. Probab. 52 (4), 1253-1359, (July 2024)
• View Publication
• BIB
We study the asymptotic behaviour of random integer partitions under a new probability law that we introduce, the Plancherel-Hurwitz measure. This distribution, which has a natural definition in terms of Young tableaux, is a deformation of the classical Plancherel measure which appears naturally in the context of Hurwitz numbers, enumerating certain transposition factorisations in symmetric groups.
We study a regime in which the number of factors in the underlying factorisations grows linearly with the order of the group, and the corresponding topological objects, Hurwitz maps, are of high genus. We prove that the limiting behaviour exhibits a new, twofold, phenomenon: the first part becomes very large, while the rest of the partition has the standard Vershik-Kerov-Logan-Shepp limit shape. As a consequence, we obtain asymptotic estimates for unconnected Hurwitz numbers with linear Euler characteristic, which we use to study random Hurwitz maps in this regime. This result can also be interpreted as the return probability of the transposition random walk on the symmetric group after linearly many steps.
The Sixth Moment of Random Determinants
In this paper, we determine the sixth moment of the determinant of an asymmetric $n \times n$ random matrix where the entries are drawn independently from an arbitrary distribution $Ω$ with mean $0$. Furthermore, we derive the asymptotic behavior of the sixth moment of the determinant as the size of the matrix tends to infinity.
Set-coloring Ramsey numbers via codes
Published
• View Publication
• BIB
For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is guaranteed to be a monochromatic clique on $n$ vertices, that is, a subset of $n$ vertices where all of the edges between them receive a common color. In particular, the case $s=1$ corresponds to the classical multicolor Ramsey number. We prove general upper and lower bounds on $R(n;r,s)$ which imply that $R(n;r,s) = 2^{Θ(nr)}$ if $s/r$ is bounded away from $0$ and $1$. The upper bound extends an old result of Erdős and Szemerédi, who treated the case $s = r-1$, while the lower bound exploits a connection to error-correcting codes. We also study the analogous problem for hypergraphs.
On the maximal number of elements pairwise generating the finite alternating group
Published
• View Publication
• BIB
Let $G$ be the alternating group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that, when $n$ varies in the family of composite numbers, $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we explicitly calculate $σ(A_n)$ for $n \geq 21$ congruent to $3$ modulo $18$.