Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Arrangements of Pseudocircles: On Digons and Triangles
Published in Computing in Geometry and Topology, 3(1), 11:1-11:18 (2025)
• View Publication
• BIB
In this article, we study the cell-structure of simple arrangements of pairwise intersecting pseudocircles. The focus will be on two problems of Grünbaum (1972).
First, we discuss the maximum number of digons or touching points. Grünbaum conjectured that there are at most $2n - 2$ digon cells or equivalently at most $2n - 2$ touchings. Agarwal et al. (2004) verified the conjecture for cylindrical arrangements. We show that the conjecture holds for any arrangement which contains three pairwise touching pseudocircles. The proof makes use of the result for cylindrical arrangements. Moreover, we construct non-cylindrical arrangements which attain the maximum of $2n - 2$ touchings and have no triple of pairwise touching pseudocircles.
Second, we discuss the minimum number of triangular cells (triangles) in arrangements without digons and touchings. Grünbaum conjectured that such arrangements have $2n - 4$ triangles. Snoeyink and Hershberger (1991) established a lower bound of $\lceil \frac{4}{3}n \rceil$. Felsner and Scheucher (2017) disproved the conjecture and constructed a family of arrangements with only $\lceil \frac{16}{11}n \rceil$ triangles. We provide a construction which shows that $\lceil \frac{4}{3}n \rceil$ is the correct value.
Crossing lemma for the odd-crossing number
Published
• View Publication
• BIB
A graph is $1$-planar, if it can be drawn in the plane such that there is at most one crossing on every edge. It is known, that $1$-planar graphs have at most $4n-8$ edges. We prove the following odd-even generalization. If a graph can be drawn in the plane such that every edge is crossed by at most one other edge {\em an odd number of times}, then it is called 1-odd-planar and it has at most $5n-9$ edges. As a consequence, we improve the constant in the Crossing Lemma for the odd-crossing number, if adjacent edges cross an even number of times. We also give upper bound for the number of edges of $k$-odd-planar graphs.
Rowmotion on rooted trees
A rooted tree T is a poset whose Hasse diagram is a graph-theoretic tree having a unique minimal element. We study rowmotion on antichains and lower order ideals of T. Recently Elizalde, Roby, Plante and Sagan considered rowmotion on fences which are posets whose Hasse diagram is a path (but permitting any number of minimal elements). They showed that in this case, the orbits could be described in terms of tilings of a cylinder. They also defined a new notion called homometry which means that a statistic takes a constant value on all orbits of the same size. This is a weaker condition than the well-studied concept of homomesy which requires a constant value for the average of the statistic over all orbits. Rowmotion on fences is often homometric for certain statistics, but not homomesic. We introduce a tiling model for rowmotion on rooted trees. We use it to study various specific types of trees and show that they exhibit homometry, although not homomesy, for certain statistics.
A novel permanent identity with applications
Let $n$ be a positive integer, and define the rational function $S(x_1,\ldots,x_{2n})$ as the permanent of the matrix $[x_{j,k}]_{1\le j,k\le 2n}$, where $$x_{j,k}=\begin{cases}(x_j+x_k)/(x_j-x_k)&\text{if}\ j\not=k,\\1&\text{if}\ j=k.\end{cases}$$ We give an explicit formula for $S(x_1,\ldots,x_{2n})$ which has the following consequence: If one of the variables $x_1,\ldots,x_{2n}$ takes zero, then $S(x_1,\ldots,x_{2n})$ vanishes, i.e., $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{x_j+x_{τ(j)}}{x_j-x_{τ(j)}}=0,$$ where we view an empty product $\prod_{i\in\emptyset}a_i$ as $1$. As an application, we show that if $ζ$ is a primitive $2n$-th root of unity then $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{1+ζ^{j-τ(j)}}{1-ζ^{j-τ(j)}}=((2n-1)!!)^2$$ as conjectured by Z.-W. Sun.
Some Remarks on the Erdős Distinct Subset Sums Problem
Published
• View Publication
• BIB
Let $\left\{a_1, \dots, a_n\right\} \subset \mathbb{N}$ be a set of positive integers, $a_n$ denoting the largest element, so that for any two of the $2^n$ subsets the sum of all elements is distinct. Erdős asked whether this implies $a_n \geq c \cdot 2^n$ for some universal $c>0$. We prove, slightly extending a result of Elkies, that for any $a_1, \dots, a_n \in \mathbb{R}_{>0}$ $$ \int_{\mathbb{R}} \left( \frac{\sin{ x}}{ x} \right)^2 \prod_{i=1}^{n} \cos{( a_i x)^2} dx \geq \fracπ{2^{n}}$$ with equality if and only if all subset sums are $1-$separated. This leads to a new proof of the currently best lower bound $a_n \geq \sqrt{2/πn} \cdot 2^n$. The main new insight is that having distinct subset sums and $a_n$ small requires the random variable $X = \pm a_1 \pm a_2 \pm \dots \pm a_n$ to be close to Gaussian in a precise sense.
On the main distance-based entropies: the eccentricity- and Wiener-entropy
Published
• View Publication
• BIB
We define the Wiener-entropy, which is together with the eccentricity-entropy one of the most natural distance-based graph entropies. By deriving the (asymptotic) extremal behaviour, we conclude that the Wiener-entropy of graphs of a given order is more spread than is the case for the eccentricity-entropy. We solve $3$ conjectures on the eccentricity-entropy and give a conjecture on the Wiener-entropy related to some surprising behaviour on the graph minimizing it.
Guarantees for Spontaneous Synchronization on Random Geometric Graphs
Published
• View Publication
• BIB
The Kuramoto model is a classical mathematical model in the field of non-linear dynamical systems that describes the evolution of coupled oscillators in a network that may reach a synchronous state. The relationship between the network's topology and whether the oscillators synchronize is a central question in the field of synchronization, and random graphs are often employed as a proxy for complex networks. On the other hand, the random graphs on which the Kuramoto model is rigorously analyzed in the literature are homogeneous models and fail to capture the underlying geometric structure that appears in several examples.
In this work, we leverage tools from random matrix theory, random graphs, and mathematical statistics to prove that the Kuramoto model on a random geometric graph on the sphere synchronizes with probability tending to one as the number of nodes tends to infinity. To the best of our knowledge, this is the first rigorous result for the Kuramoto model on random geometric graphs.
Birational geometry of generalized Hessenberg varieties and the generalized Shareshian-Wachs conjecture
Published
• View Publication
• BIB
We introduce generalized Hessenberg varieties and establish basic facts. We show that the Tymoczko action of the symmetric group $S_n$ on the cohomology of Hessenberg varieties extends to generalized Hessenberg varieties and that natural morphisms among them preserve the action. By analyzing natural morphisms and birational maps among generalized Hessenberg varieties, we give an elementary proof of the Shareshian-Wachs conjecture. Moreover we present a natural generalization of the Shareshian-Wachs conjecture that involves generalized Hessenberg varieties and provide an elementary proof. As a byproduct, we propose a generalized Stanley-Stembridge conjecture for weighted graphs. Our investigation into the birational geometry of generalized Hessenberg varieties enables us to modify them into much simpler varieties like projective spaces or permutohedral varieties by explicit sequences of blowups or projective bundle maps. Using this, we provide two algorithms to compute the $S_n$-representations on the cohomology of generalized Hessenberg varieties. As an application, we compute representations on the low degree cohomology of some Hessenberg varieties.
Moduli Spaces of One-Line Extensions of $(10_3)$ Configurations
Two line arrangements in $\mathbb{CP}^2$ can have different topological properties even if they are combinatorially isomorphic. Results by Dan Cohen and Suciu and by Randell show that a reducible moduli space under complex conjugation is a necessary condition.
We present a method to produce many examples of combinatorial line arrangements with a reducible moduli space obtained from a set of examples with irreducible moduli spaces.
In this paper, we determine the reducibility of the moduli spaces of a family of arrangements of 11 lines constructed by adding a line to one of the ten $(10_3)$ configurations. Out of the four hundred ninety-five combinatorial line arrangements in this family, ninety-five have a reducible moduli space, seventy-six of which are still reducible after the quotient by complex conjugation.
The thickness of fan-planar graphs is at most three
Published
• View Publication
• BIB
We prove that in any strongly fan-planar drawing of a graph G the edges can be colored with at most three colors, such that no two edges of the same color cross. This implies that the thickness of strongly fan-planar graphs is at most three. If G is bipartite, then two colors suffice to color the edges in this way.
Unified generating function for set partitions
In this work we define a unified generating functions for 9 different kinds of set partitions including cyclically ordered set partitions. Such generating function depends on 4 parameters. We consider property of this function and provide combinatorial explanation for polynomials generated by this function. Two new combinatorial statistics are defined and the explicit formulae given for coefficients of parametrized polynomials defined by the generating function.
Edge-coloured graph homomorphisms, paths, and duality
We present a edge-coloured analogue of the duality theorem for transitive tournaments and directed paths. Given a edge-coloured path $P$ whose edges alternate blue and red, we construct a edge-coloured graph $D$ so that for any edge-coloured graph $G$ $$ P \to G \Leftrightarrow G \not\to D. $$ The duals are simple to construct, in particular $|V(D)|=|V(P)|-1$.
On the consistency of score sheets of a round-robin football tournament
In this paper we introduce the submonoids $\mathscr{R}_n$, resp. $\mathscr{C}_n$, of the monoid $\mathscr{M}_n$ of ordered score sheets of a robin-round tournament played by $n$ teams for which the order is preserved after the leader team is disqualified, resp. all principal submatrices preserve the given ordering. We study (using both theoretical and computational methods) the most important invariants of these monoids, namely the Hilbert basis, the multiplicity, the Hilbert series and the Hilbert function. In particular we give a general description of the Hilbert basis of $\mathscr{R}_n$ and we show that $\mathscr{C}_n$ is Gorenstein for $n>2$.
Totally non-negativity of a family of change-of-basis matrices
Published
• View Publication
• BIB
Let ${\bf a}=(a_1, a_2, \ldots, a_n)$ and ${\bf e}=(e_1, e_2, \ldots, e_n)$ be real sequences. Denote by $M_{{\bf e}\rightarrow {\bf a}}$ the $(n+1)\times(n+1)$ matrix whose $(m,k)$ entry ($m, k \in \{0,\ldots, n\}$) is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$. By appropriate choice of ${\bf a}$ and ${\bf e}$ the matrix $M_{{\bf e}\rightarrow {\bf a}}$ can encode many familiar doubly-indexed combinatorial sequences, such as binomial coefficients, Stirling numbers of both kinds, Lah numbers and central factorial numbers.
In all four of these examples, $M_{{\bf e}\rightarrow {\bf a}}$ enjoys the property of total non-negativity -- the determinants of all its square submatrices are non-negative. This leads to a natural question: when, in general, is $M_{{\bf e}\rightarrow {\bf a}}$ totally non-negative?
Galvin and Pacurar found a simple condition on ${\bf e}$ that characterizes total non-negativity of $M_{{\bf e}\rightarrow {\bf a}}$ when ${\bf a}$ is non-decreasing. Here we fully extend this result. For arbitrary real sequences ${\bf a}$ and ${\bf e}$, we give a condition that can be checked in $O(n^2)$ time that determines whether $M_{{\bf e}\rightarrow {\bf a}}$ is totally non-negative. When $M_{{\bf e}\rightarrow {\bf a}}$ is totally non-negative, we witness this with a planar network whose weights are non-negative and whose path matrix is $M_{{\bf e}\rightarrow {\bf a}}$. When it is not, we witness this with an explicit negative minor.
Elementary Proofs of Infinite Families of Congruences for Merca's Cubic Partitions
Published
• View Publication
• BIB
Recently, using modular forms and Smoot's {\tt Mathematica} implementation of Radu's algorithm for proving partition congruences, Merca proved the following two congruences: For all $n\geq 0,$ \begin{align*} A(9n+5) & \equiv 0 \pmod{3}, \\ A(27n+26) & \equiv 0 \pmod{3}. \end{align*} Here $A(n)$ is closely related to the function which counts the number of {\it cubic partitions}, partitions wherein the even parts are allowed to appear in two different colors. Indeed, $A(n)$ is defined as the difference between the number of cubic partitions of $n$ into an even numbers of parts and the number of cubic partitions of $n$ into an odd numbers of parts.
In this brief note, we provide elementary proofs of these two congruences via classical generating function manipulations. We then prove two infinite families of non--nested Ramanujan--like congruences modulo 3 satisfied by $A(n)$ wherein Merca's original two congruences serve as the initial members of each family.
A note on the edge choosability of $K_{5}$-minor free graphs
For a planar graph $G$, Borodin stated that $G$ is $(Δ+1)$-edge-choosable if $Δ\geq9$ and later Bonamy showed that $G$ is $9$-edge-choosable if $Δ=8$. At the same time, Borodin et al. proved that $G$ is $Δ$-edge-choosable if $Δ\geq12$. In the paper, we extend these results to $K_5$-minor free graphs.
Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank
Published
• View Publication
• BIB
We give a simple proof of the matrix Spencer conjecture up to poly-logarithmic rank: given symmetric $d \times d$ matrices $A_1,\ldots,A_n$ each with $\|A_i\|_{\mathsf{op}} \leq 1$ and rank at most $n/\log^3 n$, one can efficiently find $\pm 1$ signs $x_1,\ldots,x_n$ such that their signed sum has spectral norm $\|\sum_{i=1}^n x_i A_i\|_{\mathsf{op}} = O(\sqrt{n})$. This result also implies a $\log n - Ω( \log \log n)$ qubit lower bound for quantum random access codes encoding $n$ classical bits with advantage $\gg 1/\sqrt{n}$.
Our proof uses the recent refinement of the non-commutative Khintchine inequality in [Bandeira, Boedihardjo, van Handel, 2022] for random matrices with correlated Gaussian entries.
Law of Large Numbers for Roots of Finite Free Multiplicative Convolution of Polynomials
Published in SIGMA 19 (2023), 004, 11 pages
• View Publication
• BIB
We provide the law of large numbers for roots of finite free multiplicative convolution of polynomials which have only non-negative real roots. Moreover, we study the empirical root distributions of limit polynomials obtained through the law of large numbers of finite free multiplicative convolution when their degree tends to infinity.
Some considerations on the maximal safety distance in a graph
Published
• View Publication
• BIB
The work in this paper is motivated by I. Banič's and A. Taranenko's recent paper, where they introduced a new notion, the span of a graph. Their goal was to solve the problem of keeping a safety distance while two actors are moving through a graph and they present three different types of graph spans, depending on the movement rules. We observe the same goal, but give a different approach to that problem by directly defining the maximal safety distance for different movement rules two actors can take. This allowed us to solve several problems, prove some relations between different graph spans and calculate the span values for some classes of graphs.
Maximal degree subposets of $ν$-Tamari lattices
Published
• View Publication
• BIB
In this paper, we study two different subposets of the $ν$-Tamari lattice: one in which all elements have maximal in-degree and one in which all elements have maximal out-degree. The maximal in-degree and maximal out-degree of a $ν$-Dyck path turns out to be the size of the maximal staircase shape path that fits weakly above $ν$. For $m$-Dyck paths of height $n$, we further show that the maximal out-degree poset is poset isomorphic to the $ν$-Tamari lattice of $(m-1)$-Dyck paths of height $n$, and the maximal in-degree poset is poset isomorphic to the $(m-1)$-Dyck paths of height $n$ together with a greedy order. We show these two isomorphisms and give some properties on $ν$-Tamari lattices along the way.