Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Concepts of Dimension for Convex Geometries
Published
• View Publication
• BIB
Let $X$ be a finite set. A family $P$ of subsets of $X$ is called a convex geometry with ground set $X$ if (1) $\emptyset, X\in P$; (2) $A\cap B\in P$ whenever $A,B\in P$; and (3) if $A\in P$ and $A\neq X$, there is an element $α\in X-A$ such that $A\cup\{α\}\in P$. As a non-empty family of sets, a convex geometry has a well defined VC-dimension. In the literature, a second parameter, called convex dimension, has been defined expressly for these structures. Partially ordered by inclusion, a convex geometry is also a poset, and four additional dimension parameters have been defined for this larger class, called Dushnik-Miller dimension, Boolean dimension, local dimension, and fractional dimension, espectively.
For each pair of these six dimension parameters, we investigate whether there is an infinite class of convex geometries on which one parameter is bounded and the other is not.
Stable Set Polytopes with High Lift-and-Project Ranks for the Lovász-Schrijver SDP Operator
Published
• View Publication
• BIB
We study the lift-and-project rank of the stable set polytopes of graphs with respect to the Lovász-Schrijver SDP operator $\text{LS}_+$. In particular, we focus on a search for relatively small graphs with high $\text{LS}_+$-rank (i.e., the least number of iterations of the $\text{LS}_+$ operator on the fractional stable set polytope to compute the stable set polytope). We provide families of graphs whose $\text{LS}_+$-rank is asymptotically a linear function of its number of vertices, which is the best possible up to improvements in the constant factor. This improves upon the previous best result in this direction from 1999, which yielded graphs whose $\text{LS}_+$-rank only grew with the square root of the number of vertices.
Note on the Type II codes of length $24$
We express the weight enumerators of self-dual and doubly even (Type II for short) codes of length $24$ with a specified basis. As a consequence, we present some congruence relations among the weight enumerators.
Non-isomorphic graphs with common degree sequences
Published
• View Publication
• BIB
For all positive even integers $n$, graphs of order $n$ with degree sequence \begin{equation*} S_{n}:1,2,\dots,n/2,n/2,n/2+1,n/2+2,\dots,n-1 \end{equation*} naturally arose in the study of a labeling problem in \cite{IMO}. This fact motivated the authors of the aforementioned paper to study these sequences and as a result of this study they proved that there is a unique graph of order $n$ realizing $S_{n}$ for every even integer $n$. The main goal of this paper is to generalize this result.
Sign-twisted generating functions of the odd length for Weyl groups of type $D$
Published
• View Publication
• BIB
The odd length in Weyl groups is a new statistic analogous to the classical Coxeter length, and features combinatorial and parity conditions. We establish explicit closed product formulas for the sign-twisted generating functions of the odd length for parabolic quotients of Weyl groups of type $D$. As a consequence, we verify three conjectures of Brenti and Carnevale on evaluating closed forms for these generating functions. We then give an equivalent condition for the sign-twisted generating functions to be expressible as products of cyclotomic polynomials, settling a conjecture of Stembridge.
Finite $s$-geodesic-transitive digraphs
Published
• View Publication
• BIB
This paper initiates the investigation of the family of $(G,s)$-geodesic-transitive digraphs with $s\geq 2$. We first give a global analysis by providing a reduction result. Let $Γ$ be such a digraph and let $N$ be a normal subgroup of $G$ maximal with respect to having at least $3$ orbits. Then the quotient digraph $Γ_N$ is $(G/N,s')$-geodesic-transitive where $s'=\min\{s,\diam(Γ_N)\}$, $G/N$ is either quasiprimitive or bi-quasiprimitive on $V(Γ_N)$, and $Γ_N$ is either directed or an undirected complete graph. Moreover, it is further shown that if $Γ$ is not $(G,2)$-arc-transitive, then $G/N$ is quasiprimitive on $V(Γ_N)$.
On the other hand, we also consider the case that the normal subgroup $N$ of $G$ has one orbit on the vertex set. We show that if $N$ is regular on $V(Γ)$, then $Γ$ is a circuit, and particularly each $(G,s)$-geodesic-transitive normal Cayley digraph with $s\geq 2$, is a circuit.
Finally, we investigate $(G,2)$-geodesic-transitive digraphs with either valency at most 5 or diameter at most 2. Let $Γ$ be a $(G,2)$-geodesic-transitive digraph. It is proved that: if $Γ$ has valency at most $5$, then $Γ$ is $(G,2)$-arc-transitive; if $Γ$ has diameter $2$, then $Γ$ is a balanced incomplete block design with the Hadamard parameters.
Automorphisms and opposition in spherical buildings of classical type
Published
• View Publication
• BIB
An automorphism of a spherical building is called domestic if it maps no chamber to an opposite chamber. In this paper we classify domestic automorphisms of spherical buildings of classical type.
Enumerating all minimal hitting sets in polynomial total time
Consider a hypergraph (=set system) $\mathbb{H}$ whose $h$ hyperedges are subsets of a set with w elements. We show that the $R$ minimal hitting sets of $\mathbb{H}$ can be enumerated in polynomial total time $O(Rh^2 w^2)$.
A note on the flip distance between non-crossing spanning trees
We consider spanning trees of $n$ points in convex position whose edges are pairwise non-crossing. Applying a flip to such a tree consists in adding an edge and removing another so that the result is still a non-crossing spanning tree. Given two trees, we investigate the minimum number of flips required to transform one into the other. The naive $2n-Ω(1)$ upper bound stood for 25 years until a recent breakthrough from Aichholzer et al. yielding a $2n-Ω(\log n)$ bound. We improve their result with a $2n-Ω(\sqrt{n})$ upper bound, and we strengthen and shorten the proofs of several of their results.
Tropical Weierstrass points and Weierstrass weights
Published
• View Publication
• BIB
In this paper, we study tropical Weierstrass points. These are the analogues for tropical curves of ramification points of line bundles on algebraic curves.
For a divisor on a tropical curve, we associate intrinsic weights to the connected components of the locus of tropical Weierstrass points. This is obtained by analyzing the slopes of rational functions in the complete linear series of the divisor. We prove that for a divisor $D$ of degree $d$ and rank $r$ on a genus $g$ tropical curve, the sum of weights is equal to $d - r + rg$. We establish analogous statements for tropical linear series.
In the case $D$ comes from the tropicalization of a divisor, these weights control the number of Weierstrass points which are tropicalized to each component.
Our results provide answers to open questions originating from the work of Baker on specialization of divisors from curves to graphs.
We conclude with multiple examples which illustrate interesting features appearing in the study of tropical Weierstrass points, and raise several open questions.
VC-dimension and pseudo-random graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditions on $U$ do we need so that the VC-dimension of $\mathcal{H}(U)$ can be determined? We show that if $G$ is a pseudo-random graph, then under some mild conditions, the VC dimension of $\mathcal{H}(U)$ can be bounded from below. Specific cases of this theorem recover and improve previous results on VC-dimension of functions defined by the well-studied distance and dot-product graphs over a finite field.
Contractibility of the orbit space of the $p$-subgroup complex via Brown-Forman discrete Morse theory
Published
• View Publication
• BIB
We give a simple proof that the orbit space of the $p$-subgroup complex of a finite group is contractible using Brown-Forman discrete Morse theory. This result was originally conjectured by Webb and proved by Symonds.
Some fast convergent series for the mathematical constants $ζ(4)$ and $ζ(5)$
Recently, Sun [preprint, arXiv: 2210.07238v7] proposed two conjectural series for the mathematical constant $ζ(4)$ and two conjectural series for the mathematical constant $ζ(5)$. In terms of the operator method and two hypergeometric transformations, we prove these four conjectures. Furthermore, we also find some new series for the two constants in this paper.
Transformation, Identification, and Inversion of Goldberg-Coxeter Fullerenes
It is difficult to identify a G-C fullerene directly from its dimensions as its lattice is not proportional to that of its archetype in general, although they have the same three-dimensional shape. In this paper, the area scale factor of a G-C fullerene is proved to be an integer, which can be calculated from its dimensions. All the G-C transformations are k-inflations that can be easily identified and inversed, primary transformations whose area scale factors are prime numbers, or composite transformations whose area scale factors are the product of those of its sub-transformations. As the result, a method to identify any G-C fullerenes according to the area scale factor was presented.
Weak degeneracy of planar graphs and locally planar graphs
Published
• View Publication
• BIB
Weak degeneracy is a variation of degeneracy which shares many nice properties of degeneracy. In particular, if a graph $G$ is weakly $d$-degenerate, then for any $(d + 1)$-list assignment $L$ of $G$, one can construct an $L$-coloring of $G$ by a modified greedy coloring algorithm. It is known that planar graphs of girth 5 are 3-choosable and locally planar graphs are 5-choosable. This paper strengthens these results and proves that planar graphs of girth 5 are weakly 2-degenerate and locally planar graphs are weakly 4-degenerate.
Real trees
We survey the definition and some elementary properties of real trees. There are no new results, as far as we know. One purpose is to give a number of different definitions and show the equivalence between them. We discuss also, for example, the four-point inequality, the length measure and the connection to the theory of Gromov hyperbolic spaces. Several examples are given.
Canonical Sphere Bases for Simplicial and Cubical Complexes
Published
• View Publication
• BIB
Sphere-bases are constructed for the $\mathbb{Z}_2$ vector space formed by the $k$-dimensional subcomplexes, of $n$-simplex (or $n$-cube), for which every $(k{-}1)$-face is contained in a positive even number of $k$-cells; addition is symmetric difference of the corresponding sets of $k$-cells. The bases consist of the boundaries of an algorithmically-specified family of $k{+}1$-simplexes or $k{+}1$-cubes. Geometric properties of these bases are investigated.
Bordering of Symmetric Matrices and an Application to the Minimum Number of Distinct Eigenvalues for the Join of Graphs
Published
• View Publication
• BIB
An important facet of the inverse eigenvalue problem for graphs is to determine the minimum number of distinct eigenvalues of a particular graph. We resolve this question for the join of a connected graph with a path. We then focus on bordering a matrix and attempt to control the change in the number of distinct eigenvalues induced by this operation. By applying bordering techniques to the join of graphs, we obtain numerous results on the nature of the minimum number of distinct eigenvalues as vertices are joined to a fixed graph.
The number of tiles of $\mathbb{Z}^d$
Published
• View Publication
• BIB
It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$.
Logarithmic Weisfeiler--Leman and Treewidth
In this paper, we show that the $(3k+4)$-dimensional Weisfeiler--Leman algorithm can identify graphs of treewidth $k$ in $O(\log n)$ rounds. This improves the result of Grohe & Verbitsky (ICALP 2006), who previously established the analogous result for $(4k+3)$-dimensional Weisfeiler--Leman. In light of the equivalence between Weisfeiler--Leman and the logic $\textsf{FO} + \textsf{C}$ (Cai, Fürer, & Immerman, Combinatorica 1992), we obtain an improvement in the descriptive complexity for graphs of treewidth $k$. Precisely, if $G$ is a graph of treewidth $k$, then there exists a $(3k+5)$-variable formula $\varphi$ in $\textsf{FO} + \textsf{C}$ with quantifier depth $O(\log n)$ that identifies $G$ up to isomorphism.