Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Topological model for q-deformed rational number and categorification
Published
• View Publication
• BIB
Let $\mathbf{D}_{3}$ be a bigraded 3-decorated disk with an arc system $\mathbf{A}$. We associate a bigraded simple closed arc $\widehatη_{\frac{r}{s}}$ on $\mathbf{D}_{3}$ to any rational number $\frac{r}{s}\in\overline{\mathbb{Q}}=\mathbb{Q}\cup\{\infty\}$. We show that the right (resp. left) $q$-deformed rational numbers associated to $\frac{r}{s}$, in the sense of Morier-Genoud-Ovsienko (resp. Bapat-Becker-Licata) can be naturally calculated by the $\mathfrak{q}$-intersection between $\widehatη_{\frac{r}{s}}$ and $\mathbf{A}$ (resp. dual arc system $\mathbf{A}^*$). The Jones polynomials of rational knots can be also given by such intersections. Moreover, the categorification of $\widehatη_{\frac{r}{s}}$ is given by the spherical object $X_{\frac{r}{s}}$ in the Calabi-Yau-$\mathbb{X}$ category of Ginzburg dga of type $A_2$. Reduce to CY-2 case, we recover result of Bapat-Becker-Licata with a slight improvement.
Lineup polytopes of product of simplices
Published
• View Publication
• BIB
Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, the relevant point configurations are the vertices of hypersimplices and the integer points contained in an inflated regular simplex. The central problem consists in providing an inequality representation of lineup polytopes as efficiently as possible. In this article, we adapt the developed techniques to the quantum information theory setup. The appropriate point configurations become the vertices of products of simplices. A particular case is that of lineup polytopes of cubes, which form a type $B$ analog of hypersimplices, where the symmetric group of type~$A$ naturally acts. To obtain the inequalities, we center our attention on the combinatorics and the symmetry of products of simplices to obtain an algorithmic solution. Along the way, we establish relationships between lineup polytopes of products of simplices with the Gale order, standard Young tableaux, and the Resonance arrangement.
Optimal zero-free regions for the independence polynomial of bounded degree hypergraphs
Published
• View Publication
• BIB
In this paper we investigate the distribution of zeros of the independence polynomial of hypergraphs of maximum degree $Δ$. For graphs the largest zero-free disk around zero was described by Shearer as having radius $λ_s(Δ)=(Δ-1)^{Δ-1}/Δ^Δ$. Recently it was shown by Galvin et al. that for hypergraphs the disk of radius $λ_s(Δ+1)$ is zero-free; however, it was conjectured that the actual truth should be $λ_s(Δ)$. We show that this is indeed the case. We also show that there exists an open region around the interval $[0,(Δ-1)^{Δ-1}/(Δ-2)^Δ)$ that is zero-free for hypergraphs of maximum degree $Δ$, which extends the result of Peters and Regts from graphs to hypergraphs. Finally, we determine the radius of the largest zero-free disk for the family of bounded degree $k$-uniform linear hypertrees in terms of $k$ and $Δ$.
Genuinely nonabelian partial difference sets
Published
• View Publication
• BIB
Strongly regular graphs (SRGs) provide a fertile area of exploration in algebraic combinatorics, integrating techniques in graph theory, linear algebra, group theory, finite fields, finite geometry, and number theory. Of particular interest are those SRGs with a large automorphism group. If an automorphism group acts regularly (sharply transitively) on the vertices of the graph, then we may identify the graph with a subset of the group, a partial difference set (PDS), which allows us to apply techniques from group theory to examine the graph. Much of the work over the past four decades has concentrated on abelian PDSs using the powerful techniques of character theory. However, little work has been done on nonabelian PDSs. In this paper we point out the existence of \textit{genuinely nonabelian} PDSs, i.e., PDSs for parameter sets where a nonabelian group is the only possible regular automorphism group. We include methods for demonstrating that abelian PDSs are not possible for a particular set of parameters or for a particular SRG. Four infinite families of genuinely nonabelian PDSs are described, two of which -- one arising from triangular graphs and one arising from Krein covers of complete graphs constructed by Godsil \cite{Godsil_1992} -- are new. We also include a new nonabelian PDS found by computer search and present some possible future directions of research.
Asymptotics for Palette Sparsification
It is shown that the following holds for each $\varepsilon>0$. For $G$ an $n$-vertex graph of maximum degree $D$ and "lists" $L_v$ ($v \in V(G)$) chosen independently and uniformly from the ($(1+\varepsilon)\ln n$)-subsets of $\{1, ..., D+1\}$, \[ G \text{ admits a proper coloring } σ\text{ with } σ_v \in L_v \forall v \] with probability tending to 1 as $D \to \infty$.
This is an asymptotically optimal version of a recent "palette sparsification" theorem of Assadi, Chen, and Khanna.
Topological Symmetry Groups of the Petersen graphs
Published in Symmetry, vol. 15, no. 6, p. 1267, 2023
• View Publication
• BIB
The {\em topological symmetry group} of an embedding $Γ$ of an abstract graph $γ$ in $S^3$ is the group of automorphisms of $γ$ which can be realized by homeomorphisms of the pair $(S^3, Γ)$. These groups are motivated by questions about the symmetries of molecules in space. The Petersen family of graphs is an important family of graphs for many problems in low dimensional topology, so it is desirable to understand the possible groups of symmetries of their embeddings in space. In this paper, we find all the groups which can be realized as topological symmetry groups for each of the graphs in the Petersen Family. Along the way, we also complete the classification of the realizable topological symmetry groups for $K_{3,3}$.
Graphs with Large Girth and Small Cop Number
Published
• View Publication
• BIB
In this paper we consider the cop number of graphs with no, or few, short cycles. We show that when $G$ is graph of girth $g$ and the minimum degree $δ\geq 2$, then $c(G) = O(n\log(n)(δ-1)^{-\lfloor \frac{g+1}{4} \rfloor})$ as a function of $n$. This extends work of Frankl and implies that if $G$ is large and dense in the sense that $δ\geq n^{\frac{2}{g}+ε}$, then $G$ satisfies Meyniel's conjecture, that is $c(G) = O(\sqrt{n})$. Moreover, it implies that if $G$ is large and dense in the sense that there $δ\geq n^ε$, some $ε>0$, while also having girth $g \geq 7$, then there exists an $α>0$ such that $c(G) = O(n^{1-α})$, thereby satisfying the weak Meyniel's conjecture. Of course, this implies similar results for dense graphs with small, that is $O(n^{1-α})$, numbers of short cycles, as each cycle can be broken by adding a single cop.
A Generalization of the Graham-Pollak Tree Theorem to Steiner Distance
Published
• View Publication
• BIB
Graham and Pollak showed that the determinant of the distance matrix of a tree $T$ depends only on the number of vertices of $T$. Graphical distance, a function of pairs of vertices, can be generalized to ``Steiner distance'' of sets $S$ of vertices of arbitrary size, by defining it to be the fewest edges in any connected subgraph containing all of $S$. Here, we show that the same is true for trees' {\em Steiner distance hypermatrix} of all odd orders, whereas the theorem of Graham-Pollak concerns order $2$. We conjecture that the statement holds for all even orders as well.
A lexicographic section of the braid arrangement and the modified Artin presentation
We study a specific line arrangement obtained from a generic $2$-section of the braid arrangement, and compute the fundamental group of its complement via braid monodromy. We show that the resulting presentation of the fundamental group coincides, under the identification of generators, with the modified Artin presentation introduced by Margalit and McCammond. Moreover, we extend the construction to the Manin--Schechtman arrangements $MS(n, k)$, which are higher analogues of the braid arrangement. Focusing on the case $k = 2$, we obtain an explicit presentation of $π_1(\mathbb{C}^n \setminus MS(n, 2))$.
Weakly reflecting graph properties
L. Soukup formulated an abstract framework in his introductory paper for proving theorems about uncountable graphs by subdividing them by an increasing continuous chain of elementary submodels. The applicability of this method relies on the preservation of a certain property (that varies from problem to problem) by the subgraphs obtained by subdividing the graph by an elementary submodel. He calls the properties that are preserved ``well-reflecting''. The aim of this paper is to investigate the possibility of weakening of the assumption ``well-reflecting'' in L. Soukup's framework. Our motivation is to gain better understanding about a class of problems in infinite graph theory where a weaker form of well-reflection naturally occurs.
Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints
Published
• View Publication
• BIB
The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem of identifying a set of points satisfying a given set of algebraic relations. A key question then is to prove sufficient conditions for relations to guarantee the identifiability of the points.
This paper proposes a new general framework for capturing the identifiability problem when a set of algebraic relations has a combinatorial structure and develops tools to analyse the impact of the underlying combinatorics on the local or global identifiability of points. Our framework is built on the language of graph rigidity, where the measurements are Euclidean distances between two points, but applicable in the generality of hypergraphs with arbitrary algebraic measurements. We establish necessary and sufficient (hyper)graph theoretical conditions for identifiability by exploiting techniques from graph rigidity theory and algebraic geometry of secant varieties. In particular our work analyses combinatorially the effect of non-generic projections of secant varieties.
Non-linear MRD codes from cones over exterior sets
Published
• View Publication
• BIB
By using the notion of $d$-embedding $Γ$ of a (canonical) subgeometry $Σ$ and of exterior set with respect to the $h$-secant variety $Ω_{h}(\mathcal{A})$ of a subset $\mathcal{A}$, $ 0 \leq h \leq n-1$, in the finite projective space $\mathrm{PG}(n-1,q^n)$, $n \geq 3$, in this article we construct a class of non-linear $(n,n,q;d)$-MRD codes for any $ 2 \leq d \leq n-1$. A code $\mathcal{C}_{σ,T}$ of this class, where $1\in T \subset \mathbb{F}_q^*$ and $σ$ is a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}|\mathbb{F}_q)$, arises from a cone of $\mathrm{PG}(n-1,q^n)$ with vertex an $(n-d-2)$-dimensional subspace over a maximum exterior set $\mathcal{E}$ with respect to $Ω_{d-2}(Γ)$. We prove that the codes introduced in [Cossidente, A., Marino, G., Pavese, F.: Non-linear maximum rank distance codes. Des. Codes Cryptogr. 79, 597--609 (2016); Durante, N., Siciliano, A.: Non-linear maximum rank distance codes in the cyclic model for the field reduction of finite geometries. Electron. J. Comb. (2017); Donati, G., Durante, N.: A generalization of the normal rational curve in $\mathrm{PG}(d,q^n)$ and its associated non-linear MRD codes. Des. Codes Cryptogr. 86, 1175--1184 (2018)] are appropriate punctured ones of $\mathcal{C}_{σ,T}$ and solve completely the inequivalence issue for this class showing that $\mathcal{C}_{σ,T}$ is neither equivalent nor adjointly equivalent to the non-linear MRD code $\mathcal{C}_{n,k,σ,I}$, $I \subseteq \mathbb{F}_q$, obtained in [Otal, K., Özbudak, F.: Some new non-additive maximum rank distance codes. Finite Fields and Their Applications 50, 293--303 (2018).].
Small codes
Published
• View Publication
• BIB
Determining the maximum number of unit vectors in $\mathbb{R}^r$ with no pairwise inner product exceeding $α$ is a fundamental problem in geometry and coding theory. In 1955, Rankin resolved this problem for all $α\leq 0$ and in this paper, we show that the maximum is $(2+o(1))r$ for all $0 \leq α\ll r^{-2/3}$, answering a question of Bukh and Cox. Moreover, the exponent $-2/3$ is best possible. As a consequence, we conclude that when $j \ll r^{1/3}$, a $q$-ary code with block length $r$ and distance $(1-1/q)r - j$ has size at most $(2 + o(1))(q-1)r$, which is tight up to the multiplicative factor $2(1 - 1/q) + o(1)$ for any prime power $q$ and infinitely many $r$. When $q = 2$, this resolves a conjecture of Tietäväinen from 1980 in a strong form and the exponent $1/3$ is best possible. Finally, using a recently discovered connection to $q$-ary codes, we obtain analogous results for set-coloring Ramsey numbers.
Improved upper bound on the Frank number of $3$-edge-connected graphs
In an orientation $O$ of the graph $G$, an arc $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, the Frank number is the minimum $k$ for which $G$ admits $k$ strongly connected orientations such that for every edge $e$ of $G$ the corresponding arc is deletable in at least one of the $k$ orientations. Hörsch and Szigeti conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. We prove an upper bound of $5$, which improves the previous bound of $7$.
A Schnyder-type drawing algorithm for 5-connected triangulations
Published
• View Publication
• BIB
We define some Schnyder-type combinatorial structures on a class of planar triangulations of the pentagon which are closely related to 5-connected triangulations. The combinatorial structures have three incarnations defined in terms of orientations, corner-labelings, and woods respectively. The wood incarnation consists in 5 spanning trees crossing each other in an orderly fashion. Similarly as for Schnyder woods on triangulations, it induces, for each vertex, a partition of the inner triangles into face-connected regions (5~regions here). We show that the induced barycentric vertex-placement, where each vertex is at the barycenter of the 5 outer vertices with weights given by the number of faces in each region, yields a planar straight-line drawing.
Matroidal Mixed Eulerian Numbers
Published
• View Publication
• BIB
We make a systematic study of matroidal mixed Eulerian numbers which are certain intersection numbers in the matroid Chow ring generalizing the mixed Eulerian numbers introduced by Postnikov. These numbers are shown to be valuative and obey a log-concavity relation. We establish recursion formulas and use them to relate matroidal mixed Eulerian numbers to the characteristic and Tutte polynomials, reproving results of Huh-Katz and Berget-Spink-Tseng. Generalizing Postnikov, we show that these numbers are equal to certain weighted counts of binary trees. Lastly, we study these numbers for perfect matroid designs, proving that they generalize the remixed Eulerian numbers of Nadeau-Tewari.
A logarithmic bound for simultaneous embeddings of planar graphs
Published
• View Publication
• BIB
A set $\mathcal{G}$ of planar graphs on the same number $n$ of vertices is called simultaneously embeddable if there exists a set $P$ of $n$ points in the plane such that every graph $G \in \mathcal{G}$ admits a (crossing-free) straight-line embedding with vertices placed at points of $P$. A conflict collection is a set of planar graphs of the same order with no simultaneous embedding. A well-known open problem from 2007 posed by Brass, Cenek, Duncan, Efrat, Erten, Ismailescu, Kobourov, Lubiw and Mitchell, asks whether there exists a conflict collection of size $2$. While this remains widely open, we give a short proof that for sufficiently large $n$ there exists a conflict collection consisting of at most $(3+o(1))\log_2(n)$ planar graphs on $n$ vertices. This constitutes a double-exponential improvement over the previously best known bound of $O(n\cdot 4^{n/11})$ for the same problem by Goenka, Semnani and Yip.
Using our method we also provide a computer-free proof that there exists a conflict collection of size $30$, improving upon the previously smallest known conflict collection of size $49$ which was found using heavy computer assistance.
While the construction by Goenka et al. was explicit, our construction of a conflict collection of size $O(\log n)$ is based on the probabilistic method and is thus only implicit. Motivated by this, for every large enough $n$ we give a different, fully explicit construction of a collection of less than $n^6$ planar $n$-vertex graphs with no simultaneous embedding.
Terwilliger algebras of generalized wreath products of association schemes
The generalized wreath product of symmetric association schemes was introduced by R.A.Bailey in the European Journal of Combinatorics 27 (2006) 428-435. It is recognized as a unification of both the wreath product and the direct product of symmetric association schemes. While its potential applicability to any association scheme had been implied, this paper provides a formal and explicit confirmation of that claim. Moreover, we establish the irreducible representations of its adjacency algebra and Terwilliger algebra.
The union-closed sets conjecture for non-uniform distributions
The union-closed sets conjecture, attributed to Péter Frankl from 1979, states that for any non-empty finite union-closed family of finite sets not consisting of only the empty set, there is an element that is in at least half of the sets in the family. We prove a version of Frankl's conjecture for families distributed according to any one of infinitely many distributions. As a corollary, in the intersection-closed reformulation of Frankl's conjecture, we obtain that it is true for families distributed according to any one of infinitely many Maxwell--Boltzmann distributions with inverse temperatures bounded below by a positive universal constant. Frankl's original conjecture corresponds to zero inverse temperature.
Robertson's conjecture and universal finite generation in the homology of graph braid groups
Published
• View Publication
• BIB
We formulate a categorification of Robertson's conjecture analogous to the categorical graph minor conjecture of Miyata--Proudfood--Ramos. We show that these conjectures imply the existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs -- in fixed degree, with a fixed number of particles, under topological embeddings. We explain how the simplest case of our conjecture follows from work of Barter and Miyata--Proudfoot, implying that the category of cographs is Noetherian, a result of potential independent interest.