Showing 20 papers (Total: 82505 papers, 47699 authors in database)
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
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.
Segments on the Right Branch of a Binary Tree
It is proved that the average number of segments on the right branch of a binary tree of size n tends to 3 as n tends to $\infty$. Also the fraction of trees with k segments on the right branch from all trees of size n tends to $\frac{k}{2^{k+1}}$ as n tends to $\infty$
Two conjectured strengthenings of Turán's theorem
Published
• View Publication
• BIB
We investigate two conjectured spectral graph theoretic strengthenings of Turán's theorem. Let $μ_1 \ge \ldots \ge μ_n$ denote the eigenvalues of a graph $G$ with $n$ vertices, $m$ edges and clique number $ω(G)$. The concise version of Turán's theorem is that $n/(n - d)$ is a lower bound for the clique number $ω(G)$, where $d$ is the average degree. Our first conjecture is that $d$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for triangle-free, weakly perfect and Kneser graphs and for almost all graphs. We have also used various software tools to search for a counter-example. Nikiforov proved a spectral version of Turán's theorem that \[ μ_1^2 \le \frac{2m(ω(G) - 1)}{ω(G)}, \] and Bollobás and Nikiforov conjectured that for $G \not = K_n$ \[ μ_1^2 + μ_2^2 \le \frac{2m(ω(G) - 1)}{ω(G)}. \] For our second conjecture, we propose that for all graphs $(μ_1^2 + μ_2^2)$ in this inequality can be replaced by the sum of the squares of the $ω(G)$ largest eigenvalues, provided they are positive. We prove the conjecture for weakly perfect, Kneser, and classes of strongly regular graphs. We also provide experimental evidence and describe how the bound can be applied. Liu and Ning published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory'', and these two conjectures were placed second and fourth in their list of such problems.
Algorithmic aspects of arithmetical structures
Published in Linear Algebra and its Applications 640 (2022) 191-208
• View Publication
• BIB
Arithmetical structures on graphs were first introduced in \cite{Lorenzini89}. Later in \cite{arithmetical} they were further studied in the setting of square non-negative integer matrices. In both cases, necessary and sufficient conditions for the finiteness of the set of arithmetical structures were given.
More precisely, an arithmetical structure on a non-negative integer matrix $L$ with zero diagonal is a pair $(\mathbf{d},\mathbf{r})\in \mathbb{N}_+^n\times \mathbb{N}_+^n$ such that \[ (\textrm{Diag}(\mathbf{d})-L)\mathbf{r}^t=\mathbf{0}^t\text{ and }\gcd(r_1,\ldots,r_n)=1. \] Thus, arithmetical structures on $L$ are solutions of the polynomial Diophantine equation \[ f_L(X):=\det(\text{Diag}(X)-L)=0. \] Therefore, it is of interest to ask for an algorithm that compute them.
We present an algorithm that computes arithmetical structures on a square integer non-negative matrix $L$ with zero diagonal. In order to do this we introduce a new class of Z-matrices, which we call quasi $M$-matrices.
Maximal knotless graphs
Published in Algebr. Geom. Topol. 23 (2023) 1831-1848
• View Publication
• BIB
A graph is maximal knotless if it is edge maximal for the property of knotless embedding in $R^3$. We show that such a graph has at least $\frac74 |V|$ edges, and construct an infinite family of maximal knotless graphs with $|E| < \frac52|V|$. With the exception of $|E| = 22$, we show that for any $|E| \geq 20$ there exists a maximal knotless graph of size $|E|$. We classify the maximal knotless graphs through nine vertices and 20 edges. We determine which of these maxnik graphs are the clique sum of smaller graphs and construct an infinite family of maxnik graphs that are not clique sums.