title: The nature of solar brightness variations

abstract: The solar brightness varies on timescales from minutes to decades. Determining the sources of such variations, often referred to as solar noise, is of importance for multiple reasons: a) it is the background that limits the detection of solar oscillations, b) variability in solar brightness is one of the drivers of the Earth's climate system, c) it is a prototype of stellar variability which is an important limiting factor for the detection of extra-solar planets. Here we show that recent progress in simulations and observations of the Sun makes it finally possible to pinpoint the source of the solar noise. We utilise high-cadence observations from the Solar Dynamic Observatory and the SATIRE model to calculate the magnetically-driven variations of solar brightness. The brightness variations caused by the constantly evolving cellular granulation pattern on the solar surface are computed with the MURAM code. We find that surface magnetic field and granulation can together precisely explain solar noise on timescales from minutes to decades, i.e. ranging over more than six orders of magnitude in the period. This accounts for all timescales that have so far been resolved or covered by irradiance measurements. We demonstrate that no other sources of variability are required to explain the data. Recent measurements of Sun-like stars by CoRoT and Kepler uncovered brightness variations similar to that of the Sun but with much wider variety of patterns. Our finding that solar brightness variations can be replicated in detail with just two well-known sources will greatly simplify future modelling of existing CoRoT and Kepler as well as anticipated TESS and PLATO data.


title: Adaptive Coordination of Distributed Energy Resources in Lossy Power Distribution Systems

abstract: This paper is concerned with the problem of coordinating a set of distributed energy resources (DERs) in a lossy power distribution system to provide frequency regulation services to a bulk power grid with the explicit consideration of system losses. To this end, we formulate the problem as an optimization problem, the objective of which is to minimize some cost function subject to a set of constraints. The formulation requires knowledge of incremental total system losses, which we approximate using the so-called loss factors (LFs) that explicitly capture the impacts of both active and reactive power injections on system losses. The LFs are estimated recursively using power injection measurements; thus, they are adaptive to various phenomena that impact the power system operation. Numerical simulation on a 33-bus distribution test feeder validated the effectiveness of the proposed framework.


title: Singular inverse square potential in coordinate space with a minimal length

abstract: The problem of a particle of mass m in the field of the inverse square potential is studied in quantum mechanics with a generalized uncertainty principle, characterized by the existence of a minimal length. Using the coordinate representation, for a specific form of the generalized uncertainty relation, we solve the deformed Schr\"odinger equation analytically in terms of confluent Heun functions. We explicitly show the regularizing effect of the minimal length on the singularity of the potential. We discuss the problem of bound states in detail and we derive an expression for the energy spectrum in a natural way from the square integrability condition; the results are in complete agreement with the literature.


title: A Data-driven Voltage Control Framework for Power Distribution Systems

abstract: In this paper, we address the problem of coordinating a set of distributed energy resources (DERs) to regulate voltage in power distribution systems to desired levels. To this end, we formulate the voltage control problem as an optimization problem, the objective of which is to determine the optimal DER power injections that minimize the voltage deviations from desirable voltage levels subject to a set of constraints. The nonlinear relationship between the voltage magnitudes and the nodal power injections is approximated by a linear model, the parameters of which can be estimated in real-time efficiently using measurements. In particular, the parameter estimation requires much fewer data by exploiting the structural characteristics of the power distribution system. As such, the voltage control framework is intrinsically adaptive to parameter changes. Numerical studies on the IEEE 37-bus power distribution test feeder validated the effectiveness of the propose framework.


title: On higher dimensional Einstein spacetimes with a non-degenerate double Weyl aligned null direction

abstract: We prove that higher dimensional Einstein spacetimes which possess a geodesic, non-degenerate double Weyl aligned null direction (WAND) $\ell$ must additionally possess a second double WAND (thus being of type D) if either: (a) the Weyl tensor obeys $C_{abc[d}\ell_{e]}\ell^c=0$ ($\Leftrightarrow\Phi_{ij}=0$, i.e., the Weyl type is II(abd)); (b) $\ell$ is twistfree. Some comments about an extension of the Goldberg-Sachs theorem to six dimensions are also made.


title: End-to-end Video-level Representation Learning for Action Recognition

abstract: From the frame/clip-level feature learning to the video-level representation building, deep learning methods in action recognition have developed rapidly in recent years. However, current methods suffer from the confusion caused by partial observation training, or without end-to-end learning, or restricted to single temporal scale modeling and so on. In this paper, we build upon two-stream ConvNets and propose Deep networks with Temporal Pyramid Pooling (DTPP), an end-to-end video-level representation learning approach, to address these problems. Specifically, at first, RGB images and optical flow stacks are sparsely sampled across the whole video. Then a temporal pyramid pooling layer is used to aggregate the frame-level features which consist of spatial and temporal cues. Lastly, the trained model has compact video-level representation with multiple temporal scales, which is both global and sequence-aware. Experimental results show that DTPP achieves the state-of-the-art performance on two challenging video action datasets: UCF101 and HMDB51, either by ImageNet pre-training or Kinetics pre-training.


title: A Sparse Graph-Structured Lasso Mixed Model for Genetic Association with Confounding Correction

abstract: While linear mixed model (LMM) has shown a competitive performance in correcting spurious associations raised by population stratification, family structures, and cryptic relatedness, more challenges are still to be addressed regarding the complex structure of genotypic and phenotypic data. For example, geneticists have discovered that some clusters of phenotypes are more co-expressed than others. Hence, a joint analysis that can utilize such relatedness information in a heterogeneous data set is crucial for genetic modeling. We proposed the sparse graph-structured linear mixed model (sGLMM) that can incorporate the relatedness information from traits in a dataset with confounding correction. Our method is capable of uncovering the genetic associations of a large number of phenotypes together while considering the relatedness of these phenotypes. Through extensive simulation experiments, we show that the proposed model outperforms other existing approaches and can model correlation from both population structure and shared signals. Further, we validate the effectiveness of sGLMM in the real-world genomic dataset on two different species from plants and humans. In Arabidopsis thaliana data, sGLMM behaves better than all other baseline models for 63.4% traits. We also discuss the potential causal genetic variation of Human Alzheimer's disease discovered by our model and justify some of the most important genetic loci.


title: Evaluation of different WRF microphysics schemes: severe rainfall over Egypt case study

abstract: Egypt faced heavy rainfall starting from 26th October 2016 which caused flooding in Upper Egypt and Red Sea Coast especially the city of Ras Gharib. In this work, Weather Research and Forecasting (WRF) model was used with one domain of 10-km resolution for three days starting from 26th October 2016 to simulate this severe rainy event in terms of precipitation, temperature, pressure and wind speed. In order to use the WRF model several schemes should be configured, one of them is the microphysics scheme. Microphysics is the process by which moisture is removed from the air, based on other thermodynamic and kinematic fields represented within the numerical models. Sensitivity of ten microphysics schemes were tested (Kessler, Lin, WRF single moment 3 and 5 class, Eta (Ferrier), WRF single Scheme 6 Class, Goddard, Thompson, Milbrandt-Yau Double Moment and Morrison double moment). The output temperature and precipitation from the model were compared to the satellite data obtained from Moderate Resolution Imaging Spectroradiometer (MODIS) and Tropical Rainfall Measuring Mission (TRMM), respectively. Our analysis showed that the model has the capability to simulate the rainy event spatially and produce the cloud pattern. Three coastal areas were chosen for this study, the city of Ras Gharib, Wadi Elgemal National park, and Elba National park. The results showed that the model generally tends to overestimate the precipitation for all the ten schemes and underestimated temperature compared to TRMM and MODIS data respectively


title: Spin-orbital polarons in electron doped copper oxides

abstract: Present work demonstrates the formation of spin-orbital polarons in electron doped copper oxides, that arise due to doping-induced polarisation of the oxygen orbitals in the CuO$_2$ planes. The concept of such polarons is fundamentally different from previous interpretations. The novel aspect of spin-orbit polarons is best described by electrons becoming self-trapped in one-dimensional channels created by polarisation of the oxygen orbitals. The one-dimensional channels form elongated filaments with two possible orientations, along the diagonals of the elementary CuO$_2$ square plaquette. As the density of doped electrons increases multiple filaments are formed. These may condense into a single percollating filamentary phase. Alternatively, the filaments may cross perpendicularly to create an interconnected conducting quasi-one-dimensional web. At low electron doping the antiferromagnetic (AFM) state and the polaron web coexist. As the doping is increased the web of filaments modifies and transforms the AFM correlations leading to a series of quantum phase transitions - which affect the normal and superconducting state properties.


title: Tunable dynamic moduli of magnetic elastomers: from X-$\mu$CT characterization to mesoscopic modeling

abstract: Ferrogels and magnetoelastomers are composite materials obtained by embedding magnetic particles of mesoscopic size in a crosslinked polymeric matrix. They combine the reversible elastic deformability of polymeric materials with the high responsivity of ferrofluids to external magnetic fields. These materials stand out, for example, for large magnetostriction as well as significant increase of the elastic moduli in the presence of external magnetic fields. By means of X-ray micro-computed tomography, position and size of each magnetic particle can be measured with a high degree of accuracy. We here use data extracted from real magnetoelastic samples as input for coarse-grained dipole-spring modeling and calculations to investigate magnetostriction, stiffening, and changes in the normal modes spectrum. More precisely, we assign to each particle a dipole moment proportional to its volume and set a randomized network of springs between them that mimics the behavior of the polymeric elastic matrix. Extending our previously developed methods, we compute the resulting structural changes in the systems, their overall distortions, as well as the frequency-dependent elastic moduli when magnetic interactions are turned on. Particularly, with increasing magnetization, we observe the formation of chain-like aggregates, resulting in significant overall deformations. Interestingly, the static elastic moduli can first show a slight decrease with growing amplitude of the magnetic interactions, before a pronounced increase appears upon the chain formation. The change of the dynamic moduli with increasing magnetization depends on the frequency and can even show nonmonotonic behavior. Overall, we demonstrate how theory and experiments can complement each other to learn more about the dynamic behavior of this interesting class of materials.


title: A stabilised finite element method for the plate obstacle problem

abstract: We introduce a stabilised finite element formulation for the Kirchhoff plate obstacle problem and derive both a priori and residual-based a posteriori error estimates using conforming $C^1$-continuous finite elements. We implement the method as a Nitsche-type scheme and give numerical evidence for its effectiveness in the case of an elastic and a rigid obstacle.


title: Examples of covering properties of boundary points of space-times

abstract: The problem of classifying boundary points of space-time, for example singularities, regular points and points at infinity, is an unexpectedly subtle one. Due to the fact that whether or not two boundary points are identified or even "nearby" is dependant on the way the space-time is embedded, difficulties occur when singularities are thought of as an inherently local aspect of a space-time, as an analogy with electromagnetism would imply. The completion of a manifold with respect to a pseudo-Riemannian metric can be defined intrinsically, [SS94]. This is done via an equivalence relation, formalising which boundary sets cover other sets. This paper works through the possibilities, providing examples to show that all covering relations not immediately ruled out by the definitions are possible.


title: Unsupervised Document Embedding With CNNs

abstract: We propose a new model for unsupervised document embedding. Leading existing approaches either require complex inference or use recurrent neural networks (RNN) that are difficult to parallelize. We take a different route and develop a convolutional neural network (CNN) embedding model. Our CNN architecture is fully parallelizable resulting in over 10x speedup in inference time over RNN models. Parallelizable architecture enables to train deeper models where each successive layer has increasingly larger receptive field and models longer range semantic structure within the document. We additionally propose a fully unsupervised learning algorithm to train this model based on stochastic forward prediction. Empirical results on two public benchmarks show that our approach produces comparable to state-of-the-art accuracy at a fraction of computational cost.


title: 280 GHz Focal Plane Unit Design and Characterization for the SPIDER-2 Suborbital Polarimeter

abstract: We describe the construction and characterization of the 280 GHz bolometric focal plane units (FPUs) to be deployed on the second flight of the balloon-borne SPIDER instrument. These FPUs are vital to SPIDER's primary science goal of detecting or placing an upper limit on the amplitude of the primordial gravitational wave signature in the cosmic microwave background (CMB) by constraining the B-mode contamination in the CMB from Galactic dust emission. Each 280 GHz focal plane contains a 16 x 16 grid of corrugated silicon feedhorns coupled to an array of aluminum-manganese transition-edge sensor (TES) bolometers fabricated on 150 mm diameter substrates. In total, the three 280 GHz FPUs contain 1,530 polarization sensitive bolometers (765 spatial pixels) optimized for the low loading environment in flight and read out by time-division SQUID multiplexing. In this paper we describe the mechanical, thermal, and magnetic shielding architecture of the focal planes and present cryogenic measurements which characterize yield and the uniformity of several bolometer parameters. The assembled FPUs have high yields, with one array as high as 95% including defects from wiring and readout. We demonstrate high uniformity in device parameters, finding the median saturation power for each TES array to be ~3 pW at 300 mK with a less than 6% variation across each array at one standard deviation. These focal planes will be deployed alongside the 95 and 150 GHz telescopes in the SPIDER-2 instrument, slated to fly from McMurdo Station in Antarctica in December 2018.


title: 3D Randomized Connection Network with Graph-based Label Inference

abstract: In this paper, a novel 3D deep learning network is proposed for brain MR image segmentation with randomized connection, which can decrease the dependency between layers and increase the network capacity. The convolutional LSTM and 3D convolution are employed as network units to capture the long-term and short-term 3D properties respectively. To assemble these two kinds of spatial-temporal information and refine the deep learning outcomes, we further introduce an efficient graph-based node selection and label inference method. Experiments have been carried out on two publicly available databases and results demonstrate that the proposed method can obtain competitive performances as compared with other state-of-the-art methods.


title: Comment on "Cornell potential in generalized uncertainty principle formalism: the case of Schr\"odinger equation"

abstract: In the recent paper, Ref. 1, the l-waves Schr\"odinger equation for the Cornell's potential is solved in quantum mechanics with a generalized uncertainty principle by following Ref. 2. It is showed here that the approach of Ref. 2 can only be used for the s-waves, and then the solution given in Ref. 1 would be true only in the special case l=0. Furthermore, it is highlighted that the abstract and the conclusion of Ref. 1 do not accurately reflect the results of the paper.


title: Depth First Always On Routing Trace Algorithm

abstract: In this paper, we discussed current limitation in the electronic-design-automotation (EDA) tool on tracing the always on routing. We developed an algorithm to efficiently track the secondary power routing and accurately estimate the routing quality using approximate voltage drop as the criteria. The fast check can identify potential hotspot issues without going through sign-off checks. It helps designers to capture issues at early stages and fix the issues with less design effort. We also discussed some limitations to our algorithm.


title: Electron doping in $\text{Sr}_3\text{Ir}_2\text{O}_7$: collapse of band gap and magnetic order

abstract: The electron-doping-driven collapse of the charge gap and staggered magnetization of the spin-orbit-assisted Mott insulator Sr$_{3}$Ir$_{2}$O$_{7}$ is explored via first-principles computational methods. In the antiferromagnetic phase, the gap and magnetization are observed to decrease slowly with increasing doping, with an abrupt collapse of both the gap and the magnetization at an electron concentration corresponding to 4.8\% substitution of Sr with La, in excellent agreement with experiment. Additionally, we describe the structural effects of electron doping in Sr$_{3}$Ir$_{2}$O$_{7}$ via a competition between the steric effect from smaller La atoms substituted within the lattice and the dominant doping-driven deformation-potential effect. Curiously, our first-principles calculations fail to capture the low-temperature structural distortion reported in the low-gap phase of Sr$_{3}$Ir$_{2}$O$_{7}$, supporting the notion that this distortion arises as a secondary manifestation of an unconventional electronic order parameter in this material.


title: Financial Time Series Prediction Using Deep Learning

abstract: In this work we present a data-driven end-to-end Deep Learning approach for time series prediction, applied to financial time series. A Deep Learning scheme is derived to predict the temporal trends of stocks and ETFs in NYSE or NASDAQ. Our approach is based on a neural network (NN) that is applied to raw financial data inputs, and is trained to predict the temporal trends of stocks and ETFs. In order to handle commission-based trading, we derive an investment strategy that utilizes the probabilistic outputs of the NN, and optimizes the average return. The proposed scheme is shown to provide statistically significant accurate predictions of financial market trends, and the investment strategy is shown to be profitable under this challenging setup. The performance compares favorably with contemporary benchmarks along two-years of back-testing.


title: Optimal Subhourly Electricity Resource Dispatch Under Multiple Price Signals With High Renewable Generation Availability

abstract: This paper proposes a system-wide optimal resource dispatch strategy that enables a shift from a primarily energy cost-based approach, to a strategy using simultaneous price signals for energy, power and ramping behavior. A formal method to compute the optimal sub-hourly power trajectory is derived for a system when the price of energy and ramping are both significant. Optimal control functions are obtained in both time and frequency domains, and a discrete-time solution suitable for periodic feedback control systems is presented. The method is applied to North America Western Interconnection for the planning year 2024, and it is shown that an optimal dispatch strategy that simultaneously considers both the cost of energy and the cost of ramping leads to significant cost savings in systems with high levels of renewable generation: the savings exceed 25% of the total system operating cost for a 50% renewables scenario.


title: Observation of the exceptional point in cavity magnon-polaritons

abstract: Magnon-polaritons are hybrid light-matter quasiparticles originating from the strong coupling between magnons and photons. They have emerged as a potential candidate for implementing quantum transducers and memories. Owing to the dampings of both photons and magnons, the polaritons have limited lifetimes. However, stationary magnon-polariton states can be reached by a dynamical balance between pumping and losses, so the intrinsical nonequilibrium system may be described by a non-Hermitian Hamiltonian. Here we design a tunable cavity quantum electrodynamics system with a small ferromagnetic sphere in a microwave cavity and engineer the dissipations of photons and magnons to create cavity magnon-polaritons which have non-Hermitian spectral degeneracies. By tuning the magnon-photon coupling strength, we observe the polaritonic coherent perfect absorption and demonstrate the phase transition at the exceptional point. Our experiment offers a novel macroscopic quantum platform to explore the non-Hermitian physics of the cavity magnon-polaritons.


title: Counting problems in graph products and relatively hyperbolic groups

abstract: We study properties of generic elements of groups of isometries of hyperbolic spaces. Under general combinatorial conditions, we prove that loxodromic elements are generic (i.e. they have full density with respect to counting in balls for the word metric) and translation length grows linearly. We provide applications to a large class of relatively hyperbolic groups and graph products, including right-angled Artin groups and right-angled Coxeter groups.


title: CUR Decompositions, Similarity Matrices, and Subspace Clustering

abstract: A general framework for solving the subspace clustering problem using the CUR decomposition is presented. The CUR decomposition provides a natural way to construct similarity matrices for data that come from a union of unknown subspaces $\mathscr{U}=\underset{i=1}{\overset{M}\bigcup}S_i$. The similarity matrices thus constructed give the exact clustering in the noise-free case. Additionally, this decomposition gives rise to many distinct similarity matrices from a given set of data, which allow enough flexibility to perform accurate clustering of noisy data. We also show that two known methods for subspace clustering can be derived from the CUR decomposition. An algorithm based on the theoretical construction of similarity matrices is presented, and experiments on synthetic and real data are presented to test the method. Additionally, an adaptation of our CUR based similarity matrices is utilized to provide a heuristic algorithm for subspace clustering; this algorithm yields the best overall performance to date for clustering the Hopkins155 motion segmentation dataset.


title: Blackbody Radiation in Classical Physics: A Historical Perspective

abstract: We point out that current textbooks of modern physics are a century out-of-date in their treatment of blackbody radiation within classical physics. Relativistic classical electrodynamics including classical electromagnetic zero-point radiation gives the Planck spectrum with zero-point radiation as the blackbody radiation spectrum. In contrast, nonrelativistic mechanics cannot support the idea of zero-point energy; therefore if nonrelativistic classical statistical mechanics or nonrelativistic mechanical scatterers are invoked for radiation equilibrium, one arrives at only the low-frequency Rayleigh-Jeans part of the spectrum which involves no zero-point energy, and does not include the high-frequency part of the spectrum involving relativistically-invariant classical zero-point radiation. Here we first discuss the correct understanding of blackbody radiation within relativistic classical physics, and then we review the historical treatment. Finally, we point out how the presence of Lorentz-invariant classical zero-point radiation and the use of relativistic particle interactions transform the previous historical arguments so as now to give the Planck spectrum including classical zero-point radiation. Within relativistic classical electromagnetic theory, Planck's constant h appears as the scale of source-free zero-point radiation.


title: Deformed Heisenberg Algebra with a minimal length: Application to some molecular potentials

abstract: We review the essentials of the formalism of quantum mechanics based on a deformed Heisenbeg algebra, leading to the existence of a minimal length scale. We compute in this context, the energy spectra of the pseudoharmonic oscillator and Kratzer potentials by using a perturbative approach. We derive the molecular constants, which characterize the vibration--rotation energy levels of diatomic molecules, and investigate the effect of the minimal length on each of these parameters for both potentials. We confront our result to experimental data for the hydrogen molecule to estimate an order of magnitude of this fundamental scale in molecular physics.


title: Feature Selection based on the Local Lift Dependence Scale

abstract: This paper uses a classical approach to feature selection: minimization of a cost function applied on estimated joint distributions. However, the search space in which such minimization is performed is extended. In the original formulation, the search space is the Boolean lattice of features sets (BLFS), while, in the present formulation, it is a collection of Boolean lattices of ordered pairs (features, associated value) (CBLOP), indexed by the elements of the BLFS. In this approach, we may not only select the features that are most related to a variable Y, but also select the values of the features that most influence the variable or that are most prone to have a specific value of Y. A local formulation of Shanon's mutual information is applied on a CBLOP to select features, namely, the Local Lift Dependence Scale, an scale for measuring variable dependence in multiple resolutions. The main contribution of this paper is to define and apply this local measure, which permits to analyse local properties of joint distributions that are neglected by the classical Shanon's global measure. The proposed approach is applied to a dataset consisting of student performances on a university entrance exam, as well as on undergraduate courses. The approach is also applied to two datasets of the UCI Machine Learning Repository.


title: A counterexample for equivalence result between tails behavior and Grand Lebesgue Spaces norms

abstract: We bring in this short report (counter -) examples on order to show a difference between tails behavior and Grand Lebesgue Spaces norms for some classes of random variables.


title: A Constructive Lower Bound on Szemer\'edi's Theorem

abstract: Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound $n^{1-\frac{c_k}{k \ln k}} < r_k(n)$ where $k$ is prime, and $c_k \rightarrow 1$ as $k \rightarrow \infty$. This bound is the best known for an increasingly large interval of $n$ as we choose larger and larger $k$. We also demonstrate that one can prove or disprove a conjecture of Erd\H{o}s on arithmetic progressions in large sets once tight enough bounds on $r_k(n)$ are obtained.


title: Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

abstract: Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.


title: Analytic Model for Network Resource Management between ISPs and Users

abstract: Fixed Communication Provider (FCP) is a consortium of Internet Service Providers (ISPs) which users can switch easily and freely between their ISPs. In order to increase the QoS of the ISPs, we propose a two class service model as the following. ISPs divide their available bandwidth into two parts to provide their end users with optimal services. One dedicated to primary users, and the other for secondary users. Primary users are those who pay more and thus, expect dedicated bandwidth that is always available. Secondary services are provided by ISPs for the other users who cannot afford the dedicated bandwidth. In this study, by defining the utility functions for both user types, we aim at dividing the ISP bandwidth between these two services such that the utility function of the users is maximized. Since the primary users do not always use the maximum bandwidth, an algorithm is proposed for ISPs to estimate the primary users required bandwidth in each time segment based on the previous segments. Based on this estimate, the expected bandwidth is dedicated to the primary users, and the remaining bandwidth is devoted to the secondary users to improve the Quality of Service (QoS). On the other hand, an ISP is penalized if it fails to provide the primary users with the required bandwidth mentioned in their contract. Therefore, there exists a trade-off between the conservative estimation of the primary users rate, QoS of the secondary users and the achieved utility of the ISPs.


title: Topological Order from a Cohomological and Higher Gauge Theory perspective

abstract: In recent years, attempts to generalize lattice gauge theories to model topological order have been carried out through the so called $2$-gauge theories. These have opened the door to interesting new models and new topological phases which are not described by previous schemes of classification. In this paper we show that we can go beyond the $2$-gauge construction when considering chain complexes of abelian groups. Based on elements of homological algebra we are able to greatly simplify already known constructions for abelian theories under a single all encompassing framework. Furthermore, this formalism allows us to systematize the computation of the corresponding topological degeneracies of the ground states and establishes a connection between them and a known cohomology, which conveniently characterizes them with a suitable set of quantum numbers.


title: Numerical methods for large-scale Lyapunov equations with symmetric banded data

abstract: The numerical solution of large-scale Lyapunov matrix equations with symmetric banded data has so far received little attention in the rich literature on Lyapunov equations. We aim to contribute to this open problem by introducing two efficient solution methods, which respectively address the cases of well conditioned and ill conditioned coefficient matrices. The proposed approaches conveniently exploit the possibly hidden structure of the solution matrix so as to deliver memory and computation saving approximate solutions. Numerical experiments are reported to illustrate the potential of the described methods.


title: Assessing Agile Transformation Success Factors

abstract: Research on success factors involved in the agile transformation process is not conclusive and there is still need for guidelines to help in the transformation process considering the organizational context (culture, values, needs, reality and goals). The usage of success factors as a tool to help agile adoption raises the following research question: What are the success factors for an organization and their teams in preparation for the agile transformation process? This research presents an assessment of the organizational environment including the company's goals and the perception of the team members to provide awareness of how the organization should prepare for the next steps in the agile transformation. The findings show that a company based in Chicago, USA, succeeded implementing customer involvement and self-organized teams but faces challenges with measurement models and training. The main contribution of the research is understand which success factors exist in their environment and how they can be used during agile adoption.


title: A distributed system for SearchOnMath based on the Microsoft BizSpark program

abstract: Mathematical information retrieval is a relatively new area, so the first search tools capable of retrieving mathematical formulas began to appear only a few years ago. The proposals made public so far mostly implement searches on internal university databases, small sets of scientific papers, or Wikipedia in English. As such, only modest computing power is required. In this context, SearchOnMath has emerged as a pioneering tool in that it indexes several different databases and is compatible with several mathematical representation languages. Given the significantly greater number of formulas it handles, a distributed system becomes necessary to support it. The present study is based on the Microsoft BizSpark program and has aimed, for 38 different distributed-system scenarios, to pinpoint the one affording the best response times when searching the SearchOnMath databases for a collection of 120 formulas.


title: A Nonthermal Radio Filament Connected to the Galactic Black Hole?

abstract: Using the Very Large Array, we have investigated a non-thermal radio filament (NTF) recently found very near the Galactic black hole and its radio counterpart, SgrA*. While this NTF -- the Sgr A West Filament (SgrAWF) -- shares many characteristics with the population of NTFs occupying the central few hundred parsecs of the Galaxy, the SgrAWF has the distinction of having an orientation and sky location that suggest an intimate physical connection to SgrA*. We present 3.3 and 5.5 cm images constructed using an innovative methodology that yields a very high dynamic range, providing an unprecedentedly clear picture of the SgrAWF. While the physical association of the SgrAWF with SgrA* is not unambiguous, the images decidedly evoke this interesting possibility. Assuming that the SgrAWF bears a physical relationship to SgrA*, we examine the potential implications. One is that SgrA* is a source of relativistic particles constrained to diffuse along ordered local field lines. The relativistic particles could also be fed into the local field by a collimated outflow from SgrA*, perhaps driven by the Poynting flux accompanying the black hole spin in the presence of a magnetic field threading the event horizon. Second, we consider the possibility that the SgrAWF is the manifestation of a low-mass-density cosmic string that has become anchored to the black hole. The simplest form of these hypotheses would predict that the filament be bi-directional, whereas the SgrAWF is only seen on one side of SgrA*, perhaps because of the dynamics of the local medium.


title: Converting topological insulators into topological metals within the tetradymite family

abstract: We report the electronic band structures and concomitant Fermi surfaces for a family of exfoliable tetradymite compounds with the formula $T_2$$Ch_2$$Pn$, obtained as a modification to the well-known topological insulator binaries Bi$_2$(Se,Te)$_3$ by replacing one chalcogen ($Ch$) with a pnictogen ($Pn$) and Bi with the tetravalent transition metals $T$ $=$ Ti, Zr, or Hf. This imbalances the electron count and results in layered metals characterized by relatively high carrier mobilities and bulk two-dimensional Fermi surfaces whose topography is well-described by first principles calculations. Intriguingly, slab electronic structure calculations predict Dirac-like surface states. In contrast to Bi$_2$Se$_3$, where the surface Dirac bands are at the $\Gamma-$point, for (Zr,Hf)$_2$Te$_2$(P,As) there are Dirac cones of strong topological character around both the $\bar {\Gamma}$- and $\bar {M}$-points which are above and below the Fermi energy, respectively. For Ti$_2$Te$_2$P the surface state is predicted to exist only around the $\bar {M}$-point. In agreement with these predictions, the surface states that are located below the Fermi energy are observed by angle resolved photoemission spectroscopy measurements, revealing that they coexist with the bulk metallic state. Thus, this family of materials provides a foundation upon which to develop novel phenomena that exploit both the bulk and surface states (e.g., topological superconductivity).


title: Latent Constrained Correlation Filter

abstract: Correlation filters are special classifiers designed for shift-invariant object recognition, which are robust to pattern distortions. The recent literature shows that combining a set of sub-filters trained based on a single or a small group of images obtains the best performance. The idea is equivalent to estimating variable distribution based on the data sampling (bagging), which can be interpreted as finding solutions (variable distribution approximation) directly from sampled data space. However, this methodology fails to account for the variations existed in the data. In this paper, we introduce an intermediate step -- solution sampling -- after the data sampling step to form a subspace, in which an optimal solution can be estimated. More specifically, we propose a new method, named latent constrained correlation filters (LCCF), by mapping the correlation filters to a given latent subspace, and develop a new learning framework in the latent subspace that embeds distribution-related constraints into the original problem. To solve the optimization problem, we introduce a subspace based alternating direction method of multipliers (SADMM), which is proven to converge at the saddle point. Our approach is successfully applied to three different tasks, including eye localization, car detection and object tracking. Extensive experiments demonstrate that LCCF outperforms the state-of-the-art methods. The source code will be publicly available. https://github.com/bczhangbczhang/.


title: Elastic metasurfaces for splitting SV- and P-waves in elastic solids

abstract: Although recent advances have made it possible to manipulate electromagnetic and acoustic wavefronts with sub-wavelength metasurface slabs, the design of elastodynamic counterparts remains challenging. We introduce a novel but simple design approach to control SV-waves in elastic solids. The proposed metasurface can be fabricated by cutting an array of aligned parallel cracks in a solid such that the materials between the cracks act as plate-like waveguides in the background medium. The plate array is capable of modulating the phase change of SV-wave while keeping the phase of P-wave unchanged. An analytical model for SV-wave incidence is established to calculate the transmission coefficient and the transmitted phase through the plate-like waveguide explicitly. A complete $2\pi$ range of phase delay is achieved by selecting different thicknesses for the plates. An elastic metasurface for splitting SV- and P-waves is designed and demonstrated using full wave finite element (FEM) simulations. Two metasurfaces for focusing plane and cylindrical SV-waves are also presented.


title: Full-Body Locomotion Reconstruction of Virtual Characters Using a Single IMU

abstract: This paper presents a method of reconstructing full-body locomotion sequences for virtual characters in real-time, using data from a single inertial measurement unit (IMU). This process can be characterized by its difficulty because of the need to reconstruct a high number of degrees of freedom (DOFs) from a very low number of DOFs. To solve such a complex problem, the presented method is divided into several steps. The user's full-body locomotion and the IMU's data are recorded simultaneously. Then, the data is preprocessed in such a way that would be handled more efficiently. By developing a hierarchical multivariate hidden Markov model with reactive interpolation functionality the system learns the structure of the motion sequences. Specifically, the phases of the locomotion sequence are assigned in the higher hierarchical level, and the frame structure of the motion sequences are assigned at the lower hierarchical level. During the runtime of the method, the forward algorithm is used for reconstructing the full-body motion of a virtual character. Firstly, the method predicts the phase where the input motion belongs (higher hierarchical level). Secondly, the method predicts the closest trajectories and their progression and interpolates the most probable of them to reconstruct the virtual character's full-body motion (lower hierarchical level). Evaluating the proposed method shows that it works on reasonable framerates and minimizes the reconstruction errors compared with previous approaches.


title: Interface-resolved simulations of particle suspensions in Newtonian, shear thinning and shear thickening carrier fluids

abstract: We present a numerical study of noncolloidal spherical and rigid particles suspended in Newtonian, shear thinning and shear thickening fluids employing an Immersed Boundary Method. We consider a linear Couette configuration to explore a wide range of solid volume fractions ($0.1\le \Phi \le 0.4$) and particle Reynolds Numbers ($0.1\le Re_p \le 10$). We report the distribution of solid and fluid phase velocity and solid volume fraction and show that close to the boundaries inertial effects result in a significant slip velocity between the solid and fluid phase. The local solid volume fraction profiles indicate particle layering close to the walls, which increases with the nominal $\Phi$. This feature is associated with the confinement effects. We calculate the probability density function of local strain rates and compare their mean value with the values estimated from the homogenization theory of \cite{Chateau08}, indicating a reasonable agreement in the Stokesian regimes. Both the mean value and standard deviation of the local strain rates increase primarily with the solid volume fraction and secondarily with the $Re_p$. The wide spectrum of the local shear rate and its dependency on $\Phi$ and $Re_p$ points to the deficiencies of the mean value of the local shear rates in estimating the rheology of these noncolloidal complex suspensions. Finally, we show that in the presence of inertia, the effective viscosity of these noncolloidal suspensions deviates from that of Stokesian suspensions. We discuss how inertia affects the microstructure and provide a scaling argument to give a closure for the suspension shear stress for both Newtonian and power-law suspending fluids. The stress closure is valid for moderate particle Reynolds numbers, $ O(Re_p)\sim 10$.


title: Induced Dirac-Schr\"odinger operators on $S^1$-semi-free quotients

abstract: John Lott has computed an integer-valued signature for the orbit space of a compact orientable $(4k+1)$ manifold with a semi-free $S^1$-action, which is a homotopy invariant of that space, but he did not construct a Dirac type operator which has this signature as its index. In this Thesis, we construct such operator on the orbit space, a Thom-Mather stratified space with one singular stratum of positive dimension, and we show that it is essentially unique and that its index coincides with Lott's signature, at least when the stratified space satisfies the so called Witt condition. We call this operator the induced Dirac-Schr\"odinger operator. The strategy of the construction is to "push down" an appropriate $S^1$-invariant first order transversally elliptic operator to the quotient space. The Witt condition, a topological condition which in this case depends on the codimension of the fixed point set, has various analytic consequences. In particular, when not satisfied, the Hodge-de Rham operator on the quotient space does not need to be essentially self-adjoint and therefore a choice of boundary conditions is required. This choice freedom is not natural in view of the fact that Lott's signature is well defined independently of the Witt condition. The Dirac-Schr\"odinger operator constructed in this Thesis differs from the Hodge-de Rham operator by a zero order term which ensures it to be essentially self-adjoint. Moreover, this zero order term anti-commutes with the chirality involution allowing the whole operator to split so that the index can be computed even if the Witt condition is not satisfied.


title: Cohen-Macaulay invariant subalgebras of Hopf dense Galois extensions

abstract: Let $H$ be a semisimple Hopf algebra, and let $R$ be a noetherian left $H$-module algebra. If $R/R^H$ is a right $H^*$-dense Galois extension, then the invariant subalgebra $R^H$ will inherit the AS-Cohen-Macaulay property from $R$ under some mild conditions, and $R$, when viewed as a right $R^H$-module, is a Cohen-Macaulay module. In particular, we show that if $R$ is a noetherian complete semilocal algebra which is AS-regular of global dimension 2 and $H=\operatorname{\bf k} G$ for some finite subgroup $G\subseteq Aut(R)$, then all the indecomposable Cohen-Macaulay module of $R^H$ is a direct summand of $R_{R^H}$, and hence $R^H$ is Cohen-Macaulay-finite, which generalizes a classical result for commutative rings. The main tool used in the paper is the extension groups of objects in the corresponding quotient categories.


title: Discreteness of dyonic dilaton black holes

abstract: We show that there are two classes of solutions that describe static spherically symmetric dyonic dilaton black holes with two nonsingular horizons. The first class includes only the already known solutions that exist for a few special values of the dilaton coupling constant. Solutions belonging to the second class have essentially different properties. They exist for continuously varying values of the dilaton coupling constant, but arise only for discrete values of the dilaton field at the horizon. For each given value of the dilaton coupling constant, there may exist several such solutions differing by the number of zeros of the shifted dilaton function in the subhorizon region and separating the domains of singular solutions.


title: An efficient streaming algorithm for spectral proper orthogonal decomposition

abstract: A streaming algorithm to compute the spectral proper orthogonal decomposition (SPOD) of stationary random processes is presented. As new data becomes available, an incremental update of the truncated eigenbasis of the estimated cross-spectral density (CSD) matrix is performed. The algorithm converges orthogonal sets of SPOD modes at discrete frequencies that are optimally ranked in terms of energy. We define measures of error and convergence, and demonstrate the algorithm's performance on two datasets. The first example is that of a high-fidelity numerical simulation of a turbulent jet, and the second optical flow data obtained from high-speed camera recordings of a stepped spillway experiment. For both cases, the most energetic SPOD modes are reliably converged. The algorithm's low memory requirement enable real-time deployment and allow for the convergence of second-order statistics from arbitrarily long streams of data.


title: Phase behavior in petroleum fluids (A Detailed Descriptive and Illustrative Account)

abstract: This chapter presents a descriptive and illustrative account of phase behavior in the seven naturally occurring petroleum fluids and ties all the known eleven phase-transition concepts in a unified narrative. The figures and tables contained in this report are designed so that they could effectively support the discussion about molecular make-up of petroleum fluids, P- and T-effects on phase behavior and phase transition points. Seven naturally occurring hydrocarbon fluids are known as petroleum fluids. They include, in the order of their fluidity, natural gas, gas-condensate (NGL), light crude, intermediate crude, heavy oil, tar sand and oil shale. In this report we present a generalized description of the various phase transitions, which may occur in petroleum fluids with emphasis on heavy organics deposition. At first the nature of every petroleum fluid is presented. Their constituents including their socalled impurities are identified and categorized. Heavy fractions in petroleum fluids are discussed and their main families of constituents are presented including petroleum wax, diamondoids, asphaltenes and petroleum resins. Then the generalized petroleum fluids phase behavior is discussed in light of the known theory of phase transitions. The effects of variations of composition, temperature and pressure on the phase behavior of petroleum fluids are introduced. Finally eleven distinct phase-transition points of petroleum fluids are presented and their relation with state variables and constituents of petroleum fluids are identified. This report is to generalize and relate phase behaviors of all the seven naturally occurring petroleum fluids into a unified perspective. This work is the basis to develop a comprehensive computational model for phase behavior prediction of all the petroleum fluids, which is of major interest in the petroleum industry.


title: Permutation-equivariant quantum K-theory XI. Quantum Adams-Riemann-Roch

abstract: We introduce twisted permutation-equivariant GW-invariants, and compute them in terms of untwisted ones. The computation is based on Grothendieck-like RR formula corresponding to Adams' operations from K-theory to itself, and the result can be understood as a "quantum" version of such Adams-RR. As in the case of cohomological quantum RR theorem [3], the result is applied to express the invariants of bundle and super-bundle spaces in terms of those of the base. The bonus feature of permutation-equivariant K-theory is that the twisting classes can be understood as the simpler kappa-classes of Kabanov--Kimura [9].


title: HAWC response to atmospheric electricity activity

abstract: The HAWC Gamma Ray observatory consists of 300 water Cherenkov detectors (WCD) instrumented with four photo multipliers tubes (PMT) per WCD. HAWC is located between two of the highest mountains in Mexico. The high altitude (4100 m asl), the relatively short distance to the Gulf of Mexico (~100 km), the large detecting area (22 000 m$^2$) and its high sensitivity, make HAWC a good instrument to explore the acceleration of particles due to the electric fields existing inside storm clouds. In particular, the scaler system of HAWC records the output of each one of the 1200 PMTs as well as the 2, 3, and 4-fold multiplicities (logic AND in a time window of 30 ns) of each WCD with a sampling rate of 40 Hz. Using the scaler data, we have identified 20 enhancements of the observed rate during periods when storm clouds were over HAWC but without cloud-earth discharges. These enhancements can be produced by electrons with energy of tens of MeV, accelerated by the electric fields of tens of kV/m measured at the site during the storm periods. In this work, we present the recorded data, the method of analysis and our preliminary conclusions on the electron acceleration by the electric fields inside the clouds.


title: Building machines that adapt and compute like brains

abstract: Building machines that learn and think like humans is essential not only for cognitive science, but also for computational neuroscience, whose ultimate goal is to understand how cognition is implemented in biological brains. A new cognitive computational neuroscience should build cognitive-level and neural- level models, understand their relationships, and test both types of models with both brain and behavioral data.


title: Automatic Extraction of Commonsense LocatedNear Knowledge

abstract: LocatedNear relation is a kind of commonsense knowledge describing two physical objects that are typically found near each other in real life. In this paper, we study how to automatically extract such relationship through a sentence-level relation classifier and aggregating the scores of entity pairs from a large corpus. Also, we release two benchmark datasets for evaluation and future research.


title: KIC 8462852 Brightness Pattern Repeating Every 1600 Days

abstract: Observations of KIC 8462852 (aka Boyajian's Star) reveal a yearlong fade pattern that is remarkably similar to the fade pattern derived from Kepler mission observations. The ground-based observations reported here can be described as a gradual fade that ended in late 2016 with the beginning of a yearlong U-shaped fade of 1.1 percent. Near the end of this U-shaped fade a series of very brief dips occurred. The Kepler data exhibit a similar pattern 1600 days earlier, except with an abrupt end of observations before the U-shape recovery. Observations lasting many years are needed, especially during our predicted repeat of the U-shape and short dip pattern in 2021.


title: Rationality of Poincar\'e Series for a Family of Lattice Simplices

abstract: We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincar\'e series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denominator of the finely-graded Poincar\'e series. Using this resolution, we show that these algebras are not Koszul, and therefore rationality is non-trivial. Our results demonstrate how interactions between multivariate and univariate rational generating functions can create subtle complications when attempting to use rational Poincar\'e series to inform the construction of minimal resolutions.


title: Spatial Channel Covariance Estimation for the Hybrid MIMO Architecture: A Compressive Sensing Based Approach

abstract: Spatial channel covariance information can replace full knowledge of the entire channel matrix for designing analog precoders in hybrid multiple-input-multiple-output (MIMO) architecture. Spatial channel covariance estimation, however, is challenging for the hybrid MIMO architecture because the estimator operating at baseband can only obtain a lower dimensional pre-combined signal through fewer radio frequency (RF) chains than antennas. In this paper, we propose two approaches for covariance estimation based on compressive sensing techniques. One is to apply a time-varying sensing matrix, and the other is to exploit the prior knowledge that the covariance matrix is Hermitian. We present the rationale of the two ideas and validate the superiority of the proposed methods by theoretical analysis and numerical simulations. We conclude the paper by extending the proposed algorithms from narrowband massive MIMO systems with a single receive antenna to wideband systems with multiple receive antennas.


title: Practical Scalability for Stackelberg Security Games

abstract: Stackelberg Security Games (SSGs) have been adopted widely for modeling adversarial interactions. With increasing size of the applications of SSGs, scalability of equilibrium computation is an important research problem. While prior research has made progress with regards to scalability, many real world problems cannot be solved satisfactorily yet as per current requirements; these include the deployed federal air marshals (FAMS) application and the threat screening (TSG) problem at airports. Further, these problem domains are inherently limited by NP hardness shown in prior literature. We initiate a principled study of approximations in zero-sum SSGs. Our contribution includes the following: (1) a unified model of SSGs called adversarial randomized allocation (ARA) games that allows studying most SSGs in one model, (2) hardness of approximation results for zero-sum ARA, as well as for the sub-problem of allocating federal air marshal (FAMS) and threat screening problem (TSG) at airports, (3) an approximation framework for zero-sum ARA with provable approximation guarantees and (4) experiments demonstrating the significant scalability of up to 1000x improvement in runtime with an acceptable 5% solution quality loss.


title: What is quantum mechanics? A minimal formulation

abstract: This paper presents a minimal formulation of nonrelativistic quantum mechanics, by which is meant a formulation which describes the theory in a succinct, self-contained, clear, unambiguous and of course correct manner. The bulk of the presentation is the so-called \lq microscopic theory' (MIQM), applicable to any closed system $S$ of arbitrary size $N$, using concepts referring to $S$ alone, without resort to external apparatus or external agents. An example of a similar minimal microscopic theory is the standard formulation of classical mechanics, which serves as the template for a minimal quantum theory. The only substantive assumption required is the replacement of the classical Euclidean phase space by Hilbert space in the quantum case, with the attendant all-important phenomenon of quantum incompatibility. Two fundamental theorems of Hilbert space, the Kochen-Specker-Bell theorem and Gleason's theorem, then lead inevitably to the well-known Born probability rule. For both classical and quantum mechanics, questions of physical implementation and experimental verification of the predictions of the theories are the domain of the macroscopic theory, which is argued to be a special case or application of the more general microscopic theory.


title: On the favorite points of symmetric L\'evy processes

abstract: This paper is concerned with asymptotic behavior (at zero and at infinity) of the favorite points of L\'evy processes. By exploring Molchan's idea for deriving lower tail probabilities of Gaussian processes with stationary increments, we extend the result of Marcus (2001) on the favorite points to a larger class of symmetric L\'evy processes.


title: Convergence of Hierarchical Clustering and Persistent Homology Methods on Directed Networks

abstract: While there has been much interest in adapting conventional clustering procedures---and in higher dimensions, persistent homology methods---to directed networks, little is known about the convergence of such methods. In order to even formulate the problem of convergence for such methods, one needs to stipulate a reasonable model for a directed network together with a flexible sampling theory for such a model. In this paper we propose and study a particular model of directed networks, and use this model to study the convergence of certain hierarchical clustering and persistent homology methods that accept any matrix of (possibly asymmetric) pairwise relations as input and produce dendrograms and persistence barcodes as outputs. We show that as points are sampled from some probability distribution, the output of each method converges almost surely to a dendrogram/barcode depending on the structure of the distribution.


title: Heat dissipation in the quasiballistic regime studied using Boltzmann equation in the spatial frequency domain

abstract: Quasiballistic heat conduction, in which some phonons propagate ballistically over a thermal gradient, has recently become of intense interest. Most works report that the thermal resistance associated with nanoscale heat sources is far larger than predicted by Fourier's law, however, recent experiments show that in certain cases the difference is negligible despite the heaters being far smaller than phonon mean free paths. In this work, we examine how thermal resistance depends on the heater geometry using analytical solutions of the Boltzmann equation. We show that the spatial frequencies of the heater pattern play the key role in setting the thermal resistance rather than any single geometric parameter, and that for many geometries the thermal resistance in the quasiballistic regime is no different than the Fourier prediction. We also demonstrate that the spectral distribution of the heat source also plays a major role in the resulting transport, unlike in the diffusion regime. Our work provides an intuitive link between the heater geometry, spectral heating distribution, and the effective thermal resistance in the quasiballistic regime, a finding that could impact strategies for thermal management in electronics and other applications.


title: Skyline Identification in Multi-Armed Bandits

abstract: We introduce a variant of the classical PAC multi-armed bandit problem. There is an ordered set of $n$ arms $A[1],\dots,A[n]$, each with some stochastic reward drawn from some unknown bounded distribution. The goal is to identify the $skyline$ of the set $A$, consisting of all arms $A[i]$ such that $A[i]$ has larger expected reward than all lower-numbered arms $A[1],\dots,A[i-1]$. We define a natural notion of an $\varepsilon$-approximate skyline and prove matching upper and lower bounds for identifying an $\varepsilon$-skyline. Specifically, we show that in order to identify an $\varepsilon$-skyline from among $n$ arms with probability $1-\delta$, $$ \Theta\bigg(\frac{n}{\varepsilon^2} \cdot \min\bigg\{ \log\bigg(\frac{1}{\varepsilon \delta}\bigg), \log\bigg(\frac{n}{\delta}\bigg) \bigg\} \bigg) $$ samples are necessary and sufficient. When $\varepsilon \gg 1/n$, our results improve over the naive algorithm, which draws enough samples to approximate the expected reward of every arm; the algorithm of (Auer et al., AISTATS'16) for Pareto-optimal arm identification is likewise superseded. Our results show that the sample complexity of the skyline problem lies strictly in between that of best arm identification (Even-Dar et al., COLT'02) and that of approximating the expected reward of every arm.


title: BP-STDP: Approximating Backpropagation using Spike Timing Dependent Plasticity

abstract: The problem of training spiking neural networks (SNNs) is a necessary precondition to understanding computations within the brain, a field still in its infancy. Previous work has shown that supervised learning in multi-layer SNNs enables bio-inspired networks to recognize patterns of stimuli through hierarchical feature acquisition. Although gradient descent has shown impressive performance in multi-layer (and deep) SNNs, it is generally not considered biologically plausible and is also computationally expensive. This paper proposes a novel supervised learning approach based on an event-based spike-timing-dependent plasticity (STDP) rule embedded in a network of integrate-and-fire (IF) neurons. The proposed temporally local learning rule follows the backpropagation weight change updates applied at each time step. This approach enjoys benefits of both accurate gradient descent and temporally local, efficient STDP. Thus, this method is able to address some open questions regarding accurate and efficient computations that occur in the brain. The experimental results on the XOR problem, the Iris data, and the MNIST dataset demonstrate that the proposed SNN performs as successfully as the traditional NNs. Our approach also compares favorably with the state-of-the-art multi-layer SNNs.


title: Near-field three-terminal thermoelectric heat engine

abstract: We propose a near-field inelastic thermoelectric heat engine where quantum-dots are used to effectively rectify the charge flow of photo-carriers. The device converts near-field heat radiation into useful electrical power. Heat absorption and inelastic transport can be enhanced by introducing two continuous spectra separated by an energy gap. The thermoelectric transport properties of the heat engine are studied in the linear-response regime. Using a small band-gap semiconductor as the absorption material, we show that the device achieves very large thermopower and thermoelectric figure-of-merit, as well as considerable power-factor. By analyzing thermal-photo-carrier generation and conduction, we reveal that the Seebeck coefficient and the figure of merit have oscillatory dependence on the thickness of the vacuum gap. Meanwhile, the power-factor, the charge and thermal conductivity are significantly improved by near-field radiation. Conditions and guiding principles for powerful and efficient thermoelectric heat engines are discussed in details.


title: Coordination Technology for Active Support Networks: Context, Needfinding, and Design

abstract: Coordination is a key problem for addressing goal-action gaps in many human endeavors. We define interpersonal coordination as a type of communicative action characterized by low interpersonal belief and goal conflict. Such situations are particularly well described as having collectively "intelligent", "common good" solutions, viz., ones that almost everyone would agree constitute social improvements. Coordination is useful across the spectrum of interpersonal communication -- from isolated individuals to organizational teams. Much attention has been paid to coordination in teams and organizations. In this paper we focus on the looser interpersonal structures we call active support networks (ASNs), and on technology that meets their needs. We describe two needfinding investigations focused on social support, which examined (a) four application areas for improving coordination in ASNs: (i) academic coaching, (ii) vocational training, (iii) early learning intervention, and (iv) volunteer coordination; and (b) existing technology relevant to ASNs. We find a thus-far unmet need for personal task management software that allows smooth integration with an individual's active support network. Based on identified needs, we then describe an open architecture for coordination that has been developed into working software. The design includes a set of capabilities we call "social prompting," as well as templates for accomplishing multi-task goals, and an engine that controls coordination in the network. The resulting tool is currently available and in continuing development. We explain its use in ASNs with an example. Follow-up studies are underway in which the technology is being applied in existing support networks.


title: Observations of nonlinear eigen-states, localized versus non-imaging modal response of contact structures

abstract: In scientific inquiry of small scale energy and transition events, the effect of an observer on the measurement can be substantial. Similarly, the methods of observation can create entirely different understandings of the system behavior, discussed here on a macro scale. An example using laser vibrometry analysis of nonlinear clattering contact of armor plate shows the difference between the common measurement-at-a-point compared to measuring the system dynamics from the simultaneous behavior of the entire structure which can be useful for remote identification of these ground and air vehicles. The former pencil-thin laser technique fits the keep-it-simple maxim but hides crucial coupling data. With careful observation methods it is possible to measure the structural modal frequencies and calculate the transition probabilities between these discrete modes. This work shows the genesis of what is sometimes called 1/f "noise" which is explained by Zienkiewicz and shown by analysis and simulation herein - that the energy of the essentially discrete structural vibration modes decreases with increasing mode number (and frequency).


title: Nodal-line dynamics via exact polynomial solutions for coherent waves traversing aberrated imaging systems

abstract: We obtain exact polynomial solutions for two-dimensional coherent complex scalar fields propagating through arbitrary aberrated shift-invariant linear imaging systems. These are used to model nodal-line dynamics of coherent fields output by such systems.


title: Closed-form Solutions of Relativistic Black-Scholes Equations

abstract: Drawing insights from the triumph of relativistic over classical mechanics when velocities approach the speed of light, we explore a similar improvement to the seminal Black-Scholes (Black and Scholes (1973)) option pricing formula by considering a relativist version of it, and then finding a respective solution. We show that our solution offers a significant improvement over competing solutions (e.g., Romero and Zubieta-Martinez (2016)), and obtain a new closed-form option pricing formula, containing the speed limit of information transfer c as a new parameter. The new formula is rigorously shown to converge to the Black-Scholes formula as c goes to infinity. When c is finite, the new formula can flatten the standard volatility smile which is more consistent with empirical observations. In addition, an alternative family of distributions for stock prices arises from our new formula, which offer a better fit, are shown to converge to lognormal, and help to better explain the volatility skew.


title: An Unstructured Mesh Convergent Reaction-Diffusion Master Equation for Reversible Reactions

abstract: The convergent reaction-diffusion master equation (CRDME) was recently developed to provide a lattice particle-based stochastic reaction-diffusion model that is a convergent approximation in the lattice spacing to an underlying spatially-continuous particle dynamics model. The CRDME was designed to be identical to the popular lattice reaction-diffusion master equation (RDME) model for systems with only linear reactions, while overcoming the RDME's loss of bimolecular reaction effects as the lattice spacing is taken to zero. In our original work we developed the CRDME to handle bimolecular association reactions on Cartesian grids. In this work we develop several extensions to the CRDME to facilitate the modeling of cellular processes within realistic biological domains. Foremost, we extend the CRDME to handle reversible bimolecular reactions on unstructured grids. Here we develop a generalized CRDME through discretization of the spatially continuous volume reactivity model, extending the CRDME to encompass a larger variety of particle-particle interactions. Finally, we conclude by examining several numerical examples to demonstrate the convergence and accuracy of the CRDME in approximating the volume reactivity model.


title: Phase space analysis of a FRW cosmology in the Maxwell$-$Cattaneo approach

abstract: In this work, we present a phase space analysis of a spatially flat Friedmann $-$Robertson$-$Walker (FRW) model in which the dark matter fluid is modeled as an imperfect fluid having bulk viscosity. The bulk viscosity is governed by the Maxwell$-$Cattaneo approach. The rest of the components of the model: radiation and dark energy are treated as perfect fluids. Imposing a complete cosmological dynamics and taking into account a recent constraint on the dark matter equation of state (EOS), we obtain bound on the bulk viscosity. The results point towards the possibility of describing not only the current speed up of the Universe but also the previous matter and radiation dominated eras.


title: Effect of Rotation on Elastic Moduli of Solid $^4$He

abstract: We report measurements of elastic moduli of hcp solid $^4$He down to 15 mK when the samples are rotated unidirectionally. Recent investigations have revealed that the elastic behavior of solid $^4$He is dominated by gliding of dislocations and pinning of them by $^3$He impurities, which move in the solid like Bloch waves (impuritons). Motivated by the recent controversy of torsional oscillator studies, we have preformed direct measurements of shear and Young's moduli of annular solid $^4$He using pairs of quarter-circle shape piezoelectric transducers (PZTs) while the whole apparatus is rotated with angular velocity $\Omega$ up to 4 rad/s. We have found that shear modulus $\mu$ is suppressed by rotation below 80 mK, when shear strain applied by PZT exceeds a critical value, above which $\mu$ decreases because the shear strain unbinds dislocations from $^3$He impurities. The rotation - induced decrement of $\mu$ at $\Omega = 4$ rad/s is about 14.7 (12.3) % of the total change of temperature dependent $\mu$ for solid samples of pressure 3.6 (5.4) MPa. The decrements indicate that the probability of pinning of $^3$He on dislocation segment, $G$, decreases by several orders of magnitude. We propose that the motion of $^3$He impuritons under rotation becomes strongly anisotropic by the Coriolis force, resulting a decrease in $G$ for dislocation lines aligning parallel to the rotation axis.


title: Anomalous Hall conductivity and electronic structures of Si-substituted Mn$_{2}$CoAl epitaxial films

abstract: We study anomalous Hall conductivity ($\sigma$$_{\rm AHC}$) and electronic band structures of Si-substituted Mn$_{2}$CoAl (Mn$_{2}$CoAl$_{1-x}$Si$_{x}$). First-principles calculations reveal that the electronic band structure is like a spin-gapless system even after substituting a quaternary element of Si for Al up to $x = $0.2 in Mn$_{2}$CoAl$_{1-x}$Si$_{x}$. This means that the Si substitution enables the Fermi level shift without largely changing the electronic structures in Mn$_{2}$CoAl. By using molecular beam epitaxy (MBE) techniques, Mn$_{2}$CoAl$_{1-x}$Si$_{x}$ epitaxial films can be grown, leading to the systematic control of $x$ (0 $\le$ $x$ $\le$ 0.3). In addition to the electrical conductivity, the values of $\sigma$$_{\rm AHC}$ for the Mn$_{2}$CoAl$_{1-x}$Si$_{x}$ films are similar to those in Mn$_{2}$CoAl films shown in previous reports. We note that a very small $\sigma$$_{\rm AHC}$ of $\sim$ 1.1 S/cm is obtained for $x =$ 0.225 and the sign of $\sigma$$_{\rm AHC}$ is changed from positive to negative at around $x =$ 0.25. We discuss the origin of the sign reversal of $\sigma$$_{\rm AHC}$ as a consequence of the Fermi level shift in MCA. Considering the presence of the structural disorder in the Mn$_{2}$CoAl$_{1-x}$Si$_{x}$ films, we can conclude that the small value and sign reversal of $\sigma$$_{\rm AHC}$ are not related to the characteristics of spin-gapless semiconductors.


title: Near Time-Optimal Feedback Instantaneous Impact Point (IIP) Guidance Law for Rocket

abstract: This paper proposes a feedback guidance law to move the instantaneous impact point (IIP) of a rocket to a desired location. Analytic expressions relating the time derivatives of an IIP with the external acceleration of the rocket are introduced. A near time-optimal feedback-form guidance law to determine the direction of the acceleration for guiding the IIP is developed using the de-rivative expressions. The effectiveness of the proposed guidance law, in comparison with the results of open-loop trajectory optimization, was demonstrated through IIP pointing case studies.


title: Continuous-variable measurement-device-independent quantum key distribution with virtual photon subtraction

abstract: The method of improving the performance of continuous-variable quantum key distribution protocols by post-selection has been recently proposed and verified. In continuous-variable measurement-device-independent quantum key distribution (CV-MDI QKD) protocols, the measurement results are obtained from untrusted third party Charlie. There is still not an effective method of improving CV-MDI QKD by the post-selection with untrusted measurement. We propose a method to improve the performance of coherent-state CV-MDI QKD protocol by non-Gaussian post-selection. The non-Gaussian post-selection of transmitted data is equivalent to an ideal photon subtraction on the two-mode squeezed vacuum state, which is favorable to enhance the performance of CV-MDI QKD. In CV-MDI QKD protocol with non-Gaussian post-selection, two users select their own data independently. We demonstrate that the optimal performance of the renovated CV-MDI QKD protocol is obtained with the transmitted data only selected by Alice. By setting appropriate parameters of the non-Gaussian post-selection, the secret key rate and tolerable excess noise are both improved at long transmission distance. The method provides an effective optimization scheme for the application of CV-MDI QKD protocols.


title: AON: Towards Arbitrarily-Oriented Text Recognition

abstract: Recognizing text from natural images is a hot research topic in computer vision due to its various applications. Despite the enduring research of several decades on optical character recognition (OCR), recognizing texts from natural images is still a challenging task. This is because scene texts are often in irregular (e.g. curved, arbitrarily-oriented or seriously distorted) arrangements, which have not yet been well addressed in the literature. Existing methods on text recognition mainly work with regular (horizontal and frontal) texts and cannot be trivially generalized to handle irregular texts. In this paper, we develop the arbitrary orientation network (AON) to directly capture the deep features of irregular texts, which are combined into an attention-based decoder to generate character sequence. The whole network can be trained end-to-end by using only images and word-level annotations. Extensive experiments on various benchmarks, including the CUTE80, SVT-Perspective, IIIT5k, SVT and ICDAR datasets, show that the proposed AON-based method achieves the-state-of-the-art performance in irregular datasets, and is comparable to major existing methods in regular datasets.


title: Phase-and-amplitude recovery from a single phase contrast image using partially spatially coherent X-ray radiation

abstract: A simple method of phase-and-amplitude extraction is derived that corrects for image blurring induced by partially spatially coherent incident illumination using only a single intensity image as input. The method is based on Fresnel diffraction theory for the case of high Fresnel number, merged with the space-frequency description formalism used to quantify partially coherent fields and assumes the object under study is composed of a single material. A priori knowledge of the object's complex refractive index and information obtained by characterizing the spatial coherence of the source is required. The algorithm was applied to propagation-based phase contrast data measured with a laboratory-based micro-focus X-ray source. The blurring due to the finite spatial extent of the source is embedded within the algorithm as a simple correction term to the so-called Paganin algorithm and is also numerically stable in the presence of noise.


title: A Finite Rank Bundle over $J$-Holomorphic map Moduli Spaces

abstract: We study a finite rank bundle $\mathbf{F}$ over a neighborhood of $J$-Holomorphic map Moduli Spaces, prove the exponential decay of the derivative of the gluing maps for $\mathbf{F}$ with respect to the gluing parameter.


abstract: The diffusive Beddington-DeAngelis predator-prey model with nonlinear prey-taxis and free boundary is considered. We investigate the existence and uniqueness, regularity and uniform estimates, and long time behavior of the global solution. Some sufficient conditions for both spreading and vanishing are established.


title: Multipartite entanglement of fermionic systems in noninertial frames revisited

abstract: In this work we have revisited a few principal formulae about one-tangle of multipartite entanglement of fermionic systems in noninertial frames calculated in the paper [Phys. Rev. A 83, 022314(2011)] and given their correct expressions.


title: Syntax-Directed Attention for Neural Machine Translation

abstract: Attention mechanism, including global attention and local attention, plays a key role in neural machine translation (NMT). Global attention attends to all source words for word prediction. In comparison, local attention selectively looks at fixed-window source words. However, alignment weights for the current target word often decrease to the left and right by linear distance centering on the aligned source position and neglect syntax-directed distance constraints. In this paper, we extend local attention with syntax-distance constraint, to focus on syntactically related source words with the predicted target word, thus learning a more effective context vector for word prediction. Moreover, we further propose a double context NMT architecture, which consists of a global context vector and a syntax-directed context vector over the global attention, to provide more translation performance for NMT from source representation. The experiments on the large-scale Chinese-to-English and English-to-Germen translation tasks show that the proposed approach achieves a substantial and significant improvement over the baseline system.


title: On $2$-cycles of graphs

abstract: Let $G=(V,E)$ be a finite undirected graph. Orient the edges of $G$ in an arbitrary way. A $2$-cycle on $G$ is a function $d : E^2\to \mathbb{Z}$ such for each edge $e$, $d(e, \cdot)$ and $d(\cdot, e)$ are circulations on $G$, and $d(e, f) = 0$ whenever $e$ and $f$ have a common vertex. We show that each $2$-cycle is a sum of three special types of $2$-cycles: cycle-pair $2$-cycles, Kuratowski $2$-cycles, and quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each $2$-cycle is a sum of cycle-pair $2$-cycles and at most one Kuratowski $2$-cycle. Furthermore, if $G$ is Kuratowski connected, we characterize when every Kuratowski $2$-cycle is a sum of cycle-pair $2$-cycles. A $2$-cycles $d$ on $G$ is skew-symmetric if $d(e,f) = -d(f,e)$ for all edges $e,f\in E$. We show that each $2$-cycle is a sum of two special types of skew-symmetric $2$-cycles: skew-symmetric cycle-pair $2$-cycles and skew-symmetric quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each skew-symmetric $2$-cycle is a sum of skew-symmetric cycle-pair $2$-cycles. Similar results like this had previously been obtained by one of the authors for symmetric $2$-cycles. Symmetric $2$-cycles are $2$-cycles $d$ such that $d(e,f)=d(f,e)$ for all edges $e,f\in E$.


title: Gonality of dynatomic curves and strong uniform boundedness of preperiodic points

abstract: Fix $d \ge 2$ and a field $k$ such that $\mathrm{char}~k \nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^d+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for preperiodic points of $z^d+c$. It also has consequences over number fields: it implies strong uniform boundedness for preperiodic points of bounded eventual period, which in turn reduces the full conjecture for preperiodic points to the conjecture for periodic points.


title: Hamiltonian consistency of the gravitational constraint algebra under deformations

abstract: The importance of the first-class constraint algebra of general relativity is not limited just by its self-contained description of the gauge nature of spacetime, but it also provides conditions to properly evolve the geometry by selecting a gauge only once throughout the whole evolution of a gravitational system. This must be a property of all background independent theories. In this paper we consider gravitational theories which arise from deformations of the fundamental canonical variables of general relativity where the proposed deformations are inspired by modifications of gravity. These variable deformations result in new theories when the deformation is not a canonical transformation. The new theory must preserve the first-class structure of the algebra, which is a non-trivial restriction for generic deformations. In this vein we present a general deformation scheme along with consistency conditions, so that the algebra of constraints is still satisfied in the resulting theory. This is illustrated both in metric theory as well as in tetrad theory.


title: Bitcoin and quantum computing

abstract: Bitcoin is a digital currency and payment system based on classical cryptographic technologies which works without a central administrator such as in traditional currencies. It has long been questioned what the impact of quantum computing would be on Bitcoin, and cryptocurrencies in general. Here, we analyse three primary directions that quantum computers might have an impact in: mining, security, and forks. We find that in the near-term the impact of quantum computers appear to be rather small for all three directions. The impact of quantum computers would require considerably larger number of qubits and breakthroughs in quantum algorithms to reverse existing hash functions.


title: Harmonic density interpolation methods for high-order evaluation of Laplace layer potentials in 2D and 3D

abstract: We present an effective harmonic density interpolation method for the numerical evaluation of singular and nearly singular Laplace boundary integral operators and layer potentials in two and three spatial dimensions. The method relies on the use of Green's third identity and local Taylor-like interpolations of density functions in terms of harmonic polynomials. The proposed technique effectively regularizes the singularities present in boundary integral operators and layer potentials, and recasts the latter in terms of integrands that are bounded or even more regular, depending on the order of the density interpolation. The resulting boundary integrals can then be easily, accurately, and inexpensively evaluated by means of standard quadrature rules. A variety of numerical examples demonstrate the effectiveness of the technique when used in conjunction with the classical trapezoidal rule (to integrate over smooth curves) in two-dimensions, and with a Chebyshev-type quadrature rule (to integrate over surfaces given as unions of non-overlapping quadrilateral patches) in three-dimensions.


title: D-PCN: Parallel Convolutional Networks for Image Recognition via a Discriminator

abstract: In this paper, we introduce a simple but quite effective recognition framework dubbed D-PCN, aiming at enhancing feature extracting ability of CNN. The framework consists of two parallel CNNs, a discriminator and an extra classifier which takes integrated features from parallel networks and gives final prediction. The discriminator is core which drives parallel networks to focus on different regions and learn complementary representations. The corresponding joint training strategy is introduced which ensures the utilization of discriminator. We validate D-PCN with several CNN models on two benchmark datasets: CIFAR-100 and ImageNet32x32, D-PCN enhances all models. In particular it yields state of the art performance on CIFAR-100 compared with related works. We also conduct visualization experiment on fine-grained Stanford Dogs dataset and verify our motivation. Additionally, we apply D-PCN for segmentation on PASCAL VOC 2012 and also find promotion.


title: Robust Kullback-Leibler Divergence and Universal Hypothesis Testing for Continuous Distributions

abstract: Universal hypothesis testing refers to the problem of deciding whether samples come from a nominal distribution or an unknown distribution that is different from the nominal distribution. Hoeffding's test, whose test statistic is equivalent to the empirical Kullback-Leibler divergence (KLD), is known to be asymptotically optimal for distributions defined on finite alphabets. With continuous observations, however, the discontinuity of the KLD in the distribution functions results in significant complications for universal hypothesis testing. This paper introduces a robust version of the classical KLD, defined as the KLD from a distribution to the L'evy ball of a known distribution. This robust KLD is shown to be continuous in the underlying distribution function with respect to the weak convergence. The continuity property enables the development of a universal hypothesis test for continuous observations that is shown to be asymptotically optimal for continuous distributions in the same sense as that of the Hoeffding's test for discrete distributions.


title: Superhyperfine interactions in Ce3+ doped LiYF4 crystal: ENDOR measurements

abstract: The first observation of the resolved Mims electron-nuclear double resonance (ENDOR) spectra from the nearby and remote nuclei of 19F and 7Li nuclei on impurity Ce3+ ions in LiYF4 crystal is reported. It shows that LiYF4:Ce3+ system can be exploited as a convenient matrix for performing spin manipulations and adjusting quantum computation protocols while ENDOR technique could be used for the investigation of electron-nuclear interaction with all the nuclei of the system and exploited for the electron-nuclear spin manipulations.


title: Ensuring Liveness Properties of Distributed Systems (A Research Agenda)

abstract: Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions. This document presents a research agenda aiming at laying the foundations of a theory of concurrency that is equipped to ensure liveness properties of distributed systems without making fairness assumptions. This theory will encompass process algebra, temporal logic and semantic models, as well as treatments of real-time. The agenda also includes developing a methodology that allows successful application of this theory to the specification, analysis and verification of realistic distributed systems, including routing protocols for wireless networks. Contemporary process algebras and temporal logics fail to make distinctions between systems of which one has a crucial liveness property and the other does not, at least when assuming justness, a strong progress property, but not assuming fairness. Setting up an alternative framework involves giving up on identifying strongly bisimilar systems, inventing new induction principles, developing new axiomatic bases for process algebras and new congruence formats for operational semantics, and creating new treatments of time and probability. Even simple systems like fair schedulers or mutual exclusion protocols cannot be accurately specified in standard process algebras (or Petri nets) in the absence of fairness assumptions. Hence the work involves the study of adequate language or model extensions, and their expressive power.


title: Mean field approximation for the dense charged drop

abstract: In this note, we consider the mean field approximation for the description of the probe charged particle in a dense charged drop. We solve the corresponding Schr\"{o}dinger equation for the drop with spherical symmetry in the first order of mean field approximation and discuss the obtained results.


title: Higher dimensional electrical circuits and the matroid dual of a nonplanar graph

abstract: In this paper we describe a physical problem, based on electromagnetic fields, whose topological constraints are higher dimensional versions of Kirchhoff's laws, involving $2-$ simplicial complexes embedded in $\mathbb{R} ^3$ rather than graphs. However, we show that, for the skeleton of this complex, involving only triangles and edges, we can build a matroid dual which is a graph. On this graph we build an `ordinary' electrical circuit, solving which we obtain the solution to our original problem. Construction of this graph is through a `sliding' algorithm which simulates sliding on the surfaces of the triangles, moving from one triangle to another which shares an edge with it but which also is adjacent with respect to the embedding of the complex in $\mathbb{R} ^3.$ For this purpose, the only information needed is the order in which we encounter the triangles incident at an edge, when we rotate say clockwise with respect to the orientation of the edge. The dual graph construction is linear time on the size of the $2-$ complex.


title: Strongly Secure and Efficient Data Shuffle On Hardware Enclaves

abstract: Mitigating memory-access attacks on the Intel SGX architecture is an important and open research problem. A natural notion of the mitigation is cache-miss obliviousness which requires the cache-misses emitted during an enclave execution are oblivious to sensitive data. This work realizes the cache-miss obliviousness for the computation of data shuffling. The proposed approach is to software-engineer the oblivious algorithm of Melbourne shuffle on the Intel SGX/TSX architecture, where the Transaction Synchronization eXtension (TSX) is (ab)used to detect the occurrence of cache misses. In the system building, we propose software techniques to prefetch memory data prior to the TSX transaction to defend the physical bus-tapping attacks. Our evaluation based on real implementation shows that our system achieves superior performance and lower transaction abort rate than the related work in the existing literature.


title: Connected Components of Complex Divisor Functions

abstract: For any complex number $c$, define the divisor function $\sigma_c\colon\mathbb N\to\mathbb C$ by $\displaystyle\sigma_c(n)=\sum_{d\mid n}d^c$. Let $\overline{\sigma_c(\mathbb N)}$ denote the topological closure of the range of $\sigma_c$. Extending previous work of the current author and Sanna, we prove that $\overline{\sigma_c(\mathbb N)}$ has nonempty interior and has finitely many connected components if $\Re(c)\leq 0$ and $c\neq 0$. We end with some open problems.


title: The self-coupled Einstein-Cartan-Dirac equations in terms of Dirac bilinears

abstract: In this article we present the algebraic rearrangement, or matrix inversion of the Dirac equation in a curved Riemann-Cartan spacetime with torsion, the presence of non-vanishing torsion is implied by the intrinsic spin-1/2 of the Dirac field. We then demonstrate how the inversion leads to a reformulation of the fully non-linear and self-interactive Einstein-Cartan-Dirac field equations in terms of Dirac bilinears. It has been known for some decades that the Dirac equation for charged fermions interacting with an electromagnetic field can be algebraically inverted, so as to obtain an explicit rational expression of the four-vector potential of the gauge field in terms of the spinors. Substitution of this expression into Maxwell's equations yields the bilinear form of the self-interactive Maxwell-Dirac equations. In the present (purely gravitational) case, the inversion process yields \emph{two} rational four-vector expressions in terms of Dirac bilinears, which act as gravitational analogues of the electromagnetic vector potential. These "potentials" also appear as irreducible summand components of the connection, along with a traceless residual term of mixed symmetry. When taking the torsion field equation into account, the residual term can be written as a function of the object of anholonomity. Using the local tetrad frame associated with observers co-moving with the Dirac matter, a generic vierbein frame can described in terms of four Dirac bilinear vector fields, normalized by a scalar and pseudoscalar field. A corollary of this is that in regions where the Dirac field is non-vanishing, the self-coupled Einstein-Cartan-Dirac equations can in principle be expressed in terms of Dirac bilinears only.


title: Graded integral domains which are UMT-domains

abstract: Let $\Gamma$ be a torsionless commutative cancellative monoid, $R =\bigoplus_{\alpha \in \Gamma}R_{\alpha}$ be a $\Gamma$-graded integral domain, and $H$ be the set of nonzero homogeneous elements of $R$. In this paper, we show that if $Q$ is a maximal $t$-ideal of $R$ with $Q \cap H = \emptyset$, then $R_Q$ is a valuation domain. We then use this result to give simple proofs of the facts that (i) $R$ is a UMT-domain if and only if $R_Q$ is a quasi-Pr\"ufer domain for each homogeneous maximal $t$-ideal $Q$ of $R$ and (ii) $R$ is a P$v$MD if and only if every nonzero finitely generated homogeneous ideal of $R$ is $t$-invertible, if and only if $R_Q$ is a valuation domain for all homogeneous maximal $t$-ideals $Q$ of $R$. Let $D[\Gamma]$ be the monoid domain of $\Gamma$ over an integral domain $D$. We also show that $D[\Gamma]$ is a UMT-domain if and only if $D$ is a UMT-domain and the integral closure of $\Gamma_S$ is a valuation monoid for all maximal $t$-ideals $S$ of $\Gamma$. Hence, $D[\Gamma]$ is a P$v$MD if and only if $D$ is a P$v$MD and $\Gamma$ is a P$v$MS.