title: Virtual Ground Truth, and Pre-selection of 3D Interest Points for Improved Repeatability Evaluation of 2D Detectors

abstract: In Computer Vision, finding simple features is performed using classifiers called interest point (IP) detectors, which are often utilised to track features as the scene changes. For 2D based classifiers it has been intuitive to measure repeated point reliability using 2D metrics given the difficulty to establish ground truth beyond 2D. The aim is to bridge the gap between 2D classifiers and 3D environments, and improve performance analysis of 2D IP classification on 3D objects. This paper builds on existing work with 3D scanned and artificial models to test conventional 2D feature detectors with the assistance of virtualised 3D scenes. Virtual space depth is leveraged in tests to perform pre-selection of closest repeatable points in both 2D and 3D contexts before repeatability is measured. This more reliable ground truth is used to analyse testing configurations with a singular and 12 model dataset across affine transforms in x, y and z rotation, as well as x,y scaling with 9 well known IP detectors. The virtual scene's ground truth demonstrates that 3D pre-selection eliminates a large portion of false positives that are normally considered repeated in 2D configurations. The results indicate that 3D virtual environments can provide assistance in comparing the performance of conventional detectors when extending their applications to 3D environments, and can result in better classification of features when testing prospective classifiers' performance. A ROC based informedness measure also highlights tradeoffs in 2D/3D performance compared to conventional repeatability measures.


title: Comparison of plotting system outputs in beginner analysts

abstract: The R programming language is built on an ecosystem of packages, some that allow analysts to accomplish the same tasks. For example, there are at least two clear workflows for creating data visualizations in R: using the base graphics package (referred to as "base R") and the ggplot2 add-on package based on the grammar of graphics. Here we perform an empirical study of the quality of scientific graphics produced by beginning R users. In our experiment, learners taking a data science course on the Coursera platform were randomized to complete identical plotting exercises in either the base R or the ggplot2 system. Learners were then asked to evaluate their peers in terms of visual characteristics key to scientific cognition. We observed that graphics created with the two systems rated similarly on many characteristics. However, ggplot2 graphics were generally judged to be more visually pleasing and, in the case of faceted scientific plots, easier to understand. Our results suggest that while both graphic systems are useful in the hands of beginning users, ggplot2's natural faceting system may be easier to use by beginning users for displaying more complex relationships.


title: Adaptive isogeometric boundary element methods with local smoothness control

abstract: In the frame of isogeometric analysis, we consider a Galerkin boundary element discretization of the hyper-singular integral equation associated with the 2D Laplacian. We propose and analyze an adaptive algorithm which locally refines the boundary partition and, moreover, steers the smoothness of the NURBS ansatz functions across elements. In particular and unlike prior work, the algorithm can increase and decrease the local smoothness properties and hence exploits the full potential of isogeometric analysis. We prove that the new adaptive strategy leads to linear convergence with optimal algebraic rates. Numerical experiments confirm the theoretical results. A short appendix comments on analogous results for the weakly-singular integral equation.


title: Breaching the Future: Understanding Human Challenges of Autonomous Systems for the Home

abstract: The domestic environment is a key area for the design and deployment of autonomous systems. Yet research indicates their adoption is already being hampered by a variety of critical issues including trust, privacy and security. This paper explores how potential users relate to the concept of autonomous systems in the home and elaborates further points of friction. It makes two contributions. One methodological, focusing on the use of provocative utopian and dystopian scenarios of future autonomous systems in the home. These are used to drive an innovative workshop-based approach to breaching experiments, which surfaces the usually tacit and unspoken background expectancies implicated in the organisation of everyday life that have a powerful impact on the acceptability of future and emerging technologies. The other contribution is substantive, produced through participants efforts to repair the incongruity or "reality disjuncture" created by utopian and dystopian visions, and highlights the need to build social as well as computational accountability into autonomous systems, and to enable coordination and control.


title: Self-orthogonal codes from equitable partitions of association schemes

abstract: We give a method of constructing self-orthogonal codes from equitable partitions of association schemes. By applying this method we construct self-orthogonal codes from some distance-regular graphs. Some of the obtained codes are optimal. Further, we introduce a notion of self-orthogonal subspace codes. We show that under some conditions equitable partitions of association schemes yield such self-orthogonal subspace codes and we give some examples from distance-regular graphs.


title: The Gelfand Problem in Tubular Domains

abstract: We construct stable solutions of $\Delta u + \lambda e^u=0$ with Dirichlet boundary conditions in small tubular domains (i.e. geodesic $\varepsilon$--neighbourhoods of a curve $\Lambda$ embedded in $\mathbb{R}^n$), adapting the arguments of Pacard-Pacella-Sciunzi. We also show unicity of these solutions, in particular, we show that the stable branch of the bifurcation diagram is similar to the well-known nose-shaped diagram of the standard Gelfand problem in the unit ball. In this work, $\Lambda$ can be replaced by any compact smooth manifold embedded in $\mathbb{R}^n$.


title: An interior penalty discontinuous Galerkin method for the time-domain acoustic-elastic wave interaction problem

abstract: In this paper, we consider numerical solutions of a time domain acoustic-elastic wave interaction problem which occurs between a bounded penetrable elastic body and a compressible inviscid fluid. It is also called the fluid-solid interaction problem. Firstly, an artificial boundary is introduced to transform the original transmission problem into a problem in a bounded region, and then its well-posed results are presented. We then employ a symmetric interior penalty discontinuous Galerkin method for the solution of the reduced interaction problem consisting of second-order wave equations. A priori error estimate in the energy norm is presented, and numerical results confirm the accuracy and validity of the proposed method.


title: Existence of Gevrey solutions to some polynomially nonlinear functional differential equations

abstract: Our aim in this paper is to prove, under some growth conditions on the datas, the solvability in a Gevrey class of a polynomially nonlinear functional differential equation.


title: Hilbert schemes, commuting matrices, and hyperk\"ahler geometry

abstract: We represent algebraic curves via commuting matrix polynomials. This allows us to show that the Hilbert scheme of cohomologically stable twisted rational curves of degree $d$ in ${\Bbb P}^3\backslash {\Bbb P}^1$ is isomorphic to a complexified hyperk\"ahler quotient of an open subset of a vector space by a non-reductive Lie group.


title: Differential geometry of Hilbert schemes of curves in a projective space

abstract: We describe the natural geometry of Hilbert schemes of curves in ${\mathbb P}^3$ and, in some cases, in ${\mathbb P}^n$ , $n\geq 4$.


title: Weight distribution of cyclic codes defined by quadratic forms and related curves

abstract: We consider cyclic codes $\mathcal{C}_\mathcal{L}$ associated to quadratic trace forms in $m$ variables $Q_R(x) = \operatorname{Tr}_{q^m/q}(xR(x))$ determined by a family $\mathcal{L}$ of $q$-linearized polynomials $R$ over $\mathbb{F}_{q^m}$, and three related codes $\mathcal{C}_{\mathcal{L},0}$, $\mathcal{C}_{\mathcal{L},1}$ and $\mathcal{C}_{\mathcal{L},2}$. We describe the spectra for all these codes when $\mathcal{L}$ is an even rank family, in terms of the distribution of ranks of the forms $Q_R$ in the family $\mathcal{L}$, and we also compute the complete weight enumerator for $\mathcal{C}_\mathcal{L}$. In particular, considering the family $\mathcal{L} = \langle x^{q^\ell} \rangle$, with $\ell$ fixed in $\mathbb{N}$, we give the weight distribution of four parametrized families of cyclic codes $\mathcal{C}_\ell$, $\mathcal{C}_{\ell,0}$, $\mathcal{C}_{\ell,1}$ and $\mathcal{C}_{\ell,2}$ over $\mathbb{F}_q$ with zeros $\{ \alpha^{-(q^\ell+1)} \}$, $\{ 1,\, \alpha^{-(q^\ell+1)} \}$, $\{ \alpha^{-1},\,\alpha^{-(q^\ell+1)} \}$ and $\{ 1,\,\alpha^{-1},\,\alpha^{-(q^\ell+1)}\}$ respectively, where $q = p^s$ with $p$ prime, $\alpha$ is a generator of $\mathbb{F}_{q^m}^*$ and $m/(m,\ell)$ is even. Finally, we give simple necessary and sufficient conditions for Artin-Schreier curves $y^p-y = xR(x) + \beta x$, $p$ prime, associated to polynomials $R \in \mathcal{L}$ to be optimal. We then obtain several maximal and minimal such curves in the case $\mathcal{L} = \langle x^{p^\ell}\rangle$ and $\mathcal{L} = \langle x^{p^\ell}, x^{p^{3\ell}} \rangle$.


title: Towards Skewness and Balancing of RPL Trees for the Internet of Things

abstract: In many application areas such as large-scale disaster detection, IoT networks connote the characteristics of LLN (Low power and Lossy Network). With few exceptions, prior work on RPL(Routing Protocol for LLN), a standard routing protocol standardized in the IETF, has focused on the evaluation of various aspects of routing performances and control overheads. In this paper, we address the problem of DODAG (Destination Oriented Directed Acyclic Graph) created by the direct application of RPL. We first evaluate the skewness of DODAG both via numerical simulations and via actual large-scale testbed. RPL secures its flexibility and wide applicability by allowing the adoption of implementer-specific rank definitions and parent selection criteria. In addition to the metrics used in ContikiRPL and TinyRPL, the two most widely used open source implementations, we evaluated the skewness of RPL trees generated by applying various routing metrics. Performance analysis results show that RPL trees suffer from severe skewness regardless of routing metrics in both randomly generated networks and in real-world networks. We propose a novel routing protocol that may improve the balance of RPL trees. Rigorous performance analysis based on computer simulations shows that our algorithm improves the tree balance significantly.


title: Second order cosmological perturbations: new conserved quantities and the general solution at super-horizon scale

abstract: The study of long wavelength scalar perturbations, in particular the existence of conserved quantities when the perturbations are adiabatic, plays an important role in e.g. inflationary cosmology. In this paper we present some new conserved quantities at second order and relate them to the curvature perturbation in the uniform density gauge, $\zeta$, and the comoving curvature perturbation, ${\cal R}$. We also, for the first time, derive the general solution of the perturbed Einstein equations at second order, which thereby contains both growing and decaying modes, for adiabatic long wavelength perturbations for a stress-energy tensor with zero anisotropic stresses and zero heat flux. The derivation uses the total matter gauge, but results are subsequently translated to the uniform curvature and Poisson (longitudinal, zero shear) gauges.


title: A Factor Stochastic Volatility Model with Markov-Switching Panic Regimes

abstract: The use of factor stochastic volatility models requires choosing the number of latent factors used to describe the dynamics of the financial returns process; however, empirical evidence suggests that the number and makeup of pertinent factors is time-varying and economically situational. We present a novel factor stochastic volatility model that allows for random subsets of assets to have their members experience non-market-wide panics. These participating assets will experience an increase in their variances and within-group covariances. We also give an estimation algorithm for this model that takes advantage of recent results on Particle Markov chain Monte Carlo techniques.


title: Jumps, folds, and hypercomplex structures

abstract: We investigate the geometry of the Kodaira moduli space $M$ of sections of $\pi:Z\to {\mathbb P}^1$, the normal bundle of which is allowed to jump from ${\mathcal O}(1)^{n}$ to ${\mathcal O}(1)^{n-2m}\oplus {\mathcal O}(2)^{m}\oplus {\mathcal O}^{m}$. In particular, we identify the natural assumptions which guarantee that the Obata connection of the hypercomplex part of $M$ extends to a logarithmic connection on $M$.


title: SMoTherSpectre: exploiting speculative execution through port contention

abstract: Spectre, Meltdown, and related attacks have demonstrated that kernels, hypervisors, trusted execution environments, and browsers are prone to information disclosure through micro-architectural weaknesses. However, it remains unclear as to what extent other applications, in particular those that do not load attacker-provided code, may be impacted. It also remains unclear as to what extent these attacks are reliant on cache-based side channels. We introduce SMoTherSpectre, a speculative code-reuse attack that leverages port-contention in simultaneously multi-threaded processors (SMoTher) as a side channel to leak information from a victim process. SMoTher is a fine-grained side channel that detects contention based on a single victim instruction. To discover real-world gadgets, we describe a methodology and build a tool that locates SMoTher-gadgets in popular libraries. In an evaluation on glibc, we found hundreds of gadgets that can be used to leak information. Finally, we demonstrate proof-of-concept attacks against the OpenSSH server, creating oracles for determining four host key bits, and against an application performing encryption using the OpenSSL library, creating an oracle which can differentiate a bit of the plaintext through gadgets in libcrypto and glibc.


title: Domination ratio of integer distance digraphs

abstract: An integer distance digraph is the Cayley graph $\Gamma(\mathbb{Z},S)$ of the additive group $\mathbb{Z}$ of all integers with respect to some finite subset $S \subseteq \mathbb{Z}$. The domination ratio of $\Gamma(\mathbb{Z},S)$ is the minimum density of a dominating set in $\Gamma(\mathbb{Z},S)$. We establish some basic results on the domination ratio of $\Gamma(\mathbb{Z},S)$ and precisely determine it when $S=\{s,t\}$ with $s$ dividing $t$.


title: Maximal orthogonal sets of unimodular vectors over finite local rings of odd characteristic

abstract: Let $R$ be a finite local ring of odd characteristic and $\beta$ a non-degenerate symmetric bilinear form on $R^2$. In this short note, we determine the largest possible cardinality of pairwise orthogonal sets of unimodular vectors in $R^2$.


title: The general solution at large scale for second order perturbations in a scalar field dominated universe

abstract: In this paper we consider second order perturbations of a flat Friedmann-Lema\^{i}tre universe whose stress-energy content is a single minimally coupled scalar field with an arbitrary potential. We derive the general solution of the perturbed Einstein equations in explicit form for this class of models when the perturbations are in the super-horizon regime. As a by-product we obtain a new conserved quantity for long wavelength perturbations of a single scalar field at second order.


title: Quasiparticle Levels at Large Interface Systems from Many-body Perturbation Theory: the XAF-GW method

abstract: We present a fully ab initio approach based on many-body perturbation theory in the GW approximation, to compute the quasiparticle levels of large interface systems without significant covalent interactions between the different components of the interface. The only assumption in our approach is that the polarizability matrix (chi) of the interface can be given by the sum of the polarizability matrices of individual components of the interface. We show analytically, using a two-state hybridized model, that this assumption is valid even in the presence of interface hybridization to form bonding and anti-bonding states, up to first order in the overlap matrix elements involved in the hybridization. We validate our approach by showing that the band structure obtained in our method is almost identical to that obtained using a regular GW calculation for bilayer black phosphorus, where interlayer hybridization is significant. Significant savings in computational time and memory are obtained by computing chi only for the smallest sub-unit cell of each component, and expanding (unfolding) the chi matrix to that in the unit cell of the interface. To treat interface hybridization, the full wavefunctions of the interface are used in computing the self-energy. We thus call the method XAF-GW (X: eXpand-chi, A: Add-chi, F: Full wavefunctions). Compared to GW-embedding type approaches in the literature, the XAF-GW approach is not limited to specific screening environments or to non-hybridized interface systems. XAF-GW can also be applied to systems with different dimensionalities, as well as to Moire superlattices such as in twisted bilayers. We illustrate the generality and usefulness of our approach by applying it to self-assembled PTCDA monolayers on Au(111) and Ag(111), and PTCDA monolayers on graphite-supported monolayer WSe2, where good agreement with experiment is obtained.


title: mini-TimeCube as a Neutron Scatter Camera

abstract: We present Monte Carlo (MC) simulation results from a study of a compact plastic-scintillator detector suitable for imaging fast neutrons in the 1 -- 10 MeV energy range: the miniTimeCube (mTC). Originally designed for antineutrino detection, the mTC consists of 24 MultiChannel Plate (MCP) photodetectors surrounding a 13 cm cube of boron-doped plastic scintillator. Our simulation results show that waveform digitization of 1536 optically sensitive channels surrounding the scintillator should allow for spatiotemporal determination of individual neutron-proton scatters in the detector volume to $\thicksim$100 picoseconds and $\thicksim$5 mm. A Bayesian estimation framework is presented for multiple-scatter reconstruction, and is used to estimate the incoming direction and energy of simulated individual neutrons. Finally, we show how populations of reconstructed neutrons can be used to estimate the direction and energy spectrum of nearby simulated neutron sources.


title: Spatiotemporal vortex rings in atomic Bose-Einstein condensates

abstract: We investigate spatiotemporal vortex rings with phase dislocation both in space and time. It is demonstrated that these structures naturally appear as a periodical in time edge phase dislocation at the low-density region of a perturbed atomic Bose-Einstein condensate. The condition of formation, dynamics and stability of the spatiotemporal vortex rings are investigated for repulsive and attractive interatomic interactions. These theoretical findings open up a perspective for experimental observation of novel type of topological coherent structures in ultracold gases.


title: A Proof of Sendov's Conjecture

abstract: The Sendovs conjecture asserts that if all the zeros of a polynomial p(z) lie in the closed unit disk, then there must be a critical point of p(z) within unit distance of each zero. The conjecture has been proved to be true for many special cases.Here we give a proof of the conjecture.


title: One possible explanation for earthquake occurrences from anomalous line-of-sight propagations in the very high frequency band by fast Fourier transform spectral analysis

abstract: This paper illustrated the possible relationship between the occurrences of the earthquake and the anomalous line-of-sight propagations in the very high frequency band by the fast Fourier transform spectral analysis. Despite many anomalous propagations appear in the different very high frequency band during the earthquake occurrences, the majority of these abnormal signals contain similar frequency distributions in the frequency domain. For the 31 anomalous propagation spectral distributions, 30 of them present the same curve peaks, within a frequency range of (0-0.5)Hz. Furthermore, for the first time, we found that the spectral maximum of all anomalous propagations are below the characteristic Brunt-Vaisala frequency (period T larger than 6 min), which happens to be the frequency range of the internal gravity waves, which might evidence that the atmospheric gravity waves should be responsible for the indirect coupling between lithosphere and ionosphere. These novel results might provide direct evidence to the relationship between the anomalous propagations in the very high frequency band and the occurrences of earthquakes.


title: A many-core CPU prototype of an MCAO and LTAO RTC for ELT-scale instruments

abstract: We propose a many-core CPU architecture for Extremely Large Telescope (ELT) scale adaptive optics (AO) real-time control (RTC) for the multi-conjugate AO (MCAO) and laser-tomographic AO (LTAO) modes. MCAO and LTAO differ from the more conventional single-conjugate (SCAO) mode by requiring more wavefront sensor (WFS) measurements and more deformable mirrors to achieve a wider field of correction, further increasing the computational requirements of ELT-scale AO. We demonstrate results of our CPU based AO RTC operating firstly in SCAO mode, using either Shack-Hartmann or Pyramid style WFS processing, and then in MCAO mode and in LTAO mode using the specifications of the proposed ELT instruments, MAORY and HARMONI. All results are gathered using a CPU based camera simulator utilising UDP packets to better demonstrate the pixel streaming and pipe-lining of the RTC software. We demonstrate the effects of switching parameters, streaming telemetry and implicit pseudo open-loop control (POLC) computation on the MCAO and LTAO modes. We achieve results of < 600$\mu$s latency with an ELT scale SCAO setup using Shack-Hartman processing and < 800$\mu$s latency with SCAO Pyramid WFS processing. We show that our MCAO and LTAO many core CPU architecture can achieve full system latencies of < 1000$\mu$s with jitters < 40$\mu$s RMS. We find that a CPU based AO RTC architecture has a good combination of performance, flexibility and maintainability for ELT-scale AO systems.


title: Universal Features of Landau Fans of Twisted Bilayer Graphene with Large Superlattices

abstract: Current experiments on different samples of twisted bilayer graphene (TBG) have found different sets of insulating phases. Despite this diversity, many features of these insulating phases appear to be universal. They include the dispersion of Landau fans away from charge neutrality, a reduced Landau fan degeneracy from the expected value at charge neutrality, and the further reduction of this degeneracy when crossing an insulating phase with odd number of electrons in the superlattice unit cell. We point out that all these behaviors as well as the ferromagnetic behavior observed in some of the insulating states suggest an underlying "ideal" pattern, with different part of it realized in the different samples in different experiments. We further show that such pattern can be accounted for by a Hubbard like model for the superlattice augmented with a set of chemical potential dependent mean fields that break the symmetry of the eight internal degrees of freedoms successively. The simultaneous importance of Mott like physics and mean field physics may be a general feature of twisted 2D electronic materials with large superlattices, not necessarily confined to graphene.


title: CAMIRADA: Cancer microRNA association discovery algorithm, a case study on breast cancer

abstract: In recent studies, non-coding protein RNAs have been identified as microRNA that can be used as biomarkers for early diagnosis and treatment of cancer, that decrease mortality in cancer. A microRNA may target hundreds or thousands of genes and a gene may regulate several microRNAs, so determining which microRNA is associated with which cancer is a big challenge. Many computational methods have been performed to detect micoRNAs association with cancer, but more effort is needed with higher accuracy. Increasing research has shown that relationship between microRNAs and TFs play a significant role in the diagnosis of cancer. Therefore, we developed a new computational framework (CAMIRADA) to identify cancer-related microRNAs based on the relationship between microRNAs and disease genes (DG) in the protein network, the functional relationships between microRNAs and Transcription Factors (TF) on the co-expression network, and the relationship between microRNAs and the Differential Expression Gene (DEG) on co-expression network. The CAMIRADA was applied to assess breast cancer data from two HMDD and miR2Disease databases. In this study, the AUC for the 65 microRNAs of the top of the list was 0.95, which was more accurate than the similar methods used to detect microRNAs associated with the cancer artery.


title: TensorFlow Eager: A Multi-Stage, Python-Embedded DSL for Machine Learning

abstract: TensorFlow Eager is a multi-stage, Python-embedded domain-specific language for hardware-accelerated machine learning, suitable for both interactive research and production. TensorFlow, which TensorFlow Eager extends, requires users to represent computations as dataflow graphs; this permits compiler optimizations and simplifies deployment but hinders rapid prototyping and run-time dynamism. TensorFlow Eager eliminates these usability costs without sacrificing the benefits furnished by graphs: It provides an imperative front-end to TensorFlow that executes operations immediately and a JIT tracer that translates Python functions composed of TensorFlow operations into executable dataflow graphs. TensorFlow Eager thus offers a multi-stage programming model that makes it easy to interpolate between imperative and staged execution in a single package.


title: Resource Allocation for Edge Computing in IoT Networks via Reinforcement Learning

abstract: In this paper, we consider resource allocation for edge computing in internet of things (IoT) networks. Specifically, each end device is considered as an agent, which makes its decisions on whether offloading the computation tasks to the edge devices or not. To minimise the long-term weighted sum cost which includes the power consumption and the task execution latency, we consider the channel conditions between the end devices and the gateway, the computation task queue as well as the remaining computation resource of the end devices as the network states. The problem of making a series of decisions at the end devices is modelled as a Markov decision process and solved by the reinforcement learning approach. Therefore, we propose a near optimal task offloading algorithm based on Q-learning. Simulations validate the feasibility of our proposed algorithm, which achieves a better trade-off between the power consumption and the task execution latency compared to these of edge computing and local computing modes.


title: Probabilistic refinement of the asymptotic spectrum of graphs

abstract: The asymptotic spectrum of graphs, introduced by Zuiddam (arXiv:1807.00169, 2018), is the space of graph parameters that are additive under disjoint union, multiplicative under the strong product, normalized and monotone under homomorphisms between the complements. He used it to obtain a dual characterization of the Shannon capacity of graphs as the minimum of the evaluation function over the asymptotic spectrum and noted that several known upper bounds, including the Lov\'asz number and the fractional Haemers bounds are in fact elements of the asymptotic spectrum (spectral points). We show that every spectral point admits a probabilistic refinement and characterize the functions arising in this way. This reveals that the asymptotic spectrum can be parameterized with a convex set and the evaluation function at every graph is logarithmically convex. One consequence is that for any incomparable pair of spectral points $f$ and $g$ there exists a third one $h$ and a graph $G$ such that $h(G)<\min\{f(G),g(G)\}$, thus $h$ gives a better upper bound on the Shannon capacity of $G$. In addition, we show that the (logarithmic) probabilistic refinement of a spectral point on a fixed graph is the entropy function associated with a convex corner.


title: Cooperative Caching in Fog Radio Access Networks: A Graph-based Approach

abstract: In this paper, cooperative caching is investigated in fog radio access networks (F-RAN). To maximize the offloaded traffic, cooperative caching optimization problem is formulated. By analyzing the relationship between clustering and cooperation and utilizing the solutions of the knapsack problems, the above challenging optimization problem is transformed into a clustering subproblem and a content placement subproblem. To further reduce complexity, we propose an effective graph-based approach to solve the two subproblems. In the graph-based clustering approach, a node graph and a weighted graph are constructed. By setting the weights of the vertices of the weighted graph to be the incremental offloaded traffics of their corresponding complete subgraphs, the objective cluster sets can be readily obtained by using an effective greedy algorithm to search for the max-weight independent subset. In the graph-based content placement approach, a redundancy graph is constructed by removing the edges in the complete subgraphs of the node graph corresponding to the obtained cluster sets. Furthermore, we enhance the caching decisions to ensure each duplicate file is cached only once. Compared with traditional approximate solutions, our proposed graph-based approach has lower complexity. Simulation results show remarkable improvements in terms of offloaded traffic by using our proposed approach.


title: An $\widetilde{\mathcal{O}}(m/\varepsilon^{3.5})$-Cost Algorithm for Semidefinite Programs with Diagonal Constraints

abstract: We study semidefinite programs with diagonal constraints. This problem class appears in combinatorial optimization and has a wide range of engineering applications such as in circuit design, channel assignment in wireless networks, phase recovery, covariance matrix estimation, and low-order controller design. In this paper, we give an algorithm to solve this problem to $\varepsilon$-accuracy, with a run time of $\widetilde{\mathcal{O}}(m/\varepsilon^{3.5})$, where $m$ is the number of non-zero entries in the cost matrix. We improve upon the previous best run time of $\widetilde{\mathcal{O}}(m/\varepsilon^{4.5})$ by Arora and Kale. As a corollary of our result, given an instance of the Max-Cut problem with $n$ vertices and $m \gg n$ edges, our algorithm when applied to the standard SDP relaxation of Max-Cut returns a $(1 - \varepsilon)\alpha_{GW}$ cut in time $\widetilde{\mathcal{O}}(m/\varepsilon^{3.5})$, where $\alpha_{GW} \approx 0.878567$ is the Goemans-Williamson approximation ratio. We obtain this run time via the stochastic variance reduction framework applied to the Arora-Kale algorithm, by constructing a constant-accuracy estimator to maintain the primal iterates.


title: Stochastic Sampling Simulation for Pedestrian Trajectory Prediction

abstract: Urban environments pose a significant challenge for autonomous vehicles (AVs) as they must safely navigate while in close proximity to many pedestrians. It is crucial for the AV to correctly understand and predict the future trajectories of pedestrians to avoid collision and plan a safe path. Deep neural networks (DNNs) have shown promising results in accurately predicting pedestrian trajectories, relying on large amounts of annotated real-world data to learn pedestrian behavior. However, collecting and annotating these large real-world pedestrian datasets is costly in both time and labor. This paper describes a novel method using a stochastic sampling-based simulation to train DNNs for pedestrian trajectory prediction with social interaction. Our novel simulation method can generate vast amounts of automatically-annotated, realistic, and naturalistic synthetic pedestrian trajectories based on small amounts of real annotation. We then use such synthetic trajectories to train an off-the-shelf state-of-the-art deep learning approach Social GAN (Generative Adversarial Network) to perform pedestrian trajectory prediction. Our proposed architecture, trained only using synthetic trajectories, achieves better prediction results compared to those trained on human-annotated real-world data using the same network. Our work demonstrates the effectiveness and potential of using simulation as a substitution for human annotation efforts to train high-performing prediction algorithms such as the DNNs.


title: Externalities in Knowledge Production: Evidence from a Randomized Field Experiment

abstract: Are there positive or negative externalities in knowledge production? Do current contributions to knowledge production increase or decrease the future growth of knowledge? We use a randomized field experiment, which added relevant content to some pages in Wikipedia while leaving similar pages unchanged. We find that the addition of content has a negligible impact on the subsequent long-run growth of content. Our results have implications for information seeding and incentivizing contributions, implying that additional content does not generate sizable externalities by inspiring nor discouraging future contributions.


title: New mass bound on fermionic dark matter from a combined analysis of classical dSphs

abstract: Dwarf spheroidal galaxies (dSphs) are the most compact dark matter-dominated objects observed so far. The Pauli exclusion principle limits the number of fermionic dark matter particles that can compose a dSph halo. This results in a well-known lower bound on their particle mass. So far, such bounds were obtained from the analysis of individual dSphs. In this paper, we model dark matter halo density profiles via the semi-analytical approach and analyse the data from eight `classical' dSphs assuming the same mass of dark matter fermion in each object. First, we find out that modelling of Carina dSph results in a much worse fitting quality compared to the other seven objects. From the combined analysis of the kinematic data of the remaining seven `classical' dSphs, we obtain a new $2\sigma$ lower bound of $m\gtrsim 190$ eV on the dark matter fermion mass. In addition, by combining a sub-sample of four dSphs -- Draco, Fornax, Leo I and Sculptor -- we conclude that 220 eV fermionic dark matter appears to be preferred over the standard CDM at about 2$\sigma$ level. However, this result becomes insignificant if all seven objects are included in the analysis. Future improvement of the obtained bound requires more detailed data, both from `classical' and ultra-faint dSphs.


title: Ultra-Reliable Low-Latency Communications in Autonomous Vehicular Networks

abstract: Autonomous vehicles are expected to emerge as a main trend in vehicle development over the next decade. To support autonomous vehicles, ultra-reliable low-latency communications (URLLC) is required between autonomous vehicles and infrastructure networks, e.g., fifth generation (5G) cellular networks. Hence, reliability and latency must be jointly investigated in 5G autonomous vehicular networks. Utilizing the Euclidean norm theory, we first propose a reliability and latency joint function to evaluate the joint impact of reliability and latency in 5G autonomous vehicular networks. The interactions between reliability and latency are illustrated via Monto-Carlo (MC) simulations of 5G autonomous vehicular networks. To improve both the reliability and latency performance and implement URLLC, a new network slicing solution that extends from resource slicing to service and function slicing is presented for 5G autonomous vehicular networks. The simulation results indicate that the proposed network slicing solution can improve both the reliability and latency performance and ensure URLLC in 5G autonomous vehicular networks.


title: Frustum ConvNet: Sliding Frustums to Aggregate Local Point-Wise Features for Amodal 3D Object Detection

abstract: In this work, we propose a novel method termed \emph{Frustum ConvNet (F-ConvNet)} for amodal 3D object detection from point clouds. Given 2D region proposals in an RGB image, our method first generates a sequence of frustums for each region proposal, and uses the obtained frustums to group local points. F-ConvNet aggregates point-wise features as frustum-level feature vectors, and arrays these feature vectors as a feature map for use of its subsequent component of fully convolutional network (FCN), which spatially fuses frustum-level features and supports an end-to-end and continuous estimation of oriented boxes in the 3D space. We also propose component variants of F-ConvNet, including an FCN variant that extracts multi-resolution frustum features, and a refined use of F-ConvNet over a reduced 3D space. Careful ablation studies verify the efficacy of these component variants. F-ConvNet assumes no prior knowledge of the working 3D environment and is thus dataset-agnostic. We present experiments on both the indoor SUN-RGBD and outdoor KITTI datasets. F-ConvNet outperforms all existing methods on SUN-RGBD, and at the time of submission it outperforms all published works on the KITTI benchmark. Code has been made available at: {\url{https://github.com/zhixinwang/frustum-convnet}.}


title: An Approach to Characterize Graded Entailment of Arguments through a Label-based Framework

abstract: Argumentation theory is a powerful paradigm that formalizes a type of commonsense reasoning that aims to simulate the human ability to resolve a specific problem in an intelligent manner. A classical argumentation process takes into account only the properties related to the intrinsic logical soundness of an argument in order to determine its acceptability status. However, these properties are not always the only ones that matter to establish the argument's acceptability---there exist other qualities, such as strength, weight, social votes, trust degree, relevance level, and certainty degree, among others.


title: Attitudes, Beliefs, and Development Data Concerning Agile Software Development Practices

abstract: The perceptions and attitudes of developers impact how software projects are run and which development practices are employed in development teams. Recent agile methodologies have taken this into account, focusing on collaboration and shared team culture. In this research, we investigate the perceptions of agile development practices and their usage in Scrum software development teams. Although perceptions collected through surveys of 42 participating students did not evolve significantly over time, our analyses show that the Scrum role significantly impacted participants' views of employed development practices. We find that using the version control system according to agile ideas was consistently rated most related to the values of the Agile Manifesto. Furthermore, we investigate how common software development artifacts can be used to gain insights into team behavior and present the development data measurements we employed. We show that we can reliably detect well-defined agile practices, such Test-Driven Development, in this data and that usage of these practices coincided with participants' self-assessments.


title: Multiple-Kernel Dictionary Learning for Reconstruction and Clustering of Unseen Multivariate Time-series

abstract: There exist many approaches for description and recognition of unseen classes in datasets. Nevertheless, it becomes a challenging problem when we deal with multivariate time-series (MTS) (e.g., motion data), where we cannot apply the vectorial algorithms directly to the inputs. In this work, we propose a novel multiple-kernel dictionary learning (MKD) which learns semantic attributes based on specific combinations of MTS dimensions in the feature space. Hence, MKD can fully/partially reconstructs the unseen classes based on the training data (seen classes). Furthermore, we obtain sparse encodings for unseen classes based on the learned MKD attributes, and upon which we propose a simple but effective incremental clustering algorithm to categorize the unseen MTS classes in an unsupervised way. According to the empirical evaluation of our MKD framework on real benchmarks, it provides an interpretable reconstruction of unseen MTS data as well as a high performance regarding their online clustering.


title: The Fuzzy ROC

abstract: The fuzzy ROC extends Receiver Operating Curve (ROC) visualization to the situation where some data points, falling in an indeterminacy region, are not classified. It addresses two challenges: definition of sensitivity and specificity bounds under indeterminacy; and visual summarization of the large number of possibilities arising from different choices of indeterminacy zones.


title: Spectral Analysis of Saddle-point Matrices from Optimization problems with Elliptic PDE Constraints

abstract: The main focus of this paper is the characterization and exploitation of the asymptotic spectrum of the saddle--point matrix sequences arising from the discretization of optimization problems constrained by elliptic partial differential equations. We uncover the existence of a hidden structure in these matrix sequences, namely, we show that these are indeed an example of Generalized Locally Toeplitz (GLT) sequences. We show that this enables a sharper characterization of the spectral properties of such sequences than the one that is available by using only the fact that we deal with saddle--point matrices. Finally, we exploit it to propose an optimal preconditioner strategy for the GMRES, and Flexible-GMRES methods.


title: de Broglie's Exact Trajectories

abstract: De Broglie's quest for a wave-like approach capable of representing the position of a moving particle, is satisfied, in the case of time-independent external fields, by assuming that each particle runs along the virtual trajectories associated, under assigned starting conditions, with a time-independent Schr\"odinger (or Klein-Gordon) equation. Just like in classical Dynamics, indeed, the starting conditions determine, from the beginning, a set of virtual particle trajectories independent from the very presence of the particles.


title: Reprogrammable Graphene-based Metasurface Mirror with Adaptive Focal Point for THz Imaging

abstract: Recent emergence of metasurfaces has enabled the development of ultra-thin flat optical components through different wavefront shaping techniques at various wavelengths. However, due to the non-adaptive nature of conventional metasurfaces, the focal point of the resulting optics needs to be fixed at the design stage, thus severely limiting its reconfigurability and applicability. In this paper, we aim to overcome such constraint by presenting a flat reflective component that can be reprogrammed to focus terahertz waves at a desired point in the near-field region. To this end, we first propose a graphene-based unit cell with phase reconfigurability, and then employ the coding metasurface approach to draw the phase profile required to set the focus on the target point. Our results show that the proposed component can operate close to the diffraction limit with high focusing range and low focusing error. We also demonstrate that, through appropriate automation, the reprogrammability of the metamirror could be leveraged to develop compact terahertz scanning and imaging systems, as well as novel reconfigurable components for terahertz wireless communications.


title: Fractional cross intersecting families

abstract: Let $\mathcal{A}=\{A_{1},...,A_{p}\}$ and $\mathcal{B}=\{B_{1},...,B_{q}\}$ be two families of subsets of $[n]$ such that for every $i\in [p]$ and $j\in [q]$, $|A_{i}\cap B_{j}|= \frac{c}{d}|B_{j}|$, where $\frac{c}{d}\in [0,1]$ is an irreducible fraction. We call such families "$\frac{c}{d}$-cross intersecting families". In this paper, we find a tight upper bound for the product $|\mathcal{A}||\mathcal{B}|$ and characterize the cases when this bound is achieved for $\frac{c}{d}=\frac{1}{2}$. Also, we find a tight upper bound on $|\mathcal{A}||\mathcal{B}|$ when $\mathcal{B}$ is $k$-uniform and characterize, for all $\frac{c}{d}$, the cases when this bound is achieved.


title: Planet migration in wind-fed accretion disks in binaries

abstract: Planet migration originally refers to protoplanetary disks, which are more massive and dense than typical accretion disks in binary systems. We study planet migration in an accretion disk in a binary system consisting of a solar-like star hosting a planet and a red giant donor star. The accretion disk is fed by a stellar wind. %, disk self-gravity is neglected. We use the $\alpha$-disk model and consider that the stellar wind is time-dependent. Assuming the disk is quasi-stationary we calculate its temperature and surface density profiles. In addition to the standard disk model, when matter is captured by the disk at its outer edge, we study the situation when the stellar wind delivers matter on the whole disc surface inside the accretion radius with the rate depending on distance from the central star. Implying that a planet experiences classical type I/II migration we calculate migration time for a planet on a circular orbit coplanar with the disk. Potentially, rapid inward planet migration can result in a planet-star merger which can be accompanied by an optical or/and UV/X-ray transient. We calculate timescale of migration for different parameters of planets and binaries. Our results demonstrate that planets can fall on their host stars within the lifetime of the late-type donor for realistic sets of parameters.


title: Bipolar in Temporal Argumentation Framework

abstract: A Timed Argumentation Framework (TAF) is a formalism where arguments are only valid for consideration in a given period of time, called availability intervals, which are defined for every individual argument. The original proposal is based on a single, abstract notion of attack between arguments that remains static and permanent in time. Thus, in general, when identifying the set of acceptable arguments, the outcome associated with a TAF will vary over time. In this work we introduce an extension of TAF adding the capability of modeling a support relation between arguments. In this sense, the resulting framework provides a suitable model for different time-dependent issues. Thus, the main contribution here is to provide an enhanced framework for modeling a positive (support) and negative (attack) interaction varying over time, which are relevant in many real-world situations. This leads to a Timed Bipolar Argumentation Framework (T-BAF), where classical argument extensions can be defined. The proposal aims at advancing in the integration of temporal argumentation in different application domain.


title: The Future of Dwarf Galaxy Research: What Telescopes Will Discover

abstract: Dwarf galaxies make ideal laboratories to test galaxy evolution paradigms and cosmological models. Detailed studies of dwarfs across the spectrum allow us to gauge the efficacy of astrophysical processes at play in the lowest mass halos such as gas accretion, feedback, turbulence and chemical enrichment. Future observational studies will deliver unprecedented insights on the orbits of dwarf companions around the Milky Way, on their star formation histories and on the 3-D internal motions of their stars. Over large volumes, we will assess the impact of local environment on baryon cycling and star formation laws, leading to a full picture of the evolution of dwarfs across cosmic time. In combination, future discoveries promise to trace the history of assembly within the Local Group and beyond, probe how stars form under pristine conditions, and test models of structure formation on small scales.


title: In situ spacecraft observations of a structured electron diffusion region during magnetopause reconnection

abstract: The Electron Diffusion Region (EDR) is the region where magnetic reconnection is initiated and electrons are energized. Because of experimental difficulties, the structure of the EDR is still poorly understood. A key question is whether the EDR has a homogeneous or patchy structure. Here we report Magnetospheric MultiScale (MMS) novel spacecraft observations providing evidence of inhomogeneous current densities and energy conversion over a few electron inertial lengths within an EDR at the terrestrial magnetopause, suggesting that the EDR can be rather structured. These inhomogenenities are revealed through multi-point measurements because the spacecraft separation is comparable to a few electron inertial lengths, allowing the entire MMS tetrahedron to be within the EDR most of the time. These observations are consistent with recent high-resolution and low-noise kinetic simulations.


title: Electromagnetic fields and charges in expanding universes

abstract: We analyze the properties of the electric and magnetic fields in different reference frames within a cosmological background space-time. First, we investigate the conformal properties of the electromagnetic fields and charge currents, discussing how the spatial curvature of the universe affects the field on different scales. Then, we analyze the effects of the expansion of the universe on local electromagnetic sources using Fermi coordinates. In particular, we investigate the energy balance and Poynting flux in this locally defined reference frame. We show that a charge following the Hubble flow in an accelerated FLRW universe is accelerated as seen by the local inertial frame, leading to non-null radiation.


title: Symbol-Based Multi-Layer Iterative Successive Interference Cancellation for Faster-Than-Nyquist Signaling

abstract: A symbol-based multi-layer iterative successive interference cancellation (MLISIC) algorithm is proposed to eliminate the inter-symbol interference (ISI) for faster-than-Nyquist (FTN) signaling. The computational complexity of the proposed MLISIC algorithm is much lower than most existing block-based estimation algorithms. By comparison with existing symbol-based algorithms, the proposed MLISIC algorithm has higher estimation accuracy. Furthermore, by means of utilizing more accurate symbols and elaborate length of successive interference cancellation, an improved MLISIC (IMLISIC) algorithm is presented to further promote the estimation accuracy. Simulation results show in mild ISI cases, the proposed MLISIC and IMLISIC algorithms can approximate the theoretical performance even using 256-amplitude phase shift keying (APSK) which is adopted in digital video broadcasting-satellite-second generation extension (DVB-S2X), i.e., bit error rate (BER) performance degradation is about 0.03 dB when the signal-to-noise ratio is high. In other words, using the proposed MLISIC and IMLISIC algorithms in mild ISI cases, the spectrum efficiency can be improved with negligible BER performance degradation. In moderate ISI cases, BER performance degradation of our proposed IMLISIC algorithm is no more than 0.13 dB when adopting 64/128/256-APSK, which is still satisfying. Besides, compared with existing symbol-based algorithms, the greater BER performance improvement can be achieved under severer ISI circumstances.


title: Copying Machine Learning Classifiers

abstract: We study model-agnostic copies of machine learning classifiers. We develop the theory behind the problem of copying, highlighting its differences with that of learning, and propose a framework to copy the functionality of any classifier using no prior knowledge of its parameters or training data distribution. We identify the different sources of loss and provide guidelines on how best to generate synthetic sets for the copying process. We further introduce a set of metrics to evaluate copies in practice. We validate our framework through extensive experiments using data from a series of well-known problems. We demonstrate the value of copies in use cases where desiderata such as interpretability, fairness or productivization constrains need to be addressed. Results show that copies can be exploited to enhance existing solutions and improve them adding new features and characteristics.


title: A Short Primer on the Half-Wave Maps Equation

abstract: We review the current state of results about the half-wave maps equation on the domain $\mathbb{R}^d$ with target $\mathbb{S}^2$. In particular, we focus on the energy-critical case $d=1$, where we discuss the classification of traveling solitary waves and a Lax pair structure together with its implications (e.\,g.~invariance of rational solutions and infinitely many conservation laws on a scale of homogeneous Besov spaces). Furthermore, we also comment on the one-dimensional space-periodic case. Finally, we list some open problem for future research.


title: Good weights for the Erd\H{o}s discrepancy problem

abstract: The Erd\H{o}s discrepancy problem, now a theorem by T. Tao, asks whether every sequence with values plus or minus one has unbounded discrepancy along all homogeneous arithmetic progressions. We establish weighted variants of this problem, for weights given either by structured sequences that enjoy some irrationality features, or certain random sequences. As an intermediate result, we establish unboundedness of weighted sums of bounded multiplicative functions and products of shifts of such functions. A key ingredient in our analysis for the structured weights, is a structural result for measure preserving systems naturally associated with bounded multiplicative functions that was recently obtained in joint work with B. Host.


title: Learning a smooth kernel regularizer for convolutional neural networks

abstract: Modern deep neural networks require a tremendous amount of data to train, often needing hundreds or thousands of labeled examples to learn an effective representation. For these networks to work with less data, more structure must be built into their architectures or learned from previous experience. The learned weights of convolutional neural networks (CNNs) trained on large datasets for object recognition contain a substantial amount of structure. These representations have parallels to simple cells in the primary visual cortex, where receptive fields are smooth and contain many regularities. Incorporating smoothness constraints over the kernel weights of modern CNN architectures is a promising way to improve their sample complexity. We propose a smooth kernel regularizer that encourages spatial correlations in convolution kernel weights. The correlation parameters of this regularizer are learned from previous experience, yielding a method with a hierarchical Bayesian interpretation. We show that our correlated regularizer can help constrain models for visual recognition, improving over an L2 regularization baseline.


title: Theoretical description of the $\boldsymbol{J/\psi \to \eta (\eta') h_1(1380)}$, $\boldsymbol{J/\psi \to \eta (\eta') h_1(1170)}$ and $\boldsymbol{J/\psi \to \pi^0 b_1(1235)^0}$ reactions

abstract: We have made a study of the $J/\psi \to \eta' h_1, \eta h_1$ (with $h_1$ being $h_1(1170)$ and $h_1(1380)$) and $J/\psi \to \pi^0 b_1(1235)^0$ assuming the axial vector mesons to be dynamically generated from the pseudoscalar-vector meson interaction. We have taken the needed input from previous studies of the $J/\psi \to \phi \pi \pi, \omega \pi \pi$ reactions. We obtain fair agreement with experimental data and provide an explanation on why the recent experiment on $J/\psi \to \eta' h_1(1380), h_1(1380) \to K^{*+} K^- +c.c.$ observed in the $K^+ K^- \pi^0$ mode observes the peak of the $h_1(1380)$ at a higher energy than its nominal mass.


title: The UV and Ly$\alpha$ Luminosity Functions of galaxies and the Star Formation Rate Density at the end of HI reionization from the VIMOS Ultra-Deep Survey (VUDS)

abstract: We establish a robust statistical description of the star-forming galaxy population at the end of cosmic HI reionization ($5.0\le{}z\le6.6$) from a large sample of 52 galaxies with spectroscopically confirmed redshifts from the VIMOS UltraDeep Survey. We identify galaxies with Ly$\alpha$ either in absorption or in emission, at variance with most spectroscopic samples in the literature where Ly$\alpha$ emitters dominate. We find that star-forming galaxies at these redshifts are distributed along a main sequence in the stellar mass vs. SFR plane. We report a flat evolution of the sSFR(z) in 3<z<6 compared to lower redshift measurements. UV-continuum slopes vary with luminosity, with a large dispersion. We determing UV and Ly$\alpha$ luminosity functions using V$_{max}$ method and use them to derive star formation rate densities (SFRD). We find that both UV-derived and Ly$\alpha$-derived SFRDs are in excellent agreement after correcting Ly$\alpha$ luminosity density for IGM absorption. Our new SFRD measurements at a mean redshift z=5.6 confirm the steep decline of the SFRD at z>2. The bright end of the Ly$\alpha$ luminosity function has a high number density, indicating a significant star formation activity concentrated in the brightest Ly$\alpha$ emitters (LAE) at these redshifts. LAE with EW>25\AA ~contribute to about 75\% of the total UV-derived SFRD. While our analysis favors a low dust content in 5.0<z<6.6, uncertainties on the dust extinction correction and associated degeneracies in spectral fitting will remain an issue to estimate the total SFRD until future survey extending spectroscopy to the NIR rest-frame spectral domain, e.g. with JWST.


title: Evolutionary framework for two-stage stochastic resource allocation problems

abstract: Resource allocation problems are a family of problems in which resources must be selected to satisfy given demands. This paper focuses on the two-stage stochastic generalization of resource allocation problems where future demands are expressed in a finite number of possible scenarios. The goal is to select cost effective resources to be acquired in the present time (first stage), and to implement a complete solution for each scenario (second stage), while minimizing the total expected cost of the choices in both stages. We propose an evolutionary framework for solving general two-stage stochastic resource allocation problems. In each iteration of our framework, a local search algorithm selects resources to be acquired in the first stage. A genetic metaheuristic then completes the solutions for each scenario and relevant information is passed onto the next iteration, thereby supporting the acquisition of promising resources in the following first stage. Experimentation on numerous instances of the two-stage stochastic Steiner tree problem suggests that our evolutionary framework is powerful enough to address large instances of a wide variety of two-stage stochastic resource allocation problems.


title: Genetic-Gated Networks for Deep Reinforcement

abstract: We introduce the Genetic-Gated Networks (G2Ns), simple neural networks that combine a gate vector composed of binary genetic genes in the hidden layer(s) of networks. Our method can take both advantages of gradient-free optimization and gradient-based optimization methods, of which the former is effective for problems with multiple local minima, while the latter can quickly find local minima. In addition, multiple chromosomes can define different models, making it easy to construct multiple models and can be effectively applied to problems that require multiple models. We show that this G2N can be applied to typical reinforcement learning algorithms to achieve a large improvement in sample efficiency and performance.


title: Strong Coupling between Microwave Photons and Nanomagnet Magnons

abstract: Coupled microwave photon-magnon hybrid systems offer promising applications by harnessing various magnon physics. At present, in order to realize high coupling strength between the two subsystems, bulky ferromagnets with large spin numbers are utilized, which limits their potential applications for scalable quantum information processing. In this paper, by enhancing single spin coupling strength using lithographically defined superconducting resonators, we report high cooperativities between a resonator mode and a Kittel mode in nanometer thick Permalloy wires. The on-chip, lithographically scalable, and superconducting quantum circuit compatible design provides a direct route towards realizing hybrid quantum systems with nanomagnets, whose coupling strength can be precisely engineered and dynamic properties can be controlled by various mechanisms derived from spintronic studies.


title: Gated Graph Convolutional Recurrent Neural Networks

abstract: Graph processes model a number of important problems such as identifying the epicenter of an earthquake or predicting weather. In this paper, we propose a Graph Convolutional Recurrent Neural Network (GCRNN) architecture specifically tailored to deal with these problems. GCRNNs use convolutional filter banks to keep the number of trainable parameters independent of the size of the graph and of the time sequences considered. We also put forward Gated GCRNNs, a time-gated variation of GCRNNs akin to LSTMs. When compared with GNNs and another graph recurrent architecture in experiments using both synthetic and real-word data, GCRNNs significantly improve performance while using considerably less parameters.


title: Practical Knowledge Management Tool Use in a Software Consulting Company

abstract: Tools for managing technical skills are used in many companies, but there has been little discussion about how such tools are used in practice. We report here on different types of actual usage in a medium-size software consulting company. We expected such tools to be used for allocating resources to new projects and for searching for competence to solve problems, but also observed two other types of usage: identifying new project opportunities, and skills upgrading. This multitude of uses support learning practices and motivates tool use both at individual and company levels, which is crucial to support organizational learning.


title: Effect of dust size and structure on scattered light images of protoplanetary discs

abstract: We study scattered light properties of protoplanetary discs at near-infrared wavelengths for various dust size and structure by performing radiative transfer simulations. We show that different dust structures might be probed by measuring disk polarisation fraction as long as the dust radius is larger than the wavelength. When the radius is larger than the wavelength, disc scattered light will be highly polarised for highly porous dust aggregates, whereas more compact dust structure tends to show low polarisation fraction. Next, roles of monomer radius and fractal dimension for scattered light colours are studied. We find that, outside the Rayleigh regime, as fractal dimension or monomer radius increases, colours of the effective albedo at near-infrared wavelengths vary from blue to red. Our results imply that discs showing grey or slightly blue colours and high polarisation fraction in near-infrared wavelengths might be explained by the presence of large porous aggregates containing sub-microns sized monomers.


title: Language and Dialect Identification of Cuneiform Texts

abstract: This article introduces a corpus of cuneiform texts from which the dataset for the use of the Cuneiform Language Identification (CLI) 2019 shared task was derived as well as some preliminary language identification experiments conducted using that corpus. We also describe the CLI dataset and how it was derived from the corpus. In addition, we provide some baseline language identification results using the CLI dataset. To the best of our knowledge, the experiments detailed here are the first time automatic language identification methods have been used on cuneiform data.


title: Equilibrium and Dynamics of a Multi-Bath Sherrington-Kirkpatrick Model

abstract: In this paper we study the equilibrium statistical mechanical as well as the dynamical properties of a Sherrington and Kirkpatrick model in a multi-bath setting introduced in [4]. We show that the free energy per particle in the thermodynamical limit obeys a variational principle of Parisi type. The relation between the resulting order parameters is discussed.


title: Algorithms Inspired by Nature: A Survey

abstract: Nature is known to be the best optimizer. Natural processes most often than not reach an optimal equilibrium. Scientists have always strived to understand and model such processes.Thus, many algorithms exist today that are inspired by nature. Many of these algorithms and heuristics can be used to solve problems for which no polynomial time algorithms exist,such as Job Shop Scheduling and many other Combinatorial Optimization problems. We will discuss some of these algorithms and heuristics and how they help us solve complex problems of practical importance.


title: Boundary Evolution Algorithm for SAT-NP

abstract: A boundary evolution Algorithm (BEA) is proposed by simultaneously taking into account the bottom and the high-level crossover and mutation, ie., the boundary of the hierarchical genetic algorithm. Operators and optimal individuals based on optional annealing are designed. Based on the numerous versions of genetic algorithm, the boundary evolution approach with crossover and mutation has been tested on the SAT problem and compared with two competing methods: a traditional genetic algorithm and another traditional hierarchical genetic algorithm, and among some others. The results of the comparative experiments in solving SAT problem have proved that the new hierarchical genetic algorithm based on simulated annealing and optimal individuals (BEA) can improve the success rate and convergence speed considerably for SAT problem due to its avoidance of both divergence and loss of optimal individuals, and by coronary, conducive to NP problem. Though more extensive comparisons are to be made on more algorithms, the consideration of the boundary elasticity of hierarchical genetic algorithm is an implication of evolutionary algorithm.


title: Evolutionary Construction of Convolutional Neural Networks

abstract: Neuro-Evolution is a field of study that has recently gained significantly increased traction in the deep learning community. It combines deep neural networks and evolutionary algorithms to improve and/or automate the construction of neural networks. Recent Neuro-Evolution approaches have shown promising results, rivaling hand-crafted neural networks in terms of accuracy. A two-step approach is introduced where a convolutional autoencoder is created that efficiently compresses the input data in the first step, and a convolutional neural network is created to classify the compressed data in the second step. The creation of networks in both steps is guided by by an evolutionary process, where new networks are constantly being generated by mutating members of a collection of existing networks. Additionally, a method is introduced that considers the trade-off between compression and information loss of different convolutional autoencoders. This is used to select the optimal convolutional autoencoder from among those evolved to compress the data for the second step. The complete framework is implemented, tested on the popular CIFAR-10 data set, and the results are discussed. Finally, a number of possible directions for future work with this particular framework in mind are considered, including opportunities to improve its efficiency and its application in particular areas.


title: Chaotic Genetic Algorithm and The Effects of Entropy in Performance Optimization

abstract: This work proposes a new edge about the Chaotic Genetic Algorithm (CGA) and the importance of the entropy in the initial population. Inspired by chaos theory the CGA uses chaotic maps to modify the stochastic parameters of Genetic Algorithm (GA). The algorithm modifies the parameters of the initial population using chaotic series and then analyzes the entropy of such population. This strategy exhibits the relationship between entropy and performance optimization in complex search spaces. Our study includes the optimization of nine benchmark functions using eight different chaotic maps for each of the benchmark functions. The numerical experiment demonstrates a direct relation between entropy and performance of the algorithm.


title: Topos quantum theory with short posets

abstract: Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established several results, including: (a) a connection between the Kochen-Specker theorem and the non-existence of a global section of the spectral presheaf; (b) a version of the spectral theorem for self-adjoint operators; (c) a connection between states of N and measures on the spectral presheaf; and (d) a model of dynamics in terms of V(N). We consider a modification to this approach using not the whole of the poset V(N), but only its elements of height at most two. This produces a different topos with different internal logic. However, the core results (a)--(d) established using the full poset V(N) are also established for the topos over the smaller poset, and some aspects simplify considerably. Additionally, this smaller poset has appealing aspects reminiscent of projective geometry.


title: Scale Invariant Effective Hamiltonians for a Graph with a Small Compact Core

abstract: We consider a compact metric graph of size $\varepsilon$, and attach to it several edges (leads) of length of order one (or of infinite length). As $\varepsilon$ goes to zero, the graph $\mathcal{G}^\varepsilon$ obtained in this way looks like the star-graph formed by the leads joined in a central vertex. On $\mathcal{G}^\varepsilon$ we define an Hamiltonian $H^\varepsilon$, properly scaled with the parameter $\varepsilon$. We prove that there exists a scale invariant effective Hamiltonian on the star-graph that approximates $H^\varepsilon$ (in a suitable norm resolvent sense) as $\varepsilon\to0$. The effective Hamiltonian depends on the spectral properties of an auxiliary $\varepsilon$-independent Hamiltonian defined on the compact graph obtained by setting $\varepsilon = 1$. If zero is not an eigenvalue of the auxiliary Hamiltonian, in the limit $\varepsilon\to0$, the leads are decoupled.


title: A Machine-learning Based Ensemble Method For Anti-patterns Detection

abstract: Anti-patterns are poor solutions to recurring design problems. Several empirical studies have highlighted their negative impact on program comprehension, maintainability, as well as fault-proneness. A variety of detection approaches have been proposed to identify their occurrences in source code. However, these approaches can identify only a subset of the occurrences and report large numbers of false positives and misses. Furthermore, a low agreement is generally observed among different approaches. Recent studies have shown the potential of machine-learning models to improve this situation. However, such algorithms require large sets of manually-produced training-data, which often limits their application in practice. In this paper, we present SMAD (SMart Aggregation of Anti-patterns Detectors), a machine-learning based ensemble method to aggregate various anti-patterns detection approaches on the basis of their internal detection rules. Thus, our method uses several detection tools to produce an improved prediction from a reasonable number of training examples. We implemented SMAD for the detection of two well known anti-patterns: God Class and Feature Envy. With the results of our experiments conducted on eight java projects, we show that: (1) our method clearly improves the so aggregated tools; (2) SMAD significantly outperforms other ensemble methods.


title: Thinging for Computational Thinking

abstract: This paper examines conceptual models and their application to computational thinking. Computational thinking is a fundamental skill for everybody, not just for computer scientists. It has been promoted as skills that are as fundamental for all as numeracy and literacy. According to authorities in the field, the best way to characterize computational thinking is the way in which computer scientists think and the manner in which they reason how computer scientists think for the rest of us. Core concepts in computational thinking include such notions as algorithmic thinking, abstraction, decomposition, and generalization. This raises several issues and challenges that still need to be addressed, including the fundamental characteristics of computational thinking and its relationship with modeling patterns (e.g., object-oriented) that lead to programming/coding. Thinking pattern refers to recurring templates used by designers in thinking. In this paper, we propose a representation of thinking activity by adopting a thinking pattern called thinging that utilizes a diagrammatic technique called thinging machine (TM). We claim that thinging is a valuable process as a fundamental skill for everybody in computational thinking. The viability of such a proclamation is illustrated through examples and a case study.


title: All-sky search for continuous gravitational waves from isolated neutron stars using Advanced LIGO O2 data

abstract: We present results of an all-sky search for continuous gravitational waves (CWs), which can be produced by fast-spinning neutron stars with an asymmetry around their rotation axis, using data from the second observing run of the Advanced LIGO detectors. We employ three different semi-coherent methods ($\textit{FrequencyHough}$, $\textit{SkyHough}$, and $\textit{Time-Domain $\mathcal{F}$-statistic}$) to search in a gravitational-wave frequency band from 20 to 1922 Hz and a first frequency derivative from $-1\times10^{-8}$ to $2\times10^{-9}$ Hz/s. None of these searches has found clear evidence for a CW signal, so we present upper limits on the gravitational-wave strain amplitude $h_0$ (the lowest upper limit on $h_0$ is $1.7\times10^{-25}$ in the 123-124 Hz region) and discuss the astrophysical implications of this result. This is the most sensitive search ever performed over the broad range of parameters explored in this study.


title: BacSoft: A Tool to Archive Data on Bacteria

abstract: Recently, DNA data storage systems have attracted many researchers worldwide. Motivated by the success stories of such systems, in this work we propose a software called BacSoft to clone the data in a bacterial plasmid by using the concept of genetic engineering. We consider the encoding schemes such that it satisfies constraints significant for bacterial data storage.


title: Density distribution function of a self-gravitating isothermal compressible turbulent fluid in the context of Molecular Clouds ensembles II: the contribution of the turbulent term and the potential of the outer shells

abstract: In this paper we continue to investigate the energy conservation equation obtained in our previous work. We set ourselves three new goals. The first one is to rewrite the main equations in terms of density profile in order to give more physical insight. The second one is to investigate the significance of two new terms in the energy conservation equation. They originate from the gravity of the outer shells of cloud and the masses outer to the cloud, respectively. The third goal is to investigate the main equation in the case when the kinetic turbulent term scales according to Larson's law and it is independent, formally, of the accretion, in contrast to the previous work. The combination of supersonic turbulence and spherical symmetry raises a caveat which is commented in our conclusions. We obtained two solutions for the density profile. They scale with slopes -2 and -3/2, respectively. The energy balance for the second solution is the same as in the previous paper: this is a free-fall. For the first solution there are two cases. The first one: if the turbulent term does not scale, then it could be important for the energy balance of the cloud. The second one: if the turbulent term does scale, then it is not important for the energy balance of the cloud. The two new gravitational terms don't affect the existence of the two solutions, but the gravitation of the outer masses calibrate the energy balance for the first solution.


title: A spatial discontinuous Galerkin method with rescaled velocities for the Boltzmann equation

abstract: In this paper we present a numerical method for the Boltzmann equation. It is a spectral discretization in the velocity and a discontinuous Galerkin discretization in physical space. To obtain uniform approximation properties in the mach number, we shift the velocity by the (smoothed) bulk velocity and scale it by the (smoothed) temperature, both extracted from the density distribution. The velocity trial functions are polynomials multiplied by a Maxwellian. Consequently, an expansion with a low number of trial functions already yields satisfying approximation quality for nearly equilibrated solutions. By the polynomial test space, density, velocity and energy are conserved on the discrete level. Different from moment methods, we stabilize the free flow operator in phase space with upwind fluxes. Several numerical results are presented to justify our approach.


title: FastReg: Fast Non-Rigid Registration via Accelerated Optimisation on the Manifold of Diffeomorphisms

abstract: We present an implementation of a new approach to diffeomorphic non-rigid registration of medical images. The method is based on optical flow and warps images via gradient flow with the standard $L^2$ inner product. To compute the transformation, we rely on accelerated optimisation on the manifold of diffeomorphisms. We achieve regularity properties of Sobolev gradient flows, which are expensive to compute, owing to a novel method of averaging the gradients in time rather than space. We successfully register brain MRI and challenging abdominal CT scans at speeds orders of magnitude faster than previous approaches. We make our code available in a public repository: https://github.com/dgrzech/fastreg


title: Flow field evolution and entrainment in a free surface plunging jet

abstract: We investigate ambient fluid entrainment and near-field flow characteristics of a free surface plunging jet for five Reynolds numbers ranging from 3000 to 10000 using time-resolved stereo particle image velocimetry (SPIV). We present time-averaged velocities, RMS velocity fluctuations, mean entrainment and unsteady flow features and compare them with previous studies on free jets. We find that plunging jets have a smaller potential core length, and earlier decay of the mean centerline velocity. The peak RMS velocity fluctuations occur at a location significantly upstream compared to the free jets reported in the literature. Near-field ambient fluid entrainment of plunging jets is measured for the first time and is found to be considerably higher than free jets in the low Reynolds number range. For the plunging jet case at Re = 3000, faster jet decay, higher levels of turbulent intensity in the near-field, and augmented mass entrainment result from strong primary vortices that give the turbulent/non-turbulent interface (TNTI) its convoluted shape which facilitates both bulk entrapment of ambient fluid and small scale nibbling because of larger surface area. These primary vortices occur right below the free surface and disintegrate into secondary structures at axial locations that are upstream compared to those of free jets. At higher Reynolds numbers, primary vortices are smaller in size, weak in swirling strength, and disintegrate prematurely, resulting in suppressed mixing and reduced entrainment efficiency.


title: Feature Selection for Transient Stability Assessment Based on Improved Maximal Relevance and Minimal Redundancy Criterion

abstract: A new feature selection method based on an improved maximal relevance and minimal redundancy (mRMR) criterion was proposed for power system transient stability assessment. First, the standard mRMR was improved by introducing a weight coefficient in the evaluation criteria to refine the measurement of the features correlation and redundancy. Then, the possible real-time information provided by phasor measurement unit (PMU) considered, a group of system-level classification features were extracted from the power system operation parameters to build the original feature set, and the improved mRMR was employed to evaluate the classification capability of the original features for feature selection. A group of nested candidate feature subsets were obtained by using the incremental search technique, and each candidate feature subset was tested by a support vector machine classifier to find the optimal feature subset with the highest classification accuracy. The effectiveness of the proposed method was validated by the simulation results on the New England 39-bus system and IEEE 50-generator test system.


title: Comment to Impact of Daylight Saving Time on circadian timing system: An expert statement

abstract: 1000 words comment on a paper published in the European Journal of Internal Medicine by a panel of experts. My point is authors address the magnitude of the change (one hour) but fail to consider in any way its seasonal features. DST is not a random change of an hour but an specific change on specific dates and in a specific direction ---spring forward, fall back---. DST is the way many contemporary societies handles the seasonality. The way many contemporary societies turn a nonseasonal clock (the mechanical clock) into a seasonal clock.


title: Lempel-Ziv-like Parsing in Small Space

abstract: Lempel-Ziv (LZ77 or, briefly, LZ) is one of the most effective and widely-used compressors for repetitive texts. However, the existing efficient methods computing the exact LZ parsing have to use linear or close to linear space to index the input text during the construction of the parsing, which is prohibitive for long inputs. An alternative is Relative Lempel-Ziv (RLZ), which indexes only a fixed reference sequence, whose size can be controlled. Deriving the reference sequence by sampling the text yields reasonable compression ratios for RLZ, but performance is not always competitive with that of LZ and depends heavily on the similarity of the reference to the text. In this paper we introduce ReLZ, a technique that uses RLZ as a preprocessor to approximate the LZ parsing using little memory. RLZ is first used to produce a sequence of phrases, and these are regarded as metasymbols that are input to LZ for a second-level parsing on a (most often) drastically shorter sequence. This parsing is finally translated into one on the original sequence. We analyze the new scheme and prove that, like LZ, it achieves the $k$th order empirical entropy compression $n H_k + o(n\log\sigma)$ with $k = o(\log_\sigma n)$, where $n$ is the input length and $\sigma$ is the alphabet size. In fact, we prove this entropy bound not only for ReLZ but for a wide class of LZ-like encodings. Then, we establish a lower bound on ReLZ approximation ratio showing that the number of phrases in it can be $\Omega(\log n)$ times larger than the number of phrases in LZ. Our experiments show that ReLZ is faster than existing alternatives to compute the (exact or approximate) LZ parsing, at the reasonable price of an approximation factor below $2.0$ in all tested scenarios, and sometimes below $1.05$, to the size of LZ.


title: Linear instability of shear thinning pressure driven channel flow

abstract: We study theoretically pressure driven planar channel flow of shear thinning viscoelastic fluids. Combining linear stability analysis and full nonlinear simulation, we study the instability of an initially one-dimensional base state to the growth of two-dimensional perturbations with wavevector in the flow direction. We do so within three widely used constitutive models: the microscopically motivated Rolie-Poly model, and the phenomenological Johnson-Segalman and White-Metzner models. In each model, we find instability when the degree of shear thinning exceeds some level characterised by the logarithmic slope of the flow curve at its shallowest point. Specifically, we find instability for $n<n^*$, with $n^*\approx 0.21, 0.11$ and $0.30$ in the Rolie-Poly, Johnson-Segalman and White-Metzner models respectively. Within each model, we show that the critical pressure drop for the onset of instability obeys a criterion expressed in terms of this degree of shear thinning, $n$, together with the derivative of the first normal stress with respect to shear stress. Both shear thinning and rapid variations in first normal stress across the channel are therefore key ingredients driving the instability. In the Rolie-Poly and Johnson-Segalman models, the underlying mechanism appears to involve the destabilisation of a quasi-interface that exists in each half of the channel, across which the normal stress varies rapidly. In the White-Metzner model, no such quasi-interface exists, but the criterion for instability nonetheless appears to follow the same form as in the Rolie-Poly and Johnson-Segalman models. This presents an outstanding puzzle concerning any possibly generic nature of the instability mechanism. We finally make some briefly comments on the Giesekus model, which is rather different in its predictions from the other three.


title: Intertwined Topological Phases induced by Emergent Symmetry Protection

abstract: The dual role played by symmetry in many-body physics manifests itself through two fundamental mechanisms: spontaneous symmetry breaking and topological symmetry protection. These two concepts, ubiquitous in both condensed matter and high energy physics, have been applied successfully in the last decades to unravel a plethora of complex phenomena. Their interplay, however, remains largely unexplored. Here we report how, in the presence of strong correlations, symmetry protection emerges dynamically from a set of configurations enforced by another broken symmetry. This novel mechanism spawns different intertwined topological phases, where topological properties coexist with long-range order. Such a singular interplay gives rise to interesting static and dynamical effects, including interaction-induced topological phase transitions constrained by symmetry breaking, as well as a self-adjusted fractional pumping. This work paves the way for further exploration of exotic topological features in strongly-correlated quantum systems.


title: Supersolid phases of Rydberg-excited bosons on a triangular lattice

abstract: Recent experiments with ultracold Rydberg-excited atoms have shown that long-range interactions can give rise to spatially ordered structures. Observation of crystalline phases in a system with Rydberg atoms loaded into an optical lattice seems also within reach. Here we investigate a bosonic model on a triangular lattice suitable for description of such experiments. Numerical simulations based on bosonic dynamical mean-field theory reveal a rich phase diagram with different supersolid phases. Comparison with the results obtained for a square lattice geometry shows qualitatively similar results in a wide range of parameters, however, on a triangular lattice we do not observe the checkerboard supersolid. Moreover, unlike on a square lattice we did not find a phase transition from uniform superfluid to supersolid induced by increase of the hopping amplitude on a triangular lattice. Based on our results we propose an intuitive interpretation of the nature of different supersolid phases. We also propose parameters for the experimental realization.


title: Revealing essential dynamics from high-dimensional fluid flow data and operators

abstract: We consider concepts centered around modal analysis, data science, network science, and machine learning to reveal the essential dynamics from high-dimensional fluid flow data and operators. The presentation of the material herein is example-based and follows the author's keynote talk at the 32nd Computational Fluid Dynamics Symposium (Japan Society of Fluid Mechanics, Tokyo, December 11-13, 2018). This talk was delivered as a compilation of some of the research activities undertaken by the author's research group.


title: Fibered rotation vector and hypoellipticity for quasiperiodic cocycles in compact Lie groups

abstract: Using weak solutions to the conjugation equation, we define a fibered rotation vector for almost reducible quasi-periodic cocycles in $\mathbb{T}^{d} \times G$, $G$ a compact Lie group, over a Diophantine rotation. We then prove that if this rotation vector is Diophantine with respect to the rotation in $\mathbb{T}^{d}$, the cocycle is smoothly reducible, thus establishing a hypoellipticity property in the spirit of the Greenfield-Wallach conjecture in PDEs.


title: Generalized ADT charges and asymptotic symmetry algebra

abstract: Using the expressions for generalized ADT current and potential in a self consistent manner, we derive the asymptotic symmetry algebra on AdS$_3$ and the near horizon extremal BTZ spacetimes. The structure of symmetry algebra among the conserved charges for asymptotic killing vectors matches exactly with the known results thus establishing the algebraic equivalence between the well known existing formalisms for obtaining the conserved charges and the generalized ADT charges.


title: Isotopy and homeomorphism of closed surface braids

abstract: The closure of a braid in a closed orientable surface $\Sigma$ is a link in $\Sigma\times S^1$. We classify such closed surface braids up to isotopy and homeomorphism (with a small indeterminacy for isotopy of closed sphere braids), algebraically in terms of the surface braid group. We find that in positive genus, braids close to isotopic links if and only if they are conjugate, and close to homeomorphic links if and only if they are in the same orbit of the outer action of the mapping class group on the surface braid group modulo its center.


title: Semiconductor channel mediated photodoping in h-BN encapsulated monolayer MoSe2 phototransistors

abstract: In optically excited two-dimensional phototransistors, charge transport is often affected by photodoping effects. Recently, it was shown that such effects are especially strong and persistent for graphene/h-BN heterostructures, and that they can be used to controllably tune the charge neutrality point of graphene. In this work we investigate how this technique can be extended to h BN encapsulated monolayer MoSe_2 phototransistors at room temperature. By exposing the sample to 785 nm laser excitation we can controllably increase the charge carrier density of the MoSe_2 channel by {\Delta}n {\approx} 4.45 {\times} 10^{12} cm^{-2}, equivalent to applying a back gate voltage of 60 V. We also evaluate the efficiency of photodoping at different illumination wavelengths, finding that it is strongly correlated with the light absorption by the MoSe_2 layer, and maximizes for excitation on-resonance with the A exciton absorption. This indicates that the photodoping process involves optical absorption by the MoSe_2 channel, in contrast with the mechanism earlier described for graphene/h-BN heterostroctures.


title: Examples of symmetry-preserving truncations in tensor field theory

abstract: We consider the tensor formulation of the non-linear O(2) sigma model and its gauged version (the compact Abelian Higgs model), on a $D$-dimensional cubic lattice, and show that tensorial truncations are compatible with the general identities derived from the symmetries of these models. This means that the universal properties of these models can be reproduced with highly simplified formulations desirable for implementations with quantum computers or for quantum simulations experiments. We briefly discuss the extensions to non-Abelian symmetries and models with fermions.


title: Blockchain Meets Database: Design and Implementation of a Blockchain Relational Database

abstract: In this paper, we design and implement the first-ever decentralized replicated relational database with blockchain properties that we term blockchain relational database. We highlight several similarities between features provided by blockchain platforms and a replicated relational database, although they are conceptually different, primarily in their trust model. Motivated by this, we leverage the rich features, decades of research and optimization, and available tooling in relational databases to build a blockchain relational database. We consider a permissioned blockchain model of known, but mutually distrustful organizations each operating their own database instance that are replicas of one another. The replicas execute transactions independently and engage in decentralized consensus to determine the commit order for transactions. We design two approaches, the first where the commit order for transactions is agreed upon prior to executing them, and the second where transactions are executed without prior knowledge of the commit order while the ordering happens in parallel. We leverage serializable snapshot isolation (SSI) to guarantee that the replicas across nodes remain consistent and respect the ordering determined by consensus, and devise a new variant of SSI based on block height for the latter approach. We implement our system on PostgreSQL and present detailed performance experiments analyzing both approaches.


title: An approach to Decision Making based on Dynamic Argumentation Systems

abstract: In this paper, we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will be used by the agent's decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory.


title: Closed-Loop Sparse Channel Estimation for Wideband Millimeter-Wave Full-Dimensional MIMO Systems

abstract: This paper proposes a closed-loop sparse channel estimation (CE) scheme for wideband millimeter-wave hybrid full-dimensional multiple-input multiple-output and time division duplexing based systems, which exploits the channel sparsity in both angle and delay domains. At the downlink CE stage, random transmit precoder is designed at base station (BS) for channel sounding, and receive combiners at user devices (UDs) are designed to visualize hybrid array as a low-dimensional digital array for facilitating the multi-dimensional unitary ESPRIT (MDU-ESPRIT) algorithm to estimate respective angle-of-arrivals (AoAs). At the uplink CE stage, the estimated downlink AoAs, namely, uplink angle-of-departures (AoDs), are exploited to design multi-beam transmit precoder at UDs to enable BS to estimate the uplink AoAs, i.e., the downlink AoDs, and delays of different UDs using the MDU-ESPRIT algorithm based on the designed receive combiners at BS. Furthermore, a maximum likelihood approach is proposed to pair the channel parameters acquired at the two stages, and the path gains are then obtained using least squares estimator. According to spectrum estimation theory, our solution can acquire the super-resolution estimations of the AoAs/AoDs and delays of sparse multipath components with low training overhead. Simulation results verify the better CE performance and lower computational complexity of our solution over existing state-of-the-art approaches.


title: The Case for a Deep Search for Earth's Trojan Asteroids

abstract: The existence of Earth's Trojan asteroids is not well constrained and represents a major gap in our inventory of small bodies in near-Earth space. Their discovery would be of high scientific and human interest.


title: Using a Segmenting Description approach in Multiple Criteria Decision Aiding

abstract: We propose a new method for analyzing a set of parameters in a multiple criteria ranking method. Unlike the existing techniques, we do not use any optimization technique, instead incorporating and extending a Segmenting Description approach. While considering a value-based preference disaggregation method, we demonstrate the usefulness of the introduced algorithm in a multi-purpose decision analysis exploiting a system of inequalities that models the Decision Maker's preferences. Specifically, we discuss how it can be applied for verifying the consistency between the revealed and estimated preferences as well as for identifying the sources of potential incoherence. Moreover, we employ the method for conducting robustness analysis, i.e., discovering a set of all compatible parameter values and verifying the stability of suggested recommendation in view of multiplicity of feasible solutions. In addition, we make clear its suitability for generating arguments about the validity of outcomes and the role of particular criteria. We discuss the favorable characteristics of the Segmenting Description approach which enhance its suitability for use in Multiple Criteria Decision Aiding. These include keeping in memory an entire process of transforming a system of inequalities and avoiding the need for processing the inequalities contained in the basic system which is subsequently enriched with some hypothesis to be verified. The applicability of the proposed method is exemplified on a numerical study.