Showing 20 papers (Total: 82901 papers, 47900 authors in database)
The normalized Laplacian spectra of the double corona based on $R$-graph
For simple graphs $G$, $G_1$ and $G_2$, we denote their double corona based on $R$-graph by $G^{(R)}\otimes{\{G_1,G_2\}}$. This paper determines the normalized Laplacian spectrum of $G^{(R)}\otimes{\{G_1,G_2\}}$ in terms of these of $G$, $G_1$ and $G_2$ whenever $G$, $G_1$ and $G_2$ are regular. The obtained result reduces to the normalized Laplacian spectra of the $R$-vertex corona $G^{(R)}\odot{G_1}$ and $R$-edge corona $G^{(R)}\circleddash{G_2}$ by choosing $G_2$ or $G_1$ as a null-graph, respectively. Finally, applying the results of the paper, we construct infinitely many pairs of normalized Laplacian cospectral graphs.
Enumerating traceless matrices over compact discrete valuation rings
Published
• View Publication
• BIB
We enumerate traceless square matrices over finite quotients of compact discrete valuation rings by their image sizes. We express the associated rational generating functions in terms of statistics on symmetric and hyperoctahedral groups, viz. Coxeter groups of types A and B, respectively. These rational functions may also be interpreted as local representation zeta functions associated to the members of an infinite family of finitely generated class-2-nilpotent groups. As a byproduct of our work, we obtain descriptions of the numbers of traceless square matrices over a finite field of fixed rank in terms of statistics on the hyperoctahedral groups.
Constructions for orthogonal designs using signed group orthogonal designs
Published
• View Publication
• BIB
Craigen introduced and studied signed group Hadamard matrices extensively and eventually provided an asymptotic existence result for Hadamard matrices. Following his lead, Ghaderpour introduced signed group orthogonal designs and showed an asymptotic existence result for orthogonal designs and consequently Hadamard matrices. In this paper, we construct some interesting families of orthogonal designs using signed group orthogonal designs to show the capability of signed group orthogonal designs in generation of different types of orthogonal designs.
Dissections of trapezoids into trapezoids homothetic to trapezoids of a given set
Here I present several theorems about trapezoids tilings. The first one is related to trapezoids with rational base relation, the other ones are related to those with base relation from quadratic number field.
Cosmological Polytopes and the Wavefunction of the Universe
We present a connection between the physics of cosmological time evolution and the mathematics of positive geometries, roughly analogous to similar connections seen in the context of scattering amplitudes. We consider the wavefunction of the universe in a class of toy models of conformally coupled scalars (with non-conformal interactions) in FRW cosmologies. The contribution of each Feynman diagram to the wavefunction of the universe is associated with a certain universal rational integrand, which we identify as the canonical form of a "cosmological polytope", which have an independent, intrinsic definition, making no reference to physics. The singularity structure of the wavefunction for this model of scalars is common to all theories, and is geometrized by the cosmological polytope. Natural triangulations of the polytope reproduce the path-integral and "old-fashioned perturbation theory" representations of the wavefunction, and we also find new representations of the wavefunction with no extant physical interpretation. We show in suitable examples how symmetries of the cosmological polytope descend to symmetries of the wavefunction, (such as conformal invariance). In cases such as $φ^3$ theory in $dS_4$, the final wavefunction obtained from integration of the rational functions gives rise to polylogarithms associated with every graph. We give an explicit expression for the symbol of these polylogs, which record the geometry of sequential projections of the cosmological polytope.
Diversity of uniform intersecting families
Published
• View Publication
• BIB
A family $\mathcal F\subset 2^{[n]}$ is called intersecting if any two of its sets intersect. Given an intersecting family, its diversity is the number of sets not passing through the most popular element of the ground set. Peter Frankl made the following conjecture: for $n> 3k>0$ any intersecting family $\mathcal F\subset {[n]\choose k}$ has diversity at most ${n-3\choose k-2}$. This is tight for the following "two out of three" family: $\{F\in {[n]\choose k}: |F\cap [3]|\ge 2\}$. In this note, we prove this conjecture for $n\ge ck$, where $c$ is a constant independent of $n$ and $k$. In the last section, we discuss the case $2k<n<3k$ and show that one natural generalization of Frankl's conjecture does not hold.
Obstructions to a small hyperbolicity in Helly graphs
Published in Discrete Mathematics. 342 (2019) 326-338
• View Publication
• BIB
It is known that for every graph $G$ there exists the smallest Helly graph $\cal H(G)$ into which $G$ isometrically embeds ($\cal H(G)$ is called the injective hull of $G$) such that the hyperbolicity of $\cal H(G)$ is equal to the hyperbolicity of $G$. Motivated by this, we investigate structural properties of Helly graphs that govern their hyperbolicity and identify three isometric subgraphs of the King-grid as structural obstructions to a small hyperbolicity in Helly graphs.
On a class of quaternary complex Hadamard matrices
Published
• View Publication
• BIB
We introduce a class of regular unit Hadamard matrices whose entries consist of two complex numbers and their conjugates for a total of four complex numbers. We then show that these matrices are contained in the Bose-Mesner algebra of an association scheme arising from skew Paley matrices.
Lozenge tilings of a halved hexagon with an array of triangles removed from the boundary, part II
Published
• View Publication
• BIB
Proctor's work on staircase plane partitions yields an enumeration of lozenge tilings of a halved hexagon on the triangular lattice. Rohatgi later extended this tiling enumeration to a halved hexagon with a triangle cut off from the boundary. In the previous paper, the author proved a common generalization of Proctor's and Rohatgi's results by enumerating lozenge tilings of a halved hexagon in the case an array of an arbitrary number of triangles has been removed from a non-staircase side. In this paper, we consider the other case when the array of triangles has been removed from the staircase side of the halved hexagon. Our result also implies an explicit formula for the number of tilings of a hexagon with an array of triangles missing on the symmetry axis.
New Lagrangian Relaxation Approach for the Discrete Cost Multicommodity Network Design Problem
We aim to derive effective lower bounds for the Discrete Cost Multicommodity Network Design Problem (DCMNDP). Given an undirected graph, the problem requires installing at most one facility on each edge such that a set of point-to-point commodity flows can be routed and costs are minimized. In the literature, the Lagrangian relaxation is usually applied to an arc-based formulation to derive lower bounds. In this work, we investigate a path-based formulation and we solve its Lagrangian relaxation using several non-differentiable optimization techniques. More precisely, we devised six variants of the deflected subgradient procedures, using various direction-search and step-length strategies. The computational performance of these Lagrangian-based approaches are evaluated and compared on a set of randomly generated instances, and real-world problems.
On the stability and instability of finite dynamical systems with prescribed interaction graphs
Published
• View Publication
• BIB
The dynamical properties of finite dynamical systems (FDSs) have been investigated in the context of coding theoretic problems, such as network coding, and in the context of hat games, such as the guessing game and Winkler's hat game. The instability of an FDS is the minimum Hamming distance between a state and its image under the FDS, while the stability is the minimum of the reciprocal of the Hamming distance; they are both directly related to Winkler's hat game. In this paper, we study the value of the (in)stability of FDSs with prescribed interaction graphs. The first main contribution of this paper is the study of the maximum stability for interaction graphs with a loop on each vertex. We determine the maximum (in)stability for large enough alphabets and also prove some lower bounds for the Boolean alphabet. We also compare the maximum stability for arbitrary functions compared to monotone functions only. The second main contribution of the paper is the study of the average (in)stability of FDSs with a given interaction graph. We show that the average stability tends to zero with high alphabets, and we then investigate the average instability. In that study, we give bounds on the number of FDSs with positive instability (i.e fixed point free functions). We then conjecture that all non-acyclic graphs will have an average instability which does not tend to zero when the alphabet is large. We prove this conjecture for some classes of graphs, including cycles.
Uniqueness of codes using semidefinite programming
Published
• View Publication
• BIB
For $n,d,w \in \mathbb{N}$, let $A(n,d,w)$ denote the maximum size of a binary code of word length $n$, minimum distance $d$ and constant weight $w$. Schrijver recently showed using semidefinite programming that $A(23,8,11)=1288$, and the second author that $A(22,8,11)=672$ and $A(22,8,10)=616$. Here we show uniqueness of the codes achieving these bounds.
Let $A(n,d)$ denote the maximum size of a binary code of word length $n$ and minimum distance $d$. Gijswijt, Mittelmann and Schrijver showed that $A(20,8)=256$. We show that there are several nonisomorphic codes achieving this bound, and classify all such codes with all distances divisible by 4.
A Tight Lower Bound for Counting Hamiltonian Cycles via Matrix Rank
For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponential Time Hypothesis (SETH). This bound crucially relied on a large permutation submatrix within $\mathbf{M}_k$, which enabled a "pattern propagation" commonly used in previous related lower bounds, as initiated by Lokshtanov et al. (SODA 2011).
We present a new technique for a similar pattern propagation when only a black-box lower bound on the asymptotic rank of $\mathbf{M}_k$ is given; no stronger structural insights such as the existence of large permutation submatrices in $\mathbf{M}_k$ are needed. Given appropriate rank bounds, our technique yields lower bounds for counting Hamiltonian cycles (also modulo fixed primes $p$) parameterized by pathwidth.
To apply this technique, we prove that the rank of $\mathbf{M}_k$ over the rationals is $4^k / \mathrm{poly}(k)$. We also show that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_p$ is $Ω(1.97^k)$ for any prime $p\neq 2$ and even $Ω(2.15^k)$ for some primes.
As a consequence, we obtain that Hamiltonian cycles cannot be counted in time $O^*((6-ε)^{\mathsf{pw}})$ for any $ε>0$ unless SETH fails. This bound is tight due to a $O^*(6^{\mathsf{pw}})$ time algorithm by Bodlaender et al. (ICALP 2013). Under SETH, we also obtain that Hamiltonian cycles cannot be counted modulo primes $p\neq 2$ in time $O^*(3.97^\mathsf{pw})$, indicating that the modulus can affect the complexity in intricate ways.
A note about words which coincide except in one position
Published in Theoretical Computer Science 791 (2019), 109--111
• View Publication
• BIB
In this short note, we show that a result about words which coincide except in one position given as an exercise in Lothaire's Algebraic Combinatorics on Words is false. Moreover, we derive a modified statement which allows us to fix the proof of a theorem which originally used the result of this exercise.
The Muffin Problem
You have $m$ muffins and $s$ students. You want to divide the muffins into pieces and give the shares to students such that every student has $\frac{m}{s}$ muffins. Find a divide-and-distribute protocol that maximizes the minimum piece. Let $f(m,s)$ be the minimum piece in the optimal protocol. We prove that $f(m,s)$ exists, is rational, and finding it is computable (though possibly difficult). We show that $f(m,s)$ can be derived from $f(s,m)$; hence we need only consider $m\ge s$. We give a function $FC(m,s)$ such that, for $m\ge s+1$, $f(m,s)\le FC(m,s)$. It is often the case that $f(m,s)=FC(m,s)$. More formally, for all $s$, for all but a finite number of $m$, $f(m,s)=FC(m,s)$. This leads to a nice formula for $f(m,s)$, though there are exceptions to it. We give a formula $INT(m,s)$, which has 6 parts, such that for many of the exceptional $m$, $f(m,s)=INT(m,s)<FC(m,s)$. This works for most of the exceptional $m$ where ceil${2m/s}\ge 4$. There are still some exceptional $m$ with ceil${2m/s}=3$ (if its $\le 2$ then the problem is trivial). For these cases we have a way to {\it generate theorems}. For $1\le d\le 7$ we have generated formulas for $f(s+d,s)$. We do not have a theorem here but we do have a methodology which leads to, for some of the $m$, a value $BM(m,s)$ such that often $f(m,s)=BM(m,s)<INT(m,s)<FC(m,s)$. So far it seems like, for $m\ge s$, $f(m,s) = \min\{FC(m,s), INT(m,s), BM(m,s) \}$, though we have not prove this. For $1\le s\le 50$ and $s\le m\le 60$ we have obtained $f(m,s)$ for all but 20 values.
Hadamard Full Propelinear Codes of type Q. Rank and Kernel
Hadamard full propelinear codes (HFP-codes) are introduced and their equivalence with Hadamard groups is proven (on the other hand, it is already known the equivalence of Hadamard groups with relative $(4n,2,4n,2n)$-difference sets in a group and also with cocyclic Hadamard matrices). We compute the available values for the rank and dimension of the kernel of HFP-codes of type Q and we show that the dimension of the kernel is always 1 or $2$. We also show that when the dimension of the kernel is 2 then the dimension of the kernel of the transposed code is 1 (so, both codes are not equivalent). Finally, we give a construction method such that from an HFP-code of length $4n$, dimension of the kernel $k=2$, and maximum rank $r=2n$, we obtain an HFP-code of double length $8n$, dimension of the kernel $k=2$, and maximum rank $r=4n$.
On the classification of automorphisms of trees
Published in Contributions to discrete mathematics 14(1):203-213, 2019
• View Publication
• BIB
We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the conjugacy problem in the case of automorphisms of several non-regularly branching trees.
Maximum independent sets near the upper bound
Published
• View Publication
• BIB
The size of a largest independent set of vertices in a given graph $G$ is denoted by $α(G)$ and is called its independence number (or stability number). Given a graph $G$ and an integer $K,$ it is NP-complete to decide whether $α(G) \geq K.$ An upper bound for the independence number $α(G)$ of a given graph $G$ with $n$ vertices and $m $ edges is given by $α(G) \leq p:=\lfloor\frac{1}{2} + \sqrt{\frac{1}{4} + n^2 - n - 2m}\rfloor.$
In this paper we will consider maximum independent sets near this upper bound. Our main result is the following: There exists an algorithm with time complexity $O(n^2)$ that, given as an input a graph $G$ with $n$ vertices, $m$ edges, $p:=\lfloor\frac{1}{2} + \sqrt{\frac{1}{4} + n^2 - n - 2m}\rfloor,$ and an integer $k \geq 0$ with $p \geq 2k+1,$ returns an induced subgraph $G_{p,k}$ of $G$ with $n_0 \leq p+2k+1$ vertices such that $α(G) \leq p-k$ if and only if $α(G_{p,k}) \leq p-k.$ Furthermore, we will show that we can decide in time $O(1.2738^{3k} + kn)$ whether $α(G_{p,k}) \leq p-k.$
Graphical criteria for positive solutions to linear systems
We study linear systems of equations with coefficients in a generic partially ordered ring $R$ and a unique solution, and seek conditions for the solution to be nonnegative, that is, every component of the solution is a quotient of two nonnegative elements in $R$. The requirement of a nonnegative solution arises typically in applications, such as in biology and ecology, where quantities of interest are concentrations and abundances. We provide novel conditions on a labeled multidigraph associated with the linear system that guarantee the solution to be nonnegative. Furthermore, we study a generalization of the first class of linear systems, where the coefficient matrix has a specific block form and provide analogous conditions for nonnegativity of the solution, similarly based on a labeled multidigraph. The latter scenario arises naturally in chemical reaction network theory, when studying full or partial parameterizations of the positive part of the steady state variety of a polynomial dynamical system in the concentrations of the molecular species.
Some Sufficient Conditions for Finding a Nesting of the Normalized Matching Posets of Rank 3
Published
• View Publication
• BIB
Given a graded poset $P$, consider a chain decomposition $\mathcal{C}$ of $P$. If $|C_1|\le |C_2|$ implies that the set of the ranks of elements in $C_1$ is a subset of the ranks of elements in $C_2$ for any chains $C_1,C_2\in \mathcal{C}$, then we say $\mathcal{C}$ is a nested chain decomposition (or nesting, for short) of $P$, and $P$ is said to be nested. In 1970s, Griggs conjectured that every normalized matching rank-unimodal poset is nested. This conjecture is proved to be true only for all posets of rank 2 [W:05], some posets of rank 3 [HLS:09,ENSST:11], and the very special cases for higher ranks. For general cases, it is still widely open. In this paper, we provide some sufficient conditions on the rank numbers of posets of rank 3 to satisfies the Griggs's conjecuture.