Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Holey Schröder Designs of Type $\bf 3^n u^1$
Published
• View Publication
• BIB
A holey Schröder design of type $h_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k$ (HSD$(h_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k))$ is equivalent to a frame idempotent Schröder quasigroup (FISQ$(h_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k))$ of order $n$ with $n_i$ missing subquasigroups (holes) of order $h_i, 1 \le i \le k$, which are disjoint and spanning (i.e., $\sum_{1\le i \le k}n_ih_i = n$). The existence of HSD$(h^nu^1)$ for $h=1, 2, 4$ has been known. In this paper, we consider the existence of HSD$(3^nu^1)$ and show that for $0\le u \le 15$, an HSD$(3^nu^1)$ exists if and only if $n(n + 2u -1) \equiv 0~(mod~4)$, $n\ge 4$ and $n\ge 1+2u/3$. For $0 \le u \le n$, an HSD$(3^nu^1)$ exists if and only if $n(n + 2u -1) \equiv 0~(mod~4)$ and $n \ge 4$, with possible exceptions of $n = 29, 43$. We have also found six new HSDs of type $(4^nu^1)$.
Efficient Recognition of Subgraphs of Planar Cubic Bridgeless Graphs
It follows from the work of Tait and the Four-Color-Theorem that a planar cubic graph is 3-edge-colorable if and only if it contains no bridge. We consider the question of which planar graphs are subgraphs of planar cubic bridgeless graphs, and hence 3-edge-colorable. We provide an efficient recognition algorithm that given an $n$-vertex planar graph, augments this graph in $O(n^2)$ steps to a planar cubic bridgeless supergraph, or decides that no such augmentation is possible. The main tools involve the Generalized Antifactor-problem for the fixed embedding case, and SPQR-trees for the variable embedding case.
Graphs whose vertices of degree at least 2 lie in a triangle
Published
• View Publication
• BIB
A pendant vertex is one of degree one and an isolated vertex has degree zero. A neighborhood star-free (NSF for short) graph is one in which every vertex is contained in a triangle except pendant vertices and isolated vertices. This class has been considered before for several contexts. In the present paper, we study the complexity of the dominating induced matching (DIM) problem and the perfect edge domination (PED) problem for NSF graphs. We prove the corresponding decision problems are NP-Complete for several of its subclasses. As an added value of this study, we have shown three connected variants of planar positive 1in3SAT are also NP-Complete. Since these variants are more basic in complexity theory context than many graph problems, these results can be useful to prove that other problems are NP-Complete.
Evasive subspaces, generalized rank weights and near MRD codes
Published
• View Publication
• BIB
We revisit and extend the connections between $\mathbb{F}_{q^m}$-linear rank-metric codes and evasive $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We give a unifying framework in which we prove in an elementary way how the parameters of a rank-metric code are related to special geometric properties of the associated evasive subspace, with a particular focus on the generalized rank weights. In this way, we can also provide alternative and very short proofs of known results on scattered subspaces. We then use this simplified point of view in order to get a geometric characterization of near MRD codes and a clear bound on their maximal length. Finally we connect the theory of quasi-MRD codes with $h$-scattered subspaces of maximum dimension, extending to all the parameters sets the already known results on MRD codes.
Corner the Empress
Published
• View Publication
• BIB
Wythoff Nim aka Corner the Lady is a classic combinatorial game. A Queen is placed on an infinite chess board and two players take alternate turns, moving the Queen closer to the corner. The first player that corners the Queen wins. What happens if the Queen gets superior powers and is able to go off diagonal? In this paper we study the intriguing patterns that emerge from such games.
Pursuit-Evasion in Graphs: Zombies, Lazy Zombies and a Survivor
Published
• View Publication
• BIB
We study zombies and survivor, a variant of the game of cops and robber on graphs. In this variant, the single survivor plays the role of the robber and attempts to escape from the zombies that play the role of the cops. The zombies are restricted, on their turn, to always follow an edge of a shortest path towards the survivor. Let $z(G)$ be the smallest number of zombies required to catch the survivor on a graph $G$ with $n$ vertices. We show that there exist outerplanar graphs and visibility graphs of simple polygons such that $z(G) = Θ(n)$. We also show that there exist maximum-degree-$3$ outerplanar graphs such that $z(G) = Ω\left(n/\log(n)\right)$.
Let $z_L(G)$ be the smallest number of lazy zombies (zombies that can stay still on their turn) required to catch the survivor on a graph $G$. We establish that lazy zombies are more powerful than normal zombies but less powerful than cops. We prove that $z_L(G) = 2$ for connected outerplanar graphs. We show that $z_L(G)\leq k$ for connected graphs with treedepth $k$. This result implies that $z_L(G)$ is at most $(k+1)\log n$ for connected graphs with treewidth $k$, $O(\sqrt{n})$ for connected planar graphs, $O(\sqrt{gn})$ for connected graphs with genus $g$ and $O(h\sqrt{hn})$ for connected graphs with any excluded $h$-vertex minor. Our results on lazy zombies still hold when an adversary chooses the initial positions of the zombies.
Complexes of nearly maximum diameter
The diameter of a strongly connected $d$-dimensional simplicial complex is the diameter of its dual graph. We provide a probabilistic proof of the existence of $d$-dimensional simplicial complexes with diameter $ (\frac{1}{d \cdot d!} - (\log n)^{-ε}) n^d$. Up to the first order term, this is the best possible lower bound for the maximum diameter of a $d$-complex on $n$ vertices as a simple volume argument shows that the diameter of a $d$-dimensional simplicial complex is at most $ \frac{1}{d} \binom{n}{d}$. We also find the right first-order asymptotics for the maximum diameter of a $d$-pseudomanifold on $n$ vertices.
The parabolic coset structure of Bruhat intervals in Coxeter groups
In this paper, we study the decomposition of Bruhat intervals in a Coxeter group with respect to cosets of a parabolic subgroup. Our main result is that the intersection of a lower Bruhat interval with a parabolic coset contains a unique maximal element. As an application, we give a decomposition formula for the Poincaré polynomial of a Coxeter group element. We also show that the fibers of standard parabolic projection maps on Schubert varieties are themselves Schubert varieties.
On bounded ratios of minors of totally positive matrices
Published
• View Publication
• BIB
We provide several examples of bounded Laurent monomials of minors of a totally positive matrix, which can not be factored into a product of so called primitive ratios, thus showing that the conjecture about factorization of bounded ratios stated in [3] by Fallat, Gekhtman, and Johnson does not hold. However, all found examples satisfy subtraction-free conjecture stated also in [3]. In addition, we show that the set of all bounded ratios form a polyhedral cone of dimension $\binom{2n}{n}-2n$.
New bounds on the existence of $(n_{5})$ and $(n_{6})$ configurations: the Grünbaum Calculus revisited
Published
• View Publication
• BIB
The "Grünbaum Incidence Calculus" is the common name of a collection of operations introduced by Branko Grünbaum to produce new $(n_{4})$ configurations from various input configurations. In a previous paper, we generalized two of these operations to produce operations on arbitrary $(n_k)$ configurations, and we showed that for each $k$, there exists an integer $N_{k}$ such that for all $n \geq N_{k}$, there exists at least one $(n_{k})$ configuration, with current records $N_{5}\leq 576$ and $N_{6}\leq 7350$. In this paper, we further extend the Grünbaum calculus; using these operations, as well as a collection of previously known and novel ad hoc constructions, we refine the bounds for $k = 5$ and $k = 6$. Namely, we show that $N_5 \leq 166$ and $N_{6}\leq 585$.
Inherent Symmetries of graphs, paths, and Traveling Salesperson Problems
Without imposing restrictions on a weighted graph's arc lengths, symmetry structures cannot be expected. But, they exist. To find them, the graphs are decomposed into a component that dictates all closed path properties (e.g., shortest and longest paths), and a superfluous component that can be removed. The simpler remaining graph exposes inherent symmetry structures that form the basis for all closed path properties. For certain asymmetric problems, the symmetry is that of three-cycles; for the general undirected setting it is a type of four-cycles; for general directed problems with asymmetric costs, it is a product of three and four cycles. Everything extends immediately to incomplete graphs.
Oriented Hamiltonian Cycles in Tournaments: a Proof of Rosenfeld's Conjecture
Rosenfeld in 1974 conjectured that there is an integer N > 8 such that every tournament of order n > N contains every non-directed cycle of order n. We prove that, with exactly 35 exceptions, every tournament of order n > 2 contains each non-directed cycle of order m, 2 < m < n+1.
Asymptotic Normality of the Coefficients of the Morgan-Voyce Polynomials
Published
• View Publication
• BIB
We study arithmetic and asymptotic properties of polynomials provided by $Q_n(x):= x \sum_{k=1}^n k \, Q_{n-k}(x)$ with initial value $Q_0(x)=1$. The coefficients satisfy a central limit theorem and a local limit theorem involving Fibonacci numbers. We apply methods of Berry and Esseen, Harper, Bender, and Canfield.
Curious congruences for cyclotomic polynomials
Published
• View Publication
• BIB
Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $φ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $φ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials.
Bounds on the closeness centrality of a graph
Published
• View Publication
• BIB
We present new values and bounds on the (normalised) closeness centrality $\bar{\mathsf{C}}_C$ of connected graphs and on its product $\bar{l}\bar{\mathsf{C}}_C$ with the mean distance $\bar{l}$ of these graphs. Our main result presents the fundamental bounds $1\leq \bar{l}\bar{\mathsf{C}}_C<2$. The lower bound is tight and the upper bound is asymptotically tight. Combining the lower bound with known upper bounds on the mean distance, we find ten new lower bounds for the closeness centrality of graphs. We also present explicit expressions for $\bar{\mathsf{C}}_C$ and $\bar{l}\bar{\mathsf{C}}_C$ for specific families of graphs. Elegantly and perhaps surprisingly, the asymptotic values $n\bar{\mathsf{C}}_C\big(P_n\big)$ and of $n\bar{\mathsf{C}}_C\big(L_n\big)$ both equal $π$, and the asymptotic limits of $\bar{l}\bar{\mathsf{C}}_C$ for these families of graphs are both equal to $π/3$. We conjecture that the set of values $\bar{l}\bar{\mathsf{C}}_C$ for all connected graphs is dense in the interval $[1,2)$.
Constructive Combinatorics of Dickson's Lemma
We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extraction of a corresponding bound. We provide some new one-step unprovability results i.e., results of the form "a finite case of Dickson's lemma does not prove in one step a stronger case of it". Moreover, we study the infinite cases of Dickson's lemma from the point of view of constructive reverse mathematics. We work within Bishop's informal system of constructive mathematics BISH.
Deformed graphical zonotopal algebras
We study certain filtered deformations of the external zonotopal algebra of a given graph parametrized by univariate polynomials. We establish some general properties of these algebras, compute their Hilbert series for a number of graphs using Macaulay2, and formulate several conjectures.
Monochromatic components with many edges
Published
• View Publication
• BIB
Given an $r$-edge-coloring of the complete graph $K_n$, what is the largest number of edges in a monochromatic connected component? This natural question has only recently received the attention it deserves, with work by two disjoint subsets of the authors resolving it for the first two special cases, when $r = 2$ or $3$. Here we introduce a general framework for studying this problem and apply it to fully resolve the $r = 4$ case, showing that any $4$-edge-coloring of $K_n$ contains a monochromatic component with at least $\frac{1}{12}\binom{n}{2}$ edges, where the constant $\frac{1}{12}$ is optimal only when the coloring matches a certain construction of Gyárfás.
Hypergraph matrix models and generating functions
Published
• View Publication
• BIB
Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.
Error-correcting Identifying Codes
Assume that a graph $G$ models a detection system for a facility with a possible "intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing (the minimum number of) detectors at a subset of vertices in $G$ to automatically determine if there is an intruder, and if so, its precise location. In this research we explore a fault-tolerant variant of identifying codes, known as error-correcting identifying codes, which permit one false positive or negative and are applicable to real-world systems. We present the proof of NP-completeness of the problem of determining said minimum size in arbitrary graphs, and determine bounds on the parameter in cubic graphs.