Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Integral Planes and Unit-Norm Polytopes
We introduce and study integral planes associated with crystallographic and non-crystallographic integral systems in real composition algebras. For an integral order $\Order$ in such an algebra we define the plane $\Order^{2}$ with quadratic form $Q(x,y)=\NN(x)+\NN(y)$, the axis shell, the balanced shell, and the corresponding unit-normalised spherical polytopes. For ten crystallographic orders we recover, in one uniform construction, the orthogonal-direct-sum root systems $2A_{1}$, $A_{2}\oplus A_{2}$, $4A_{1}$, $D_{4}\oplus D_{4}$, $16A_{1}$, and $E_{8}\oplus E_{8}$ (with classical-polytope realisations including the square, the 16-cell, the 24-cell, and the Gosset polytope $4_{21}$); for two non-crystallographic orders we obtain $H_{2}\oplus H_{2}$ (decagonal tegum) and $H_{4}\oplus H_{4}$ (600-cell tegum) over $\Z[\golden]$. We prove a rank-obstruction theorem that closes, unconditionally and by a purely Coxeter-theoretic argument, the existence question for an indecomposable rank-eight golden octonion order: no such order can exist. On the balanced shell side, we identify the genuine algebraic Hopf map $\Hopfmap_{A}(a,b)=(2a\bar b,\NN(a)-\NN(b))$ and prove that its restriction to the balanced shell is a finite principal fibration of the unit loop, valid both for the associative case and for the alternative Moufang case.
The Sharma-Mittal Entropy is Subadditive and Supermodular on the Majorization Lattice
We prove that Sharma-Mittal entropy is a subadditive and supermodular function on the lattice of all $n$-dimensional probability distributions, ordered according to the partial order relation defined by majorization among vectors. Our result unifies and extends analogous results presented in the literature for the Shannon entropy, the Tsallis entropy, and the Rényi entropy.
Harmonious Colorings: bounds, heuristics and integer-linear formulations
A proper coloring $c$ of a simple graph $G$ is harmonious if, for every pair of distinct edges $uv,xy\in E(G)$, we have that $\{c(u),c(v)\}\neq \{c(x),c(y)\}$. The harmonious chromatic number of $G$, denoted by $h(G)$, is the least positive integer $k$ such that $G$ has a harmonious coloring with $k$ colors. In this work, we extend an idea presented in [Kolay, et al. Harmonious coloring: Parameterized algorithms and upper bounds. Theor. Comp. Sci. 772 (2019), 132-142] to compare the harmonious chromatic numbers of two graphs $G$ and $H$, with $H$ being obtained from $G$ by identifying vertices at distance at least three. Furthermore, by fixing a proof presented in the same work, we manage to improve one of its upper bounds. We also introduce and study the first, to the best of our knowledge, integer-linear programming formulations for this problem in the literature, along with some heuristics. We provide some preliminary tests on random instances and instances from the second DIMACS Implementation Challenge.
Weak and Strong Fibrations of Functors
We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization procedure, which allows us to define strong and weak fibrations for functor. We establish their basic properties, introduce a fibrant replacement for functors, and extend homotopical invariants such as the Svarc genus and sectional category to small categories. Finally, we apply this framework to motion planning in small categories, providing categorical analogues of Farber's topological complexity while removing finiteness constraints typical of existing approaches.
Faster random walks via infrequent steering
Random walks on graphs can be slow. To speed them up, imagine that at each step instead of choosing the neighbor at random, there is a small probability $\varepsilon>0$ that we can choose it. We show that in this case, at least for graphs of bounded degree, there is a way to steer the walk so that it visits every vertex in $n^{1+o(1)}$ steps with high probability. The key to this result is a way to decompose arbitrary graphs into small-diameter pieces.
Induced subdivisions in graphs of large girth
In this paper, we prove that there exists an absolute constant $g_0$ such that, for every integer $k\ge 3$, every graph $G$ with $δ(G)\ge k$ and $g(G)\ge g_0$ contains an induced subdivision of $K_{k+1}$. This answers, in a strong sense, a problem asked by Kühn and Osthus (originally attributed to Shi). A main ingredient in our proof is an induced variant of Mader's theorem: for every fixed \(s,η,D\), every graph \(J\) with \(Δ(J)\le D\), \(d(J)>s-2+η\) and sufficiently large girth contains an induced subdivision of \(K_s\).
The Outerplanar Turán Number of Double Stars
Let $H$ be a nonempty graph. A graph is $H$-free if it does not contain any copy of $H$ as a subgraph. The outerplanar Turán number of $H$, denoted by $ex_{_\mathcal{OP}}(n,H)$, is the maximum number of edges among all $H$-free outerplanar graphs on $n$ vertices. A double star $S_{p,q}$ is the graph obtained from an edge by joining its two endpoints with $p$ and $q$ isolated vertices respectively, where $q \ge p\ge 1$. In this paper, we determine the exact values of $ex_{_\mathcal{OP}}(n,S_{p,q})$ for all $q\ge p\ge 2$, with the sole exception of $p=2$ and $q=3$; for the latter, we establish a lower bound.
Equitable partitions of regular graphs, and perfect sets in normal Cayley graphs
An equitable partition of a graph $\Ga$ is a partition $\{V_1, \ldots, V_m\}$ of its vertex set such that for each pair $i, j$ all vertices in $V_i$ have the same number of neighbours in $V_j$. When $m=2$, $V_1$ is called an $(a, b)$-perfect set in $\Ga$, where $a$ is the number of neighbours in $V_1$ of each vertex in $V_1$, and $b$ is the number of neighbours in $V_1$ of each vertex in $V_2$. In this paper we first derive general necessary conditions for a regular graph to admit two equitable partitions. As a corollary we obtain necessary conditions for the existence of an $(a,b)$-perfect set in a regular graph in terms of an arbitrary equitable partition. With the help of these results we then obtain necessary conditions for the existence of an $(a,b)$-perfect set in a normal Cayley graph in terms of the irreducible characters of the underlying group.
Optimization problem for star covers of graphs without four cycles
This work presents a study of star covers on graphs. Unlike traditional formulations that minimize the number of stars, our aim is to optimize the number of bipartite components used in the cover. This problem, motivated by a symmetric nonnegative trifactorization of matrices and the SNT-rank of graphs, is in general hard to solve. We consider a family of graphs that do not contain four cycles, and develop an algorithm to determine the SNT-rank of such graphs.
Module Lattice Security (Part IV): Probabilistic Polynomial Quantum Attack on Module-LWE over 2-Power Cyclotomics
We present a quantum attack on ML-KEM and related 2-power cyclotomic lattice schemes. Combining with Parts I-III, we provide an algorithm and verify the resulting approximation factor satisfies $γ\le 21 < q/2=1665$ for ML-KEM-1024, with a success probability $\ge 0.99$. We apply a tower decomposition of the Principal Ideal Problem (PIP) through the chain $\Q \subset \Q(ζ_8) \subset \cdots \subset \Q(ζ_{2^k})$ which yields a polynomial-time quantum algorithm costing $O(n^3 \log^2 n)$ gates, $O(n^2 \log n)$ qubits, and $\mathrm{poly}(n)$ classical bit operations. We extend the analysis to Falcon, Hawk, and NTRU over 2-power cyclotomic rings. This means that ML-KEM, Falcon, Hawk, NTRU-HPS, and NTRU-HRSS with all standardized parameter sets are broken under quantum attack.
Triangles in graphs without the expansion of $4$-cycle
The expansion $F^{\triangle}$ of a graph $F$ is the graph obtained from $F$ by replacing each edge with a triangle. Lv \etal proposed a conjecture on the maximum number of triangles in a graph without $P_k^{\triangle}$ or $C_k^{\triangle}$ for every $k \ge 4$. Their conjecture was confirmed in previous work for $P_k^{\triangle}$ when $k \ge 4$ and $C_k^{\triangle}$ when $k \ge 5$. In this note, we resolve the remaining case $C_4^{\triangle}$, demonstrating that this is the only counterexample to their conjecture.
The (n-2,2)-Spectrum of a Graph
We study a representation-theoretic refinement of the ordinary Laplacian spectrum of a graph. Given a graph $G$ on $n$ vertices, one may associate to it the element \[ X_G=\sum_{ij\in E(G)} (ij)\in \C[S_n]. \] The action of $X_G$ in irreducible representations of $S_n$ produces spectral invariants of graphs. The standard representation $(n-1,1)$ recovers the ordinary graph Laplacian spectrum, up to the elementary affine change $X_G=mI-L_G$, where $m=|E(G)|$. The next component, $(n-2,2)$, gives the first representation-theoretic correction. We give an explicit edge-space model for this component, derive a concrete coordinate formula for the induced operator, give a conceptual formula for all trace moments, specialize it to trees as universal linear combinations of support-forest counts, and then compute the first three moments explicitly. The third moment is expressed in terms of three-edge subgraph counts. We also introduce a weighted trace polynomial and prove that this weighted refinement already reconstructs every tree from the second moment, except for a single exceptional value of $n$ where the fourth moment suffices. Finally we discuss the relation with the invariant-theoretic approach of Thiéry \cite{Thiery} and formulate a more explicit support-forest-profile conjecture for the unweighted graph isomorphism problem for trees.
Rooted bicubic planar maps via Dyck paths
We provide a combinatorial proof of Tutte's decomposition of rooted bicubic planar maps into 3-connected components. Motivated by the framework of Bell transformations, we establish an explicit bijection between rooted bicubic planar maps on $2n$ vertices and Dyck paths of semilength $3n$ with ascents of length divisible by 3, where each $3j$-ascent is colored using one of $g_j$ colors corresponding to the rooted 3-connected bicubic maps on $2j$ vertices. Our bijection gives a constructive method for assembling all rooted bicubic planar maps from their 3-connected building blocks. We give a simple proof for the fact that every 3-connected bicubic planar map on $2n$ vertices with $n \geq 4$ can be obtained from a smaller primitive map through just two insertion operations that add either 4 or 6 vertices. Finally, we briefly discuss rootings of 3-connected bicubic maps, providing lower bounds on the minimal number of rootings and showing that prism graphs can be used in combination with our insertion operations to generate maps with the maximum of $6n$ distinct rootings for all $n \geq 11$.
Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field
We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=λt^{3/2}+t\), where \(λ\in\mathbb R\setminus\mathbb Q\), singled out in their integer-coefficient derivative-span question, we prove that every \(F\in\nablaz(f_1,f_2)\) satisfies \(\lim_{t\to\infty}|F(t)|\in\{0,\infty\}\). Nevertheless, there is a set \(E\subset\mathbb N\) of positive natural density such that \(R_{f_1}(E)\cap R_{f_2}(E)\) is piecewise syndetic and not thick. Thus the proposed integer-coefficient replacement does not imply thickness.
We further show that, even under the same full integer derivative-span condition, the common return-time set may be empty. This stronger obstruction also gives a negative answer to their question asking whether the recurrence conclusion of Theorem A follows from joint intersectivity of the integer polynomials in \(\operatorname{poly}(f_1,\ldots,f_k)\). The constructions use elementary Bohr sets.
On Generic Linearly Constrained Frameworks
A linearly constrained framework in $\mathbb{R}^d$ is a bar-joint framework where, in addition, vertices with loops are constrained to lie in given affine subspaces. In the generic case, when each vertex is incident to sufficiently many loops, a characterisation of rigidity was obtained by Jackson, Nixon and Tanigawa for all $d\geq 3$. By extending this to characterise the rank function of the linearly constrained rigidity matroid (under the same loop hypothesis), sufficient conditions for a looped simple graph to be (globally) rigid in $\mathbb{R}^d$ are obtained. In the 2-dimensional case generic rigidity was characterised by Streinu and Theran, and we obtain a sharper sufficient condition in this case. A key technique is the application of the discharging method.
Triprojective almost perfect nonlinear permutations and functions
We give a large family of almost perfect nonlinear (APN) permutations of finite vector spaces of every odd dimension divisible by three. We also give APN functions that are not bijective on even dimensions and related highly nonlinear functions. The functions we provide admit a so-called triprojective structure induced by the general linear group $\mathrm{GL}(3,2^m)$.
MUBs from bent functions
This note contains a simple construction of complete sets of MUBs, using bent functions to write the new basis vectors as explicit linear combinations of the standard basis.
Hadamard Hypercubes
Although Hadamard matrices have been investigated since the nineteenth century, relatively little is known about their higher-dimensional analogues. In this paper, we introduce two constructions of Hadamard hypercubes. The first construction is derived from conference matrices, while the second is recursive, combining Hadamard matrices (and hypercubes) of smaller order with Latin hypercubes. The former approach draws on the theory of association schemes on triples, whereas the latter yields applications to the construction of higher-dimensional symmetric designs.
Hypermaps with hyperedges of length at most $3$
We study the computation of our recently introduced Whitney polynomial and the enumeration of the spanning hypertrees for hypermaps whose hyperedges have length at most $3$. This is a class of hypermaps where the computation of the above invariants depends only on the underlying (multi)hypergraph structure. We develop deletion-contraction formulas involving six types of generalized loops and bridges, and we prove results on special substitutions into our Whitney polynomial. We generalize the reliability polynomial and the random cluster model to hypermaps in general in such a way that they can be computed using our Whitney polynomial. Finally we explicitly count the spanning hypertrees in reciprocals of plane graphs in which every vertex has degree at most $3$.
A Ridge-Saturation Characterization of $α$-Critical $\mathbf {W}_p$ Graphs
We characterize the graphs which are simultaneously $α$-critical and members of the class $\mathbf W_p$. The characterization is stated in three equivalent languages. In the graph itself, such a graph is a well-covered graph whose codimension-one localization fibers all have size at least $p$ and whose edges are exactly covered by the cliques induced by those fibers. In the independence complex, it is a pure flag complex in which every ridge has degree at least $p$ and every missing edge is generated by the link of a ridge. In the complement, it is a $K_{r+1}$-saturated graph, where $r=α(G)$, all maximal cliques have size $r$, and the minimum $(r-1)$-clique-codegree is at least $p$. This gives an exact formula for the largest $p$ for which a well-covered graph belongs to $\mathbf W_p$. We make this complement correspondence explicit, record saturation-theoretic consequences including dense-complement rigidity and $p$-sensitive edge and order bounds, and give a family of sharp examples showing that the local sufficient condition from the recent work of Hoang, Levit and Mandrescu is not necessary outside the locally triangle-free setting, for all $p\ge2$.