title: DLCSS: Dynamic Longest Common Subsequences

abstract: Autonomous driving is a key technology towards a brighter, more sustainable future. To enable such a future, it is necessary to utilize autonomous vehicles in shared mobility models. However, to evaluate, whether two or more route requests have the potential for a shared ride, is a compute-intensive task, if done by rerouting. In this work, we propose the Dynamic Longest Common Subsequences algorithm for fast and cost-efficient comparison of two routes for their compatibility, dynamically only incorporating parts of the routes which are suited for a shared trip. Based on this, one can also estimate, how many autonomous vehicles might be necessary to fulfill the local mobility demands. This can help providers to estimate the necessary fleet sizes, policymakers to better understand mobility patterns and cities to scale necessary infrastructure.


title: Provably stable learning control of linear dynamics with multiplicative noise

abstract: Control of linear dynamics with multiplicative noise naturally introduces robustness against dynamical uncertainty. Moreover, many physical systems are subject to multiplicative disturbances. In this work we show how these dynamics can be identified from state trajectories. The least-squares scheme enables exploitation of prior information and comes with practical data-driven confidence bounds and sample complexity guarantees. We complement this scheme with an associated control synthesis procedure for LQR which robustifies against distributional uncertainty, guaranteeing stability with high probability and converging to the true optimum at a rate inversely proportional with the sample count. Throughout we exploit the underlying multi-linear problem structure through tensor algebra and completely positive operators. The scheme is validated through numerical experiments.


title: Mixing unilateral backward shifts

abstract: In this paper, we characterize mixing unilateral backward shifts on barrelled and ultrabarrelled topological sequence spaces respectively, which extend several well-known results in the existing literature. We present some nontrivial examples to show the validity of our results.


title: DDPG Learning for Aerial RIS-Assisted MU-MISO Communications

abstract: This paper defines the problem of optimizing the downlink multi-user multiple input, single output (MU-MISO) sum-rate for ground users served by an aerial reconfigurable intelligent surface (ARIS) that acts as a relay to the terrestrial base station. The deep deterministic policy gradient (DDPG) is proposed to calculate the optimal active beamforming matrix at the base station and the phase shifts of the reflecting elements at the ARIS to maximize the data rate. Simulation results show the superiority of the proposed scheme when compared to deep Q-learning (DQL) and baseline approaches.


title: Machine-learning effective many-body potentials for anisotropic particles using orientation-dependent symmetry functions

abstract: Spherically-symmetric atom-centered descriptors of atomic environments have been widely used for constructing potential or free energy surfaces of atomistic and colloidal systems and to characterize local structures using machine learning techniques. However, when particle shapes are non-spherical, as in the case of rods and ellipsoids, standard spherically-symmetric structure functions alone produce imprecise descriptions of local environments. In order to account for the effects of orientation, we introduce two- and three-body orientation-dependent particle-centered descriptors for systems composed of rod-like particles. To demonstrate the suitability of the proposed functions, we use an efficient feature selection scheme and simple linear regression to construct coarse-grained many-body interaction potentials for computationally-efficient simulations of model systems consisting of colloidal particles with anisotropic shape: mixtures of colloidal rods and nonadsorbing polymer, hard rods enclosed by an elastic microgel shell, and ligand-stabilized nanorods. We validate the machine-learning (ML) effective many-body potentials based on orientation-dependent symmetry functions by using them in direct coexistence simulations to map out the phase behavior of colloidal rods and non-adsorbing polymer. We find good agreement with results obtained from simulations of the true binary mixture, demonstrating that the effective interactions are well-described by the orientation-dependent ML potentials.


title: AdamNODEs: When Neural ODE Meets Adaptive Moment Estimation

abstract: Recent work by Xia et al. leveraged the continuous-limit of the classical momentum accelerated gradient descent and proposed heavy-ball neural ODEs. While this model offers computational efficiency and high utility over vanilla neural ODEs, this approach often causes the overshooting of internal dynamics, leading to unstable training of a model. Prior work addresses this issue by using ad-hoc approaches, e.g., bounding the internal dynamics using specific activation functions, but the resulting models do not satisfy the exact heavy-ball ODE. In this work, we propose adaptive momentum estimation neural ODEs (AdamNODEs) that adaptively control the acceleration of the classical momentum-based approach. We find that its adjoint states also satisfy AdamODE and do not require ad-hoc solutions that the prior work employs. In evaluation, we show that AdamNODEs achieve the lowest training loss and efficacy over existing neural ODEs. We also show that AdamNODEs have better training stability than classical momentum-based neural ODEs. This result sheds some light on adapting the techniques proposed in the optimization community to improving the training and inference of neural ODEs further. Our code is available at https://github.com/pmcsh04/AdamNODE.


title: Pyramid Transformer for Traffic Sign Detection

abstract: Traffic sign detection is a vital task in the visual system of self-driving cars and the automated driving system. Recently, novel Transformer-based models have achieved encouraging results for various computer vision tasks. We still observed that vanilla ViT could not yield satisfactory results in traffic sign detection because the overall size of the datasets is very small and the class distribution of traffic signs is extremely unbalanced. To overcome this problem, a novel Pyramid Transformer with locality mechanisms is proposed in this paper. Specifically, Pyramid Transformer has several spatial pyramid reduction layers to shrink and embed the input image into tokens with rich multi-scale context by using atrous convolutions. Moreover, it inherits an intrinsic scale invariance inductive bias and is able to learn local feature representation for objects at various scales, thereby enhancing the network robustness against the size discrepancy of traffic signs. The experiments are conducted on the German Traffic Sign Detection Benchmark (GTSDB). The results demonstrate the superiority of the proposed model in the traffic sign detection tasks. More specifically, Pyramid Transformer achieves 77.8% mAP on GTSDB when applied to the Cascade RCNN as the backbone, which surpasses most well-known and widely-used state-of-the-art models.


title: Cosmological perturbations in bouncing cosmologies and the case of the Pre-Big Bang scenario

abstract: The Pre-Big Bang cosmology inspired generations of cosmologists in attempts to cure the initial Big Bang singularity using a fundamental length scale as proposed by String Theory. The existence of a phase of collapse/inflation with increasing curvature followed by a cosmic bounce has been proposed as an alternative to standard inflation in the solution of the horizon and curvature problems. However the generation of a nearly scale-invariant spectrum of perturbations is not an automatic prediction of such scenarios. In this paper I review some general statements about the evolution of perturbations in bouncing cosmologies and some historically significant attempts to reconcile the predicted spectra with the observations. Bouncing cosmologies and in particular the Pre-Big Bang scenario stand as viable, although more complicated, alternatives to inflation that may still help solve current theoretical and observational tensions.


title: Yang-Mills as a Constrained Gaussian

abstract: Yang-Mills is reformulated in terms of the logarithmic derivative of the holonomies. The classical equations of motion are recovered, and the path integral is rewritten in two ways, both of which are of the form of a Gaussian satisfying a quadratic constraint.


title: Seeking for resonances in unitarized one-loop graviton-graviton scattering

abstract: Some effective field theories exhibit dynamical resonances that, when properly included, mitigate their bad behaviour at high energies. Unitarization of the partial wave amplitudes is the preferred method to unveil such resonances. Interpreting the Einstein-Hilbert theory in the spirit of effective Lagrangians, we implement the Inverse Amplitude Method and unitarize the one-loop level graviton-graviton scattering in pure gravity. Due to the presence of infrared divergences, the analysis requires a careful treatment of the infrared region and the introduction of infrared regulators, carefully selected in order to fulfil perturbative unitarity. No evidence of any graviball is found, in contradiction with a recent study.


title: High precision measurement of the $^6$He half-life

abstract: The half-life of $^{6}$He has been measured using a low energy radioactive beam implanted in a YAP scintillator and recording decay events in a 4$\pi$ geometry. Events were time-stamped with a digital data acquisition system enabling a reliable control of dead-time effects and detector gain variations. The result, $T_{1/2} = (807.25 \pm 0.16_{\rm stat} \pm 0.11_{\rm sys}$)~ms, provides the most precise value obtained so far and is consistent with the only previous measurement having a precision smaller than 0.1%. This resolves the longstanding discrepancy previously observed between two sets of measurements.


title: Cross Tensor Approximation for Image and Video Completion

abstract: This paper proposes a general framework to use the cross tensor approximation or tensor ColUmn-Row (CUR) approximation for reconstructing incomplete images and videos. The key importance of the new algorithms is their simplicity and ease of implementation with low computational complexity. For the case of data tensors with 1) structural missing components or 2) a high missing rate, we propose an efficient smooth tensor CUR algorithms which first make the sampled fibers smooth and then apply the proposed CUR algorithms. The numerical experiments show the significant benefit of this smoothing procedure. The main contribution of this paper is to develop/investigate improved multistage CUR algorithms with filtering (smoothing ) preprocessing for tensor completion. The second contribution is a detailed comparison of the performance of image recovery for four different CUR strategies via extensive computer simulations. Our simulations clearly indicated that the proposed algorithms are much faster than most of the existing state-of-the-art algorithms developed for tensor completion, while performance is comparable and often even better. Furthermore, we will provide in GitHub the MATLAB codes which can be used for various applications. Moreover, to our best knowledge, the CUR (cross approximation) algorithms have not been investigated nor compared till now for image and video completion.


title: An alternative approach to solenoidal Lipschitz truncation

abstract: In this work, a new approach to obtain a solenoidal Lipschitz truncation is presented. More precisely, the goal of the truncation is to modify a function $u \in W^{1,p}(\mathbb{R}^3,\mathbb{R}^3)$ that satisfies the additional constraint $\mathrm{div}~ u=0$, such that its modification $\tilde{u}$ is in $W^{1,\infty}(\mathbb{R}^3,\mathbb{R}^3)$ and still is divergence-free. We give an alternative approach to Lipschitz truncation compared to previous works by Breit, Diening & Fuchs (2012) and Breit, Diening & Schwarzacher (2013). The ansatz pursued here allows a rather strict bound on the $W^{1,p}$ distance of $u$ and $\tilde{u}$.


title: Optimal Reach Estimation and Metric Learning

abstract: We study the estimation of the reach, an ubiquitous regularity parameter in manifold estimation and geometric data analysis. Given an i.i.d. sample over an unknown $d$-dimensional $\mathcal{C}^k$-smooth submanifold of $\mathbb{R}^D$, we provide optimal nonasymptotic bounds for the estimation of its reach. We build upon a formulation of the reach in terms of maximal curvature on one hand, and geodesic metric distortion on the other hand. The derived rates are adaptive, with rates depending on whether the reach of $M$ arises from curvature or from a bottleneck structure. In the process, we derive optimal geodesic metric estimation bounds.


title: DSPNet: Towards Slimmable Pretrained Networks based on Discriminative Self-supervised Learning

abstract: Self-supervised learning (SSL) has achieved promising downstream performance. However, when facing various resource budgets in real-world applications, it costs a huge computation burden to pretrain multiple networks of various sizes one by one. In this paper, we propose Discriminative-SSL-based Slimmable Pretrained Networks (DSPNet), which can be trained at once and then slimmed to multiple sub-networks of various sizes, each of which faithfully learns good representation and can serve as good initialization for downstream tasks with various resource budgets. Specifically, we extend the idea of slimmable networks to a discriminative SSL paradigm, by integrating SSL and knowledge distillation gracefully. We show comparable or improved performance of DSPNet on ImageNet to the networks individually pretrained one by one under the linear evaluation and semi-supervised evaluation protocols, while reducing large training cost. The pretrained models also generalize well on downstream detection and segmentation tasks. Code will be made public.


abstract: The Journal of Economic Literature codes classification system (JEL) published by the American Economic Association (AEA) is the de facto standard classification system for research literature in economics. The JEL classification system is used to classify articles, dissertations, books, book reviews, and working papers in EconLit, a database maintained by the AEA. Over time, it has evolved and extended to a system with over 850 subclasses. This paper reviews the history and development of the JEL classification system, describes the current version, and provides a selective overview of its uses and applications in research. The JEL codes classification system has been adopted by several publishers, and their instructions are reviewed. There are interesting avenues for future research as the JEL classification system has been surprisingly little used in existing bibliometric and scientometric research as well as in library classification systems.


title: How drifting and evaporating pebbles shape giant planets III: The formation of WASP-77A b and $\tau$ Bo\"otis b

abstract: Atmospheric abundances are thought to constrain the planet formation pathway, because different species evaporate at different temperatures leaving distinct signatures in the accreted atmosphere. The planetary C/O ratio is thought to constrain the planet formation pathway, because of the condensation sequence of H$_2$O, CO$_2$, CH$_4$, and CO, resulting in an increase of the gas phase C/O ratio with increasing distance. Here we use a disc evolution model including pebble growth, drift and evaporation coupled with a planet formation model that includes pebble and gas accretion as well as planet migration to compute the atmospheric compositions of giant planets. We compare our results to the recent observations of the hot Jupiters WASP-77A b and $\tau$ Bo\"otis b, which feature sub-solar and super-solar C/H and O/H values, respectively. Our simulations reproduce these measurements and show that giants like WASP-77A b should start to form beyond the CO$_2$ evaporation front, while giants like $\tau$ Bo\"otis b should originate from beyond the H$_2$O line. Our model allows the formation of sub- and super-solar atmospheric compositions. However simulations without pebble evaporation can not reproduce the super-solar C/H and O/H ratios of $\tau$ Bo\"otis b's atmosphere without additional accretion of solids. We identify the $\alpha$ viscosity parameter of the disc as a key ingredient, because the viscosity drives the inward motion of volatile enriched vapor, responsible for the accretion of gaseous C and O. Depending on the planet's migration history order-of-magnitude differences in atmospheric C/H and O/H are expected. Our simulations also predict super-solar N/H for $\tau$ Bo\"otis b and solar N/H for WASP-77A b. We conclude that pebble evaporation is a key ingredient to explain the variety of exoplanet atmospheres, because it can explain both, sub- and super-solar atmospheric abundances.


title: MultiStream: A Simple and Fast Multiple Cameras Visual Monitor and Directly Streaming

abstract: Monitoring and streaming is one of the most important applications for the real time cameras. The research of this has provided a novel design idea that uses the FFmpeg and Tkinter, combining with the libraries: OpenCV and PIL to develop a simple but fast streaming toolkit MultiSteam that can achieve the function of visible monitoring streaming for multiple simultaneously. MultiStream is able to automatically arrange the layout of the displays of multiple camera windows and intelligently analyze the input streaming URL to select the correct corresponding streaming communication protocol. Multiple cameras can be streamed with different communication protocols or the same protocol. Besides, the paper has tested the different streaming speeds for different protocols in camera streaming. MultiStream is able to gain the information of media equipment on the computer. The configuration information for media-id selection and multiple cameras streaming can be saved as json files.


title: Teachers in concordance for pseudo-labeling of 3D sequential data

abstract: Automatic pseudo-labeling is a powerful tool to tap into large amounts of sequential unlabeled data. It is specially appealing in safety-critical applications of autonomous driving, where performance requirements are extreme, datasets are large, and manual labeling is very challenging. We propose to leverage sequences of point clouds to boost the pseudolabeling technique in a teacher-student setup via training multiple teachers, each with access to different temporal information. This set of teachers, dubbed Concordance, provides higher quality pseudo-labels for student training than standard methods. The output of multiple teachers is combined via a novel pseudo label confidence-guided criterion. Our experimental evaluation focuses on the 3D point cloud domain and urban driving scenarios. We show the performance of our method applied to 3D semantic segmentation and 3D object detection on three benchmark datasets. Our approach, which uses only 20% manual labels, outperforms some fully supervised methods. A notable performance boost is achieved for classes rarely appearing in training data.


title: Efficient Augmentation for Imbalanced Deep Learning

abstract: Deep learning models tend to memorize training data, which hurts their ability to generalize to under-represented classes. We empirically study a convolutional neural network's internal representation of imbalanced image data and measure the generalization gap between a model's feature embeddings in the training and test sets, showing that the gap is wider for minority classes. This insight enables us to design an efficient three-phase CNN training framework for imbalanced data. The framework involves training the network end-to-end on imbalanced data to learn accurate feature embeddings, performing data augmentation in the learned embedded space to balance the train distribution, and fine-tuning the classifier head on the embedded balanced training data. We propose Expansive Over-Sampling (EOS) as a data augmentation technique to utilize in the training framework. EOS forms synthetic training instances as convex combinations between the minority class samples and their nearest enemies in the embedded space to reduce the generalization gap. The proposed framework improves the accuracy over leading cost-sensitive and resampling methods commonly used in imbalanced learning. Moreover, it is more computationally efficient than standard data pre-processing methods, such as SMOTE and GAN-based oversampling, as it requires fewer parameters and less training time.


title: Inclusive $\tau$ Hadronic Decay Rate in a Renormalon-Free Gluon Condensate Scheme

abstract: In a recent work by some of us it was shown that the long-standing discrepancy between the QCD perturbation series for the inclusive hadronic tau decay rate computed in the CIPT and FOPT expansion approaches can be understood from the fact that CIPT has an infrared (IR) sensitivity that it not compatible with the standard form of the operator production expansion (OPE). For concrete IR renormalon models for the QCD Adler function the resulting CIPT-FOPT discrepancy, the asymptotic separation, can be calculated analytically from the Borel representation of the CIPT series expansion. If the known perturbative corrections for the QCD Adler function at the 5-loop level already have a sizeable contribution from the asymptotic behavior related to the gluon condensate (GC) renormalon, the asymptotic separation is dominated by that renormalon. This implies that the CIPT expansion can be reconciled with FOPT, when a renormalon-free scheme for the GC is adopted. In this talk we discuss such a renormalon-free scheme for the GC, which involves perturbative subtractions in analogy to using short-distance quark mass schemes instead of the pole mass. Using a concrete realistic high-order Borel model for the Adler function consistent with the known corrections up to 5 loops and containing a sizeable GC renormalon contribution, we show that the CIPT-FOPT discrepancy can be avoided when switching to the renormalon-free GC scheme. At the same time, the perturbative convergence of $\tau$ hadronic spectral funtion moments strongly sensitive to the GC OPE corrections is considerably improved. We show that these improvements may lead to higher precision for strong coupling determinations.


title: Mode Control of Electro-Magnetic Pulses in the VHF Band

abstract: We present experimental results for the controlled mitigation of electromagnetic pulses (EMP) produced in interactions of the 1PW high-power 30fs Ti:Sa laser VEGA-3 with matter. This study aims at the band of very high frequencies (VHF), notably hundreds of MHz, comprising the fundamental cavity modes of the rectangular VEGA-3 vacuum chamber. We demonstrate mode suppression by tailoring of the laser-produced space charge distribution.


title: Four-splitting based coarse-grained multicomputer parallel algorithm for the optimal binary search tree problem

abstract: This paper presents a parallel solution based on the coarse-grained multicomputer (CGM) model using the four-splitting technique to solve the optimal binary search tree problem. The well-known sequential algorithm of Knuth solves this problem in $\mathcal{O}\left(n^2\right)$ time and space, where $n$ is the number of keys used to build the optimal binary search tree. To parallelize this algorithm on the CGM model, the irregular partitioning technique, consisting in subdividing the dependency graph into subgraphs (or blocks) of variable size, has been proposed to tackle the trade-off of minimizing the number of communication rounds and balancing the load of processors. This technique however induces a high latency time of processors (which accounts for most of the global communication time) because varying the blocks' sizes does not enable them to start evaluating some blocks as soon as the data they need are available. The four-splitting technique proposed in this paper solves this shortcoming by evaluating a block as a sequence of computation and communication steps of four subblocks. This CGM-based parallel solution requires $\mathcal{O}\left(n^2/\sqrt{p} \right)$ execution time with $\mathcal{O}\left( k \sqrt{p}\right)$ communication rounds, where $p$ is the number of processors and $k$ is the number of times the size of blocks is subdivided. An experimental study conducted to evaluate the performance of this CGM-based parallel solution showed that compared to the solution based on the irregular partitioning technique where the speedup factor is up to $\times$10.39 on one hundred and twenty-eight processors with 40960 keys when $k = 2$, the speedup factor of this solution is up to $\times$13.12 and rises up to $\times$14.93 when $k = 5$.


title: Towards A Holistic View of Bias in Machine Learning: Bridging Algorithmic Fairness and Imbalanced Learning

abstract: Machine learning (ML) is playing an increasingly important role in rendering decisions that affect a broad range of groups in society. ML models inform decisions in criminal justice, the extension of credit in banking, and the hiring practices of corporations. This posits the requirement of model fairness, which holds that automated decisions should be equitable with respect to protected features (e.g., gender, race, or age) that are often under-represented in the data. We postulate that this problem of under-representation has a corollary to the problem of imbalanced data learning. This class imbalance is often reflected in both classes and protected features. For example, one class (those receiving credit) may be over-represented with respect to another class (those not receiving credit) and a particular group (females) may be under-represented with respect to another group (males). A key element in achieving algorithmic fairness with respect to protected groups is the simultaneous reduction of class and protected group imbalance in the underlying training data, which facilitates increases in both model accuracy and fairness. We discuss the importance of bridging imbalanced learning and group fairness by showing how key concepts in these fields overlap and complement each other; and propose a novel oversampling algorithm, Fair Oversampling, that addresses both skewed class distributions and protected features. Our method: (i) can be used as an efficient pre-processing algorithm for standard ML algorithms to jointly address imbalance and group equity; and (ii) can be combined with fairness-aware learning algorithms to improve their robustness to varying levels of class imbalance. Additionally, we take a step toward bridging the gap between fairness and imbalanced learning with a new metric, Fair Utility, that combines balanced accuracy with fairness.


title: Semi-supervised Ranking for Object Image Blur Assessment

abstract: Assessing the blurriness of an object image is fundamentally important to improve the performance for object recognition and retrieval. The main challenge lies in the lack of abundant images with reliable labels and effective learning strategies. Current datasets are labeled with limited and confused quality levels. To overcome this limitation, we propose to label the rank relationships between pairwise images rather their quality levels, since it is much easier for humans to label, and establish a large-scale realistic face image blur assessment dataset with reliable labels. Based on this dataset, we propose a method to obtain the blur scores only with the pairwise rank labels as supervision. Moreover, to further improve the performance, we propose a self-supervised method based on quadruplet ranking consistency to leverage the unlabeled data more effectively. The supervised and self-supervised methods constitute a final semi-supervised learning framework, which can be trained end-to-end. Experimental results demonstrate the effectiveness of our method.


title: On fitting the Lomax distribution: a comparison between minimum distance estimators and other estimation techniques

abstract: In this paper we investigate the performance of a variety of estimation techniques for the scale and shape parameter of the Lomax distribution. These methods include traditional methods such as the maximum likelihood estimator and the method of moments estimator. A version of the maximum likelihood estimator adjusted for bias is also included. Furthermore, alternative moment-based estimation techniques such as the $L$-moment estimator and the probability weighted moments estimator are included along with three different minimum distance estimators. The finite sample performances of each of these estimators is compared via an extensive Monte Carlo study. We find that no single estimator outperforms its competitors uniformly. We recommend one of the minimum distance estimators for use with smaller samples, while a bias reduced version of maximum likelihood estimation is recommended for use with larger samples. In addition, the desirable asymptotic properties of traditional maximum likelihood estimators make them appealing for larger samples. We also include a practical application demonstrating the use of the techniques on observed data.


title: Storage and Retrieval Codes in PIR Schemes with Colluding Servers

abstract: Private information retrieval (PIR) schemes (with or without colluding servers) have been proposed for realistic coded distributed data storage systems. Star product PIR schemes with colluding servers for general coded distributed storage system were constructed over general finite fields by R. Freij-Hollanti, O. W. Gnilke, C. Hollanti and A. Karpuk in 2017. These star product PIR schemes with colluding servers are suitable for the storage of files over small fields and can be constructed for coded distributed storage system with large number of servers. In this paper for an efficient storage code, the problem to find good retrieval codes is considered. In general if the storage code is a binary Reed-Muller code the retrieval code needs not to be a binary Reed-Muller code in general. It is proved that when the storage code contains some special codewords, nonzero retrieval rate star product PIR schemes with colluding servers can only protect against small number of colluding servers. We also give examples to show that when the storage code is a good cyclic code, the best choice of the retrieval code is not cyclic in general. Therefore in the design of star product PIR schemes with colluding servers, the scheme with the storage code and the retrieval code in the same family of algebraic codes is not always efficient.


title: Controllable and Lossless Non-Autoregressive End-to-End Text-to-Speech

abstract: Some recent studies have demonstrated the feasibility of single-stage neural text-to-speech, which does not need to generate mel-spectrograms but generates the raw waveforms directly from the text. Single-stage text-to-speech often faces two problems: a) the one-to-many mapping problem due to multiple speech variations and b) insufficiency of high frequency reconstruction due to the lack of supervision of ground-truth acoustic features during training. To solve the a) problem and generate more expressive speech, we propose a novel phoneme-level prosody modeling method based on a variational autoencoder with normalizing flows to model underlying prosodic information in speech. We also use the prosody predictor to support end-to-end expressive speech synthesis. Furthermore, we propose the dual parallel autoencoder to introduce supervision of the ground-truth acoustic features during training to solve the b) problem enabling our model to generate high-quality speech. We compare the synthesis quality with state-of-the-art text-to-speech systems on an internal expressive English dataset. Both qualitative and quantitative evaluations demonstrate the superiority and robustness of our method for lossless speech generation while also showing a strong capability in prosody modeling.


title: Introducing $\gamma$-lifting for Learning Nonlinear Pulse Shaping in Coherent Optical Communication

abstract: Pulse shaping for coherent optical fiber communication has been an active area of research for the past decade. Most of the early schemes are based on classic Nyquist pulse shaping that was originally intended for linear channels. The best known classic scheme, the split digital back-propagation (DBP), uses joint pre-distortion and post equalization and hence, a nonlinear transmitter (TX); it, however, suffers from spectral broadening on the fiber due to the Kerr-effect. With the advent of deep learning in communications, it has been realized that an Autoencoder can learn to communicate efficiently over the optical fiber channel, jointly optimizing geometric constellations and pulse shaping - while also taking into account linear and nonlinear impairments such as chromatic dispersion and Kerr-nonlinearity. E.g., arXiv:2006.15027 shows how an Autoencoder can learn to mitigate spectral broadening due to the Kerr-effect using a trainable linear TX. In this paper, we extend this linear architectural template to a scalable nonlinear pulse shaping consisting of a Convolutional Neural Network at both transmitter and receiver. By introducing a novel $\gamma$-lifting training procedure tailored to the nonlinear optical fiber channel, we achieve stable Autoencoder convergence to pulse shapes reaching information rates outperforming the classic split DBP reference at high input powers.


title: Flow of quantum correlations in noisy two-mode squeezed microwave states

abstract: We study nonclassical correlations in propagating two-mode squeezed microwave states in the presence of noise. We focus on two different types of correlations, namely, quantum entanglement and quantum discord. Quantum discord has various intriguing fundamental properties which require experimental verification, such as the asymptotic robustness to environmental noise. Here, we experimentally investigate quantum discord in propagating two-mode squeezed microwave states generated via superconducting Josephson parametric amplifiers. By exploiting an asymmetric noise injection into these entangled states, we demonstrate the robustness of quantum discord against thermal noise while verifying the sudden death of entanglement. Furthermore, we investigate the difference between quantum discord and entanglement of formation, which can be directly related to the flow of locally inaccessible information between the environment and the bipartite subsystem. We observe a crossover behavior between quantum discord and entanglement for low noise photon numbers, which is a result of the tripartite nature of noise injection. We demonstrate that the difference between entanglement and quantum discord can be related to the security of certain quantum key distribution protocols.


title: Structured Decompositions: Structural and Algorithmic Compositionality

abstract: We introduce structured decompositions: category-theoretic generalizations of many combinatorial invariants -- including tree-width, layered tree-width, co-tree-width and graph decomposition width -- which have played a central role in the study of structural and algorithmic compositionality in both graph theory and parameterized complexity. Structured decompositions allow us to generalize combinatorial invariants to new settings (for example decompositions of matroids) in which they describe algorithmically useful structural compositionality. As an application of our theory we prove an algorithmic meta theorem for the Sub_P-composition problem which, when instantiated in the category of graphs, yields compositional algorithms for NP-hard problems such as: Maximum Bipartite Subgraph, Maximum Planar Subgraph and Longest Path.


title: Marginally deformed Schr\"{o}dinger/dipole CFT correspondence

abstract: We construct and thoroughly study a new integrable example of the AdS/CFT correspondence with Schr\"{o}dinger symmetry. On the gravity side, the supergravity solution depends on two parameters and is obtained by marginally deforming the internal space of the Schr\"{o}dinger background through a series of TsT transformations. On the field theory side, we identify the dual field theory which also depends on two parameters. We find a point-like string solution and derive its dispersion relation. A non-trivial test of the correspondence is provided by using the Landau-Lifshitz coherent state approach to reproduce the leading, in the deformation parameters, terms of that relation. Then, we calculate the Wilson loop, describing the quark/anti-quark potential at strong coupling. It exhibits confining behaviour when the separation length is much less than the Schr\"{o}dinger parameter. When the separation length is much greater than the Schr\"{o}dinger parameter the behaviour is that of a conformal theory. Subsequently, we take the Penrose limit along a certain null geodesic of the constructed background and calculate the bosonic spectrum. Based on that spectrum, we make an educated guess for the exact, in the 't Hooft coupling, dispersion relation of the magnon excitations in the original doubly deformed background. This provides us with an exact prediction for the dimensions of the dual field theory operators.


title: Diophantine exponents of lattices and growth of multidimensional analogues of partial quotients

abstract: In this paper we study the three-dimensional analogue of the relation between the irrationality exponent of a real number and the growth of its regular continued fraction partial quotients. As a multidimensional generalisation of continued fractions, we consider Klein polyhedra.


title: Double flows anchored in a Kerr black hole horizon. I. Meridionally self-similar MHD models with loading terms

abstract: Recent observations of supermassive black holes have brought us new information on their magnetospheres. In this study we attempt a theoretical modelling of the coupling of black holes with their jets and discs, via three innovations. First, we propose a semi-analytical MHD description of a steady relativistic inflow-outflow structure characteristic to the extraction of the hole rotational energy. The mass-loading is ensured in a thin layer, the stagnation surface, by a two-photon pair production originating to a gamma-ray emission from the surrounding disc. The double flow is described near the polar axis by an axisymmetric meridionally self-similar MHD model. Second, the inflow and outflow solutions are crossing the MHD critical points and are matched at the stagnation surface. Knowledge of the MHD field on the horizon give us the angular momentum and energy extracted from the black hole. Finally, we illustrate the model with three specific examples of double-flow solutions by varying the energetic interaction between the MHD field and the rotating black hole. When the isorotation frequency is half of the black hole one, the extracted Poynting flux is comparable to the one obtained using the force-free assumption. In two of the presented solutions, the Penrose process dominates at large colatitudes, while the third is Poynting flux dominated at mid colatitudes. Mass injection rate estimations, from disk luminosity and inner radius, give an upper limit just above the values obtained for two solutions. This model is pertinent to describe the flows near the polar axis where pair production is more efficient.


title: Eliminating Gradient Conflict in Reference-based Line-Art Colorization

abstract: Reference-based line-art colorization is a challenging task in computer vision. The color, texture, and shading are rendered based on an abstract sketch, which heavily relies on the precise long-range dependency modeling between the sketch and reference. Popular techniques to bridge the cross-modal information and model the long-range dependency employ the attention mechanism. However, in the context of reference-based line-art colorization, several techniques would intensify the existing training difficulty of attention, for instance, self-supervised training protocol and GAN-based losses. To understand the instability in training, we detect the gradient flow of attention and observe gradient conflict among attention branches. This phenomenon motivates us to alleviate the gradient issue by preserving the dominant gradient branch while removing the conflict ones. We propose a novel attention mechanism using this training strategy, Stop-Gradient Attention (SGA), outperforming the attention baseline by a large margin with better training stability. Compared with state-of-the-art modules in line-art colorization, our approach demonstrates significant improvements in Fr\'echet Inception Distance (FID, up to 27.21%) and structural similarity index measure (SSIM, up to 25.67%) on several benchmarks. The code of SGA is available at https://github.com/kunkun0w0/SGA .


title: On Merging Feature Engineering and Deep Learning for Diagnosis, Risk-Prediction and Age Estimation Based on the 12-Lead ECG

abstract: Objective: Machine learning techniques have been used extensively for 12-lead electrocardiogram (ECG) analysis. For physiological time series, deep learning (DL) superiority to feature engineering (FE) approaches based on domain knowledge is still an open question. Moreover, it remains unclear whether combining DL with FE may improve performance. Methods: We considered three tasks intending to address these research gaps: cardiac arrhythmia diagnosis (multiclass-multilabel classification), atrial fibrillation risk prediction (binary classification), and age estimation (regression). We used an overall dataset of 2.3M 12-lead ECG recordings to train the following models for each task: i) a random forest taking the FE as input was trained as a classical machine learning approach; ii) an end-to-end DL model; and iii) a merged model of FE+DL. Results: FE yielded comparable results to DL while necessitating significantly less data for the two classification tasks and it was outperformed by DL for the regression task. For all tasks, merging FE with DL did not improve performance over DL alone. Conclusion: We found that for traditional 12-lead ECG based diagnosis tasks DL did not yield a meaningful improvement over FE, while it improved significantly the nontraditional regression task. We also found that combining FE with DL did not improve over DL alone which suggests that the FE were redundant with the features learned by DL. Significance: Our findings provides important recommendations on what machine learning strategy and data regime to chose with respect to the task at hand for the development of new machine learning models based on the 12-lead ECG.


title: Systematic errors in Galileo's astronomical observations and alleged anomalies in the position of Neptune

abstract: In 1980 Kowal and Drake found that in December 1612 and January 1613 Galileo observed the planet Neptune. At that time, according to these authors, Galileo was able to measure angular separations with an accuracy of about 10 seconds of arc. However, as noticed by Kowal and Drake, the position of Neptune reported by Galileo is wrong with respect to the position computed with the modern ephemeris of about 1 minute of arc. This led Kowal and Drake to speculate on the possible errors of modern ephemeris of Neptune and sparked some debate about Neptune's ephemeris and/or possible errors in Galileo's measures. Until today this anomaly has remained without a conclusive answer. Here we show that, in addition to the random errors, there are other significant measurement errors present in Galileo's observations. These errors may help clarify the origin of the alleged anomalies in the position of Neptune.


title: A construction-free coordinate-descent augmented-Lagrangian method for embedded linear MPC based on ARX models

abstract: This paper proposes a construction-free algorithm for solving linear MPC problems based on autoregressive with exogenous terms (ARX) input-output models. The solution algorithm relies on a coordinate-descent augmented Lagrangian (CDAL) method previously proposed by the authors, which we adapt here to exploit the special structure of ARX-based MPC. The CDAL-ARX algorithm enjoys the construction-free feature, in that it avoids explicitly constructing the quadratic programming (QP) problem associated with MPC, which would eliminate construction cost when the ARX model changes/adapts online. For example, the ARX model parameters are dependent on linear parameter-varying (LPV) scheduling signals, or recursively adapted from streaming input-output data with cheap computation cost, which make the ARX model widely used in adaptive control. Moreover, the implementation of the resulting CDAL-ARX algorithm is matrix-free and library-free, and hence amenable for deployment in industrial embedded platforms. We show the efficiency of CDAL-ARX in two numerical examples, also in comparison with MPC implementations based on other general-purpose quadratic programming solvers.


title: A practical method to detect, analyse and engineer higher order Van Hove singularities in multi-band Hamiltonians

abstract: We present a practical method to detect, diagnose and engineer higher order Van Hove singularities in multiband systems, with no restrictions on the number of bands and hopping terms. The method allows us to directly compute the Taylor expansion of the dispersion of any band at arbitrary points in momentum space, using a generalised extension of the Feynman Hellmann theorem, which we state and prove. Being fairly general in scope, it also allows us to incorporate and analyse the effect of tuning parameters on the low energy dispersions, which can greatly aid the engineering of higher order Van Hove singularities. A certain class of degenerate bands can be handled within this framework. We demonstrate the use of the method, by applying it to the Haldane model.


title: Many-body quantum non-Markovianity

abstract: We port the concept of non-Markovian quantum dynamics to the many-particle realm, by a suitable decomposition of the many-particle Hilbert space. We show how the specific structure of many-particle states determines the observability of non-Markovianity by single- or many-particle observables, and discuss a realization in a readily implementable few-particle set-up.


title: Global-local Motion Transformer for Unsupervised Skeleton-based Action Learning

abstract: We propose a new transformer model for the task of unsupervised learning of skeleton motion sequences. The existing transformer model utilized for unsupervised skeleton-based action learning is learned the instantaneous velocity of each joint from adjacent frames without global motion information. Thus, the model has difficulties in learning the attention globally over whole-body motions and temporally distant joints. In addition, person-to-person interactions have not been considered in the model. To tackle the learning of whole-body motion, long-range temporal dynamics, and person-to-person interactions, we design a global and local attention mechanism, where, global body motions and local joint motions pay attention to each other. In addition, we propose a novel pretraining strategy, multi-interval pose displacement prediction, to learn both global and local attention in diverse time ranges. The proposed model successfully learns local dynamics of the joints and captures global context from the motion sequences. Our model outperforms state-of-the-art models by notable margins in the representative benchmarks. Codes are available at https://github.com/Boeun-Kim/GL-Transformer.


title: A blockchain-based secure storage scheme for medical information

abstract: Medical data involves a large amount of personal information and is highly privacy sensitive. In the age of big data, the increasing informatization of healthcare makes it vital that medical information is stored securely and accurately. However, current medical information is subject to the risk of privacy leakage and difficult to share. To address these issues, this paper proposes a healthcare information security storage solution based on Hyperledger Fabric and the Attribute-Based Access Control (ABAC) framework. The scheme first utilizes attribute-based access control, which allows dynamic and fine-grained access to medical information, and then stores the medical information in the blockchain, which can be secured and tamper-proof by formulating corresponding smart contracts. In addition, this solution also incorporates IPFS technology to relieve the storage pressure of the blockchain. Experiments show that the proposed scheme combining access control of attributes and blockchain technology in this paper can not only ensure the secure storage and integrity of medical information but also has a high throughput when accessing medical information.


title: Learnability Enhancement for Low-light Raw Denoising: Where Paired Real Data Meets Noise Modeling

abstract: Low-light raw denoising is an important and valuable task in computational photography where learning-based methods trained with paired real data are mainstream. However, the limited data volume and complicated noise distribution have constituted a learnability bottleneck for paired real data, which limits the denoising performance of learning-based methods. To address this issue, we present a learnability enhancement strategy to reform paired real data according to noise modeling. Our strategy consists of two efficient techniques: shot noise augmentation (SNA) and dark shading correction (DSC). Through noise model decoupling, SNA improves the precision of data mapping by increasing the data volume and DSC reduces the complexity of data mapping by reducing the noise complexity. Extensive results on the public datasets and real imaging scenarios collectively demonstrate the state-of-the-art performance of our method. Our code is available at: https://github.com/megvii-research/PMN.


title: Automated Detection of Label Errors in Semantic Segmentation Datasets via Deep Learning and Uncertainty Quantification

abstract: In this work, we for the first time present a method for detecting label errors in image datasets with semantic segmentation, i.e., pixel-wise class labels. Annotation acquisition for semantic segmentation datasets is time-consuming and requires plenty of human labor. In particular, review processes are time consuming and label errors can easily be overlooked by humans. The consequences are biased benchmarks and in extreme cases also performance degradation of deep neural networks (DNNs) trained on such datasets. DNNs for semantic segmentation yield pixel-wise predictions, which makes detection of label errors via uncertainty quantification a complex task. Uncertainty is particularly pronounced at the transitions between connected components of the prediction. By lifting the consideration of uncertainty to the level of predicted components, we enable the usage of DNNs together with component-level uncertainty quantification for the detection of label errors. We present a principled approach to benchmarking the task of label error detection by dropping labels from the Cityscapes dataset as well from a dataset extracted from the CARLA driving simulator, where in the latter case we have the labels under control. Our experiments show that our approach is able to detect the vast majority of label errors while controlling the number of false label error detections. Furthermore, we apply our method to semantic segmentation datasets frequently used by the computer vision community and present a collection of label errors along with sample statistics.


title: GriddlyJS: A Web IDE for Reinforcement Learning

abstract: Progress in reinforcement learning (RL) research is often driven by the design of new, challenging environments -- a costly undertaking requiring skills orthogonal to that of a typical machine learning researcher. The complexity of environment development has only increased with the rise of procedural-content generation (PCG) as the prevailing paradigm for producing varied environments capable of testing the robustness and generalization of RL agents. Moreover, existing environments often require complex build processes, making reproducing results difficult. To address these issues, we introduce GriddlyJS, a web-based Integrated Development Environment (IDE) based on the Griddly engine. GriddlyJS allows researchers to visually design and debug arbitrary, complex PCG grid-world environments using a convenient graphical interface, as well as visualize, evaluate, and record the performance of trained agent models. By connecting the RL workflow to the advanced functionality enabled by modern web standards, GriddlyJS allows publishing interactive agent-environment demos that reproduce experimental results directly to the web. To demonstrate the versatility of GriddlyJS, we use it to quickly develop a complex compositional puzzle-solving environment alongside arbitrary human-designed environment configurations and their solutions for use in automatic curriculum learning and offline RL. The GriddlyJS IDE is open source and freely available at https://griddly.ai.


title: Demonstration of multi-time quantum statistics without measurement back-action

abstract: It is challenging to obtain quantum statistics of multiple time points due to the principle of quantum mechanics that a measurement disturbs the quantum state. We propose an ancilla-assisted measurement scheme that does not suffer from the measurement-induced back-action and experimentally demonstrate it using dual-species trapped ions. By ensemble averaging the ancilla-measurement outcomes with properly chosen weights, quantum statistics, such as quantum correlation functions and quasi-probability distributions can be reconstructed. We employ $^{171}\rm{Yb}^+$-$^{138}\rm{Ba}^+$ ions as the system and the ancilla to perform multi-time measurements that consist of repeated initialization and detection of the ancilla state without effecting the system state. The two- and three-time quantum correlation functions and quasi-probability distributions are clearly revealed from experimental data. We successfully verify that the marginal distribution is unaffected by the measurement at each time and identify the nonclassicality of the reconstructed distribution. Our scheme can be applied for any $N$-time measurements of a general quantum process, which will be an essential tool for exploring properties of various quantum systems.


title: Spectral Statistics of Sample Block Correlation Matrices

abstract: A fundamental concept in multivariate statistics, sample correlation matrix, is often used to infer the correlation/dependence structure among random variables, when the population mean and covariance are unknown. A natural block extension of it, {\it sample block correlation matrix}, is proposed to take on the same role, when random variables are generalized to random sub-vectors. In this paper, we establish a spectral theory of the sample block correlation matrices and apply it to group independent test and related problem, under the high-dimensional setting. More specifically, we consider a random vector of dimension $p$, consisting of $k$ sub-vectors of dimension $p_t$'s, where $p_t$'s can vary from $1$ to order $p$. Our primary goal is to investigate the dependence of the $k$ sub-vectors. We construct a random matrix model called sample block correlation matrix based on $n$ samples for this purpose. The spectral statistics of the sample block correlation matrix include the classical Wilks' statistic and Schott's statistic as special cases. It turns out that the spectral statistics do not depend on the unknown population mean and covariance. Further, under the null hypothesis that the sub-vectors are independent, the limiting behavior of the spectral statistics can be described with the aid of the Free Probability Theory. Specifically, under three different settings of possibly $n$-dependent $k$ and $p_t$'s, we show that the empirical spectral distribution of the sample block correlation matrix converges to the free Poisson binomial distribution, free Poisson distribution (Marchenko-Pastur law) and free Gaussian distribution (semicircle law), respectively. We then further derive the CLTs for the linear spectral statistics of the block correlation matrix under general setting.


title: Lipschitz-free spaces, ultraproducts, and finite representability of metric spaces

abstract: We study several properties and applications of the ultrapower $M_{\mathcal U}$ of a metric space $M$. We prove that the Lipschitz-free space $\mathcal F(M_{\mathcal U})$ is finitely representable in $\mathcal F(M)$. We also characterize the metric spaces that are finitely Lipschitz representable in a Banach space as those that biLipschitz embed into an ultrapower of the Banach space. Thanks to this link, we obtain that if $M$ is finitely Lipschitz representable in a Banach space $X$, then $\mathcal F(M)$ is finitely representable in $\mathcal F(X)$. We apply these results to the study of cotype in Lipschitz-free spaces and the stability of Lipschitz-free spaces and spaces of Lipschitz functions under ultraproducts.


title: A Personalised User Authentication System based on EEG Signals

abstract: Conventional biometrics have been employed in high security user authentication systems for over 20 years now. However, some of these modalities face low security issues in common practice. Brain wave based user authentication has emerged as a promising alternative method, as it overcomes some of these drawbacks and allows for continuous user authentication. In the present study we address the problem of individual user variability, by proposing a data-driven Electroencephalography (EEG) based authentication method. We introduce machine learning techniques, in order to reveal the optimal classification algorithm that best fits the data of each individual user, in a fast and efficient manner. A set of 15 power spectral features (delta, theta, lower alpha, higher alpha, and alpha) is extracted from the three EEG channels. The results show that our approach can reliably grant or deny access to the user (mean accuracy 95,6%), while at the same time poses as a viable option for real time applications, as the total time of the training procedure was kept under one minute.


title: Climate Response and Sensitivity: Timescales and Late Tipping Points

abstract: Climate response metrics are used to quantify the Earth's climate response to anthropogenic changes of atmospheric CO2. Equilibrium Climate Sensitivity (ECS) is one such metric that measures the equilibrium response to CO2 doubling. However, both in their estimation and their usage, such metrics make assumptions on the linearity of climate response, although it is known that, especially for larger forcing levels, response can be nonlinear. Such nonlinear responses may become visible immediately in response to a larger perturbation, or may only become apparent after a long transient. In this paper, we illustrate some potential problems and caveats when estimating ECS from transient simulations. We highlight ways that very slow timescales may lead to poor estimation of ECS even if there is seemingly good fit to linear response over moderate timescales. Moreover, such slow timescale might lead to late abrupt responses ("late tipping points") associated with a system's nonlinearities. We illustrate these ideas using simulations on a global energy balance model with dynamic albedo. We also discuss the implications for estimating ECS for global climate models, highlighting that it is likely to remain difficult to make definitive statements about the simulation times needed to reach an equilibrium.


title: Symplectic blowing down in dimension Six

abstract: We establish a blowing down criterion in the context of birational symplectic geometry in dimension 6.


title: LiveSchema: A Gateway Towards Learning on Knowledge Graph Schemas

abstract: One of the major barriers to the training of algorithms on knowledge graph schemas, such as vocabularies or ontologies, is the difficulty that scientists have in finding the best input resource to address the target prediction tasks. In addition to this, a key challenge is to determine how to manipulate (and embed) these data, which are often in the form of particular triples (i.e., subject, predicate, object), to enable the learning process. In this paper, we describe the LiveSchema initiative, namely a gateway that offers a family of services to easily access, analyze, transform and exploit knowledge graph schemas, with the main goal of facilitating the reuse of these resources in machine learning use cases. As an early implementation of the initiative, we also advance an online catalog, which relies on more than 800 resources, with the first set of example services.


title: A spectral approach to non-linear weakly singular fractional integro-differential equations

abstract: In this work, a class of non-linear weakly singular fractional integro-differential equations is considered, and we first prove existence, uniqueness, and smoothness properties of the solution under certain assumptions on the given data. We propose a numerical method based on spectral Petrov-Galerkin method that handling to the non-smooth behavior of the solution. The most outstanding feature of our approach is to evaluate the approximate solution by means of recurrence relations despite solving complex non-linear algebraic system. Furthermore, the well-known exponential accuracy is established in $L^{2}$-norm, and we provide some examples to illustrate the theoretical results and the performance of the proposed method.


title: Automatic Differentiation: Theory and Practice

abstract: We present the classical coordinate-free formalism for forward and backward mode ad in the real and complex setting. We show how to formally derive the forward and backward formulae for a number of matrix functions starting from basic principles.


title: Scalable and Programmable Phononic Network with Trapped Ions

abstract: Controllable bosonic systems can provide post-classical computational power with sub-universal quantum computational capability. A network that consists of a number of bosons evolving through beam-splitters and phase-shifters between different modes, has been proposed and applied to demonstrate quantum advantages. While the network has been implemented mostly in optical systems with photons, recently alternative realizations have been explored, where major limitations in photonic systems such as photon loss, and probabilistic manipulation can be addressed. Phonons, the quantized excitations of vibrational modes, of trapped ions can be a promising candidate to realize the bosonic network. Here, we experimentally demonstrate a minimal-loss phononic network that can be programmed and in which any phononic states are deterministically prepared and detected. We realize the network with up to four collective-vibrational modes, which can be straightforwardly extended to reveal quantum advantage. We benchmark the performance of the network with an exemplary algorithm of tomography for arbitrary multi-mode states with a fixed total phonon number. We obtain reconstruction fidelities of 94.5 $\pm$ 1.95 % and 93.4 $\pm$ 3.15 % for single-phonon and two-phonon states, respectively. Our experiment demonstrates a clear and novel pathway to scale up a phononic network for various quantum information processing beyond the limitations of classical and other quantum systems.


title: G-SINC: Global Synchronization Infrastructure for Network Clocks

abstract: Many critical computing applications rely on secure and dependable time which is reliably synchronized across large distributed systems. Today's time synchronization architectures are commonly based on global navigation satellite systems at the considerable risk of being exposed to outages, malfunction, or attacks against availability and accuracy. This paper describes a practical instantiation of a new global, Byzantine fault-tolerant clock synchronization approach that does not place trust in any single entity and is able to tolerate a fraction of faulty entities while still maintaining synchronization on a global scale among otherwise sovereign network topologies. Leveraging strong resilience and security properties provided by the path-aware SCION networking architecture, the presented design can be implemented as a backward compatible active standby solution for existing time synchronization deployments. Through extensive evaluation, we demonstrate that over 94% of time servers reliably minimize the offset of their local clocks to real-time in the presence of up to 20% malicious nodes, and all time servers remain synchronized with a skew of only 2 ms even after one year of reference clock outage.


title: Bright entangled photon source without stringent crystal temperature and laser frequency stabilization

abstract: Entangled photon sources (EPS), the major building block for a variety of quantum communication protocols, are commonly developed by utilizing the spontaneous parametric down-conversion (SPDC) in $\chi^{2}$ nonlinear bulk optical materials. While high nonlinearity and long interaction length have established the superiority of the periodically poled crystals for EPSs, the phase-matching condition of such crystals is very sensitive to the fluctuation of the crystal temperature and the laser wavelength. As a result, deploying such sources outside the laboratory, for example, satellite-based applications, demands a stringent mass and power budget, thus enhancing the mission complexity and cost. We report a bright, stable entangled photon source with a relaxed requirement of crystal temperature and laser wavelength stabilization. Using a periodically poled KTP crystal inside a polarization Sagnac interferometer producing degenerate, type-0 phase-matched entangled photon pairs at 810 nm in an annular ring, we have transformed the SPDC ring into a "perfect" ring with the help of two common optical elements, axicon, and lens. Despite the variation of the SPDC ring size from Gaussian to annular of different diameters due to the change of crystal temperature over $7^{o}$C, and laser wavelength over 300 GHz, we observe the size of the "perfect" ring to be constant. The new EPS, having a spectral brightness as high as 22.58 $\pm$ 0.15 kHz/mW collected using single-mode fiber with a Bell's parameter, S = 2.64 $\pm$ 0.05, and quantum state fidelity of 0.95 $\pm$ 0.02, requires a crystal temperature stability of $\pm$ $0.8^{o}$C, almost five times relaxation as compared to the previous EPS. The generic scheme can be used for non-collinear SPDC photons in all crystals to develop EPS at any wavelength and timescales for resource-constrained applications.


title: Stability of Weighted Majority Voting under Estimated Weights

abstract: Weighted Majority Voting (WMV) is a well-known optimal decision rule for collective decision making, given the probability of sources to provide accurate information (trustworthiness). However, in reality, the trustworthiness is not a known quantity to the decision maker - they have to rely on an estimate called trust. A (machine learning) algorithm that computes trust is called unbiased when it has the property that it does not systematically overestimate or underestimate the trustworthiness. To formally analyse the uncertainty to the decision process, we introduce and analyse two important properties of such unbiased trust values: stability of correctness and stability of optimality. Stability of correctness means that the decision accuracy that the decision maker believes they achieved is equal to the actual accuracy. We prove stability of correctness holds. Stability of optimality means that the decisions made based on trust, are equally good as they would have been if they were based on trustworthiness. Stability of optimality does not hold. We analyse the difference between the two, and bounds thereon. We also present an overview of how sensitive decision correctness is to changes in trust and trustworthiness.


title: Newton's identities and positivity of trace class integral operators

abstract: We provide a countable set of conditions based on elementary symmetric polynomials that are necessary and sufficient for a trace class integral operator to be positive semidefinite, which is an important cornerstone for quantum theory in phase-space representation. We also present a new, efficiently computable algorithm based on Newton's identities. Our test of positivity is much more sensitive than the ones given by the linear entropy and Robertson-Schr\"odinger's uncertainty relations; our first condition is equivalent to the non-negativity of the linear entropy.


title: SURIMI: Supervised Radio Map Augmentation with Deep Learning and a Generative Adversarial Network for Fingerprint-based Indoor Positioning

abstract: Indoor Positioning based on Machine Learning has drawn increasing attention both in the academy and the industry as meaningful information from the reference data can be extracted. Many researchers are using supervised, semi-supervised, and unsupervised Machine Learning models to reduce the positioning error and offer reliable solutions to the end-users. In this article, we propose a new architecture by combining Convolutional Neural Network (CNN), Long short-term memory (LSTM) and Generative Adversarial Network (GAN) in order to increase the training data and thus improve the position accuracy. The proposed combination of supervised and unsupervised models was tested in 17 public datasets, providing an extensive analysis of its performance. As a result, the positioning error has been reduced in more than 70% of them.


title: Nitrogen fractionation towards a pre-stellar core traces isotope-selective photodissociation

abstract: Isotopologue abundance ratios are important to understand the evolution of astrophysical objects and ultimately the origins of a planetary system like our own. Being nitrogen a fundamental ingredient of pre-biotic material, understanding its chemistry and inheritance is of fundamental importance to understand the formation of the building blocks of life. We present here single-dish observations of the ground state rotational transitions of the $^{13}$C and $^{15}$N isotopologues of HCN, HNC and CN with the IRAM 30m telescope. We analyse their column densities and compute the $^{14}$N/$^{15}$N ratio map for HCN. The $^{15}$N-fractionation of CN and HNC is computed towards different offsets across L1544. The $^{15}$N-fractionation map of HCN shows a clear decrease of the $^{14}$N/$^{15}$N ratio towards the southern edge of L1544, where carbon chain molecules present a peak, strongly suggesting that isotope-selective photodissociation has a strong effect on the fractionation of nitrogen across pre-stellar cores. The $^{14}$N/$^{15}$N ratio in CN measured towards four positions across the core also shows a decrease towards the South-East of the core, while HNC shows opposite behaviour. The uneven illumination of the pre-stellar core L1544 provides clear evidence that $^{15}$N-fractionation of HCN and CN is enhanced toward the region more exposed to the interstellar radiation field. Isotope-selective photodissociation of N$_2$ is then a crucial process to understand $^{15}$N fractionation, as already found in protoplanetary disks. Therefore, the $^{15}$N-fractionation in pre-stellar material is expected to change depending on the environment within which pre-stellar cores are embedded. The $^{12}$CN/$^{13}$CN ratio also varies across the core, but its variation does not affect our conclusions on the effect of the environment on the fractionation of nitrogen.


title: Entropic destruction of heavy quarkonium in a rotating hot and dense medium from holography

abstract: Previous studies have indicated that the peak of the quarkonium entropy at the deconfinement transition can be related to the entropic force which would induce the dissociation of heavy quarkonium. In this paper, we study the entropic force in a rotating hot and dense medium using AdS/CFT correspondence. It turns out that the inclusion of angular velocity increases the entropic force thus enhancing quarkonium dissociation, while chemical potential has the same effect. Furthermore, the results imply that the quarkonium dissociates easier in rotating medium compared to static case.


title: Reverse Order Law for Closed Range Operators in Hilbert Spaces

abstract: We present more than 50 results including some range inclusion results to characterize reverse order law for Moore-Penrose inverse of closed range Hilbert space operators. We use basic properties of Moore-Penrose inverse to prove the results. Some examples are also provided to illustrate failure cases to hold the reverse order law in infinite dimensional settings.


title: DynaST: Dynamic Sparse Transformer for Exemplar-Guided Image Generation

abstract: One key challenge of exemplar-guided image generation lies in establishing fine-grained correspondences between input and guided images. Prior approaches, despite the promising results, have relied on either estimating dense attention to compute per-point matching, which is limited to only coarse scales due to the quadratic memory cost, or fixing the number of correspondences to achieve linear complexity, which lacks flexibility. In this paper, we propose a dynamic sparse attention based Transformer model, termed Dynamic Sparse Transformer (DynaST), to achieve fine-level matching with favorable efficiency. The heart of our approach is a novel dynamic-attention unit, dedicated to covering the variation on the optimal number of tokens one position should focus on. Specifically, DynaST leverages the multi-layer nature of Transformer structure, and performs the dynamic attention scheme in a cascaded manner to refine matching results and synthesize visually-pleasing outputs. In addition, we introduce a unified training objective for DynaST, making it a versatile reference-based image translation framework for both supervised and unsupervised scenarios. Extensive experiments on three applications, pose-guided person image generation, edge-based face synthesis, and undistorted image style transfer, demonstrate that DynaST achieves superior performance in local details, outperforming the state of the art while reducing the computational cost significantly. Our code is available at https://github.com/Huage001/DynaST


title: Traveling waves for a Fisher-type reaction-diffusion equation with a flux in divergence form

abstract: Analysis of the speed of propagation in parabolic operators is frequently carried out considering the minimal speed at which its traveling waves move. This value depends on the solution concept being considered. We analyze an extensive class of Fisher-type reaction-diffusion equations with flows in divergence form. We work with regular flows, which may not meet the standard elliptical conditions, but without other types of singularities. We show that the range of speeds at which classic traveling waves move is an interval unbounded to the right. Contrary to classic examples, the infimum may not be reached. When the flow is elliptic or over-elliptic, the minimum speed of propagation is achieved. The classic traveling wave speed threshold is complemented by another value by analyzing an extension of the first order boundary value problem to which the classic case is reduced. This singular minimum speed can be justified as a viscous limit of classic minimal speeds in elliptic or over-elliptic flows. We construct a singular profile for each speed between the minimum singular speed and the speeds at which classic traveling waves move. Under additional assumptions, the constructed profile can be justified as that of a traveling wave of the starting equation in the framework of bounded variation functions. We also show that saturated fronts verifying the Rankine-Hugoniot condition can appear for strictly lower speeds even in the framework of bounded variation functions.


title: Theoretical investigations on the Adiabatic Matching Device-based positron capture system

abstract: The positrons produced with the electron beam impinging on a conversion target, possess wide energy spectrum and large sweep of the angle of trajectories to the system axis. Accommodation of the positron bunch to the acceptance of an ajacent accelerator, mandates the reduction of angular spread. One of the most appropriate devices for transforming the phase portrait of a positron bunch is Adiabatic Matching Device (AMD). The paper presents an abridge theory of AMD. It is shown that the transformation of the transverse phase phase volume aimed at decrease the angular spread causes prolonging the bunch. Both the longitudinal and the transversal probability density functions are derived. The analytical results are validated with numerical simulations.


title: MM-ALT: A Multimodal Automatic Lyric Transcription System

abstract: Automatic lyric transcription (ALT) is a nascent field of study attracting increasing interest from both the speech and music information retrieval communities, given its significant application potential. However, ALT with audio data alone is a notoriously difficult task due to instrumental accompaniment and musical constraints resulting in degradation of both the phonetic cues and the intelligibility of sung lyrics. To tackle this challenge, we propose the MultiModal Automatic Lyric Transcription system (MM-ALT), together with a new dataset, N20EM, which consists of audio recordings, videos of lip movements, and inertial measurement unit (IMU) data of an earbud worn by the performing singer. We first adapt the wav2vec 2.0 framework from automatic speech recognition (ASR) to the ALT task. We then propose a video-based ALT method and an IMU-based voice activity detection (VAD) method. In addition, we put forward the Residual Cross Attention (RCA) mechanism to fuse data from the three modalities (i.e., audio, video, and IMU). Experiments show the effectiveness of our proposed MM-ALT system, especially in terms of noise robustness. Project page is at https://n20em.github.io.


title: Compositional Sparsity, Approximation Classes, and Parametric Transport Equations

abstract: Approximating functions of a large number of variables poses particular challenges often subsumed under the term ``Curse of Dimensionality'' (CoD). Unless the approximated function exhibits a very high level of smoothness the CoD can be avoided only by exploiting some typically hidden {\em structural sparsity}. In this paper we propose a general framework for new model classes of functions in high dimensions. They are based on suitable notions of {\em compositional dimension-sparsity} quantifying, on a continuous level, approximability by compositions with certain structural properties. In particular, this describes scenarios where deep neural networks can avoid the CoD. The relevance of these concepts is demonstrated for {\em solution manifolds} of parametric transport equations. For such PDEs parameter-to-solution maps do not enjoy the type of high order regularity that helps to avoid the CoD by more conventional methods in other model scenarios. Compositional sparsity is shown to serve as the key mechanism forn proving that sparsity of problem data is inherited in a quantifiable way by the solution manifold. In particular, one obtains convergence rates for deep neural network realizations showing that the CoD is indeed avoided.


title: Boundedness of the Hardy-Littlewood Maximal Operator, Fractional Integral Operators, and Calderon-Zygmund Operators on Generalized Weighted Morrey Spaces

abstract: In this paper we investigate the boundedness of classical operators, namely the Hardy-Littlewood maximal operator, fractional integral operators, and Calderon-Zygmund operators, on generalized weighted Morrey spaces and generalized weighted weak Morrey spaces. We prove that the operators are bounded on these spaces, under certain assumptions.


title: Fuse It More Deeply! A Variational Transformer with Layer-Wise Latent Variable Inference for Text Generation

abstract: The past several years have witnessed Variational Auto-Encoder's superiority in various text generation tasks. However, due to the sequential nature of the text, auto-regressive decoders tend to ignore latent variables and then reduce to simple language models, known as the KL vanishing problem, which would further deteriorate when VAE is combined with Transformer-based structures. To ameliorate this problem, we propose DELLA, a novel variational Transformer framework. DELLA learns a series of layer-wise latent variables with each inferred from those of lower layers and tightly coupled with the hidden states by low-rank tensor product. In this way, DELLA forces these posterior latent variables to be fused deeply with the whole computation path and hence incorporate more information. We theoretically demonstrate that our method can be regarded as entangling latent variables to avoid posterior information decrease through layers, enabling DELLA to get higher non-zero KL values even without any annealing or thresholding tricks. Experiments on four unconditional and three conditional generation tasks show that DELLA could better alleviate KL vanishing and improve both quality and diversity compared to several strong baselines.


title: Continual Meta-Reinforcement Learning for UAV-Aided Vehicular Wireless Networks

abstract: Unmanned aerial base stations (UABSs) can be deployed in vehicular wireless networks to support applications such as extended sensing via vehicle-to-everything (V2X) services. A key problem in such systems is designing algorithms that can efficiently optimize the trajectory of the UABS in order to maximize coverage. In existing solutions, such optimization is carried out from scratch for any new traffic configuration, often by means of conventional reinforcement learning (RL). In this paper, we propose the use of continual meta-RL as a means to transfer information from previously experienced traffic configurations to new conditions, with the goal of reducing the time needed to optimize the UABS's policy. Adopting the Continual Meta Policy Search (CoMPS) strategy, we demonstrate significant efficiency gains as compared to conventional RL, as well as to naive transfer learning methods.


title: Semimartingle Representation of a class of Semi-Markov Dynamics

abstract: We consider a class of semi-Markov processes (SMP) such that the embedded discrete time Markov chain may be non-homogeneous. The corresponding augmented processes are represented as semi-martingales using stochastic integral equation involving a Poisson random measure. The existence and uniqueness of the equation are established. Subsequently, we show that the solution is indeed a SMP with desired transition rate. Finally, we derive the law of the bivariate process obtained from two solutions of the equation having two different initial conditions.


title: Co-inversion of a scattering cavity and its internal sources: uniqueness, decoupling and imaging

abstract: This paper concerns the simultaneous reconstruction of a sound-soft cavity and its excitation sources from the total-field data. Using the single-layer potential representations on two measurement curves, this co-inversion problem can be decoupled into two inverse problems: an inverse cavity scattering problem and an inverse source problem. This novel decoupling technique is fast and easy to implement since it is based on a linear system of integral equations. Then the uncoupled subproblems are respectively solved by the modified optimization and sampling method. We also establish the uniqueness of this co-inversion problem and analyze the stability of our method. Several numerical examples are presented to demonstrate the feasibility and effectiveness of the proposed method.


title: Geometric analysis of fast-slow PDEs with fold singularities

abstract: We study a singularly perturbed fast-slow system of two partial differential equations (PDEs) of reaction-diffusion type on a bounded domain. We assume that the reaction terms in the fast variable contain a fold singularity, whereas the slow variable assumes the role of a dynamic bifurcation parameter, thus extending the classical analysis of a fast-slow dynamic fold bifurcation to an infinite-dimensional setting. Our approach combines a spectral Galerkin discretisation with techniques from Geometric Singular Perturbation Theory (GSPT) which are applied to the resulting high-dimensional systems of ordinary differential equations (ODEs). In particular, we show the existence of invariant manifolds away from the fold singularity, while the dynamics in a neighbourhood of the singularity is described by geometric desingularisation, via the blow-up technique. Finally, we relate the Galerkin manifolds that are obtained after the discretisation to the invariant manifolds which exist in the phase space of the original system of PDEs.


title: Learning Feynman Diagrams with Tensor Trains

abstract: We use tensor network techniques to obtain high order perturbative diagrammatic expansions for the quantum many-body problem at very high precision. The approach is based on a tensor train parsimonious representation of the sum of all Feynman diagrams, obtained in a controlled and accurate way with the tensor cross interpolation algorithm. It yields the full time evolution of physical quantities in the presence of any arbitrary time dependent interaction. Our benchmarks on the Anderson quantum impurity problem, within the real time non-equilibrium Schwinger-Keldysh formalism, demonstrate that this technique supersedes diagrammatic Quantum Monte Carlo by orders of magnitude in precision and speed, with convergence rates $1/N^2$ or faster, where N is the number of function evaluations. The method also works in parameter regimes characterized by strongly oscillatory integrals in high dimension, which suffer from a catastrophic sign problem in Quantum Monte-Carlo. Finally, we also present two exploratory studies showing that the technique generalizes to more complex situations: a double quantum dot and a single impurity embedded in a two dimensional lattice.


title: On a Conjecture Regarding the Mouse Order for Weasels

abstract: We investigate Steel's conjecture in 'The Core Model Iterability Problem', that if $W$ and $R$ are $\Omega+1$-iterable, $1$-small weasels, then $W\leq^{*}R$ iff there is a club $C\subset\Omega$ such that for all $\alpha\in C$, if $\alpha$ is regular, then the cardinal successor of $\alpha$ in $W$ is less or equal than the cardinal successor of $\alpha$ in $R$ . We will show that the conjecture fails, assuming that there is an iterable premouse which models $KP$ and which has a $\Sigma_{1}$-Woodin cardinal. On the other hand, we show that assuming there is no transitive model of $KP$ with a Woodin cardinal the conjecture holds. In the course of this we will also show that if $M$ is an iterable admissible premouse with a largest, regular, uncountable cardinal $\delta$, and $\mathbb{P}$ is a forcing poset with the $\delta$-c.c. in $M$, and $g$ is $M$-generic, but not necessarily $\Sigma_{1}$-generic, $M[g]$ is a model of $KP$. Moreover, if $M$ is such a mouse and $T$ is maximal normal iteration tree on $M$ such that $T$ is non-dropping on its main branch, then $M_{\infty}^{T}$ is again an iterable admissible premouse with a largest regular and uncountable cardinal. At last we answer another open question from 'The Core Model Iterability Problem' regarding the S-hull property.


title: Probing the Robustness of Independent Mechanism Analysis for Representation Learning

abstract: One aim of representation learning is to recover the original latent code that generated the data, a task which requires additional information or inductive biases. A recently proposed approach termed Independent Mechanism Analysis (IMA) postulates that each latent source should influence the observed mixtures independently, complementing standard nonlinear independent component analysis, and taking inspiration from the principle of independent causal mechanisms. While it was shown in theory and experiments that IMA helps recovering the true latents, the method's performance was so far only characterized when the modeling assumptions are exactly satisfied. Here, we test the method's robustness to violations of the underlying assumptions. We find that the benefits of IMA-based regularization for recovering the true sources extend to mixing functions with various degrees of violation of the IMA principle, while standard regularizers do not provide the same merits. Moreover, we show that unregularized maximum likelihood recovers mixing functions which systematically deviate from the IMA principle, and provide an argument elucidating the benefits of IMA-based regularization.


title: Magnetic-field induced melting of long-range magnetic order akin to Kitaev insulators in the metallic compound Tb5Si3

abstract: There have been constant efforts to find exotic quantum spin-liquid (QSL) materials. Some of the transition metal insulators dominated by the direction dependent anisotropic exchange interaction (Kitaev model for honeycomb network of magnetic ions) are considered to be promising cases for the same. In such Kitaev insulators, QSL is achieved from the zero-field antiferromagnetic state by the application of magnetic field, suppressing other exchange interactions responsible for magnetic order. Here, we show that the features attributable to long-range magnetic ordering of the intermetallic compound, Tb5Si3 (T_N= 69 K), containing honey-comb network of Tb ions, are completely suppressed by a critical applied field, H_cr, in heat-capacity and magnetization data, mimicking the behavior of Kitaev physics candidates. The neutron diffraction patterns as a function of H reveal that it is an incommensurate magnetic structure that gets suppressed, showing peaks arising from multiple wave vectors beyond Hcr. Increasing magnetic entropy as a function of H with a peak in the magnetically ordered state is in support of some kind of magnetic disorder in a narrow field range after H_cr. Such a high-field behavior for a metallic heavy rare-earth system to our knowledge has not been reported in the past and therefore is intriguing.


title: Robust and accurate depth estimation by fusing LiDAR and Stereo

abstract: Depth estimation is one of the key technologies in some fields such as autonomous driving and robot navigation. However, the traditional method of using a single sensor is inevitably limited by the performance of the sensor. Therefore, a precision and robust method for fusing the LiDAR and stereo cameras is proposed. This method fully combines the advantages of the LiDAR and stereo camera, which can retain the advantages of the high precision of the LiDAR and the high resolution of images respectively. Compared with the traditional stereo matching method, the texture of the object and lighting conditions have less influence on the algorithm. Firstly, the depth of the LiDAR data is converted to the disparity of the stereo camera. Because the density of the LiDAR data is relatively sparse on the y-axis, the converted disparity map is up-sampled using the interpolation method. Secondly, in order to make full use of the precise disparity map, the disparity map and stereo matching are fused to propagate the accurate disparity. Finally, the disparity map is converted to the depth map. Moreover, the converted disparity map can also increase the speed of the algorithm. We evaluate the proposed pipeline on the KITTI benchmark. The experiment demonstrates that our algorithm has higher accuracy than several classic methods.


title: Chiral Ball and Its Omnidirectional Circularly-Polarized Radiation

abstract: Chiral structures have reported radiation of circular polarized electromagnetic waves (CPs) in a specific direction. Here we report a class of torus knot radiators that is not only chiral but also three-dimensional (3-D) rotational symmetric along X, Y and Z axes. Because of this exotic chirality and symmetry, the knot radiator presented is able to demonstrate omnidirectional circular polarized radiation, which has never been reported in any known structures.


title: The mass of an asymptotically hyperbolic end and distance estimates

abstract: Let $(M,g)$ be a complete connected $n$-dimensional Riemannian spin manifold without boundary such that the scalar curvature satisfies $R_g\geq -n(n-1)$ and $\mathcal{E}\subset M$ be an asymptotically hyperbolic end, we prove that the mass functional of the end $\mathcal{E}$ is timelike future-directed or zero. Moreover, it vanishes if and only if $(M,g)$ is isometric to the hyperbolic space. We also consider the mass of an asymptotically hyperbolic manifold with compact boundary, we prove the mass is timelike future-directed if the mean curvature of the boundary is bounded from below by a function defined using distance estimates. As an application, the mass is timelike future-directed if the mean curvature of the boundary is bounded from below by $-(n-1)$ or the scalar curvature satisfies $R_g\geq (-1+\kappa)n(n-1)$ for any positive constant $\kappa$ less than one.


title: The Ising spin glass on random graphs at zero temperature: not all spins are glassy in the glassy phase

abstract: We investigate the replica symmetry broken (RSB) phase of spin glass (SG) models in a random field defined on Bethe lattices at zero temperature. From the properties of the RSB solution we deduce a closed equation for the extreme values of the cavity fields. This equation turns out not to depend on the parameters defining the RSB, and it predicts that the spontaneous RSB does not take place homogeneously on the whole system. Indeed, there exist spins having the same effective local field in all local ground states, exactly as in the replica symmetric (RS) phase, while the spontaneous RSB manifests only on the remaining spins, whose fraction vanishes at criticality. The characterization in terms of spins having fixed or fluctuating local fields can be extended also to the random field Ising model (RFIM), in which case the fluctuating spins are the only responsible for the spontaneous magnetization in the ferromagnetic phase. Close to criticality we are able to connect the statistics of the local fields acting on the spins in the RSB phase with the correlation functions measured in the paramagnetic phase. Identifying the two types of spins on given instances of SG and RFIM, we show that they participate very differently to avalanches produced by flipping a single spin. From the scaling of the number of spins inducing RSB effects close to the critical point and using the $M$-layer expansion we estimate the upper critical dimension $D_U \geq 8$ for SG.

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: A global second order Sobolev regularity for $p$-Laplacian type equations with variable coefficients in bounded domains

abstract: Let $\Omega\subset R^n$ be a bounded convex domain with $n\ge2$. Suppose that $A$ is uniformly elliptic and belongs to $W^{1,n}$ when $n\ge 3$ or $W^{1,q}$ for some $q>2$ when $n=2$. For $1<p<\infty$, we build up a global second order regularity estimate $$\|D[|Du|^{p-2} Du]\|_{L^2(\Omega)}+\|D[ |\sqrt{A}Du|^{p-2} A Du]\|_{L^2(\Omega)} \le C \|f\|_{L^2(\Omega)} $$ for inhomogeneous $p$-Laplace type equation \begin{equation} -\mathrm{div}\big(\langle A Du,Du\rangle ^{\frac{p-2}2} A Du\big)=f \quad\rm{in }\ \Omega \mbox{ with Dirichlet/Neumann $0$-boundary.} \end{equation} Similar result was also built up for certain bounded Lipschitz domain whose boundary is weakly second order differentiable and satisfies some smallness assumptions.


title: A Beyond-5G Authentication and Key Agreement Protocol

abstract: The standardized Authentication and Key Agreement protocol for 5G networks (5G AKA) have several security and privacy vulnerabilities. In this paper, we propose a novel authentication and key agreement protocol for 5G and beyond that is compatible with the standardized 5G AKA. Our protocol has several privacy and security properties, e.g., perfect forward secrecy, resistance against linkability attacks, and protection against malicious SNs. Moreover, both the user identity protection and the perfect forward secrecy are handled using Key Encapsulation Mechanisms (KEM), which makes our protocol adaptable to the quantum-safe setting. To analyze the performance of the proposed protocol, we use the post-quantum KEM CRYSTALS-Kyber, recently chosen to be standardized by NIST, and NIST post-quantum Round 4 candidate KEMs. The results for communication and computation costs show that utilizing our protocol is feasible in practice and sometimes outperforms the public-key cryptography used in 5G AKA, i.e., ECIES. We further prove the security of our protocol by utilizing ProVerif.


title: On the matching of eigensolutions to parametric partial differential equations

abstract: In this paper a novel numerical approximation of parametric eigenvalue problems is presented. We motivate our study with the analysis of a POD reduced order model for a simple one dimensional example. In particular, we introduce a new algorithm capable to track the matching of eigenvalues when the parameters vary.