Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Higher connectivity of the Morse complex
Published
• View Publication
• BIB
The Morse complex $\mathcal{M}(Δ)$ of a finite simplicial complex $Δ$ is the complex of all gradient vector fields on $Δ$. In this paper we study higher connectivity properties of $\mathcal{M}(Δ)$. For example, we prove that $\mathcal{M}(Δ)$ gets arbitrarily highly connected as the maximum degree of a vertex of $Δ$ goes to $\infty$, and for $Δ$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(Δ)$ is connected or simply connected. Our main tool is Bestvina-Brady Morse theory, applied to a "generalized Morse complex."
On certain linearized polynomials with high degree and kernel of small dimension
Published
• View Publication
• BIB
Let $f$ be the $\mathbb{F}_q$-linear map over $\mathbb{F}_{q^{2n}}$ defined by $x\mapsto x+ax^{q^s}+bx^{q^{n+s}}$ with $\gcd(n,s)=1$. It is known that the kernel of $f$ has dimension at most $2$, as proved by Csajbók et al. in "A new family of MRD-codes" (2018). For $n$ big enough, e.g. $n\geq5$ when $s=1$, we classify the values of $b/a$ such that the kernel of $f$ has dimension at most $1$. To this aim, we translate the problem into the study of some algebraic curves of small degree with respect to the degree of $f$; this allows to use intersection theory and function field theory together with the Hasse-Weil bound. Our result implies a non-scatteredness result for certain high degree scattered binomials, and the asymptotic classification of a family of rank metric codes.
Exact stability for Turán's Theorem
Published in Advances in Combinatorics, 2021:9, 17pp
• View Publication
• BIB
Turán's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erdős and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close to being $r$-partite. In this paper we determine exactly the $K_{r+1}$-free graphs with at least $m$ edges that are farthest from being $r$-partite, for any $m\ge t_r(n) - δ_r n^2$. This extends work by Erdős, Győri and Simonovits, and proves a conjecture of Balogh, Clemen, Lavrov, Lidický and Pfender.
Graphs associated with orthogonal collections of k-planes over finite fields
Published
• View Publication
• BIB
We study graphs coming from quadratic spaces over finite fields via orthogonality which generalize a recent result given by Bishnoi, Ihringer, and Pepe (2019). More precisely, we study the graph $Γ^{\square}(n,k,q)$ as follows: the vertex set is the set of $k$-dimensional quadratic subspaces of a fixed Lorentzian quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$ which are isometrically isomorphic to $x_{1}^{2}+\cdots+x_{k}^{2}$. Here $λ$ is a nonsquare in $\mathbb{F}_{q}$, and two vertices $x,y$ are adjacent if $x \subseteq y^{\perp}$.
Tree-optimized directed graphs
Published
• View Publication
• BIB
For an additive submonoid $\mathcal{M}$ of $\mathbb{R}_{\ge 0}$, the weight of an $\mathcal{M}$-labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed $\mathcal{M}$ and a directed tree $E$, we prove a general result on the shape of directed $\mathcal{M}$-labeled graphs $Γ$ of weight $N\in \mathcal{M}$ maximizing the sum of the contents of all copies $E\subset Γ$.
This specializes to recover a result of Hajac and Tobolski on the maximal number of length-$k$ paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of $A^k$ for a nilpotent $\mathbb{R}_{\ge 0}$-valued square matrix $A$ whose entries add up to $N$. Finally, we apply the same techniques to obtain the maximal number of stars with $a$ arms in a directed graph with $N$ edges.
Combinatorics and real lifts of bitangents to tropical quartic curves
Published in Discrete & Computational Geometry 69 (3), 597-658 (2023)
• View Publication
• BIB
Smooth algebraic plane quartics over algebraically closed fields have 28 bitangent lines. Their tropical counterparts often have infinitely many bitangents. They are grouped into seven equivalence classes, one for each linear system associated to an effective tropical theta characteristic on the tropical quartic. We show such classes determine tropically convex sets and provide a complete combinatorial classification of such objects into 41 types (up to symmetry).
The occurrence of a given class is determined by both the combinatorial type and the metric structure of the input tropical plane quartic. We use this result to provide explicit sign-rules to obtain real lifts for each tropical bitangent class, and confirm that each one has either zero or exactly four real lifts, as previously conjectured by Len and the second author. Furthermore, such real lifts are always totally-real.
Graph isomorphism: Physical resources, optimization models, and algebraic characterizations
In the $(G,H)$-isomorphism game, a verifier interacts with two non-communicating players (called provers) by privately sending each of them a random vertex from either $G$ or $H$, whose aim is to convince the verifier that two graphs $G$ and $H$ are isomorphic. In recent work along with Atserias, Šámal and Severini [Journal of Combinatorial Theory, Series B, 136:89--328, 2019] we showed that a verifier can be convinced that two non-isomorphic graphs are isomorphic, if the provers are allowed to share quantum resources. In this paper we model classical and quantum graph isomorphism by linear constraints over certain complicated convex cones, which we then relax to a pair of tractable convex models (semidefinite programs). Our main result is a complete algebraic characterization of the corresponding equivalence relations on graphs in terms of appropriate matrix algebras. Our techniques are an interesting mix of algebra, combinatorics, optimization, and quantum information.
Modular Terwilliger algebras of association schemes
Published
• View Publication
• BIB
We define modular Terwilliger algebras of association schemes, Terwilliger algebras over a positive characteristic field, and consider basic properties. We give a condition for the modular Terwilliger algebra to be non-semisimple. We show that the dimension of a Terwilliger algebra of a Johnson scheme depends on the characteristic of the coefficient field. We also give some other examples.
Normality of one-matching semi-Cayley graphs over finite abelian groups with maximum degree three
Published
• View Publication
• BIB
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal graphs.
The (non-)existence of perfect codes in Lucas cubes
Published
• View Publication
• BIB
The Fibonacci cube of dimension n, denoted as $Γ$ n , is the subgraph of the n-cube 5 Q n induced by vertices with no consecutive 1's. Ashrafi and his co-authors proved the non-existence of perfect codes in $Γ$ n for n $\ge$ 4. As an open problem the authors suggest to consider the existence of perfect codes in generalizations of Fibonacci cubes. The most direct generalization is the family $Γ$ n (1 s) of subgraphs induced by strings without 1 s as a substring where s $\ge$ 2 is a given integer. In a precedent work 10 we proved the existence of a perfect code in $Γ$ n (1 s) for n = 2 p -- 1 and s $\ge$ 3.2 p--2 for any integer p $\ge$ 2. The Lucas cube $Λ$ n is obtained from $Γ$ n by removing vertices that start and end with 1. Very often the same problems are studied on Fibonacci cubes and Lucas cube. In this note we prove the non-existence of perfect codes in $Λ$ n for n $\ge$ 4 and 15 prove the existence of perfect codes in some generalized Lucas cube $Λ$ n (1 s).
A Graph Joining Greedy Approach to Binary de Bruijn Sequences
Using greedy algorithms to generate de Bruijn sequences is a classical approach that has produced numerous interesting theoretical results. This paper investigates an algorithm which we call the Generalized Prefer-Opposite (GPO). It includes all prior greedy algorithms, with the exception of the Fleury Algorithm applied on the de Bruijn graph, as specific instances. The GPO Algorithm can produce any binary periodic sequences with nonlinear complexity at least two on input a pair of suitable feedback function and initial state. In particular, a sufficient and necessary condition for the GPO Algorithm to generate binary de Bruijn sequences is established. This requires the use of feedback functions with a unique cycle or loop in their respective state graphs. Moreover, we discuss modifications to the GPO Algorithm to handle more families of feedback functions whose state graphs have multiple cycles or loops. These culminate in a graph joining method. Several large classes of feedback functions are subsequently used to illustrate how the GPO Algorithm and its modification into the Graph Joining Prefer-Opposite (GJPO) Algorithm work in practice.
Naturalized bracket row and Motzkin triangle
The paper considers the sequence of the Motzkin words, which is constructed according to formal features of natural numbers. We investigate the decomposition of well-formed parentheses into the matched pairs of parentheses (analogous to Prime Numbers). The point triangle of bracket pairs is constructed and studied, as well as the numerical Motzkin triangle (similar to Pascal's triangle). To calculate the Motzkin triangle, the graphical method of stars and bars is used.
A Combinatorial Description of Certain Polynomials Related to the XYZ Spin Chain
Published in SIGMA 16 (2020), 101, 26 pages
• View Publication
• BIB
We study the connection between the three-color model and the polynomials $q_n(z)$ of Bazhanov and Mangazeev, which appear in the eigenvectors of the Hamiltonian of the XYZ spin chain. By specializing the parameters in the partition function of the 8VSOS model with DWBC and reflecting end, we find an explicit combinatorial expression for $q_n(z)$ in terms of the partition function of the three-color model with the same boundary conditions. Bazhanov and Mangazeev conjectured that $q_n(z)$ has positive integer coefficients. We prove the weaker statement that $q_n(z+1)$ and $(z+1)^{n(n+1)}q_n(1/(z+1))$ have positive integer coefficients. Furthermore, for the three-color model, we find some results on the number of states with a given number of faces of each color, and we compute strict bounds for the possible number of faces of each color.
The generalised Oberwolfach problem
Published
• View Publication
• BIB
We prove that any quasirandom dense large graph in which all degrees are equal and even can be decomposed into any given collection of two-factors (2-regular spanning subgraphs). A special case of this result gives a new solution to the Oberwolfach problem.
On the Parameterised Complexity of Induced Multipartite Graph Parameters
We introduce a family of graph parameters, called induced multipartite graph parameters, and study their computational complexity. First, we consider the following decision problem: an instance is an induced multipartite graph parameter $p$ and a given graph $G$, and for natural numbers $k\geq2$ and $\ell$, we must decide whether the maximum value of $p$ over all induced $k$-partite subgraphs of $G$ is at most $\ell$. We prove that this problem is W[1]-hard. Next, we consider a variant of this problem, where we must decide whether the given graph $G$ contains a sufficiently large induced $k$-partite subgraph $H$ such that $p(H)\leq\ell$. We show that for certain parameters this problem is para-NP-hard, while for others it is fixed-parameter tractable.
Ringel's tree packing conjecture in quasirandom graphs
Published
• View Publication
• BIB
We prove that any quasirandom graph with $n$ vertices and $rn$ edges can be decomposed into $n$ copies of any fixed tree with $r$ edges. The case of decomposing a complete graph establishes a conjecture of Ringel from 1963.
Vertex-transitive covers of semi-equivelar toroidal maps
A map $X$ on a surface is called vertex-transitive if the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called semi-equivelar. In general, semi-equivelar maps on a surface form a bigger class than vertex-transitive maps. There are semi-equivelar toroidal maps which are not vertex-transitive. In this article, we show that semi-equivelar toroidal maps are quotients of vertex-transitive toroidal maps. More explicitly, we prove that each semi-equivelar toroidal map has a finite vertex-transitive cover. In 2019, Drach {\em et al.} have shown that each vertex-transitive toroidal map has a minimal almost regular cover. Therefore, semi-equivelar toroidal maps are quotients of almost regular toroidal maps.
On the spectral gap and the diameter of Cayley graphs
Published
• View Publication
• BIB
We obtain a new bound connecting the first non--trivial eigenvalue of the Laplace operator of a graph and the diameter of the graph, which is effective for graphs with small diameter or for graphs, having the number of maximal paths comparable to the expectation.
Cumulant-cumulant relations in free probability theory from Magnus' expansion
Published in Foundations of Computational Mathematics 22, 733-755 (2022)
• View Publication
• BIB
Relations between moments and cumulants play a central role in both classical and non-commutative probability theory. The latter allows for several distinct families of cumulants corresponding to different types of independences: free, Boolean and monotone. Relations among those cumulants have been studied recently. In this work we focus on the problem of expressing with a closed formula multivariate monotone cumulants in terms of free and Boolean cumulants. In the process we introduce various constructions and statistics on non-crossing partitions. Our approach is based on a pre-Lie algebra structure on cumulant functionals. Relations among cumulants are described in terms of the pre-Lie Magnus expansion combined with results on the continuous Baker-Campbell-Hausdorff formula due to A. Murua.
The regularity method for graphs with few 4-cycles
Published
• View Publication
• BIB
We develop a sparse graph regularity method that applies to graphs with few 4-cycles, including new counting and removal lemmas for 5-cycles in such graphs. Some applications include:
* Every $n$-vertex graph with no 5-cycle can be made triangle-free by deleting $o(n^{3/2})$ edges.
* For $r \geq 3$, every $n$-vertex $r$-graph with girth greater than $5$ has $o(n^{3/2})$ edges.
* Every subset of $[n]$ without a nontrivial solution to the equation $x_1 + x_2 + 2x_3 = x_4 + 3x_5$ has size $o(\sqrt{n})$.