title: An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form

abstract: The problem of determining an explicit one-parameter power form representation of the proper $n$-th degree Zolotarev polynomials on $[-1,1]$ can be traced back to P. L. Chebyshev. It turned out to be complicated, even for small values of $n$. Such a representation was known to A. A. Markov (1889) for $n=2$ and $n=3$. But already for $n=4$ it seems that nobody really believed that an explicit form can be found. As a matter of fact it was, by V. A. Markov in 1892, as A. Shadrin put it in 2004. The next higher degrees, $n=5$ and $n=6$, were resolved only recently, by G. Grasegger and N. Th. Vo (2017) respectively by the present authors (2019). In this paper we settle the case $n=7$ using symbolic computation. The parametrization for the degrees $n\in \{2,3,4\}$ is a rational one, whereas for $n\in \{5,6,7\}$ it is a radical one. However, the case $n=7$ among the radical parametrizations requires special attention, since it is not a simple radical one.


title: Off-axis optical vortices using double-Raman singlet and doublet light-matter schemes

abstract: We study the formation of off-axis optical vortices propagating inside a double-Raman gain atomic medium. The atoms interact with two weak probe fields as well as two strong pump beams which can carry orbital angular momentum (OAM). We consider a situation when only one of the strong pump lasers carries an OAM. A particular superposition of probe fields coupled to the matter is shown to form specific optical vortices with shifted axes. Such off-axis vortices can propagate inside the medium with sub- or superluminal group velocity depending on the value of the two-photon detuning. The superluminal optical vortices are associated with the amplification as the energy of pump fields is transferred to the probe fields. The position of the peripheral vortices can be manipulated by the OAM and intensity of the pump fields. We show that the exchange of optical vortices is possible between individual probe beams and the pump fields when the amplitude of the second probe field is zero at the beginning of the atomic cloud. The model is extended to a more complex double Raman doublet interacting with four pump fields. In contrast to the double-Raman-singlet, now the generation of the off-axis sub- or superluminal optical vortices is possible even for zero two-photon detuning.


title: Role of thermal and photo annealing on nonlinear optical response of Ge30Se55Bi15 thin films

abstract: In this article, we employed nanosecond Z-scan technique to demonstrate the nonlinear optical response in Ge30Se55Bi15 thin films after thermal and photo annealing. The intensity dependent open aperture Z-scan traces reveal that for all the samples, i.e. as-prepared, thermal and photo annealed thin films exhibit reverse saturable absorption (RSA). The experimental results indicate that both thermal and photo annealing can be efficiently used to enhance the nonlinear absorption coefficient compared to as-prepared sample. We further demonstrate that beta value of thermally annealed and as-prepared samples increase significantly at higher intensities. On the contrary, beta for photo annealed sample does not exhibit appreciable changes against the intensity variation.


title: SARSA(0) Reinforcement Learning over Fully Homomorphic Encryption

abstract: We consider a cloud-based control architecture in which the local plants outsource the control synthesis task to the cloud. In particular, we consider a cloud-based reinforcement learning (RL), where updating the value function is outsourced to the cloud. To achieve confidentiality, we implement computations over Fully Homomorphic Encryption (FHE). We use a CKKS encryption scheme and a modified SARSA(0) reinforcement learning to incorporate the encryption-induced delays. We then give a convergence result for the delayed updated rule of SARSA(0) with a blocking mechanism. We finally present a numerical demonstration via implementing on a classical pole-balancing problem.


title: Efficient representation of supply and demand curves on day-ahead electricity markets

abstract: Our paper aims to model supply and demand curves of electricity day-ahead auction in a parsimonious way. Our main task is to build an appropriate algorithm to present the information about electricity prices and demands with far less parameters than the original one. We represent each curve using mesh-free interpolation techniques based on radial basis function approximation. We describe results of this method for the day-ahead IPEX spot price of Italy.


title: Global wellposedness for the 3D Muskat problem with medium size slope

abstract: We prove the existence and uniqueness of global, classical solutions to the 3D Muskat problem in the stable regime whenever the initial interface has sublinear growth and slope $||\nabla_x f_0||_{L^\infty}< 5^{-1/2}$. We show under these assumptions that the equation is fundamentally parabolic, satisfying a comparison principle. Applying the modulus of continuity technique, we show that rough initial data instantly becomes $C^{1,1}$ with the curvature decaying like $O(t^{-1})$.


title: A Machine Consciousness architecture based on Deep Learning and Gaussian Processes

abstract: Recent developments in machine learning have pushed the tasks that machines can do outside the boundaries of what was thought to be possible years ago. Methodologies such as deep learning or generative models have achieved complex tasks such as generating art pictures or literature automatically. On the other hand, symbolic resources have also been developed further and behave well in problems such as the ones proposed by common sense reasoning. Machine Consciousness is a field that has been deeply studied and several theories based in the functionalism philosophical theory like the global workspace theory or information integration have been proposed that try to explain the ariseness of consciousness in machines. In this work, we propose an architecture that may arise consciousness in a machine based in the global workspace theory and in the assumption that consciousness appear in machines that has cognitive processes and exhibit conscious behaviour. This architecture is based in processes that use the recent developments in artificial intelligence models which output are these correlated activities. For every one of the modules of this architecture, we provide detailed explanations of the models involved and how they communicate with each other to create the cognitive architecture.


title: Hyperelliptic $\mathcal{S}_7$-curves of prime conductor

abstract: An abelian threefold $A_{/{\mathbb Q}}$ of prime conductor $N$ is favorable if its 2-division field $F$ is an ${\mathcal S}_7$-extension over ${\mathbb Q}$ with ramification index 7 over ${\mathbb Q}_2$. Let $A$ be favorable and let $B$ be a semistable abelian variety of dimension $3d$ and conductor $N^d$ with $B[2]$ filtered by copies of $A[2]$. We give a sufficient and computable class field theoretic criterion on $F$ to guarantee that $B$ is isogenous to $A^d$.


title: Investigating usability of MSstatsQC software

abstract: MSstatsQC [3] is an open-source software that provides longitudinal system suitability monitoring tools in the form of control charts for proteomic experiments. It includes simultaneous tools for the mean and dispersion of suitability metrics and presents alternative methods of monitoring through different tabs that are designed in the interface. This research focuses on investigating the usability of MSstatsQC software and the interpretability of the designed plots. In this study, we ask 4 test users, from the proteomics field, to complete a series of tasks and questionnaires. The tasks are designed to test the usability of the software in terms of importing data files, selecting appropriate metrics, guide set, and peptides, and finally creating decision rules (tasks 1 and 3 in appendix). The questionnaires ask about interpretability of the plots including control charts, box plots, heat maps, river plots, and radar plots (tasks 1 and 4 in appendix). The goal of the questions is to determine if the test users understand the plots and can interpret them. Results show limitations in usability and plot interpretability, especially in the data import section. We suggest the following modifications. I) providing conspicuous guides close to the window related to up-loading a datafile as well as providing error messages that pop-up when the data set has a wrong format II) providing plot descriptions, hints to interpret plots, plot titles and appropriate axis labels, and, III) Numbering tabs to show the flow of procedures in the software.


title: Variational projector-augmented wave method: a full-potential approach for electronic structure calculations in solid-state physics

abstract: In solid-state physics, energies of crystals are usually computed with a plane-wave discretization of Kohn-Sham equations. However the presence of Coulomb singularities requires the use of large plane-wave cut-offs to produce accurate numerical results. In this paper, an analysis of the plane-wave convergence of the eigenvalues of periodic linear Hamiltonians with Coulomb potentials using the variational projector-augmented wave (VPAW) method is presented. In the VPAW method, an invertible transformation is applied to the original eigenvalue problem, acting locally in balls centered at the singularities. In this setting, a generalized eigenvalue problem needs to be solved using plane-waves. We show that cusps of the eigenfunctions of the VPAW eigenvalue problem at the positions of the nuclei are significantly reduced. These eigenfunctions have however a higher-order derivative discontinuity at the spheres centered at the nuclei. By balancing both sources of error, we show that the VPAW method can drastically improve the plane-wave convergence of the eigenvalues with a minor additional computational cost. Numerical tests are provided confirming the efficiency of the method to treat Coulomb singularities.

categories: math.NA cond-mat.mtrl-sci cs.NA math-ph math.MP


title: Non-Euclidean Virtual Reality III: Nil

abstract: We describe a method of rendering real-time scenes in Nil geometry, and use this to give an expository account of some interesting geometric phenomena. You can play around with the simulation at www.3-dimensional.space/nil.html.


title: Explain Graph Neural Networks to Understand Weighted Graph Features in Node Classification

abstract: Real data collected from different applications that have additional topological structures and connection information are amenable to be represented as a weighted graph. Considering the node labeling problem, Graph Neural Networks (GNNs) is a powerful tool, which can mimic experts' decision on node labeling. GNNs combine node features, connection patterns, and graph structure by using a neural network to embed node information and pass it through edges in the graph. We want to identify the patterns in the input data used by the GNN model to make a decision and examine if the model works as we desire. However, due to the complex data representation and non-linear transformations, explaining decisions made by GNNs is challenging. In this work, we propose new graph features' explanation methods to identify the informative components and important node features. Besides, we propose a pipeline to identify the key factors used for node classification. We use four datasets (two synthetic and two real) to validate our methods. Our results demonstrate that our explanation approach can mimic data patterns used for node classification by human interpretation and disentangle different features in the graphs. Furthermore, our explanation methods can be used for understanding data, debugging GNN models, and examine model decisions.


title: Shapeshifter: A Multi-Agent, Multi-Modal Robotic Platform for Exploration of Titan

abstract: In this paper we present a mission architecture and a robotic platform, the Shapeshifter, that allow multi-domain and redundant mobility on Saturn's moon Titan, and potentially other bodies with atmospheres. The Shapeshifter is a collection of simple and affordable robotic units, called Cobots, comparable to personal palm-size quadcopters. By attaching and detaching with each other, multiple Cobots can shape-shift into novel structures, capable of (a) rolling on the surface, to increase the traverse range, (b) flying in a flight array formation, and (c) swimming on or under liquid. A ground station complements the robotic platform, hosting science instrumentation and providing power to recharge the batteries of the Cobots. In the first part of this paper we experimentally show the flying, docking and rolling capabilities of a Shapeshifter constituted by two Cobots, presenting ad-hoc control algorithms. We additionally evaluate the energy-efficiency of the rolling-based mobility strategy by deriving an analytic model of the power consumption and by integrating it in a high-fidelity simulation environment. In the second part we tailor our mission architecture to the exploration of Titan. We show that the properties of the Shapeshifter allow the exploration of the possible cryovolcano Sotra Patera, Titan's Mare and canyons.


title: A Relaxation Argument for Optimization in Neural Networks and Non-Convex Compressed Sensing

abstract: It has been observed in practical applications and in theoretical analysis that over-parametrization helps to find good minima in neural network training. Similarly, in this article we study widening and deepening neural networks by a relaxation argument so that the enlarged networks are rich enough to run $r$ copies of parts of the original network in parallel, without necessarily achieving zero training error as in over-parametrized scenarios. The partial copies can be combined in $r^\theta$ possible ways for layer width $\theta$. Therefore, the enlarged networks can potentially achieve the best training error of $r^\theta$ random initializations, but it is not immediately clear if this can be realized via gradient descent or similar training methods. The same construction can be applied to other optimization problems by introducing a similar layered structure. We apply this idea to non-convex compressed sensing, where we show that in some scenarios we can realize the $r^\theta$ times increased chance to obtain a global optimum by solving a convex optimization problem of dimension $r\theta$.


title: Three-dimensional particle tracking velocimetry using shallow neural network for real-time analysis

abstract: Three-dimensional particle tracking velocimetry (3D-PTV) technique is widely used to acquire the complicated trajectories of particles and flow fields. It is known that the accuracy of 3D-PTV depends on the mapping function to reconstruct three-dimensional particles locations. The mapping function becomes more complicated if the number of cameras is increased and there is a liquid-vapor interface, which crucially affect the total computation time. In this paper, using a shallow neural network model (SNN), we dramatically decrease the computation time with a high accuracy to successfully reconstruct the three-dimensional particle positions, which can be used for real-time particle detection for 3D-PTV. The developed technique is verified by numerical simulations and applied to measure a complex solutal Marangoni flow patterns inside a binary mixture droplet.


title: Efficiency Analysis of the Simplified Refined Instrumental Variable Method for Continuous-time Systems

abstract: In this paper, we derive the asymptotic Cram\'er-Rao lower bound for the continuous-time output error model structure and provide an analysis of the statistical efficiency of the Simplified Refined Instrumental Variable method for Continuous-time systems (SRIVC) based on sampled data.It is shown that the asymptotic Cram\'er-Rao lower bound is independent of the intersample behaviour of the noise-free system output and hence only depends on the intersample behaviour of the system input. We have also shown that, at the converging point of the SRIVC algorithm, the estimates do not depend on the intersample behaviour of the measured output. It is then proven that the SRIVC estimator is asymptotically efficient for the output error model structure under mild conditions. Monte Carlo simulations are performed to verify the asymptotic Cram\'er-Rao lower bound and the asymptotic covariance of the SRIVC estimates.


title: Towards Brain-Computer Interfaces for Drone Swarm Control

abstract: Noninvasive brain-computer interface (BCI) decodes brain signals to understand user intention. Recent advances have been developed for the BCI-based drone control system as the demand for drone control increases. Especially, drone swarm control based on brain signals could provide various industries such as military service or industry disaster. This paper presents a prototype of a brain swarm interface system for a variety of scenarios using a visual imagery paradigm. We designed the experimental environment that could acquire brain signals under a drone swarm control simulator environment. Through the system, we collected the electroencephalogram (EEG) signals with respect to four different scenarios. Seven subjects participated in our experiment and evaluated classification performances using the basic machine learning algorithm. The grand average classification accuracy is higher than the chance level accuracy. Hence, we could confirm the feasibility of the drone swarm control system based on EEG signals for performing high-level tasks.


title: The Exterior Graded Swiss-Cheese Operad ${\Lambda}^{S^2}_V$ (with an appendix by Ana Lorena Gherman and Mihai D. Staic)

abstract: In this paper we present a construction which is a generalization of the exterior algebra of a vector space $V$. We show how this fits in the language of operads, discuss some properties, and give explicit computations for the case $dim(V)=2$.


title: Maximal single-frequency electromagnetic response

abstract: Modern nanophotonic and meta-optical devices utilize a tremendous number of structural degrees of freedom to enhance light--matter interactions. A fundamental question is how large such enhancements can be. We develop an analytical framework to derive upper bounds to single-frequency electromagnetic response, across near- and far-field regimes, for any materials, naturally incorporating the tandem effects of material- and radiation-induced losses. Our framework relies on a power-conservation law for the polarization fields induced in any scatterer. It unifies previous theories on optical scattering bounds and reveals new insight for optimal nanophotonic design, with applications including far-field scattering, near-field local-density-of-states engineering, optimal wavefront shaping, and the design of perfect absorbers. Our bounds predict strikingly large minimal thicknesses for arbitrarily patterned perfect absorbers, ranging from 50--100 nm for typical materials at visible wavelengths to micrometer-scale thicknesses for polar dielectrics at infrared wavelengths. We use inverse design to discover metasurface structures approaching the minimum-thickness perfect-absorber bounds.


title: Novelty Detection via Non-Adversarial Generative Network

abstract: One-class novelty detection is the process of determining if a query example differs from the training examples (the target class). Most of previous strategies attempt to learn the real characteristics of target sample by using generative adversarial networks (GANs) methods. However, the training process of GANs remains challenging, suffering from instability issues such as mode collapse and vanishing gradients. In this paper, by adopting non-adversarial generative networks, a novel decoder-encoder framework is proposed for novelty detection task, insteading of classical encoder-decoder style. Under the non-adversarial framework, both latent space and image reconstruction space are jointly optimized, leading to a more stable training process with super fast convergence and lower training losses. During inference, inspired by cycleGAN, we design a new testing scheme to conduct image reconstruction, which is the reverse way of training sequence. Experiments show that our model has the clear superiority over cutting-edge novelty detectors and achieves the state-of-the-art results on the datasets.


title: Automatic Pruning for Quantized Neural Networks

abstract: Neural network quantization and pruning are two techniques commonly used to reduce the computational complexity and memory footprint of these models for deployment. However, most existing pruning strategies operate on full-precision and cannot be directly applied to discrete parameter distributions after quantization. In contrast, we study a combination of these two techniques to achieve further network compression. In particular, we propose an effective pruning strategy for selecting redundant low-precision filters. Furthermore, we leverage Bayesian optimization to efficiently determine the pruning ratio for each layer. We conduct extensive experiments on CIFAR-10 and ImageNet with various architectures and precisions. In particular, for ResNet-18 on ImageNet, we prune 26.12% of the model size with Binarized Neural Network quantization, achieving a top-1 classification accuracy of 47.32% in a model of 2.47 MB and 59.30% with a 2-bit DoReFa-Net in 4.36 MB.


title: GhostKnight: Breaching Data Integrity via Speculative Execution

abstract: Existing speculative execution attacks are limited to breaching confidentiality of data beyond privilege boundary, the so-called spectre-type attacks. All of them utilize the changes in microarchitectural buffers made by the speculative execution to leak data. We show that the speculative execution can be abused to break data integrity. We observe that the speculative execution not only leaves traces in the microarchitectural buffers but also induces side effects within DRAM, that is, the speculative execution can trigger an access to an illegitimate address in DRAM. If the access to DRAM is frequent enough, then architectural changes (i.e., permanent bit flips in DRAM) will occur, which we term GhostKnight. With the power of of GhostKnight, an attacker is essentially able to cross different privilege boundaries and write exploitable bits to other privilege domains. In our future work, we will develop a GhostKnight-based exploit to cross a trusted execution environment, defeat a 1024-bit RSA exponentiation implementation and obtain a controllable signature.


title: Algorithms for 2D Mesh Decomposition in Distributed Design Optimization

abstract: Optimization of thin-walled structures like an aircraft wing, aircraft fuselage or submarine hull often involves dividing the shell surface into numerous localized panels, each characterized by its own set of design variables. The process of extracting information about a localized panel (nodal coordinates, mesh connectivity) from a finite element model, input file is usually a problem-specific task. In this work, a generalized process to extract localized panels from the two-dimensional (2D) mesh is discussed. The process employs set operations on elemental connectivity information and is independent of nodal coordinates. Thus, it is capable of extracting panel of any shape given the boundary and thus can be used during optimization of a wide range of structures. A method to create stiffeners on the resulting local panels is also presented, and the effect of stiffener element size on buckling is studied. The local panel extraction process is demonstrated by integrating it into a distributed MDO framework for optimization of an aircraft wing having curvilinear spars and ribs (SpaRibs). A range of examples is included wherein the process is used to create panels on the wing-skin, bounded by adjacent SpaRibs.


title: DANCE: Enhancing saliency maps using decoys

abstract: Saliency methods can make deep neural network predictions more interpretable by identifying a set of critical features in an input sample, such as pixels that contribute most strongly to a prediction made by an image classifier. Unfortunately, recent evidence suggests that many saliency methods poorly perform, especially in situations where gradients are saturated, inputs contain adversarial perturbations, or predictions rely upon inter-feature dependence. To address these issues, we propose a framework that improves the robustness of saliency methods by following a two-step procedure. First, we introduce a perturbation mechanism that subtly varies the input sample without changing its intermediate representations. Using this approach, we can gather a corpus of perturbed data samples while ensuring that the perturbed and original input samples follow the same distribution. Second, we compute saliency maps for the perturbed samples and propose a new method to aggregate saliency maps. With this design, we offset the gradient saturation influence upon interpretation. From a theoretical perspective, we show the aggregated saliency map could not only capture inter-feature dependence but, more importantly, robustify interpretation against previously described adversarial perturbation methods. Following our theoretical analysis, we present experimental results suggesting that, both qualitatively and quantitatively, our saliency method outperforms existing methods.


title: Phylogenetic signal in phonotactics

abstract: Phylogenetic methods have broad potential in linguistics beyond tree inference. Here, we show how a phylogenetic approach opens the possibility of gaining historical insights from entirely new kinds of linguistic data--in this instance, statistical phonotactics. We extract phonotactic data from 111 Pama-Nyungan vocabularies and apply tests for phylogenetic signal, quantifying the degree to which the data reflect phylogenetic history. We test three datasets: (1) binary variables recording the presence or absence of biphones (two-segment sequences) in a lexicon (2) frequencies of transitions between segments, and (3) frequencies of transitions between natural sound classes. Australian languages have been characterized as having a high degree of phonotactic homogeneity. Nevertheless, we detect phylogenetic signal in all datasets. Phylogenetic signal is greater in finer-grained frequency data than in binary data, and greatest in natural-class-based data. These results demonstrate the viability of employing a new source of readily extractable data in historical and comparative linguistics.


title: A type II blowup for the six dimensional energy critical heat equation

abstract: We study blowup solutions of the 6D energy critical heat equation $u_t=\Delta u+|u|^{p-1}u$ in $\R^n\times(0,T)$. A goal of this paper is to show the existence of type II blowup solutions predicted by Filippas, Herrero and Vel\'azquez \cite{FilippasHV}. The dimension six is a border case whether a type II blowup can occur or not. Therefore the behavior of the solution is quite different from other cases. In fact, our solution behaves like \[ u(x,t)\approx \begin{cases} \lambda(t)^{-2}{\sf Q}(\lambda(t)^{-1}x) & \text{in the inner region: } |x|\sim\lambda(t), -(p-1)^\frac{1}{p-1}(T-t)^{-\frac{1}{p-1}} & \text{in the selfsimilar region: } |x|\sim\sqrt{T-t} \end{cases} \] with $\lambda(t)=(1+o(1))(T-t)^\frac{5}{4}|\log(T-t)|^{-\frac{15}{8}}$. The local energy $E_\text{loc}(u) =\frac{1}{2}\|\nabla u\|_{L^2(|x|<1)}^2-\frac{1}{3}\|u\|_{L^3(|x|<1)}^3$ of the solution goes to $-\infty$.


title: Genetic Algorithm Optimized Support Vector Machine in NOMA-Based Satellite Networks with Imperfect CSI

abstract: With the help of a power-domain non-orthogonal multiple access (NOMA) scheme, satellite networks can simultaneously serve multiple users within limited time/spectrum resource block. However, the existence of channel estimation errors inevitably degrade the judgment on users' channel state information (CSI) accuracy, thus affecting the user pairing processing and suppressing the superiority of the NOMA scheme. Inspired by the advantages of machine learning (ML) algorithms, we propose an improved support vector machine (SVM) scheme to reduce the inappropriate user pairing risks and enhance the performance of NOMA based satellite networks with imperfect CSI. Particularly, a genetic algorithm (GA) is employed to optimize the regularization and kernel parameters of the SVM, which effectively improves the classification accuracy of the proposed scheme. Simulations are provided to demonstrate that the performance of the proposed method is better than that with random user paring strategy, especially in the scenario with a large number of users.


title: Toward Autonomous Robotic Micro-Suturing using Optical Coherence Tomography Calibration and Path Planning

abstract: Robotic automation has the potential to assist human surgeons in performing suturing tasks in microsurgery, and in order to do so a robot must be able to guide a needle with sub-millimeter precision through soft tissue. This paper presents a robotic suturing system that uses 3D optical coherence tomography (OCT) system for imaging feedback. Calibration of the robot-OCT and robot-needle transforms, wound detection, keypoint identification, and path planning are all performed automatically. The calibration method handles pose uncertainty when the needle is grasped using a variant of iterative closest points. The path planner uses the identified wound shape to calculate needle entry and exit points to yield an evenly-matched wound shape after closure. Experiments on tissue phantoms and animal tissue demonstrate that the system can pass a suture needle through wounds with 0.27 mm overall accuracy in achieving the planned entry and exit points.


title: Mixing Patterns in Interdisciplinary Collaboration Networks: Assessing Interdisciplinarity Through Multiple Lenses

abstract: There are inherent challenges to interdisciplinary research collaboration, such as bridging cognitive gaps and balancing transaction costs with collaborative benefits. This raises the question: Does interdisciplinary research necessarily result in interdisciplinary collaborations? This study aims to explore this question and assess collaboration preferences in interdisciplinary research at the individual, dyadic, and team level by examining mixing patterns in a collaboration network. Using a network of over 2,000 researchers from the field of artificial intelligence in education, we find that "interdisciplinarity" is demonstrated by diverse research experiences of individual researchers rather than diversity among researchers within collaborations. We also examine intergroup mixing by applying a novel approach to classify the active and non-active researchers in the collaboration network based on participation in multiple teams. We find a significant difference in indicators of academic performance and experience between the clusters of active and non-active researchers, suggesting intergroup mixing as a key factor in academic success. Our results shed light on the nature of team formation in interdisciplinary research, as well as highlight the importance of interdisciplinary programs.


title: Study of Cloud-Aided Multi-Way Multiple-Antenna Relaying with Best-User Link Selection and Joint ML Detection

abstract: In this work, we present a cloud-aided uplink framework for multi-way multiple-antenna relay systems which facilitates joint linear Maximum Likelihood (ML) symbol detection in the cloud and where users are selected to simultaneously transmit to each other aided by relays. We also investigate relay selection techniques for the proposed cloud-aided uplink framework that uses cloud-based buffers and physical-layer network coding. In particular, we develop a novel multi-way relay selection protocol based on the selection of the best link, denoted as Multi-Way Cloud-Aided Best-User-Link (MWC-Best-User-Link). We then devise the maximum minimum distance relay selection criterion along with the algorithm that is incorporated into the proposed MWC-Best-User-Link protocol. Simulations show that MWC-Best-User-Link outperforms previous works in terms of average delay, sum-rate and bit error rate.


title: Interference Classification Using Deep Neural Networks

abstract: The recent success in implementing supervised learning to classify modulation types suggests that other problems akin to modulation classification would eventually benefit from that implementation. One of these problems is classifying the interference type added to a signal-of-interest, also known as interference classification. In this paper, we propose an interference classification method using a deep neural network. We generate five distinct types of interfering signals then use both the power-spectral density (PSD) and the cyclic spectrum of the received signal as input features to the network. The computer experiments reveal that using the received signal PSD outperforms using its cyclic spectrum in terms of accuracy. In addition, the same experiments show that the feed-forward networks yield better accuracy than classic methods. The proposed classifier aids the subsequent stage in the receiver chain with choosing the appropriate mitigation algorithm and also can coexist with modulation-classification methods to further improve the classifier accuracy.


title: Measuring Nestedness: A comparative study of the performance of different metrics

abstract: Nestedness is a property of interaction networks widely observed in natural mutualistic communities. Despite a widespread interest on this pattern, no general consensus exists on how to measure it. Instead, several metrics aiming at quantifying nestedness, based on different but not necessarily independent properties of the networks, coexist in the literature blurring the comparison between ecosystems. In this work, we present a detailed critical study of the behavior of six popular nestedness metrics and the variants of two of them. In order to evaluate their performance, we compare the obtained values of the nestedness of a large set of real networks among them and against a maximum entropy and maximum likelihood null model. Our results point out, first, that the metrics do not rank the degree of nestedness of networks universally. Furthermore, several metrics show significant undesired dependencies on the network properties considered. The study of these dependencies allows us to understand some of the systematic shifts between the real values of nestedness and the average over the null model. This paper intends to provide readers with a critical guide on how to measure nestedness patterns, by explaining the functioning of six standard metrics and two of its variants, and then disclosing its qualities and flaws. By doing so, we also aim to extend the application of the recently proposed null models based on maximum entropy to the still largely unexplored area of ecological networks. Finally, to complement the guide, we provide a fully-documented repository named nullnest which gathers the codes to produce the null model and calculate the nestedness index -- both the real value and the null expectation -- using the studied metrics. The repository contains, moreover, the main results of the null model applied to a large dataset of more than 200 bipartite networks.


title: On the spectral stability of periodic traveling waves for the critical Korteweg-de Vries and Gardner equations

abstract: In this paper, we determine spectral stability results of periodic waves for the critical Korteweg-de Vries and Gardner equations. For the first equation, we show that both positive and zero mean periodic traveling wave solutions possess a threshold value which may provides us a rupture in the spectral stability. Concerning the second equation, we establish the existence of periodic waves using a Galilean transformation on the periodic cnoidal solution for the modified Korteweg-de Vries equation and for both equations, the threshold values are the same. The main advantage presented in our paper concerns in solving some auxiliary initial value problems to obtain the spectral stability.


title: Boids in a Loop: Self-Propelled particles within a Flexible Boundary

abstract: We numerically explore the behavior of repelling and aligning self-propelled polar particles (boids) in 2D enclosed by a damped flexible and elastic loop-shaped boundary. We observe disordered, polar ordered (or jammed) and circulating states. The latter produce a rich variety of boundary shapes including; circles, ovals, irregulars, ruffles, or sprockets, depending upon the bending moment of the boundary and the boundary to particle mass ratio. With the exception of the circulating states with non-round boundaries, states resemble those exhibited by attracting self-propelled particles, but here the confining boundary acts in place of a cohesive force. We attribute the formation of ruffles to instability mediated by pressure on the boundary when the speed of waves on the boundary approximately matches the self-propelled particle's swim speed.


title: Towards High Performance Human Keypoint Detection

abstract: Human keypoint detection from a single image is very challenging due to occlusion, blur, illumination and scale variance. In this paper, we address this problem from three aspects by devising an efficient network structure, proposing three effective training strategies, and exploiting four useful postprocessing techniques. First, we find that context information plays an important role in reasoning human body configuration and invisible keypoints. Inspired by this, we propose a cascaded context mixer (CCM), which efficiently integrates spatial and channel context information and progressively refines them. Then, to maximize CCM's representation capability, we develop a hard-negative person detection mining strategy and a joint-training strategy by exploiting abundant unlabeled data. It enables CCM to learn discriminative features from massive diverse poses. Third, we present several sub-pixel refinement techniques for postprocessing keypoint predictions to improve detection accuracy. Extensive experiments on the MS COCO keypoint detection benchmark demonstrate the superiority of the proposed method over representative state-of-the-art (SOTA) methods. Our single model achieves comparable performance with the winner of the 2018 COCO Keypoint Detection Challenge. The final ensemble model sets a new SOTA on this benchmark.


title: Decoding Movement Imagination and Execution from EEG Signals using BCI-Transfer Learning Method based on Relation Network

abstract: A brain-computer interface (BCI) is used not only to control external devices for healthy people but also to rehabilitate motor functions for motor-disabled patients. Decoding movement intention is one of the most significant aspects for performing arm movement tasks using brain signals. Decoding movement execution (ME) from electroencephalogram (EEG) signals have shown high performance in previous works, however movement imagination (MI) paradigm-based intention decoding has so far failed to achieve sufficient accuracy. In this study, we focused on a robust MI decoding method with transfer learning for the ME and MI paradigm. We acquired EEG data related to arm reaching for 3D directions. We proposed a BCI-transfer learning method based on a Relation network (BTRN) architecture. Decoding performances showed the highest performance compared to conventional works. We confirmed the possibility of the BTRN architecture to contribute to continuous decoding of MI using ME datasets.


title: Evolving Neural Networks through a Reverse Encoding Tree

abstract: NeuroEvolution is one of the most competitive evolutionary learning frameworks for designing novel neural networks for use in specific tasks, such as logic circuit design and digital gaming. However, the application of benchmark methods such as the NeuroEvolution of Augmenting Topologies (NEAT) remains a challenge, in terms of their computational cost and search time inefficiency. This paper advances a method which incorporates a type of topological edge coding, named Reverse Encoding Tree (RET), for evolving scalable neural networks efficiently. Using RET, two types of approaches -- NEAT with Binary search encoding (Bi-NEAT) and NEAT with Golden-Section search encoding (GS-NEAT) -- have been designed to solve problems in benchmark continuous learning environments such as logic gates, Cartpole, and Lunar Lander, and tested against classical NEAT and FS-NEAT as baselines. Additionally, we conduct a robustness test to evaluate the resilience of the proposed NEAT algorithms. The results show that the two proposed strategies deliver improved performance, characterized by (1) a higher accumulated reward within a finite number of time steps; (2) using fewer episodes to solve problems in targeted environments, and (3) maintaining adaptive robustness under noisy perturbations, which outperform the baselines in all tested cases. Our analysis also demonstrates that RET expends potential future research directions in dynamic environments. Code is available from https://github.com/HaolingZHANG/ReverseEncodingTree.

categories: cs.NE cs.AI cs.LG cs.SY eess.SY q-bio.PE


title: Optimizing Query Predicates with Disjunctions for Column-Oriented Engines

abstract: Database research has always given limited attention to optimizing predicates with disjunctions. What little past work there is, has mostly focused on optimizations for traditional row-oriented databases. However, a key difference between how row-oriented and column-oriented engines evaluate predicates is that while row-oriented engines apply predicates to a single tuple at a time, column-oriented engines apply predicates to sets of tuples, adding another dimension to the problem. As such, row-oriented engines focus only on the best order to apply predicates in to "short-circuit" the overall predicate expression, but column-oriented engines must additionally decide on the input sets of tuples for each predicate application. This is important, since smaller inputs lead to faster runtimes, and nontrivial, since the results of earlier predicates can be used to reduce the inputs to later predicates and predicates may be combined via disjunctions in the predicate expression. In this work, we formally analyze the predicate evaluation problem for column-oriented engines and present BestD/Update, the first ever polynomial-time, provably optimal algorithms to deduce the minimum input sets for each predicate application. BestD/Update's optimality is guaranteed under a wide range of cost models, representing different real-world scenarios. Furthermore, when combined with the predicate ordering algorithm Hanani, BestD/Update reduce into EvalPred, a simple O(n log^2 n) algorithm, which we recommend for practical use and optimal for all predicate expressions of nested depth 2 or less. Our evaluation shows, thanks to its optimality and polynomial planning time, EvalPred outperforms not implementing any disjunction optimizations and exiting optimal algorithms by up to 2.6x and 28x respectively for synthetic workloads and by up to 1.3x and 100x respectively for queries from TPC-H and the CH-benchmark.


title: Multiple Angles of Arrival Estimation using Neural Networks

abstract: MUltiple SIgnal Classification (MUSIC) and Estimation of signal parameters via rotational via rotational invariance (ESPRIT) has been widely used in super resolution direction of arrival estimation (DoA) in both Uniform Linear Arrays (ULA) or Uniform Circular Arrays (UCA). However, problems become challenging when the number of source signal increase, MUSIC suffer from computation complexity when finding the peaks, while ESPRIT may not robust to array geometry offset. Therefore, Neural Network become a potential solution. In this paper, we propose a neural network to estimate the azimuth and elevation angles, based on the correlated matrix extracted from received data. Also, a serial scheme is listed to estimate multiple signals cases. The result shows the neural network can achieve an accurate estimation under low SNR and deal with multiple signals.


title: Predictive Risk Analysis in Collective Risk Model: Choices between Historical Frequency and Aggregate Severity

abstract: Typical risk classification procedure in insurance is consists of a priori risk classification determined by observable risk characteristics, and a posteriori risk classification where the premium is adjusted to reflect the policyholder's claim history. While using the full claim history data is optimal in a posteriori risk classification procedure, i.e. giving premium estimators with the minimal variances, some insurance sectors, however, only use partial information of the claim history for determining the appropriate premium to charge. Classical examples include that auto insurances premium are determined by the claim frequency data and workers' compensation insurances are based on the aggregate severity. The motivation for such practice is to have a simplified and efficient posteriori risk classification procedure which is customized to the involved insurance policy. This paper compares the relative efficiency of the two simplified posteriori risk classifications, i.e. based on frequency versus severity, and provides the mathematical framework to assist practitioners in choosing the most appropriate practice.


title: GEANT4 simulation of a new range verification method using delayed gamma spectroscopy of a Mo-92 marker

abstract: In this work, we propose a novel technique for in-vivo proton therapy range verification. This technique makes use of a small hadron tumour marker, $^{92}$Mo, implanted at a short known distance from the clinical treatment volume. Signals emitted from the marker during treatment can provide a direct measurement of the proton beam energy at the marker's position. Fusion-evaporation reactions between the proton beam and marker nucleus result in the emission of delayed characteristic $\gamma$ rays, which are detected off-beam for an improved signal-to-noise ratio. In order to determine the viability of this technique and to establish an experimental setup for future work, the Monte Carlo package GEANT4 was used in combination with ROOT to simulate a treatment scenario with the new method outlined in this work. These simulations show that analyzing the intensity of delayed $\gamma$ rays produced from competing reactions yields a precise measurement of the range of the proton beam relative to the marker, with sub-millimeter uncertainty.


title: Tensor-to-Vector Regression for Multi-channel Speech Enhancement based on Tensor-Train Network

abstract: We propose a tensor-to-vector regression approach to multi-channel speech enhancement in order to address the issue of input size explosion and hidden-layer size expansion. The key idea is to cast the conventional deep neural network (DNN) based vector-to-vector regression formulation under a tensor-train network (TTN) framework. TTN is a recently emerged solution for compact representation of deep models with fully connected hidden layers. Thus TTN maintains DNN's expressive power yet involves a much smaller amount of trainable parameters. Furthermore, TTN can handle a multi-dimensional tensor input by design, which exactly matches the desired setting in multi-channel speech enhancement. We first provide a theoretical extension from DNN to TTN based regression. Next, we show that TTN can attain speech enhancement quality comparable with that for DNN but with much fewer parameters, e.g., a reduction from 27 million to only 5 million parameters is observed in a single-channel scenario. TTN also improves PESQ over DNN from 2.86 to 2.96 by slightly increasing the number of trainable parameters. Finally, in 8-channel conditions, a PESQ of 3.12 is achieved using 20 million parameters for TTN, whereas a DNN with 68 million parameters can only attain a PESQ of 3.06. Our implementation is available online https://github.com/uwjunqi/Tensor-Train-Neural-Network.


title: Optimisation of diamond quantum processors

abstract: Diamond quantum processors consisting of a nitrogen-vacancy (NV) centre and surrounding nuclear spins have been the key to significant advancements in room-temperature quantum computing, quantum sensing and microscopy. The optimisation of these processors is crucial for the development of large-scale diamond quantum computers and the next generation of enhanced quantum sensors and microscopes. Here, we present a full model of multi-qubit diamond quantum processors and develop a semi-analytical method for designing gate pulses. This method optimises gate speed and fidelity in the presence of random control errors and is readily compatible with feedback optimisation routines. We theoretically demonstrate infidelities approaching $\sim 10^{-5}$ for single-qubit gates and established evidence that this can also be achieved for a two-qubit CZ gate. Consequently, our method reduces the effects of control errors below the errors introduced by hyperfine field misalignment and the unavoidable decoherence that is intrinsic to the processors. Having developed this optimal control, we simulated the performance of a diamond quantum processor by computing quantum Fourier transforms. We find that the simulated diamond quantum processor is able to achieve fast operations with low error probability.


title: The first negative eigenvalue of Yoshida lifts

abstract: We prove that for any given $\epsilon >0$, the first negative eigenvalue of the Yoshida lift $F$ of a pair of elliptic cusp forms $f,g$ having square-free levels (where $g$ has weight $2$ and satisfies $(\log Q_{g})^2 \ll \log Q_f$), occurs before $c_{\epsilon} \cdot Q_F^{1/2-2 \theta+ \epsilon} $; where $Q_F,Q_f,Q_g$ are the analytic conductors of $F,f,g$ respectively, $\theta < 1/4$, and $c_{\epsilon}$ is a constant depending only on $\epsilon$.


title: Thermal relaxation of magnons and phonons near resonance points in magnetic insulators

abstract: We theoretically investigate the energy relaxation rate of magnons and phonons near the resonance points to clarify the underlying mechanism of heat transport in ferromagnetic materials. We find that the simple two-temperature model is valid for the one-phonon/one-magnon process, as the rate of energy exchange between magnons and phonons is proportional to the temperature difference between them, and it is independent of temperature in the high temperature limit. We found that the magnon-phonon relaxation time due to the one-phonon/one-magnon interaction could be reduced to 1.48 $\mu s$ at the resonance point by applying an external magnetic field. It means that the resonance effect plays a significant role in enhancing the total magnon-phonon energy exchange rate, apart from the higher order interaction processes.


title: A positive proportion of locally soluble quartic Thue equations are globally insoluble

abstract: For any fixed nonzero integer $h$, we show that a positive proportion of integral binary quartic forms $F$ do locally everywhere represent $h$, but do not globally represent $h$. We order classes of integral binary quartic forms by the two generators of their ring of $\textrm{GL}_{2}(\mathbb{Z})$-invariants, classically denoted by $I$ and $J$.


title: Probing local pressure environment in anvil cells with nitrogen vacancy (NV-) centers in diamond

abstract: Important discoveries have frequently been made through the studies of matter under high pressure. The conditions of the pressure environment are important for the interpretation of the experimental results. Due to various restrictions inside the pressure cell, detailed information relevant to the pressure environment, such as the pressure distribution, can be hard to obtain experimentally. Here we present the study of pressure distributions inside the pressure medium under different experimental conditions with NV centers in diamond particles as the sensor. These studies not only show a good spatial resolution, wide temperature and pressure working ranges, compatibility of the existing pressure cell design with the new method, but also demonstrate the usefulness to measure with these sensors as the pressure distribution is sensitive to various factors. The method and the results will benefit many disciplines such as material research and phase transitions in fluid dynamics.


title: A two-sided Faulhaber-like formula involving Bernoulli polynomials

abstract: We give a new identity involving Bernoulli polynomials and combinatorial numbers. This provides, in particular, a Faulhaber-like formula for sums of the form $1^m (n-1)^m + 2^m (n-2)^m + \cdots + (n-1)^m 1^m$ for positive integers $m$ and $n$.


title: End-to-End Automatic Speech Recognition Integrated With CTC-Based Voice Activity Detection

abstract: This paper integrates a voice activity detection (VAD) function with end-to-end automatic speech recognition toward an online speech interface and transcribing very long audio recordings. We focus on connectionist temporal classification (CTC) and its extension of CTC/attention architectures. As opposed to an attention-based architecture, input-synchronous label prediction can be performed based on a greedy search with the CTC (pre-)softmax output. This prediction includes consecutive long blank labels, which can be regarded as a non-speech region. We use the labels as a cue for detecting speech segments with simple thresholding. The threshold value is directly related to the length of a non-speech region, which is more intuitive and easier to control than conventional VAD hyperparameters. Experimental results on unsegmented data show that the proposed method outperformed the baseline methods using the conventional energy-based and neural-network-based VAD methods and achieved an RTF less than 0.2. The proposed method is publicly available.


title: DWM: A Decomposable Winograd Method for Convolution Acceleration

abstract: Winograd's minimal filtering algorithm has been widely used in Convolutional Neural Networks (CNNs) to reduce the number of multiplications for faster processing. However, it is only effective on convolutions with kernel size as 3x3 and stride as 1, because it suffers from significantly increased FLOPs and numerical accuracy problem for kernel size larger than 3x3 and fails on convolution with stride larger than 1. In this paper, we propose a novel Decomposable Winograd Method (DWM), which breaks through the limitation of original Winograd's minimal filtering algorithm to a wide and general convolutions. DWM decomposes kernels with large size or large stride to several small kernels with stride as 1 for further applying Winograd method, so that DWM can reduce the number of multiplications while keeping the numerical accuracy. It enables the fast exploring of larger kernel size and larger stride value in CNNs for high performance and accuracy and even the potential for new CNNs. Comparing against the original Winograd, the proposed DWM is able to support all kinds of convolutions with a speedup of ~2, without affecting the numerical accuracy.


title: Dissipative Adiabatic Measurements: Beating the Quantum Cram\'{e}r-Rao Bound

abstract: It is challenged only recently that the precision attainable in any measurement of a physical parameter is fundamentally limited by the quantum Cram\'{e}r-Rao Bound (QCRB). Here, targeting at measuring parameters in strongly dissipative systems, we propose an innovative measurement scheme called {\it dissipative adiabatic measurement} and theoretically show that it can beat the QCRB. Unlike projective measurements, our measurement scheme, though consuming more time, does not collapse the measured state and, more importantly, yields the expectation value of an observable as its measurement outcome, which is directly connected to the parameter of interest. Such a direct connection {allows to extract} the value of the parameter from the measurement outcomes in a straightforward manner, with no fundamental limitation on precision in principle. Our findings not only provide a marked insight into quantum metrology but also are highly useful in dissipative quantum information processing.


title: Topological Bose-Mott insulators in one-dimensional non-Hermitian superlattices

abstract: We study the topological properties of Bose-Mott insulators in one-dimensional non-Hermitian superlattices, which may serve as effective Hamiltonians for cold atomic optical systems with either two-body loss or one-body loss. We find that in the strongly repulsive limit, the Mott insulator states of the Bose-Hubbard model with a finite two-body loss under integer fillings are topological insulators characterized by a finite charge gap, nonzero integer Chern numbers, and nontrivial edge modes in a low-energy excitation spectrum under an open boundary condition. The two-body loss suppressed by the strong repulsion results in a stable topological Bose-Mott insulator which has shares features similar to the Hermitian case. However, for the non-Hermitian model related to the one-body loss, we find the non-Hermitian topological Mott insulators are unstable with a finite imaginary excitation gap. Finally, we also discuss the stability of the Mott phase in the presence of two-body loss by solving the Lindblad master equation.


title: Widening and Squeezing: Towards Accurate and Efficient QNNs

abstract: Quantization neural networks (QNNs) are very attractive to the industry because their extremely cheap calculation and storage overhead, but their performance is still worse than that of networks with full-precision parameters. Most of existing methods aim to enhance performance of QNNs especially binary neural networks by exploiting more effective training techniques. However, we find the representation capability of quantization features is far weaker than full-precision features by experiments. We address this problem by projecting features in original full-precision networks to high-dimensional quantization features. Simultaneously, redundant quantization features will be eliminated in order to avoid unrestricted growth of dimensions for some datasets. Then, a compact quantization neural network but with sufficient representation ability will be established. Experimental results on benchmark datasets demonstrate that the proposed method is able to establish QNNs with much less parameters and calculations but almost the same performance as that of full-precision baseline models, e.g. $29.9\%$ top-1 error of binary ResNet-18 on the ImageNet ILSVRC 2012 dataset.


title: A novel approach to classify natural grasp actions by estimating muscle activity patterns from EEG signals

abstract: Developing electroencephalogram (EEG) based brain-computer interface (BCI) systems is challenging. In this study, we analyzed natural grasp actions from EEG. Ten healthy subjects participated in this experiment. They executed and imagined three sustained grasp actions. We proposed a novel approach which estimates muscle activity patterns from EEG signals to improve the overall classification accuracy. For implementation, we have recorded EEG and electromyogram (EMG) simultaneously. Using the similarity of the estimated pattern from EEG signals compare to the activity pattern from EMG signals showed higher classification accuracy than competitive methods. As a result, we obtained the average classification accuracy of 63.89($\pm$7.54)% for actual movement and 46.96($\pm$15.30)% for motor imagery. These are 21.59% and 5.66% higher than the result of the competitive model, respectively. This result is encouraging, and the proposed method could potentially be used in future applications, such as a BCI-driven robot control for handling various daily use objects.


title: Bertrand-DR: Improving Text-to-SQL using a Discriminative Re-ranker

abstract: To access data stored in relational databases, users need to understand the database schema and write a query using a query language such as SQL. To simplify this task, text-to-SQL models attempt to translate a user's natural language question to corresponding SQL query. Recently, several generative text-to-SQL models have been developed. We propose a novel discriminative re-ranker to improve the performance of generative text-to-SQL models by extracting the best SQL query from the beam output predicted by the text-to-SQL generator, resulting in improved performance in the cases where the best query was in the candidate list, but not at the top of the list. We build the re-ranker as a schema agnostic BERT fine-tuned classifier. We analyze relative strengths of the text-to-SQL and re-ranker models across different query hardness levels, and suggest how to combine the two models for optimal performance. We demonstrate the effectiveness of the re-ranker by applying it to two state-of-the-art text-to-SQL models, and achieve top 4 score on the Spider leaderboard at the time of writing this article.


title: The Price of Incentivizing Exploration: A Characterization via Thompson Sampling and Sample Complexity

abstract: We consider incentivized exploration: a version of multi-armed bandits where the choice of arms is controlled by self-interested agents, and the algorithm can only issue recommendations. The algorithm controls the flow of information, and the information asymmetry can incentivize the agents to explore. Prior work achieves optimal regret rates up to multiplicative factors that become arbitrarily large depending on the Bayesian priors, and scale exponentially in the number of arms. A more basic problem of sampling each arm once runs into similar factors. We focus on the price of incentives: the loss in performance, broadly construed, incurred for the sake of incentive-compatibility. We prove that Thompson Sampling, a standard bandit algorithm, is incentive-compatible if initialized with sufficiently many data points. The performance loss due to incentives is therefore limited to the initial rounds when these data points are collected. The problem is largely reduced to that of sample complexity: how many rounds are needed? We address this question, providing matching upper and lower bounds and instantiating them in various corollaries. Typically, the optimal sample complexity is polynomial in the number of arms and exponential in the "strength of beliefs".


title: Info-Commit: Information-Theoretic Polynomial Commitment

abstract: We introduce Info-Commit, an information-theoretic protocol for polynomial commitment and verification. With the help of a trusted initializer, a succinct commitment to a private polynomial $f$ is provided to the user. The user then queries the server to obtain evaluations of $f$ at several inputs chosen by the user. The server provides the evaluations along with proofs of correctness which the user can verify against the initial commitment. Info-Commit has four main features. Firstly, the user is able to detect, with high probability, if the server has responded with evaluations of the same polynomial initially committed to. Secondly, Info-Commit provides rigorous privacy guarantees for the server: upon observing the initial commitment and the response provided by the server to $m$ evaluation queries, the user only learns $O(m^2)$ symbols about the coefficients of $f$. Thirdly, the verifiability and the privacy guarantees are unconditional regardless of the computational power of the two parties. Lastly, Info-Commit is doubly-efficient in the sense that in the evaluation phase, the user runs in $O(\sqrt{d})$ time and the server runs in $ O(d)$ time, where $d-1$ is the degree of the polynomial $f$.


title: On the Performance under Hard and Soft Bitwise Mismatched-Decoding

abstract: We investigated a suitable auxiliary channel setting and the gap between Q-factors with hard and soft demapping. The system margin definition should be reconsidered for systems employing complex coded modulation with soft forward error correction.


title: Undamped transverse electric mode in undoped two-dimensional tilted Dirac cone materials

abstract: Transverse electric (TE) modes can not propagate through the conducting solids. This is because the continuum of particle-hole excitations of conductors contaminates with the TE mode and dampes it out. But in solids hosting tilted Dirac cone (TDC) that admit a description in terms of a modified Minkowski spacetime, the new spacetime structure remedies this issue and therefore a tilted Dirac cone material (TDM) supports the propagation of an undamped TE mode which is sustained by density fluctuations. The resulting TE mode propagates at fermionic velocities which strongly confines the mode to the surface of the two-dimensional (2D) TDM.


title: Effects of symmetry energy on the radius and tidal deformability of neutron stars in relativistic mean-field model

abstract: The radii and tidal deformabilities of neutron stars are investigated in the framework of relativistic mean-field (RMF) model with different density-dependent behaviors of symmetry energy. To study the effects of symmetry energy on the properties of neutron stars, an $\omega$ meson and $\rho$ meson coupling term is included in a popular RMF Lagrangian, i.e. the TM1 parameter set, which is used for the widely used supernova equation of state (EoS) table. The coupling constants relevant to the vector-isovector meson, $\rho$, are refitted by a fixed symmetry energy at subsaturation density and its slope at saturation density, while other coupling constants remain the same as the original ones in TM1 so as to update the supernova EoS table. The radius and mass of maximum neutron stars are not so sensitive to the symmetry energy in these family TM1 parameterizations. However, the radii at intermediate mass region are strongly correlated with the slope of symmetry energy. Furthermore, the dimensionless tidal deformabilities of neutron stars are also calculated within the associated Love number. We find that its value at $1.4 M_\odot$ has a linear correlation to the slope of symmetry energy being different from the previous studied. With the latest constraints of tidal deformabilities from GW170817 event, the slope of symmetry energy at nuclear saturation density should be smaller than $60$ MeV in the family TM1 parameterizations. This fact supports the usage of lower symmetry energy slope for the update supernova EoS, which is applicable to simulations of neutron star merger. Furthermore, the analogous analysis are also done within the family IUFSU parameter sets. It is found that the correlations between the symmetry energy slope with the radius and tidal deformability at $1.4 M_\odot$ have very similar linear relations in these RMF models.


title: Enumerating odd-degree hyperelliptic curves and abelian surfaces over $\mathbb{P}^1$

abstract: Given asymptotic counts in number theory, a question of Venkatesh asks what is the topological nature of lower order terms. We consider the arithmetic aspect of the inertia stack of an algebraic stack over finite fields to partially answer this question. Subsequently, we acquire new sharp enumerations on quasi-admissible odd-degree hyperelliptic curves over $\mathbb{F}_q(t)$ ordered by bounded discriminant height.


title: A survey of the impact of Thurston's work on Knot Theory

abstract: This is a survey of the impact of Thurston's work on knot theory, laying emphasis on the two characteristic features, rigidity and flexibility, of 3-dimensional hyperbolic structures. We also lay emphasis on the role of the classical invariants, the Alexander polynomial and the homology of finite branched/unbranched coverings.


title: Wireless Channel Modeling Based on Extreme Value Theory for Ultra-Reliable Communications

abstract: A key building block in the design of ultra-reliable communication systems is a wireless channel model that captures the statistics of rare events occurring due to significant fading. In this paper, we propose a novel methodology based on extreme value theory (EVT) to statistically model the behavior of extreme events in a wireless channel for ultra-reliable communication. This methodology includes techniques for fitting the lower tail distribution of the received power to the generalized Pareto distribution (GPD), determining the optimum threshold over which the tail statistics are derived, ascertaining the optimum stopping condition on the number of samples required to estimate the tail statistics by using GPD, and finally, assessing the validity of the derived Pareto model. Based on the data collected within the engine compartment of Fiat Linea under various engine vibrations and driving scenarios, we demonstrate that the proposed methodology provides the best fit to the collected data, significantly outperforming the conventional extrapolation-based methods. Moreover, the usage of the EVT in the proposed method decreases the required number of samples for estimating the tail statistics by about $7 \times 10^5$.


title: Estimation of Regional Economic Development Indicator from Transportation Network Analytics

abstract: With the booming economy in China, many researches have pointed out that the improvement of regional transportation infrastructure among other factors had an important effect on economic growth. Utilizing a large-scale dataset which includes 3.5 billion entry and exit records of vehicles along highways generated from toll collection systems, we attempt to establish the relevance of mid-distance land transport patterns to regional economic status through transportation network analyses. We apply standard measurements of complex networks to analyze the highway transportation networks. A set of traffic flow features are computed and correlated to the regional economic development indicator. The multi-linear regression models explain about 89% to 96% of the variation of cities' GDP across three provinces in China. We then fit gravity models using annual traffic volumes of cars, buses, and freight trucks between pairs of cities for each province separately as well as for the whole dataset. We find the temporal changes of distance-decay effects on spatial interactions between cities in transportation networks, which link to the economic development patterns of each province. We conclude that transportation big data reveal the status of regional economic development and contain valuable information of human mobility, production linkages, and logistics for regional management and planning. Our research offers insights into the investigation of regional economic development status using highway transportation big data.


title: High Pressure Structural Investigation on Lead-Free Piezoelectric $0.5Ba(Ti_{0.8}Zr_{0.2})O_3$-$0.5(Ba_{0.7}Ca_{0.3})TiO_3$

abstract: The solid solution $0.5Ba(Ti_{0.8}Zr_{0.2})O_3$-$0.5(Ba_{0.7}Ca_{0.3})TiO_3$ (BCZT) has become a promising member of the lead-free piezoelectric materials because of its exceptionally high piezoelectric properties. In this study, we focus on studying pressure-dependent Raman spectroscopy, powder x-ray diffraction and dielectric constant measurements on BCZT. The data show several structural transitions are present, where the system from ambient mixed phase (tetragonal, {\it {P4mm}}+ orthorhombic {\it {Amm2}}) transforms into single phase ({\it {P4mm}}) at 0.26 GPa, then converts into cubic phase ({\it {Pm3m}}) at 4.7 GPa followed by another possible structural re-ordering around 10 GPa. Although there have been a lot of unanimity with the ambient crystallographic state of BCZT, our analysis justifies the presence of an intermediate orthorhombic phase in the Morphological Phase Boundary (MPB) of BCZT phase diagram. The transformation tetragonal to cubic is indicated by the Raman mode softening, unit cell volume change and the $(Ti/Zr)O_6$ octahedra distortion, which coincides with the well-known ferroelectric-paraelectric transition of the system. The sudden drop in the dielectric constant value at 4.7 GPa also confirms the loss of ferroelectric nature of the BCZT ceramic.


title: Tautological algebra of the moduli stack of semi stable bundles of rank two on a general curve

abstract: Our aim in this paper is to determine the tautological algebra generated by the cohomology classes of the Brill Noether loci in the rational cohomology of the moduli stack $\mathcal{U}_C(n,d)$ of semistable bundles of rank $n$ and degree $d$. When $C$ is a general smooth projective curve of genus $g\geq 2$, $n=2$, $d=2g-2$, the tautological algebra of $ \mathcal{U}_C(2,2g-2)$ (resp. $\mathcal{SU}_C(2,L)$, $deg(L)=2g-2)$) is generated by the divisor classes (resp. the Theta divisor $\Theta$).


title: DiverseDepth: Affine-invariant Depth Prediction Using Diverse Data

abstract: We present a method for depth estimation with monocular images, which can predict high-quality depth on diverse scenes up to an affine transformation, thus preserving accurate shapes of a scene. Previous methods that predict metric depth often work well only for a specific scene. In contrast, learning relative depth (information of being closer or further) can enjoy better generalization, with the price of failing to recover the accurate geometric shape of the scene. In this work, we propose a dataset and methods to tackle this dilemma, aiming to predict accurate depth up to an affine transformation with good generalization to diverse scenes. First we construct a large-scale and diverse dataset, termed Diverse Scene Depth dataset (DiverseDepth), which has a broad range of scenes and foreground contents. Compared with previous learning objectives, i.e., learning metric depth or relative depth, we propose to learn the affine-invariant depth using our diverse dataset to ensure both generalization and high-quality geometric shapes of scenes. Furthermore, in order to train the model on the complex dataset effectively, we propose a multi-curriculum learning method. Experiments show that our method outperforms previous methods on 8 datasets by a large margin with the zero-shot test setting, demonstrating the excellent generalization capacity of the learned model to diverse scenes. The reconstructed point clouds with the predicted depth show that our method can recover high-quality 3D shapes. Code and dataset are available at: https://tinyurl.com/DiverseDepth


title: Performance of Linear Classification Algorithms on alpha/gamma Discrimination for LaBr3:Ce Scintillation Detectors with Various Pulse Digitizer Properties

abstract: With the development of high-speed readout electronics, the digital pulse shape discrimination (PSD) methods have attracted the attention of more researchers, especially in the field of high energy physics and neutron detection. How to choose a PSD algorithm and corresponding data acquisition system (DAQ) naturally becomes a critical problem to settle down for the detection system designers. In this paper, the relationship between the classification performance of different PSD algorithms and digitizers' sampling properties (including sampling rate and the effective number of bits) has been researched based on $\mathrm{LaBr_3}$:Ce scintillation detectors. A self-developed integrated digitizer configured with five different ADCs and a WavePro 404HD oscilloscope were deployed to digitize the waveforms from $\mathrm{LaBr_3}$:Ce scintillators. Moreover, three PSD methods, charge comparison method (CCM), least square for classification method (LS) and Fisher's linear discriminant analysis (LDA), based on linear model were applied to discriminate the alpha signals from the intrinsic isotope $^{227}$Ac. With the LS method and a 125 MSPS 14-Bit ADC, the FoM value was 1.424$\pm$0.042, which is similar to the result from LDA but 31\% better than the result of CCM. The discrimination results showed that the performances of LS and LDA are less affected by the sampling rate with respect to the CCM method, which reflects in a better PSD capability. The results of this paper can help the developers of detector systems to make a trade-off among sampling properties, desirable discrimination results and the cost of systems.


title: IART: Intent-aware Response Ranking with Transformers in Information-seeking Conversation Systems

abstract: Personal assistant systems, such as Apple Siri, Google Assistant, Amazon Alexa, and Microsoft Cortana, are becoming ever more widely used. Understanding user intent such as clarification questions, potential answers and user feedback in information-seeking conversations is critical for retrieving good responses. In this paper, we analyze user intent patterns in information-seeking conversations and propose an intent-aware neural response ranking model "IART", which refers to "Intent-Aware Ranking with Transformers". IART is built on top of the integration of user intent modeling and language representation learning with the Transformer architecture, which relies entirely on a self-attention mechanism instead of recurrent nets. It incorporates intent-aware utterance attention to derive an importance weighting scheme of utterances in conversation context with the aim of better conversation history understanding. We conduct extensive experiments with three information-seeking conversation data sets including both standard benchmarks and commercial data. Our proposed model outperforms all baseline methods with respect to a variety of metrics. We also perform case studies and analysis of learned user intent and its impact on response ranking in information-seeking conversations to provide interpretation of results.


title: Cosmological parameter measurement and neutral hydrogen 21 cm sky survey with the Square Kilometre Array

abstract: In order to precisely measure the cosmological parameters and answer the fundamental questions in cosmology, it is necessary to develop new, powerful cosmological probes, in addition to the proposed next-generation optical survey projects. The neutral hydrogen 21 cm sky surveys will provide a promising tool to study the late-universe evolution, helping shed light on the nature of dark energy. The Square Kilometre Array is the largest radio telescope in the world to be constructed in the near future, and it will push the 21 cm cosmology into a new era and greatly promote the development of cosmology in the forthcoming decades.


title: Revisiting Meta-Learning as Supervised Learning

abstract: Recent years have witnessed an abundance of new publications and approaches on meta-learning. This community-wide enthusiasm has sparked great insights but has also created a plethora of seemingly different frameworks, which can be hard to compare and evaluate. In this paper, we aim to provide a principled, unifying framework by revisiting and strengthening the connection between meta-learning and traditional supervised learning. By treating pairs of task-specific data sets and target models as (feature, label) samples, we can reduce many meta-learning algorithms to instances of supervised learning. This view not only unifies meta-learning into an intuitive and practical framework but also allows us to transfer insights from supervised learning directly to improve meta-learning. For example, we obtain a better understanding of generalization properties, and we can readily transfer well-understood techniques, such as model ensemble, pre-training, joint training, data augmentation, and even nearest neighbor based methods. We provide an intuitive analogy of these methods in the context of meta-learning and show that they give rise to significant improvements in model performance on few-shot learning.


title: Actinide and Lanthanide Dioxide Lattice Dilatation Mechanisms with Defect Ingrowth

abstract: {\alpha}-particle irradiated single-crystal isostructural oxide lattices (CmO2, AmO2, CeO2, UO2, NpO2, PuO2, ThO2) were modeled by molecular dynamics simulation method. Lattice parameter changes with IFP cation defects displayed exponential increases. These data were compatible with the available lattice parameter changes with {\alpha}-particle dose experiments. Pre- and post- peaks emerged around principal peaks of irradiated oxide cation-cation radial distribution functions, which indicate obstruction and distortion type defects, respectively. Dependence of lattice dilatations on the number of obstruction type cation defects was examined. In a previous study, obstruction type uranium defects were found to be directly responsible for the UO2 lattice swelling and there was a linear relationship between them. It was also determined that this linear equation has two different slopes at low and high defect concentrations. In this paper, it was found that these phenomena were not specific to UO2 and applicable to all fluorite-structured actinide and lanthanide dioxides studied here. These findings provide clues about the existence of more general law.


title: Unsupervised Domain Adaptive Object Detection using Forward-Backward Cyclic Adaptation

abstract: We present a novel approach to perform the unsupervised domain adaptation for object detection through forward-backward cyclic (FBC) training. Recent adversarial training based domain adaptation methods have shown their effectiveness on minimizing domain discrepancy via marginal feature distributions alignment. However, aligning the marginal feature distributions does not guarantee the alignment of class conditional distributions. This limitation is more evident when adapting object detectors as the domain discrepancy is larger compared to the image classification task, e.g. various number of objects exist in one image and the majority of content in an image is the background. This motivates us to learn domain invariance for category level semantics via gradient alignment. Intuitively, if the gradients of two domains point in similar directions, then the learning of one domain can improve that of another domain. To achieve gradient alignment, we propose Forward-Backward Cyclic Adaptation, which iteratively computes adaptation from source to target via backward hopping and from target to source via forward passing. In addition, we align low-level features for adapting holistic color/texture via adversarial training. However, the detector performs well on both domains is not ideal for target domain. As such, in each cycle, domain diversity is enforced by maximum entropy regularization on the source domain to penalize confident source-specific learning and minimum entropy regularization on target domain to intrigue target-specific learning. Theoretical analysis of the training process is provided, and extensive experiments on challenging cross-domain object detection datasets have shown the superiority of our approach over the state-of-the-art.


title: Nonlinear thermodynamical formalism

abstract: We define a nonlinear thermodynamical formalism which translates into dynamical system theory the statistical mechanics of generalized mean-field models, extending investigation of the quadratic case by Leplaideur and Watbled. Under suitable conditions, we prove a variational principle for the nonlinear pressure and we characterize the nonlinear equilibrium measures and relate them to specific classical equilibrium measures. In this non-linear thermodynamical formalism, which can, e.g., model mean-field approximation of large systems, several kind of phase transitions appear, some of which cannot happen in the linear case. We use our correspondence between non-linear and linear equilibrium measures to further the understanding of phase transitions, { both in previously known cases (Curie-Weiss and Potts models) and in} new examples (metastable phase transition). Finally, we apply some of the ideas introduced to the classical thermodynamical formalism, proving that freezing phase transitions can occur over \emph{any} zero-entropy invariant compact subset of the phase space.


title: Prophet: Proactive Candidate-Selection for Federated Learning by Predicting the Qualities of Training and Reporting Phases

abstract: Although the challenge of the device connection is much relieved in 5G networks, the training latency is still an obstacle preventing Federated Learning (FL) from being largely adopted. One of the most fundamental problems that lead to large latency is the bad candidate-selection for FL. In the dynamic environment, the mobile devices selected by the existing reactive candidate-selection algorithms very possibly fail to complete the training and reporting phases of FL, because the FL parameter server only knows the currently-observed resources of all candidates. To this end, we study the proactive candidate-selection for FL in this paper. We first let each candidate device predict the qualities of both its training and reporting phases locally using LSTM. Then, the proposed candidateselection algorithm is implemented by the Deep Reinforcement Learning (DRL) framework. Finally, the real-world trace-driven experiments prove that the proposed approach outperforms the existing reactive algorithms


title: Empirical Feasibility Analysis for Energy Harvesting Intra-Vehicular Wireless Sensor Networks

abstract: Vehicle electronic systems currently utilize wired networks for power delivery (from the main battery) and communication (e.g., LIN, CAN, FlexRay) between nodes. Wired networks cannot practically accommodate nodes in moving parts (e.g., tires) and with the increasing functional complexity in vehicles, they require kilometer-long harnesses, significantly increasing fuel consumption and manufacturing and design costs. As an alternative, energy harvesting intra-vehicular wireless sensor networks (IVWSN) can accommodate nodes in all locations and they obviate the need for wiring, significantly lowering costs. In this paper, we empirically analyze the feasibility of such an IVWSN framework via extensive in-vehicle measurements for communications at 2.4 GHz, ultra wideband (UWB) and millimeter wave (mmWave) frequencies together with radio frequency (RF), thermal and vibration energy harvesting. Our analyses show that mmWave performs best for short line-of-sight (LoS) links in the engine compartment with performance close to UWB for LoS links in the chassis and passenger compartments in terms of worst case signal-to-interference-and-noise-ratio. For non-LoS links, which appear especially more in the engine compartment and chassis, UWB provides the highest security and reliability. 2.4 GHz suffers heavily from interference in all compartments while UWB utilizes narrowband suppression techniques at the cost of lower bandwidth; mmWave inherently experiences very low interference due to its propagation characteristics. On the other hand, RF energy harvesting provides up to 1 mW of power in all compartments. Vibration and thermal energy harvesters can supply all nodes consuming <10 mW in the engine compartment and all <5 mW nodes in the chassis. In the passenger compartment, thermal harvesting is not available due to low temperature gradients but vibration and RF sources can supply <1 mW nodes.


title: Regularized Fast Multichannel Nonnegative Matrix Factorization with ILRMA-based Prior Distribution of Joint-Diagonalization Process

abstract: In this paper, we address a convolutive blind source separation (BSS) problem and propose a new extended framework of FastMNMF by introducing prior information for joint diagonalization of the spatial covariance matrix model. Recently, FastMNMF has been proposed as a fast version of multichannel nonnegative matrix factorization under the assumption that the spatial covariance matrices of multiple sources can be jointly diagonalized. However, its source-separation performance was not improved and the physical meaning of the joint-diagonalization process was unclear. To resolve these problems, we first reveal a close relationship between the joint-diagonalization process and the demixing system used in independent low-rank matrix analysis (ILRMA). Next, motivated by this fact, we propose a new regularized FastMNMF supported by ILRMA and derive convergence-guaranteed parameter update rules. From BSS experiments, we show that the proposed method outperforms the conventional FastMNMF in source-separation accuracy with almost the same computation time.


title: Super-resolution of multispectral satellite images using convolutional neural networks

abstract: Super-resolution aims at increasing image resolution by algorithmic means and has progressed over the recent years due to advances in the fields of computer vision and deep learning. Convolutional Neural Networks based on a variety of architectures have been applied to the problem, e.g. autoencoders and residual networks. While most research focuses on the processing of photographs consisting only of RGB color channels, little work can be found concentrating on multi-band, analytic satellite imagery. Satellite images often include a panchromatic band, which has higher spatial resolution but lower spectral resolution than the other bands. In the field of remote sensing, there is a long tradition of applying pan-sharpening to satellite images, i.e. bringing the multispectral bands to the higher spatial resolution by merging them with the panchromatic band. To our knowledge there are so far no approaches to super-resolution which take advantage of the panchromatic band. In this paper we propose a method to train state-of-the-art CNNs using pairs of lower-resolution multispectral and high-resolution pan-sharpened image tiles in order to create super-resolved analytic images. The derived quality metrics show that the method improves information content of the processed images. We compare the results created by four CNN architectures, with RedNet30 performing best.


title: Nanoscale Probing of Broken-Symmetry States in Graphene Induced by Individual Atomic Impurities

abstract: Inherent symmetries of a system lead to multiple degeneracies of its energy spectra. Introducing individual atomic impurities can locally break these symmetries, which is expected to lift the degenerate degrees of freedom around the impurities. Although central to our understanding of the fundamental properties of solids, the broken-symmetry states induced by individual atomic impurities have so far eluded observation. Here, we report nanoscale probing of the broken-symmetry states in graphene induced by two types of individual atomic impurities, i.e., isolated nitrogen dopants and isolated hydrogen atoms chemisorbed on graphene. Our experiments demonstrate that both types of atomic impurities can locally break sublattice symmetry of graphene and generate valley-polarized states, which extends several nanometers around the impurities. For the isolated hydrogen atom chemisorbed on graphene, the enhanced spin-orbit coupling, which arises from the sp3 distortion of graphene due to the hydrogen chemisorption, further lifts the spin degeneracy, resulting in a fully spin and valley polarized states within about 1 nm around the hydrogen atom. Our result paves the way to control various broken-symmetry states at the nanoscale by various atomic impurities.


title: Persistent spectral based machine learning (PerSpect ML) for drug design

abstract: In this paper, we propose persistent spectral based machine learning (PerSpect ML) models for drug design. Persistent spectral models, including persistent spectral graph, persistent spectral simplicial complex and persistent spectral hypergraph, are proposed based on spectral graph theory, spectral simplicial complex theory and spectral hypergraph theory, respectively. Different from all previous spectral models, a filtration process, as proposed in persistent homology, is introduced to generate multiscale spectral models. More specifically, from the filtration process, a series of nested topological representations, i,e., graphs, simplicial complexes, and hypergraphs, can be systematically generated and their spectral information can be obtained. Persistent spectral variables are defined as the function of spectral variables over the filtration value. Mathematically, persistent multiplicity (of zero eigenvalues) is exactly the persistent Betti number (or Betti curve). We consider 11 persistent spectral variables and use them as the feature for machine learning models in protein-ligand binding affinity prediction. We systematically test our models on three most commonly-used databases, including PDBbind-2007, PDBbind-2013 and PDBbind-2016. Our results, for all these databases, are better than all existing models, as far as we know. This demonstrates the great power of our PerSpect ML in molecular data analysis and drug design.


title: CoTK: An Open-Source Toolkit for Fast Development and Fair Evaluation of Text Generation

abstract: In text generation evaluation, many practical issues, such as inconsistent experimental settings and metric implementations, are often ignored but lead to unfair evaluation and untenable conclusions. We present CoTK, an open-source toolkit aiming to support fast development and fair evaluation of text generation. In model development, CoTK helps handle the cumbersome issues, such as data processing, metric implementation, and reproduction. It standardizes the development steps and reduces human errors which may lead to inconsistent experimental settings. In model evaluation, CoTK provides implementation for many commonly used metrics and benchmark models across different experimental settings. As a unique feature, CoTK can signify when and which metric cannot be fairly compared. We demonstrate that it is convenient to use CoTK for model development and evaluation, particularly across different experimental settings.


title: A Novel PHY Layer Approach for Enhanced Data Rate in LoRa using Adaptive Symbol Periods

abstract: LoRaWAN has emerged as one of the promising low-power wide-area network technologies to enable long-range sensing and monitoring applications in Internet of Things. The LoRa physical layer used in LoRaWAN suffers from low data rates and thus increases packet duration. In a dense LoRaWAN network scenario with simple media access protocol like ALOHA, the packet collision probability increases with increase in packet duration. This degrades over-all network throughput because of increased re-transmissions of collided packets. Any increase in data rate directly reduces the packet duration. Thus, in this paper, we have proposed a novel approach to enhance the data rate in LoRa communication system by using adaptive symbol periods in physical layer. To the best of our knowledge, this is the first attempt at using adaptive symbol periods to enhance data rate of the LoRa system. The trade-off of the proposed approach in terms of required symbol overhead and degradation in bit error rate performance due to symbol period reduction has also been analysed. We have shown that for reduction factor \(\beta\), the data rate directly increases \(1/\beta\) times.


title: Proving the Lottery Ticket Hypothesis: Pruning is All You Need

abstract: The lottery ticket hypothesis (Frankle and Carbin, 2018), states that a randomly-initialized network contains a small subnetwork such that, when trained in isolation, can compete with the performance of the original network. We prove an even stronger hypothesis (as was also conjectured in Ramanujan et al., 2019), showing that for every bounded distribution and every target network with bounded weights, a sufficiently over-parameterized neural network with random weights contains a subnetwork with roughly the same accuracy as the target network, without any further training.


title: Minimum Length Scheduling for Full Duplex Time-Critical Wireless Powered Communication Networks

abstract: Radio frequency (RF) energy harvesting is key in attaining perpetual lifetime for time-critical wireless powered communication networks due to full control on energy transfer, far field region, small and low-cost circuitry. In this paper, we propose a novel minimum length scheduling problem to determine the optimal power control, time allocation and transmission schedule subject to data, energy causality and maximum transmit power constraints in a full-duplex wireless powered communication network. We first formulate the problem as a mixed integer non-linear programming problem and conjecture that the problem is NP-hard. As a solution strategy, we demonstrate that the power control and time allocation, and scheduling problems can be solved separately in the optimal solution. For the power control and time allocation problem, we derive the optimal solution by using Karush-Kuhn-Tucker conditions. For the scheduling, we introduce a penalty function allowing reformulation as a sum penalty minimization problem. Upon derivation of the optimality conditions based on the characteristics of the penalty function, we propose two polynomial-time heuristic algorithms and a reduced-complexity exact algorithm employing smart pruning techniques. Via extensive simulations, we illustrate that the proposed heuristic schemes outperform the previously proposed schemes for predetermined transmission order of users and achieve close-to-optimal solutions.


title: A representation problem for smooth sums of ridge functions

abstract: In this paper we prove that if a multivariate function of a certain smoothness class is represented by a sum of $k$ arbitrarily behaved ridge functions, then it can be represented by a sum of $k$ ridge functions of the same smoothness class and a polynomial of degree at most $k-1$. This solves the problem posed by A. Pinkus in his monograph "Ridge Functions" up to a multivariate polynomial.