2024-10-29 | | Total: 332
Rate-matching of low-density parity-check (LDPC) codes enables a single code description to support a wide range of code lengths and rates. In 5G NR, rate matching is accomplished by extending (lifting) a base code to a desired target length and by puncturing (not transmitting) certain code bits. LDPC codes and rate matching are typically designed for the asymptotic performance limit with an ideal decoder. Practical LDPC decoders, however, carry out tens or fewer message-passing decoding iterations to achieve the target throughput and latency of modern wireless systems. We show that one can optimize LDPC code puncturing patterns for such few-iteration-constrained decoders using a method we call swapping of punctured and transmitted blocks (SPAT). Our simulation results show that SPAT yields from 0.20 dB up to 0.55 dB improved signal-to-noise ratio performance compared to the standard 5G NR LDPC code puncturing pattern for a wide range of code lengths and rates.
Let $(f,g): (S,s) \to (\mathbb{C}^2, 0)$ be a finite morphism from a germ of normal complex analytic surface to the germ of $\mathbb{C}^2$ at the origin. We show that the affine algebraic curve in $\mathbb{C}^2$ defined by the initial Newton polynomial of a defining series of the discriminant germ of $(f,g)$ depends up to toric automorphisms only on the germs of curves defined by $f$ and $g$. This result generalizes a theorem of Gryszka, Gwoździewicz and Parusiński, which is the special case in which $(S,s)$ is smooth. Our proof uses a common generalization of formulas of Lê and Casas-Alvero for the intersection number of the discriminant with a germ of plane curve. It uses also a theorem of Delgado and Maugendre characterizing the special members of pencils of curves on normal surface singularities. We apply it to the pencils generated by all pairs $(f^b, g^a)$, for varying positive integral exponents $a, b$, following a strategy initiated by Gwoździewicz. This is similar to the Eudoxian method of comparison of magnitudes by comparing the sizes of their positive integral multiples.
The cosmetic surgery conjecture predicts that for a non-trivial knot in the three-sphere, performing two different Dehn surgeries results in distinct oriented three-manifolds. Hanselman reduced the problem to $\pm 2$ or $\pm 1/n$-surgeries being the only possible cosmetic surgeries. We remove the case of $\pm 1/n$-surgeries using the Chern-Simons filtration on Floer's original irreducible-only instanton homology, reducing the conjecture to the case of $\pm 2$-surgery on genus $2$ knots with trivial Alexander polynomial. Along the way, we establish a new surgery relationship for Floer's instanton homology and prove some similar results for surgeries on knots in $S^2 \times S^1$.
Use of multi-path network topologies has become a prominent technique to assert timeliness in terms of age of information (AoI) and to improve resilience to link disruptions in communication systems. However, establishing multiple dedicated communication links among network nodes is a costly endeavor. Therefore, quite often, these secondary communication links are shared among multiple entities. Moreover, these multi-path networks come with the added challenge of out-of-order transmissions. In this paper, we study an amalgamation of the above two aspects, i.e., multi-path transmissions and link sharing. In contrast to the existing literature where the main focus has been scheduling multiple sources on a single shared server, we delve into the realm where each source sharing the shared server is also supplemented with its dedicated server so as to improve its timeliness. In this multi-path link sharing setting with generate-at-will transmissions, we first present the optimal probabilistic scheduler, and then propose several heuristic-based cyclic scheduling algorithms for the shared server, to minimize the weighted average age of information of the sources.
In the framework of the spatial circular Hill three-body problem we illustrate the application of symplectic invariants to analyze the network structure of symmetric periodic orbit families. The extensive collection of families within this problem constitutes a complex network, fundamentally comprising the so-called basic families of periodic solutions, including the orbits of the satellite $g$, $f$, the libration (Lyapunov) $a,c$, and collision $\mathcal B_0$ families. Since the Conley-Zehnder index leads to a grading on the local Floer homology and its Euler characteristics, a bifurcation invariant, the computation of those indices facilitates the construction of well-organized bifurcation graphs depicting the interconnectedness among families of periodic solutions. The critical importance of the symmetries of periodic solutions in comprehending the interaction among these families is demonstrated.
Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vopěnka's principle. In this article, we prove that each of the following statements is equivalent to an axiom of lower consistency strength than Vopěnka's principle, known as weak Vopěnka's principle: (a) Localization with respect to any class of maps exists in the homotopy category of simplicial sets; (b) Localization with respect to any class of maps exists in the homotopy category of spectra; (c) Localization with respect to any class of morphisms exists in any presentable $\infty$-category; (d) Every full subcategory closed under products and fibres in a triangulated category with locally presentable models is reflective. Our results are established using Wilson's 2020 solution to a long-standing open problem concerning the relative consistency of weak Vopěnka's principle within the large-cardinal hierarchy.
A non-planar graph is almost-planar if either deleting or contracting any edge makes it planar. A graph with $n$ vertices is pancyclic if it contains a cycle of every length from $3$ to $n$, and it is Hamiltonian if it contains a cycle of length $n$. A Hamiltonian path is a path of length $n$ and a graph with a Hamiltonian path between every pair of vertices is called Hamiltonian-connected. In 1990, Gubser characterized the class of almost-planar graphs. This paper explores the pancyclicity of these graphs. We prove that a $3$-connected almost-planar graph is pancyclic if and only if it has a cycle of length 3. Furthermore, we prove that a 4-connected almost-planar graph is both pancyclic and Hamiltonian-connected.
We prove a generalization of Gromov's conjecture on scalar curvature rigidity of convex polytopes to arbitrary convex Riemannian polytope type domains via harmonic spinors on convex domians with boundary condition constructed by Brendle. In particular, we prove a rigidity results on comparison of scalar curvature and scaled mean curvature on the boundary for any convex domain in Euclidean space, which is a parallel of Shi-Tam's results.
We show that there are well-defined maps on sutured ECH induced by contact 2-handle attachments and that the sutured ECH contact class is functorial under such maps.
In this small note, we collect several observations pertaining to the famous spectral graph parameter $\mu$ introduced in 1990 by Y. Colin de Verdière. This parameter is defined as the maximum corank among certain matrices akin to weighted Laplacians; we call them CdV matrices. First, we answer negatively a question mentioned in passing in the influential 1996 survey on $\mu$ by van der Holst, Lovász, and Schrijver concerning the Perron--Frobenious eigenvector of CdV matrices. Second, by definition, CdV matrices posses certain transversality property. In some cases, this property is known to be satisfied automatically. We add one such case to the list. Third, Y. Colin de Verdière conjectured an upper bound on $\mu(G)$ for graphs embeddable into a fixed closed surface. Following a recent computer-verified counterexample to a continuous version of the conjecture by Fortier Bourque, Gruda-Mediavilla, Petri, and Pineault [arXiv:2312.03504], we also check using computer that the analogous example shows the failure of the conjectured upper bound on $\mu(G)$ for graphs embeddable into 10-torus as well as to several other larger surfaces.
We prove that the Artin-Schreier-Witt isogeny in characteristic $p > 0$ lifts to characteristic $0$.
Nowadays, we have seen that dual quaternion algorithms are used in 3D coordinate transformation problems due to their advantages. 3D coordinate transformation problem is one of the important problems in geodesy. This transformation problem is encountered in many application areas other than geodesy. Although there are many coordinate transformation methods (similarity, affine, projective, etc.), similarity transformation is used because of its simplicity. The asymmetric transformation is preferred to the symmetric coordinate transformation because of its ease of use. In terms of error theory, the symmetric transformation should be preferred. In this study, the topic of symmetric similarity 3D coordinate transformation based on the dual quaternion algorithm is discussed, and the bottlenecks encountered in solving the problem and the solution method are discussed. A new iterative algorithm based on the dual quaternion is presented. The solution is implemented in two different models: with constraint equations and without constraint equations. The advantages and disadvantages of the two models compared to each other are also evaluated. Not only the transformation parameters but also the errors of the transformation parameters are determined. The detailed derivation of the formulas for estimating the symmetric similarity of 3D transformation parameters is presented step by step. Since symmetric transformation is the general form of asymmetric transformation, we can also obtain asymmetric transformation results with a simple modification of the model we developed for symmetric transformation. The proposed algorithm is capable of performing both 2D and 3D symmetric and asymmetric similarity transformations. For the 2D transformation, it is sufficient to replace the z and Z coordinates in both systems with zero.
We provide a 3 dimensional contact geometric characterization of Anosov 3-flows based on interactions with Reeb dynamics. We investigate basic properties of the space of the resulting geometries. A technical theorem on the expansion uniformization of adapted norms is proved, which can be of broader interest.
Seam carving, a content-aware image resizing technique, has garnered significant attention for its ability to resize images while preserving important content. In this paper, we conduct a comprehensive analysis of four algorithmic design techniques for seam carving: brute-force, greedy, dynamic programming, and GPU-based parallel algorithms. We begin by presenting a theoretical overview of each technique, discussing their underlying principles and computational complexities. Subsequently, we delve into empirical evaluations, comparing the performance of these algorithms in terms of runtime efficiency. Our experimental results provide insights into the theoretical complexities of the design techniques.
We generalize a classical result by Boris Delaunay that introduced Delaunay triangulations. In particular, we prove that for a locally finite and coarsely dense generic point set $A$ in $\mathbb{R}^d$, every generic point of $\mathbb{R}^d$ belongs to exactly $\binom{d+k}{d}$ simplices whose vertices belong to $A$ and whose circumspheres enclose exactly $k$ points of $A$. We extend this result to the cases in which the points are weighted, and when $A$ contains only finitely many points in $\mathbb{R}^d$ or in $\mathbb{S}^d$. Furthermore, we use the result to give a new geometric proof for the fact that volumes of hypersimplices are Eulerian numbers.
The simplest model of contraction-driven self-propulsion of keratocytes reduces to a one dimensional Keller-Segel system with free boundaries. This "active" model involving both dissipation and anti-dissipation features stationary and traveling wave solutions representing static and moving cells, respectively. The goal of this paper is to provide the first rigorous proof of the asymptotic nonlinear stability of both of such solutions. In the case of stationary solutions, the linear stability is established using the spectral theorem for compact, self-adjoint operators, and thus linear stability is determined solely by eigenvalues. For traveling waves the picture is more complex because the linearized problem is non-self-adjoint, opening the possibility of a "dark" area in the phase space which is not "visible" in the purely eigenvalue/eigenvector approach. To establish linear stability in this case we employ spectral methods together with the Gearhart-Pruss-Greiner Theorem, which requires a uniform bound on the resolvent of the linear operator. For both stationary and traveling wave solutions, nonlinear stability is then proved by showing how the nonlinear part of the problem may be controlled by the linear part and then employing a Grönwall inequality argument. The developed methodology can prove useful also in other problems involving non-Hermitian and non-reciprocal operators which are ubiquitous in the description of active matter.
Let $\pi : X \to B$ be a projective Lagrangian fibration of a smooth symplectic variety $X$ to a smooth variety $B$. Denote the complement of the discriminant locus by $B_0 = B \setminus \operatorname{Disc}(\pi)$, its preimage by $X_0 = \pi^{-1}(B_0)$, and the complement of the critical locus by $X' = X \setminus \operatorname{Sing}(\pi)$. Under an assumption that the morphism $X' \to B$ is surjective, we construct (1) the Néron model of the abelian fibration $\pi_0 : X_0 \to B_0$ and (2) the Néron model of its automorphism abelian scheme $\operatorname{Aut}^{\circ}_{\pi_0} \to B_0$. Contrary to the case of elliptic fibrations, $X'$ may not be the Néron model of $X_0$; this is precisely because of the existence of flops in higher-dimensional symplectic varieties. Using such techniques, we analyze when $X' \to B$ is a torsor under a smooth group scheme and also revisit some known results in literature.
We produce a new $192$-periodic infinite family of simple $\eta$-torsion elements in the stable homotopy groups of spheres using the $\mathit{tmf}$-Hurewicz homomorphism and the complex projective plane.
The Chen-Raspaud Conjecture posits that for every integer \( k \geq 2 \), any graph \( G \) with maximum average degree \( \mathrm{mad}(G) < 2 + \frac{1}{k} \) and odd girth at least \( 2k + 1 \) admits a homomorphism to the Kneser graph \( KG_{2k+1,k} \). While this conjecture has been confirmed for \( k = 2 \) and \( k = 3 \), it remains open for larger values of \( k \). In this paper, I present comprehensive and rigorous proofs confirming the conjecture for \( k = 3 \) and \( k = 4 \). By employing enhanced discharging methods, introducing new structural lemmas, and conducting a thorough analysis of the graphs in question, I not only confirm the conjecture for these cases but also strengthen the theoretical framework, laying the groundwork for potential extensions to higher values of \( k \).
In this paper, we consider the resonance problem for the cubic nonlinear Helmholtz equation in the subwavelength regime. We derive a discrete model for approximating the subwavelength resonances of finite systems of high-contrast resonators with Kerr-type nonlinearities. Our discrete formulation is valid in both weak and strong nonlinear regimes. Compared to the linear formulation, it characterizes the soliton-like extra eigenmodes that have recently been experimentally observed.
We are concerned with polynomial involutions in characteristic two. In this note, we look for involutions among triangular automorphisms of the four-dimensional polynomial ring in characteristic two and obtain three types of such involutions.
We continue to study left-invariant pseudo-Riemannian metrics on Lie groups being in the null cone of the $O(p,q)$-action using the moving bracket approach. In particular, the Lie algebra being in the null cone implies that the pseudo-Riemannian metric have all vanishing scalar curvature invariants (VSI). We consider \emph{all} Lie algebras of dimension $\leq 6$ and we find that all solvable Lie algebras, and non-trivially Levi-decomposable Lie algebras, of dimension $\leq 6$ are in the null cone, \emph{except} the 3-dimensional solvable Lie algebra $\mathfrak{s}_{3,3}$. For $\mathfrak{g}$ semi-simple, we also give a construction where $\mathfrak{g}\oplus\mathbb{R}^m$ is in the null cone and give examples of such spaces for \emph{all} the real simple Lie algebras $\mathfrak{g}$. For example, for the exceptional split groups this construction places the split $\mathfrak{e}_6\oplus\mathbb{R}^6$, split $\mathfrak{e}_7\oplus\mathbb{R}^7$ and split $\mathfrak{e}_8\oplus\mathbb{R}^8$ in the null cone of the $O(42,42)$, $O(70.70)$ and $O(128,128)$ action, respectively, and hence, their corresponding left-invariant pseudo-Riemannian metrics are VSI.
We establish a weak form of Ennola's conjecture. We achieve this by showing that two main assumptions Louboutin made in his previous work hold true. These assumptions are about Laurent polynomials over the rationals, and we prove them by using Newton identities.
We develop a new spatial semidiscrete multiscale method based upon the edge multiscale methods to solve semilinear parabolic problems with heterogeneous coefficients and smooth initial data. This method allows for a cheap spatial discretization, which fails to resolve the spatial heterogeneity but maintains satisfactory accuracy independent of the heterogeneity. This is achieved by simultaneously constructing a steady-state multiscale ansatz space with certain approximation properties for the evolving solution and the initial data. The approximation properties of the multiscale ansatz space are derived using local-global splitting. A fully discrete scheme is analyzed using a first-order explicit exponential Euler scheme. We derive the error estimates in the $L^{2}$-norm and energy norm under the regularity assumptions for the semilinear term. The convergence rates depend on the coarse grid size and the level parameter. Finally, extensive numerical experiments are carried out to validate the efficiency of the proposed method.
In this paper, we consider a variant of the so-called minimum flow decomposition (MFD) problem in which uncertainty regarding edge capacities is taken into account from a robustness perspective. In the classical flow decomposition problem, a network flow is decomposed into a set of weighted paths from a fixed source node to a fixed sink node that precisely represents the flow distribution across all edges. While MFDs are often used in bioinformatics applications, they are also applicable in other fields, such as flows of goods or passengers in distribution networks, where the decomposition represents the vehicles and corresponding capacities needed to cover these flows. We generalize this problem to the weighted inexact case with lower and upper bounds on the flow values, provide a detailed analysis, and explore different variants that are solvable in polynomial time. Moreover, we introduce the concept of robust flow decomposition by incorporating uncertain flows and applying different robustness concepts to handle the uncertainty. Finally, we present two different adjustable problem formulations and perform computational experiments illustrating the benefit of adjustability in the uncertain case in a subsequent computational study.