Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A Combinatorial Description of Certain Polynomials Related to the XYZ Spin Chain. II. The Polynomials $p_n$
Published in SIGMA 18 (2022), 036, 20 pages
• View Publication
• BIB
By specializing the parameters in the partition function of the 8VSOS model with domain wall boundary conditions and diagonal reflecting end, we find connections between the three-color model and certain polynomials $p_n(z)$, which are conjectured to be equal to certain polynomials of Bazhanov and Mangazeev, appearing in the eigenvectors of the Hamiltonian of the supersymmetric XYZ spin chain. This article is a continuation of a previous paper where we investigated the related polynomials $q_n(z)$, also conjectured to be equal to polynomials of Bazhanov and Mangazeev, appearing in the eigenvectors of the supersymmetric XYZ spin chain.
Intersection density of transitive groups of certain degrees
Published in Algebraic Combinatorics, Volume 5 (2022) no. 2, pp. 289-297
• View Publication
• BIB
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where ${\cal F}$ runs over all intersecting sets in $G$ and $G_v$ is a stabilizer of $v\in V$. In this paper the intersection density of transitive groups of degree twice a prime is determined, and proved to be either $1$ or $2$. In addition, it is proved that the intersection density of transitive groups of prime power degree is $1$.
Forbidden subgraphs in enhanced power graphs of finite groups
Published
• View Publication
• BIB
The enhanced power graph of a group is the simple graph whose vertex set is consisted of all elements of the group, and whose any pair of vertices are adjacent if they generate a cyclic subgroup. In this paper, we classify all finite groups whose enhanced power graphs are split and threshold. We also classify all finite nilpotent groups whose enhanced power graphs are chordal graphs and cographs. Finally, we give some families of non-nilpotent groups whose enhanced power graphs are chordal graphs and cographs. These results partly answer a question posed by Peter J. Cameron.
On pencils of cubics on the projective line over finite fields of characteristic $>3$
In this paper we study combinatorial invariants of the equivalence classes of pencils of cubics on $\mathrm{PG}(1,q)$, for $q$ odd and $q$ not divisible by 3. These equivalence classes are considered as orbits of lines in $\mathrm{PG}(3,q)$, under the action of the subgroup $G\cong \mathrm{PGL}(2,q)$ of $\mathrm{PGL}(4,q)$ which preserves the twisted cubic $\mathcal{C}$ in $\mathrm{PG}(3,q)$. In particular we determine the point orbit distributions and plane orbit distributions of all $G$-orbits of lines which are contained in an osculating plane of $\mathcal{C}$, have non-empty intersection with $\mathcal{C}$, or are imaginary chords or imaginary axes of $\mathcal{C}$.
Nested cycles with no geometric crossings
In 1975, Erdős asked the following question: what is the smallest function $f(n)$ for which all graphs with $n$ vertices and $f(n)$ edges contain two edge-disjoint cycles $C_1$ and $C_2$, such that the vertex set of $C_2$ is a subset of the vertex set of $C_1$ and their cyclic orderings of the vertices respect each other? We prove the optimal linear bound $f(n)=O(n)$ using sublinear expanders.
Square-free extensions of words
A word is square-free if it does not contain nonempty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over a $3$-letter alphabet. It was proved recently [7] that among these words there are infinitely many extremal ones, that is, having a square in every single-letter extension.
We study diverse problems concerning extensions of words preserving the property of avoiding squares. Our main motivation is the conjecture stating that there are no extremal words over a $4$-letter alphabet. We also investigate a natural recursive procedure of generating square-free words by a single-letter right-most extension. We present the results of computer experiments supporting a supposition that this procedure gives an infinite square-free word over any alphabet of size at least three.
Lower tails via relative entropy
Published
• View Publication
• BIB
We show that the naive mean-field approximation correctly predicts the leading term of the logarithmic lower tail probabilities for the number of copies of a given subgraph in $G(n,p)$ and of arithmetic progressions of a given length in random subsets of the integers in the entire range of densities where the mean-field approximation is viable.
Our main technical result provides sufficient conditions on the maximum degrees of a uniform hypergraph $\mathcal{H}$ that guarantee that the logarithmic lower tail probabilities for the number of edges induced by a binomial random subset of the vertices of $\mathcal{H}$ can be well-approximated by considering only product distributions. This may be interpreted as a weak, probabilistic version of the hypergraph container lemma that is applicable to all sparser-than-average (and not only independent) sets.
Making a tournament indecomposable by one subtournament-reversal operation
Published in Graphs Combin. (2021)
• View Publication
• BIB
Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(v,x)\in A(T)$ if and only if $(v,y)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. Let $T$ be a tournament with at least five vertices. In a previous paper, the authors proved that the smallest number $δ(T)$ of arcs that must be reversed to make $T$ indecomposable satisfies $δ(T) \leq \left\lceil \frac{v(T)+1}{4} \right\rceil$, and this bound is sharp, where $v(T) = |V(T)|$ is the order of $T$. In this paper, we prove that if the tournament $T$ is not transitive of even order, then $T$ can be made indecomposable by reversing the arcs of a subtournament of $T$. We denote by $δ'(T)$ the smallest size of such a subtournament. We also prove that $δ(T) = \left\lceil \frac{δ'(T)}{2} \right\rceil$.
Strongly regular configurations
Published in Designs Codes and Cryptography 90 (2022) 1881-1897
• View Publication
• BIB
We study combinatorial configurations with the associated point and line graphs being strongly regular. Examples not belonging to known classes such as partial geometries and their generalizations or elliptic semiplanes are constructed. Necessary existence conditions are proved and a table of feasible parameters of such configurations with at most 200 points is presented. Non-existence of some configurations with feasible parameters is proved.
Peaks are preserved under run-sorting
Published in ECA 2:1 (2022) Article S2R2, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A2.pdf
• View Publication
• BIB
We study a sorting procedure (run-sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length $n$, with the property that it sends the set of peak-values to the set of peak-values after run-sorting. We also prove that the expected number of descents in a permutation $σ\in S_{n}$ after run-sorting is equal to $(n-2)/3$. Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run-sorted permutations of $[n]$, ($RSP(n)$) having $k$ runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, $A_{n}(t)$ for $RSP(n)$ are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials.
Finally, we study run-sorted binary words and compute the expected number of descents after run-sorting a binary word of length $n$.
$Q$-polynomial coherent configurations
Published
• View Publication
• BIB
Coherent configurations are a generalization of association schemes. In this paper, we introduce the concept of $Q$-polynomial coherent configurations and study the relationship among intersection numbers, Krein numbers, and eigenmatrices. The examples of $Q$-polynomial coherent configurations are provided from Delsarte designs in $Q$-polynomial schemes and spherical designs.
Refined canonical stable Grothendieck polynomials and their duals, Part 1
Published
• View Publication
• BIB
In this paper we introduce refined canonical stable Grothendieck polynomials and their duals with two infinite sequences of parameters. These polynomials unify several generalizations of Grothendieck polynomials including canonical stable Grothendieck polynomials due to Yeliussizov, refined Grothendieck polynomials due to Chan and Pflueger, and refined dual Grothendieck polynomials due to Galashin, Liu, and Grinberg. We give Jacobi--Trudi-like formulas, combinatorial models, Schur expansions, Schur positivity, and dualities of these polynomials.
Polyhedra without cubic vertices are prism-hamiltonian
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.
Ranking Bracelets in Polynomial Time
The main result of the paper is the first polynomial-time algorithm for ranking bracelets. The time-complexity of the algorithm is O(k^2 n^4), where k is the size of the alphabet and n is the length of the considered bracelets. The key part of the algorithm is to compute the rank of any word with respect to the set of bracelets by finding three other ranks: the rank over all necklaces, the rank over palindromic necklaces, and the rank over enclosing apalindromic necklaces. The last two concepts are introduced in this paper. These ranks are key components to our algorithm in order to decompose the problem into parts. Additionally, this ranking procedure is used to build a polynomial-time unranking algorithm.
Equiangular lines in Euclidean spaces: dimensions 17 and 18
Published
• View Publication
• BIB
We show that the maximum cardinality of an equiangular line system in 17 dimensions is 48, thereby solving a longstanding open problem. Furthermore, by giving an explicit construction, we improve the lower bound on the maximum cardinality of an equiangular line system in 18 dimensions to 57.
The $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{(k_1,k_2,k_3)}(q,t)$ and $C_{(k,k,k,k)}(q,t)$
Published
• View Publication
• BIB
We give two proofs of the $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{\vec{k}}(q,t)$ for $\vec{k}=(k_1,k_2,k_3)$. One is by using MacMahon's partition analysis as we proposed; the other is a direct bijection. We also prove $C_{(k,k,k,k)}(q,t) = C_{(k,k,k,k)}(t,q)$ by using MacMahon's partition analysis.
Incidence bounds in positive characteristic via valuations and distality
Published
• View Publication
• BIB
We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemerédi-Trotter-like incidence bounds for function fields over finite fields. We deduce a version of the Elekes-Szabó theorem for such fields.
A note on the restricted partition function $p_\mathcal{A}(n,k)$
Published
• View Publication
• BIB
Let $\mathcal{A}=(a_n)_{n\in\mathbb{N}_+}$ be a sequence of positive integers. Let $p_\mathcal{A}(n,k)$ denote the number of multi-color partitions of $n$ into parts in $\{a_1,\ldots,a_k\}$. We examine several arithmetic properties of the sequence $(p_\mathcal{A}(n,k) \pmod{m})_{n\in\mathbb{N}}$ for an arbitrary fixed integer $m\geqslant2$. We investigate periodicity of the sequence and lower and upper bounds for the density of the set $\{n\in\mathbb{N}: p_\mathcal{A}(n,k) \equiv i \pmod{m}\}$ for a fixed positive integer $k$ and $i\in\{0,1,\ldots, m-1\}$. In particular, we apply our results to the special cases of the sequence $\mathcal{A}$. Furthermore, we present some results related to restricted $m$-ary partitions.
Dynamical properties of disjunctive Boolean networks
A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current configuration of states. In this paper, we are interested in disjunctive networks, where each local function is simply the disjunction of a set of variables. As such, this network is somewhat homogeneous, though the number of variables may vary from entity to entity, thus yielding a generalised cellular automaton. The aim of this paper is to review some of the main results, derive some additional fundamental results, and highlight some open problems, on the dynamics of disjunctive networks. We first review the different defining characteristics of disjunctive networks and several ways of representing them using graphs, Boolean matrices, or binary relations. We then focus on three dynamical properties of disjunctive networks: their image points, their periodic points, and their fixed points. For each class of points, we review how they can be characterised and study how many they could be. The paper finishes with different avenues for future work on the dynamics of disjunctive networks and how to generalise them.
A branching process with deletions and mergers that matches the threshold for hypercube percolation
Published
• View Publication
• BIB
We define a graph process $\mathcal{G}(p,q)$ based on a discrete branching process with deletions and mergers, which is inspired by the 4-cycle structure of both the hypercube $Q_d$ and the lattice $\mathbb{Z}^d$ for large $d$. Individuals have Poisson offspring distribution with mean $1+p$ and certain deletions and mergers occur with probability $q$; these parameters correspond to the mean number of edges discovered from a given vertex in an exploration of a percolation cluster and to the probability that a non-backtracking path of length four closes a cycle, respectively.
We prove survival and extinction under certain conditions on $p$ and $q$ that heuristically match the known expansions of the critical probabilities for bond percolation on the lattice $\mathbb{Z}^d$ and the hypercube $Q_d$. These expansions have been rigorously established by Hara and Slade in 1995, and van der Hofstad and Slade in 2006, respectively. We stress that our method does not constitute a branching process proof for the percolation threshold.
The analysis of the graph process survival is considerably more challenging than for branching processes in discrete time, due to the interdependence between the descendants of different individuals in the same generation. In fact, it is left open whether the survival probability of $\mathcal{G}(p,q)$ is monotone in $p$ or $q$; we discuss this and some other open problems regarding the new graph process.