Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The $k^{\text th}$ Upper Chromatic Number of the Line
Published in Discrete Mathematics, vol. 169 (1997), pp. 157-162
• Search Publication
Let $S \subseteq \mathbb{R}^n$, and let $k\in\mathbb{N}$. Greenwell and Johnson define ${\hatχ }^{(k)}(S)$ to be the smallest integer $m$ (if such an integer exists) such that for every $k\times m$ array $D=(d_{ij})$ of positive real numbers, $S$ can be colored with the colors $C_1,\ldots,C_m$ such that no two points of $S$ which are a (Euclidean) distance $d_{ij}$ apart are both colored $C_j$, for all $1\leq i \leq k$ and $1\leq j \leq m$. If no such integer exists then we say that ${\hatχ }^{(k)}(S)=\infty$. In this paper we show that ${\hatχ }^{(k)}(\mathbb{R})$ is finite for all $k$.
Asymmetric SICs over finite fields
Zauner's conjecture concerns the existence of $d^2$ equiangular lines in $\mathbb{C}^d$; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs exhibit Weyl--Heisenberg symmetry, some of our new SICs exhibit trivial automorphism groups. We conjecture that such \textit{totally asymmetric} SICs exist in infinitely many dimensions in the finite field setting.
Richardson tableaux and components of Springer fibers equal to Richardson varieties
Motivated by the study of Springer fibers and their totally nonnegative counterparts, we define a new subset of standard tableaux called Richardson tableaux. We characterize Richardson tableaux combinatorially using evacuation as well as in terms of a pair of associated reading words. We also characterize Richardson tableaux geometrically, proving that a tableau is Richardson if and only if the corresponding component of a Springer fiber is a Richardson variety, which in turn holds if and only if its positive part is a top-dimensional cell of the totally nonnegative Springer fiber studied by Lusztig (2021). We prove that each such component is smooth by leveraging a combinatorial description of the corresponding pair of reading words, generalizing a result of Graham-Zierau (2011). Another application is that the cohomology classes of these components can be computed in the Schubert basis using Schubert calculus. Finally, we show that the enumeration of Richardson tableaux is surprisingly elegant: the number of Richardson tableaux of fixed partition shape is a product of binomial coefficients, and the number of Richardson tableaux of size $n$ is the $n$th Motzkin number. As a result, we obtain a novel refinement for the Motzkin numbers, as well as a formula for the number of top-dimensional cells in the totally nonnegative Springer fiber.
Entropic additive energy and entropy inequalities for sums and products
Following a growing number of studies that, over the past 15 years, have established entropy inequalities via ideas and tools from additive combinatorics, in this work we obtain a number of new bounds for the differential entropy of sums, products, and sum-product combinations of continuous random variables. Partly motivated by recent work by Goh on the discrete entropic version of the notion of "additive energy", we introduce the additive energy of pairs of continuous random variables and prove various versions of the statement that "the additive energy is large if and only if the entropy of the sum is small", along with a version of the Balog-Szemerédi-Gowers theorem for differential entropy. Then, motivated in part by recent work by Máthé and O'Regan, we establish a series of new differential entropy inequalities for products and sum-product combinations of continuous random variables. In particular, we prove a new, general, ring Plünnecke-Ruzsa entropy inequality. We briefly return to the case of discrete entropy and provide a characterization of discrete random variables with "large doubling", analogous to Tao's Freiman-type inverse sumset theory for the case of small doubling. Finally, we consider the natural entropic analog of the Erdös-Szemerédi sum-product phenomenon for integer-valued random variables. We show that, if it does hold, then the range of parameters for which it does would necessarily be significantly more restricted than its anticipated combinatorial counterpart.
On Nathanson's Triangular Number Phenomenon
For a finite set $A\subseteq \mathbb{Z}$, the $h$-fold sumset is $hA :=\{x_1+\dots+x_h:x_i\in A\}$. We interpret the beginning of the sequence of sumset sizes $(|hA|)_{h=1}^\infty$ in terms of the successive $L^1$-minima of a lattice (specifically, the points in $\mathbb{Z}^{|A|}$ whose coordinates sum to 0 and which are perpendicular to $\langle a_1,\dots,a_{|A|}\rangle$). In particular, if $h_1,h_2$ are the first and second minima, and $1\le h<h_1$, then $|hA|=\binom{h+|A|-1}{|A|-1}$, while if $h_1\le h <h_2$, then $|hA|=\binom{h+|A|-1}{|A|-1}-\binom{h-h_1+|A|-1}{|A|-1}$. This explains the appearance of triangular numbers in the sequence of sumset sizes, an observation related to a recent experiment of Nathanson.
Chern Classes of Toric Variety Bundles
In this paper, we resolve a conjecture of Khovanskii--Monin on the Chern classes of toric variety bundles. The main result is a formula for the total Chern class of the tangent bundle of a toric variety bundle in terms of the total Chern class of the base and the total Chern class of the toric fibre. The result serves as a simultaneous generalization of the description of the total Chern class of a projectivized vector bundle and of the formula for the total Chern class of a toric variety in terms of the Chern classes of the toric divisors. We also establish a topological version of this statement for stably complex quasitoric manifolds. As an immediate application, we obtain a formula for the total Chern class of a toroidal horospherical variety in terms of the Chern classes of the generalized flag variety and the total Chern class of the toric fibre, as well as a new proof of Masuda's formula for equivariant Chern classes. This paper is written with a view towards finding polytopal models for various numeric invariants of spherical varieties.
Finding congruences with the WZ method
We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3n}}\binom{3n}{n}\binom{2n}{n}^2 \equiv 0 \pmod{p},\] and \[ \sum_{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\binom{2n}{n}^5 \equiv 0 \pmod{p^2}. \] These results partially confirm conjectures by Sun and provide some novel congruences.
Local Search Improvements for Soft Happy Colouring
For $0\leq ρ\leq 1$ and a coloured graph $G$, a vertex $v$ is $ρ$-happy if at least $ρ\mathrm{deg}(v)$ of its neighbours have the same colour as $v$. Soft happy colouring of a partially coloured graph $G$ is the problem of finding a vertex colouring $σ$ that preserves the precolouring and has the maximum number of $ρ$-happy vertices. It is already known that this problem is NP-hard and directly relates to the community structure of the graphs; under a certain condition on the proportion of happiness $ρ$ and for graphs with community structures, the induced colouring by communities can make all the vertices $ρ$-happy. We show that when $0\leq ρ_1<ρ_2\leq 1$, a complete $ρ_2$-happy colouring has a higher accuracy of community detection than a complete $ρ_1$-happy colouring. Moreover, when $ρ$ is greater than a threshold, it is unlikely for an algorithm to find a complete $ρ$-happy colouring with colour classes of almost equal sizes. Three local search algorithms for soft happy colouring are proposed, and their performances are compared with one another and other known algorithms. Among them, the linear-time local search is shown to be not only very fast, but also a reliable algorithm that can dramatically improve the number of $ρ$-happy vertices.
Dilogarithm identities of higher degree and cluster $a$-variable periodicity
We use the periodicities of cluster groupoid mutations established by Li and the second author to prove that the dilogarithm identities of higher degree obtained by Nakanishi follow from the classical dilogarithm identities associated to a periodicity of cluster mutations when the exchange matrix is full rank.
Inequalities related to the coefficients of the $j$-function
In recent years, the log-concavity or log-convexity of combinatorial sequences and their root sequences, higher order Tur{á}n inequalities, and Laguerre inequalities of order two have been widely studied. However, the research of the Fourier coefficient $c(n)$ of the $j$-function is limited to its asymptotic form. In this paper, we give the appropriate upper and lower bounds of $c(n)$ to establish the inequalities associated with it.
Undecidability of Translational Tiling of the Plane with Four Tiles
The translational tiling problem, dated back to Wang's domino problem in the 1960s, is one of the most representative undecidable problems in the field of discrete geometry and combinatorics. Ollinger initiated the study of the undecidability of translational tiling with a fixed number of tiles in 2009, and proved that translational tiling of the plane with a set of $11$ polyominoes is undecidable. The number of polyominoes needed to obtain undecidability was reduced from $11$ to $7$ by Yang and Zhang, and then to $5$ by Kim. We show that translational tiling of the plane with a set of $4$ (disconnected) polyominoes is undecidable in this paper.
A new upper bound for mutually touching infinite cylinders
Let $N$ denote the maximum number of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair of cylinders touches each other. Littlewood posed the question of whether $N=7$, which remains unsolved. In this paper, we prove that $N\leq 18$, improving the previously known upper bound of $24$ established by A. Bezdek.
Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types.
This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.
Polytopality criteria for the mix of polytopes and maniplexes
The mix of two maniplexes is the minimal maniplex that covers both. This construction has many important applications, such as finding the smallest regular cover of a maniplex. If one of the maniplexes is an abstract polytope, a natural question to ask is whether the mix is also a polytope. We describe here a general criterion for the polytopality of the mix which generalizes several previously-known polytopality criteria.
Sturmian lattices and Aperiodic tile sets
We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.
Hamilton Cycles In Vertex-Transitive Graphs of Order 10p
After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.
From dual canonical bases to positroidal subdivisions
The Grassmannian cluster algebra $\mathbb{C}[\text{Gr}(k, n)]$ admits a distinguished basis known as the dual canonical basis, whose elements correspond to rectangular semi-standard Young tableaux with $k$ rows and with entries in $[n]$. We establish that each such tableau induces a positroidal subdivision of the hypersimplex $Δ(k,n)$ via a map introduced by Speyer and Williams. For $\text{Gr}(2,n)$, we prove that non-frozen prime tableaux correspond precisely to the coarsest positroidal subdivisions of $Δ(2,n)$. Furthermore, we present computational evidence extending these results to $k>2$. In the process, we formulate a conjectural formula for the number of split positroidal subdivisions of $Δ(k,n)$ for any $k \ge 2$ and explore the deep connections between the polyhedral combinatorics of $Δ(k,n)$ and the dual canonical basis of $\mathbb{C}[\text{Gr}(k, n)]$.
Study of higher-order interactions in unweighted, undirected networks using persistent homology
Persistent homology has been studied to better understand the structural properties and topology features of weighted networks. It can reveal hidden layers of information about the higher-order structures formed by non-pairwise interactions in a network. Studying of higher-order interactions (HoIs) of a system provides a more comprehensive understanding of the complex system; moreover, it is a more precise depiction of the system as many complex systems, such as ecological systems and biological systems, etc., demonstrate HoIs. In this study, the weighted simplicial adjacency matrix has been constructed using the concept of adjacency strength of simplices in a clique complex obtained from an unweighted, undirected network. This weighted simplicial adjacency matrix is thus used to calculate the global measure, which is called generalised weighted betweenness centrality, which further helps us in calculating the persistent homology on the given simplicial complex by constructing a filtration on it. Moreover, a local measure called maximal generalised degree centrality has also been established for better understanding of the network topology of the studied simplicial complex. All the generalizations given in this work can be reduced to the graph-theoretic case. i.e., for a simplicial complex of dimension 1. Three different filtration schemes for constructing the sequence of simplicial complexes have been given with the help of both global and local measures, and by using these measures, the topology of higher-order structures of the studied network due to the interactions of their vertices has been compared. Further, the illustration of established definitions has been given using a real-life network by calculating Betti numbers up to dimension two.
Expanders in Models of Social Networks
A common model for social networks are Geometric Inhomogeneous Random Graphs (GIRGs), in which vertices draw a random position in some latent geometric space, and the probability of two vertices forming an edge depends on their geometric distance. The geometry may be modelled in two ways: either two points are defined as close if they are similar in all dimensions, or they are defined as close if they are similar in some dimensions. The first option is mathematically more natural since it can be described by metrics. However, the second option is arguably the better model for social networks if the different dimensions represent features like profession, kinship, or interests. In such cases, nodes already form bonds if they align in some, but not all dimensions. For the first option, it is known that the resulting networks are poor expanders. We study the second option in the form of Minimum-Component Distance GIRGs, and find that those behave the opposite way for dimension $d\ge 2$, and that they have strong expanding properties. More precisely, for a suitable constant $C>0$, the subgraph induced by vertices of (expected) degree at least $(\log n)^C$ forms an expander. Moreover, we study how the expansion factor of the resulting subgraph depends on the choice of $C$, and show that this expansion factor is $ω(1)$ except for sets that already take up a constant fraction of the vertices. This has far-reaching consequences, since many algorithms and mixing processes are fast on expander graphs.
Word-Representable Graphs and Locality of Words
In this work, we investigate the relationship between $k$-repre\-sentable graphs and graphs representable by $k$-local words. In particular, we show that every graph representable by a $k$-local word is $(k+1)$-representable. A previous result about graphs represented by $1$-local words is revisited with new insights. Moreover, we investigate both classes of graphs w.r.t. hereditary and in particular the speed as a measure. We prove that the latter ones belong to the factorial layer and that the graphs in this classes have bounded clique-width.