title: Macroscopic Lattice Boltzmann Method (MacLAB)

abstract: The birth of the lattice Boltzmann method (LBM) fulfils a dream that simple arithmetic calculations can simulate complex fluid flows without solving complicated partial differential flow equations. Its power and potential of resolving more and more challenging physical problems have been and are being demonstrated in science and engineering covering a wide range of disciplines such as physics, chemistry, biology, material science and image analysis. The method is a highly simplified model for fluid flows using a few limited fictitious particles that move one grid at a constant time interval and collide each other at a grid point on uniform lattices, which are the two routine steps for implementation of the method to simulate fluid flows. As such, a real complex particle dynamics is approximated as a regular particle model using three parameters of lattice size, particle speed and collision operator. A fundamental question is "Are the two steps integral to the method or can the three parameters be reduced to one for a minimal lattice Boltzmann method?". Here, I show that the collision step can be removed and the standard LBM can be reformulated into a simple macroscopic lattice Boltzmann method (MacLAB). This model relies on macroscopic physical variables only and is completely defined by one basic parameter of lattice size dx, bringing the LBM into a precise "Lattice" Boltzmann method. The viscous effect on flows is naturally embedded through the particle speed, making it an ideal automatic simulator for fluid flows. The findings have been demonstrated and confirmed with numerical tests including flows that are independent of and dependent on fluid viscosity, 2D and 3D cavity flows, and an unsteady Taylor-Green vortex flow. This provides an efficient and powerful model for resolving physical problems in various disciplines of science and engineering.


title: Reliable and Explainable Machine Learning Methods for Accelerated Material Discovery

abstract: Material scientists are increasingly adopting the use of machine learning (ML) for making potentially important decisions, such as, discovery, development, optimization, synthesis and characterization of materials. However, despite ML's impressive performance in commercial applications, several unique challenges exist when applying ML in materials science applications. In such a context, the contributions of this work are twofold. First, we identify common pitfalls of existing ML techniques when learning from underrepresented/imbalanced material data. Specifically, we show that with imbalanced data, standard methods for assessing quality of ML models break down and lead to misleading conclusions. Furthermore, we found that the model's own confidence score cannot be trusted and model introspection methods (using simpler models) do not help as they result in loss of predictive performance (reliability-explainability trade-off). Second, to overcome these challenges, we propose a general-purpose explainable and reliable machine-learning framework. Specifically, we propose a novel pipeline that employs an ensemble of simpler models to reliably predict material properties. We also propose a transfer learning technique and show that the performance loss due to models' simplicity can be overcome by exploiting correlations among different material properties. A new evaluation metric and a trust score to better quantify the confidence in the predictions are also proposed. To improve the interpretability, we add a rationale generator component to our framework which provides both model-level and decision-level explanations. Finally, we demonstrate the versatility of our technique on two applications: 1) predicting properties of crystalline compounds, and 2) identifying novel potentially stable solar cell materials.


title: On Structure of Octonion Regular Functions

abstract: In this paper we study octonion regular functions and the structural differences between regular functions in octonion, quaternion, and Clifford analyses.


title: Forecasting residential gas demand: machine learning approaches and seasonal role of temperature forecasts

abstract: Gas demand forecasting is a critical task for energy providers as it impacts on pipe reservation and stock planning. In this paper, the one-day-ahead forecasting of residential gas demand at country level is investigated by implementing and comparing five models: Ridge Regression, Gaussian Process (GP), k-Nearest Neighbour, Artificial Neural Network (ANN), and Torus Model. Italian demand data from 2007 to 2017 are used for training and testing the proposed algorithms. The choice of the relevant covariates and the most significant aspects of the pre-processing and feature extraction steps are discussed in-depth, lending particular attention to the role of one-day-ahead temperature forecasts. Our best model, in terms of Root Mean Squared Error (RMSE), is the ANN, closely followed by the GP. If the Mean Absolute Error (MAE) is taken as an error measure, the GP becomes the best model, although by a narrow margin. A main novel contribution is the development of a model describing the propagation of temperature errors to gas forecasting errors that is successfully validated on experimental data. Being able to predict the quantitative impact of temperature forecasts on gas forecasts could be useful in order to assess potential improvement margins associated with more sophisticated weather forecasts. On the Italian data, it is shown that temperature forecast errors account for some 18% of the mean squared error of gas demand forecasts provided by ANN.


title: Generalized Deduplication: Bounds, Convergence, and Asymptotic Properties

abstract: We study a generalization of deduplication, which enables lossless deduplication of highly similar data and show that standard deduplication with fixed chunk length is a special case. We provide bounds on the expected length of coded sequences for generalized deduplication and show that the coding has asymptotic near-entropy cost under the proposed source model. More importantly, we show that generalized deduplication allows for multiple orders of magnitude faster convergence than standard deduplication. This means that generalized deduplication can provide compression benefits much earlier than standard deduplication, which is key in practical systems. Numerical examples demonstrate our results, showing that our lower bounds are achievable, and illustrating the potential gain of using the generalization over standard deduplication. In fact, we show that even for a simple case of generalized deduplication, the gain in convergence speed is linear with the size of the data chunks.


title: Optimization of linear and nonlinear interaction schemes for stable synchronization of weakly coupled limit-cycle oscillators

abstract: Optimization of mutual synchronization between a pair of limit-cycle oscillators with weak symmetric coupling is considered in the framework of the phase reduction theory. By generalizing a previous study on the optimization of cross-diffusion coupling matrices between the oscillators, we consider optimization of mutual coupling signals to maximize the linear stability of the synchronized state, which are functionals of the past time sequences of the oscillator states. For the case of linear coupling, optimization of the delay time and linear filitering of coupling signals are considered. For the case of nonlinear coupling, general drive-response coupling is considered, and the optimal response and driving functions are derived. The theoretical results are exemplified by numerical simulations.


title: Optimization of multi-gigabit transceivers for high speed data communication links in HEP Experiments

abstract: The scheme of the data acquisition (DAQ) architecture in High Energy Physics (HEP) experiments consist of data transport from the front-end electronics (FEE) of the online detectors to the readout units (RU), which perform online processing of the data, and then to the data storage for offline analysis. With major upgrades of the Large Hadron Collider (LHC) experiments at CERN, the data transmission rates in the DAQ systems are expected to reach a few TB/sec within the next few years. These high rates are normally associated with the increase in the high-frequency losses, which lead to distortion in the detected signal and degradation of signal integrity. To address this, we have developed an optimization technique of the multi-gigabit transceiver (MGT) and implemented it on the state-of-the-art 20nm Arria-10 FPGA manufactured by Intel Inc. The setup has been validated for three available high-speed data transmission protocols, namely, GBT, TTC-PON and 10 Gbps Ethernet. The improvement in the signal integrity is gauged by two metrics, the Bit Error Rate (BER) and the Eye Diagram. It is observed that the technique improves the signal integrity and reduces BER. The test results and the improvements in the metrics of signal integrity for different link speeds are presented and discussed.


title: Reflection from the periodically modulated interface of a hyperbolic metamaterial

abstract: A numerical study of the features of the scattering of incident radiation at a periodically modulated hyperbolic metamaterial boundary was carried out. We have found optimal - sawtooth-shaped profile of the interface which provides minimal reflection. It is shown that at a certain orientation of the optical axes of the metamaterial, a subwave localization of the field occurs at the saw-tooth interface. An approximate analytical expression for the eigenmode was found. A generalization of the numerical method is implemented for calculating fields, based on the application of the Green's second identity.


title: The Breakdown Scale of HI Bias Linearity

abstract: The 21 cm intensity mapping experiments promise to obtain the large-scale distribution of HI gas at the post-reionization epoch. In order to reveal the underlying matter density fluctuations from the HI mapping, it is important to understand how HI gas traces the matter density distribution. Both nonlinear halo clustering and nonlinear effects modulating HI gas in halos may determine the scale below which the HI bias deviates from linearity. We employ three approaches to generate the mock HI density from a large-scale N-body simulation at low redshifts, and demonstrate that the assumption of HI linearity is valid at the scale corresponding to the first peak of baryon acoustic oscillations, but breaks down at $k \gtrsim 0.1\,h\, {\rm Mpc}^{-1}$. The nonlinear effects of halo clustering and HI content modulation counteract each other at small scales, and their competition results in a model-dependent "sweet-spot" redshift near $z$=1 where the HI bias is scale-independent down to small scales. We also find that the linear HI bias scales approximately linearly with redshift for $z\le 3$.


title: On Adversary Robust Consensus protocols through joint-agent interactions

abstract: A generalized family of Adversary Robust Consensus protocols is proposed and analyzed. These are distributed algorithms for multi-agents systems seeking to agree on a common value of a shared variable, even in the presence of faulty or malicious agents which are updating their local state according to the protocol rules. In particular, we adopt monotone joint-agent interactions, a very general mechanism for processing locally available information and allowing cross-comparisons between state-values of multiple agents simultaneously. The salient features of the proposed class of algorithms are abstracted as a Petri Net and convergence criteria for the resulting time evolutions formulated by employing structural invariants of the net.


title: Space-coiling Acoustic Metasurface with Independent Modulations of Phase and Amplitude

abstract: In this work, we propose a design of acoustic meta-surfaces in sub-wavelength scale enabling independent modulations of phase and amplitude. Each unit cell of the acoustic meta-surface consists of simple conventional space-coiling structure added with an air layer, which can be analyzed as two equivalent slabs with non-dispersion effective parameters. The amplitude depends on the space-coiling structure regardless of the air layer, and the phase can be further adjusted by the air layer independent to the amplitude. The acoustic meta-surface covers an entire phase change of 2-pi and amplitude change of one. We demonstrate an acoustic illusion effect by using the acoustic meta-surface screen, which works well as a full-control discontinuous boundary to support phase and amplitude differences between the original and illusion patterns. The incident field of a point source is transformed into a target field of the point source scattered by an object with shadow area behind it.


title: On traveling wave solutions in full parabolic Keller-Segel chemotaxis systems with logistic source

abstract: This paper is concerned with traveling wave solutions of the following full parabolic Keller-Segel chemotaxis system with logistic source, \begin{equation} \begin{cases} u_t=\Delta u -\chi\nabla\cdot(u\nabla v)+u(a-bu),\quad x\in\mathbb{R}^N \cr \tau v_t=\Delta v-\lambda v +\mu u,\quad x\in \mathbb{R}^N, \end{cases}(1) \end{equation} where $\chi, \mu,\lambda,a,$ and $b$ are positive numbers, and $\tau\ge 0$. Among others, it is proved that if $b>2\chi\mu$ and $\tau \geq \frac{1}{2}(1-\frac{\lambda}{a})_{+} ,$ then for every $c\ge 2\sqrt{a}$, (1) has a traveling wave solution $(u,v)(t,x)=(U^{\tau,c}(x\cdot\xi-ct),V^{\tau,c}(x\cdot\xi-ct))$ ($\forall\, \xi\in\mathbb{R}^N$) connecting the two constant steady states $(0,0)$ and $(\frac{a}{b},\frac{\mu}{\lambda}\frac{a}{b})$, and there is no such solutions with speed $c$ less than $2\sqrt{a}$, which improves considerably the results established in \cite{SaSh3}, and shows that (1) has a minimal wave speed $c_0^*=2\sqrt a$, which is independent of the chemotaxis.


title: On Lane-Emden systems with singular nonlinearities and applications to MEMS

abstract: In this paper we analyse the Lane-Emden system \begin{equation} \left\{ \begin{alignedat}{3} -\Delta u = & \, \frac{\lambda f(x)}{(1-v)^2} & \quad \text{in} & \quad\Omega\\ -\Delta v = & \, \frac{\mu g(x)}{(1-u)^2} & \quad \text{in} & \quad\Omega\\ 0\leq u &, v < 1 & \quad \text{in} & \quad \Omega\\ u = v & = \, 0 & \text{on} & \quad \partial\Omega\\ \end{alignedat} \right.\tag{$S_{\lambda, \mu}$} \end{equation} where $\lambda$ and $\mu$ are positive parameters and $\Omega$ is a smooth bounded domain of $\mathbb{R}^N$ $( N \geq 1)$. Here we prove the existence of a critical curve $\Gamma$ which splits the positive quadrant of the $(\lambda,\mu)\text{-plane}$ into two disjoint sets $\mathcal{O}_1$ and $\mathcal{O}_2$ such that the problem $(S_{\lambda, \mu})$ has a smooth minimal stable solution $(u_\lambda,v_\mu)$ in $\mathcal{O}_1$, while for $(\lambda,\mu)\in\mathcal{O}_2$ there are no solutions of any kind. We also establish upper and lower estimates for the critical curve $\Gamma$ and regularity results on this curve if $N\leq 7$. Our proof is based on a delicate combination involving maximum principle and $L^p$ estimates for semi-stable solutions of $(S_{\lambda, \mu}$).


title: Attack-resistant Spanning Tree Construction in Route-Restricted Overlay Networks

abstract: Nodes in route-restricted overlays have an immutable set of neighbors, explicitly specified by their users. Popular examples include payment networks such as the Lightning network as well as social overlays such as the Dark Freenet. Routing algorithms are central to such overlays as they enable communication between nodes that are not directly connected. Recent results show that algorithms based on spanning trees are the most promising provably efficient choice. However, all suggested solutions fail to address how distributed spanning tree algorithms can deal with active denial of service attacks by malicious nodes. In this work, we design a novel self-stabilizing spanning tree construction algorithm that utilizes cryptographic signatures and prove that it reduces the set of nodes affected by active attacks. Our simulations substantiate this theoretical result with concrete values based on real-world data sets. In particular, our results indicate that our algorithm reduces the number of affected nodes by up to 74% compared to state-of-the-art attack-resistant spanning tree constructions.


title: Astrophysically relevant bound trajectories around a Kerr black hole

abstract: We derive alternate and new closed-form analytic solutions for the non-equatorial eccentric bound trajectories, $\{ \phi \left( r, \theta \right)$, $\ t \left( r, \theta \right),\ r \left( \theta \right) \}$, around a Kerr black hole by using the transformation $1/r=\mu \left(1+ e \cos \chi \right)$. The application of the solutions is straightforward and numerically fast. We obtain and implement translation relations between energy and angular momentum of the particle, ($E$, $L$), and eccentricity and inverse-latus rectum, ($e$, $\mu$), for a given spin, $a$, and Carter's constant, $Q$, to write the trajectory completely in the ($e$, $\mu$, $a$, $Q$) parameter space. The bound orbit conditions are obtained and implemented to select the allowed combination of parameters ($e$, $\mu$, $a$, $Q$). We also derive specialized formulae for spherical and separatrix orbits. A study of the non-equatorial analog of the previously studied equatorial separatrix orbits is carried out where a homoclinic orbit asymptotes to an energetically bound spherical orbit. Such orbits simultaneously represent an eccentric orbit and an unstable spherical orbit, both of which share the same $E$ and $L$ values. We present exact expressions for $e$ and $\mu$ as functions of the radius of the corresponding unstable spherical orbit, $r_s$, $a$, and $Q$, and their trajectories, for ($Q\neq0$) separatrix orbits; they are shown to reduce to the equatorial case. These formulae have applications to study the gravitational waveforms from EMRIs besides relativistic precession and phase space explorations. We obtain closed-form expressions of the fundamental frequencies of non-equatorial eccentric trajectories that are equivalent to the previously obtained quadrature forms and also numerically match with the equivalent formulae previously derived. We sketch several orbits and discuss their astrophysical applications.


title: A Comprehensive guide to Bayesian Convolutional Neural Network with Variational Inference

abstract: Artificial Neural Networks are connectionist systems that perform a given task by learning on examples without having prior knowledge about the task. This is done by finding an optimal point estimate for the weights in every node. Generally, the network using point estimates as weights perform well with large datasets, but they fail to express uncertainty in regions with little or no data, leading to overconfident decisions. In this paper, Bayesian Convolutional Neural Network (BayesCNN) using Variational Inference is proposed, that introduces probability distribution over the weights. Furthermore, the proposed BayesCNN architecture is applied to tasks like Image Classification, Image Super-Resolution and Generative Adversarial Networks. The results are compared to point-estimates based architectures on MNIST, CIFAR-10 and CIFAR-100 datasets for Image CLassification task, on BSD300 dataset for Image Super Resolution task and on CIFAR10 dataset again for Generative Adversarial Network task. BayesCNN is based on Bayes by Backprop which derives a variational approximation to the true posterior. We, therefore, introduce the idea of applying two convolutional operations, one for the mean and one for the variance. Our proposed method not only achieves performances equivalent to frequentist inference in identical architectures but also incorporate a measurement for uncertainties and regularisation. It further eliminates the use of dropout in the model. Moreover, we predict how certain the model prediction is based on the epistemic and aleatoric uncertainties and empirically show how the uncertainty can decrease, allowing the decisions made by the network to become more deterministic as the training accuracy increases. Finally, we propose ways to prune the Bayesian architecture and to make it more computational and time effective.


title: A new delay time distribution for merging neutron stars tested against Galactic and cosmic data

abstract: The merging of two neutron stars (MNS) is thought to be the source of short gamma-ray bursts (SGRB) and gravitational wave transients, as well as the main production site of r-process elements like Eu. We have derived a new delay time distribution (DTD) for MNS systems from theoretical considerations and we have tested it against (i) the SGRB redshift distribution and (ii) the Galactic evolution of Eu and Fe, in particular the [Eu/Fe] vs [Fe/H] relation. For comparison, we also tested other DTDs, as proposed in the literature. To address the first item, we have convolved the DTD with the cosmic star formation rate, while for the second we have employed a detailed chemical evolution model of the Milky Way. We have also varied the DTD of Type Ia SNe (the main Fe producers), the contribution to Eu production from core-collapse SNe, as well as explored the effect of a dependence on the metallicity of the occurrence probability of MNS. Our main results can be summarized as follows: (i) the SGRB redshift distribution can be fitted using DTDs for MNS that produce average timescales of 300-500 Myr; (ii) if the MNS are the sole producers of the Galactic Eu and the occurrence probability of MNS is constant the Eu production timescale must be on the order of <30 Myr; (iii) allowing for the Eu production in core-collapse SNe, or adopting a metallicity-dependent occurrence probability, allow us to reproduce both observational constraints, but many uncertainties are still present in both assumptions.


title: Marginal Densities, Factor Graph Duality, and High-Temperature Series Expansions

abstract: We prove that the marginal densities of a global probability mass function in a primal normal factor graph and the corresponding marginal densities in the dual normal factor graph are related via local mappings. The mapping depends on the Fourier transform of the local factors of the models. Details of the mapping, including its fixed points, are derived for the Ising model, and then extended to the Potts model. By employing the mapping, we can transform simultaneously all the estimated marginal densities from one domain to the other, which is advantageous if estimating the marginals can be carried out more efficiently in the dual domain. An example of particular significance is the ferromagnetic Ising model in a positive external field, for which there is a rapidly mixing Markov chain (called the subgraphs-world process) to generate configurations in the dual normal factor graph of the model. Our numerical experiments illustrate that the proposed procedure can provide more accurate estimates of marginal densities in various settings.


title: Some elliptic problems with singular nonlinearity and advection for Riemannian manifolds

abstract: We are interested in regularity properties of semi-stable solutions for a class of singular semilinear elliptic problems with advection term defined on a smooth bounded domain of a complete Riemannian manifold with zero Dirichlet boundary condition. We prove uniform Lebesgue estimates and we determine the critical dimensions for these problems with nonlinearities of the type Gelfand, MEMS and power case. As an application, we show that extremal solutions are classical whenever the dimension of the manifold is below the critical dimension of the associated problem. Moreover, we analyze the branch of minimal solutions and we prove multiplicity results when the parameter is close to critical threshold and we obtain uniqueness on it. Furthermore, for the case of Riemannian models we study properties of radial symmetry and monotonicity for semi-stable solutions.


title: Sidewall quantum wires on GaAs(001) substrates

abstract: We study the structural, optical, and transport properties of sidewall quantum wires on GaAs(001) substrates. The QWRs are grown by molecular beam epitaxy (MBE) on GaAs(001) substrates prepatterned with shallow ridges. They form as a consequence of material accumulation on the sidewalls of the ridges during the overgrowth of a quantum well (QW) on the patterned surface. The QWRs are approximately 200 nm-wide and have emission energies red-shifted by 27meV with respect to the surrounding QW. Spatially resolved spectroscopic photoluminencence studies indicate that the QW thickness reduces around the QWRs, thus creating a 4 meV energy barrier for the transfer of carriers from the QW to the QWR. We show that the QWRs act as efficient channels for the transport of optically excited electrons and holes over tens of {\mu}m by a high-frequency surface acoustic wave (SAW). These results demonstrate the feasibility of efficient ambipolar transport in QWRs with sub-micrometer dimensions, photolithographically defined on GaAs substrates.


title: Distributional chaos and Li-Yorke chaos in metric spaces

abstract: In this paper, we introduce several new types and generalizations of the concepts distributional chaos and Li-Yorke chaos. We consider the general sequences of binary relations acting between metric spaces, while in a separate section we focus our attention to some special features of distributionally chaotic and Li-Yorke chaotic multivalued linear operators in Frechet spaces.


title: Surjective isometries on a Banach space of analytic functions with bounded derivatives

abstract: Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in H(\mathbb{D}):f'\in H^p(\mathbb{D})\}$ was given for $1\leq p<\infty$ by Novinger and Oberlin in 1985. Here, we characterize surjective, not necessarily linear, isometries on $\mathcal{S}^\infty$.


title: On the probability interpretation of wave functions in the Dirac theory

abstract: It is suggested symmetric relative to particles and antiparticles formulation of the Dirac theory, in which the states with negative energy are excluded. The fields of particles and antiparticles are associated with the wave functions, for which there is valid the Born interpretation of being the probability amplitudes. In doing so, one eliminates different kinds of "paradoxes" in the theory, which existence is caused by an incorrect account of the states with negative energy.


title: Dirichlet Variational Autoencoder

abstract: This paper proposes Dirichlet Variational Autoencoder (DirVAE) using a Dirichlet prior for a continuous latent variable that exhibits the characteristic of the categorical probabilities. To infer the parameters of DirVAE, we utilize the stochastic gradient method by approximating the Gamma distribution, which is a component of the Dirichlet distribution, with the inverse Gamma CDF approximation. Additionally, we reshape the component collapsing issue by investigating two problem sources, which are decoder weight collapsing and latent value collapsing, and we show that DirVAE has no component collapsing; while Gaussian VAE exhibits the decoder weight collapsing and Stick-Breaking VAE shows the latent value collapsing. The experimental results show that 1) DirVAE models the latent representation result with the best log-likelihood compared to the baselines; and 2) DirVAE produces more interpretable latent values with no collapsing issues which the baseline models suffer from. Also, we show that the learned latent representation from the DirVAE achieves the best classification accuracy in the semi-supervised and the supervised classification tasks on MNIST, OMNIGLOT, and SVHN compared to the baseline VAEs. Finally, we demonstrated that the DirVAE augmented topic models show better performances in most cases.


title: Erd\H{o}s-Gallai-type results for the rainbow disconnection number of graphs

abstract: Let $G$ be a nontrivial connected and edge-colored graph. An edge-cut $R$ of $G$ is called a rainbow cut if no two edges of it are colored with a same color. An edge-colored graph $G$ is called rainbow disconnected if for every two distinct vertices $u$ and $v$ of $G$, there exists a $u-v$ rainbow cut separating them. For a connected graph $G$, the rainbow disconnection number of $G$, denoted by $rd(G)$, is defined as the smallest number of colors that are needed in order to make $G$ rainbow disconnected. In this paper, we will study the Erd\H{o}s-Gallai-type results for $rd(G)$, and completely solve them.


title: Femtosecond-Laser-Induced Spin-Polarized Electron Emission from a GaAs Tip

abstract: It is shown that focusing circularly-polarized 800 nm light pulses of 100 fs duration on the tips of p-GaAs crystalline shards having no negative electron affinity (NEA) activation results in electron emission that is both fast and spin-polarized. The 400 fs duration of the emission process was determined by pump/probe measurements. The three samples we investigated produced electron polarizations of 13.1(9)%, 13.3(7)%, and 10.4(2)%. Emission currents ranged between 50 pA and 3 nA with a sample bias of -100V and average laser power of 100 mW. The electron emission exhibited linear dichroism and was obtained under moderate vacuum conditions, similar to that of metallic tips. This source of spin-polarized electron pulses is "fast" in the sense that the electron emission process is of comparable duration to the laser pulses that initiate it.


title: Explicit speed of convergence of the stochastic billiard in a convex set

abstract: In this paper, we are interested in the speed of convergence of the stochastic billiard evolving in a convex set K. This process can be described as follows: a particle moves at unit speed inside the set K until it hits the boundary, and is randomly reflected, independently of its position and previous velocity. We focus on convex sets in R 2 with a curvature bounded from above and below. We give an explicit coupling for both the continuous-time process and the embedded Markov chain of hitting points on the boundary, which leads to an explicit speed of convergence to equilibrium.


title: DAHA and skein algebra on surface: double-torus knots

abstract: We study a topological aspect of rank-1 double affine Hecke algebra (DAHA). Clarified is a relationship between the DAHA of A1-type (resp. CC1-type) and the skein algebra on a once-punctured torus (resp. a 4-punctured sphere), and the SL(2;Z) actions of DAHAs are identified with the Dehn twists on the surfaces. Combining these two types of DAHA, we construct the DAHA representation for the skein algebra on a genus-two surface, and we propose a DAHA polynomial for a double-torus knot, which is a simple closed curve on a genus two Heegaard surface in S3. Discussed is a relationship between the DAHA polynomial and the colored Jones polynomial.


title: Tests for validity of the semiparametric heteroskedastic transformation model

abstract: There exist a number of tests for assessing the nonparametric heteroscedastic location-scale assumption. Here we consider a goodness-of-fit test for the more general hypothesis of the validity of this model under a parametric functional transformation on the response variable. Specifically we consider testing for independence between the regressors and the errors in a model where the transformed response is just a location/scale shift of the error. Our criteria use the familiar factorization property of the joint characteristic function of the covariates under independence. The difficulty is that the errors are unobserved and hence one needs to employ properly estimated residuals in their place. We study the limit distribution of the test statistics under the null hypothesis as well as under alternatives, and also suggest a resampling procedure in order to approximate the critical values of the tests. This resampling is subsequently employed in a series of Monte Carlo experiments that illustrate the finite-sample properties of the new test. We also investigate the performance of related test statistics for normality and symmetry of errors, and apply our methods on real data sets.


title: BS-assisted Task Offloading for D2D Networks with Presence of User Mobility

abstract: Task offloading is a key component in mobile edge computing. Offloading a task to a remote server takes communication and networking resources. An alternative is device-todevice (D2D) offloading, where a task of a device is offloaded to some device having computational resource available. The latter requires that the devices are within the range of each other, first for task collection, and later for result gathering. Hence, in mobility scenarios, the performance of D2D offloading will suffer if the contact rates between the devices are low. We enhance the setup to base station (BS) assisted D2D offloading, namely, a BS can act as a relay for task distribution or result collection. However, this would imply additional consumption of wireless resource. The associated cost and the improvement in completion time of task offloading compose a fundamental trade-off. For the resulting optimization problem, we mathematically prove the complexity, and propose an algorithm using Lagrangian duality. The simulation results demonstrate not only that the algorithm has close-to-optimal performance, but also provide structural insights of the optimal trade-off.


title: Primal-dual proximal splitting and generalized conjugation in non-smooth non-convex optimization

abstract: We demonstrate that difficult non-convex non-smooth optimization problems, such as Nash equilibrium problems and anisotropic as well as isotropic Potts segmentation model, can be written in terms of generalized conjugates of convex functionals. These, in turn, can be formulated as saddle-point problems involving convex non-smooth functionals and a general smooth but non-bilinear coupling term. We then show through detailed convergence analysis that a conceptually straightforward extension of the primal--dual proximal splitting method of Chambolle and Pock is applicable to the solution of such problems. Under sufficient local strong convexity assumptions of the functionals -- but still with a non-bilinear coupling term -- we even demonstrate local linear convergence of the method. We illustrate these theoretical results numerically on the aforementioned example problems.


title: Time-variable electromagnetic star-planet interaction: The TRAPPIST-1 system as an exemplary case

abstract: Exoplanets sufficiently close to their host star can in principle couple electrodynamically to the star. This process is known as electrodynamic star-planet interaction (SPI). The expected emission associated with this coupling is however difficult to observe due to the bright intrinsic stellar emission. Identification of time-variability in the stellar lightcurve is one of the most promising approaches to identify SPI. In this work we therefore systematically investigate various mechanisms and their associated periods, which generate time-variability to aid the search for SPI. We find that the synodic and half the synodic rotation periods of the stars as measured in the rest frames of the orbiting exoplanets are basic periods occurring in SPI. We apply our findings to the example of TRAPPIST-1 with its seven close-in planets for which we investigate the possibility of SPI and the associated time-variabilities. We show that especially TRAPPIST-1b and c, are very likely subject to sub-Alfv\'{e}nic interaction, a necessary condition for SPI. Both planets are therefore expected to generate Alfv\'{e}n wings, which can couple to the star. The associated Poynting fluxes are on the order of $10^{11}$ to $10^{15}$ W and thus can hardly be the direct source of currently observable time-variability from TRAPPIST-1. However these Poynting fluxes might trigger flares on the star. We find correlations between the observed flares and the expected planetary induced signals, which could be due to SPI but our findings are not conclusive and warrant further observations and modelling.


title: Experimental Investigation of the Effect of Pilot Tone Modulation on Partial Response Modulation Formats

abstract: This paper presents an experimental investigation of 8% pilot tone modulation depth is a system transmitting NRZ, PAM4 and Duobinary. The penalty from the pilot tone increases with signal amplitude levels and reaches a received power penalty of 3 dB.


title: Weyl Consistency Conditions and $\gamma_{5}$

abstract: The treatment of $\gamma_{5}$ in Dimensional Regularization leads to ambiguities in field-theoretic calculations, of which one example is the coefficient of a particular term in the four-loop gauge $\beta$-functions of the Standard Model. Using Weyl Consistency Conditions, we present a scheme-independent relation between the coefficient of this term and a corresponding term in the three-loop Yukawa $\beta$-functions, where a semi-na\"ive treatment of $\gamma_{5}$ is sufficient, thereby fixing this ambiguity. We briefly outline an argument by which the same method fixes similar ambiguities at higher orders.


title: On Optimal Proactive and Retention-Aware Caching with User Mobility

abstract: Caching popular contents at edge devices is an effective solution to alleviate the burden of the backhaul networks. Earlier investigations commonly neglected the storage cost in caching. More recently, retention-aware caching, where both the downloading cost and storage cost are accounted for, is attracting attention. Motivated by this, we address proactive and retention-aware caching with user mobility, optimizing the sum of the two types of costs. This is a combinatorial optimization problem. However, we derive a stream of analytical results and they together lead to an algorithm that guarantees global optimum with polynomial-time complexity. Numerical results show significant improvements in comparison to popular caching and random caching.


title: Regularity Criteria for Navier-Stokes Equations with Slip Boundary Conditions on Non-flat Boundaries via Two Velocity Components

abstract: H.-O. Bae and H.J. Choe, in a 1997 paper, established a regularity criteria for the incompressible Navier-Stokes equations in the whole space $\R^3$ based on two velocity components. Recently, one of the present authors extended this result to the half-space case $\R^3_+\,.$ Further, this author in collaboration with J. Bemelmans and J. Brand extended the result to cylindrical domains under physical slip boundary conditions. In this note we obtain a similar result in the case of smooth arbitrary boundaries, but under a distinct, apparently very similar, slip boundary condition. They coincide just on flat portions of the boundary. Otherwise, a reciprocal reduction between the two results looks not obvious, as shown in the last section below.


title: Realization of the tradeoff between internal and external entanglement

abstract: We experimentally realize the internal and external entanglement tradeoff, which is a new kind of entanglement monogamy relation different from that usually discussed. Using a source of twin photons, we find that the external entanglement in polarization of twin photons, and the path-polarization internal entanglement of one photon, limit each other. In the extreme case, when the internal state is maximally entangled, the external entanglement must be vanishing, that illustrate entanglement monogamy. Our results of the experiment coincide with the theoretical predictions, and therefore provide a direct experimental observation of the internal and external entanglement monogamy relation.


title: Diagrammatic Coupled Cluster Monte Carlo

abstract: We propose a modified coupled cluster Monte Carlo algorithm that stochastically samples connected terms within the truncated Baker--Campbell--Hausdorff expansion of the similarity transformed Hamiltonian by construction of coupled cluster diagrams on the fly. Our new approach -- diagCCMC -- allows propagation to be performed using only the connected components of the similarity-transformed Hamiltonian, greatly reducing the memory cost associated with the stochastic solution of the coupled cluster equations. We show that for perfectly local, noninteracting systems, diagCCMC is able to represent the coupled cluster wavefunction with a memory cost that scales linearly with system size. The favorable memory cost is observed with the only assumption of fixed stochastic granularity and is valid for arbitrary levels of coupled cluster theory. Significant reduction in memory cost is also shown to smoothly appear with dissociation of a finite chain of helium atoms. This approach is also shown not to break down in the presence of strong correlation through the example of a stretched nitrogen molecule. Our novel methodology moves the theoretical basis of coupled cluster Monte Carlo closer to deterministic approaches.


title: Six-loop $\varepsilon$ expansion study of three-dimensional $n$-vector model with cubic anisotropy

abstract: The six-loop expansions of the renormalization-group functions of $\varphi^4$ $n$-vector model with cubic anisotropy are calculated within the minimal subtraction (MS) scheme in $4 - \varepsilon$ dimensions. The $\varepsilon$ expansions for the cubic fixed point coordinates, critical exponents corresponding to the cubic universality class and marginal order parameter dimensionality $n_c$ separating different regimes of critical behavior are presented. Since the $\varepsilon$ expansions are divergent numerical estimates of the quantities of interest are obtained employing proper resummation techniques. The numbers found are compared with their counterparts obtained earlier within various field-theoretical approaches and by lattice calculations. In particular, our analysis of $n_c$ strengthens the existing arguments in favor of stability of the cubic fixed point in the physical case $n = 3$.

categories: cond-mat.stat-mech hep-lat hep-ph hep-th


title: Consensus Mechanism Design based on Structured Directed Acyclic Graphs

abstract: We introduce a structure for the directed acyclic graph (DAG) and a mechanism design based on that structure so that peers can reach consensus at large scale based on proof of work (PoW). We also design a mempool transaction assignment method based on the DAG structure to render negligible the probability that a transaction being processed by more than one miners. The result is a significant scale-up of the capacity without sacrificing security and decentralization.


title: Adaptive Semiglobal Nonlinear Output Regulation:An Extended-State Observer Approach

abstract: This paper proposes a new extended-state observer-based framework for adaptive nonlinear regulator design of a class of nonlinear systems, in the general nonequilibrium theory. By augmenting an extended-state observer with an internal model, one is able to obtain an estimate of the term containing uncertain parameters, which then makes it possible to design an adaptive internal model in the presence of a general nonlinearly parameterized immersion condition.


title: How Compact?: Assessing Compactness of Representations through Layer-Wise Pruning

abstract: Various forms of representations may arise in the many layers embedded in deep neural networks (DNNs). Of these, where can we find the most compact representation? We propose to use a pruning framework to answer this question: How compact can each layer be compressed, without losing performance? Most of the existing DNN compression methods do not consider the relative compressibility of the individual layers. They uniformly apply a single target sparsity to all layers or adapt layer sparsity using heuristics and additional training. We propose a principled method that automatically determines the sparsity of individual layers derived from the importance of each layer. To do this, we consider a metric to measure the importance of each layer based on the layer-wise capacity. Given the trained model and the total target sparsity, we first evaluate the importance of each layer from the model. From the evaluated importance, we compute the layer-wise sparsity of each layer. The proposed method can be applied to any DNN architecture and can be combined with any pruning method that takes the total target sparsity as a parameter. To validate the proposed method, we carried out an image classification task with two types of DNN architectures on two benchmark datasets and used three pruning methods for compression. In case of VGG-16 model with weight pruning on the ImageNet dataset, we achieved up to 75% (17.5% on average) better top-5 accuracy than the baseline under the same total target sparsity. Furthermore, we analyzed where the maximum compression can occur in the network. This kind of analysis can help us identify the most compact representation within a deep neural network.


title: Parametrization simple irreducible plane curve singularities in arbitrary characteristic

abstract: We study the classification of plane curve singularities in arbitrary characteristic. We first give a bound for the determinacy of a plane curve singularity with respect to pararametrization equivalence in terms of its conductor. Then we classify parametrization simple plane curve singularities which are irreducible by giving a concrete list of normal forms of equations and parametrizations. In characteristic zero, the classification of parametrization simple irreducible plane curve singularities was achieved by Bruce and Gaffney.


title: The GlueX Start Counter Detector

abstract: The design, simulation, fabrication, calibration, and performance of the GlueX Start Counter detector is described. The Start Counter was designed to operate at integrated rates of up to 9 MHz with a timing resolution in the range of 500 to 825 ps (FWHM). The Start Counter provides excellent solid angle coverage, a high degree of segmentation for background rejection, and can be utilized in the level 1 trigger for the experiment. It consists of a cylindrical array of 30 thin scintillators with pointed ends that bend towards the beam line at the downstream end. Magnetic field insensitive silicon photomultiplier detectors were used as the light sensors.


title: Absolute continuity and Fokker-Planck equation for the law of Wong-Zakai approximations of It\^o's stochastic differential equations

abstract: We investigate the regularity of the law of Wong-Zakai-type approximations for It\^o stochastic differential equations. These approximations solve random differential equations where the diffusion coefficient is Wick-multiplied by the smoothed white noise. Using a criteria based on the Malliavin calculus we establish absolute continuity and a Fokker-Planck-type equation solved in the distributional sense by the density. The parabolic smoothing effect typical of the solutions of It\^o equations is lacking in this approximated framework; therefore, in order to prove absolute continuity, the initial condition of the random differential equation needs to possess a density itself.


title: Do T asymmetries for neutrino oscillations in uniform matter have a CP-even component?

abstract: Observables of neutrino oscillations in matter have, in general, contributions from the effective matter potential. It contaminates the CP violation asymmetry adding a fake effect that has been recently disentangled from the genuine one by their different behavior under T and CPT. Is the genuine T-odd CPT-invariant component of the CP asymmetry coincident with the T asymmetry? Contrary to CP, matter effects in uniform matter cannot induce by themselves a non-vanishing T asymmetry; however, the question of the title remained open. We demonstrate that, in the presence of genuine CP violation, there is a new non-vanishing CP-even, and so CPT-odd, component in the T asymmetry in matter, which is of odd-parity in both the phase $\delta$ of the flavor mixing and the matter parameter $a$. The two disentangled components, genuine $A^\mathrm{T;CP}_{\alpha\beta}$ and fake $A^\mathrm{T;CPT}_{\alpha\beta}$, could be experimentally separated by the measurement of the two T asymmetries in matter ($\nu_\alpha \leftrightarrow \nu_\beta$) and ($\bar\nu_\alpha \leftrightarrow \bar\nu_\beta$). For the ($\nu_\mu \leftrightarrow \nu_e$) transitions, the energy dependence of the new $A^\mathrm{T;CPT}_{\mu e}$ component is like the matter-induced term $A^\mathrm{CP;CPT}_{\mu e}$ of the CP asymmetry which is odd under a change of the neutrino mass hierarchy. We have thus completed the physics involved in all observable asymmetries in matter by means of their disentanglement into the three independent components, genuine $A^\mathrm{CP;T}_{\alpha\beta}$ and fake $A^\mathrm{CP;CPT}_{\alpha\beta}$ and $A^\mathrm{T;CPT}_{\alpha\beta}$.


title: On a Blaschke-type condition for subharmonic functions with two sets of singularities on the boundary

abstract: Given two compact sets, $E$ and $F$, on the unit circle, we study the class of subharmonic functions on the unit disk which can grow at the direction of $E$ and $F$ (sets of singularities) at different rate. The main result concerns the Blaschke-type condition for the Riesz measure of such functions. The optimal character of such condition is demonstrated.


title: Global and Quadratic Convergence of Newton Hard-Thresholding Pursuit

abstract: Algorithms based on the hard thresholding principle have been well studied with sounding theoretical guarantees in the compressed sensing and more general sparsity-constrained optimization. It is widely observed in existing empirical studies that when a restricted Newton step was used (as the debiasing step), the hard-thresholding algorithms tend to meet halting conditions in a significantly low number of iterations and are very efficient. Hence, the thus obtained Newton hard-thresholding algorithms call for stronger theoretical guarantees than for their simple hard-thresholding counterparts. This paper provides a theoretical justification for the use of the restricted Newton step. We build our theory and algorithm, Newton Hard-Thresholding Pursuit (NHTP), for the sparsity-constrained optimization. Our main result shows that NHTP is quadratically convergent under the standard assumption of restricted strong convexity and smoothness. We also establish its global convergence to a stationary point under a weaker assumption. In the special case of the compressive sensing, NHTP effectively reduces to some of the existing hard-thresholding algorithms with a Newton step. Consequently, our fast convergence result justifies why those algorithms perform better than without the Newton step. The efficiency of NHTP was demonstrated on both synthetic and real data in compressed sensing and sparse logistic regression.


title: Sequentially loop-generated quark and lepton mass hierarchies in an extended Inert Higgs Doublet model

abstract: Extended scalar and fermion sectors offer new opportunities for generating the observed strong hierarchies in the fermion mass and mixing patterns of the Standard Model (SM). In this work, we elaborate on the prospects of a particular extension of the Inert Higgs doublet model where the SM hierarchies are generated sequentially by radiative virtual corrections in a fully renormalisable way, i.e. without adding any non-renormalisable Yukawa terms or soft-breaking operators to the scalar potential. Our model has a potential to explain the recently observed $R_{K}$ and $R_{K^{\ast }}$ anomalies, thanks to the non universal $U_{1X}$ assignments of the fermionic fields that yield non universal $Z^{\prime}$ couplings to fermions. We explicitly demonstrate the power of this model for generating the realistic quark, lepton and neutrino mass spectra. In particular, we show that due to the presence of both continuous and discrete family symmetries in the considered framework, the top quark acquires a tree-level mass, lighter quarks and leptons get their masses at one- and two-loop order, while neutrino masses are generated at three-loop level. The minimal field content, particle spectra and scalar potential of this model are discussed in detail.


title: Spectral properties of nonassociative algebras and breaking regularity for nonlinear elliptic type PDEs

abstract: In this note, we address the following question: Why certain nonassociative algebra structures emerge in the regularity theory of elliptic type PDEs and also in constructing nonclassical and singular solutions? The aim of the paper is twofold. Firstly, to give a survey of diverse examples on nonregular solutions to elliptic PDEs with emphasis on recent results on nonclassical solutions to fully nonlinear equations. Secondly, to define an appropriate algebraic formalism which makes the analytic part of the construction of nonclassical solutions more transparent.


title: Polaron in a $p+ip$ Fermi topological superfluid

abstract: We study polaron excitations induced by an impurity interacting with a two-dimensional $p+ip$ Fermi superfluid. As the Fermi-Fermi pairing interaction is tuned, the background Fermi superfluid undergoes a topological phase transition. We show that such a transition is accompanied by a discontinuity in the second derivative of the polaron energy, regardless of the impurity-fermion interaction. We also identify a polaron to trimer crossover when the Fermi superfluid is in the strongly interacting, thus topologically trivial, regime. However, the trimer state is metastable against the molecular state where the impurity binds a Bogoliubov quasiparticle from the Fermi superfluid. By comparing the polaron to molecule transition in our system with that of an impurity in a noninteracting Fermi sea, we find that pairing interactions in the background Fermi superfluid effectively facilitate the impurity-fermion binding. Our results suggest the possibility of using the impurity as a probe for detecting topological phase transitions in the background; they also reveal interesting competitions between various many-body states in the system.


title: Clock Time in Quantum Cosmology

abstract: We consider the conditioning of the timeless solution to the Wheeler-DeWitt equation by a predefined matter clock state in the simple scenario of de Sitter universe. The resulting evolution of the geometrodynamical degree of freedom with respect to clock time is characterized by the "Berry connection" of the reduced geometrodynamical space, which relies on the coupling of the clock with the geometry. When the connection vanishes, the standard Schr\"odinger equation is obtained for the geometry with respect to clock time. When one considers environment-induced decoherence in the semi-classical limit, this condition is satisfied and clock time coincides with cosmic time. Explicit results for the conditioned wave functions for minimal clocks made up of two quantum harmonic oscillator eigen-states are shown.


title: An Extended Newton-type Algorithm for $\ell_2$-Regularized Sparse Logistic Regression and Its Efficiency for Classifying Large-scale Datasets

abstract: Sparse logistic regression, as an effective tool of classification, has been developed tremendously in recent two decades, from its origination the $\ell_1$-regularized version to the sparsity constrained models. This paper is carried out on the sparsity constrained logistic regression by the Newton method. We begin with establishing its first-order optimality condition associated with a $\tau$-stationary point. This point can be equivalently interpreted as a system of equations which is then efficiently solved by the Newton method. The method has a considerably low computational complexity and enjoys global and quadratic convergence properties. Numerical experiments on random and real data demonstrate its superior performance when against seven state-of-the-art solvers.


title: Passive alignment stability and auto-alignment of multipass amplifiers based on Fourier transforms

abstract: The stability properties of Fourier-based multipass amplifier to misalignments (tilts) of its optical components has been investigated. For this purpose, a method to quantify the sensitivity to tilts based on the amplifier small signal gain has been elaborated and compared with measurements. To improve on the tilt stability by more than an order of magnitude a simple auto-alignment system has been proposed and tested. This study, combined with other investigations devoted to the stability of the output beam to variations of aperture and thermal lens effects of the active medium, qualifies the Fourier-based amplifier for the high-energy and the high-power sector.


title: Free fermions at the edge of interacting systems

abstract: We study the edge behavior of inhomogeneous one-dimensional quantum systems, such as Lieb-Liniger models in traps or spin chains in spatially varying magnetic fields. For free systems these fall into several universality classes, the most generic one being governed by the Tracy-Widom distribution. We investigate in this paper the effect of interactions. Using semiclassical arguments, we show that since the density vanishes to leading order, the strong interactions in the bulk are renormalized to zero at the edge, which simply explains the survival of Tracy-Widom scaling in general. For integrable systems, it is possible to push this argument further, and determine exactly the remaining length scale which controls the variance of the edge distribution. This analytical prediction is checked numerically, with excellent agreement. We also study numerically the edge scaling at fronts generated by quantum quenches, which provide new universality classes awaiting theoretical explanation.

categories: cond-mat.stat-mech cond-mat.quant-gas math-ph math.MP


title: Sweep Algorithms for the Capacitated Vehicle Routing Problem with Structured Time Window

abstract: The capacitated Vehicle Routing Problem with structured Time Windows (cVRPsTW) is concerned with finding optimal tours for vehicles with given capacity constraints to deliver goods to customers within assigned time windows. In our problem variant these time windows have a special structure, namely they are non-overlapping and each time window holds several customers. This is a reasonable assumption for Attended Home Delivery services. Sweep algorithms are known as simple, yet effective heuristics for the classical capacitated Vehicle Routing Problem. We propose variants of the sweep algorithm that are not only able to deal with time windows, but also exploit the additional structure of the time windows in a cVRPsTW. Afterwards we suggest local improvement heuristics to decrease our objective function even further. A carefully constructed benchmark set that resembles real-world data is used to prove the efficacy of our algorithms in a computational study.


title: Topological extension of the isomorph theory based on the Shannon entropy

abstract: Isomorph theory is one of the promising theories to understand the quasi-universal relationship between thermodynamic, dynamic and structural characteristics. Based on the hidden scale invariance of the inverse power law potentials, it rationalizes the excess entropy scaling law of dynamic properties. This work aims to show that this basic idea of isomorph theory can be extended by examining the microstructural features of the system. Using the topological framework in conjunction with the entropy calculation algorithm, we demonstrate that Voronoi entropy, a measure of the topological diversity of single atoms, provides a scaling law for the transport properties of soft-sphere fluids, which is comparable to the frequently used excess entropy scaling. By examining the relationship between the Voronoi entropy and the solid-like fraction of simple fluids, we suggest that the Frenkel line, a rigid-nonrigid crossover line, {be} a topological isomorphic line where the scaling relation qualitatively changes.


title: Dynamic Loop Scheduling Using MPI Passive-Target Remote Memory Access

abstract: Scientific applications often contain large computationally-intensive parallel loops. Loop scheduling techniques aim to achieve load balanced executions of such applications. For distributed-memory systems, existing dynamic loop scheduling (DLS) libraries are typically MPI-based, and employ a master-worker execution model to assign variably-sized chunks of loop iterations. The master-worker execution model may adversely impact performance due to the master-level contention. This work proposes a distributed chunk-calculation approach that does not require the master-worker execution scheme. Moreover, it considers the novel features in the latest MPI standards, such as passive-target remote memory access, shared-memory window creation, and atomic read-modify-write operations. To evaluate the proposed approach, five well-known DLS techniques, two applications, and two heterogeneous hardware setups have been considered. The DLS techniques implemented using the proposed approach outperformed their counterparts implemented using the traditional master-worker execution model.


title: DeCoILFNet: Depth Concatenation and Inter-Layer Fusion based ConvNet Accelerator

abstract: Convolutional Neural Networks (CNNs) are rapidly gaining popularity in varied fields. Due to their increasingly deep and computationally heavy structures, it is difficult to deploy them on energy constrained mobile applications. Hardware accelerators such as FPGAs have come up as an attractive alternative. However, with the limited on-chip memory and computation resources of FPGA, meeting the high memory throughput requirement and exploiting the parallelism of CNNs is a major challenge. We propose a high-performance FPGA based architecture - Depth Concatenation and Inter-Layer Fusion based ConvNet Accelerator - DeCoILFNet which exploits the intra-layer parallelism of CNNs by flattening across depth and combines it with a highly pipelined data flow across the layers enabling inter-layer fusion. This architecture significantly reduces off-chip memory accesses and maximizes the throughput. Compared to a 3.5GHz hexa-core Intel Xeon E7 caffe-implementation, our 120MHz FPGA accelerator is 30X faster. In addition, our design reduces external memory access by 11.5X along with a speedup of more than 2X in the number of clock cycles compared to state-of-the-art FPGA accelerators.


title: Programming Strategies for Irregular Algorithms on the Emu Chick

abstract: The Emu Chick prototype implements migratory memory-side processing in a novel hardware system. Rather than transferring large amounts of data across the system interconnect, the Emu Chick moves lightweight thread contexts to near-memory cores before the beginning of each remote memory read. Previous work has characterized the performance of the Chick prototype in terms of memory bandwidth and programming differences from more typical, non-migratory platforms, but there has not yet been an analysis of algorithms on this system. This work evaluates irregular algorithms that could benefit from the lightweight, memory-side processing of the Chick and demonstrates techniques and optimization strategies for achieving performance in sparse matrix-vector multiply operation (SpMV), breadth-first search (BFS), and graph alignment across up to eight distributed nodes encompassing 64 nodelets in the Chick system. We also define and justify relative metrics to compare prototype FPGA-based hardware with established ASIC architectures. The Chick currently supports up to 68x scaling for graph alignment, 80 MTEPS for BFS on balanced graphs, and 50\% of measured STREAM bandwidth for SpMV.


title: Causal mediation analysis for stochastic interventions

abstract: Mediation analysis in causal inference has traditionally focused on binary exposures and deterministic interventions, and a decomposition of the average treatment effect in terms of direct and indirect effects. In this paper we present an analogous decomposition of the \textit{population intervention effect}, defined through stochastic interventions on the exposure. Population intervention effects provide a generalized framework in which a variety of interesting causal contrasts can be defined, including effects for continuous and categorical exposures. We show that identification of direct and indirect effects for the population intervention effect requires weaker assumptions than its average treatment effect counterpart, under the assumption of no mediator-outcome confounders affected by exposure. In particular, identification of direct effects is guaranteed in experiments that randomize the exposure and the mediator. We discuss various estimators of the direct and indirect effects, including substitution, re-weighted, and efficient estimators based on flexible regression techniques, allowing for multivariate mediators. Our efficient estimator is asymptotically linear under a condition requiring $n^{1/4}$-consistency of certain regression functions. We perform a simulation study in which we assess the finite-sample properties of our proposed estimators. We present the results of an illustrative study where we assess the effect of participation in a sports team on BMI among children, using mediators such as exercise habits, daily consumption of snacks, and overweight status.


title: Physical meaning of the dipole radiation resistance in lossless and lossy media

abstract: In this tutorial, we discuss the radiation from a Hertzian dipole into uniform isotropic lossy media of infinite extent. If the medium is lossless, the radiated power propagates to infinity, and the apparent dissipation is measured by the radiation resistance of the dipole. If the medium is lossy, the power exponentially decays, and the physical meaning of radiation resistance needs clarification. Here, we present explicit calculations of the power absorbed in the infinite lossy host space and discuss the limit of zero losses. We show that the input impedance of dipole antennas contains a radiation-resistance contribution which does not depend on the imaginary part of the refractive index. This fact means that the power delivered by dipole antennas to surrounding space always contains a contribution from far fields unless the real part of the refractive index is zero. Based on this understanding, we discuss the fundamental limitations of power coupling between two antennas and possibilities of removing the limit imposed by radiation damping.


title: On NP-completeness of the cell formation problem

abstract: In the current paper we provide a proof of NP-completeness for the CFP problem with the fractional grouping efficacy objective. For this purpose we first consider the CFP with the linear objective minimizing the total number of exceptions and voids. Following the ideas of Pinheiro et al. (2016) we show that it is equivalent to the Bicluster Graph Editing Problem (BGEP), which is known to be NP-complete (Amit, 2004). Then we suggest a reduction of the CFP problem with the linear objective function to the CFP with the grouping efficacy objective.


title: Microscopic Cross-Correlations in the Finite-Size Kuramoto Model of Coupled Oscillators

abstract: Super-critical Kuramoto oscillators with distributed frequencies separate into two disjoint groups: an ordered one locked to the mean field, and a disordered one consisting of effectively decoupled oscillators -- at least so in the thermodynamic limit. In finite ensembles, in contrast, such clear separation fails: The mean field fluctuates due to finite-size effects and thereby induces order in the disordered group. To our best knowledge, this publication is the first to reveal such an effect, similar to noise-induced synchronization, in a purely deterministic system. We start by modeling the situation as a stationary mean field with additional white noise acting on a pair of unlocked Kuramoto oscillators. An analytical expression shows that the cross-correlation between the two increases with decreasing ratio of natural frequency difference and noise intensity. In a deterministic finite Kuramoto model, the strength of the mean field fluctuations is inextricably linked to the typical natural frequency difference. Therefore, we let a fluctuating mean field, generated by a finite ensemble of active oscillators, act on pairs of passive oscillators with a microscopic natural frequency difference between which we then measure the cross-correlation, at both super- and sub-critical coupling.


title: Sentiment Analysis of Czech Texts: An Algorithmic Survey

abstract: In the area of online communication, commerce and transactions, analyzing sentiment polarity of texts written in various natural languages has become crucial. While there have been a lot of contributions in resources and studies for the English language, "smaller" languages like Czech have not received much attention. In this survey, we explore the effectiveness of many existing machine learning algorithms for sentiment analysis of Czech Facebook posts and product reviews. We report the sets of optimal parameter values for each algorithm and the scores in both datasets. We finally observe that support vector machines are the best classifier and efforts to increase performance even more with bagging, boosting or voting ensemble schemes fail to do so.


title: Two natural scenarios for dark matter particles coexisting with supersymmetry

abstract: We describe two natural scenarios in which both dark matter WIMPs (weakly interacting massive particles) and a variety of supersymmetric partners should be discovered in the foreseeable future. In the first scenario, the WIMPs are neutralinos, but they are only one component of the dark matter, which is dominantly composed of other relic particles such as axions. (This is the multicomponent model of Baer, Barger, Sengupta, and Tata.) In the second scenario, the WIMPs result from an extended Higgs sector and may be the only dark matter component. In either scenario, both the dark matter WIMP and a plethora of other neutral and charged particles await discovery at many experimental facilities. The new particles in the second scenario have far weaker cross-sections for direct and indirect detection via their gauge interactions, which are either momentum-dependent or second-order. However, as we point out here, they should have much stronger interactions via the Higgs. We estimate that their interactions with fermions will then be comparable to (although not equal to) those of neutralinos with a corresponding Higgs interaction. It follows that these newly proposed dark matter particles should be within reach of emerging and proposed facilities for direct, indirect, and collider-based detection.


title: On the design of new classes of fixed-time stable systems with predefined upper bound for the settling time

abstract: This paper aims to provide a methodology for generating autonomous and non-autonomous systems with a fixed-time stable equilibrium point where an Upper Bound of the Settling Time (UBST) is set a priori as a parameter of the system. In addition, some conditions for such an upper bound to be the least one are provided. This construction procedure is a relevant contribution when compared with traditional methodologies for generating fixed-time algorithms satisfying time constraints since current estimates of an UBST may be too conservative. The proposed methodology is based on time-scale transformations and Lyapunov analysis. It allows the presentation of a broad class of fixed-time stable systems with predefined UBST, placing them under a common framework with existing methods using time-varying gains. To illustrate the effectiveness of our approach, we generate novel, autonomous and non-autonomous, fixed-time stable algorithms with predefined least UBST.


title: The Use of Mutual Coherence to Prove $\ell^1/\ell^0$-Equivalence in Classification Problems

abstract: We consider the decomposition of a signal over an overcomplete set of vectors. Minimization of the $\ell^1$-norm of the coefficient vector can often retrieve the sparsest solution (so-called "$\ell^1/\ell^0$-equivalence"), a generally NP-hard task, and this fact has powered the field of compressed sensing. Wright et al.'s sparse representation-based classification (SRC) applies this relationship to machine learning, wherein the signal to be decomposed represents the test sample and columns of the dictionary are training samples. We investigate the relationships between $\ell^1$-minimization, sparsity, and classification accuracy in SRC. After proving that the tractable, deterministic approach to verifying $\ell^1/\ell^0$-equivalence fundamentally conflicts with the high coherence between same-class training samples, we demonstrate that $\ell^1$-minimization can still recover the sparsest solution when the classes are well-separated. Further, using a nonlinear transform so that sparse recovery conditions may be satisfied, we demonstrate that approximate (not strict) equivalence is key to the success of SRC.


title: Extended Thermodynamics of Self-Gravitating Skyrmions

abstract: A modification of the hedgehog ansatz has recently led to novel exact black hole solutions with selfgravitating SU(2) Skyrme fields. Considering a negative cosmological constant the black holes are not asymptotically anti-de Sitter (AdS) but rather asymptote to an AdS version of Barriola--Vilenkin spacetime. We examine the thermodynamics of the system interpreting the cosmological constant as a bulk pressure. We use the standard counterterm method to obtain a finite Euclidean action. For a given coupling of the matter action, the system behaves as does a charged AdS black hole in the fixed charged ensemble. We find that in the limit case when the Skyrme model becomes a nonlinear sigma model the system exhibits a first order phase transition of Hawking--Page type. The universality class of these Einstein--Skyrme black holes is that of van der Waals.


title: Completing characterization of photon orbits in Kerr and Kerr-Newman metrics

abstract: Recently, several new characteristics have been introduced to describe null geodesic structure of stationary spacetimes, such as photon regions (PR) and transversely trapping surfaces (TTS). The former are three-dimensional domains confining the spherical photon orbits, while the latter are closed two-surface of spherical topology which fill other regions called TTR. It is argued that in generic stationary axisymmetric spacetime it is natural to consider also the non-closed TTSs of the geometry of spherical cups, satisfying the same conditions ("partial" TTS or PTTS), which fill the three-dimensional regions, PTTR. We then show that PR, TTR and PTTR together with the corresponding anti-trapping regions constitute the complete set of regions filling the entire three-space (where timelike surfaces are defined) of Kerr-like spacetimes. This construction provides a novel optical description of such spacetimes without recurring to explicit solution of the geodesic equations. Applying this analysis to Kerr-Newman metrics (including the overspinning ones) we reveal four different optical types for different sets of the rotation and charge parameters. To illustrate their properties we extend Synge analysis of photon escape in the Schwarzschild metric to stationary spacetimes and construct density graphs describing escape of photons from all the above regions.


title: Photoacoustics can image spreading depolarization deep in gyrencephalic brain

abstract: Spreading depolarization (SD) is a self-propagating wave of near-complete neuronal depolarization that is abundant in a wide range of neurological conditions, including stroke. SD was only recently documented in humans and is now considered a therapeutic target for brain injury, but the mechanisms related to SD in complex brains are not well understood. While there are numerous approaches to interventional imaging of SD on the exposed brain surface, measuring SD deep in brain is so far only possible with low spatiotemporal resolution and poor contrast. Here, we show that photoacoustic imaging enables the study of SD and its hemodynamics deep in the gyrencephalic brain with high spatiotemporal resolution. As rapid neuronal depolarization causes tissue hypoxia, we achieve this by continuously estimating blood oxygenation with an intraoperative hybrid photoacoustic and ultrasonic (PAUS) imaging system. Due to its high resolution, promising imaging depth and high contrast, this novel approach to SD imaging can yield new insights into SD and thereby lead to advances in stroke, and brain injury research.


title: On Secure Network Coding for Multiple Unicast Traffic

abstract: This paper investigates the problem of secure communication in a wireline noiseless scenario where a source wishes to communicate to a number of destinations in the presence of a passive external adversary. Different from the multicast scenario, where all destinations are interested in receiving the same message, in this setting different destinations are interested in different messages. The main focus of this paper is on characterizing the secure capacity region, when the adversary has unbounded computational capabilities, but limited network presence. First, an outer bound on the secure capacity region is derived for arbitrary network topologies and general number of destinations. Then, secure transmission schemes are designed and analyzed in terms of achieved rate performance. In particular, for the case of two destinations, it is shown that the designed scheme matches the outer bound, hence characterizing the secure capacity region. It is also numerically verified that the designed scheme matches the outer bound for a special class of networks with general number of destinations, referred to as combination network. Finally, for an arbitrary network topology with general number of destinations, a two-phase polynomial time in the network size scheme is designed and its rate performance {is} compared with the capacity-achieving scheme for networks with two destinations.


title: The generalized Delta conjecture at t=0

abstract: We prove the cases q=0 and t=0 of the generalized Delta conjecture of Haglund, Remmel and Wilson involving the symmetric function $\Delta_{h_m}\Delta_{e_{n-k-1}}'e_n$. Our theorem generalizes recent results by Garsia, Haglund, Remmel and Yoo. This proves also the case q=0 of our recent generalized Delta square conjecture.


title: Taking census of physics

abstract: Over the past decades, the diversity of areas explored by physicists has exploded, encompassing new topics from biophysics and chemical physics to network science. However, it is unclear how these new subfields emerged from the traditional subject areas and how physicists explore them. To map out the evolution of physics subfields, here, we take an intellectual census of physics by studying physicists' careers. We use a large-scale publication data set, identify the subfields of 135,877 physicists and quantify their heterogeneous birth, growth and migration patterns among research areas. We find that the majority of physicists began their careers in only three subfields, branching out to other areas at later career stages, with different rates and transition times. Furthermore, we analyse the productivity, impact and team sizes across different subfields, finding drastic changes attributable to the recent rise in large-scale collaborations. This detailed, longitudinal census of physics can inform resource allocation policies and provide students, editors and scientists with a broader view of the field's internal dynamics.


title: Maximal Chains of Prime Ideals of Different Lengths in Unique Factorization Domains

abstract: We show that, given integers $n_1,n_2, \ldots ,n_k$ with $2 < n_1 < n_2 < \cdots < n_k$, there exists a local (Noetherian) unique factorization domain that has maximal chains of prime ideals of lengths $n_1, n_2, \ldots ,n_k$ which are disjoint except at their minimal and maximal elements. In addition, we demonstrate that unique factorization domains can have other unusual prime ideal structures.


title: Global Household Energy Model: A Multivariate Hierarchical Approach to Estimating Trends in the Use of Polluting and Clean Fuels for Cooking

abstract: In 2017 an estimated 3 billion people used polluting fuels and technologies as their primary cooking solution, with 3.8 million deaths annually attributed to household exposure to the resulting fine particulate matter air pollution. Currently, health burdens are calculated using aggregations of fuel types, e.g. solid fuels, as country-level estimates of the use of specific fuel types, e.g. wood and charcoal, are unavailable. To expand the knowledge base about impacts of household air pollution on health, we develop and implement a Bayesian hierarchical model, based on Generalized Dirichlet Multinomial distributions, that jointly estimates non-linear trends in the use of eight key fuel types, overcoming several data-specific challenges including missing or combined fuel use values. We assess model fit using within-sample predictive analysis and an out-of-sample prediction experiment to evaluate the model's forecasting performance.


title: Statistical closure modeling for reduced-order models of stationary systems by the ROMES method

abstract: This work proposes a technique for constructing a statistical closure model for reduced-order models (ROMs) applied to stationary systems modeled as parameterized systems of algebraic equations. The proposed technique extends the reduced-order-model error surrogates (ROMES) method to closure modeling. The original ROMES method applied Gaussian-process regression to construct a statistical model that maps cheaply computable error indicators (e.g., residual norm, dual-weighted residuals) to a random variable for either (1) the norm of the state error or (2) the error in a scalar-valued quantity of interest. Rather than target these two types of errors, this work proposes to construct a statistical model for the state error itself; it achieves this by constructing statistical models for the generalized coordinates characterizing both the in-plane error (i.e., the error in the trial subspace) and a low-dimensional approximation of the out-of-plane error. The former can be considered a statistical closure model, as it quantifies the error in the ROM generalized coordinates. Because any quantity of interest can be computed as a functional of the state, the proposed approach enables any quantity-of-interest error to be statistically quantified a posteriori, as the state-error model can be propagated through the associated quantity-of-interest functional. Numerical experiments performed on both linear and nonlinear stationary systems illustrate the ability of the technique (1) to improve (expected) ROM prediction accuracy by an order of magnitude, (2) to statistically quantify the error in arbitrary quantities of interest, and (3) to realize a more cost-effective methodology for reducing the error than a ROM-only approach in the case of nonlinear systems.


title: Spectrally-Resolved Photodynamics of Individual Emitters in Large-Area Monolayers of Hexagonal-Boron Nitride

abstract: Hexagonal boron nitride (h-BN) is a 2D, wide band-gap semiconductor that has recently been shown to display bright room-temperature emission in the visible region, sparking immense interest in the material for use in quantum applications. In this work, we study highly crystalline, single atomic layers of chemical vapour deposition (CVD)-grown hexagonal boron nitride and find predominantly one type of emissive state. Using a multidimensional super-resolution fluorescence microscopy technique we simultaneously measure spatial position, intensity and spectral properties of the emitters, as they are exposed to continuous wave illumination over minutes. As well as low emitter heterogeneity, we observe inhomogeneous broadening of emitter line-widths and power law dependency in fluorescence intermittency, this is in striking similarity to previous work on quantum dots. These results show that high control over h-BN growth and treatment can produce a narrow distribution of emitter type, and that surface interactions heavily influence the photodynamics. Furthermore, we highlight the utility of spectrally-resolved wide-field microscopy in the study of optically-active excitons in atomically thin two-dimensional materials.


title: Time-evolution patterns of electrons in twisted bilayer graphene

abstract: We characterise the dynamics of electrons in twisted bilayer graphene by analysing the time-evolution of electron waves in the atomic lattice. We perform simulations based on a kernel polynomial technique using Chebyshev polynomial; this method does not requires any diagonalisation of the system Hamiltonian. Our simulations reveal that the inter-layer electronic coupling induces the exchange of waves between the two graphene layers. This wave transfer manifests as oscillations of the layer-integrated probability densities as a function of time. For the bilayer case, it also causes a difference in the wavefront dynamics compared to monolayer graphene. The intra-layer spreading of electron waves is irregular and progresses as a two-stage process. The first one characterised by a well-defined wavefront occurs in a short time | a wavefront forms instead during the second stage. The wavefront takes a hexagon-like shape with the vertices developing faster than the edges. Though the detail spreading form of waves depends on initial states, we observe localisation of waves in specific regions of the moir\'e zone. To characterise the electron dynamics, we also analyse the time auto-correlation functions. We show that these quantities shall exhibit the beating modulation when reducing the interlayer coupling.


title: On the Jordan-Moore-Gibson-Thompson equation: well-posedness with quadratic gradient nonlinearity and singular limit for vanishing relaxation time

abstract: In this paper, we consider the Jordan-Moore-Gibson-Thompson equation, a third order in time wave equation describing the nonlinear propagation of sound that avoids the infinite signal speed paradox of classical second order in time strongly damped models of nonlinear acoustics, such as the Westervelt and the Kuznetsov equation. We show well-posedness in an acoustic velocity potential formulation with and without gradient nonlinearity, corresponding to the Kuznetsov and the Westervelt nonlinearities, respectively. Moreover, we consider the limit as the parameter of the third order time derivative that plays the role of a relaxation time tends to zero, which again leads to the classical Kuznetsov and Westervelt models. To this end, we establish appropriate energy estimates for the linearized equations and employ fixed-point arguments for well-posedness of the nonlinear equations. The theoretical results are illustrated by numerical experiments.


title: The pseudo-differential calculus in a Bargmann setting

abstract: We give a fundament for Berezin's analytic $\Psi$do considered in \cite{Berezin71} in terms of Bargmann images of Pilipovi{\'c} spaces. We deduce basic continuity results for such $\Psi$do, especially when the operator kernels are in suitable mixed weighted Lebesgue spaces and act on certain weighted Lebesgue spaces of entire functions. In particular, we show how these results imply well-known continuity results for real $\Psi$do with symbols in modulation spaces, when acting on other modulation spaces.


title: Olivine-dominated A-type asteroids in the Main Belt: Distribution, Abundance and Relation to Families

abstract: Differentiated asteroids are rare in the main asteroid belt despite evidence for ~100 distinct differentiated bodies in the meteorite record. We have sought to understand why so few main-belt asteroids differentiated and where those differentiated bodies or fragments reside. Using the Sloan Digital Sky Survey (SDSS) to search for a needle in a haystack we identify spectral A-type asteroid candidates, olivine-dominated asteroids that may represent mantle material of differentiated bodies. We have performed a near-infrared spectral survey with SpeX on the NASA IRTF and FIRE on the Magellan Telescope. We report results from having doubled the number of known A-type asteroids. We deduce a new estimate for the overall abundance and distribution of this class of olivine-dominated asteroids. We find A-type asteroids account for less than 0.16% of all main-belt objects larger than 2 km and estimate there are a total of ~600 A-type asteroids above that size. They are found rather evenly distributed throughout the main belt, are even detected at the distance of the Cybele region, and have no statistically significant concentration in any asteroid family. We conclude the most likely implication is the few fragments of olivine-dominated material in the main belt did not form locally, but instead were implanted as collisional fragments of bodies that formed elsewhere.


title: A Cancellation Nanoflare Model for Solar Chromospheric and Coronal Heating II. 2D Theory and Simulations

abstract: Recent observations at high spatial resolution have shown that magnetic flux cancellation occurs on the solar surface much more frequently than previously thought, and so this led Priest et al 2018 to propose magnetic reconnection driven by photospheric flux cancellation as a mechanism for chromospheric and coronal heating. In particular, they estimated analytically the amount of energy released as heat and the height of the energy release during flux cancellation. In the present work, we take the next step in the theory by setting up a two-dimensional resistive MHD simulation of two canceling polarities in the presence of a horizontal external field and a stratified atmosphere in order to check and improve upon the analytical estimates. Computational evaluation of the energy release during reconnection is found to be in good qualitative agreement with the analytical estimates. In addition, we go further and undertake an initial study of the atmospheric response to reconnection. We find that, during the cancellation, either hot ejections or cool ones or a combination of both hot and cool ejections can be formed, depending on the height of the reconnection location. The hot structures can have the density and temperature of coronal loops, while the cooler structures are suggestive of surges and large spicules.


title: Convergence analysis of a Petrov-Galerkin method for fractional wave problems with nonsmooth data

abstract: This paper analyzes the convergence of a Petrov-Galerkin method for time fractional wave problems with nonsmooth data. Well-posedness and regularity of the weak solution to the time fractional wave problem are firstly established. Then an optimal convergence analysis with nonsmooth data is derived. Moreover, several numerical experiments are presented to validate the theoretical results.


title: Some adaptive proximal method for a special class of variational inequalities and related problems

abstract: An adaptive proximal method for a special class of variational inequalities and related problems is proposed. For example, the so-called mixed variational inequalities and composite saddle problems are considered. Some estimates of the necessary number of iterations are obtained to achieve a given quality of the solution.


title: The spreading of computer viruses on time-varying networks

abstract: Social networks are the prime channel for the spreading of computer viruses. Yet the study of their propagation neglects the temporal nature of social interactions and the heterogeneity of users' susceptibility. Here, we introduce a theoretical framework that captures both properties. We study two realistic types of viruses propagating on temporal networks featuring Q categories of susceptibility and derive analytically the invasion threshold. We found that the temporal coupling of categories might increase the fragility of the system to cyber threats. Our results show that networks' dynamics and their interplay with users features are crucial for the spreading of computer viruses.


title: Overview of Blakley's Secret Sharing Scheme

abstract: In this report, I explained the problem of Secret Sharing Scheme. Then based on the definition of the problem, two old methods: Blakley's Secret Sharing Scheme and Shamir's Secret Sharing are introduced. However, we explained the details of the first one since it's the topic of this work. Blakley's method has an application in distributing a key between different parties and reconstructing the key based on each share. However, this method is not efficient enough because of too large space states. Also, we tried to simulate a scenario for spreading a key between some users and tried to reconstruct the first key using Matlab in a graphical user interface.


title: On the inductive blockwise Alperin weight condition for classical groups

abstract: Recently, there has been substantial progress on the Alperin weight conjecture. As a step to establish the Alperin weight conjecture for all finite groups, we prove the inductive blockwise Alperin weight condition for simple groups of classical type under some additional assumption.


title: Cognitive UAV Communication via Joint Maneuver and Power Control

abstract: This paper investigates a new scenario of spectrum sharing between unmanned aerial vehicle (UAV) and terrestrial wireless communication, in which a cognitive/secondary UAV transmitter communicates with a ground secondary receiver (SR), in the presence of a number of primary terrestrial communication links that operate over the same frequency band. We exploit the UAV's mobility in three-dimensional (3D) space to improve its cognitive communication performance while controlling the co-channel interference at the primary receivers (PRs), such that the received interference power at each PR is below a prescribed threshold termed as interference temperature (IT). First, we consider the quasi-stationary UAV scenario, where the UAV is placed at a static location during each communication period of interest. In this case, we jointly optimize the UAV's 3D placement and power control to maximize the SR's achievable rate, subject to the UAV's altitude and transmit power constraints, as well as a set of IT constraints at the PRs to protect their communications. Next, we consider the mobile UAV scenario, in which the UAV is dispatched to fly from an initial location to a final location within a given task period. We propose an efficient algorithm to maximize the SR's average achievable rate over this period by jointly optimizing the UAV's 3D trajectory and power control, subject to the additional constraints on UAV's maximum flying speed and initial/final locations. Finally, numerical results are provided to evaluate the performance of the proposed designs for different scenarios, as compared to various benchmark schemes. It is shown that in the quasi-stationary scenario the UAV should be placed at its minimum altitude while in the mobile scenario the UAV should adjust its altitude along with horizontal trajectory, so as to maximize the SR's achievable rate in both scenarios.


title: Ge Detectors and $0\nu\beta\beta$: The Search for Double Beta Decay with Germanium Detectors: Past, Present and Future

abstract: High Purity Germanium Detectors have excellent energy resolution; the best among the technologies used in double beta decay. Since neutrino-less double beta decay hinges on the search for a rare peak upon a background continuum, this strength has enabled the technology to consistently provide leading results. The Ge crystals at the heart of these experiments are very pure; they have no measurable U or Th contamination. The added efforts to reduce the background associated with electronics, cryogenic cooling, and shielding have been very successful, leading to the longevity of productivity. The first experiment published in 1967 by the Milan group of Fiorini, established the benchmark half-life limit $>3\times10^{20}$ yr. More recently, the \MJ\ and GERDA collaborations have developed new detector technologies that optimize the pulse waveform analysis. As a result, the GERDA collaboration refuted the claim of observation with a revolutionary approach to shielding by immersing the detectors directly in radio-pure liquid argon. In 2018, the \MJ\ collaboration, using a classic vacuum cryostat and high-Z shielding, achieved a background level near that of GERDA by developing very pure materials for use nearby the detectors. Together, GERDA and \MJ\ have provided limits approaching $10^{26}$ yr. In this article, we elaborate on the historical use of Ge detectors for double beta decay addressing the strengths and weaknesses. We also summarize the status and future as many \MJ\ and GERDA collaborators have joined with scientists from other efforts to give birth to the LEGEND collaboration. LEGEND will exploit the best features of both experiments to extend the half-life limit beyond $10^{28}$ yr with a ton-scale experiment.