title: FOAL: Fast Online Adaptive Learning for Cardiac Motion Estimation

abstract: Motion estimation of cardiac MRI videos is crucial for the evaluation of human heart anatomy and function. Recent researches show promising results with deep learning-based methods. In clinical deployment, however, they suffer dramatic performance drops due to mismatched distributions between training and testing datasets, commonly encountered in the clinical environment. On the other hand, it is arguably impossible to collect all representative datasets and to train a universal tracker before deployment. In this context, we proposed a novel fast online adaptive learning (FOAL) framework: an online gradient descent based optimizer that is optimized by a meta-learner. The meta-learner enables the online optimizer to perform a fast and robust adaptation. We evaluated our method through extensive experiments on two public clinical datasets. The results showed the superior performance of FOAL in accuracy compared to the offline-trained tracking method. On average, the FOAL took only $0.4$ second per video for online optimization.


title: Sharp Composition Bounds for Gaussian Differential Privacy via Edgeworth Expansion

abstract: Datasets containing sensitive information are often sequentially analyzed by many algorithms. This raises a fundamental question in differential privacy regarding how the overall privacy bound degrades under composition. To address this question, we introduce a family of analytical and sharp privacy bounds under composition using the Edgeworth expansion in the framework of the recently proposed f-differential privacy. In contrast to the existing composition theorems using the central limit theorem, our new privacy bounds under composition gain improved tightness by leveraging the refined approximation accuracy of the Edgeworth expansion. Our approach is easy to implement and computationally efficient for any number of compositions. The superiority of these new bounds is confirmed by an asymptotic error analysis and an application to quantifying the overall privacy guarantees of noisy stochastic gradient descent used in training private deep neural networks.


title: A Novel Alternative Optimization Method for Joint Power and Trajectory Design in UAV-Enabled Wireless Network

abstract: This letter aims to maximize the average throughput via the joint design of the transmit power and trajectory for unmanned aerial vehicle (UAV)-enabled network. The conventional way to tackle this problem is based on the alternating optimization (AO) method by iteratively updating power and trajectory until convergence, resulting in a non-convex trajectory subproblem which is difficult to deal with. To develop more efficient methods, we propose a novel AO method by incorporating both power and trajectory into an intermediate variable, and then iteratively updating power and the newly introduced variable. This novel variable transformation makes it easier to decompose the original problem into two convex subproblems, namely a throughput maximization subproblem and a feasibility subproblem. Consequently, both of these subproblems can be solved in a globally optimal fashion. We further propose a low-complexity algorithm for the feasibility subproblem by exploiting the alternating directional method of multipliers (ADMM), whose updating step is performed in closed-form solutions. Simulation results demonstrate that our proposed method reduces the computation time by orders of magnitude, while achieving higher performance than the conventional methods.


title: Comments on "A New ML Based Interference Cancellation Technique for Layered Space-Time Codes"

abstract: In this comment, we justify that the computational complexity proposed in the paper "A New ML Based Interference Cancellation Technique for Layered Space-Time Codes" (IEEE Trans. on Communications, vol. 57, no. 4, pp. 930-936, 2009) is O(N^3) rather than the claimed O(N^2), where N is the number of receive antennas.


title: A Fast Recursive Algorithm for G-STBC

abstract: This paper proposes a fast recursive algorithm for Group-wise Space-Time Block Code (G-STBC), which takes full advantage of the Alamouti structure in the equivalent channel matrix to reduce the computational complexity. With respect to the existing efficient algorithms for G-STBC, the proposed algorithm achieves better performance and usually requires less computational complexity.


title: Online Tensor-Based Learning for Multi-Way Data

abstract: The online analysis of multi-way data stored in a tensor $\mathcal{X} \in \mathbb{R} ^{I_1 \times \dots \times I_N} $ has become an essential tool for capturing the underlying structures and extracting the sensitive features which can be used to learn a predictive model. However, data distributions often evolve with time and a current predictive model may not be sufficiently representative in the future. Therefore, incrementally updating the tensor-based features and model coefficients are required in such situations. A new efficient tensor-based feature extraction, named NeSGD, is proposed for online $CANDECOMP/PARAFAC$ (CP) decomposition. According to the new features obtained from the resultant matrices of NeSGD, a new criteria is triggered for the updated process of the online predictive model. Experimental evaluation in the field of structural health monitoring using laboratory-based and real-life structural datasets show that our methods provide more accurate results compared with existing online tensor analysis and model learning. The results showed that the proposed methods significantly improved the classification error rates, were able to assimilate the changes in the positive data distribution over time, and maintained a high predictive accuracy in all case studies.


title: Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers

abstract: Cloud providers are concerned that Rowhammer poses a potentially critical threat to their servers, yet today they lack a systematic way to test whether the DRAM used in their servers is vulnerable to Rowhammer attacks. This paper presents an end-to-end methodology to determine if cloud servers are susceptible to these attacks. With our methodology, a cloud provider can construct worst-case testing conditions for DRAM. We apply our methodology to three classes of servers from a major cloud provider. Our findings show that none of the CPU instruction sequences used in prior work to mount Rowhammer attacks create worst-case DRAM testing conditions. To address this limitation, we develop an instruction sequence that leverages microarchitectural side-effects to ``hammer'' DRAM at a near-optimal rate on modern Intel Skylake and Cascade Lake platforms. We also design a DDR4 fault injector that can reverse engineer row adjacency for any DDR4 DIMM. When applied to our cloud provider's DIMMs, we find that DRAM rows do not always follow a linear map.


title: Double Andreev reflections and double normal reflections in nodal-line semimetal-superconductor junctions

abstract: We study systematically the scattering processes and the conductance spectra in nodal-line semimetalsuperconductor junctions using the extended Blonder-Tinkham-Klapwijk theory. The coexistence of peculiar quadruple reflections are found, which are the specular normal reflection, the retro-normal reflection, the specular Andreev reflection and the retro-Andreev reflection. The incident angle dependence and the quasiparticle energy dependence of the double normal reflections and the double Andreev reflections are investigated under various values of parameters such as the interfacial barrier height, the chemical potentials, and the orbital coupling strength. It is found that the appearance and the disappearance of the reflections and their magnitudes can be controlled through tuning these parameters. The scattering mechanism for the reflections are analyzed in details from the viewpoint of the band structure. We also investigate the conductance spectra for the junctions, which show distinctive features and strong anisotropy about the orientation relationships of the nodal line and interface. The unique scattering processes and conductance spectra found in the junctions are helpful in designing superconducting electronic devices and searching for the nodal line in materials experimentally.


title: Practical verification protocols for analog quantum simulators

abstract: Analog quantum simulation is expected to be a significant application of near-term quantum devices. Verification of these devices without comparison to known simulation results will be an important task as the system size grows beyond the regime that can be simulated classically. We introduce a set of experimentally-motivated verification protocols for analog quantum simulators, discussing their sensitivity to a variety of error sources and their scalability to larger system sizes. We demonstrate these protocols experimentally using a two-qubit trapped-ion analog quantum simulator and numerically using models of up to five qubits.


title: Experimental observations indicating the topological nature of the edge states on HfTe5

abstract: The topological edge states of two-dimensional topological insulators with large energy gap furnish ideal conduction channels for dissipationless current transport. Transition metal tellurides XTe5 (X=Zr, Hf) are theoretically predicted to be large-gap two-dimensional topological insulators and the experimental observations of their bulk insulating gap and in-gap edge states have been reported, but the topological nature of these edge states still remains to be further elucidated. Here, we report our low temperature scanning tunneling microscopy/spectroscopy study on single crystals of HfTe5. We demonstrate a full energy gap of ~80 meV near the Fermi level on the surface monolayer of HfTe5 and that such insulating energy gap gets filled with finite energy states when measured at the monolayer step edges. Remarkably, such states are absent at the edges of a narrow monolayer strip of one-unit-cell in width but persist at both step edges of a unit-cell wide monolayer groove. These experimental observations strongly indicate that the edge states of HfTe5 monolayers are not trivially caused by translational symmetry breaking, instead they are topological in nature protected by the 2D nontrivial bulk properties.


title: Transition from ordered pinched to warped magnetic field on a 100 au scale in the Class 0 protostar B335

abstract: We present our observational results of the 0.87 mm polarized dust emission in the Class 0 protostar B335 obtained with the Atacama Large Millimeter/submillimeter Array (ALMA) at a 0.2" (20 au) resolution. We compared our data at 0.87 mm with those at 1.3 mm from the ALMA archive. The observed polarization orientations at the two wavelengths are consistent within the uncertainty, and the polarization percentages are systematically higher at 1.3 mm than 0.87 mm by a factor of ~1.7, suggesting that the polarized emission originates from magnetically aligned dust grains. We inferred the magnetic field orientations from the observed polarization orientations. We found that the magnetic field changes from ordered and highly pinched to more complicated and asymmetric structures within the inner 100 au scale of B335, and the magnetic field connects to the center along the equatorial plane as well as along the directions which are ~40-60 degrees from the equatorial plane. We performed non-ideal MHD simulations of collapsing dense cores. We found that similar magnetic field structures appear in our simulations of dense cores with the magnetic field and rotational axis slightly misaligned by 15 degrees but not in those with the aligned magnetic field and rotational axis. Our results suggest that the midplane of the inner envelope within the inner 100 au scale of B335 could be warped because of the misaligned magnetic field and rotational axis, and the magnetic field could be dragged by the warped accretion flows.


title: One-loop effective action: nonlocal form factors and renormalization group

abstract: We review and present full detail of the Feynman diagram - based and heat-kernel method - based calculations of the simplest nonlocal form factors in the one-loop contributions of a massive scalar field. The paper has a pedagogical and introductory purposes and is intended to help the reader in better understanding the existing literature on the subject. The functional calculations are based on the solution by Avramidi and Barvinsky \& Vilkovisky for the heat kernel and are performed in curved spacetime. One of the important points is that the main structure of non-localities is the same as in the flat background.


title: Probability of simultaneous parallax detection for free-floating planet microlensing events near Galactic Centre

abstract: The event rate and the efficiency of mass estimation for free-floating planet (FFP) microlensing events were determined from the simulation of the simultaneous parallax observations by Euclid, WFIRST, and LSST. The stellar population from the Besan\c{c}on Galactic model toward $(l, b)=(1^{\circ},-1.^{\circ}75)$ was applied to our 3D microlensing model, and 30,000 parallax observations were simulated for each following FFP lens masses: Jupiter-mass, Neptune-mass, and Earth-mass assuming the population of one FFP per star. The interstellar dust, unresolved stellar background, nearby star blending were modelled. A signal-to-noise limit considering a finite source effect determined the event detectability. The Euclid-WFIRST combination yielded 30.7 Jupiter-mass FFPs during two 30-day-periods per year in parallax observation. The parallax event rate decreases to 3.9 FFPs for Earth-mass planets. The mass estimation from the parallax light curve allowed recovery of FFP masses to within a factor of two for 20-26% of cases. The Euclid-LSST combination yielded 34.5 Jupiter-mass FFPs down to 0.5 Earth-mass FFPs for the same periods and the mass is recovered to within a factor of two in 20-40% of cases. The event rate will be normalised by the unknown FFP abundance to recover the number of expected detections.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Fluctuating temperature and baryon chemical potential in heavy-ion collisions and the position of the critical end point in the effective QCD phase diagram

abstract: We use the linear sigma model with quarks to locate the critical end point in the effective QCD phase diagram accounting for fluctuations in temperature and quark chemical potential. For this purpose, we use the non-equilibrium formalism provided by the superstatistics framework. We compute the effective potential in the high- and low-temperature approximations up to sixth order and include the contribution of ring diagrams to account for plasma screening effects. We fix the model parameters from relations between the thermal sigma and pion masses imposing a first order phase transition at zero temperature and a finite critical value for the baryon chemical potential that we take of order of the nucleon mass. We find that the CEP displacement due to fluctuations in temperature and/or quark chemical potential is almost negligible.


title: Light-quark flavours in a triangle

abstract: All of the light flavors seem to work well for bulk strong matter at pressure free, which could be manifested diversely in the form of compact star and strange nugget. Observational tests are discussed.


title: Customer-server population dynamics in heavy traffic

abstract: We study a many-server queueing model with server vacations, where the population size dynamics of servers and customers are coupled: a server may leave for vacation only when no customers await, and the capacity available to customers is directly affected by the number of servers on vacation. We focus on scaling regimes in which server dynamics and queue dynamics fluctuate at matching time scales, so that their limiting dynamics are coupled. Specifically, we argue that interesting coupled dynamics occur in (a) the Halfin-Whitt regime, (b) the nondegenerate slowdown regime, and (c) the intermediate, near Halfin-Whitt regime; whereas the dynamics asymptotically decouple in the other heavy traffic regimes. We characterize the limiting dynamics, which are different for each scaling regime. We consider relevant respective performance measures for regimes (a) and (b) --- namely, the probability of wait and the slowdown. While closed form formulas for these performance measures have been derived for models that do not accommodate server vacations, it is difficult to obtain closed form formulas for these performance measures in the setting with server vacations. Instead, we propose formulas that approximate these performance measures, and depend on the steady-state mean number of available servers and previously derived formulas for models without server vacations. We test the accuracy of these formulas numerically.


title: Unsupervised Graph Embedding via Adaptive Graph Learning

abstract: Graph autoencoders (GAEs) are powerful tools in representation learning for graph embedding. However, the performance of GAEs is very dependent on the quality of the graph structure, i.e., of the adjacency matrix. In other words, GAEs would perform poorly when the adjacency matrix is incomplete or be disturbed. In this paper, two novel unsupervised graph embedding methods, unsupervised graph embedding via adaptive graph learning (BAGE) and unsupervised graph embedding via variational adaptive graph learning (VBAGE) are proposed. The proposed methods expand the application range of GAEs on graph embedding, i.e, on the general datasets without graph structure. Meanwhile, the adaptive learning mechanism can initialize the adjacency matrix without be affected by the parameter. Besides that, the latent representations are embedded in the laplacian graph structure to preserve the topology structure of the graph in the vector space. Moreover, the adjacency matrix can be self-learned for better embedding performance when the original graph structure is incomplete. With adaptive learning, the proposed method is much more robust to the graph structure. Experimental studies on several datasets validate our design and demonstrate that our methods outperform baselines by a wide margin in node clustering, node classification, and graph visualization tasks.


title: Closure Properties for Private Classification and Online Prediction

abstract: Let~$\cH$ be a class of boolean functions and consider a {\it composed class} $\cH'$ that is derived from~$\cH$ using some arbitrary aggregation rule (for example, $\cH'$ may be the class of all 3-wise majority-votes of functions in $\cH$). We upper bound the Littlestone dimension of~$\cH'$ in terms of that of~$\cH$. As a corollary, we derive closure properties for online learning and private PAC learning. The derived bounds on the Littlestone dimension exhibit an undesirable exponential dependence. For private learning, we prove close to optimal bounds that circumvents this suboptimal dependency. The improved bounds on the sample complexity of private learning are derived algorithmically via transforming a private learner for the original class $\cH$ to a private learner for the composed class~$\cH'$. Using the same ideas we show that any ({\em proper or improper}) private algorithm that learns a class of functions $\cH$ in the realizable case (i.e., when the examples are labeled by some function in the class) can be transformed to a private algorithm that learns the class $\cH$ in the agnostic case.


title: HEAAN Demystified: Accelerating Fully Homomorphic Encryption Through Architecture-centric Analysis and Optimization

abstract: Homomorphic Encryption (HE) draws a significant attention as a privacy-preserving way for cloud computing because it allows computation on encrypted messages called ciphertexts. Among numerous HE schemes proposed, HE for Arithmetic of Approximate Numbers (HEAAN) is rapidly gaining popularity across a wide range of applications because it supports messages that can tolerate approximate computation with no limit on the number of arithmetic operations applicable to the corresponding ciphertexts. A critical shortcoming of HE is the high computation complexity of ciphertext arithmetic; especially, HE multiplication (HE Mul) is more than 10,000 times slower than the corresponding multiplication between unencrypted messages. This leads to a large body of HE acceleration studies, including ones exploiting FPGAs; however, those did not conduct a rigorous analysis of computational complexity and data access patterns of HE Mul. Moreover, the proposals mostly focused on designs with small parameter sizes, making it difficult to accurately estimate their performance in conducting a series of complex arithmetic operations. In this paper, we first describe how HE Mul of HEAAN is performed in a manner friendly to computer architects. Then we conduct a disciplined analysis on its computational and memory access characteristics, through which we (1) extract parallelism in the key functions composing HE Mul and (2) demonstrate how to effectively map the parallelism to the popular parallel processing platforms, multicore CPUs and GPUs, by applying a series of optimization techniques such as transposing matrices and pinning data to threads. This leads to the performance improvement of HE Mul on a CPU and a GPU by 42.9x and 134.1x, respectively, over the single-thread reference HEAAN running on a CPU. The conducted analysis and optimization would set a new foundation for future HE acceleration research.


title: Mobility and Safety Benefits of Connectivity in CACC Vehicle Strings

abstract: In this paper, we re-examine the notion of string stability as it relates to safety by providing an upper bound on the maximum spacing error of any vehicle in a homogeneous platoon in terms of the input of the leading vehicle. We reinforce our previous work on lossy CACC platoons by accommodating for burst-noise behavior in the V2V link. Further, through Monte Carlo type simulations, we demonstrate that connectivity can enhance traffic mobility and safety in a CACC string even when the deceleration capabilities of the vehicles in the platoon are heterogeneous.


title: Statistical stability for diffeomorphisms with mostly expanding and mostly contracting centers

abstract: For partially hyperbolic diffeomorphisms with mostly expanding and mostly contracting centers, we establish a topological structure, called skeleton{a set consisting of finitely many hyperbolic periodic points with maximal cardinality for which there exist no heteroclinic intersections. We build the one-to-one corresponding between periodic points in any skeleton and physical measures. By making perturbations on skeletons, we study the continuity of physical measures with respect to dynamics under $C^1$-topology.


title: Source properties of the lowest signal-to-noise-ratio binary black hole detections

abstract: We perform a detailed parameter estimation study of binary black hole merger events reported in Zackay et al. and Venumadhav et al.. These are some of the faintest signals reported so far, and hence, relative to the loud events in the GWTC-1 catalog, the data should have lesser constraining power on their intrinsic parameters. Hence we examine the robustness of parameter inference to choices made in the analysis, as well as any potential systematics. We check the impact of different methods of estimating the noise power spectral density, different waveform models, and different priors for the compact object spins. For most of the events, the resulting differences in the inferred values of the parameters are much smaller than their statistical uncertainties. The estimation of the effective spin parameter $\chi_{\mathrm{eff}}$, i.e. the projection of the mass-weighted total spin along the angular momentum, can be sensitive to analysis choices for two of the sources with the largest effective spin magnitudes, GW151216 and GW170403. The primary differences arise from using a 3D isotropic spin prior: the tails of the posterior distributions should be interpreted with care and due consideration of the other data analysis choices.


title: Diversity inducing Information Bottleneck in Model Ensembles

abstract: Although deep learning models have achieved state-of-the-art performance on a number of vision tasks, generalization over high dimensional multi-modal data, and reliable predictive uncertainty estimation are still active areas of research. Bayesian approaches including Bayesian Neural Nets (BNNs) do not scale well to modern computer vision tasks, as they are difficult to train, and have poor generalization under dataset-shift. This motivates the need for effective ensembles which can generalize and give reliable uncertainty estimates. In this paper, we target the problem of generating effective ensembles of neural networks by encouraging diversity in prediction. We explicitly optimize a diversity inducing adversarial loss for learning the stochastic latent variables and thereby obtain diversity in the output predictions necessary for modeling multi-modal data. We evaluate our method on benchmark datasets: MNIST, CIFAR100, TinyImageNet and MIT Places 2, and compared to the most competitive baselines show significant improvements in classification accuracy, under a shift in the data distribution and in out-of-distribution detection. Code will be released in this url https://github.com/rvl-lab-utoronto/dibs


title: Structural Relaxation Time and Dynamic Shear Modulus of Glassy Graphene

abstract: We theoretically investigate glass transition behaviors of the glassy graphene in a wide range of temperature, where this amorphous graphene is described as a hard-sphere fluid. The dynamic arrest of a particle is assumingly caused by interactions with its nearest neighbors and surrounding fluid particles. The assumption allows us to analyze roles of local and collective particle mobility. We calculate the temperature dependence of structural relaxation time and dynamic shear modulus, the dynamic fragility, and the glass transition temperature. In addition, correlations between these physical quantities are comprehensively discussed. Our theoretical calculations agree quantitatively well with recent simulations and Dyre's shoving model.


title: Quantum Many-Body Scar States in Two-Dimensional Rydberg Atom Arrays

abstract: We find exponentially many exact quantum many-body scar states in a two-dimensional PXP model -- an effective model for a two-dimensional Rydberg atom array in the nearest-neighbor blockade regime. Such scar states are remarkably simple valence bond solids despite being at effectively infinite temperature, and thus strongly violate the eigenstate thermalization hypothesis. Given a particular boundary condition, such eigenstates have integer-valued energies. Moreover, certain charge-density-wave initial states give rise to strong oscillations in the Rydberg excitation density after a quantum quench and tower-like structures in their overlaps with eigenstates.


title: Second-order Charge Currents and Stress Tensor in Chiral System

abstract: We solve the Wigner equation for massless spin-1/2 charged fermions near global equilibrium. The Wigner function can be obtained order by order in the power expansion of the vorticity and electromagnetic field. The Wigner function has been derived up to the second order from which the non-dissipative charge currents and the stress tensor can be obtained. The charge and energy densities and the pressure have contributions from the vorticity and electromagnetic field at the second order. The vector and axial Hall currents can be induced along the direction orthogonal to the vorticity and electromagnetic field at the second order. We also find that the trace anomaly emerges natually in renormalizing the stress tensor by including the quantum correction from the electromagnetic field.


title: Exploring Unknown States with Action Balance

abstract: Exploration is a key problem in reinforcement learning. Recently bonus-based methods have achieved considerable successes in environments where exploration is difficult such as Montezuma's Revenge, which assign additional bonuses (e.g., intrinsic rewards) to guide the agent to rarely visited states. Since the bonus is calculated according to the novelty of the next state after performing an action, we call such methods as the next-state bonus methods. However, the next-state bonus methods force the agent to pay overmuch attention in exploring known states and ignore finding unknown states since the exploration is driven by the next state already visited, which may slow the pace of finding reward in some environments. In this paper, we focus on improving the effectiveness of finding unknown states and propose action balance exploration, which balances the frequency of selecting each action at a given state and can be treated as an extension of upper confidence bound (UCB) to deep reinforcement learning. Moreover, we propose action balance RND that combines the next-state bonus methods (e.g., random network distillation exploration, RND) and our action balance exploration to take advantage of both sides. The experiments on the grid world and Atari games demonstrate action balance exploration has a better capability in finding unknown states and can improve the performance of RND in some hard exploration environments respectively.


title: Approaching Three-Dimensional Quantum Hall effect in Bulk HfTe5

abstract: The discovery of quantum Hall effect in two-dimensional (2D) electronic systems inspired the topological classifications of electronic systems1,2. By stacking 2D quantum Hall effects with interlayer coupling much weaker than the Landau level spacing, quasi-2D quantum Hall effects have been experimentally observed3~7, due to the similar physical origin of the 2D counterpart. Recently, in a real 3D electronic gas system where the interlayer coupling is much stronger than the Landau level spacing, 3D quantum Hall effect has been observed in ZrTe58. In this Letter, we report the electronic transport features of its sister bulk material, i.e., HfTe5, under external magnetic field. We observe a series of plateaus in Hall resistance \r{ho}xy as magnetic field increases until it reaches the quantum limit at 1~2 Tesla. At the plateau regions, the longitudinal resistance \r{ho}xx exhibits local minima. Although \r{ho}xx is still nonzero, its value becomes much smaller than \r{ho}xy at the last few plateaus. By mapping the Fermi surface via measuring the Shubonikov-de Haas oscillation, we find that the strength of Hall plateau is proportional to the Fermi wavelength, suggesting that its formation may be attributed to the gap opening from the interaction driven Fermi surface instability. By comparing the bulk band structures of ZrTe5 and HfTe5, we find that there exists an extra pocket near the Fermi level of HfTe5, which may lead to the finite but nonzero longitudinal conductance.


title: Extensions of some matrix inequalities related to trace and partial traces

abstract: We first present a determinant inequality related to partial traces for positive semidefinite block matrices. Our result extends a result of Lin [Czech. Math. J. 66 (2016)] and improves a result of Kuai [Linear Multilinear Algebra 66 (2018)]. Moreover, we provide a unified treatment of a result of Ando [ILAS Conference (2014)] and a recent result of Li, Liu and Huang [Operators and Matrices 15 (2021)]. Furthermore, we also extend some determinant inequalities involving partial traces to a larger class of matrices whose numerical ranges are contained in a sector. In addition, some extensions on trace inequalities for positive semidefinite $2\times 2$ block matrices are also included.


title: Learning to be Global Optimizer

abstract: The advancement of artificial intelligence has cast a new light on the development of optimization algorithm. This paper proposes to learn a two-phase (including a minimization phase and an escaping phase) global optimization algorithm for smooth non-convex functions. For the minimization phase, a model-driven deep learning method is developed to learn the update rule of descent direction, which is formalized as a nonlinear combination of historical information, for convex functions. We prove that the resultant algorithm with the proposed adaptive direction guarantees convergence for convex functions. Empirical study shows that the learned algorithm significantly outperforms some well-known classical optimization algorithms, such as gradient descent, conjugate descent and BFGS, and performs well on ill-posed functions. The escaping phase from local optimum is modeled as a Markov decision process with a fixed escaping policy. We further propose to learn an optimal escaping policy by reinforcement learning. The effectiveness of the escaping policies is verified by optimizing synthesized functions and training a deep neural network for CIFAR image classification. The learned two-phase global optimization algorithm demonstrates a promising global search capability on some benchmark functions and machine learning tasks.


title: An Oppenheim type determinantal inequality for the Khatri-Rao product

abstract: We first give an Oppenheim type determinantal inequality for the Khatri-Rao product of two block positive semidefinite matrices, and then we extend our result to multiple block matrices. As products, the extensions of Oppenheim type inequalities for the Hadamard product are also included.


title: Elder-Rule-Staircodes for Augmented Metric Spaces

abstract: An augmented metric space is a metric space $(X, d_X)$ equipped with a function $f_X: X \to \mathbb{R}$. This type of data arises commonly in practice, e.g, a point cloud $X$ in $\mathbb{R}^d$ where each point $x\in X$ has a density function value $f_X(x)$ associated to it. An augmented metric space $(X, d_X, f_X)$ naturally gives rise to a 2-parameter filtration $\mathcal{K}$. However, the resulting 2-parameter persistent homology $\mathrm{H}_{\bullet}(\mathcal{K})$ could still be of wild representation type, and may not have simple indecomposables. In this paper, motivated by the elder-rule for the zeroth homology of 1-parameter filtration, we propose a barcode-like summary, called the elder-rule-staircode, as a way to encode $\mathrm{H}_0(\mathcal{K})$. Specifically, if $n = |X|$, the elder-rule-staircode consists of $n$ number of staircase-like blocks in the plane. We show that if $\mathrm{H}_0(\mathcal{K})$ is interval decomposable, then the barcode of $\mathrm{H}_0(\mathcal{K})$ is equal to the elder-rule-staircode. Furthermore, regardless of the interval decomposability, the fibered barcode, the dimension function (a.k.a. the Hilbert function), and the graded Betti numbers of $\mathrm{H}_0(\mathcal{K})$ can all be efficiently computed once the elder-rule-staircode is given. Finally, we develop and implement an efficient algorithm to compute the elder-rule-staircode in $O(n^2\log n)$ time, which can be improved to $O(n^2\alpha(n))$ if $X$ is from a fixed dimensional Euclidean space $\mathbb{R}^d$, where $\alpha(n)$ is the inverse Ackermann function.


title: Old Drugs for Newly Emerging Viral Disease, COVID-19: Bioinformatic Prospective

abstract: Coronavirus (COVID-19) outbreak in late 2019 and 2020 comprises a serious and more likely a pandemic threat worldwide. Given that the disease has not approved vaccines or drugs up to now, any efforts for drug design and or clinical trails of old drugs based on their mechanism of action are worthy and creditable in such circumstances. Experienced docking experiments using the newly released coordinate structure for COVID-19 protease as a receptor and thoughtfully selected chemicals among antiviral and antibiotics drugs as ligands may be leading in this context. We selected nine drugs from HIV-1 protease inhibitors and twenty-one candidates from anti bronchitis drugs based on their chemical structures and enrolled them in blind and active site-directed dockings in different modes and in native-like conditions of interactions. Our findings suggest the binding capacity and the inhibitory potency of candidates are as follows Tipranavir>Indinavir>Atazanavir>Darunavir>Ritonavir>Amprenavir for HIV-1 protease inhibitors and Cefditoren>Cefixime>Erythromycin>Clarithromycin for anti bronchitis medicines. The drugs bioavailability, their hydrophobicity and the hydrophobic properties of their binding sites and also the rates of their metabolisms and deactivations in the human body are the next determinants for their overall effects on viral infections, the net results that should survey by clinical trials to assess their therapeutic usefulness for coronavirus infections.


title: LHS 1815b: The First Thick-Disk Planet Detected By TESS

abstract: We report the first discovery of a thick-disk planet, LHS 1815b (TOI-704b, TIC 260004324), detected in the TESS survey. LHS 1815b transits a bright (V = 12.19 mag, K = 7.99 mag) and quiet M dwarf located $ 29.87\pm0.02 pc$ away with a mass of $0.502\pm0.015 M_{\odot}$ and a radius of $0.501\pm0.030 R_{\odot}$. We validate the planet by combining space and ground-based photometry, spectroscopy, and imaging. The planet has a radius of $1.088\pm 0.064 R_{\oplus}$ with a $3 \sigma$ mass upper-limit of $8.7 M_{\oplus}$. We analyze the galactic kinematics and orbit of the host star LHS1815 and find that it has a large probability ($P_{thick}/P_{thin} = 6482$) to be in the thick disk with a much higher expected maximal height ($Z_{max} = 1.8 kpc$) above the Galactic plane compared with other TESS planet host stars. Future studies of the interior structure and atmospheric properties of planets in such systems using for example the upcoming James Webb Space Telescope (JWST), can investigate the differences in formation efficiency and evolution for planetary systems between different Galactic components (thick and thin disks, and halo).


title: Wide-bandwidth atomic magnetometry via instantaneous-phase retrieval

abstract: We develop and demonstrate a new protocol that allows sensing of magnetic fields in an extra-ordinary regime for atomic magnetometry. Until now, the demonstrated bandwidth for atomic magnetometry has been constrained to be slower than the natural precession of atomic spins in a magnetic field---the Larmor frequency. We demonstrate a new approach that tracks the instantaneous phase of atomic spins to measure arbitrarily modulated magnetic fields with frequencies up to fifty times higher than the Larmor frequency. By accessing this regime, we demonstrate magnetic-field measurements across four decades in frequency up to 400 kHz, over three orders of magnitude wider than conventional atomic magnetometers. Furthermore, we demonstrate that our protocol can linearly detect transient fields 100--fold higher in amplitude than conventional methods. We highlight the bandwidth and dynamic range of the technique by measuring a magnetic field with a broad and dynamical spectrum.


title: Identifying quantum phase transitions via geometric measures of nonclassicality

abstract: In this article, we provide theoretical support for the use of geometric measures of nonclassicality as a general tool to identify quantum phase transitions. We argue that divergences in the susceptibility of any geometric measure of nonclassicality are sufficient conditions to identify phase transitions at arbitrary temperature. This establishes that geometric measures of nonclassicality, in any quantum resource theory, are generic tools to investigate phase transitions in quantum systems. At zero temperature, we show that geometric measures of quantum coherence are especially useful for identifying first order quantum phase transitions, and can be a particularly robust alternative to other approaches employing measures of quantum correlations.


title: Unknottedness of real Lagrangian tori in $S^2\times S^2$

abstract: We prove the Hamiltonian unknottedness of real Lagrangian tori in the monotone $S^2\times S^2$, namely any real Lagrangian torus in $S^2\times S^2$ is Hamiltonian isotopic to the Clifford torus $\mathbb{T}_{\text{Clif}}$. The proof is based on a neck-stretching argument, Gromov's foliation theorem, and the Cieliebak-Schwingenheuer criterion.


title: Controllability Issues of Linear Ensemble Systems over Multi-dimensional Parameterization Spaces

abstract: We address an open problem in ensemble control: Whether there exist controllable linear ensemble systems over multi-dimensional parameterization spaces? We provide a negative result: Any real-analytic linear ensemble system is not $\mathrm{L}^p$-controllable, for $2\leq p \leq \infty$, if its parameterization space contains an open set in $\mathbb{R}^d$ for $d \geq 2$.


title: Lorentz improving estimates for the $p$-Laplace equations with mixed data

abstract: The aim of this paper is to develop the regularity theory for a weak solution to a class of quasilinear nonhomogeneous elliptic equations, whose prototype is the following mixed Dirichlet $p$-Laplace equation of type \begin{align*} \begin{cases} \mathrm{div}(|\nabla u|^{p-2}\nabla u) &= f+ \ \mathrm{div}(|\mathbf{F}|^{p-2}\mathbf{F}) \qquad \text{in} \ \ \Omega, \\ \hspace{1.2cm} u &=\ g \hspace{3.1cm} \text{on} \ \ \partial \Omega, \end{cases} \end{align*} in Lorentz space, with given data $\mathbf{F} \in L^p(\Omega;\mathbb{R}^n)$, $f \in L^{\frac{p}{p-1}}(\Omega)$, $g \in W^{1,p}(\Omega)$ for $p>1$ and $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) satisfying a Reifenberg flat domain condition or a $p$-capacity uniform thickness condition, which are considered in several recent papers. To better specify our result, the proofs of regularity estimates involve fractional maximal operators and valid for a more general class of quasilinear nonhomogeneous elliptic equations with mixed data. This paper not only deals with the Lorentz estimates for a class of more general problems with mixed data but also improves the good-$\lambda$ approach technique proposed in our preceding works~\cite{MPT2018,PNCCM,PNJDE,PNCRM}, to achieve the global Lorentz regularity estimates for gradient of weak solutions in terms of fractional maximal operators.


title: Treating Interference as Noise is Optimal for Covert Communication over Interference Channels

abstract: We study the covert communication over K-user discrete memoryless interference channels (DM-ICs) with a warden. It is assumed that the warden's channel output distribution induced by K "off" input symbols, which are sent when no communication occurs, is not a convex combination of those induced by any other combination of input symbols (otherwise, the square-root law does not hold). We derive the exact covert capacity region and show that a simple point-to-point based scheme with treating interference as noise is optimal. In addition, we analyze the secret key length required for the reliable and covert communication with the desired rates, and present a channel condition where a secret key between each user pair is unnecessary. The results are extended to the Gaussian case and the case with multiple wardens.


title: On the Stability of Fermionic Non-Isothermal Dark Matter Halos

abstract: The stability of isothermal dark matter halos has been widely studied before. In this paper, we investigate the stability of non-isothermal fermionic dark matter halos. We show that in the presence of temperature gradient, the force due to the pressure has both inward and outward components. In some regions of halos, the inward force that provides stability is due to the pressure rather than gravity. Moreover, it is shown that higher temperature gradients lead to halos with lower mass and size. We prove that if the temperature is left as a free positive profile, one can place no phase-space lower bound on the mass of dark matter. For halos that are in the low degeneracy classic domain, we derive an analytic expression of their temperature in terms of their mass density and place an upper bound on the mass of dark matter by requiring that temperature is not negative. We then use the Burkert mass profile for the Milky Way to show that if the central temperature of the halo is a few Kelvins, the mass of dark matter cannot exceed a few keV.


title: An integrated lithium-niobate electro-optic platform for spectrally tailored dual-comb spectroscopy

abstract: A high-resolution broad-spectral-bandwidth spectrometer on a chip would create new opportunities for gas-phase molecular fingerprinting, especially in environmental sensing. A resolution high enough to observe transitions at atmospheric pressure and the simultaneous sensitive detection of multiple atoms or molecules are the key challenges. Here, an electro-optic microring-based dual-comb interferometer, fabricated on a low-loss lithium-niobate-on-insulator nanophotonic platform, demonstrates significant progress towards such an achievement. Spectra spanning 1.6 THz (53 cm-1) at a resolution of 10 GHz (0.33 cm-1) are obtained in a single measurement without requiring frequency scanning or moving parts. The frequency agility of the system enables spectrally-tailored multiplexed sensing, which allows for interrogation of non-adjacent spectral regions, here separated by 6.6 THz (220 cm-1), without compromising the signal-to-noise ratio.


title: Implementation of Deep Neural Networks to Classify EEG Signals using Gramian Angular Summation Field for Epilepsy Diagnosis

abstract: This paper evaluates the approach of imaging timeseries data such as EEG in the diagnosis of epilepsy through Deep Neural Network (DNN). EEG signal is transformed into an RGB image using Gramian Angular Summation Field (GASF). Many such EEG epochs are transformed into GASF images for the normal and focal EEG signals. Then, some of the widely used Deep Neural Networks for image classification problems are used here to detect the focal GASF images. Three pre-trained DNN such as the AlexNet, VGG16, and VGG19 are validated for epilepsy detection based on the transfer learning approach. Furthermore, the textural features are extracted from GASF images, and prominent features are selected for a multilayer Artificial Neural Network (ANN) classifier. Lastly, a Custom Convolutional Neural Network (CNN) with three CNN layers, Batch Normalization, Max-pooling layer, and Dense layers, is proposed for epilepsy diagnosis from GASF images. The results of this paper show that the Custom CNN model was able to discriminate against the focal and normal GASF images with an average peak Precision of 0.885, Recall of 0.92, and F1-score of 0.90. Moreover, the Area Under the Curve (AUC) value of the Receiver Operating Characteristic (ROC) curve is 0.92 for the Custom CNN model. This paper suggests that Deep Learning methods widely used in image classification problems can be an alternative approach for epilepsy detection from EEG signals through GASF images.


title: The extension problem in free harmonic analysis

abstract: This paper studies certain aspects of harmonic analysis on nonabelian free groups. We focus on the concept of a positive definite function on the free group and our primary goal is to understand how such functions can be extended from balls of finite radius to the entire group. Previous work showed that such extensions always exist and we study the problem of simultaneous extension of multiple positive definite functions. More specifically, we define a concept of 'relative energy' which measures the proximity between a pair of positive definite functions, and show that a pair of positive definite functions on a finite ball can be extended to the entire group without increasing their relative energy. The proof is analytic, involving differentiation of noncommutative Szego parameters.


title: Free Radical Scavenging and Cytotoxic Activities of Substituted Pyrimidines

abstract: A library of substituted pyrimidines was synthesized and evaluated for free radical scavenging, and in vitro cytotoxic activity in 3T3 cells. All compounds showed good free radical scavenging activity with IC50 values in the range of 42.9 + 0.31 to 438.3 3.3 {\mu}M as compared to the standard butylated hydroxytoluene having IC50 value of 128.83 2. 1 {\mu}M. The structure activity-relationship was also established. Selected analogues 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 15, 19, 20, 21, 24, 25, 26 and 28 were tested for cytotoxicity in mouse fibroblast 3T3 cell line using MTT assay, and most of the analogues showed cytotoxicity. This study has identified a number of cytotoxic novel substituted pyrimidines having free radical scavenging activities that can be used as inhibitory compounds for those cancer cells whose growth is mediated by reactive oxygen species.


title: Metastatic melanoma-A review of current and future perspective

abstract: Metastatic Melanoma, the fifth most common cancer in the western countries and the most common malignancy diagnosed in United States present itself as the most lethal treatment resistant cancer worldwide. In addition to the reactive oxygen species(ROS), mutations in the genes encoding receptors and non-receptor tyrosine/serene/threonine protein kinases are known to be involved in its etiology. Kinases are molecular players of cell survival, growth, and proliferation and migration that mediate their effects via various signal transduction pathways. A number of such molecular players have been previously found to be mutated and hyper phosphorylated in melanoma. Although, several systemic therapies including cytotoxic chemotherapy, targeted drugs, hormonal therapy, radiation therapy, bio-chemotherapy, and therapies that inhibit negative regulation of immune system have been approved from U. S. Food and Drug Administration (FDA) for metastatic melanoma treatment. However, no systemic therapy has meaningfully changed its survival end points so far and surgery still presents primary treatment option for advanced and metastatic melanomaa due to its highly resistant nature towards systemic drugs, high rate of severe, life-threatening, or fatal side effects, and un satisfactory overall response rate. Therefore, there is still a need to develop therapies that target the unique molecular profile of melanoma tumors.


title: Emerging classes of antioxidant to cancer therapy: a review of clinical and experimental studies

abstract: This review mainly focuses on the relation between antioxidants with cancer therapy. Antioxidants have been reported to play an essential role to reduce free radical species. Free radicals commonly cause oxidative damage which is a common factor in the aging process, and also the vital factor of formation, and development of major disease specially cancer. Although, since last many decades several antioxidants belong to natural and synthetic origin have been tested in clinical trials against oxidative stress, however these clinical trials end up with undesirable effects. This review also complied with the most recent findings of oxidative stress, highlighting of free racial production, and its related oxidative damage at cellular and molecular level, with the new and existing natural and synthetic classes of free radical scavenger and their related clinical trials.


title: Atomic line defects and zero-energy end states in monolayer Fe(Te,Se) high-temperature superconductors

abstract: Majorana zero-energy bound states (ZEBSs) have been proposed to exist at the ends of one-dimensional Rashba nanowires proximity-coupled to an s-wave superconductor in an external magnetic field induced Zeeman field. Such hybrid structures have been a central platform in the search for non-Abelian Majorana zero modes (MZMs) toward fault-tolerant topological quantum computing. Here we report the discovery of ZEBSs simultaneously appearing at each end of a one-dimensional atomic line defect in monolayer iron-based high-temperature superconductor FeTe0.5Se0.5 films grown on SrTiO3(001) substrates. The spectroscopic properties of the ZEBSs, including the temperature and tunneling barrier dependences, as well as their fusion induced by coupling on line defects of different lengths are found to be robust and consistent with those of the MZMs. These observations suggest a realization of topological Shockley defects at the ends of an atomic line defect in a two-dimensional s-wave superconductor that can host a Kramers pair of MZMs protected by time-reversal symmetry along the chain. Our findings reveal an unprecedented class of topological line defect excitations in two-dimensional superconductor FeTe0.5Se0.5 monolayer films and offer an advantageous platform for generating topological zero-energy excitations at higher operating temperatures, in a single material, and under zero external magnetic field.


title: Hot Electron Dynamics in Ultrafast Multilayer Epsilon-Near-Zero Metamaterial

abstract: Realizing remarkable tunability in optical properties without sacrificing speed is critical to obtain all optical ultrafast devices. In this work, we investigate the ultrafast temporal behavior of optically tunable epsilon-near-zero (ENZ) metamaterials, operating in the visible spectral range. To perform this the ultrafast dynamics of the hot electrons is acquired by femtosecond pump-probe spectroscopy and studied based on two-temperature model (2TM). We show that pumping with femtosecond pulses changes the effective permittivity of the metamaterial more than 400 %. This significant modulation is more pronounced in ENZ region and we confirm this by the 2TM. The realized ultrafast modulation in effective permittivity, along with the ultrashort relaxation time of 3.3 ps, opens a new avenue towards ultrafast photonic applications.


title: PBRnet: Pyramidal Bounding Box Refinement to Improve Object Localization Accuracy

abstract: Many recently developed object detectors focused on coarse-to-fine framework which contains several stages that classify and regress proposals from coarse-grain to fine-grain, and obtains more accurate detection gradually. Multi-resolution models such as Feature Pyramid Network(FPN) integrate information of different levels of resolution and effectively improve the performance. Previous researches also have revealed that localization can be further improved by: 1) using fine-grained information which is more translational variant; 2) refining local areas which is more focused on local boundary information. Based on these principles, we designed a novel boundary refinement architecture to improve localization accuracy by combining coarse-to-fine framework with feature pyramid structure, named as Pyramidal Bounding Box Refinement network(PBRnet), which parameterizes gradually focused boundary areas of objects and leverages lower-level feature maps to extract finer local information when refining the predicted bounding boxes. Extensive experiments are performed on the MS-COCO dataset. The PBRnet brings a significant performance gains by roughly 3 point of $mAP$ when added to FPN or Libra R-CNN. Moreover, by treating Cascade R-CNN as a coarse-to-fine detector and replacing its localization branch by the regressor of PBRnet, it leads an extra performance improvement by 1.5 $mAP$, yielding a total performance boosting by as high as 5 point of $mAP$.


title: On the quantum correlations in two-qubit XYZ spin chains with Dzyaloshinsky-Moriya and Kaplan-Shekhtman-Entin-Wohlman-Aharony interactions

abstract: The anisotropic Heisenberg two-spin-1/2 model in an inhomogeneous magnetic field with both antisymmetric Dzyaloshinsky-Moriya and symmetric Kaplan-Shekhtman-Entin-Wohlman-Aharony cross interactions is considered at thermal equilibrium. Using a group-theoretical approach, we find fifteen spin Hamiltonians and as many corresponding Gibbs density matrices (quantum states) whose eigenvalues are expressed only through square radicals. We also found local unitary transformations that connect nine of this fifteen state collection, and one of them is the X quantum state. Since such quantum correlations as quantum entanglement, quantum discord, one-way quantum work deficit, and others are known for the X state, this allows to get the quantum correlations for any member from the nine state family. Further, we show that the remaining six quantum states are separable, that they are also connected by local unitary transformations, but, however, now the case with known correlations beyond entanglement is generally not available.


title: Mass-zero constrained molecular dynamics for electrode charges in simulations of electrochemical systems

abstract: Classical molecular dynamics simulations have recently become a standard tool for the study of electrochemical systems. State-of-the-art approaches represent the electrodes as perfect conductors, modelling their responses to the charge distribution of electrolytes via the so-called fluctuating charge model. These fluctuating charges are additional degrees of freedom that, in a Born-Oppenheimer spirit, adapt instantaneously to changes in the environment to keep each electrode at a constant potential. Here we show that this model can be treated in the framework of constrained molecular dynamics, leading to a symplectic and time-reversible algorithm for the evolution of all the degrees of freedom of the system. The computational cost and the accuracy of the new method are similar to current alternative implementations of the model. The advantage lies in the accuracy and long term stability guaranteed by the formal properties of the algorithm and in the possibility to systematically introduce additional kinematic conditions of arbitrary number and form. We illustrate the performance of the constrained dynamics approach by enforcing the electroneutrality of the electrodes in a simple capacitor consisting of two graphite electrodes separated by a slab of liquid water.


title: Joint Parameter-and-Bandwidth Allocation for Improving the Efficiency of Partitioned Edge Learning

abstract: To leverage data and computation capabilities of mobile devices, machine learning algorithms are deployed at the network edge for training artificial intelligence (AI) models, resulting in the new paradigm of edge learning. In this paper, we consider the framework of partitioned edge learning for iteratively training a large-scale model using many resource-constrained devices (called workers). To this end, in each iteration, the model is dynamically partitioned into parametric blocks, which are downloaded to worker groups for updating using data subsets. Then, the local updates are uploaded to and cascaded by the server for updating a global model. To reduce resource usage by minimizing the total learning-and-communication latency, this work focuses on the novel joint design of parameter (computation load) allocation and bandwidth allocation (for downloading and uploading). Two design approaches are adopted. First, a practical sequential approach, called partially integrated parameter-and-bandwidth allocation (PABA), yields two schemes, namely bandwidth aware parameter allocation and parameter aware bandwidth allocation. The former minimizes the load for the slowest (in computing) of worker groups, each training a same parametric block. The latter allocates the largest bandwidth to the worker being the latency bottleneck. Second, PABA are jointly optimized. Despite its being a nonconvex problem, an efficient and optimal solution algorithm is derived by intelligently nesting a bisection search and solving a convex problem. Experimental results using real data demonstrate that integrating PABA can substantially improve the performance of partitioned edge learning in terms of latency (by e.g., 46%) and accuracy (by e.g., 4%).


title: Annual Modulation in Direct Dark Matter Searches

abstract: The measurement of an annual modulation in the event rate of direct dark matter detection experiments is a powerful tool for dark matter discovery. Indeed, several experiments have already claimed such a discovery in the past decade. While most of them have later revoked their conclusions, and others have found potentially contradictory results, one still stands today. This paper explains the potential as well as the challenges of annual modulation measurements, and gives an overview of past, present and future direct detection experiments.

categories: astro-ph.CO astro-ph.IM hep-ex physics.ins-det


title: First-Order Methods for Nonconvex Quadratic Minimization

abstract: We consider minimization of indefinite quadratics with either trust-region (norm) constraints or cubic regularization. Despite the nonconvexity of these problems we prove that, under mild assumptions, gradient descent converges to their global solutions, and give a non-asymptotic rate of convergence for the cubic variant. We also consider Krylov subspace solutions and establish sharp convergence guarantees to the solutions of both trust-region and cubic-regularized problems. Our rates mirror the behavior of these methods on convex quadratics and eigenvector problems, highlighting their scalability. When we use Krylov subspace solutions to approximate the cubic-regularized Newton step, our results recover the strongest known convergence guarantees to approximate second-order stationary points of general smooth nonconvex functions.


title: 3D Quasi-Recurrent Neural Network for Hyperspectral Image Denoising

abstract: In this paper, we propose an alternating directional 3D quasi-recurrent neural network for hyperspectral image (HSI) denoising, which can effectively embed the domain knowledge -- structural spatio-spectral correlation and global correlation along spectrum. Specifically, 3D convolution is utilized to extract structural spatio-spectral correlation in an HSI, while a quasi-recurrent pooling function is employed to capture the global correlation along spectrum. Moreover, alternating directional structure is introduced to eliminate the causal dependency with no additional computation cost. The proposed model is capable of modeling spatio-spectral dependency while preserving the flexibility towards HSIs with arbitrary number of bands. Extensive experiments on HSI denoising demonstrate significant improvement over state-of-the-arts under various noise settings, in terms of both restoration accuracy and computation time. Our code is available at https://github.com/Vandermode/QRNN3D.


title: The number of spanning clusters of the uniform spanning tree in three dimensions

abstract: Let ${\mathcal U}_{\delta}$ be the uniform spanning tree on $\delta \mathbb{Z}^{3}$. A spanning cluster of ${\mathcal U}_{\delta}$ is a connected component of the restriction of ${\mathcal U}_{\delta}$ to the unit cube $[0,1]^{3}$ that connects the left face $\{ 0 \} \times [0,1]^{2}$ to the right face $\{ 1 \} \times [0,1]^{2}$. In this note, we will prove that the number of the spanning clusters is tight as $\delta \to 0$, which resolves an open question raised by Benjamini (1999).


title: Slice Tuner: A Selective Data Acquisition Framework for Accurate and Fair Machine Learning Models

abstract: As machine learning becomes democratized in the era of Software 2.0, a serious bottleneck is acquiring enough data to ensure accurate and fair models. Recent techniques including crowdsourcing provide cost-effective ways to gather such data. However, simply acquiring data as much as possible is not necessarily an effective strategy for optimizing accuracy and fairness. For example, if an online app store has enough training data for certain slices of data (say American customers), but not for others, obtaining more American customer data will only bias the model training. Instead, we contend that one needs to selectively acquire data and propose Slice Tuner, which acquires possibly-different amounts of data per slice such that the model accuracy and fairness on all slices are optimized. This problem is different than labeling existing data (as in active learning or weak supervision) because the goal is obtaining the right amounts of new data. At its core, Slice Tuner maintains learning curves of slices that estimate the model accuracies given more data and uses convex optimization to find the best data acquisition strategy. The key challenges of estimating learning curves are that they may be inaccurate if there is not enough data, and there may be dependencies among slices where acquiring data for one slice influences the learning curves of others. We solve these issues by iteratively and efficiently updating the learning curves as more data is acquired. We evaluate Slice Tuner on real datasets using crowdsourcing for data acquisition and show that Slice Tuner significantly outperforms baselines in terms of model accuracy and fairness, even when the learning curves cannot be reliably estimated.


title: A Sampling Strategy in Efficient Potential Energy Surface Mapping for Predicting Atomic Diffusivity in Crystals by Machine Learning

abstract: We propose a machine-learning-based (ML-based) method for efficiently predicting atomic diffusivity in crystals, in which the potential energy surface (PES) of a diffusion carrier is partially evaluated by first-principles calculations. To preferentially evaluate the region of interest governing the atomic diffusivity, a statistical PES model based on a Gaussian process (GP-PES) is constructed and updated iteratively from known information on already-computed potential energies (PEs). In the proposed method, all local energy minima (stable & metastable sites) and elementary processes of atomic diffusion (atomic jumps) are explored on the predictive mean of the GP-PES. The uncertainty of jump frequency in each elementary process is then estimated on the basis of the variance of the GP-PES. The acquisition function determining the next grid point to be computed is designed to reflect the impacts of the uncertainties of jump frequencies on the uncertainty of the macroscopic atomic diffusivity. The numerical solution of the master equation is here employed to readily estimate the atomic diffusivity, which enables us to design the acquisition function reflecting the centrality of each elementary process.


title: Coexistence Mechanism between eMBB and uRLLC in 5G Wireless Networks

abstract: uRLLC and eMBB are two influential services of the emerging 5G cellular network. Latency and reliability are major concerns for uRLLC applications, whereas eMBB services claim for the maximum data rates. Owing to the trade-off among latency, reliability and spectral efficiency, sharing of radio resources between eMBB and uRLLC services, heads to a challenging scheduling dilemma. In this paper, we study the co-scheduling problem of eMBB and uRLLC traffic based upon the puncturing technique. Precisely, we formulate an optimization problem aiming to maximize the MEAR of eMBB UEs while fulfilling the provisions of the uRLLC traffic. We decompose the original problem into two sub-problems, namely scheduling problem of eMBB UEs and uRLLC UEs while prevailing objective unchanged. Radio resources are scheduled among the eMBB UEs on a time slot basis, whereas it is handled for uRLLC UEs on a mini-slot basis. Moreover, for resolving the scheduling issue of eMBB UEs, we use PSUM based algorithm, whereas the optimal TM is adopted for solving the same problem of uRLLC UEs. Furthermore, a heuristic algorithm is also provided to solve the first sub-problem with lower complexity. Finally, the significance of the proposed approach over other baseline approaches is established through numerical analysis in terms of the MEAR and fairness scores of the eMBB UEs.


title: Spontaneous emission of a quantum emitter near a Chern insulator: interplay of time reversal symmetry breaking and van Hove singularity

abstract: We consider the generic problem of a two-level quantum emitter near a two-dimensional Chern insulator in the dipole approximation, and study how the frequency-dependent response and electronic density of states of the insulator modifies the transition rate of the emitter between the ground and excited levels. To this end, we obtain the full real-frequency behavior of the conductivity tensor by performing a tight-binding calculation based on the Qi-Wu-Zhang model and using a Kubo formula, and derive the full electromagnetic Green tensor of the system, which breaks Onsager reciprocity. This enables us to find that for frequencies smaller than the maximum band gap, the system is sensitive to time reversal symmetry-breaking, whereas for much larger frequencies the system becomes insensitive, with implications for the discrimination of the state of a circularly polarised dipole emitter. We also study the impact of a van Hove singularity on the surface-induced correction to the transition rate, finding that it can enhance its amplitude by a few orders of magnitude compared to the case where the conductivity is set to its static value. By considering configurations in which the dipole is circularly polarised or parallel with the surface of the Chern insulator, we find that the surface correction to the transition rate can exhibit a novel decay with sine integral-like oscillations.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.atom-ph physics.optics


title: Gravitational spin Hall effect of light

abstract: The propagation of electromagnetic waves in vacuum is often described within the geometrical optics approximation, which predicts that wave rays follow null geodesics. However, this model is valid only in the limit of infinitely high frequencies. At large but finite frequencies, diffraction can still be negligible, but the ray dynamics becomes affected by the evolution of the wave polarization. Hence, rays can deviate from null geodesics, which is known as the gravitational spin Hall effect of light. In the literature, this effect has been calculated ad hoc for a number of special cases, but no general description has been proposed. Here, we present a covariant Wentzel-Kramers-Brillouin analysis from first principles for the propagation of light in arbitrary curved spacetimes. We obtain polarization-dependent ray equations describing the gravitational spin Hall effect of light. We also present numerical examples of polarization-dependent ray dynamics in the Schwarzschild spacetime, and the magnitude of the effect is briefly discussed. The analysis reported here is analogous to that of the spin Hall effect of light in inhomogeneous media, which has been experimentally verified.


title: An introduction to maximal regularity for parabolic evolution equations

abstract: In this note, we give an introduction to the concept of maximal $L^p$-regularity as a method to solve nonlinear partial differential equations. We first define maximal regularity for autonomous and non-autonomous problems and describe the connection to Fourier multipliers and $\mathcal R$-boundedness. The abstract results are applied to a large class of parabolic systems in the whole space and to general parabolic boundary value problems. For this, both the construction of solution operators for boundary value problems and a characterization of trace spaces of Sobolev spaces are discussed. For the nonlinear equation, we obtain local in time well-posedness in appropriately chosen Sobolev spaces. This manuscript is based on known results and consists of an extended version of lecture notes on this topic.


title: A Least-Squares Finite Element Reduced Basis Method

abstract: We present a reduced basis (RB) method for parametrized linear elliptic partial differential equations (PDEs) in a least-squares finite element framework. A rigorous and reliable error estimate is developed, and is shown to bound the error with respect to the exact solution of the PDE, in contrast to estimates that measure error with respect to a finite-dimensional (high-fidelity) approximation. It is shown that the first-order formulation of the least-squares finite element is a key ingredient. The method is demonstrated using numerical examples.


title: Multiplicities for tensor products on Special linear versus Classical groups

abstract: In this paper, using computations done through the LiE software, we compare the tensor product of irreducible selfdual representations of the special linear group with those of classical groups to formulate some conjectures relating the two. In the process a few other phenomenon present themselves which we record as questions. More precisely, under the natural correspondence of irreducible finite dimensional selfdual representations of ${\rm SL}_{2n}({\mathbb C})$ with those of ${\rm Spin}_{2n+1}({\mathbb C})$, it is easy to see that if the tensor product of three irreducible representations of ${\rm Spin}_{2n+1}({\rm C})$ contains the trivial representation, then so does the tensor product of the corresponding representations of ${\rm SL}_{2n}({\rm C})$. The paper formulates a conjecture in the reverse direction. We also deal with the pair $({\rm SL}_{2n+1}({\rm C}), {\rm Sp}_{2n}({\rm C}))$.


title: Spin detection via parametric frequency conversion in a membrane resonator

abstract: Recent demonstrations of ultracoherent nanomechanical resonators introduce the prospect of new protocols for solid state sensing applications. Here, we propose to use two coupled ultracoherent resonator modes on a Si$_3$N$_4$ membrane for the detection of small nuclear spin ensembles. To this end, we employ parametric frequency conversion between nondegenerate modes. The nondegenerate modes result from coupled degenerate resonators, and the parametric conversion is mediated by periodic inversions of the nuclear spins in the presence of a magnetic scanning tip. We analyze potential noise sources and derive the achievable signal-to-noise ratio with typical experimental parameter values. Our proposal reconciles the geometric constraints of optomechanical systems with the requirements of scanning force microscopy and brings forth a new platform for spin-phonon interaction and spin imaging.


title: A mixed finite element discretization of dynamical optimal transport

abstract: In this paper we introduce a new class of finite element discretizations of the quadratic optimal transport problem based on its dynamical formulation. These generalize to the finite element setting the finite difference scheme proposed by Papadakis et al. [SIAM J Imaging Sci, 7(1):212--238,2014]. We solve the discrete problem using a proximal splitting approach and we show how to modify this in the presence of regularization terms which are relevant for physical data interpolation.


title: Concentration-control in all-solution processed semiconducting polymer doping and high conductivity performances

abstract: Simultaneously optimizing performances, processability and fabrication cost of organic electronic materials is the continual source of compromise hindering the development of disruptive applications. In this work, we identified a strategy to achieve record conductivity values of one of the most benchmarked semiconducting polymers by doping with an entirely solution-processed, water-free and cost-effective technique. High electrical conductivity for poly(3-hexylthiophene) up to 21 S/cm has been achieved, using a commercially available electron acceptor as both a Lewis acid and an oxidizing agent. While we managed water-free solution-processing a three-time higher conductivity for P3HT with a very affordable/available chemical, near-field microscopy reveals the existence of concentration-dependent higher-conductivity micro-domains for which furthermore process optimization might access to even higher performances. In the perpetual quest of reaching higher performances for organic electronics, this work shall greatly unlock applications maturation requiring higher-scale processability and lower fabrication costs concomitant of higher performances and new functionalities, in the current context where understanding the doping mechanism of such class of materials remains of the greatest interest.


title: Frequency Bias in Neural Networks for Input of Non-Uniform Density

abstract: Recent works have partly attributed the generalization ability of over-parameterized neural networks to frequency bias -- networks trained with gradient descent on data drawn from a uniform distribution find a low frequency fit before high frequency ones. As realistic training sets are not drawn from a uniform distribution, we here use the Neural Tangent Kernel (NTK) model to explore the effect of variable density on training dynamics. Our results, which combine analytic and empirical observations, show that when learning a pure harmonic function of frequency $\kappa$, convergence at a point $\x \in \Sphere^{d-1}$ occurs in time $O(\kappa^d/p(\x))$ where $p(\x)$ denotes the local density at $\x$. Specifically, for data in $\Sphere^1$ we analytically derive the eigenfunctions of the kernel associated with the NTK for two-layer networks. We further prove convergence results for deep, fully connected networks with respect to the spectral decomposition of the NTK. Our empirical study highlights similarities and differences between deep and shallow networks in this model.


title: Intrinsic Valley Polarization and Anomalous Valley Hall Effect in Single-Layer 2H-FeCl2

abstract: Valley, as a new degree of freedom for electrons, has drawn considerable attention due to its significant potential for encoding and storing information. Lifting the energy degeneracy to achieve valley polarization is necessary for realizing valleytronic devices. Here, on the basis of first-principles calculations, we show that single-layer FeCl2 exhibits a large spontaneous valley polarization (~101 meV) arising from the broken time-reversal symmetry and spin-orbital coupling, which can be continuously tuned by varying the direction of magnetic crystalline. By employing the perturbation theory, the underlying physical mechanism is unveiled. Moreover, the coupling between valley degree of freedom and ferromagnetic order could generate a spin- and valley-polarized anomalous Hall current in the presence of the in-plane electric field, facilitating its experimental exploration and practical applications.


title: Conversion of a conventional superconductor into a topological superconductor by topological proximity effect

abstract: Realization of topological superconductors (TSCs) hosting Majorana fermions is a central challenge in condensed-matter physics. One approach is to use the superconducting proximity effect (SPE) in heterostructures, where a topological insulator contacted with a superconductor hosts an effective p-wave pairing by the penetration of Cooper pairs across the interface. However, this approach suffers a difficulty in accessing the topological interface buried deep beneath the surface. Here, we propose an alternative approach to realize topological superconductivity without SPE. In a Pb(111) thin film grown on TlBiSe2, we discover that the Dirac-cone state of substrate TlBiSe2 migrates to the top surface of Pb film and obtains an energy gap below the superconducting transition temperature of Pb. This suggests that a BCS superconductor is converted into a TSC by the topological proximity effect. Our discovery opens a route to manipulate topological superconducting properties of materials.


title: Global Evolution of Solar Magnetic Fields and Prediction of Activity Cycles

abstract: Prediction of solar activity cycles is challenging because physical processes inside the Sun involve a broad range of multiscale dynamics that no model can reproduce and because the available observations are highly limited and cover mostly surface layers. Helioseismology makes it possible to probe solar dynamics in the convective zone, but variations in differential rotation and meridional circulation are currently available for only two solar activity cycles. It has been demonstrated that sunspot observations, which cover over 400 years, can be used to calibrate the Parker-Kleeorin-Ruzmaikin dynamo model, and that the Ensemble Kalman Filter (EnKF) method can be used to link the modeled magnetic fields to sunspot observations and make reliable predictions of a following activity cycle. However, for more accurate predictions, it is necessary to use actual observations of the solar magnetic fields, which are available only for the last four solar cycles. In this paper I briefly discuss the influence of the limited number of available observations on the accuracy of EnKF estimates of solar cycle parameters, the criteria to evaluate the predictions, and application of synoptic magnetograms to the prediction of solar activity.

categories: astro-ph.SR nlin.CD physics.data-an physics.space-ph


title: A hybrid model for estimation of pore size from ortho-positronium lifetimes in porous materials

abstract: The present paper proposes a novel model for estimating the free-volume size of porous materials based on the analysis of various experimental ortho-positronium ($o$-Ps) lifetime data. The model is derived by combining the semi-classical (SE) physics model, which works in the region of large pores (pore size $R >$ 1 nm), with the conventional Tao-Eldrup (TE) model, which is applicable only for the small-pore region ($R <$ 1 nm). Thus, the proposed model, called the hybrid (HYB) model, is able to smoothly connect the $o$-Ps lifetimes in the two regions of the pore. Moreover, by introducing the $o$-Ps diffusion probability parameter ($D$), the HYB model has reproduced quite well the experimental $o$-Ps lifetimes in the whole region of pore sizes. It is even in a better agreement with the experimental data than the most up-to-date rectangular TE (RTE) and Tokyo models. In particular, by adjusting the value of $D$, the HYB model can also describe very well the two defined sets of experimental $o$-Ps lifetimes in the pores with spherical and channel geometries. The merit of the present model, in comparison with the previously proposed ones, is that it is applicable for the pore size in the universal range of $0.2 - 400$ nm for most of porous materials with different geometries.


title: The Locus Algorithm III: A Grid Computing system to generate catalogues of optimised pointings for Differential Photometry

abstract: This paper discusses the hardware and software components of the Grid Computing system used to implement the Locus Algorithm to identify optimum pointings for differential photometry of 61,662,376 stars and 23,799 quasars. The scale of the data, together with initial operational assessments demanded a High Performance Computing (HPC) system to complete the data analysis. Grid computing was chosen as the HPC solution as the optimum choice available within this project. The physical and logical structure of the National Grid computing Infrastructure informed the approach that was taken. That approach was one of layered separation of the different project components to enable maximum flexibility and extensibility.


title: Channel Pruning via Optimal Thresholding

abstract: Structured pruning, especially channel pruning is widely used for the reduced computational cost and the compatibility with off-the-shelf hardware devices. Among existing works, weights are typically removed using a predefined global threshold, or a threshold computed from a predefined metric. The predefined global threshold based designs ignore the variation among different layers and weights distribution, therefore, they may often result in sub-optimal performance caused by over-pruning or under-pruning. In this paper, we present a simple yet effective method, termed Optimal Thresholding (OT), to prune channels with layer dependent thresholds that optimally separate important from negligible channels. By using OT, most negligible or unimportant channels are pruned to achieve high sparsity while minimizing performance degradation. Since most important weights are preserved, the pruned model can be further fine-tuned and quickly converge with very few iterations. Our method demonstrates superior performance, especially when compared to the state-of-the-art designs at high levels of sparsity. On CIFAR-100, a pruned and fine-tuned DenseNet-121 by using OT achieves 75.99% accuracy with only 1.46e8 FLOPs and 0.71M parameters.


title: Ecological Semantics: Programming Environments for Situated Language Understanding

abstract: Large-scale natural language understanding (NLU) systems have made impressive progress: they can be applied flexibly across a variety of tasks, and employ minimal structural assumptions. However, extensive empirical research has shown this to be a double-edged sword, coming at the cost of shallow understanding: inferior generalization, grounding and explainability. Grounded language learning approaches offer the promise of deeper understanding by situating learning in richer, more structured training environments, but are limited in scale to relatively narrow, predefined domains. How might we enjoy the best of both worlds: grounded, general NLU? Following extensive contemporary cognitive science, we propose treating environments as "first-class citizens" in semantic representations, worthy of research and development in their own right. Importantly, models should also be partners in the creation and configuration of environments, rather than just actors within them, as in existing approaches. To do so, we argue that models must begin to understand and program in the language of affordances (which define possible actions in a given situation) both for online, situated discourse comprehension, as well as large-scale, offline common-sense knowledge mining. To this end we propose an environment-oriented ecological semantics, outlining theoretical and practical approaches towards implementation. We further provide actual demonstrations building upon interactive fiction programming languages.


title: Strange stars in the framework of higher curvature gravity

abstract: We study the influence of higher curvature effects on stellar structure and conclude that the properties of stars are greatly impacted when such terms are dynamic. In particular the surface gravitational redshift which is connected to the equation of state and also the mass-radius ratio differs greatly from the corresponding values in general relativity as evidenced through our empirical comparisons. A model of a superdense star with strange star equation of state is constructed within the framework of the Einstein--Gauss--Bonnet theory. Under these assumptions large classes of solutions are admitted by the field equations. We isolate a particular class with the ansatz of the Vaidya--Tikekar superdense star spatial gravitational potential. The model is found to satisfy elementary requirements for physical applicability and stability. The parameter values chosen are consistent with observed star models. A significant effect of the higher curvature terms is to reduce the speed of sound and to drastically reduce the values of the surface gravitational redshift compared to the Einstein counterpart. These latter results have implications for interpretations of observations in relativistic astrophysics which are often made against the background of the standard general theory of relativity.


title: DymSLAM:4D Dynamic Scene Reconstruction Based on Geometrical Motion Segmentation

abstract: Most SLAM algorithms are based on the assumption that the scene is static. However, in practice, most scenes are dynamic which usually contains moving objects, these methods are not suitable. In this paper, we introduce DymSLAM, a dynamic stereo visual SLAM system being capable of reconstructing a 4D (3D + time) dynamic scene with rigid moving objects. The only input of DymSLAM is stereo video, and its output includes a dense map of the static environment, 3D model of the moving objects and the trajectories of the camera and the moving objects. We at first detect and match the interesting points between successive frames by using traditional SLAM methods. Then the interesting points belonging to different motion models (including ego-motion and motion models of rigid moving objects) are segmented by a multi-model fitting approach. Based on the interesting points belonging to the ego-motion, we are able to estimate the trajectory of the camera and reconstruct the static background. The interesting points belonging to the motion models of rigid moving objects are then used to estimate their relative motion models to the camera and reconstruct the 3D models of the objects. We then transform the relative motion to the trajectories of the moving objects in the global reference frame. Finally, we then fuse the 3D models of the moving objects into the 3D map of the environment by considering their motion trajectories to obtain a 4D (3D+time) sequence. DymSLAM obtains information about the dynamic objects instead of ignoring them and is suitable for unknown rigid objects. Hence, the proposed system allows the robot to be employed for high-level tasks, such as obstacle avoidance for dynamic objects. We conducted experiments in a real-world environment where both the camera and the objects were moving in a wide range.


title: The Locus Algorithm IV: Performance metrics of a grid computing system used to create catalogues of optimised pointings

abstract: This paper discusses the requirements for and performance metrics of the the Grid Computing system used to implement the Locus Algorithm to identify optimum pointings for differential photometry of 61,662,376 stars and 23,779 quasars. Initial operational tests indicated a need for a software system to analyse the data and a High Performance Computing system to run that software in a scalable manner. Practical assessments of the performance of the software in a serial computing environment were used to provide a benchmark against which the performance metrics of the HPC solution could be compared, as well as to indicate any bottlenecks in performance. These performance metrics indicated a distinct split in the performance dictated more by differences in the input data than by differences in the design of the systems used. This indicates a need for experimental analysis of system performance, and suggests that algorithmic complexity analyses may lead to incorrect or naive conclusions, especially in systems with high data I/O overhead such as grid computing. Further, it implies that systems which reduce or eliminate this bottleneck such as in-memory processing could lead to a substantial increase in performance.


title: Largest set of unitals in projective planes of order 16

abstract: In this article we present the largest set of unitals (totally 553) in projective planes of order 16. An open question is what is the number of the known unitals that are non-isomorphic to the reported ones. The results are obtained with a program that implements author's algorithm.


title: Perturbations of surjective homomorphisms between algebras of operators on Banach spaces

abstract: A remarkable result of Moln\'ar [Proc. Amer. Math. Soc., 126 (1998), 853-861] states that automorphisms of the algebra of operators acting on a separable Hilbert space is stable under "small" perturbations. More precisely, if $\phi,\psi$ are endomorphisms of $\mathcal{B}(\mathcal{H})$ such that $\|\phi(A)-\psi(A)\|<\|A\|$ and $\psi$ is surjective then so is $\phi$. The aim of this paper is to extend this result to a larger class of Banach spaces including $\ell_p$ and $L_p$ spaces ($1<p<+\infty$). En route to the proof we show that for any Banach space $X$ from the above class all faithful, unital, separable, reflexive representations of $\mathcal B (X)$ which preserve rank one operators are in fact isomorphisms.


title: Quantum interactions with pulses of radiation

abstract: This article presents a general master equation formalism for the interaction between travelling pulses of quantum radiation and localized quantum systems. Traveling fields populate a continuum of free space radiation modes and the Jaynes-Cummings model, valid for a discrete eigenmode of a cavity, does not apply. We develop a complete input-output theory to describe the driving of quantum systems by arbitrary incident pulses of radiation and the quantum state of the field emitted into any desired outgoing temporal mode. Our theory is applicable to the transformation and interaction of pulses of radiation by their coupling to a wide class of material quantum systems. We discuss the most essential differences between quantum interactions with pulses and with discrete radiative eigenmodes and present examples relevant to quantum information protocols with optical, microwave and acoustic waves.


title: The Locus Algorithm II: A robust software system to maximise the quality of fields of view for Differential Photometry

abstract: We present the software system developed to implement the Locus Algorithm, a novel algorithm designed to maximise the performance of differential photometry systems by optimising the number and quality of reference stars in the Field of View with the target. Firstly, we state the design requirements, constraints and ambitions for the software system required to implement this algorithm. Then, a detailed software design is presented for the system in operation. Next, the data design including file structures used and the data environment required for the system are defined. Finally, we conclude by illustrating the scaling requirements which mandate a high-performance computing implementation of this system, which is discussed in the other papers in this series.


title: GPCA: A Probabilistic Framework for Gaussian Process Embedded Channel Attention

abstract: Channel attention mechanisms have been commonly applied in many visual tasks for effective performance improvement. It is able to reinforce the informative channels as well as to suppress the useless channels. Recently, different channel attention modules have been proposed and implemented in various ways. Generally speaking, they are mainly based on convolution and pooling operations. In this paper, we propose Gaussian process embedded channel attention (GPCA) module and further interpret the channel attention schemes in a probabilistic way. The GPCA module intends to model the correlations among the channels, which are assumed to be captured by beta distributed variables. As the beta distribution cannot be integrated into the end-to-end training of convolutional neural networks (CNNs) with a mathematically tractable solution, we utilize an approximation of the beta distribution to solve this problem. To specify, we adapt a Sigmoid-Gaussian approximation, in which the Gaussian distributed variables are transferred into the interval [0,1]. The Gaussian process is then utilized to model the correlations among different channels. In this case, a mathematically tractable solution is derived. The GPCA module can be efficiently implemented and integrated into the end-to-end training of the CNNs. Experimental results demonstrate the promising performance of the proposed GPCA module. Codes are available at https://github.com/PRIS-CV/GPCA.


title: Anomaly Detection in Beehives using Deep Recurrent Autoencoders

abstract: Precision beekeeping allows to monitor bees' living conditions by equipping beehives with sensors. The data recorded by these hives can be analyzed by machine learning models to learn behavioral patterns of or search for unusual events in bee colonies. One typical target is the early detection of bee swarming as apiarists want to avoid this due to economical reasons. Advanced methods should be able to detect any other unusual or abnormal behavior arising from illness of bees or from technical reasons, e.g. sensor failure. In this position paper we present an autoencoder, a deep learning model, which detects any type of anomaly in data independent of its origin. Our model is able to reveal the same swarms as a simple rule-based swarm detection algorithm but is also triggered by any other anomaly. We evaluated our model on real world data sets that were collected on different hives and with different sensor setups.


title: Balanced truncation for parametric linear systems using interpolation of Gramians: a comparison of algebraic and geometric approaches

abstract: When balanced truncation is used for model order reduction, one has to solve a pair of Lyapunov equations for two Gramians and uses them to construct a reduced-order model. Although advances in solving such equations have been made, it is still the most expensive step of this reduction method. Parametric model order reduction aims to determine reduced-order models for parameter-dependent systems. Popular techniques for parametric model order reduction rely on interpolation. Nevertheless, the interpolation of Gramians is rarely mentioned, most probably due to the fact that Gramians are symmetric positive semidefinite matrices, a property that should be preserved by the interpolation method. In this contribution, we propose and compare two approaches for Gramian interpolation. In the first approach, the interpolated Gramian is computed as a linear combination of the data Gramians with positive coefficients. Even though positive semidefiniteness is guaranteed in this method, the rank of the interpolated Gramian can be significantly larger than that of the data Gramians. The second approach aims to tackle this issue by performing the interpolation on the manifold of fixed-rank positive semidefinite matrices. The results of the interpolation step are then used to construct parametric reduced-order models, which are compared numerically on two benchmark problems.


title: Optimal-size problem kernels for $d$-Hitting Set in linear time and space

abstract: The known linear-time kernelizations for $d$-Hitting Set guarantee linear worst-case running times using a quadratic-size data structure (that is not fully initialized). Getting rid of this data structure, we show that problem kernels of asymptotically optimal size $O(k^d)$ for $d$-Hitting Set are computable in linear time and space. Additionally, we experimentally compare the linear-time kernelizations for $d$-Hitting Set to each other and to a classical data reduction algorithm due to Weihe.


title: A Nilpotency Index of Conformal Manifolds

abstract: We show that exactly marginal operators of Supersymmetric Conformal Field Theories (SCFTs) with four supercharges cannot obtain a vacuum expectation value at a generic point on the conformal manifold. Exactly marginal operators are therefore nilpotent in the chiral ring. This allows us to associate an integer to the conformal manifold, which we call the nilpotency index of the conformal manifold. We discuss several examples in diverse dimensions where we demonstrate these facts and compute the nilpotency index.