title: A uniform characterization of the octonions and the quaternions using commutators

abstract: Let $R$ be a ring with ${\bf 1}$ which is not commutative. Assume that a non-zero commutator in $R$ is not a zero divisor. Assume further that either $R$ is alternative, but not associative, or $R$ is associative and any commutator $v\in R$ satisfies: $v^2$ is in the center of $R.$ We prove that $R$ has no zero divisors. Furthermore, if $\text{char}(R)\ne 2,$ then the localization of $R$ at its center is an octonion division algebra, if $R$ is alternative and a quaternion division algebra, if $R$ is associative. Our proof in both cases is essentially the same and it is elementary and rather self contained.


title: FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller

abstract: [Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements elicitation and some of these also support formalisation of requirements in a way that is useful for formal methods. [Question/problem] This paper reports on our experience of using the FRET alongside our industrial partner. The use case that we investigate is an aircraft engine controller. In this context, we evaluate the use of FRET to bridge the communication gap between formal methods experts and aerospace industry specialists. [Principal ideas/results] We describe our journey from ambiguous, natural-language requirements to concise, formalised FRET requirements. We include our analysis of the formalised requirements from the perspective of patterns, translation into other formal methods and the relationship between parent-child requirements in this set. We also provide insight into lessons learned throughout this process and identify future improvements to FRET. [Contribution] Previous experience reports have been published by the FRET team, but this is the first such report of an industrial use case that was written by researchers that have not been involved FRET's development.


title: A Two-Weight Boundedness Criterion and Its Applications

abstract: In this article, the authors establish a general (two-weight) boundedness criterion for a pair of functions, $(F,f)$, on $\mathbb{R}^n$ in the scale of weighted Lebesgue spaces, weighted Lorentz spaces, (Lorentz--)Morrey spaces, and variable Lebesgue spaces. As applications, the authors give a unified approach to prove the (two-weight) boundedness of Calder\'on--Zygmund operators, Littlewood--Paley $g$-functions, Lusin area functions, Littlewood--Paley $g^\ast_\lambda$-functions, and fractional integral operators, in the aforementioned function spaces. Moreover, via applying the above (two-weight) boundedness criterion, the authors further obtain the (two-weight) boundedness of Riesz transforms, Littlewood--Paley $g$-functions, and fractional integral operators associated with second-order divergence elliptic operators with complex bounded measurable coefficients on $\mathbb{R}^n$ in the aforementioned function spaces.


title: NNLO Positivity Bounds on Chiral Perturbation Theory for a General Number of Flavours

abstract: We present positivity bounds, derived from the principles of analyticity, unitarity and crossing symmetry, that constrain the low-energy constants of chiral perturbation theory. Bounds are produced for 2, 3 or more flavours in meson-meson scattering with equal meson masses, up to and including next-to-next-to-leading order (NNLO), using the second and higher derivatives of the amplitude. We enhance the bounds by using the most general isospin combinations posible (or higher-flavour counterparts thereof) and by analytically integrating the low-energy range of the discontinuities. In addition, we present a powerful and general mathematical framework for efficiently managing large numbers of positivity bounds.


title: Entanglement entropy and monotones in scattering process

abstract: In this paper, we study the entanglement property of a 4-particle system. In this system, two initially entangled electrons A and C are scattered by two uncorrelated positrons B and D, respectively. We calculate the entanglements among the particles both before and after the double QED scattering ($AB\rightarrow AB, CD\rightarrow CD$). We find that the change of entanglement entropy between subsystems A and B during the scattering processs is proportional to the total cross section, $\sigma_{tot}=\sigma_{AB}\times\sigma_{CD}$. Even though there is no direct interaction between subsystems A and C (or B and D), the scattering process induces entanglement change among them which is also proportional to $\sigma_{tot}$. This result shows some kind of entanglement sharing property in multipartite system. In order to further investigate the entanglement sharing, we calculate the entanglement monotones which quantify the genuine multipartite entanglement in a multipartite system. For our chosen scattering process, $e^+e^-\rightarrow\mu^+\mu^-$, however, we find that the outgoing state is a W-type 4-partite entangled state which has no genuine 4-partite entanglement.


title: Feature matching for multi-epoch historical aerial images

abstract: Historical imagery is characterized by high spatial resolution and stereo-scopic acquisitions, providing a valuable resource for recovering 3D land-cover information. Accurate geo-referencing of diachronic historical images by means of self-calibration remains a bottleneck because of the difficulty to find sufficient amount of feature correspondences under evolving landscapes. In this research, we present a fully automatic approach to detecting feature correspondences between historical images taken at different times (i.e., inter-epoch), without auxiliary data required. Based on relative orientations computed within the same epoch (i.e., intra-epoch), we obtain DSMs (Digital Surface Model) and incorporate them in a rough-to-precise matching. The method consists of: (1) an inter-epoch DSMs matching to roughly co-register the orientations and DSMs (i.e, the 3D Helmert transformation), followed by (2) a precise inter-epoch feature matching using the original RGB images. The innate ambiguity of the latter is largely alleviated by narrowing down the search space using the co-registered data. With the inter-epoch features, we refine the image orientations and quantitatively evaluate the results (1) with DoD (Difference of DSMs), (2) with ground check points, and (3) by quantifying ground displacement due to an earthquake. We demonstrate that our method: (1) can automatically georeference diachronic historical images; (2) can effectively mitigate systematic errors induced by poorly estimated camera parameters; (3) is robust to drastic scene changes. Compared to the state-of-the-art, our method improves the image georeferencing accuracy by a factor of 2. The proposed methods are implemented in MicMac, a free, open-source photogrammetric software.


title: Solving graph equipartition SDPs on an algebraic variety

abstract: Semidefinite programs are generally challenging to solve due to their high dimensionality. Burer and Monteiro developed a non-convex approach to solve linear SDP problems by applying its low rank property. Their approach is fast because they used factorization to reduce the problem size. In this paper, we focus on solving the SDP relaxation of a graph equipartition problem, which involves an additional semidefinite upper bound constraint over the traditional linear SDP. By applying the factorization approach, we get a non-convex problem with an additional non-smooth spectral inequality constraint. We discuss when the non-convex problem is equivalent to the original SDP, and when a second order stationary point of the non-convex problem is also a global minimum. Our results generalize previous works on smooth non-convex factorization approaches for linear SDP to the non-smooth case. Moreover, the constraints of the non-convex problem involve an algebraic variety with some conducive properties that allow us to use Riemannian optimization techniques and non-convex augmented Lagrangian method to solve the SDP problem very efficiently with certified global optimality.


title: Tutorial on communication between access networks and the 5G core

abstract: Fifth-generation (5G) networks enable a variety of use cases that require differentiated connectivity, e.g., Ultra-Reliable and Low-Latency Communications (URLLC), enhanced Mobile Broadband (eMBB), and massive Machine Type Communication (mMTC). To explore the full potential of these use cases, it is mandatory to understand the communication along with the 5G network segments and architecture components. User Equipment (UE), Radio Access Network (RAN), and 5G Core (5GC) are the main components that support these new network concepts and paradigms. 3rd Generation Partnership Project has recently published Release 16, including the protocols used to communicate between RANs and 5GC, i.e., Non-Access Stratum (NAS) and NG Application Protocol (NGAP). The main goal of this work is to present a comprehensive tutorial about NAS and NGAP specifications using a didactic and practical approach. The tutorial describes the protocol stacks and aspects of the functionality of these protocols in 5G networks, such as authentication and identification procedures, data session establishment, and resource allocation. Moreover, we review the message flows related to these protocols in UE and Next Generation Node B (gNodeB) registration. To illustrate the concepts presented in the tutorial, we developed the my5G Tester: a 5GC tester that implements NAS and NGAP for evaluating three open-source 5GC projects using a black-box testing methodology.


title: The MAGIC project. III. Radial and azimuthal Galactic abundance gradients using classical Cepheids

abstract: Radial abundance gradients provide sound constraints for chemo-dynamical models of galaxies. Azimuthal variations of abundance ratios are solid diagnostics to understand their chemical enrichment. In this paper we investigate azimuthal variations of abundances in the Milky Way using Cepheids. We provide the detailed chemical composition (25 elements) of 105 Classical Cepheids from high-resolution SALT spectra observed by the MAGIC project. Negative abundance gradients, with abundances decreasing from the inner to the outer disc, have been reported both in the Milky Way and in external galaxies, and our results are in full agreement with literature results. We find azimuthal variations of the oxygen abundance [O/H]. While a large number of external spirals show negligible azimuthal variations, the Milky Way seems to be one of the few galaxies with noticeable [O/H] azimuthal asymmetries. They reach ~0.2 dex in the inner Galaxy and in the outer disc, where they are the largest, thus supporting similar findings for nearby spiral galaxies as well as recent 2D chemo-dynamical models.


title: On the computation of the nilpotent pieces in bad characteristic for algebraic groups of type $G_2$, $F_4$, and $E_6$

abstract: Let $G$ be a connected reductive algebraic group over an algebraically closed field $\mathbf{k}$, and let Lie$(G)$ be its associated Lie algebra. In his series of papers on unipotent elements in small characteristic, Lusztig defined a partition of the unipotent variety of $G$. This partition is very useful when working with representations of $G$. Equivalently, one can consider certain subsets of the nilpotent variety of Lie$(G)$ called pieces. This approach appears in Lusztig's article from 2011. The pieces for the exceptional groups of type $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$ in bad characteristic have not yet been determined. This article presents a solution, relying on computational techniques, to this problem for groups of type $G_2$, $F_4$, and $E_6$.


title: Antiferromagnetism beyond classical percolation threshold in the site-diluted half-filled one-band Hubbard model in three dimensions

abstract: We investigate the impact of site dilution by setting the on-site repulsion strength ($U$) to zero at a fraction of sites in the half-filled Hubbard model on a simple cubic lattice. We employ a semi-classical Monte-Carlo approach first to recover the zero dilution (undiluted $x=1$) properties, including $U$ dependence of insulator to metal crossover temperature scale $T^*$ and long-range staggered antiferromagnetic ordering temperature ($T_N$). For the non-perturbative regime of $U \sim$ bandwidth, we find a rapid suppression of $T^*$ with reducing $x$ from 1 to 0.7. However, $T_N$ remains unchanged in this dilution range, showing a weakening of the insulating state but not of the magnetic order. At $x \leq 0.7$, $T^*$ and $T_N$ coincide and are suppressed together with further increase in site-dilution. Finally, the system loses the magnetic order and the insulating state for $x=0.15$, significantly below the classical percolation threshold $x_p^{sc} (\sim 0.31$). We show that the induced moments on $U=0$ sites drive the magnetic order below the classical percolation limit by studying local moment systematics and finite-size analysis of magnetic order. At the end, we show that either increasing $U$ to large values or raising temperature beyond a $U$ dependent critical value, suppresses the induced local moments of the $U=0$ sites and recovers the classical percolation threshold.


title: Efficient Batch Homomorphic Encryption for Vertically Federated XGBoost

abstract: More and more orgainizations and institutions make efforts on using external data to improve the performance of AI services. To address the data privacy and security concerns, federated learning has attracted increasing attention from both academia and industry to securely construct AI models across multiple isolated data providers. In this paper, we studied the efficiency problem of adapting widely used XGBoost model in real-world applications to vertical federated learning setting. State-of-the-art vertical federated XGBoost frameworks requires large number of encryption operations and ciphertext transmissions, which makes the model training much less efficient than training XGBoost models locally. To bridge this gap, we proposed a novel batch homomorphic encryption method to cut the cost of encryption-related computation and transmission in nearly half. This is achieved by encoding the first-order derivative and the second-order derivative into a single number for encryption, ciphertext transmission, and homomorphic addition operations. The sum of multiple first-order derivatives and second-order derivatives can be simultaneously decoded from the sum of encoded values. We are motivated by the batch idea in the work of BatchCrypt for horizontal federated learning, and design a novel batch method to address the limitations of allowing quite few number of negative numbers. The encode procedure of the proposed batch method consists of four steps, including shifting, truncating, quantizing and batching, while the decoding procedure consists of de-quantization and shifting back. The advantages of our method are demonstrated through theoretical analysis and extensive numerical experiments.


title: Zero-field magnetometry based on the combination of atomic orientation and alignment

abstract: Optically pumped magnetometers usually rely on optical pumping using circularly- or linearly-polarized light. We study here zero-field magnetometers pumped with elliptically-polarized light, preparing both atomic orientation and alignment with complementary geometries. We start by extending the "three-step approach" for elliptically-polarized pumping. This allows us studying the Hanle effect in elliptical polarization by comparing the analytical absorption signals with experiments made on helium-4 metastable state. We then study parametric resonance magnetometers based on elliptical polarization by using the dressed-atom formalism with one and two radio-frequency fields. The results show a good agreement with the experimental measurements and open interesting perspectives for magnetometry where symmetry breaking by pumping light is mitigated.


title: Artificial Intelligence Powered Mobile Networks: From Cognition to Decision

abstract: Mobile networks (MN) are anticipated to provide unprecedented opportunities to enable a new world of connected experiences and radically shift the way people interact with everything. MN are becoming more and more complex, driven by ever-increasingly complicated configuration issues and blossoming new service requirements. This complexity poses significant challenges in deployment, management, operation, optimization, and maintenance, since they require a complete understanding and cognition of MN. Artificial intelligence (AI), which deals with the simulation of intelligent behavior in computers, has demonstrated enormous success in many application domains, suggesting its potential in cognizing the state of MN and making intelligent decisions. In this paper, we first propose an AI-powered mobile network architecture and discuss challenges in terms of cognition complexity, decisions with high-dimensional action space, and self-adaption to system dynamics. Then, potential solutions that are associated with AI are discussed. Finally, we propose a deep learning approach that directly maps the state of MN to perceived QoS, integrating cognition with the decision. Our proposed approach helps operators in making more intelligent decisions to guarantee QoS. Meanwhile, the effectiveness and advantages of our proposed approach are demonstrated on a real-world dataset, involving $31261$ users over $77$ stations within $5$ days.


title: Description of laminar-turbulent transition of an airfoil boundary layer measured by differential image thermography using directed percolation theory

abstract: The study presented here addresses the challenging problem of laminar-turbulent flow transition in boundary layers. Directed percolation theory has emerged as a promising approach to understand and describe this transition in different scenarios. This study utilizes differential image thermography (DIT) to investigate the boundary layer transition on the suction side of a heated airfoil, presenting new experimental findings. First, the DIT results underline the ability of capturing the near surface transition for the airfoil boundary layer with a high temporal and spatial resolution. Second, the evaluation reveals the effectiveness of directed percolation theory in describing the onset of the transition, showing agreement with all three universal exponents of (1+1)D directed percolation theory. Third, the study shows the applicability of this theory to a wide range of flow situations beyond the parameter space covered in previous examinations. These findings underscore the possible application of directed percolation models in fluid mechanics and suggest that the theory could serve as a high precision tool for describing the transition to turbulence.


title: Graceful labellings of variable windmills using Skolem sequences

abstract: In this paper, we introduce graceful and near graceful labellings of several families of windmills. In particular, we use Skolem-type sequences to prove (near) graceful labellings exist for windmills with $C_3$ and $C_4$ vanes, and infinite families of $3,5$-windmills and $3,6$-windmills. Furthermore, we offer a new solution showing that the graph obtained from the union of $t$ 5-cycles with one vertex in common ($C_5^t$) is graceful if and only if $t \equiv 0,3\!\!\pmod{4}$ and is near graceful when $t\equiv 1,2 \pmod{4}$.


title: Forecasting Brain Activity Based on Models of Spatio-Temporal Brain Dynamics: A Comparison of Graph Neural Network Architectures

abstract: Comprehending the interplay between spatial and temporal characteristics of neural dynamics can contribute to our understanding of information processing in the human brain. Graph neural networks (GNNs) provide a new possibility to interpret graph structured signals like those observed in complex brain networks. In our study we compare different spatio-temporal GNN architectures and study their ability to model neural activity distributions obtained in functional MRI (fMRI) studies. We evaluate the performance of the GNN models on a variety of scenarios in MRI studies and also compare it to a VAR model, which is currently often used for directed functional connectivity analysis. We show that by learning localized functional interactions on the anatomical substrate, GNN based approaches are able to robustly scale to large network studies, even when available data are scarce. By including anatomical connectivity as the physical substrate for information propagation, such GNNs also provide a multi-modal perspective on directed connectivity analysis, offering a novel possibility to investigate the spatio-temporal dynamics in brain networks.


title: Implicit Neural Representations for Image Compression

abstract: Recently Implicit Neural Representations (INRs) gained attention as a novel and effective representation for various data types. Thus far, prior work mostly focused on optimizing their reconstruction performance. This work investigates INRs from a novel perspective, i.e., as a tool for image compression. To this end, we propose the first comprehensive compression pipeline based on INRs including quantization, quantization-aware retraining and entropy coding. Encoding with INRs, i.e. overfitting to a data sample, is typically orders of magnitude slower. To mitigate this drawback, we leverage meta-learned initializations based on MAML to reach the encoding in fewer gradient updates which also generally improves rate-distortion performance of INRs. We find that our approach to source compression with INRs vastly outperforms similar prior work, is competitive with common compression algorithms designed specifically for images and closes the gap to state-of-the-art learned approaches based on Rate-Distortion Autoencoders. Moreover, we provide an extensive ablation study on the importance of individual components of our method which we hope facilitates future research on this novel approach to image compression.


title: A new $k$-partite graph $k$-clique iterator and the optimal colored Tverberg problem for ten colored points

abstract: We provide an algorithm that verifies the optimal colored Tverberg problem for $10$ points in the plane: Every $10$ points in the plane in color classes of size at most $3$ can be partitioned in $4$ rainbow pieces such that their convex hulls intersect in a common point. This is achieved by translating the problem to $k$-partite graphs and using a new algorithm to verify that those graphs do not have a $k$-clique.


title: Instability of vectorized stars

abstract: In recent papers it has been shown that a large class of vectorization mechanisms in gravity, which involve the vector fields becoming apparently tachyonic in some regime, are actually dominated by ghosts and non-perturbative behavior. Despite this, vectorized compact object solutions have previously been found, which raises the question of how, and if, the newly discovered ghosts are quenched in these cases. Here we develop the tools to study the perturbations of vectorized compact objects, and demonstrate that they suffer from ghosts and gradient instabilities as well. Thus, these vectorized objects do not represent the stable end point of a quenched instability unlike their scalarized counterparts in the spontaneous scalarization literature.


title: Interplay of orientational order and roughness in simulated thin film growth of anisotropically interacting particles

abstract: Roughness and orientational order in thin films of anisotropic particles are investigated using kinetic Monte Carlo simulations on a cubic lattice. Anisotropic next-neighbor interactions between the lattice particles were chosen to mimic the effects of shape anisotropy in the interactions of disc- or rod-like molecules with van-der-Waals attractions. Increasing anisotropy leads first to a preferred orientation in the film (which is close to the corresponding equilibrium transition) while the qualitative mode of roughness evolution (known from isotropic systems) does not change. At strong anisotropies, an effective step-edge (Ehrlich-Schwoebel) barrier appears and a non-equilibrium roughening effect is found, accompanied by re-ordering in the film which can be interpreted as the nucleation and growth of domains of lying-down discs or rods. The information on order and roughness is combined into a diagram of dynamic growth modes.


title: RLBWT Tricks

abstract: Until recently, most experts would probably have agreed we cannot backwards-step in constant time with a run-length compressed Burrows-Wheeler Transform (RLBWT), since doing so relies on rank queries on sparse bitvectors and those inherit lower bounds from predecessor queries. At ICALP '21, however, Nishimoto and Tabei described a new, simple and constant-time implementation. For a permutation $\pi$, it stores an $O (r)$-space table -- where $r$ is the number of positions $i$ where either $i = 0$ or $\pi (i + 1) \neq \pi (i) + 1$ -- that enables the computation of successive values of $\pi(i)$ by table look-ups and linear scans. Nishimoto and Tabei showed how to increase the number of rows in the table to bound the length of the linear scans such that the query time for computing $\pi(i)$ is constant while maintaining $O (r)$-space. In this paper we refine Nishimoto and Tabei's approach, including a time-space tradeoff, and experimentally evaluate different implementations demonstrating the practicality of part of their result. We show that even without adding rows to the table, in practice we almost always scan only a few entries during queries. We propose a decomposition scheme of the permutation $\pi$ corresponding to the LF-mapping that allows an improved compression of the data structure, while limiting the query time. We tested our implementation on real-world genomic datasets and found that without compression of the table, backward-stepping is drastically faster than with sparse bitvector implementations but, unfortunately, also uses drastically more space. After compression, backward-stepping is competitive both in time and space with the best existing implementations.


title: Overstability of Plasma Slow Electron Holes

abstract: Sufficient conditions are found on the ion velocity distribution $f_i$ and potential amplitude for stability of steady electron holes moving at slow speeds, coinciding with the bulk of $f_i$. Fully establishing stability requires calculation of the ion response to shift potential perturbations having an entire range of oscillatory frequencies, because under some conditions real frequencies intermediate between the ion and electron responses prove to be unstable even when the extremes are not. The mechanism of this overstability is explained and calculated in detail. Electron holes of peak potential $\psi$ less than approximately 0.01 times the background temperature ($\psi\lesssim 0.01T_0/e$) avoid the oscillatory instability entirely. For them, the \emph{necessary} condition that there be a local minimum in $f_i$ in which the hole resides is also \emph{sufficient}, unless the magnetic field $B$ is low enough to permit the transverse instability having finite wavenumber $k$ perpendicular to $B$.


title: Multistability, intermittency and hybrid transitions in social contagion models on hypergraphs

abstract: Although ubiquitous, interactions of groups of individuals (e.g., modern messaging applications, group meetings, or even a parliament discussion) are not yet thoroughly studied. Frequently, single-groups are modeled as critical-mass dynamics, which is a widespread concept used not only by academics but also by politicians and the media. However, less explored questions are how a collection of groups will behave and how the intersection between these groups might change the global dynamics. Here, we formulate this process in terms of binary state dynamics on hypergraphs. We showed that our model has a very rich and unexpected behavior that goes beyond discontinuous transitions. In particular, we might have multistability and intermittency as a consequence of bimodal state distributions. By using artificial random models, we demonstrated that this phenomenology could be associated with community structures. Specifically, we might have multistability or intermittency by controlling the number of bridges between two communities with different densities. The introduction of bridges destroys multistability but creates an intermittent behavior. Furthermore, we provide an analytical formulation showing that the observed pattern for the order parameter and susceptibility are compatible with hybrid phase transitions. Our findings open new paths for research, ranging from physics, on the formal calculation of quantities of interest, to social sciences, where new experiments can be designed.


title: On the Use of Unrealistic Predictions in Hundreds of Papers Evaluating Graph Representations

abstract: Prediction using the ground truth sounds like an oxymoron in machine learning. However, such an unrealistic setting was used in hundreds, if not thousands of papers in the area of finding graph representations. To evaluate the multi-label problem of node classification by using the obtained representations, many works assume in the prediction stage that the number of labels of each test instance is known. In practice such ground truth information is rarely available, but we point out that such an inappropriate setting is now ubiquitous in this research area. We detailedly investigate why the situation occurs. Our analysis indicates that with unrealistic information, the performance is likely over-estimated. To see why suitable predictions were not used, we identify difficulties in applying some multi-label techniques. For the use in future studies, we propose simple and effective settings without using practically unknown information. Finally, we take this chance to conduct a fair and serious comparison of major graph-representation learning methods on multi-label node classification.


title: Alternating $N$-expansions

abstract: We introduce a family of maps generating continued fractions where the digit $1$ in the numerator is replaced cyclically by some given non-negative integers $(N_1,\ldots,N_m)$. We prove the convergence of the given algorithm, and study the underlying dynamical system generating such expansions. We prove the existence of a unique absolutely continuous invariant ergodic measure. In special cases, we are able to build the natural extension and give an explicit expression of the invariant measure. For these cases, we formulate a Doeblin-Lenstra type theorem. For other cases we have a more implicit expression that we conjecture gives the invariant density. This conjecture is supported by simulations. For the simulations we use a method that gives us a smooth approximation in every iteration.


title: Quantum computing Floquet energy spectra

abstract: Quantum systems can be dynamically controlled using time-periodic external fields, leading to the concept of Floquet engineering, with promising technological applications. Computing Floquet energy spectra is harder than only computing ground state properties or single time-dependent trajectories, and scales exponentially with the Hilbert space dimension. Especially for strongly correlated systems in the low frequency limit, classical approaches based on truncation break down. Here, we present two quantum algorithms to determine effective Floquet modes and energy spectra. We combine the defining properties of Floquet modes in time and frequency domains with the expressiveness of parametrized quantum circuits to overcome the limitations of classical approaches. We benchmark our algorithms and provide an analysis of the key properties relevant for near-term quantum hardware.


title: An empirical study on V2X radio coverage using leaky coaxial cables in road crash barriers

abstract: For current and future automated driving functions, the radio availability of broadband hybrid networking services (e.g. digital broadcasting, mobile radio, dedicated short range communication) is a prerequisite for continuous V2X information exchange. The supply focus for this is explicitly the road route with its lanes. The application of antenna-based solutions for such longitudinal radio cells with hybrid telematics services is expensive from the installation point of view and can only be adapted to new future telematics standards with great effort. A more suitable solution for such longitudinally shaped radio cells for road routes are leaky coaxial cables (LCX), which are already successfully used for tunnel solutions, for example. The paper discusses the installation and radio implementation of broadband LCX solutions (up to 6 GHz) in terms of simulation and surveying. The integration of the LCX into the crash barrier is favored due to low installation effort and easy upgradeability. An installation was realized on an automotive test fields, where preliminary empirical results for radio simulation and coverage were obtained. Based on the simulations and evaluation measurements, it can be shown that the propagated coverage approach is sustainable over all radiated services. Further solution approaches such as the direct insertion of LCX into the roadway and the derivation of vehicle location information are discussed in the outlook of the paper.


title: DMRVisNet: Deep Multi-head Regression Network for Pixel-wise Visibility Estimation Under Foggy Weather

abstract: Scene perception is essential for driving decision-making and traffic safety. However, fog, as a kind of common weather, frequently appears in the real world, especially in the mountain areas, making it difficult to accurately observe the surrounding environments. Therefore, precisely estimating the visibility under foggy weather can significantly benefit traffic management and safety. To address this, most current methods use professional instruments outfitted at fixed locations on the roads to perform the visibility measurement; these methods are expensive and less flexible. In this paper, we propose an innovative end-to-end convolutional neural network framework to estimate the visibility leveraging Koschmieder's law exclusively using the image data. The proposed method estimates the visibility by integrating the physical model into the proposed framework, instead of directly predicting the visibility value via the convolutional neural work. Moreover, we estimate the visibility as a pixel-wise visibility map against those of previous visibility measurement methods which solely predict a single value for an entire image. Thus, the estimated result of our method is more informative, particularly in uneven fog scenarios, which can benefit to developing a more precise early warning system for foggy weather, thereby better protecting the intelligent transportation infrastructure systems and promoting its development. To validate the proposed framework, a virtual dataset, FACI, containing 3,000 foggy images in different concentrations, is collected using the AirSim platform. Detailed experiments show that the proposed method achieves performance competitive to those of state-of-the-art methods.


title: Thermal Fluctuations of Singular Bar-Joint Mechanisms

abstract: A bar-joint mechanism is a deformable assembly of freely rotating joints connected by stiff bars. Here we develop a formalism to study the equilibration of common bar-joint mechanisms with a thermal bath. When the constraints in a mechanism cease to be linearly independent, singularities can appear in its shape space, which is the part of its configuration space after discarding rigid motions. We show that the free-energy landscape of a mechanism at low temperatures is dominated by the neighborhoods of points that correspond to these singularities. We consider two example mechanisms with shape-space singularities and find that they are more likely to be found in configurations near the singularities than others. These findings are expected to help improve the design of nanomechanisms for various applications.


title: A proof of Sanov's Theorem via discretizations

abstract: We present an alternative proof of Sanov's theorem for Polish spaces in the weak topology that follows via discretization arguments. We combine the simpler version of Sanov's Theorem for discrete finite spaces and well chosen finite discretizations of the Polish space. The main tool in our proof is an explicit control on the rate of convergence for the approximated measures.


title: Kuperberg Dreams

abstract: The ``Seifert Conjecture'' stated, ``Every non-singular vector field on the 3-sphere ${\mathbb S}^3$ has a periodic orbit''. In a celebrated work, Krystyna Kuperberg gave a construction of a smooth aperiodic vector field on a plug, which is then used to construct counter-examples to the Seifert Conjecture for smooth flows on the 3-sphere, and on compact 3-manifolds in general. The dynamics of the flows in these plugs have been extensively studied, with more precise results known in special ``generic'' cases of the construction. Moreover, the dynamical properties of smooth perturbations of Kuperberg's construction have been considered. In this work, we discuss the genesi of Kuperberg's construction as an evolution from the Schweitzer construction of an aperiodic plug. We discuss some of the known results for Kuperberg flows, and discuss some of the many interesting questions and problems that remain open about their dynamical and ergodic properties.


title: Radar Occupancy Prediction with Lidar Supervision while Preserving Long-Range Sensing and Penetrating Capabilities

abstract: Radar shows great potential for autonomous driving by accomplishing long-range sensing under diverse weather conditions. But radar is also a particularly challenging sensing modality due to the radar noises. Recent works have made enormous progress in classifying free and occupied spaces in radar images by leveraging lidar label supervision. However, there are still several unsolved issues. Firstly, the sensing distance of the results is limited by the sensing range of lidar. Secondly, the performance of the results is degenerated by lidar due to the physical sensing discrepancies between the two sensors. For example, some objects visible to lidar are invisible to radar, and some objects occluded in lidar scans are visible in radar images because of the radar's penetrating capability. These sensing differences cause false positive and penetrating capability degeneration, respectively. In this paper, we propose training data preprocessing and polar sliding window inference to solve the issues. The data preprocessing aims to reduce the effect caused by radar-invisible measurements in lidar scans. The polar sliding window inference aims to solve the limited sensing range issue by applying a near-range trained network to the long-range region. Instead of using common Cartesian representation, we propose to use polar representation to reduce the shape dissimilarity between long-range and near-range data. We find that extending a near-range trained network to long-range region inference in the polar space has 4.2 times better IoU than in Cartesian space. Besides, the polar sliding window inference can preserve the radar penetrating capability by changing the viewpoint of the inference region, which makes some occluded measurements seem non-occluded for a pretrained network.


title: Adverse Weather Image Translation with Asymmetric and Uncertainty-aware GAN

abstract: Adverse weather image translation belongs to the unsupervised image-to-image (I2I) translation task which aims to transfer adverse condition domain (eg, rainy night) to standard domain (eg, day). It is a challenging task because images from adverse domains have some artifacts and insufficient information. Recently, many studies employing Generative Adversarial Networks (GANs) have achieved notable success in I2I translation but there are still limitations in applying them to adverse weather enhancement. Symmetric architecture based on bidirectional cycle-consistency loss is adopted as a standard framework for unsupervised domain transfer methods. However, it can lead to inferior translation result if the two domains have imbalanced information. To address this issue, we propose a novel GAN model, i.e., AU-GAN, which has an asymmetric architecture for adverse domain translation. We insert a proposed feature transfer network (${T}$-net) in only a normal domain generator (i.e., rainy night-> day) to enhance encoded features of the adverse domain image. In addition, we introduce asymmetric feature matching for disentanglement of encoded features. Finally, we propose uncertainty-aware cycle-consistency loss to address the regional uncertainty of a cyclic reconstructed image. We demonstrate the effectiveness of our method by qualitative and quantitative comparisons with state-of-the-art models. Codes are available at https://github.com/jgkwak95/AU-GAN.


title: Secondary slip of screw dislocations in zirconium

abstract: Plasticity in hexagonal close-packed zirconium is controlled by screw dislocations which easily glide in the prismatic planes where they are dissociated. At high enough temperatures, these dislocations can deviate out of the prism planes to also glide in the first order pyramidal and basal planes. To get a better understanding of these secondary slip systems, we have performed molecular dynamics (MD) simulations of a screw dislocation gliding in a basal plane. The gliding dislocation remains dissociated in the prism plane where it performs a random motion and occasionally cross-slips out of its habit plane by the nucleation and propagation of a kink-pair. Deviation planes are always pyramidal, with an equal probability to cross-slip in the two pyramidal planes on both sides of the basal plane, thus leading to basal slip on average. Basal slip appears therefore as a combination of prismatic and pyramidal slip in the high stress regime explored in MD simulations. This is confirmed by nudged elastic band (NEB) calculations. But NEB calculations also reveal a change of glide mechanism for a decreasing applied stress. At low stress, kinks do not lie anymore in the pyramidal planes. They are now spread in the basal planes, thus fully compatible with a motion of the screw dislocation confined to the basal plane as seen in experiments. Basal slip, which is in competition with pyramidal slip, appears therefore favoured at low stress in pure zirconium.


title: Photoinduced split of the cavity mode in photonic crystals based on porous silicon filled with photochromic azobenzene-containing substances

abstract: The novel phototunable photonic structures based on electrochemically etched silicon filled with four photochromic azobenzene-containing compounds, bent-shaped low molar mass substance and side-chain polymethacrylates and copolyacrylate, were prepared and their photooptical properties were studied. It was found that irradiation of these composites with polarized blue light results in spectral changes in photonic band gap (split of the cavity mode) associated with cooperative photoorientation of azobenzene moieties inside silicon pores in direction perpendicular to the polarization plane of the incident light. Kinetics of the photoinduced split is studied. The observed phototoinduced split is completely reversible and heating of the composites to temperatures above isotropization or glass transitions fully recovers the initial spectral shape of photonic band gap. Thermal and temporal stability of the obtained photoinduced split were comparatively studied, and it was found that for composites with bent-shaped substance and polymethacrylate shape of the reflectance spectra does not change over time at room temperature. The prepared composites have high potential for the different applications in photonics.


title: TempAMLSI : Temporal Action Model Learning based on Grammar Induction

abstract: Hand-encoding PDDL domains is generally accepted as difficult, tedious and error-prone. The difficulty is even greater when temporal domains have to be encoded. Indeed, actions have a duration and their effects are not instantaneous. In this paper, we present TempAMLSI, an algorithm based on the AMLSI approach able to learn temporal domains. TempAMLSI is based on the classical assumption done in temporal planning that it is possible to convert a non-temporal domain into a temporal domain. TempAMLSI is the first approach able to learn temporal domain with single hard envelope and Cushing's intervals. We show experimentally that TempAMLSI is able to learn accurate temporal domains, i.e., temporal domain that can be used directly to solve new planning problem, with different forms of action concurrency.


title: H\"older regularity results for parabolic nonlocal double phase problems

abstract: In this article, we obtain higher H\"older regularity results for weak solutions to nonlocal problems driven by the fractional double phase operator \begin{align*} \mc L u(x):=&2 \; {\rm P.V.} \int_{\mathbb R^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{N+ps_1}}dy \nonumber &+2 \; {\rm P.V.} \int_{\mathbb R^N} a(x,y) \frac{|u(x)-u(y)|^{q-2}(u(x)-u(y))}{|x-y|^{N+qs_2}}dy, \end{align*} where $1<p\leq q<\infty$, $0<s_2, s_1<1$ and the modulating coefficient $a(\cdot,\cdot)$ is a non-negative bounded function. Specifically, we prove higher space-time H\"older continuity result for weak solutions of time depending nonlocal double phase problems for a particular subclass of the modulating coefficients. Using suitable approximation arguments, we further establish higher (global) H\"older continuity results for weak solutions to the stationary problems involving the operator $\mc L$ with modulating coefficients that are locally continuous.


title: Non parametric estimation of causal populations in a counterfactual scenario

abstract: In causality, estimating the effect of a treatment without confounding inference remains a major issue because requires to assess the outcome in both case with and without treatment. Not being able to observe simultaneously both of them, the estimation of potential outcome remains a challenging task. We propose an innovative approach where the problem is reformulated as a missing data model. The aim is to estimate the hidden distribution of \emph{causal populations}, defined as a function of treatment and outcome. A Causal Auto-Encoder (CAE), enhanced by a prior dependent on treatment and outcome information, assimilates the latent space to the probability distribution of the target populations. The features are reconstructed after being reduced to a latent space and constrained by a mask introduced in the intermediate layer of the network, containing treatment and outcome information.


title: iRoPro: An interactive Robot Programming Framework

abstract: The great diversity of end-user tasks ranging from manufacturing environments to personal homes makes pre-programming robots for general purpose applications extremely challenging. In fact, teaching robots new actions from scratch that can be reused for previously unseen tasks remains a difficult challenge and is generally left up to robotics experts. In this work, we present iRoPro, an interactive Robot Programming framework that allows end-users with little to no technical background to teach a robot new reusable actions. We combine Programming by Demonstration and Automated Planning techniques to allow the user to construct the robot's knowledge base by teaching new actions by kinesthetic demonstration. The actions are generalised and reused with a task planner to solve previously unseen problems defined by the user. We implement iRoPro as an end-to-end system on a Baxter Research Robot to simultaneously teach low- and high-level actions by demonstration that the user can customise via a Graphical User Interface to adapt to their specific use case. To evaluate the feasibility of our approach, we first conducted pre-design experiments to better understand the user's adoption of involved concepts and the proposed robot programming process. We compare results with post-design experiments, where we conducted a user study to validate the usability of our approach with real end-users. Overall, we showed that users with different programming levels and educational backgrounds can easily learn and use iRoPro and its robot programming process.


title: Partial Okounkov bodies and Duistermaat--Heckman measures of non-Archimedean metrics

abstract: Let $X$ be a smooth projective variety. We construct partial Okounkov bodies associated to Hermitian pseudo-effective line bundles $(L,\phi)$ on $X$. We show that partial Okounkov bodies are universal invariants of the singularity of $\phi$. As an application, we generalize the theorem of Boucksom--Chen and construct Duistermaat--Heckman measures associated with finite energy metrics on the Berkovich analytification of an ample line bundle.


title: FastSGD: A Fast Compressed SGD Framework for Distributed Machine Learning

abstract: With the rapid increase of big data, distributed Machine Learning (ML) has been widely applied in training large-scale models. Stochastic Gradient Descent (SGD) is arguably the workhorse algorithm of ML. Distributed ML models trained by SGD involve large amounts of gradient communication, which limits the scalability of distributed ML. Thus, it is important to compress the gradients for reducing communication. In this paper, we propose FastSGD, a Fast compressed SGD framework for distributed ML. To achieve a high compression ratio at a low cost, FastSGD represents the gradients as key-value pairs, and compresses both the gradient keys and values in linear time complexity. For the gradient value compression, FastSGD first uses a reciprocal mapper to transform original values into reciprocal values, and then, it utilizes a logarithm quantization to further reduce reciprocal values to small integers. Finally, FastSGD filters reduced gradient integers by a given threshold. For the gradient key compression, FastSGD provides an adaptive fine-grained delta encoding method to store gradient keys with fewer bits. Extensive experiments on practical ML models and datasets demonstrate that FastSGD achieves the compression ratio up to 4 orders of magnitude, and accelerates the convergence time up to 8x, compared with state-of-the-art methods.


title: Hadron masses from a Kaluza-Klein like Model

abstract: The purpose of this paper is to calculate the masses of the hadrons. More precisely the masses of the scalar and vector mesons as well as the baryons having $\frac{3 \hslash}{2}$ and $\frac{\hslash}{2}$ spin are calculated. The standard model of particle physics, delivering excellent results in many aspects of particle physics but fails at calculating particle masses. Therefore, for this paper a Kaluza-Klein like model was developed based on the structure of the Standard Model. The model consists of 10 dimensions which are: one time, three usual macroscopic space and six compactified dimensions. Excitations - disturbances traveling with the speed of light on the 10D spacetime - are introduced. An excitation on a compactified dimension can induce a mass in 4D spacetime; it is accompanied by an integer, the excitation number, and has a well-defined spin. The model's free parameters are computed using the measured masses of the charged leptons, including the upper bound of the mass difference between electron and positron, the mesons $\pi^{0}, \pi^{+}, \rho^{0}, \phi, \psi, \Upsilon$, the top-quark mass, and the anomalous magnetic moment of the electron. The most important of the derived parameters are the compactification radius $\rho$, the weak coupling $\alpha_{w}$, the strong coupling $\alpha_{s}$ and the anti-neutrino to neutrino density ratio $\delta$. The formulas for calculating hadron masses are given and applied to approximately one hundred composite particles, which are compiled within four separate tables. The comparison between the measured masses of 64 hadrons and the calculations shows relative errors below $0.05$ for 50\% and below $0.1$ in 85\% of all cases. Pearson's correlation coefficient of masses measured versus calculated is $r=0.99$ with a significance of $p<10^{-56}$. The calculation results of another 36 hadron masses, not yet experimentally determined, are stated.


title: John--Nirenberg-$Q$ Spaces via Congruent Cubes

abstract: To shed some light on the John--Nirenberg space, the authors in this article introduce the John--Nirenberg-$Q$ space via congruent cubes, $JNQ^\alpha_{p,q}(\mathbb{R}^n)$, which when $p=\infty$ and $q=2$ coincides with the space $Q_\alpha(\mathbb{R}^n)$ introduced by Ess\'en et al. in [Indiana Univ. Math. J. 49 (2000), 575-615]. Moreover, the authors show that, for some particular indices, $JNQ^\alpha_{p,q}(\mathbb{R}^n)$ coincides with the congruent John--Nirenberg space, or that the (fractional) Sobolev space is continuously embedded into $JNQ^\alpha_{p,q}(\mathbb{R}^n)$. Furthermore, the authors characterize $JNQ^\alpha_{p,q}(\mathbb{R}^n)$ via mean oscillations, and then use this characterization to study the dyadic counterparts. Also, the authors obtain some properties of composition operators on such spaces. The main novelties of this article are twofold: establishing a general equivalence principle for a kind of `almost increasing' set function introduced in this article, and using the fine geometrical properties of dyadic cubes to properly classify any collection of cubes with pairwise disjoint interiors and equal edge length.


title: A Hierarchical Spatio-Temporal Graph Convolutional Neural Network for Anomaly Detection in Videos

abstract: Deep learning models have been widely used for anomaly detection in surveillance videos. Typical models are equipped with the capability to reconstruct normal videos and evaluate the reconstruction errors on anomalous videos to indicate the extent of abnormalities. However, existing approaches suffer from two disadvantages. Firstly, they can only encode the movements of each identity independently, without considering the interactions among identities which may also indicate anomalies. Secondly, they leverage inflexible models whose structures are fixed under different scenes, this configuration disables the understanding of scenes. In this paper, we propose a Hierarchical Spatio-Temporal Graph Convolutional Neural Network (HSTGCNN) to address these problems, the HSTGCNN is composed of multiple branches that correspond to different levels of graph representations. High-level graph representations encode the trajectories of people and the interactions among multiple identities while low-level graph representations encode the local body postures of each person. Furthermore, we propose to weightedly combine multiple branches that are better at different scenes. An improvement over single-level graph representations is achieved in this way. An understanding of scenes is achieved and serves anomaly detection. High-level graph representations are assigned higher weights to encode moving speed and directions of people in low-resolution videos while low-level graph representations are assigned higher weights to encode human skeletons in high-resolution videos. Experimental results show that the proposed HSTGCNN significantly outperforms current state-of-the-art models on four benchmark datasets (UCSD Pedestrian, ShanghaiTech, CUHK Avenue and IITB-Corridor) by using much less learnable parameters.


title: User Activity Detection and Channel Estimation of Spatially Correlated Channels via AMP in Massive MTC

abstract: This paper addresses the problem of joint user identification and channel estimation (JUICE) for grant-free access in massive machine-type communications (mMTC). We consider the JUICE under a spatially correlated fading channel model as that reflects the main characteristics of the practical multiple-input multiple-output channels. We formulate the JUICE as a sparse recovery problem in a multiple measurement vector setup and present a solution based on the approximate message passing (AMP) algorithm that takes into account the channel spatial correlation. Using the state evolution, we provide a detailed theoretical analysis on the activity detection performance of AMP-based JUICE by deriving closed-from expressions for the probabilities of miss detection and false alarm. The simulation experiments show that the performance predicted by the theoretical analysis matches the one obtained by the numerical results.


title: Analytic long-lived modes in charged critical plasma

abstract: Fluctuations around critical behavior of a holographic charged plasmas are investigated by studying quasi-normal modes of the corresponding black branes in 5D Einstein-Maxwell-Dilaton gravity. The near horizon geometry of black branes approaches the well-known 2D charged string black hole in the critical limit, for which a world-sheet description is available, and the corresponding quasi-normal modes can be obtained analytically from the reflection amplitude of the 2D black hole geometry. We find two distinct set of modes: a purely imaginary ``decoupled'' set, directly following from the reflection amplitude, and a ``non-decoupled'' set that was already identified in the neutral holographic plasma in \cite{Betzios:2018kwn}. In the extremal limit, the former set of imaginary quasi-normal modes coalesce on a branch cut starting from the the origin, signaling breakdown of hydrodynamic approximation. We further complete the black brane geometry with a slice of AdS near the boundary, to allow for a holographic construction, and find another set of modes localized in the UV. Finally, we develop an alternative WKB method to obtain the quasi-normal modes in the critical limit and apply this method to study the spectrum of hyperscaling-violating Lifshitz black branes. The critical limit of the plasma we consider in this paper is in one-to-one correspondence with the large D limit of Einstein's gravity which allows for an alternative interesting interpretation of our findings.


title: Mathematical Model of International Trade and Global Economy

abstract: This work was partially supported by the Program of Fundamental Research of the Department of Physics and Astronomy of the National Academy of Sciences of Ukraine "Mathematical models of non equilibrium processes in open systems" N 0120U100857.


title: GCA-Net : Utilizing Gated Context Attention for Improving Image Forgery Localization and Detection

abstract: Forensic analysis of manipulated pixels requires the identification of various hidden and subtle features from images. Conventional image recognition models generally fail at this task because they are biased and more attentive toward the dominant local and spatial features. In this paper, we propose a novel Gated Context Attention Network (GCA-Net) that utilizes non-local attention in conjunction with a gating mechanism in order to capture the finer image discrepancies and better identify forged regions. The proposed framework uses high dimensional embeddings to filter and aggregate the relevant context from coarse feature maps at various stages of the decoding process. This improves the network's understanding of global differences and reduces false-positive localizations. Our evaluation on standard image forensic benchmarks shows that GCA-Net can both compete against and improve over state-of-the-art networks by an average of 4.7% AUC. Additional ablation studies also demonstrate the method's robustness against attributions and resilience to false-positive predictions.


title: On the use of Anderson acceleration in hierarchical control

abstract: This paper investigates the use of fixed-point Anderson acceleration method (AA) to a recently proposed hierarchical control framework. Due to its model-free property, the AA-based resulting hierarchical framework becomes more generic since no mathematical model of the subsystems at the lower layer is required at the upper coordinator layer. Numerical results are proposed to evaluate the effectiveness of this approach. The paper also presents a modified version of the original hierarchical approach that involves the AA in hierarchical control.


title: Tetraquarks: relativistic corrections and other issues

abstract: We discuss the effect of relativistic kinematics on the binding energy of multiquark states. For a given potential, the use of relativistic kinematics lowers the energy by a larger amount for the threshold made of two mesons than for a tetraquark, so that its binding is weakened. Some other issues associated with exotic hadrons are also briefly discussed.


title: On generalized quasi-Einstein manifolds

abstract: A rigidity result for a class of compact generalized quasi-Einstein manifolds with constant scalar curvature is obtained. Moreover, under some geometric assumptions, the rigidity for the noncompact case is also proved. Considering non constant scalar curvature, we characterize the generalized quasi-Einstein manifolds which are conformal to the Euclidean space and we show that there exist two classes of complete manifolds, which are obtained by considering potential functions and conformal factors either to be radial or invariant under the action of an (n-1)-dimensional translation group. Explicit examples are given.


title: Rational-approximation-based model order reduction of Helmholtz frequency response problems with adaptive finite element snapshots

abstract: We introduce several spatially adaptive model order reduction approaches tailored to non-coercive elliptic boundary value problems, specifically, parametric-in-frequency Helmholtz problems. The offline information is computed by means of adaptive finite elements, so that each snapshot lives in a different discrete space that resolves the local singularities of the analytical solution and is adjusted to the considered frequency value. A rational surrogate is then assembled adopting either a least-squares or an interpolatory approach, yielding function-valued version of the standard rational interpolation method ($\mathcal{V}$-SRI) and the minimal rational interpolation method (MRI). In the context of building an approximation for linear or quadratic functionals of the Helmholtz solution, we perform several numerical experiments to compare the proposed methodologies. Our simulations show that, for interior resonant problems (whose singularities are encoded by poles on the real axis), the spatially adaptive $\mathcal{V}$-SRI and MRI work comparably well. Instead, when dealing with exterior scattering problems, whose frequency response is mostly smooth, the $\mathcal{V}$-SRI method seems to be the best-performing one.


title: Tailoring Magnetic Exchange Interactions in Ferromagnet-Intercalated MnBi2Te4 Superlattices

abstract: The intrinsic magnetic topological insulator MnBi2Te4 (MBT) has provided a platform for the successful realization of exotic quantum phenomena. To broaden the horizons of MBT-based material systems, we intercalate ferromagnetic MnTe layers to construct the [(MBT)(MnTe)m]N superlattices by molecular beam epitaxy. The effective incorporation of ferromagnetic spacers mediates the anti-ferromagnetic interlayer coupling among the MBT layers through the exchange spring effect at the MBT/MnTe hetero-interfaces. Moreover, the precise control of the MnTe thickness enables the modulation of relative strengths among the constituent magnetic orders, leading to tunable magnetoelectric responses, while the superlattice periodicity serves as an additional tuning parameter to tailor the spin configurations of the synthesized multi-layers. Our results demonstrate the advantages of superlattice engineering for optimizing the magnetic interactions in MBT-family systems, and the ferromagnet-intercalated strategy opens up new avenues in magnetic topological insulator structural design and spintronic applications.


title: Gravity-Higgs portal for dark matter decay

abstract: Dark matter can decay via gravity portals and contribute a minor decay (MD) width. This paper proposes that nonminimal coupling between the Higgs field and gravity can lead to additional gravity-Higgs portals for gravitational dark matter to decay and contribute additional decay (AD) width. For scalar dark matter candidates with a mass less than 5 TeV, the decay branching ratios are almost independent of whether dark matter decay through gravity portals or gravity-Higgs portals; therefore, it is almost impossible to distinguish gravity portals from gravity-Higgs portals by observing decay products. For fermionic singlet dark matter candidates, their MD products are diverse, while their AD products are monotonous, only neutrinos and Higgs bosons. As for both dark matter candidates, gravity-Higgs portals prefer to dominate the decay at around several hundred GeV. Besides, for both TeV dark matter candidates, there is still a vast parameter space alive.


title: Exceptional points in oligomer chains

abstract: Symmetry underpins our understanding of physical law. Open systems, those in contact with their environment, can provide a platform to explore parity-time symmetry. While classical parity-time symmetric systems have received a lot of attention, especially because of the associated advances in the generation and control of light, there is much more to be discovered about their quantum counterparts. Here we provide a quantum theory which describes the non-Hermitian physics of chains of coupled modes, which has applications across optics and photonics. We elucidate the origin of the exceptional points which govern the parity-time symmetry, survey their signatures in quantum transport, study their influence for correlations, and account for long-range interactions. We also find how the locations of the exceptional points evolve as a function of the chain length and chain parity, capturing how an arbitrary oligomer chain transitions from its unbroken to broken symmetric phase. Our general results provide perspectives for the experimental detection of parity-time symmetric phases in one-dimensional arrays of quantum objects, with consequences for light transport and its degree of coherence.


title: Time-frequency Quantum Key Distribution over a Free-Space Optical Link

abstract: We present an implementation of the time-frequency (TF) quantum key distribution (QKD) protocol realized mainly with standard telecommunication components at 1550 nm. TF-QKD is implemented with modulations in time and frequency, namely pulse position modulation (PPM) and frequency shift keying (FSK). The time-frequency uncertainty relation ensures the security of the protocol. We further demonstrate free-space optical QKD transmission over a 388-m distance. Since the QKD setup is single-mode fiber (SMF) -based, precise coupling in and out of the SMFs is crucial. Thus, we implemented an optical tracking system. The QKD signal is wavelength-multiplexed with a strong beacon for optical tracking. Strong spectral filtering is necessary to separate beacon and QKD signal. Together with spatial filtering caused by the SMF most background light is filtered, enabling daylight QKD transmission.


title: Physics-informed dynamic mode decomposition (piDMD)

abstract: In this work, we demonstrate how physical principles -- such as symmetries, invariances, and conservation laws -- can be integrated into the dynamic mode decomposition (DMD). DMD is a widely-used data analysis technique that extracts low-rank modal structures and dynamics from high-dimensional measurements. However, DMD frequently produces models that are sensitive to noise, fail to generalize outside the training data, and violate basic physical laws. Our physics-informed DMD (piDMD) optimization, which may be formulated as a Procrustes problem, restricts the family of admissible models to a matrix manifold that respects the physical structure of the system. We focus on five fundamental physical principles -- conservation, self-adjointness, localization, causality, and shift-invariance -- and derive several closed-form solutions and efficient algorithms for the corresponding piDMD optimizations. With fewer degrees of freedom, piDMD models are less prone to overfitting, require less training data, and are often less computationally expensive to build than standard DMD models. We demonstrate piDMD on a range of challenging problems in the physical sciences, including energy-preserving fluid flow, travelling-wave systems, the Schr\"odinger equation, solute advection-diffusion, a system with causal dynamics, and three-dimensional transitional channel flow. In each case, piDMD significantly outperforms standard DMD in metrics such as spectral identification, state prediction, and estimation of optimal forcings and responses.

categories: math.DS cs.NA math.NA math.OC physics.data-an physics.flu-dyn


title: Fractional nonlinear surface impurity in a 2D lattice

abstract: We study the formation of localized modes around a generalized nonlinear impurity which is located at the boundary of a semi-infinite square lattice, and where we replace the standard discrete Laplacian by a fractional one, characterized by a fractional exponent $0<\alpha<1$ where $\alpha=1$ marks the standard, non-fractional case. We specialize to two impurity cases: impurity at an "edge" and impurity at a "corner" and use the formalism of lattice Green functions to obtain in closed form the bound state energy and its mode amplitude. It is found that, for any fractional exponent and for impurity strengths above a certain threshold, there is always a single bound state for the linear impurity, while for the nonlinear (cubic) case, up to two bound states are possible. At small fractional exponents, the energy of the impurity mode becomes directly proportional to the impurity strength.


title: Geoastronomy: Rocky planets as the Lavosier-Lomonosov Bridge from the non-living to the living world

abstract: Life on Earth emerged at the interface of the geosphere, hydrosphere and atmosphere. This setting serves as our basis for how biological systems originate on rocky planets. Often overlooked, however, is the fact that the chemical nature of a rocky planet is ultimately a product of galactic chemical evolution. Elemental abundances of the major rock-forming elements can be different for different stars and planets formed at different times in galactic history. These differences mean that we cannot expect small rocky exoplanets to be just like Earth. Furthermore, age of the system dictates starting nuclide inventory from galactic chemical evolution, and past, present and future mantle and crust thermal regimes. The bulk silicate mantle composition of a rocky planet modulates the kind of atmosphere and hydrosphere it possesses. Hence, the ingredients of a rocky planet are as important for its potential to host life as proximity to the so-called habitable zone around a star where liquid water is stable at the surface. To make sense of these variables, a new trans-disciplinary approach is warranted that fuses the disciplines of Geology and Astronomy into what is here termed, Geoastronomy.


title: Cyber-Security Investment in the Context of Disruptive Technologies: Extension of the Gordon-Loeb Model

abstract: Cyber-security breaches inflict significant costs on organizations. Hence, the development of an information-systems defense capability through cyber-security investment is a prerequisite. The question of how to determine the optimal amount to invest in cyber-security has been widely investigated in the literature. In this respect, the Gordon-Loeb model and its extensions received wide-scale acceptance. However, such models predominantly rely on restrictive assumptions that are not adapted for analyzing dynamic aspects of cyber-security investment. Yet, understanding such dynamic aspects is a key feature for studying cyber-security investment in the context of a fast-paced and continuously evolving technological landscape. We propose an extension of the Gordon-Loeb model by considering multi-period and relaxing the assumption of a continuous security-breach probability function. Such theoretical adaptations enable to capture dynamic aspects of cyber-security investment such as the advent of a disruptive technology and its investment consequences. Such a proposed extension of the Gordon-Loeb model gives room for a hypothetical decrease of the optimal level of cyber-security investment, due to a potential technological shift. While we believe our framework should be generalizable across the cyber-security milieu, we illustrate our approach in the context of critical-infrastructure protection, where security-cost reductions related to risk events are of paramount importance as potential losses reach unaffordable proportions. Moreover, despite the fact that some technologies are considered as disruptive and thus promising for critical-infrastructure protection, their effects on cyber-security investment have been discussed little.


title: On the Rankin-Selberg $L$-factors for ${\rm SO}_{5}\times{\rm GL}_2$

abstract: Let $\pi$ and $\tau$ be a smooth generic representation of ${\rm SO}_5$ and ${\rm GL}_2$ respectively over a non-archimedean local field. Assume that $\pi$ is irreducible and $\tau$ is irreducible or induced of Langlands' type. We show that the $L$- and $\epsilon$-factors attached to $\pi\times\tau$ defined by the Rankin-Selberg integrals and the associated Weil-Deligne representation coincide. Similar compatibility results are also obtained for the local factors defined by the Novodvorsky's local zeta integrals attached to generic representations of ${\rm GSp}_4\times{\rm GL}_2$.


title: Geometry-Guided Progressive NeRF for Generalizable and Efficient Neural Human Rendering

abstract: In this work we develop a generalizable and efficient Neural Radiance Field (NeRF) pipeline for high-fidelity free-viewpoint human body synthesis under settings with sparse camera views. Though existing NeRF-based methods can synthesize rather realistic details for human body, they tend to produce poor results when the input has self-occlusion, especially for unseen humans under sparse views. Moreover, these methods often require a large number of sampling points for rendering, which leads to low efficiency and limits their real-world applicability. To address these challenges, we propose a Geometry-guided Progressive NeRF (GP-NeRF). In particular, to better tackle self-occlusion, we devise a geometry-guided multi-view feature integration approach that utilizes the estimated geometry prior to integrate the incomplete information from input views and construct a complete geometry volume for the target human body. Meanwhile, for achieving higher rendering efficiency, we introduce a progressive rendering pipeline through geometry guidance, which leverages the geometric feature volume and the predicted density values to progressively reduce the number of sampling points and speed up the rendering process. Experiments on the ZJU-MoCap and THUman datasets show that our method outperforms the state-of-the-arts significantly across multiple generalization settings, while the time cost is reduced > 70% via applying our efficient progressive rendering pipeline.


title: The deceleration parameter in `tilted' universes: generalising the Friedmann background

abstract: Large-scale bulk peculiar motions introduce a characteristic length scale, inside which the local kinematics are dominated by peculiar-velocity perturbations rather than by the background Hubble expansion. Regions smaller than the aforementioned critical length, which typically varies between few hundred and several hundred Mpc, can be heavily "contaminated" by the observers' relative motion. For example, at the critical length -- hereafter referred to as the "transition scale", the sign of the locally measured deceleration parameter can change from positive to negative, while the surrounding universe is still decelerating globally. Overall, distant observers can assign very different values to their local deceleration parameters, entirely because of their relative motion. In practice, this suggests that information selected from regions inside and close to the transition scale hold only locally and they should not be readily extrapolated to the global universe. We show that this principle applies to essentially all Friedmann backgrounds, irrespective of their equation of state and spatial curvature. Put another way, the transition scale and the related effects are generic to linear peculiar-velocity perturbations. This study generalises previous work applied, primarily for reasons of mathematical simplicity, to a perturbed Einstein-de Sitter universe.


title: A systematic approach to random data augmentation on graph neural networks

abstract: Random data augmentations (RDAs) are state of the art regarding practical graph neural networks that are provably universal. There is great diversity regarding terminology, methodology, benchmarks, and evaluation metrics used among existing RDAs. Not only does this make it increasingly difficult for practitioners to decide which technique to apply to a given problem, but it also stands in the way of systematic improvements. We propose a new comprehensive framework that captures all previous RDA techniques. On the theoretical side, among other results, we formally prove that under natural conditions all instantiations of our framework are universal. On the practical side, we develop a method to systematically and automatically train RDAs. This in turn enables us to impartially and objectively compare all existing RDAs. New RDAs naturally emerge from our approach, and our experiments demonstrate that they improve the state of the art.


title: Simple algebraic groups with the same maximal tori, weakly commensurable Zariski-dense subgroups, and good reduction

abstract: We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties. This characterization, in particular, shows that the Finiteness Conjecture for forms of an absolutely almost simple algebraic group over a finitely generated field that have good reduction at a divisorial set of places of the field would imply the finiteness of the genus of the group at hand. It also leads to a new phenomenon that we refer to as "killing the genus by a purely transcendental extension." Yet another application deals with the investigation of "eigenvalue rigidity" of Zariski-dense subgroups, which in turn is related to the analysis of length-commensurable Riemann surfaces and general locally symmetric spaces. Finally, we analyze the Finiteness Conjecture and the genus problem for simple algebraic groups of type $\textsf{F}_4$.


title: Addition-deletion results for the minimal degree of a Jacobian syzygy of a union of two curves

abstract: Let $C:f=0$ be a reduced curve in the complex projective plane. The minimal degree $mdr(f)$ of a Jacobian syzygy for $f$, which is the same as the minimal degree of a derivation killing $f$, is an important invariant of the curve $C$, for instance it can be used to determined whether $C$ is free or nearly free. In this note we study the relations of this invariant $mdr(f)$ with a decomposition of $C$ as a union of two curves $C_1$ and $C_2$, without common irreducible components. When all the singularities that occur are quasihomogeneous, a result by Schenck, Terao and Yoshinaga yields finer information on this invariant in this setting. Using this, we give some geometrical criteria, the first ones of this type in the existing literature as far as we know, for a line to be a jumping line for the rank 2 vector bundle of logarithmic vector fields along a reduced curve $C$.


title: High-temperature multigap superconductivity in two-dimensional metal-borides

abstract: Using first-principles calculations in combination with the Eliashberg formalism, we systematically investigated phonon-mediated superconductivity in two-dimensional (2D) metal-boride crystals, consisting of a boron honeycomb network doped by diverse metal elements. Such 2D metal-boride compounds, named MBenes, are chemically exfoliable from single-crystalline layered ternary borides (MAB phases). First, we identified the MBene layers with potential for superconductivity via isotropic Eliashberg calculations, considering a wide range of metal elements, with focus on alkaline earth and transition metals. Subsequently, we performed a detailed analysis of the prominent superconducting MBenes by solving the anisotropic Eliashberg equations. The obtained high critical temperatures (up to 72 K), as well as the rich multigap superconducting behavior, recommend these crystals for further use in multifunctional 2D heterostructures and superconducting device applications.


title: Luminosities and masses of single Galactic Post-Asymptotic Giant Branch (Post-AGB) stars with distances from $Gaia$ EDR3: The revelation of an $s$-process diversity

abstract: Post-AGB stars are exquisite probes of AGB nucleosynthesis. However, the previous lack of accurate distances jeopardised comparison with theoretical AGB models. The $Gaia$ Early Data Release 3 ($Gaia$ EDR3) has now allowed for a breakthrough in this research landscape. In this study, we focus on a sample of single Galactic post-AGBs for which chemical abundance studies were completed. We combined photometry with geometric distances to carry out a spectral energy distribution (SED) analysis and derive accurate luminosities. We subsequently determined their positions on the HR-diagram and compared this with theoretical post-AGB evolutionary tracks. While most objects are in the post-AGB phase of evolution, we found a subset of low-luminosity objects that are likely to be in the post-horizontal branch phase of evolution, similar to AGB-manqu\'e objects found in globular clusters. Additionally, we also investigated the observed bi-modality in the $s$-process enrichment of Galactic post-AGB single stars of similar Teff, and metallicities. This bi-modality was expected to be a direct consequence of luminosity with the $s$-process rich objects having evolved further on the AGB. However, we find that the two populations: the $s$-process enriched and non-enriched, have similar luminosities (and hence initial masses), revealing an intriguing chemical diversity. For a given initial mass and metallicity, AGB nucleosynthesis appears inhomogeneous and sensitive to other factors which could be mass-loss, along with convective and non-convective mixing mechanisms. Modelling individual objects in detail will be needed to investigate which parameters and processes dominate the photospheric chemical enrichment in these stars.


title: SCR: Training Graph Neural Networks with Consistency Regularization

abstract: We present the SCR framework for enhancing the training of graph neural networks (GNNs) with consistency regularization. Regularization is a set of strategies used in Machine Learning to reduce overfitting and improve the generalization ability. However, it is unclear how to best design the generalization strategies in GNNs, as it works in a semi-supervised setting for graph data. The major challenge lies in how to efficiently balance the trade-off between the error from the labeled data and that from the unlabeled data. SCR is a simple yet general framework in which we introduce two strategies of consistency regularization to address the challenge above. One is to minimize the disagreements among the perturbed predictions by different versions of a GNN model. The other is to leverage the Mean Teacher paradigm to estimate a consistency loss between teacher and student models instead of the disagreement of the predictions. We conducted experiments on three large-scale node classification datasets in the Open Graph Benchmark (OGB). Experimental results demonstrate that the proposed SCR framework is a general one that can enhance various GNNs to achieve better performance. Finally, SCR has been the top-1 entry on all three OGB leaderboards as of this submission.


title: Accurate determination of the Josephson critical current by lock-in measurements

abstract: Operation of Josephson electronics usually requires determination of the Josephson critical current $I_c$, which is affected both by fluctuations and measurement noise. Lock-in measurements allow obviation of $1/f$ noise and, therefore, provide a major advantage in terms of noise and accuracy with respect to conventional dc-measurements. In this work we show both theoretically and experimentally that the $I_c$ can be accurately extracted using first and third harmonic lock-in measurements of junction resistance. We derive analytic expressions and verify them experimentally on nano-scale Nb-PtNi-Nb and Nb-CuNi-Nb Josephson junctions.


title: Splitting schemes for the semi-linear wave equation with dynamic boundary conditions

abstract: This paper introduces novel bulk-surface splitting schemes of first and second order for the wave equation with kinetic and acoustic boundary conditions of semi-linear type. For kinetic boundary conditions, we propose a reinterpretation of the system equations as a coupled system. This means that the bulk and surface dynamics are modeled separately and connected through a coupling constraint. This allows the implementation of splitting schemes, which show first-order convergence in numerical experiments. On the other hand, acoustic boundary conditions naturally separate bulk and surface dynamics. Here, Lie and Strang splitting schemes reach first- and second-order convergence, respectively, as we reveal numerically.


title: Multiway Ensemble Kalman Filter

abstract: In this work, we study the emergence of sparsity and multiway structures in second-order statistical characterizations of dynamical processes governed by partial differential equations (PDEs). We consider several state-of-the-art multiway covariance and inverse covariance (precision) matrix estimators and examine their pros and cons in terms of accuracy and interpretability in the context of physics-driven forecasting when incorporated into the ensemble Kalman filter (EnKF). In particular, we show that multiway data generated from the Poisson and the convection-diffusion types of PDEs can be accurately tracked via EnKF when integrated with appropriate covariance and precision matrix estimators.


title: Contrastive Learning with Large Memory Bank and Negative Embedding Subtraction for Accurate Copy Detection

abstract: Copy detection, which is a task to determine whether an image is a modified copy of any image in a database, is an unsolved problem. Thus, we addressed copy detection by training convolutional neural networks (CNNs) with contrastive learning. Training with a large memory-bank and hard data augmentation enables the CNNs to obtain more discriminative representation. Our proposed negative embedding subtraction further boosts the copy detection accuracy. Using our methods, we achieved 1st place in the Facebook AI Image Similarity Challenge: Descriptor Track. Our code is publicly available here: \url{https://github.com/lyakaap/ISC21-Descriptor-Track-1st}


title: Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)

abstract: A recent paper by Davies et al (2021) describes how deep learning (DL) technology was used to find plausible hypotheses that have led to two original mathematical results: one in knot theory, one in representation theory. I argue here that the significance and novelty of this application of DL technology to mathematics is significantly overstated in the paper under review and has been wildly overstated in some of the accounts in the popular science press. In the knot theory result, the role of DL was small, and a conventional statistical analysis would probably have sufficed. In the representation theory result, the role of DL is much larger; however, it is not very different in kind from what has been done in experimental mathematics for decades. Moreover, it is not clear whether the distinctive features of DL that make it useful here will apply across a wide range of mathematical problems. Finally, I argue that the DL here "guides human intuition" is unhelpful and misleading; what the DL does primarily does is to mark many possible conjectures as false and a few others as possibly worthy of study. Certainly the representation theory result represents an original and interesting application of DL to mathematical research, but its larger significance is uncertain.


title: A PTAS for the Min-Max Euclidean Multiple TSP

abstract: We present a polynomial-time approximation scheme (PTAS) for the min-max multiple TSP problem in Euclidean space, where multiple traveling salesmen are tasked with visiting a set of $n$ points and the objective is to minimize the maximum tour length. For an arbitrary $\varepsilon > 0$, our PTAS achieves a $(1 + \varepsilon)$-approximation in time $O \big(n ((1/\varepsilon) \log (n/\varepsilon))^{O(1/\varepsilon)} \big)$. Our approach extends Sanjeev Arora's dynamic-programming (DP) PTAS for the Euclidean TSP (https://doi.org/10.1145/290179.290180). Our algorithm introduces a rounding process to balance the allocation of path lengths among the multiple salesman. We analyze the accumulation of error in the DP to prove that the solution is a $(1 + \varepsilon)$-approximation.


title: HKLL bulk reconstruction for small $\Delta$

abstract: We discuss the extension of the HKLL (Hamilton, Kabat, Lifschytz, and Lowe) bulk reconstruction for non-interacting scalar fields corresponding to conformal weights $\Delta$ smaller than the original condition $\Delta > d-1$. We give explicit formulas for the cases $d-2<\Delta\leq d-1$ and $\Delta=d-s$ with integer $s$. In the latter case we show that smearing CFT fields over a region of the boundary consisting of points light-like separated from the bulk point is sufficient for bulk reconstruction, whereas in general smearing over all light-like and space-like separated points is required.


title: Suboptimal and trait-like reinforcement learning strategies correlate with midbrain encoding of prediction errors

abstract: During probabilistic learning organisms often apply a sub-optimal "probability-matching" strategy, where selection rates match reward probabilities, rather than engaging in the optimal "maximization" strategy, where the option with the highest reward probability is always selected. Despite decades of research, the mechanisms contributing to probability-matching are still under debate, and particularly noteworthy is that no differences between probability-matching and maximization strategies have been reported at the level of the brain. Here, we provide theoretical proof for a computational model that explains the complete range of behaviors between pure maximization and pure probability-matching. Fitting this model to behavior of 60 participants performing a probabilistic reinforcement learning task during fMRI scanning confirmed the model-derived prediction that probability-matching relates to an increased integration of negative outcomes during learning, as indicated by a stronger coupling between midbrain BOLD signal and negative prediction errors. Because the degree of probability-matching was consistent within an individual across nine different conditions, our results further suggest that the tendency to express a particular learning strategy is a trait-like feature of an individual.


title: Optimal gain sensing of quantum-limited phase-insensitive amplifiers

abstract: Phase-insensitive optical amplifiers uniformly amplify each quadrature of an input field and are of both fundamental and technological importance. We find the quantum limit on the precision of estimating the gain of a quantum-limited phase-insensitive optical amplifier using a multimode probe that may also be entangled with an ancilla system. In stark contrast to the sensing of loss parameters, the average photon number $N$ and number of input modes $M$ of the probe are found to be equivalent and interchangeable resources for optimal gain sensing. All pure-state probes whose reduced state on the input modes to the amplifier is diagonal in the multimode number basis are proven to be quantum-optimal under the same gain-independent measurement. We compare the best precision achievable using classical probes to the performance of an explicit photon-counting-based estimator on quantum probes and show that an advantage exists even for single-photon probes and inefficient photodetection. A closed-form expression for the energy-constrained Bures distance between two product amplifier channels is also derived.


title: JABER and SABER: Junior and Senior Arabic BERt

abstract: Language-specific pre-trained models have proven to be more accurate than multilingual ones in a monolingual evaluation setting, Arabic is no exception. However, we found that previously released Arabic BERT models were significantly under-trained. In this technical report, we present JABER and SABER, Junior and Senior Arabic BERt respectively, our pre-trained language model prototypes dedicated for Arabic. We conduct an empirical study to systematically evaluate the performance of models across a diverse set of existing Arabic NLU tasks. Experimental results show that JABER and SABER achieve state-of-the-art performances on ALUE, a new benchmark for Arabic Language Understanding Evaluation, as well as on a well-established NER benchmark.


title: Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing

abstract: We consider the problem of signal estimation in generalized linear models defined via rotationally invariant design matrices. Since these matrices can have an arbitrary spectral distribution, this model is well suited for capturing complex correlation structures which often arise in applications. We propose a novel family of approximate message passing (AMP) algorithms for signal estimation, and rigorously characterize their performance in the high-dimensional limit via a state evolution recursion. Our rotationally invariant AMP has complexity of the same order as the existing AMP derived under the restrictive assumption of a Gaussian design; our algorithm also recovers this existing AMP as a special case. Numerical results showcase a performance close to Vector AMP (which is conjectured to be Bayes-optimal in some settings), but obtained with a much lower complexity, as the proposed algorithm does not require a computationally expensive singular value decomposition.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Enhanced ferroelectric properties of low-annealed SrBi2(Ta,Nb)2O9 thin films for NvFeRAM applications

abstract: Micro-Raman spectroscopy and X-ray diffraction have been used to explore the lattice dynamics of Nb-substituted SrBi2(Ta1-xNbx)2O9 (SBTN) crystalline thin films annealed at low temperature, 700oC. It turned out that SrBi2(Ta1-xNbx)2O9 films consist of fine-grained spherical structures for x=0.1-0.4, while the formation of rod-like grains occurs for x=0.5 due to the stress-induced transformation of the thin film perovskite structure. Moreover, it was revealed that during Nb cationic substitution Aurivillius phase formation was enhanced and become dominated in SBTN thin films and fluorite/pyrochlore phase formation was highly suppressed. We assume that these changes are conditioned by the ferrodistortion occurring in ferroic perovskites, namely by the tilting distortion of (Ta,Nb)O6 octahedra for x=0.2-0.5. The octahedral tilting distortion can change the coordination environment of the A-cite cation, as well as it lowers the SBTN symmetry due to the differences in ionic radius and mass between Ta and Nb in the B-sites, that can lead to significant changes of the SBTN crystal structure. The same nonmonotonic trends were observed for the ferroelectric perovskite phase fraction and remanent polarization on Nb content in SBTN films. The substituting Nb atoms with a concentration of 10-20 % made it possible to increase the remanent polarization in 3 times and raise the perovskite phase fraction from 66% to 87%. Therefore, obtained results can be used for the production of lead-free thin films with a high remanent polarization under low annealing temperature, being promising for advanced nonvolatile random access ferroelectric memory (NvFeRAM) applications. Keywords: ferroelectric, sol-gel method, perovskite structure, crystallization annealing, defects, remanent polarization, SBTN films, Raman spectroscopy, Landau-Devonshire approach.


title: Aproximacion a los estudios sobre la economia en la Segunda Republica espanola hasta 1936 -- Approaches to the economics of the Spanish Second Republic prior to 1936

abstract: Macroeconomic data on the Spanish economy during the Second Republic is not accurate, the interpretation of historical events from the figures obtained is divergent and misleading. Hasty laws were enacted in attempts to resolve social problems arising mainly from deep economic inequalities, but they were often nothing more than declarations of good intentions. Spain suffered in the aftermath of the international economic downturn as it began to be felt at the end of the dictatorship of General Primo de Rivera. Economic policy was developed under the Constitution,but, despite the differences between the first and second biennium, there was a tendency to maintain the guidelines from the previous stage and in general, sometimes unfairly, it aimed at least to avoid the destabilization of the financial system. Nonetheless, it ultimately failed to achieve its goals, mainly because of the frequent changes of government mediated by a social crisis of greater significance that had relegated economic issues into the background.