Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. V
We consider decompositions of topes of the oriented matroid realizable as the arrangement of coordinate hyperplanes in $\mathbb{R}^{2^t}$, with respect to a distinguished symmetric $2\cdot 2^t$-cycle in its hypercube graph of topes $\boldsymbol{H}(2^t,2)$. We seek interpretations of such decompositions in the context of subset families on the ground set $E_t:=\{1,\ldots,t\}$ and of the families of their blocking sets, in the context of clutters on $E_t$ and of their blockers.
A Matrix Trickle-Down Theorem on Simplicial Complexes and Applications to Sampling Colorings
Published
• View Publication
• BIB
We show that the natural Glauber dynamics mixes rapidly and generates a random proper edge-coloring of a graph with maximum degree $Δ$ whenever the number of colors is at least $q\geq (\frac{10}{3} + ε)Δ$, where $ε>0$ is arbitrary and the maximum degree satisfies $Δ\geq C$ for a constant $C = C(ε)$ depending only on $ε$. For edge-colorings, this improves upon prior work \cite{Vig99, CDMPP19} which show rapid mixing when $q\geq (\frac{11}{3}-ε_0 ) Δ$, where $ε_0 \approx 10^{-5}$ is a small fixed constant. At the heart of our proof, we establish a matrix trickle-down theorem, generalizing Oppenheim's influential result, as a new technique to prove that a high dimensional simplical complex is a local spectral expander.
Lambda Numbers of Finite $p$-Groups
An $L(2,1)$-labelling of a finite graph $Γ$ is a function that assigns integer values to the vertices $V(Γ)$ of $Γ$ (colouring of $V(Γ)$ by ${\mathbb{Z}}$) so that the absolute difference of two such values is at least $2$ for adjacent vertices and is at least $1$ for vertices which are precisely distance $2$ apart. The lambda number $λ(Γ)$ of $Γ$ measures the least number of integers needed for such a labelling (colouring). A power graph $Γ_G$ of a finite group $G$ is a graph with vertex set as the elements of $G$ and two vertices are joined by an edge if and only if one of them is a positive integer power of the other. It is known that $λ(Γ_G) \geq |G|$ for any finite group. In this paper we show that if $G$ is a finite group of a prime power order, then $λ(Γ_G) = |G|$ if and only if $G$ is neither cyclic nor a generalized quaternion $2$-group. This settles a partial classification of finite groups achieving the lower bound of lambda number.
Relative Rank and Regularization
Published
• View Publication
• BIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
On minimal doubly resolving sets in graphs
Published
• View Publication
• BIB
Two vertices u,v of connected graph G are doubly resolved by x,y\in V(G)if d(v; x)-d(u; x)\neq d(v; y)-d(u; y): A set W of vertices of the graph G is a doubly resolving set for G if every two distinct vertices of G are doubly resolved by some two vertices of W. ψ(G) is the minimum cardinality of a doubly resolving set for the graph G. The aim of this paper is to investigate doubly resolving sets in graphs. An upper bound for Ψ(G) is obtained in terms of order and diameter of G. ψ(G) is computed for some important graphs and all graphs G of order n with the property ψ(G)=n-1 are characterized.
Subtilings of Elnitsky Tilings for Finite Irreducible Coxeter Groups
Two new Elnitsky tilings for Coxeter groups of type $\mathrm{B}$ are displayed as certain subtilings. Additionally, a new tiling for the non-crystallographic Coxeter group of type $\mathrm{H}_3$ is obtained, described as a $\mathrm{D}_6$-subtiling.
Minkowski bases, Korkin-Zolotarev bases and successive minima
Let $λ_k$ denote the $k$-th successive minimum of a lattice $L$. We study properties of the lengths of certain bases of $L$. If $v_1, \dots v_n$ is a basis which is reduced in the sense of Minkowski we show that $\lvert v_k \rvert^2 \leq \frac{k}{4} λ_{k}^2$ for $k = 6, 7$, confirming a conjecture of Schürmann, and obtaining the first improvement of a classical bound by Van der Waerden. We construct a sequences of lattices where $\lvert v_n \rvert$ is significantly longer than the longest vector in a Korkin-Zolotarev reduced basis, answering a question of Schürmann. In an appendix joint with Lior Hadassi we construct a lattice $L$ with the surprising property that any basis containing the shortest vector of $L$ is not the shortest basis.
Discrete-to-Continuous Extensions: Lovász extension, optimizations and eigenvalue problems
In this paper, we use various versions of Lovász extension to systematically derive continuous formulations of problems from discrete mathematics. This will take place in the following context:
(1) For combinatorial optimization problems in quotient form, we systematically develop equivalent continuous versions, thereby making tools from convex optimization, fractional programming and more general continuous algorithms like the stochastic subgradient method available for such optimization problems.
(2) For some combinatorial quantities like Cheeger-type constants, we suggest a nonlinear eigenvalue problem for a pair of Lovász extensions of certain functions, which encodes certain combinatorial structures.
This theory has several applications to quantitative and combinatorial problems, including:
(a) The equivalent continuous representations for the max $k$-cut problem, various Cheeger sets and isoperimetric constants are constructed. This also initiates a study of Dirichlet and Neumann 1-Laplacians on graphs, in which the nodal domain property and Cheeger-type equalities are presented.
(b) Also, we derive a new equivalent continuous representation of the graph independence number, which can be compared with the Motzkin-Straus theorem. More importantly, an equivalent continuous optimization for the chromatic number is provided, which seems to be the first continuous representation of the graph vertex coloring number. We provide the first continuous reformulation of the frustration index in signed networks, and we find a connection to the so-called modularity measure. Graph matching numbers, submodular vertex covers and multiway partition problems can also be studied in this framework.
Normalized Sombor indices as complexity measures of random graphs
Published
• View Publication
• BIB
We perform a detailed computational study of the recently introduced Sombor indices on random graphs. Specifically, we apply Sombor indices on three models of random graphs: Erdös-Rényi graphs, random geometric graphs, and bipartite random graphs. Within a statistical random matrix theory approach, we show that the average values of Sombor indices, normalized to the order of the graph, scale with the graph average degree. Moreover, we discuss the application of average Sombor indices as complexity measures of random graphs and, as a consequence, we show that selected normalized Sombor indices are highly correlated with the Shannon entropy of the eigenvectors of the graph adjacency matrix.
Closed Ziv-Lempel factorization of the $m$-bonacci words
Published
• View Publication
• BIB
A word $w$ is said to be closed if it has a proper factor $x$ which occurs exactly twice in $w$, as a prefix and as a suffix of $w$. Based on the concept of Ziv-Lempel factorization, we define the closed $z$-factorization of finite and infinite words. Then we find the closed $z$-factorization of the infinite $m$-bonacci words for all $m \geq 2$. We also classify closed prefixes of the infinite $m$-bonacci words.
Which graphs can be counted in $C_4$-free graphs?
Published
• View Publication
• BIB
For which graphs $F$ is there a sparse $F$-counting lemma in $C_4$-free graphs? We are interested in identifying graphs $F$ with the property that, roughly speaking, if $G$ is an $n$-vertex $C_4$-free graph with on the order of $n^{3/2}$ edges, then the density of $F$ in $G$, after a suitable normalization, is approximately at least the density of $F$ in an $ε$-regular approximation of $G$. In recent work, motivated by applications in extremal and additive combinatorics, we showed that $C_5$ has this property. Here we construct a family of graphs with the property.
Understanding lettericity I: a structural hierarchy
Lettericity is a graph parameter introduced by Petkovšek in 2002 in order to study well-quasi-orderability under the induced subgraph relation. In the world of permutations, geometric griddability was independently introduced in 2013 by Albert, Atkinson, Bouvel, Ruškuc and Vatter, partly as an enumerative tool. Despite their independent origins, those two notions share a connection: they highlight very similar structural features in their respective objects. The fact that those structural features arose separately on two different occasions makes them very interesting to study in their own right.
In the present paper, we explore the notion of lettericity through the lens of "minimal obstructions", i.e., minimal classes of graphs of unbounded lettericity, and identify an infinite collection of such classes. We also discover an intriguing structural hierarchy that arises in the study of lettericity and that of griddability.
Quantized cohomological Hall algebra of the $d$-loop quiver revisited
Published
• View Publication
• BIB
Let $Λ$ be the set of partitions of length $\geq 0$. We introduce an $\mathbb{N}$-graded algebra $\mathbb{A}_q^d(Λ)$ associated to $Λ$, which can be viewed as a quantization of the algebra of partitions defined by Reineke. The multiplication of $\mathbb{A}^d_q(Λ)$ has some kind of quasi-commutativity, and the associativity comes from combinatorial properties of certain polynomials appeared in the quantized cohomological Hall algebra $\mathcal{H}^d_q$ of the $d$-loop quiver. It turns out that $\mathbb{A}^d_q(Λ)$ is isomorphic to $\mathcal{H}^d_q$, thus can be viewed as a combinatorial realization for $\mathcal{H}^d_q$.
Is the spiral effect psychological?
Published in Elemente der Mathematik, Vol. 78, No. 1, pp. 21-34, 2022
• View Publication
• BIB
In 2017 a definition of spiral tilings was given, thereby answering a question posed by Grünbaum and Shephard in the late 1970s. The author had the pleasure to discuss the topic via e-mail with Branko Grünbaum in his 87th year. During this correspondence the question arose whether a spiral structure (given a certain definition of it) could be recognized automatically or whether "to some extent, at least, the spiral effect is psychological", as Grünbaum and Shephard had conjectured in 1987 (see exercise section of chapter 9.5 in "Tilings and Patterns"). In this paper, an algorithm for automatic detection of such a tiling's spiral structure and its first implementation results will be discussed. Finally, the definitions for several types of spiral tilings are refined based on this investigation.
On the number of heterochromatic trees in nice and beautiful colourings of complete graphs
Published
• View Publication
• BIB
We introduce classes of edge-colourings of the complete graph -- that we call nice and beautiful -- and study how many heterochromatic spanning trees appear under such colourings. We prove that if the colouring is nice, there is at least a quadratic number of different heterochromatic trees; and if the colouring is beautiful there is an exponential number of different such trees.
Solving the dimer problem of the vertex-edge graph of a cubic graph
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $L(G)$ be the line graph of $G$, which has vertex set $E(G)$ and two vertices $e$ and $f$ of $L(G)$ is adjacent if $e$ and $f$ is incident in $G$. The vertex-edge graph $M(G)$ of $G$ has vertex set $V(G)\cup E(G)$ and edge set $E(L(G))\cup \{ue,ve|\ \forall\ e=uv\in E(G)\}$. In this paper, by a combinatorial technique, we show that if $G$ is a connected cubic graph with an even number of edges, then the number of dimer coverings of $M(G)$ equals $2^{|V(G)|/2+1}3^{|V(G)|/4}$. As an application, we obtain the exact solution of the dimer problem of the weighted solicate network obtained from the hexagonal lattice in the context of statistical physics.
A Cauchy-Davenport theorem for locally compact groups
Published
• View Publication
• BIB
We generalize the Cauchy-Davenport theorem to locally compact groups.
Reflecting (on) the modulo 9 Kanade--Russell (conjectural) identities
Published in Séminaire Lotharingien de Combinatoire 85 (2021), Art. B85e, 17 pp
• Search Publication
We examine complexity and versatility of five modulo 9 Kanade--Russell identities through their finite (aka polynomial) versions and images under the $q\mapsto1/q$ reflection.
The maximum number of 10- and 12-cycles in a planar graph
Published
• View Publication
• BIB
For a fixed planar graph $H$, let $\operatorname{\mathbf{N}}_{\mathcal{P}}(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. In the case when $H$ is a cycle, the asymptotic value of $\operatorname{\mathbf{N}}_{\mathcal{P}}(n,C_m)$ is currently known for $m\in\{3,4,5,6,8\}$. In this note, we extend this list by establishing $\operatorname{\mathbf{N}}_{\mathcal{P}}(n,C_{10})\sim(n/5)^5$ and $\operatorname{\mathbf{N}}_{\mathcal{P}}(n,C_{12})\sim(n/6)^6$. We prove this by answering the following question for $m\in\{5,6\}$, which is interesting in its own right: which probability mass $μ$ on the edges of some clique maximizes the probability that $m$ independent samples from $μ$ form an $m$-cycle?
The saturation spectrum for antichains of subsets
Published in Order, Volume 40, pages 537-574, (2023)
• View Publication
• BIB
Extending a classical theorem of Sperner, we characterize the integers $m$ such that there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$, that is, the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion. As an important ingredient in the proof, we initiate the study of an extension of the Kruskal-Katona theorem which is of independent interest. For given positive integers $t$ and $k$, we ask which integers $s$ have the property that there exists a family $\mathcal F$ of $k$-sets with $\lvert\mathcal F\rvert=t$ such that the shadow of $\mathcal F$ has size $s$, where the shadow of $\mathcal F$ is the collection of $(k-1)$-sets that are contained in at least one member of $\mathcal F$. We provide a complete answer for $t\leqslant k+1$. Moreover, we prove that the largest integer which is not the shadow size of any family of $k$-sets is $\sqrt 2k^{3/2}+\sqrt[4]{8}k^{5/4}+O(k)$.