Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Random and quasi-random designs in group testing
Published
• View Publication
• BIB
For large classes of group testing problems, we derive lower bounds for the probability that all significant items are uniquely identified using specially constructed random designs. These bounds allow us to optimize parameters of the randomization schemes. We also suggest and numerically justify a procedure of constructing designs with better separability properties than pure random designs. We illustrate theoretical considerations with a large simulation-based study. This study indicates, in particular, that in the case of the common binary group testing, the suggested families of designs have better separability than the popular designs constructed from disjunct matrices. We also derive several asymptotic expansions and discuss the situations when the resulting approximations achieve high accuracy.
An elementary proof for a generalization of a Pohst's inequality
Published
• View Publication
• BIB
Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 -\frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$-ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0 <|y_1| < |y_2|< \cdots < |y_n|$. We prove that $P_n \leq 2^{\lfloor n/2\rfloor}$ for every $n$, i.e., we extend to all $n$ the bound that Pohst proved for $n\leq 11$. As a consequence, the bound for the absolute discriminant of a totally real field in terms of its regulator is now proved for every degree of the field.
Subgraph complementation and minimum rank
Published in The Electronic Journal of Combinatorics 29(1) (2022) P1.38
• View Publication
• BIB
Any finite simple graph $G = (V,E)$ can be represented by a collection $\mathscr{C}$ of subsets of $V$ such that $uv\in E$ if and only if $u$ and $v$ appear together in an odd number of sets in $\mathscr{C}$. Let $c_2(G)$ denote the minimum cardinality of such a collection. This invariant is equivalent to the minimum dimension of a faithful orthogonal representation of $G$ over $\mathbb{F}_2$ and is closely connected to the minimum rank of $G$. We show that $c_2(G) = \operatorname{mr}(G,\mathbb{F}_2)$ when $\operatorname{mr}(G,\mathbb{F}_2)$ is odd, or when $G$ is a forest. Otherwise, $\operatorname{mr}(G,\mathbb{F}_2)\leq c_2(G)\leq \operatorname{mr}(G,\mathbb{F}_2)+1$. Furthermore, we show that the following are equivalent for any graph $G$ with at least one edge: i. $c_2(G)=\operatorname{mr}(G,\mathbb{F}_2)+1$; ii. the adjacency matrix of $G$ is the unique matrix of rank $\operatorname{mr}(G,\mathbb{F}_2)$ which fits $G$ over $\mathbb{F}_2$; iii. there is a minimum collection $\mathscr{C}$ as described in which every vertex appears an even number of times; and iv. for every component $G'$ of $G$, $c_2(G') = \operatorname{mr}(G',\mathbb{F}_2) + 1$. We also show that, for these graphs, $\operatorname{mr}(G,\mathbb{F}_2)$ is twice the minimum number of tricliques whose symmetric difference of edge sets is $E$. Additionally, we provide a set of upper bounds on $c_2(G)$ in terms of the order, size, and vertex cover number of $G$. Finally, we show that the class of graphs with $c_2(G)\leq k$ is hereditary and finitely defined. For odd $k$, the sets of minimal forbidden induced subgraphs are the same as those for the property $\operatorname{mr}(G,\mathbb{F}_2)\leq k$, and we exhibit this set for $c_2(G)\leq2$.
Minimal graphs with disjoint dominating and total dominating sets
Published
• View Publication
• BIB
A graph $G$ is a DTDP-graph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we study further properties of DTDP-graphs and, in particular, we characterize minimal DTDP-gaphs without loops.
Beck-type companion identities for Franklin's identity
Published
• View Publication
• BIB
The original Beck conjecture, now a theorem due to Andrews, states that the difference in the number of parts in all partitions into odd parts and the number of parts in all strict partitions is equal to the number of partitions whose set of even parts has one element, and also to the number of partitions with exactly one part repeated. This is a companion identity to Euler's identity. The theorem has been generalized by Yang to a companion identity to Glaisher's identity. Franklin generalized Glaisher's identity, and in this article, we provide a Beck-type companion identity to Franklin's identity and prove it both analytically and combinatorially. Andrews' and Yang's respective theorems fit naturally into this very general frame. We also discuss a generalization to Franklin's identity of the second Beck-type companion identity proved by Andrews and Yang in their respective work.
The Determinant of $\{\pm 1\}$-Matrices and Oriented Hypergraphs
Published
• View Publication
• BIB
The determinants of $\{\pm 1\}$-matrices are calculated by via the oriented hypergraphic Laplacian and summing over an incidence generalization of vertex cycle-covers. These cycle-covers are signed and partitioned into families based on their hyperedge containment. Every non-edge-monic family is shown to contribute a net value of $0$ to the Laplacian, while each edge-monic family is shown to sum to the absolute value of the determinant of the original incidence matrix. Simple symmetries are identified as well as their relationship to Hadamard's maximum determinant problem. Finally, the entries of the incidence matrix are reclaimed using only the signs of an adjacency-minimal set of cycle-covers from an edge-monic family.
Some new symmetric Hadamard matrices
Published in Information and Control Systems (2022) 2 2-10
• View Publication
• BIB
First examples of symmetric Hadamard matrices of orders 508 and 764 are constructed. The method used is known as the propus construction. A conjecture regarding this method is formally proposed but it appears implicitly in three previous joint papers with N. A. Balonin et alias. The conjecture has been verified for Hadamard matrices of order 4v with odd v<54. In this note the conjecture is verified for v=55,57,59,61,63.
Fractional cycle decompositions in hypergraphs
Published
• View Publication
• BIB
We prove that for any integer $k\geq 2$ and $\varepsilon>0$, there is an integer $\ell_0\geq 1$ such that any $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2+\varepsilon)n$ has a fractional decomposition into tight cycles of length $\ell$ ($\ell$-cycles for short) whenever $\ell\geq \ell_0$ and $n$ is large in terms of $\ell$. This is essentially tight.
This immediately yields also approximate integral decompositions for these hypergraphs into $\ell$-cycles. Moreover, for graphs this even guarantees integral decompositions into $\ell$-cycles and solves a problem posed by Glock, Kühn and Osthus. For our proof, we introduce a new method for finding a set of $\ell$-cycles such that every edge is contained in roughly the same number of $\ell$-cycles from this set by exploiting that certain Markov chains are rapidly mixing.
Vertex decomposability of complexes associated to forests
In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest are vertex decomposable. We then prove that the non-cover complex of a forest is either contractible or homotopy equivalent to a sphere. Finally, we provide a complete characterization of forests whose non-cover complexes are vertex decomposable.
The Minor Order of Homomorphisms via Natural Dualities
Published
• View Publication
• BIB
We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of finite algebras in terms of disjoint unions of dual partition lattices and investigate reconstruction problems for homomorphisms.
Ribbon tiling and character formula for periplectic Lie superalgebras
We give a combinatorial formula for the character of a finite-dimensional irreducible representation of the periplectic Lie superalgebra $\mathfrak{p}(n)$. The character of irreducible module $L(μ)$ is given by a cancellation-free alternating sum over the characters of thick or thin Kac modules, $Δ(λ)$ or $\nabla(λ)$, such that there exists a ribbon tiling of a skew Young diagram $λ/μ$.
Frieze patterns of integers
Published
• View Publication
• BIB
The famous theorem of Conway and Coxeter on frieze patterns gave a geometric interpretation to integral friezes via triangulations of polygons. In this article, we review this result and show some of the development it has led to. The last decade has seen a lot of activities on friezes. One reason behind this is the connection to cluster combinatorics.
Norton algebras of the Hamming Graphs via linear characters
Published
• View Publication
• BIB
The Norton product is defined on each eigenspace of a distance regular graph by the orthogonal projection of the entry-wise product. The resulting algebra, known as the Norton algebra, is a commutative nonassociative algebra that is useful in group theory due to its interesting automorphism group. We provide a formula for the Norton product on each eigenspace of a Hamming graph using linear characters. We construct a large subgroup of automorphisms of the Norton algebra of a Hamming graph and completely describe the automorphism group in some cases. We also show that the Norton product on each eigenspace of a Hamming graph is as nonassociative as possible, except for some special cases in which it is either associative or equally as nonassociative as the so-called double minus operation previously studied by the author, Mickey, and Xu. Our results restrict to the hypercubes and extend to the halved and/or folded cubes, the bilinear forms graphs, and more generally, all Cayley graphs of finite abelian groups.
Constructions stemming from non-separating planar graphs and their Colin de Verdière invariant
Published in Algebr. Geom. Topol. 24 (2024) 555-568
• View Publication
• BIB
A planar graph $G$ is said to be non-separating if there exists an embedding of $G$ in $\mathbb{R}^2$ such that for any cycle $\mathcal{C}\subset G$, all vertices of $G\setminus \mathcal{C}$ are within the same connected component of $\mathbb{R}^2\setminus \mathcal{C}$. Dehkordi and Farr classified the non-separating planar graphs as either outerplanar graphs, subgraphs of wheel graphs, or subgraphs of elongated triangular prisms. We use maximal non-separating planar graphs to construct examples of maximal linkless graphs and maximal knotless graphs. We show that for a maximal non-separating planar graph $G$ with $n\ge 7$ vertices, the complement $cG$ is $(n-7)-$apex. This implies that the Colin de Verdière invariant of the complement $cG$ satisfies $μ(cG) \le n-4$. We show this to be an equality. As a consequence, the conjecture of Kotlov, Lovàsz, and Vempala that for a simple graph $G$, $μ(G)+μ(cG)\ge n-2$ is true for 2-apex graphs $G$ for which $G-\{u,v\}$ is planar non-separating. It also follows that complements of non-separating planar graphs of order at least nine are intrinsically linked. We prove that the complements of non-separating planar graphs $G$ of order at least ten are intrinsically knotted.
Counting paths, cycles and blow-ups in planar graphs
Published
• View Publication
• BIB
For a 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 this paper, we prove that $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_7)\sim{4\over 27}n^4$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_6)\sim(n/3)^3$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_8)\sim(n/4)^4$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,K_4\{1\})\sim(n/6)^6$, where $K_4\{1\}$ is the $1$-subdivision of $K_4$. In addition, we obtain significantly improved upper bounds on $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_{2m+1})$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_{2m})$ for $m\geq 4$. For a wide class of graphs $H$, the key technique developed in this paper allows us to bound $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ in terms of an optimization problem over weighted graphs.
An algebraic construction of sum-integral interpolators
Published
• View Publication
• BIB
This paper presents an algebraic construction of Euler-Maclaurin formulas for polytopes. The formulas obtained generalize and unite the previous lattice point formulas of Morelli and Pommersheim-Thomas, and the Euler-Maclaurin formulas of Berline-Vergne While the approach of this paper originates in the theory of toric varieties, and recovers previous results about characteristic classes of toric varieties, the present paper is self-contained and does not rely on results from toric geometry. We aim in particular to exhibit in a combinatorial way ingredients such as such Todd classes and cycle-level intersections in Chow rings, that first entered the theory of polytopes from algebraic geometry.
The number of optimal matchings for Euclidean Assignment on the line
Published in Journal of Statistical Physics 183:3 (2021)
• View Publication
• BIB
We consider the Random Euclidean Assignment Problem in dimension $d=1$, with linear cost function. In this version of the problem, in general, there is a large degeneracy of the ground state, i.e. there are many different optimal matchings (say, $\sim \exp(S_N)$ at size $N$). We characterize all possible optimal matchings of a given instance of the problem, and we give a simple product formula for their number. Then, we study the probability distribution of $S_N$ (the zero-temperature entropy of the model), in the uniform random ensemble. We find that, for large $N$, $S_N \sim \frac{1}{2} N \log N + N s + \mathcal{O}\left( \log N \right)$, where $s$ is a random variable whose distribution $p(s)$ does not depend on $N$. We give expressions for the asymptotics of the moments of $p(s)$, both from a formulation as a Brownian process, and via singularity analysis of the generating functions associated to $S_N$. The latter approach provides a combinatorial framework that allows to compute an asymptotic expansion to arbitrary order in $1/N$ for the mean and the variance of
Loose cores and cycles in random hypergraphs
Published
• View Publication
• BIB
Inspired by the study of loose cycles in hypergraphs, we define the \emph{loose core} in hypergraphs as a structure which mirrors the close relationship between cycles and $2$-cores in graphs. We prove that in the $r$-uniform binomial random hypergraph $H^r(n,p)$, the order of the loose core undergoes a phase transition at a certain critical threshold and determine this order, as well as the number of edges, asymptotically in the subcritical and supercritical regimes.
Our main tool is an algorithm called CoreConstruct, which enables us to analyse a peeling process for the loose core. By analysing this algorithm we determine the asymptotic degree distribution of vertices in the loose core and in particular how many vertices and edges the loose core contains. As a corollary we obtain an improved upper bound on the length of the longest loose cycle in $H^r(n,p)$.
Synchronization of strongly connected partial DFAs and prefix codes
Published
• View Publication
• BIB
We study synchronizing partial DFAs, which extend the classical concept of synchronizing complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA is called synchronizing if it has a word (called a \emph{reset word}) whose action brings a non-empty subset of states to a unique state and is undefined for all other states. The class of strongly connected partial automata is precisely the class of automata recognized prefix codes. While in the general case the problem of checking whether a partial DFA is synchronizing is PSPACE-complete, we show that in the strongly connected case this problem can be efficiently reduced to the same problem for a complete DFA. Using combinatorial, algebraic, and formal languages methods, we develop techniques that relate main synchronization problems for strongly connected partial DFAs to the same problems for complete DFAs. In particular, this includes the Černý and the rank conjectures, the problem of finding a reset word, and upper bounds on the length of the shortest reset words of literal automata of finite prefix codes. We conclude that solving fundamental synchronization problems is equally hard in both models, as an essential improvement of the results for one model implies an improvement for the other.
Clique factors in pseudorandom graphs
Published
• View Publication
• BIB
An $n$-vertex graph is said to to be $(p,β)$-bijumbled if for any vertex sets $A,B\subseteq V(G)$, we have \[e(A,B)=p|A||B|\pm β\sqrt{|A||B|}.\]
We prove that for any $3\leq r\in \mathbb{N}$ and $c>0$ there exists an $\varepsilon>0$ such that any $n$-vertex $(p,β)$-bijumbled graph with $n\in r \mathbb{N}$, $δ(G)\geq cpn$ and $β\leq \varepsilon p^{r-1}n$, contains a $K_r$-factor. This implies a corresponding result for the stronger pseudorandom notion of $(n,d,λ)$-graphs.
For the case of triangle factors, that is when $r=3$, this result resolves a conjecture of Krivelevich, Sudakov and Szabó from 2004 and it is tight due to a pseudorandom triangle-free construction of Alon. In fact, in this case even more is true: as a corollary to this result and a result of Han, Kohayakawa, Person and the author, we can conclude that the same condition of $β=o(p^2n)$ actually guarantees that a $(p,β)$-bijumbled graph $G$ contains every graph on $n$ vertices with maximum degree at most 2.