Showing 20 papers (Total: 82374 papers, 47635 authors in database)
$n \times n \times n$ Rubik's Cubes and God's Number
The Rubik's Cube is the most popular puzzle in the world. Two of its studied aspects are God's Number, the minimum number of turns necessary to solve any state, and the first law of cubology, a solvability criterion. We modify previous statements of the first law of cubology for $n \times n \times n$ Rubik's Cubes, and prove necessary and sufficient solvability conditions. We compute the order of the Rubik's Cube group and the number of distinct configurations of the $n \times n \times n$ Rubik's Cube. Finally, we derive a lower bound for God's Number using the group theoretical results and a counting argument.
q-ary Propelinear Perfect Codes from the Regular Subgroups of the GA(r,q) and Their Ranks
Published
• View Publication
• BIB
We propose a new method of constructing q-ary propelinear perfect codes. The approach utilizes permutations of the fixed length q-ary vectors that arise from the automorphisms of the regular subgroups of the affine group. For any prime q it is shown that the new class contains an infinite series of q-ary propelinear perfect codes of varying ranks of growing length.
The maximum measure of 3-wise t-intersecting families
Published in European Journal of Combinatorics 2023-05
• View Publication
• BIB
Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in $\mathcal G$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We prove that if $t\geq 15$ and $p\leq 2/(\sqrt{4t+9}-1)$ then $p^t$ is the maximum measure of $3$-wise $t$-intersecting families, and the bound for $p$ is sharp. We also present the corresponding stability result for shifted families.
Bent Functions in the Partial Spread Class Generated by Linear Recurring Sequences
Published
• View Publication
• BIB
We present a construction of partial spread bent functions using subspaces generated by linear recurring sequences (LRS). We first show that the kernels of the linear mappings defined by two LRS have a trivial intersection if and only if their feedback polynomials are relatively prime. Then, we characterize the appropriate parameters for a family of pairwise coprime polynomials to generate a partial spread required for the support of a bent function, showing that such families exist if and only if the degrees of the underlying polynomials is either $1$ or $2$. We then count the resulting sets of polynomials and prove that for degree $1$, our LRS construction coincides with the Desarguesian partial spread. Finally, we perform a computer search of all $\mathcal{PS}^-$ and $\mathcal{PS}^+$ bent functions of $n=8$ variables generated by our construction and compute their 2-ranks. The results show that many of these functions defined by polynomials of degree $b=2$ are not EA-equivalent to any Maiorana-McFarland or Desarguesian partial spread function.
Random Walk Models for Nontrivial Identities of Bernoulli and Euler Polynomials
We consider the $1$-dimensional reflected Brownian motion and $3$-dimensional Bessel process and the general models. By decomposing the hitting times of consecutive sites into loops, we obtain identities, called loop identities, for the generating functions of the hitting times. After proving this decomposition both combinatorially and inductively, we consider the case that sites are equally distributed. Then, from loop identities, we derive expressions of Bernoulli and Euler polynomials, in terms of Euler polynomials of higher-orders.
Resolving sets tolerant to failures in three-dimensional grids
Published in Mediterr. J. Math (2022) 19:188
• View Publication
• BIB
An ordered set $S$ of vertices of a graph $G$ is a resolving set for $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of G is the minimum cardinality of a resolving set. In this paper we study resolving sets tolerant to several failures in three-dimensional grids. Concretely, we seek for minimum cardinality sets that are resolving after removing any $k$ vertices from the set. This is equivalent to finding $(k+1)$-resolving sets, a generalization of resolving sets, where, for every pair of vertices, the vector of distances to the vertices of the set differ in at least $k+1$ coordinates. This problem is also related with the study of the $(k+1)$-metric dimension of a graph, defined as the minimum cardinality of a $(k+1)$-resolving set. In this work, we first prove that the metric dimension of a three-dimensional grid is 3 and establish some properties involving resolving sets in these graphs. Secondly, we determine the values of $k\ge 1$ for which there exists a $(k+1)$-resolving set and construct such a resolving set of minimum cardinality in almost all cases.
Multi-orbit cyclic subspace codes and linear sets
Published
• View Publication
• BIB
Cyclic subspace codes gained a lot of attention especially because they may be used in random network coding for correction of errors and erasures. Roth, Raviv and Tamo in 2018 established a connection between cyclic subspace codes (with certain parameters) and Sidon spaces. These latter objects were introduced by Bachoc, Serra and Zémor in 2017 in relation with the linear analogue of Vosper's Theorem. This connection allowed Roth, Raviv and Tamo to construct large classes of cyclic subspace codes with one or more orbits. In this paper we will investigate cyclic subspace codes associated to a set of Sidon spaces, that is cyclic subspace codes with more than one orbit. Moreover, we will also use the geometry of linear sets to provide some bounds on the parameters of a cyclic subspace code. Conversely, cyclic subspace codes are used to construct families of linear sets which extend a class of linear sets recently introduced by Napolitano, Santonastaso, Polverino and the author. This yields large classes of linear sets with a special pattern of intersection with the hyperplanes, defining rank metric and Hamming metric codes with only three distinct weights.
Fire retainment on Cayley graphs
Published in Discrete Mathematics Discrete Mathematics, Volume 346, Issue 1, January 2023, 113176
• View Publication
• BIB
We study the fire-retaining problem on groups, a quasi-isometry invariant introduced by Martínez-Pedroza and Prytula [8], related to the firefighter problem. We prove that any Cayley graph with degree-$d$ polynomial growth does not satisfy $\{f(n)\}$-retainment, for any $f(n) = o(n^{d-2})$, matching the upper bound given for the firefighter problem for these graphs. In the exponential growth regime we prove general lower bounds for direct products and wreath products. These bounds are tight, and show that for exponential-growth groups a wide variety of behaviors is possible. In particular, we construct, for any $d\geq 1$, groups that satisfy $\{n^{d}\}$-retainment but not $o(n^d)$-retainment, as well as groups that do not satisfy sub-exponential retainment.
Diameter, edge-connectivity, and $C_4$-freeness
Published
• View Publication
• BIB
Improving a recent result of Fundikwa, Mazorodze, and Mukwembi, we show that $d \leq (2n-3)/5$ for every connected $C_4$-free graph of order $n$, diameter $d$, and edge-connectivity at least $3$, which is best possible up to a small additive constant. For edge-connectivity at least $4$, we improve this to $d \leq (n-3)/3$. Furthermore, adapting a construction due to Erdős, Pach, Pollack, and Tuza, for an odd prime power $q$ at least $7$, and every positive integer $k$, we show the existence of a connected $C_4$-free graph of order $n=(q^2+q-1)k+1$, diameter $d=4k$, and edge-connectivity $λ$ at least $q-6$, in particular, $d\geq 4(n-1)/(λ^2+O(λ))$.
On $d$-panconnected tournaments with large semidegrees
Published
• View Publication
• BIB
We prove the following new results.
(a) Let $T$ be a regular tournament of order $2n+1\geq 11$ and $S$ a subset of $V(T)$. Suppose that $|S|\leq \frac{1}{2}(n-2)$ and $x$, $y$ are distinct vertices in $V(T)\setminus S$. If the subtournament $T-S$ contains an $(x,y)$-path of length $r$, where $3\leq r\leq |V(T)\setminus S|-2$, then $T-S$ also contains an $(x,y)$-path of length $r+1$.
(b) Let $T$ be an $m$-irregular tournament of order $p$, i.e., $|d^+(x)-d^-(x)|\le m$ for every vertex $x$ of $T.$ If $m\leq \frac{1}{3}(p-5)$ (respectively, $m\leq \frac{1}{5}(p-3)$), then for every pair of vertices $x$ and $y$, $T$ has an $(x,y)$-path of any length $k$, $4\leq k\leq p-1$ (respectively, $3\leq k\leq p-1$ or $T$ belongs to a family $\cal G$ of tournaments, which is defined in the paper). In other words, (b) means that if the semidegrees of every vertex of a tournament $T$ of order $p$ are between
$\frac{1}{3}(p+1)$ and $\frac{2}{3}(p-2)$ (respectively, between $\frac{1}{5}(2p-1)$ and $\frac{1}{5}(3p-4)$), then the claims in (b) hold.
Our results improve in a sense related results of Alspach (1967), Jacobsen (1972), Alspach et al. (1974), Thomassen (1978) and Darbinyan (1977, 1978, 1979), and are sharp in a sense.
On cyclically 4-connected cubic graphs
Published
• View Publication
• BIB
For $k \ge 4$, let $Q_{2k}$ and $V_{2k}$ denote the ladder and Möbius ladder on $2k$ vertices, respectively. We prove results that build on a result by Wormald that states that any cyclically $4$-connected cubic graph other than $Q_8$ or $V_8$ is obtained from a smaller cyclically $4$-connected cubic graph by bridging a pair of non-adjacent edges. We introduce the concept of cycle spread, which generalizes the edge pair distance defined by Wormald, and show that the set of pairs of edges that needs to be considered in order to obtain all cyclically $4$-connected cubic graphs is smaller than the set of all pairs of non-adjacent edges. We prove that all non-planar cyclically $4$-connected cubic graphs with at least $10$ vertices, other than the Möbius ladders and the Petersen graph, are obtained from $Q_8$ by bridging pairs of edges with cycle spread at least $(1,2)$. Moreover every graph obtained in this way is non-planar, cyclically $4$-connected, and cubic. All planar cyclically $4$-connected cubic graphs with at least $10$ vertices except for the ladders are obtained from the ladders by bridging pairs of edges with cycle spread at least $(1,2)$. We implemented an algorithm based on these results using McKay's nauty system for isomorphism checking.
Nearly equal distances in the plane, II
Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs $\{ p_i,p_j\} $, for which $d(p_i,p_j) \in [t_1, t_1 + 1] \cup \ldots \cup [t_k, t_k + 1] $, is at most $n^2/4 + C_{k,δ}n$. This is sharp, up to the value of the constant $C_{k,δ} > 0$.
Deciding twin-width at most 4 is NP-complete
We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-width) into graphs $G$, in the sense that every $d$-sequence (sequence of vertex contractions witnessing that the twin-width is at most $d$) of $G$ inevitably creates $H$ as an induced subtrigraph, whereas there exists a partial $d$-sequence that actually goes from $G$ to $H$. We believe that these facts and their proofs can be of independent interest.
Weisfeiler-Leman Indistinguishability of Graphons
Published in Electronic Journal of Combinatorics Volume 30, Issue 4 (2023), P4.35
• View Publication
• BIB
The color refinement algorithm is mainly known as a heuristic method for graph isomorphism testing. It has surprising but natural characterizations in terms of, for example, homomorphism counts from trees and solutions to a system of linear equations. Grebík and Rocha (2022) have recently shown how color refinement and notions that characterize it generalize to graphons, which emerged as limit objects in the theory of dense graph limits. In particular, they show that these characterizations are still equivalent in the graphon case. The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a more powerful variant of color refinement that colors $k$-tuples instead of single vertices, where the terms $1$-WL and color refinement are often used interchangeably since they compute equivalent colorings. We show how to adapt the result of Grebík and Rocha to $k$-WL or, in other words, how $k$-WL and its characterizations generalize to graphons. In particular, we obtain characterizations in terms of homomorphism densities from multigraphs of bounded treewidth and linear equations. We give a simple example that parallel edges make a difference in the more general case of graphons, which means that, there, the equivalence between $1$-WL and color refinement does not hold anymore. We also show how this equivalence can be recovered by defining a variant of $k$-WL that corresponds to homomorphism densities from simple graphs of bounded treewidth.
Physical Representations for Scattering Amplitudes and the Wavefunction of the Universe
Published
• View Publication
• BIB
The way we organise perturbation theory is of fundamental importance both for computing the observables of relevance and for extracting fundamental physics out of them. If on one hand the different ways in which the perturbative observables can be written make manifest different features (e.g. symmetries as well as principles such as unitarity, causality and locality), on the other hand precisely demanding that some concrete features are manifest lead to different ways of organising perturbation theory. In the context of flat-space scattering amplitudes, a number of them are already known and exploited, while much less is known for cosmological observables. In the present work, we show how to systematically write down both the wavefunction of the universe and the flat-space scattering amplitudes, in such a way that they manifestly show physical poles only. We make use of the invariant definition of such observables in terms of {\it cosmological polytopes} and their {\it scattering facet}. In particular, we show that such representations correspond to triangulations of such objects through hyperplanes identified by the intersection of their facets outside of them. All possible triangulations of this type generate the different representations. This allows us to provide a general proof for the conjectured all-loop causal representation of scattering amplitudes. Importantly, all such representations can be viewed as making explicit a subset of compatible singularities, and our construction provides a way to extend Steinmann relations to higher codimension singularities for both the flat-space scattering amplitudes and the cosmological wavefunction.
On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$
Published
• View Publication
• BIB
We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.
Chromatic Quasisymmetric Class Functions for combinatorial Hopf monoids
Published
• View Publication
• BIB
We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the orbital chromatic polynomial of Cameron and Kayibi.
We also introduce the flag quasisymmetric class function of a balanced relative simplicial complex equipped with a group action. We show that, under certain conditions, the chromatic quasisymmetric class function of $h$ is the flag quasisymmetric class function of a balanced relative simplicial complex that we call the coloring complex of $h$. We use this result to deduce various inequalities for the associated orbital polynomial invariants. We apply these results to several examples related to enumerating graph colorings, poset partitions, generic functions on matroids or generalized permutohedra, and others.
Dynamical Tropicalisation
Published
• View Publication
• BIB
We analyse the dynamics of the pullback of the map $z \longmapsto z^m$ on the complex tori and toric varieties. We will observe that tropical objects naturally appear in the limit, and review several theorems in tropical geometry.
Quiver combinatorics for higher-dimensional triangulations
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.
A Complete Linear Programming Hierarchy for Linear Codes
A longstanding open problem in coding theory is to determine the best (asymptotic) rate $R_2(δ)$ of binary codes with minimum constant (relative) distance $δ$. An existential lower bound was given by Gilbert and Varshamov in the 1950s. On the impossibility side, in the 1970s McEliece, Rodemich, Rumsey and Welch (MRRW) proved an upper bound by analyzing Delsarte's linear programs. To date these results remain the best known lower and upper bounds on $R_2(δ)$ with no improvement even for the important class of linear codes. Asymptotically, these bounds differ by an exponential factor in the blocklength.
In this work, we introduce a new hierarchy of linear programs (LPs) that converges to the true size $A^{\text{Lin}}_2(n,d)$ of an optimum linear binary code (in fact, over any finite field) of a given blocklength $n$ and distance $d$.
This hierarchy has several notable features:
(i) It is a natural generalization of the Delsarte LPs used in the first MRRW bound.
(ii) It is a hierarchy of linear programs rather than semi-definite programs potentially making it more amenable to theoretical analysis.
(iii) It is complete in the sense that the optimum code size can be retrieved from level $O(n^2)$.
(iv) It provides an answer in the form of a hierarchy (in larger dimensional spaces) to the question of how to cut Delsarte's LP polytopes to approximate the true size of linear codes.
We obtain our hierarchy by generalizing the Krawtchouk polynomials and MacWilliams inequalities to a suitable "higher-order" version taking into account interactions of $\ell$ words. Our method also generalizes to translation schemes under mild assumptions.