Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On some multiplicative properties of large difference sets
Published in Can. J. Math.-J. Can. Math. 76 (2024) 1538-1555
• View Publication
• BIB
In our paper we study multiplicative properties of difference sets $A-A$ for large sets $A \subseteq \mathbb{Z}/q\mathbb{Z}$ in the case of composite $q$. We obtain a quantitative version of a result of A. Fish about the structure of the product sets $(A-A)(A-A)$. Also, we show that the multiplicative covering number of any difference set is always small.
Existence of pencils with nonblocking hypersurfaces
Published in Finite Fields Appl. 92 (2023), Paper No. 102283, 11 pp
• View Publication
• BIB
We prove that there is a pencil of hypersurfaces in $\mathbb{P}^n$ of any given degree over a finite field $\mathbb{F}_q$ such that every $\mathbb{F}_q$-member of the pencil is not blocking with respect to $\mathbb{F}_q$-lines.
Degrees of unitary Deligne-Lusztig varieties
We prove an explicit degree formula for certain unitary Deligne-Lusztig varieties. Combining with an alternative degree formula in terms of Schubert calculus, we deduce several algebraic combinatorial identities which may be of independent interest.
A combinatorial formula for LLT cumulants of melting lollipops in terms of spanning trees
We prove a combinatorial formula for LLT cumulants of melting lollipops as a positive combination of LLT polynomials indexed by spanning trees. The result gives an affirmative answer to a general positivity question for this class of unicellular LLT cumulants, and gives an independent proof of their Schur-positivity. In the special case of the complete graph, we also express the formula in terms of parking functions.
Modified Erdős-Ginzburg-Ziv constants for $\mathbb{Z}_2^d$
Published
• View Publication
• BIB
Let $G$ be a finite abelian group written additively, and let $r$ be a multiple of its exponent. The modified Erdős-Ginzburg-Ziv constant $\mathsf{s}_r'(G)$ is the smallest integer $s$ such that every zero-sum sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We find exact values of $\mathsf{s}_{2k}'(\mathbb{Z}_2^d)$ for $d \leq 2k+1$.
The Generalized Terwilliger Algebra of the Hypercube
Published
• View Publication
• BIB
In the year 2000, Eric Egge introduced the generalized Terwilliger algebra $\mathcal T$ of a distance-regular graph $Γ$. For any vertex $x$ of $Γ,$ there is a surjective algebra homomorphism $\natural$ from $\mathcal T$ to the Terwilliger algebra $T(x)$. If $Γ$ is complete, then $\natural$ is an isomorphism. If $Γ$ is not complete, then $\natural$ may or may not be an isomorphism, and in general the details are unknown. We show that if $Γ$ is a hypercube, then the algebra homomorphism $\natural:\mathcal T \to T(x)$ is an isomorphism for all vertices $x$ of $Γ$.
Eigenvectors of graph Laplacians: a landscape
Published
• View Publication
• BIB
We review the properties of eigenvectors for the graph Laplacian matrix, aiming at predicting a specific eigenvalue/vector from the geometry of the graph. After considering classical graphs for which the spectrum is known, we focus on eigenvectors that have zero components and extend the pioneering results of Merris (1998) on graph transformations that preserve a given eigenvalue $λ$ or shift it in a simple way. These transformations enable us to obtain eigenvalues/vectors combinatorially instead of numerically; in particular we show that graphs having eigenvalues $λ= 1,2,\dots,6$ up to six vertices can be obtained from a short list of graphs. For the converse problem of a $λ$ subgraph $G$ of a $λ$ graph $G"$, we prove results and conjecture that $G$ and $G"$ are connected by two of the simple transformations described above.
Hinged-rulers fold in $2-Θ(\frac{1}{2^{n/4}})$
A hinged-ruler is a sequence of line segments in the plane joined end-to-end with hinges, so each hinge joins exactly two segments, the first segment and last segment are adjacent to only one hinge each, and all other segments are adjacent to exactly two hinges. Hopcroft, Joseph, and Whitesides first posed the hinged-ruler-folding problem in their 1985 paper "On the Movement of Robot Arms in 2-Dimensional Bounded Regions": given a hinged-ruler and a real number $K$, can the hinged-ruler be folded so as to fit within a one-dimensional interval of length $K$? We show that if the segment lengths are constrained to be real numbers in the interval $[0,1]$, then we can always fold the hinged-ruler so as to fit within a one-dimensional interval of length $2-Ω(\frac{1}{2^{n/4}})$. On the other hand, we give a construction for a hinged-ruler which cannot be folded into some one-dimensional interval of length $2-O(\frac{1}{2^{n/4}})$.
Triangle processes on graphs with given degree sequence
Published
• View Publication
• BIB
The switch chain is a well-studied Markov chain which generates random graphs with a given degree sequence and has uniform stationary distribution. Motivated by the high number of triangles seen in some real-world networks, we study a variant of the switch chain which is more likely to produce graphs with higher numbers of triangles. Specifically, we apply a Metropolis scheme designed to have the following stationary distribution: graph $G$ has probability proportional to $λ^{\min\{t(G),ν\}}$, where $t(G)$ is the number of triangles in $G$ and $ν$ is a cut-off value introduced to moderate the impact of graphs with a very high number of triangles. We assume that the "activity" $λ$ satisfies $λ\geq 1$, and call the resulting chain the modified Metropolis switch chain. We prove that the modified Metropolis switch chain is rapidly mixing whenever the (standard) switch chain is rapidly mixing, provided that the activity and maximum degree are not too large.
The triangle switch (or "$\triangle$-switch") chain is a restriction of the switch chain which only performs switches that change the set of triangles in the graph. We prove that the $\triangle$-switch chain is irreducible for any degree sequence with minimum degree at least 3, and prove a rapid mixing result for the modified Metropolis $\triangle$-switch chain.
Finally, we investigate the distribution of triangles in random graphs with given degrees, under both the uniform distribution and the distribution in which graph $G$ has probability proportional to $λ^{t(G)}$. Our analysis implies that the imposition of the cut-off $ν$ does not significantly impact the behaviour of these modified Metropolis chains over polynomially many steps
Smallest posets with given cyclic automorphism group
Published
• View Publication
• BIB
For each $n\ge 1$ we determine the minimum number of points in a poset with cyclic automorphism group of order $n$.
Separating the edges of a graph by a linear number of paths
Published in Advances in Combinatorics 2023:6, 7pp
• View Publication
• BIB
Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. Our proof is elementary and self-contained.
4-clique Network Minor Embedding for Quantum Annealers
Published
• View Publication
• BIB
Quantum annealing is a quantum algorithm for computing solutions to combinatorial optimization problems. This study proposes a method for minor embedding optimization problems onto sparse quantum annealing hardware graphs called 4-clique network minor embedding. This method is in contrast to the standard minor embedding technique of using a path of linearly connected qubits in order to represent a logical variable state. The 4-clique minor embedding is possible on Pegasus graph connectivity, which is the native hardware graph for some of the current D-Wave quantum annealers. The Pegasus hardware graph contains many cliques of size 4, making it possible to form a graph composed entirely of paths of connected 4-cliques on which a problem can be minor embedded. The 4-clique chains come at the cost of additional qubit usage on the hardware graph, but they allow for stronger coupling within each chain thereby increasing chain integrity, reducing chain breaks, and allow for greater usage of the available energy scale for programming logical problem coefficients on current quantum annealers. The 4-clique minor embedding technique is compared against the standard linear path minor embedding with experiments on two D-Wave quantum annealing processors with Pegasus hardware graphs. We show proof of concept experiments where the 4-clique minor embeddings can use weak chain strengths while successfully carrying out the computation of minimizing random all-to-all spin glass problem instances.
Topological dynamical systems induced by polynomials and combinatorial consequences
Published
• View Publication
• BIB
Let $d\in {\mathbb N}$ and $p_i$ be an integral polynomial with $p_i(0)=0$, $1\le i\le d$. It is shown that if $S$ is piecewise syndetic in $\mathbb Z$, then $$\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\}$$ is piecewise syndetic in ${\mathbb Z}^2$, which extends the result by Glasner and Furstenberg for linear polynomials. Our result is obtained by showing the density of minimal points of a dynamical system of ${\mathbb Z}^2$ action associated with the piecewise syndetic set $S$ and the polynomials $\{p_1,\ldots,p_d\}$.
Moreover, it is proved that if $(X,T)$ is minimal, then for each non-empty open subset $U$ of $X$, there is $x\in U$ with $\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\}$ piecewise syndetic.
Bounds for the geometric-arithmetic index of unicyclic graphs
Published
• View Publication
• BIB
We present lower and upper bounds for the geometric-arithmetic index of unicyclic graphs and provide extremal graphs for the corresponding bounds.
A Littlewood-Richardson rule for Grassmannian Schubert varieties
We propose a combinatorial model for the Schubert structure constants of the complete flag manifold when one of the factors is Grassmannian.
Vertex degrees close to the average degree
Published
• View Publication
• BIB
Let $G$ be a finite, simple, and undirected graph of order $n$ and average degree $d$. Up to terms of smaller order, we characterize the minimal intervals $I$ containing $d$ that are guaranteed to contain some vertex degree. In particular, for $d_+\in \left(\sqrt{dn},n-1\right]$, we show the existence of a vertex in $G$ of degree between $d_+-\left(\frac{(d_+-d)n}{n-d_++\sqrt{d_+^2-dn}}\right)$ and $d_+$.
A Survey of Metaheuristic Algorithms for the Design of Cryptographic Boolean Functions
Published
• View Publication
• BIB
Boolean functions are mathematical objects used in diverse domains and have been actively researched for several decades already. One domain where Boolean functions play an important role is cryptography. There, the plethora of settings one should consider and cryptographic properties that need to be fulfilled makes the search for new Boolean functions still a very active domain. There are several options to construct appropriate Boolean functions: algebraic constructions, random search, and metaheuristics. In this work, we concentrate on metaheuristic approaches and examine the related works appearing in the last 25 years. To the best of our knowledge, this is the first survey work on this topic. Additionally, we provide a new taxonomy of related works and discuss the results obtained. Finally, we finish this survey with potential future research directions.
A weighted extension of Fibonacci numbers
Published
• View Publication
• BIB
We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of the identities are combinatorial, extending the proofs given by Benjamin and Quinn, and in the $q$ case, by Garrett. Some identities are proved by telescoping.
On unigraphic polyhedra with one vertex of degree $p-2$
Published
• View Publication
• BIB
A sequence $σ$ of $p$ non-negative integers is unigraphic if it is the degree sequence of exactly one graph, up to isomorphism. A polyhedral graph is a $3$-connected, planar graph. We investigate which sequences are unigraphic with respect to the class of polyhedral graphs, meaning that they admit exactly one realisation as a polyhedron.
We focus on the case of sequences with largest entry $p-2$. We give a classification of polyhedral unigraphic sequences starting with $p-2,p-2$, as well as those starting with $p-2$ and containing exactly one $3$. Moreover, we characterise the unigraphic sequences where a few vertices are of high degree. We conclude with a few other examples of families of unigraphic polyhedra.
Integer eigenvalues of the $n$-Queens graph
Published
• View Publication
• BIB
The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$ and its multiplicity is at least $\frac{n+1}{2}$ or $\frac{n-2}{2}$ when $n$ is odd or even, respectively. Furthermore, when $n$ is odd, it is proved that $-3,-2\ldots,\frac{n-11}{2}$ and $\frac{n-5}{2},\ldots,n-5$ are additional integer eigenvalues of $\mathcal{Q}(n)$ and a family of eigenvectors associated with them is presented. Finally, conjectures about the multiplicity of the aforementioned eigenvalues and about the non-existence of any other integer eigenvalue are stated.