Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Multiple contractions of permutation arrays
Published in J. Algebraic Combin. 58 (2023) 695-715
• View Publication
• BIB
Given a permutation $σ$ on $n$ symbols $\{0, 1, \ldots, n-1\}$ and an integer $1 \leq m \leq n-1$, the $m$th contraction of $σ$ is the permutation $σ^{{\sf CT}^m}$ on $n-m$ symbols obtained by deleting the symbols $n-1, n-2, \ldots, n-m$ from the cycle decomposition of $σ$. The Hamming distance ${\rm hd}(σ,τ)$ between two permutations $σ$ and $τ$ is the number of symbols $x$ such that $σ(x) \neq τ(x)$. In this paper we give a complete characterization of the effect of a single contraction on the Hamming distance between two permutations. This allows us to obtain sufficient conditions for ${\rm hd}(σ,τ)-{\rm hd}(σ^{{\sf CT}^m},τ^{{\sf CT}^m})\leq 2m$.
Generalising the achromatic number to Zaslavsky's colourings of signed graphs
Published in Theoretical Computer Science, Elsevier, In press
• View Publication
• BIB
The chromatic number, which refers to the minimum number of colours required to colour the vertices of graphs properly, is one of the most central notions of the graph chromatic theory. Several of its aspects of interest have been investigated in the literature, including variants for modifications of proper colourings. These variants include, notably, the achromatic number of graphs, which is the maximum number of colours required to colour the vertices of graphs properly so that each possible combination of distinct colours is assigned along some edge. The behaviours of this parameter have led to many investigations of interest, bringing to light both similarities and discrepancies with the chromatic number. This work takes place in a recent trend aiming at extending the chromatic theory of graphs to the realm of signed graphs, and, in particular, at investigating how classic results adapt to the signed context. Most of the works done in that line to date are with respect to two main generalisations of proper colourings of signed graphs, attributed to Zaslavsky and Guenin. Generalising the achromatic number to signed graphs was initiated recently by Lajou, his investigations being related to Guenin's colourings. We here pursue this line of research, but with taking Zaslavsky's colourings as our notion of proper colourings. We study the general behaviour of our resulting variant of the achromatic number, mainly by investigating how known results on the classic achromatic number generalise to our context. Our results cover, notably, bounds, standard operations on graphs, and complexity aspects.
The direct sum of $q$-matroids
Published
• View Publication
• BIB
For classical matroids, the direct sum is one of the most straightforward methods to make a new matroid out of existing ones. This paper defines a direct sum for $q$-matroids, the $q$-analogue of matroids. This is a lot less straightforward than in the classical case, as we will try to convince the reader. With the use of submodular functions and the $q$-analogue of matroid union we come to a definition of the direct sum of $q$-matroids. As a motivation for this definition, we show it has some desirable properties.
Matching forcing polynomials of constructable hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive recurrence relations of forcing polynomials for monotonic CHS and the other is CHS with one turning.
Matching anti-forcing polynomials of catacondensed hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive a recurrence relation of anti-forcing polynomial for catacondensed hexagonal systems.
Multi-objective Matroid Optimization with Ordinal Weights
Published
• View Publication
• BIB
Bi-objective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. However, if one of the objective functions is restricted to binary cost coefficients the problem becomes efficiently solvable by an exhaustive swap algorithm. Binary cost coefficients often represent two categories and are thus a special case of ordinal coefficients that are in general non-additive. In this paper we consider ordinal objective functions with more than two categories in the context of matroid optimization. We introduce several problem variants that can be distinguished w.r.t. their respective optimization goals, analyze their interrelations, and derive a polynomial time solution method that is based on the repeated solution of matroid intersection problems. Numerical tests on minimum spanning tree problems and on partition matroids confirm the efficiency of the approach.
On bipartite distance-regular Cayley graphs with small diameter
Published
• View Publication
• BIB
We study bipartite distance-regular Cayley graphs with diameter three or four. We give sufficient conditions under which a bipartite Cayley graph can be constructed on the semidirect product of a group -- the part of this bipartite Cayley graph which contains the identity element -- and $\mathbb{Z}_{2}$. We apply this to the case of bipartite distance-regular Cayley graphs with diameter three, and consider cases where the sufficient conditions are not satisfied for some specific groups such as the dihedral group. We also extend a result by Miklavič and Potočnik that relates difference sets to bipartite distance-regular Cayley graphs with diameter three to the case of diameter four. This new case involves certain partial geometric difference sets and -- in the antipodal case -- relative difference sets.
Finite transitive groups having many suborbits of cardinality at most two and an application to the enumeration of Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a finite transitive group on a set $Ω$, let $α\in Ω$ and let $G_α$ be the stabilizer of the point $α$ in $G$. In this paper, we are interested in the proportion $$\frac{|\{ω\in Ω\mid ω\textrm{ lies in a }G_α\textrm{-orbit of cardinality at most two}\}|}{|Ω|},$$ that is, the proportion of elements of $Ω$ lying in a suborbit of cardinality at most two. We show that, if this proportion is greater than $5/6$, then each element of $Ω$ lies in a suborbit of cardinality at most two and hence $G$ is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$.
We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group $G$ containing a regular subgroup $R$, we determine an upper bound on the number of Cayley graphs on $R$ containing $G$ in their automorphism groups.
A general construction of strictly Neumaier graphs and a related switching
Published
• View Publication
• BIB
We present a construction of Neumaier graphs with nexus 1, which generalises two known constructions of Neumaier graphs. We also use W. Wang, L. Qiu, and Y. Hu switching to show that we construct cospectral Neumaier graphs. Finally, we show that several small strictly Neumaier graphs can be obtained from our construction, and give a geometric or algebraic description for each of these graphs.
Maximum diameter of $3$- and $4$-colorable graphs
Published
• View Publication
• BIB
P. Erdős, J. Pach, R. Pollack, and Z. Tuza [J. Combin. Theory, B 47 (1989), 279--285] made conjectures for the maximum diameter of connected graphs without a complete subgraph $K_{k+1}$, which have order $n$ and minimum degree $δ$. Settling a weaker version of a problem, by strengthening the $K_{k+1}$-free condition to $k$-colorable, we solve the problem for $k=3$ and $k=4$ using a unified linear programming duality approach. The case $k=4$ is a substantial simplification of the result of É. Czabarka, P. Dankelmann, and L. A. Székely [Europ. J. Comb., 30 (2009), 1082--1089].
Electrical Networks, Lagrangian Grassmannians and Symplectic Groups
Published
• View Publication
• BIB
We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.
Multicolor Ramsey numbers for Berge cycles
Published
• View Publication
• BIB
In this paper, for small uniformities, we determine the order of magnitude of the multicolor Ramsey numbers for Berge cycles of length $4$, $5$, $6$, $7$, $10$, or $11$. Our result follows from a more general setup which can be applied to other hypergraph Ramsey problems. Using this, we additionally determine the order of magnitude of the multicolor Ramsey number for Berge-$K_{a,b}$ for certain $a$, $b$, and uniformities.
Special directions on the finite affine plane
Published
• View Publication
• BIB
In this paper we study the number of special directions of sets of cardinality divisible by $p$ on a finite plane of characteristic $p$, where $p$ is a prime. We show that there is no such a set with exactly two special directions. We characterise sets with exactly 3 special directions which answers a question of Ghidelli in negative. Further we introduce methods to construct sets of minimal cardinality that has exactly 4 special directions for small values of $p$.
Limits of Probability Measures with General Coefficients
We study the convergence of probability measures in terms of moments by applying operators to their Bessel generating functions. We consider a general setting of applying operators such as the Dunkl operator to formal power series that are symmetric or symmetric in all but one variable. Afterwards, we apply the results from this setting by considering Bessel generating functions as the formal power series to obtain a Law of Large Numbers as $N$, the number of variables, increases to infinity and $N^cβ$ converges to a constant, where $c\in (-\infty, 1)$. In contrast with previous results, we consider when the scaled partial derivatives of the logarithms of the Bessel generating functions evaluated at the origin can have nonzero $N\rightarrow\infty$ limit when any number of variables is involved. Then, the free cumulant of order $k$ is a linear combination of the limits of the order $k$ partial derivatives.
An Experimental (yet fully rigorous!) Study of a certain "Measure Of Disarray" that 12-year Noga Alon Proved was always Even
We study in depth a certain permutation statistic that was the subject of a brilliant insight by 12-year-old Noga Alon. Our approach is purely empirical and experimental, yet it is fully rigorous, thereby debunking, yet another time, the myth that mathematics is always a deductive science. This revised version contains three postscripts describing improvements pointed out by Stoyan Dimitrov, Kyle Petersen, and Martin Rubey.
The geometric field of linearity of linear sets
Published
• View Publication
• BIB
If an Fq-linear set LU in a projective space is defined by a vector subspace U which is linear over a proper superfield of Fq, then all of its points have weight at least 2. It is known that the converse of this statement holds for linear sets of rank h in PG(1,q^h) but for linear sets of rank k < h, the converse of this statement is in general no longer true. The first part of this paper studies the relation between the weights of points and the size of a linear set, and introduces the concept of the geometric field of linearity of a linear set. This notion will allow us to show the main theorem, stating that for particular linear sets without points of weight 1, the converse of the above statement still holds as long as we take the geometric field of linearity into account.
Classification of divisible design graphs with at most 39 vertices
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. A DDG with $m = 1$, $n = 1$, or $λ_1 = λ_2$ is called improper, otherwise it is called proper. We present new constructions of DDGs and, using a computer enumeration algorithm, we find all proper connected DDGs with at most 39 vertices, except for three tuples of parameters: $(32,15,6,7,4,8)$, $(32,17,8,9,4,8)$, $(36,24,15,16,4,9)$.
Exactness of Parrilo's conic approximations for copositive matrices and associated low order bounds for the stability number of a graph
Published
• View Publication
• BIB
De Klerk and Pasechnik (2002) introduced the bounds $\vartheta^{(r)}(G)$ ($r\in \mathbb{N}$) for the stability number $α(G)$ of a graph $G$ and conjectured exactness at order $α(G)-1$: $\vartheta^{(α(G)-1)}(G)=α(G)$. These bounds rely on the conic approximations $\mathcal{K}_n^{(r)}$ by Parrilo (2000) for the copositive cone $\text{COP}_n$. A difficulty in the convergence analysis of $\vartheta^{(r)}$ is the bad behaviour of the cones $\mathcal{K}_n^{(r)}$ under adding a zero row/column: when applied to a matrix not in $\mathcal{K}^{(0)}_n$ this gives a matrix not in any ${\mathcal{K}}^{(r)}_{n+1}$, thereby showing strict inclusion $\bigcup_{r\ge 0}{\mathcal{K}}^{(r)}_n\subset \text{COP}_n$ for $n\ge 6$. We investigate the graphs with $\vartheta^{(r)}(G)=α(G)$ for $r=0,1$: we algorithmically reduce testing exactness of $\vartheta^{(0)}$ to acritical graphs, we characterize critical graphs with $\vartheta^{(0)}$ exact, and we exhibit graphs for which exactness of $\vartheta^{(1)}$ is not preserved under adding an isolated node. This disproves a conjecture by Gvozdenović and Laurent (2007) which, if true, would have implied the above conjecture by de Klerk and Pasechnik.
Relating three combinatorial formulas for type $A$ Whittaker functions
In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions.
Apéry limits and Mahler measures
It is the first paper which relates Apéry limits to Mahler measures.