Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Star-Struck by Fixed Embeddings: Modern Crossing Number Heuristics
Published
• View Publication
• BIB
We present a thorough experimental evaluation of several crossing minimization heuristics that are based on the construction and iterative improvement of a planarization, i.e., a planar representation of a graph with crossings replaced by dummy vertices. The evaluated heuristics include variations and combinations of the well-known planarization method, the recently implemented star reinsertion method, and a new approach proposed herein: the mixed insertion method. Our experiments reveal the importance of several implementation details such as the detection of non-simple crossings (i.e., crossings between adjacent edges or multiple crossings between the same two edges). The most notable finding, however, is that the insertion of stars in a fixed embedding setting is not only significantly faster than the insertion of edges in a variable embedding setting, but also leads to solutions of higher quality.
Binary Signed-Digit Integers and the Stern Diatomic Sequence
Published in Des. Codes Cryptogr. 89 (2021) 1-10
• View Publication
• BIB
Stern's diatomic sequence is a well-studied and simply defined sequence with many fascinating characteristics. The binary signed-digit representation of integers is an alternative representation of integers with much use in efficient computation, coding theory and cryptography. We link these two ideas here, showing that the number of $i$-bit binary signed-digit representations of an integer $n$ with $n<2^i$ is the $(2^i-n)^\text{th}$ element in Stern's diatomic sequence. This correspondence makes the vast range of results known for Stern's diatomic sequence available for consideration in the study of binary signed-digit integers.
A Class of Trees Having Near-Best Balance
Full binary trees naturally represent commutative non-associative products. There are many important examples of these products: finite-precision floating-point addition and NAND gates, among others. Balance in such a tree is highly desirable for efficiency in calculation. The best balance is attained with a divide-and-conquer approach. However, this may not be the optimal solution, since the success of many calculations is dependent on the grouping and ordering of the calculation, for reasons ranging from the avoidance of rounding error, to calculating with varying precision, to the placement of calculation within a heterogeneous system.
We introduce a new class of computational trees having near-best balance in terms of the Colless index from mathematical phylogenetics. These trees are easily constructed from the binary decomposition of the number of terms in the problem. They also permit much more flexibility than the optimally balanced divide-and-conquer trees. This gives needed freedom in the grouping and ordering of calculation, and allows intelligent efficiency trade-offs.
A formalism of abstract quantum field theory of summation of fat graphs
In this work we present a formalism of abstract quantum field theory for fat graphs and its realizations. This is a generalization of an earlier work for stable graphs. We define the abstract correlators $\mathcal F_g^μ$, abstract free energy $\mathcal F_g$, abstract partition function $\mathcal Z$, and abstract $n$-point functions $\mathcal W_{g,n}$ to be formal summations of fat graphs, and derive quadratic recursions using edge-contraction/vertex-splitting operators, including the abstract Virasoro constraints, an abstract cut-and-join type representation for $\mathcal Z$, and a quadratic recursion for $\mathcal W_{g,n}$ which resembles the Eynard-Orantin topological recursion. When considering the realization by the Hermitian one-matrix models, we obtain the Virasoro constraints, a cut-and-join representation for the partition function $Z_N^{\text{Herm}}$ which proves that $Z_N^{\text{Herm}}$ is a tau-function of KP hierarchy, a recursion for $n$-point functions which is known to be equivalent to the E-O recursion, and a Schrödinger type-equation which is equivalent to the quantum spectral curve. We conjecture that in general cases the realization of the quadratic recursion for $\mathcal W_{g,n}$ is the E-O recursion, where the spectral curve and Bergmann kernel are constructed from realizations of $\mathcal W_{0,1}$ and $\mathcal W_{0,2}$ respectively using the framework of emergent geometry.
Discrete Fenchel Duality for a Pair of Integrally Convex and Separable Convex Functions
Published
• View Publication
• BIB
Discrete Fenchel duality is one of the central issues in discrete convex analysis. The Fenchel-type min-max theorem for a pair of integer-valued M-natural-convex functions generalizes the min-max formulas for polymatroid intersection and valuated matroid intersection. In this paper we establish a Fenchel-type min-max formula for a pair of integer-valued integrally convex and separable convex functions. Integrally convex functions constitute a fundamental function class in discrete convex analysis, including both M-natural-convex functions and L-natural-convex functions, whereas separable convex functions are characterized as those functions which are both M-natural-convex and L-natural-convex. The theorem is proved by revealing a kind of box integrality of subgradients of an integer-valued integrally convex function. The proof is based on the Fourier-Motzkin elimination.
Another simple reformulation of the four color theorem
We give a simple reformulation of the four color theorem as a problem on strings over a four letter alphabet.
Shape of the asymptotic maximum sum-free sets in integer lattice grids
Published
• View Publication
• BIB
We determine the shape of all sum-free sets in $\{1,2,\ldots,n\}^2$ of size close to the maximum $\frac{3}{5}n^2$, solving a problem of Elsholtz and Rackham. We show that all such asymptotic maximum sum-free sets lie completely in the stripe $\frac{4}{5}n-o(n)\le x+y\le\frac{8}{5}n+ o(n)$. We also determine for any positive integer $p$ the maximum size of a subset $A\subseteq \{1,2,\ldots,n\}^2$ which forbids the triple $(x,y,z)$ satisfying $px+py=z$.
A proof of the Multiplicative 1-2-3 Conjecture
Published
• View Publication
• BIB
We prove that the product version of the 1-2-3 Conjecture, raised by Skowronek-Kazi{ó}w in 2012, is true. Namely, for every connected graph with order at least 3, we prove that we can assign labels 1,2,3 to the edges in such a way that no two adjacent vertices are incident to the same product of labels.
On the chromatic edge stability index of graphs
Published
• View Publication
• BIB
Given a non-trivial graph $G$, the minimum cardinality of a set of edges $F$ in $G$ such that $χ'(G \setminus F)<χ'(G)$ is called the chromatic edge stability index of $G$, denoted by $es_{χ'}(G)$, and such a (smallest) set $F$ is called a (minimum) mitigating set. While $1\le es_{χ'}(G)\le \lfloor n/2\rfloor$ holds for any graph $G$, we investigate the graphs with extremal and near-extremal values of $es_{χ'}(G)$. The graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor$ are classified, and the graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor-1$ and $χ'(G)=Δ(G)+1$ are characterized. We establish that the odd cycles and $K_2$ are exactly the regular connected graphs with the chromatic edge stability index $1$; on the other hand, we prove that it is NP-hard to verify whether a graph $G$ has $es_{χ'}(G)=1$. We also prove that every minimum mitigating set of an $r$-regular graph $G$, where $r\ne 4$, with $es_{χ'}(G)=2$ is a matching. Furthermore, we propose a conjecture that for every graph $G$ there exists a minimum mitigating set, which is a matching, and prove that the conjecture holds for graphs $G$ with $es_{χ'}(G)\in\{1,2,\lfloor n/2\rfloor-1,\lfloor n/2\rfloor\}$, and for bipartite graphs.
Walking in the OEIS: From Motzkin numbers to Fibonacci numbers. The "shadows" of Motzkin numbers
In this paper, we consider nine OEIS sequences, the analysis of which allows us to find a connection between Motzkin numbers and Fibonacci numbers. In each Motzkin number, we distinguish an even component and an odd component, the difference of these two components is called the shadow of the Motzkin number. Reverse of the Motzkin shadows give us a sequence from the family of Fibonacci numbers.
On the dissociation number of Kneser graphs
A set $D$ of vertices of a graph $G$ is a dissociation set if each vertex of $D$ has at most one neighbor in $D$. The dissociation number of $G$, $diss(G)$, is the cardinality of a maximum dissociation set in a graph $G$. In this paper we study dissociation in the well-known class of Kneser graphs $K_{n,k}$. In particular, we establish that the dissociation number of Kneser graphs $K_{n,2}$ equals $\max{\{n-1,6\}}$. We show that for any $k \geq 2$, there exists $n_0 \in \mathbb{N}$ such that $diss(K_{n,k})=α(K_{n,k})$ for any $n \geq n_0$. We consider the case $k=3$ in more details and prove that $n_0=8$ in this case. Then we improve a trivial upper bound $2α(K_{n,k})$ for the dissociation number of Kneser graphs $K_{n,k}$ by using Katona's cyclic arrangement of integers from $\{1,\ldots , n\}$. Finally we investigate the odd graphs, that is, the Kneser graphs with $n=2k+1$. We prove that $diss(K_{2k+1,k})={2k \choose k}$.
An ensemble of high rank matrices arising from tournaments
Published in Linear Algebra Appl. 658 (2023), 310-318
• View Publication
• BIB
Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we show that all matrices in a certain subclass of $\mathcal{M}_n(\mathbf{a})$ -- which can be naturally associated with transitive tournaments -- have rank at least $\lfloor 2n/3 \rfloor - 1$. We also show that if $\operatorname{char}(\mathbb{F}) \neq 2$ and $M$ is a matrix chosen uniformly at random from $\mathcal{M}_n(\mathbf{a})$, then with high probability $\operatorname{rank}(M) \geq \bigl(\frac{1}{2} - o(1)\bigr)n$.
On some modules supported in the Chow variety
Published in Vietnam J. Math. 50 (2022), Special issue celebrating the 60th birthday of Bernd Sturmfels, 501-521
• View Publication
• BIB
The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propose some new directions of research. Our main focus will be on the study of certain maximal Cohen-Macaulay modules of covariants supported on Chow varieties, and on defining equations and syzygies. We also explain how to assemble Tor groups over Veronese subalgebras into modules over a Chow variety, leading to a result on the polynomial growth of these groups.
Homomorphism complexes, reconfiguration, and homotopy for directed graphs
Published in European J. Combin. 110 (2023)
• View Publication
• BIB
The neighborhood complex of a graph was introduced by Lovász to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also related to mixings of graph colorings and other reconfiguration problems, as well as a notion of discrete homotopy for graphs. Here we initiate the detailed study of Hom complexes for directed graphs (digraphs). For any pair of digraphs graphs $G$ and $H$, we consider the polyhedral complex $\text{Hom}(G,H)$ that parametrizes the directed graph homomorphisms $f: G \rightarrow H$. Hom complexes of digraphs have applications in the study of chains in graded posets and cellular resolutions of monomial ideals. We study examples of directed Hom complexes and relate their topological properties to certain graph operations including products, adjunctions, and foldings. We introduce a notion of a neighborhood complex for a digraph and prove that its homotopy type is recovered as the Hom complex of homomorphisms from a directed edge. We establish a number of results regarding the topology of directed neighborhood complexes, including the dependence on directed bipartite subgraphs, a digraph version of the Mycielski construction, as well as vanishing theorems for higher homology. The Hom complexes of digraphs provide a natural framework for reconfiguration of homomorphisms of digraphs. Inspired by notions of directed graph colorings we study the connectivity of $\text{Hom}(G,T_n)$ for $T_n$ a tournament. Finally, we use paths in the internal hom objects of digraphs to define various notions of homotopy, and discuss connections to the topology of Hom complexes.
Stable set rings which are Gorenstein on the punctured spectrum
Published
• View Publication
• BIB
The non-Gorenstein locus of stable set rings of finite simple perfect graphs is studied. We describe combinatorially those perfect graphs whose stable set rings are Gorenstein on the punctured spectrum. In addition, we show that, in general, for Cohen--Macaulay graded algebras, their Cohen--Macaulay type and residue are largely independent.
Fractional Helly theorem for Cartesian products of convex sets
Published
• View Publication
• BIB
Helly's theorem and its variants show that for a family of convex sets in Euclidean space, local intersection patterns influence global intersection patterns. A classical result of Eckhoff in 1988 provided an optimal fractional Helly theorem for axis-aligned boxes, which are Cartesian products of line segments. Answering a question raised by Bárány and Kalai, and independently Lew, we generalize Eckhoff's result to Cartesian products of convex sets in all dimensions. In particular, we prove that given $α\in (1-\frac{1}{t^d},1]$ and a finite family $\mathcal{F}$ of Cartesian products of convex sets $\prod_{i\in[t]}A_i$ in $\mathbb{R}^{td}$ with $A_i\subset \mathbb{R}^d$ if at least $α$-fraction of the $(d+1)$-tuples in $\mathcal{F}$ are intersecting then at least $(1-(t^d(1-α))^{1/(d+1)})$-fraction of sets in $\mathcal{F}$ are intersecting. This is a special case of a more general result on intersections of $d$-Leray complexes. We also provide a construction showing that our result on $d$-Leray complexes is optimal. Interestingly the extremal example is representable as a family of cartesian products of convex sets, implying the bound $α>1-\frac{1}{t^d}$ and the fraction $(1-(t^d(1-α))^{1/(d+1)})$ above are also best possible. The well-known optimal construction for fractional Helly theorem for convex sets in $\mathbb{R}^d$ does not have $(p,d+1)$-condition for sublinear $p$. Inspired by this we give constructions showing that, somewhat surprisingly, imposing additional $(p,d+1)$-condition has negligible effect on improving the quantitative bounds in neither the fractional Helly theorem for convex sets nor Cartesian products of convex sets. Our constructions offer a rich family of distinct extremal configurations for fractional Helly theorem, implying in a sense that the optimal bound is stable.
On the Queue-Number of Partial Orders
Published
• View Publication
• BIB
The queue-number of a poset is the queue-number of its cover graph viewed as a directed acyclic graph, i.e., when the vertex order must be a linear extension of the poset. Heath and Pemmaraju conjectured that every poset of width $w$ has queue-number at most $w$. Recently, Alam et al. constructed posets of width $w$ with queue-number $w+1$. Our contribution is a construction of posets with width $w$ with queue-number $Ω(w^2)$. This asymptotically matches the known upper bound.
Primal and Dual Combinatorial Dimensions
Published
• View Publication
• BIB
We give tight bounds on the relation between the primal and dual of various combinatorial dimensions, such as the pseudo-dimension and fat-shattering dimension, for multi-valued function classes. These dimensional notions play an important role in the area of learning theory. We first review some (folklore) results that bound the dual dimension of a function class in terms of its primal, and after that give (almost) matching lower bounds. In particular, we give an appropriate generalization to multi-valued function classes of a well-known bound due to Assouad (1983), that relates the primal and dual VC-dimension of a binary function class.
Difference sets and tri-weight linear codes from trinomials over binary fields
Published
• View Publication
• BIB
We confirm a conjecture of Cun Sheng Ding~\cite{Ding-Discrete} claiming that the punctured value-sets of a list of eleven trinomials over odd-degree extensions of the binary field give rise to difference sets with Singer parameters. In the course of confirming the conjecture, we show that these trinomials share the remarkable property that every element of the value-set of each trinomial has either one or four preimages. We also give a partial resolution of another conjecture of Cun Sheng Ding~\cite{Ding-Discrete} claiming that linear codes constructed from those eleven trinomials are tri-weight.
Projections of Tropical Fermat-Weber Points
Published
• View Publication
• BIB
In the tropical projective torus, it is not guaranteed that the projection of a Fermat-Weber point of a given data set is a Fermat-Weber point of the projection of the data set. In this paper, we focus on the projection on the tropical triangle (the three-point tropical convex hull), and we develop one algorithm (Algorithm 1) and its improved version (Algorithm 4), such that for a given data set in the tropical projective torus, these algorithms output a tropical triangle, on which the projection of a Fermat-Weber point of the data set is a Fermat-Weber point of the projection of the data set. We implement these algorithms in R and test how it works with random data sets. The experimental results show that, these algorithms can succeed with a much higher probability than choosing the tropical triangle randomly, the succeed rate of these two algorithms is stable while data sets are changing randomly, and Algorithm 4 can output the results much faster than Algorithm 1 averagely.