title: Unitarity, stability and loops of unstable ghosts

abstract: We present a new understanding of the unstable ghost-like resonance which appears in theories such as quadratic gravity and Lee-Wick type theories. Quantum corrections make this resonance unstable, such that it does not appear in the asymptotic spectrum. We prove that these theories are unitary to all orders. Unitarity is satisfied by the inclusion of only cuts from stable states in the unitarity sum. This removes the need to consider this as a ghost state in the unitarity sum. However, we often use a narrow-width approximation where we do include cuts through unstable states, and ignore cuts through the stable decay products. If we do this with the unstable ghost resonance at one loop, we get the correct answer only by using a contour which was originally defined by Lee and Wick. The quantum effects also provide damping in both the Feynman and the retarded propagators, leading to stability under perturbations.


title: Advection improves homogenized models of continuum diffusion in one-dimensional heterogeneous media

abstract: We propose an alternative method for one-dimensional continuum diffusion models with spatially variable (heterogeneous) diffusivity. Our method, which extends recent work on stochastic diffusion, assumes the constant-coefficient homogenized equation takes the form of an advection-diffusion equation with effective (diffusivity and velocity) coefficients. To calculate the effective coefficients, our approach involves solving two uncoupled boundary value problems over the heterogeneous medium and leads to coefficients depending on the spatially-varying diffusivity (as usual) as well as the boundary conditions imposed on the heterogeneous model. Computational experiments comparing our advection-diffusion homogenized model to the standard homogenized model demonstrate that including an advection term in the homogenized equation leads to improved approximations of the solution of the original heterogeneous model.


title: Multimode internal resonances in a MEMS self-sustained oscillator

abstract: We investigate the dynamics of a microelectromechanical (MEMS) self-sustained oscillator supporting multiple resonating and interacting modes. In particular, the interaction of the first four flexural modes along with the first torsional mode are studied, whereby 1:2, 1:3, and 2:1 internal resonances occur. Even and odd modes are induced to couple by breaking the longitudinal symmetry of the structure. Self-oscillations are induced in the second flexural mode via a gain-feedback loop, thereafter its frequency is pulled into a commensurate frequency ratio with the other modes, enabling the oscillator to act as a driver/pump for four modes simultaneously. Thus, by leveraging multiple internal resonances, a five modes frequency-locked comb is generated.


title: Gradient Descent Finds Global Minima for Generalizable Deep Neural Networks of Practical Sizes

abstract: In this paper, we theoretically prove that gradient descent can find a global minimum of non-convex optimization of all layers for nonlinear deep neural networks of sizes commonly encountered in practice. The theory developed in this paper only requires the practical degrees of over-parameterization unlike previous theories. Our theory only requires the number of trainable parameters to increase linearly as the number of training samples increases. This allows the size of the deep neural networks to be consistent with practice and to be several orders of magnitude smaller than that required by the previous theories. Moreover, we prove that the linear increase of the size of the network is the optimal rate and that it cannot be improved, except by a logarithmic factor. Furthermore, deep neural networks with the trainability guarantee are shown to generalize well to unseen test samples with a natural dataset but not a random dataset.


title: Disorder induced helical-edge transport near $\nu$=0 of monolayer graphene

abstract: The complex nature of filling factor $\nu$=0 of monolayer graphene is studied in magnetotransport experiments. As function of perpendicular magnetic field a metal-insulator transition is observed, which is attributed to disorder-induced Landau level broadening in the canted antiferromagnetic phase. In the metallic regime a separation of the zeroth Landau level appears and signs of the quantum spin Hall effect are seen near $\nu$=0. In addition to local transport, nonlocal transport experiments show results being consistent with helical edge transport.


title: DFT-based energy shifts screening of Na$_x$K$_{55-x}$ alloy clusters

abstract: Compositional effects in NaK alloy clusters have been studied using bond order length strength notation and density functional theory calculations. The results reveal binding energy shifts of the NaK alloy clusters under different elemental compositions. Atomic arrangements that can be used to predict the structures of stable experimental NaK alloys were also obtained. Our study of these alloy nanoclusters has uncovered a trend correlating atomic position and composition with binding energy. We believe this data will help in the experimental preparation of alloy nanoclusters.


title: Adversarial Seeded Sequence Growing for Weakly-Supervised Temporal Action Localization

abstract: Temporal action localization is an important yet challenging research topic due to its various applications. Since the frame-level or segment-level annotations of untrimmed videos require amounts of labor expenditure, studies on the weakly-supervised action detection have been springing up. However, most of existing frameworks rely on Class Activation Sequence (CAS) to localize actions by minimizing the video-level classification loss, which exploits the most discriminative parts of actions but ignores the minor regions. In this paper, we propose a novel weakly-supervised framework by adversarial learning of two modules for eliminating such demerits. Specifically, the first module is designed as a well-designed Seeded Sequence Growing (SSG) Network for progressively extending seed regions (namely the highly reliable regions initialized by a CAS-based framework) to their expected boundaries. The second module is a specific classifier for mining trivial or incomplete action regions, which is trained on the shared features after erasing the seeded regions activated by SSG. In this way, a whole network composed of these two modules can be trained in an adversarial manner. The goal of the adversary is to mine features that are difficult for the action classifier. That is, erasion from SSG will force the classifier to discover minor or even new action regions on the input feature sequence, and the classifier will drive the seeds to grow, alternately. At last, we could obtain the action locations and categories from the well-trained SSG and the classifier. Extensive experiments on two public benchmarks THUMOS'14 and ActivityNet1.3 demonstrate the impressive performance of our proposed method compared with the state-of-the-arts.


title: Route Identification in the National Football League

abstract: Tracking data in the NFL is a sequence of spatial-temporal measurements that vary in length depending on the duration of the play. In this paper, we demonstrate how model-based curve clustering of observed player trajectories can be used to identify the routes run by eligible receivers on offensive passing plays. We use a Bernstein polynomial basis function to represent cluster centers, and the Expectation Maximization algorithm to learn the route labels for each of the 34,698 routes run on the 6,963 passing plays in the data set. We go on to suggest ideas for new potential receiver metrics that account for receiver deployment. The resulting route labels can also be paired with film to enable streamlined queries of game film.


title: Two-term tilting complexes for preprojective algebras of non-Dynkin type

abstract: In this paper, we study two-term tilting complexes for preprojective algebras of non-Dynkin type. We show that there exist two families of two-term tilting complexes, which are respectively parameterized by the elements of the corresponding Coxeter group. Moreover, we provide the complete classification in the case of affine type by showing that any two-term silting complex belongs one of them. For this purpose, we also discuss the Krull-Schmidt property for the homotopy category of finitely generated projective modules over a complete ring.


title: Text mining policy: Classifying forest and landscape restoration policy agenda with neural information retrieval

abstract: Dozens of countries have committed to restoring the ecological functionality of 350 million hectares of land by 2030. In order to achieve such wide-scale implementation of restoration, the values and priorities of multi-sectoral stakeholders must be aligned and integrated with national level commitments and other development agenda. Although misalignment across scales of policy and between stakeholders are well known barriers to implementing restoration, fast-paced policy making in multi-stakeholder environments complicates the monitoring and analysis of governance and policy. In this work, we assess the potential of machine learning to identify restoration policy agenda across diverse policy documents. An unsupervised neural information retrieval architecture is introduced that leverages transfer learning and word embeddings to create high-dimensional representations of paragraphs. Policy agenda labels are recast as information retrieval queries in order to classify policies with a cosine similarity threshold between paragraphs and query embeddings. This approach achieves a 0.83 F1-score measured across 14 policy agenda in 31 policy documents in Malawi, Kenya, and Rwanda, indicating that automated text mining can provide reliable, generalizable, and efficient analyses of restoration policy.


title: Model Learning: Primal Dual Networks for Fast MR imaging

abstract: Magnetic resonance imaging (MRI) is known to be a slow imaging modality and undersampling in k-space has been used to increase the imaging speed. However, image reconstruction from undersampled k-space data is an ill-posed inverse problem. Iterative algorithms based on compressed sensing have been used to address the issue. In this work, we unroll the iterations of the primal-dual hybrid gradient algorithm to a learnable deep network architecture, and gradually relax the constraints to reconstruct MR images from highly undersampled k-space data. The proposed method combines the theoretical convergence guarantee of optimi-zation methods with the powerful learning capability of deep networks. As the constraints are gradually relaxed, the reconstruction model is finally learned from the training data by updating in k-space and image domain alternatively. Experi-ments on in vivo MR data demonstrate that the proposed method achieves supe-rior MR reconstructions from highly undersampled k-space data over other state-of-the-art image reconstruction methods.

categories: eess.IV cs.CV cs.LG physics.med-ph stat.ML


title: Strengthening the Case for a Bayesian Approach to Car-following Model Calibration and Validation using Probabilistic Programming

abstract: Compute and memory constraints have historically prevented traffic simulation software users from fully utilizing the predictive models underlying them. When calibrating car-following models, particularly, accommodations have included 1) using sensitivity analysis to limit the number of parameters to be calibrated, and 2) identifying only one set of parameter values using data collected from multiple car-following instances across multiple drivers. Shortcuts are further motivated by insufficient data set sizes, for which a driver may have too few instances to fully account for the variation in their driving behavior. In this paper, we demonstrate that recent technological advances can enable transportation researchers and engineers to overcome these constraints and produce calibration results that 1) outperform industry standard approaches, and 2) allow for a unique set of parameters to be estimated for each driver in a data set, even given a small amount of data. We propose a novel calibration procedure for car-following models based on Bayesian machine learning and probabilistic programming, and apply it to real-world data from a naturalistic driving study. We also discuss how this combination of mathematical and software tools can offer additional benefits such as more informative model validation and the incorporation of true-to-data uncertainty into simulation traces.


title: A matrix inequality related to the entanglement distillation problem

abstract: The pure entangled state is of vital importance in the field of quantum information. The process of asymptotically extracting pure entangled states from many copies of mixed states via local operations and classical communication is called entanglement distillation. The entanglement distillability problem, which is a long-standing open problem, asks whether such process exists. The 2-copy undistillability of $4\times4$ undistillable Werner states has been reduced to the validness of the a matrix inequality, that is, the sum of the squares of the largest two singular values of matrix $A\otimes I + I \otimes B$ does not exceed $(3d-4)/d^2$ with $A,B$ traceless $d\times d$ matrices and $||A||_F^2+||B||_F^2=1/d$ when $d=4$. The latest progress, made by {\L}.~Pankowski~ et al~[IEEE Trans. Inform. Theory, 56, 4085 (2010)], shows that this conjecture holds when both matrices $A$ and $B$ are normal. In this paper, we prove that the conjecture holds when one of matrices $A$ and $B$ is normal and the other one is arbitrary. Our work makes solid progress towards this conjecture and thus the distillability problem.


title: Age-Optimal Power Control for Status Update Systems with Packet Based Transmissions

abstract: This paper investigates the average age of information (AoI) minimization in status update systems in which the update packets are transmitted with fixed rate. It is assumed that the source avoids queue-induced delay by generating and sending a new status update packet in each time slot. Assuming that the transmit power can be adapted based on the number of successive NACKs (negative acknowledgements) received, a closed-form expression for the average AoI is derived considering transmissions over block fading channel models. An optimization problem for minimizing the average AoI under average power constraints is formulated and a stochastic optimization algorithm for obtaining a feasible solution is proposed. Numerical results on the proposed power control policy show that more power is preferred to be allocated to packets after a certain number of failure packets in the low-power regime and the proposed power control reduces the average AoI compared to the constant power policy. An alternative on-off power control policy is also proposed and shown to achieve satisfactory performance.


title: Review of the Plan for Integrating Big Data Analytics Program for the Electronic Marketing System and Customer Relationship Management: A Case Study XYZ Institution

abstract: This research aims to explore business processes and what the factors have major influence on electronic marketing and CRM systems? Which data needs to be analyzed and integrated in the system, and how to do that? How effective of integration the electronic marketing and CRM with big data enabled to support Marketing and Customer Relation operations. Research based on case studies at XYZ Organization: International Language Education Service in Surabaya. Research is studying secondary data which is supported by qualitative research methods. Using purposive sampling technique with observation and interviewing several respondents who need the system integration. The documentation of interview is coded to keep confidentiality of the informant. Method of extending participation, triangulation of data sources, discussions and the adequacy of the theory are uses to validate data. Miles and Huberman models is uses to do analysis the data interview. Results of the research are expected to become a holistic approach to fully integrate the Big Data Analytics program with electronic marketing and CRM systems.


title: Transport phenomena in a free-standing two-dimensional sodium sheet

abstract: The advances in the growth techniques provide numerous scope to explore the possibilities of new 2D materials for potential applications. With the aid of first-principle calculations we show that 2D Na can be a new addition to the family of thermodynamically stable 2D materials for device applications. Not surprisingly, due to half-occupied $3s$ orbital 2D Na possesses the features of the 2D electron gas (2DEG). The transport properties are examined based on the accurate solution of Boltzmann transport equation. With practically tunable carrier density in 2D materials, the intrinsic electrical resistivity of electron doped 2D Na is $\sim$ 1.4 times larger than that of graphene and falls below the latter 450 K onwards. The Bloch-Gr\"uneisen temperature is almost constant at 50 K, independent of the type or density of the charge carriers. The electronic thermal conductivity of pure 2D Na is $\sim$ 1.24 times larger than that of its bulk counterpart at 300 K. The Wiedemann-Franz law stands tall in 2D Na with calculated Lorenz number 2.41 $\times 10^{-8} V^2/deg^2$ at room temperature. The transport mechanism presented here is expected to occur in all Na like systems with a clean Fermi surface.


title: DronePick: Object Picking and Delivery Teleoperation with the Drone Controlled by a Wearable Tactile Display

abstract: We report on the teleoperation system DronePick which provides remote object picking and delivery by a human-controlled quadcopter. The main novelty of the proposed system is that the human user continuously gets the visual and haptic feedback for accurate teleoperation. DronePick consists of a quadcopter equipped with a magnetic grabber, a tactile glove with finger motion tracking sensor, hand tracking system, and the Virtual Reality (VR) application. The human operator teleoperates the quadcopter by changing the position of the hand. The proposed vibrotactile patterns representing the location of the remote object relative to the quadcopter are delivered to the glove. It helps the operator to determine when the quadcopter is right above the object. When the "pick" command is sent by clasping the hand in the glove, the quadcopter decreases its altitude and the magnetic grabber attaches the target object. The whole scenario is in parallel simulated in VR. The air flow from the quadcopter and the relative positions of VR objects help the operator to determine the exact position of the delivered object to be picked. The experiments showed that the vibrotactile patterns were recognized by the users at the high recognition rates: the average 99% recognition rate and the average 2.36s recognition time. The real-life implementation of DronePick featuring object picking and delivering to the human was developed and tested.


title: Significant reduction of lattice thermal conductivity in suspended graphene by charge doping

abstract: Declining the lattice thermal conductivity in graphene is essential for its thermoelectric applications. In high electron density systems, scatterings of phonons by electrons are no less than the phonon scatterings by other phonons. With the aid of first-principle calculations we examine the lattice thermal conductivity in graphene by inducing electron-phonon scattering externally. With experimentally tunable charge carrier density we find $\sim 50\%$ reduction of the lattice thermal conductivity at 200 K. The present study opens up new avenues for potential thermoelectric applications of graphene.


title: Dengue model with early-life stage of vectors and age-structure within host

abstract: We construct an epidemic model for the transmission of dengue fever with an early-life stage in the vector dynamics and age-structure within hosts. The early-life stage of the vector is modeled via a general function that supports multiple vector densities. The {\it basic reproductive number} and {\it vector demographic threshold} are computed to study the local and global stability of the infection-free state. A numerical framework is implemented and simulations are performed.


title: Improved Adversarial Robustness by Reducing Open Space Risk via Tent Activations

abstract: Adversarial examples contain small perturbations that can remain imperceptible to human observers but alter the behavior of even the best performing deep learning models and yield incorrect outputs. Since their discovery, adversarial examples have drawn significant attention in machine learning: researchers try to reveal the reasons for their existence and improve the robustness of machine learning models to adversarial perturbations. The state-of-the-art defense is the computationally expensive and very time consuming adversarial training via projected gradient descent (PGD). We hypothesize that adversarial attacks exploit the open space risk of classic monotonic activation functions. This paper introduces the tent activation function with bounded open space risk and shows that tents make deep learning models more robust to adversarial attacks. We demonstrate on the MNIST dataset that a classifier with tents yields an average accuracy of 91.8% against six white-box adversarial attacks, which is more than 15 percentage points above the state of the art. On the CIFAR-10 dataset, our approach improves the average accuracy against the six white-box adversarial attacks to 73.5% from 41.8% achieved by adversarial training via PGD.


title: Continuous Graph Flow

abstract: In this paper, we propose Continuous Graph Flow, a generative continuous flow based method that aims to model complex distributions of graph-structured data. Once learned, the model can be applied to an arbitrary graph, defining a probability density over the random variables represented by the graph. It is formulated as an ordinary differential equation system with shared and reusable functions that operate over the graphs. This leads to a new type of neural graph message passing scheme that performs continuous message passing over time. This class of models offers several advantages: a flexible representation that can generalize to variable data dimensions; ability to model dependencies in complex data distributions; reversible and memory-efficient; and exact and efficient computation of the likelihood of the data. We demonstrate the effectiveness of our model on a diverse set of generation tasks across different domains: graph generation, image puzzle generation, and layout generation from scene graphs. Our proposed model achieves significantly better performance compared to state-of-the-art models.


title: Nuclear response at zero and finite temperature

abstract: We present some recent developments on the nuclear many-body problem, such as the treatment of high-order correlations and finite temperature in the description of in-medium two-nucleon propagators. In this work we discuss two-time propagators of the particle-hole type, which describe the response of finite nuclei to external probes without nucleon transfer. The general theory is formulated in terms of the equation of motion method for these propagators with the only input from the bare nucleon-nucleon interaction. The numerical implementation was performed on the basis of the effective mason-nucleon Lagrangian in order to study the energy-dependent kernels of different complexity. The finite-temperature extension of the theory with $ph\otimes phonon$ configurations is applied to a study of the multipole response of medium-mass nuclei.


title: Finite group schemes of essential dimension one

abstract: We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any field and a characterisation of all finite group schemes of essential dimension one over algebraically closed fields.


title: Variability of massive stars in M31 from the Palomar Transient Factory

abstract: Using data from the (intermediate) Palomar Transient Factory (iPTF), we characterize the time variability of ~500 massive stars in M31. Our sample is those stars which are spectrally typed by Massey and collaborators, including Luminous Blue Variables, Wolf-Rayets, and warm and cool supergiants. We use the high-cadence, long-baseline (~5 years) data from the iPTF survey, coupled with data-processing tools that model complex features in the light curves. We find widespread photometric (R-band) variability in the upper Hertzsprung Russell diagram (or CMD) with an increasing prevalence of variability with later spectral types. Red stars (V-I>1.5) exhibit larger amplitude fluctuations than their bluer counterparts. We extract a characteristic variability timescale, tch, via wavelet transformations that are sensitive to both continuous and localized fluctuations. Cool supergiants are characterized by longer timescales (>100 days) than the hotter stars. The latter have typical timescales of tens of days but cover a wider range, from our resolution limit of a few days to longer than 100 days timescales. Using a 60-night block of data straddling two nights with a cadence of around 2 minutes, we extracted tch in the range 0.1--10 days with amplitudes of a few percent for 13 stars. Though there is broad agreement between the observed variability characteristics in the different parts of the upper CMD with theoretical predictions, detailed comparison requires models with a more comprehensive treatment of the various physical processes operating in these stars such as pulsation, subsurface convection, and the effect of binary companions.


title: Ensemble Average of Three-Dimensional Minkowski Tensors of a Gaussian Random Field in Redshift Space

abstract: We present the ensemble expectation values for the translation invariant, rank-2 Minkowski tensors in three-dimensions, for a linearly redshift space distorted Gaussian random field. The Minkowski tensors $W^{0,2}_{1}$, $W^{0,2}_{2}$ are sensitive to global anisotropic signals present within a field, and by extracting these statistics from the low redshift matter density one can place constraints on the redshift space distortion parameter $\beta = f/b$. We begin by reviewing the calculation of the ensemble expectation values $\langle W^{0,2}_{1} \rangle$, $\langle W^{0,2}_{2} \rangle $ for isotropic, Gaussian random fields, then consider how these results are modified by the presence of a linearly anisotropic signal. Under the assumption that all fields remain Gaussian, we calculate the anisotropic correction due to redshift space distortion in a coordinate system aligned with the line of sight, finding inequality between the diagonal elements of $\langle W^{0,2}_{1} \rangle $, $\langle W^{0,2}_{2} \rangle $. The ratio of diagonal elements of these matrices provides a set of statistics that are sensitive only to the redshift space distortion parameter $\beta$. We estimate the Fisher information that can be extracted from the Minkowski tensors, and find $W^{0,2}_{1}$ is more sensitive to $\beta$ than $W^{0,2}_{2}$, and a measurement of $W^{0,2}_{1}$ accurate to $\sim 1\%$ can yield a $\sim 4\%$ constraint on $\beta$. Finally, we discuss the difference between using the matrix elements of the Minkowski tensors directly against measuring the eigenvalues. For the purposes of cosmological parameter estimation we advocate the use of the matrix elements, to avoid spurious anisotropic signals that can be generated by the eigenvalue decomposition.


title: Symmetric Graph Convolutional Autoencoder for Unsupervised Graph Representation Learning

abstract: We propose a symmetric graph convolutional autoencoder which produces a low-dimensional latent representation from a graph. In contrast to the existing graph autoencoders with asymmetric decoder parts, the proposed autoencoder has a newly designed decoder which builds a completely symmetric autoencoder form. For the reconstruction of node features, the decoder is designed based on Laplacian sharpening as the counterpart of Laplacian smoothing of the encoder, which allows utilizing the graph structure in the whole processes of the proposed autoencoder architecture. In order to prevent the numerical instability of the network caused by the Laplacian sharpening introduction, we further propose a new numerically stable form of the Laplacian sharpening by incorporating the signed graphs. In addition, a new cost function which finds a latent representation and a latent affinity matrix simultaneously is devised to boost the performance of image clustering tasks. The experimental results on clustering, link prediction and visualization tasks strongly support that the proposed model is stable and outperforms various state-of-the-art algorithms.


title: A game-theoretic proof of Shelah's theorem on labeled trees

abstract: We give a new proof of a theorem of Shelah which states that for every family of labeled trees, if the cardinality $\kappa$ of the family is much larger (in the sense of large cardinals) than the cardinality $\lambda$ of the set of labels, more precisely if the partition relation $\kappa \to (\omega)^{\mathord{<}\omega}_\lambda$ holds, then there is a homomorphism from one labeled tree in the family to another. Our proof uses a characterization of such homomorphisms in terms of games.


title: Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts

abstract: Anonymity revocation is an essential component of credential issuing systems since unconditional anonymity is incompatible with pursuing and sanctioning credential misuse. However, current anonymity revocation approaches have shortcomings with respect to the auditability of the revocation process. In this paper, we propose a novel anonymity revocation approach based on privacy-preserving blockchain-based smart contracts, where the code self-execution property ensures availability and public ledger immutability provides auditability. We describe an instantiation of this approach, provide an implementation thereof and conduct a series of evaluations in terms of running time, gas cost and latency. The results show that our scheme is feasible and efficient.


title: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise

abstract: Modern society is increasingly surrounded by, and accustomed to, a wide range of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often perform safety-critical functions, e.g., personal medical devices, automotive CPS and industrial automation (smart factories). Some devices are small, cheap and specialized sensors and/or actuators. They tend to run simple software and operate under control of a more sophisticated central control unit. The latter is responsible for the decision-making and orchestrating the entire system. If devices are left unprotected, consequences of forged sensor readings or ignored actuation commands can be catastrophic, particularly, in safety-critical settings. This prompts the following three questions: (1) How to trust data produced by a simple remote embedded device? and (2) How to ascertain that this data was produced via execution of expected software? Furthermore, (3) Is it possible to attain (1) and (2) under the assumption that all software on the remote device could be modified or compromised? In this paper we answer these questions by designing, proving security of, and formally verifying, VAPE: Verified Architecture for Proofs of Execution. To the best of our knowledge, this is the first of its kind result for low-end embedded systems. Our work has a range of applications, especially, to authenticated sensing and trustworthy actuation, which are increasingly relevant in the context of safety-critical systems. VAPE architecture is publicly available and our evaluation demonstrates that it incurs low overhead, affordable even for lowest-end embedded devices, e.g., those based on MSP430 or ARV ATMega processors.


title: Domination in direct products of complete graphs

abstract: Let $X_{n}$ denote the unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$. We continue the study of cases in which the inequality $\gamma_t(X_n) \le g(n)$ is strict, where $\gamma_t$ denotes the total domination number, and $g$ is the arithmetic function known as Jacobsthal's function. The best that is currently known in this direction is a construction of Burcroff which gives a family of $n$ with arbitrarily many prime factors that satisfy $\gamma_t(X_n) \le g(n)-2$. We present a new interpretation of the problem which allows us to use recent results on the computation of Jacobsthal's function to construct $n$ with arbitrarily many prime factors that satisfy $\gamma_t(X_n) \le g(n)-16$. We also present new lower bounds on the domination numbers of direct products of complete graphs, which in turn allow us to derive new asymptotic lower bounds on $\gamma(X_n)$, where $\gamma$ denotes the domination number. Finally, resolving a question of Defant and Iyer, we completely classify all graphs $G = \prod_{i=1}^t K_{n_i}$ satisfying $\gamma(G) = t+2$.


title: A Robust Billboard-based Free-viewpoint Video Synthesizing Algorithm for Sports Scenes

abstract: We present a billboard-based free-viewpoint video synthesizing algorithm for sports scenes that can robustly reconstruct and render a high-fidelity billboard model for each object, including an occluded one, in each camera. Its contributions are (1) applicable to a challenging shooting condition where a high precision 3D model cannot be built because a small number of cameras featuring wide-baseline are equipped; (2) capable of reproducing appearances of occlusions, that is one of the most significant issues for billboard-based approaches due to the ineffective detection of overlaps. To achieve contributions above, the proposed method does not attempt to find a high-quality 3D model but utilizes a raw 3D model that is obtained directly from space carving. Although the model is insufficiently accurate for producing an impressive visual effect, precise objects segmentation and occlusions detection can be performed by back-projecting it onto each camera plane. The billboard model of each object in each camera is rendered according to whether it is occluded or not, and its location in the virtual stadium is determined considering the location of its 3D model. We synthesized free-viewpoint videos of two soccer sequences recorded by five cameras with the proposed and state-of-art methods to demonstrate its performance.


title: Optimization-Based Learning Control for Nonlinear Time-Varying Systems

abstract: Learning to perform perfect tracking tasks based on measurement data is desirable in the controller design of systems operating repetitively. This motivates the present paper to seek an optimization-based design approach for iterative learning control (ILC) of repetitive systems with unknown nonlinear time-varying dynamics. It is shown that perfect output tracking can be realized with updating inputs, where no explicit model knowledge but only measured input/output data are leveraged. In particular, adaptive updating strategies are proposed to obtain parameter estimations of nonlinearities. A double-dynamics analysis approach is applied to establish ILC convergence, together with boundedness of input, output, and estimated parameters, which benefits from employing properties of nonnegative matrices. Moreover, robust convergence is explored for optimization-based adaptive ILC in the presence of nonrepetitive uncertainties. Simulation tests are also implemented to verify the validity of our optimization-based adaptive ILC.


title: BoltzmaNN: Predicting effective pair potentials and equations of state using neural networks

abstract: Neural networks (NNs) are employed to predict equations of state from a given isotropic pair potential using the virial expansion of the pressure. The NNs are trained with data from molecular dynamics simulations of monoatomic gases and liquids, sampled in the $NVT$ ensemble at various densities. We find that the NNs provide much more accurate results compared to the analytic low-density limit estimate of the second virial coefficient. Further, we design and train NNs for computing (effective) pair potentials from radial pair distribution functions, $g(r)$, a task which is often performed for inverse design and coarse-graining. Providing the NNs with additional information on the forces greatly improves the accuracy of the predictions, since more correlations are taken into account; the predicted potentials become smoother, are significantly closer to the target potentials, and are more transferable as a result.


title: Open Dataset of Phishing and Tor Hidden Services Screen-captures

abstract: Security analysts need to classify, search and correlate numerous images. Automatic classification tools improve the efficiency of such tasks. However, the main resources to develop these tools are datasets, which are introduced and provided by the present paper, for the specific cases of visual correlation of phishing and onion websites. CIRCL's Open-Source tools are the sources of these screenshots, which had been manually verified against personal information leaks. Usage examples of these datasets are proposed in the current paper. These researches directions are, however, not the main contribution of the paper. The main contribution is the availability of the two datasets.


title: Lithographically defined site-selective growth of Fe filled multi-walled carbon nanotubes using a modified photoresist

abstract: Partially Fe filled multi-walled carbon nanotubes (MWCNTs) were grown by chemical vapor deposition with propane at 850 {\deg}C using a simple mixture of iron (III) acetylacetonate (Fe(acac)3) powder and conventional photoresist. Scanning electron microscopy revealed that catalytic nanoparticles with an average diameter of 70 nm are formed on the Si substrate which governs the diameter of the MWCNTs. Transmission electron microscopy shows that the nanotubes have a multi-walled structure with partial Fe filling. A site-selective growth of partially Fe filled MWCNTs is achieved by a simple photolithographic route.


title: TinySearch -- Semantics based Search Engine using Bert Embeddings

abstract: Existing search engines use keyword matching or tf-idf based matching to map the query to the web-documents and rank them. They also consider other factors such as page rank, hubs-and-authority scores, knowledge graphs to make the results more meaningful. However, the existing search engines fail to capture the meaning of query when it becomes large and complex. BERT, introduced by Google in 2018, provides embeddings for words as well as sentences. In this paper, I have developed a semantics-oriented search engine using neural networks and BERT embeddings that can search for query and rank the documents in the order of the most meaningful to least meaningful. The results shows improvement over one existing search engine for complex queries for given set of documents.


title: A Transit of Venus Possibly Misinterpreted as an Unaided-Eye Sunspot Observation in China on 9 December 1874

abstract: Large sunspots can be observed with the unaided eye under suitable atmospheric seeing conditions. Such observations are of particular value because the frequency of their appearance provides an approximate indication of the prevailing level of solar activity. Unaided-eye sunspot (UES) observations can be traced back well before the start of telescopic observations of the Sun, especially in the East Asian historical records. It is therefore important to compare more modern, UES observations with the results of telescopic sunspot observations, to gain a better understanding of the nature of the UES records. A previous comparison of Chinese UES records and Greenwich photo-heliographic results between 1874 and 1918 indicated that a few of the UES were apparently not supported by direct photographic evidence of at least one sunspot with a large area. This article reveals that one of the Chinese unaided-eye observations had possibly captured the transit of Venus on 9 December 1874. The Chinese sunspot records on this date are compared with Western sunspot observations on the same day. It is concluded that sunspots on the solar disk were quite small and the transit of Venus was probably misinterpreted as a sunspot by the Chinese local scholars. This case indicates that sunspots or comparable "obscuring" objects with an area as large as 1000 millionths of the solar disk could easily have been seen with the unaided eye under suitable seeing conditions. It also confirms the visibility of sunspots near the solar limb with the unaided eye. This study provides an explanation of the apparent discrepancy between the Chinese UES observation on 9 December 1874 and the Western sunspot observations using telescopes, as well as a basis for further discussion on the negative pairs in 1900 and 1911, apparently without sufficiently large area.


title: Simulation of the 2018 Global Dust Storm on Mars Using the NASA Ames Mars GCM: A Multi-Tracer Approach

abstract: Global dust storms are the most thermodynamically significant dust events on Mars. They are produced from the combination of multiple local and regional lifting events and maintained by positive radiative-dynamic feedbacks. The most recent of these events, which began in June 2018, was monitored by several spacecraft in orbit and on the surface, but many questions remain regarding its onset, expansion and decay. We model the 2018 global dust storm with the NASA Ames Mars Global Climate Model to better understand the evolution of the storm and how the general circulation and finite surface dust reservoirs impact it. The global dust storm is characterized by the rapid eastward transport of dust in the equatorial regions and subsequent lifting. We highlight the rapid transfer of dust between western and eastern hemispheres reservoirs, which may play an important role in the storm development through the replenishment of surface dust. Both the Hadley cell circulation and the diurnal cycle of atmospheric heating increase in intensity with increasing dustiness. Large dust plumes are predicted during the mature stage of the storm, injecting dust up to 80 km. The water ice cloud condensation level migrates to higher altitudes, leading to the enrichment of water vapor in the upper atmosphere. In our simulations, the intensity of the Hadley cell is significantly stronger than that of non-dusty conditions. This feedback is strongly sensitive to the radiative properties of dust, which depends on the effective size of the lifted dust distribution.


title: An Adaptive Supervision Framework for Active Learning in Object Detection

abstract: Active learning approaches in computer vision generally involve querying strong labels for data. However, previous works have shown that weak supervision can be effective in training models for vision tasks while greatly reducing annotation costs. Using this knowledge, we propose an adaptive supervision framework for active learning and demonstrate its effectiveness on the task of object detection. Instead of directly querying bounding box annotations (strong labels) for the most informative samples, we first query weak labels and optimize the model. Using a switching condition, the required supervision level can be increased. Our framework requires little to no change in model architecture. Our extensive experiments show that the proposed framework can be used to train good generalizable models with much lesser annotation costs than the state of the art active learning approaches for object detection.


title: Investigation of the near-wake behaviour of a utility-scale wind turbine

abstract: Super-large-scale particle image velocimetry and flow visualization with natural snowfall is used to collect and analyze multiple datasets in the near wake of a 2.5 MW wind turbine. Each dataset captures the full vertical span of the wake from a different perspective. Together, these datasets compose a three-dimensional picture of the near-wake flow, including the effect of the tower and hub and the variation of instantaneous wake expansion in response to changes in turbine operation. A region of high-speed flow is observed directly behind the hub, and a region of low-speed flow appears behind the tower. Additionally, the hub produces a region of enhanced turbulence in its wake while the tower reduces turbulence near the ground as it breaks up turbulent structures in the boundary layer. Analysis of the instantaneous wake behaviour reveals variations in wake expansion, and even periods of wake contraction, occurring in response to changes in the angle of attack and blade pitch gradient. This behaviour is found to depend on the region of operation of the turbine. These findings can be incorporated into wake models and advanced control algorithms for wind farm optimization and can be used to validate wind turbine wake simulations.


title: Absorbing boundary conditions for the time-dependent Schr\"odinger-type equations in $\mathbb R^3$

abstract: Absorbing boundary conditions are presented for three-dimensional time-dependent Schr\"odinger-type of equations as a means to reduce the cost of the quantum-mechanical calculations. The boundary condition is first derived from a semi-discrete approximation of the Schr\"odinger equation with the advantage that the resulting formulas are automatically compatible with the finite-difference scheme and no further discretization is needed in space. The absorbing boundary condition is expressed as a discrete Dirichlet-to-Neumann (DtN) map, which can be further approximated in time by using rational approximations of the Laplace transform to enable a more efficient implementation. This approach can be applied to domains with arbitrary geometry. The stability of the zeroth order and first order absorbing boundary conditions is proved. We tested the boundary conditions on benchmark problems. The effectiveness is further verified by a time-dependent Hartree-Fock model with Skyrme interactions. The accuracy in terms of energy and nucleon density is examined as well.


title: Ground states for the SOS model with an external field on the Cayley tree

abstract: We consider a nearest-neighbor solid-on-solid (SOS) model, with several spin values $0,1,2,...,m, m\geq2$ and non zero external field, on a Cayley tree of order $k$. In the case $k=2, m=2$, we describe translation-invariant ground states for the SOS model with a translation-invariant external field. Some periodic ground states for the SOS model with periodic external field are described.


title: Leader-Follower Network Aggregative Game with Stochastic Agents' Communication and Activeness

abstract: This technical note presents a leader-follower scheme for network aggregative games. The followers and leader are selfish cost minimizing agents. The cost function of each follower is affected by strategy of leader and aggregated strategies of its neighbors through a communication graph. The leader infinitely often wakes up and receives the aggregated strategy of the followers, updates its decision value and broadcasts it to all the followers. Then, the followers apply the updated strategy of the leader into their cost functions. The establishment of information exchange between each neighboring pair of followers, and the activeness of each follower to update its decision at each iteration are both considered to be drawn from two arbitrary distributions. Moreover, a distributed algorithm based on subgradient method is proposed for updating the strategies of leader and followers. The convergence of the proposed algorithm to the unique generalized Nash equilibrium point of the game is proven in both almost sure and mean square senses.


title: Conformal module of the exterior of two rectilinear slits

abstract: We study moduli of planar ring domains whose complements are linear segments and establish formulas for their moduli in terms of the Weierstrass elliptic functions. Numerical tests are carried out to illuminate our results.


title: Edge-guided Non-local Fully Convolutional Network for Salient Object Detection

abstract: Fully Convolutional Neural Network (FCN) has been widely applied to salient object detection recently by virtue of high-level semantic feature extraction, but existing FCN based methods still suffer from continuous striding and pooling operations leading to loss of spatial structure and blurred edges. To maintain the clear edge structure of salient objects, we propose a novel Edge-guided Non-local FCN (ENFNet) to perform edge guided feature learning for accurate salient object detection. In a specific, we extract hierarchical global and local information in FCN to incorporate non-local features for effective feature representations. To preserve good boundaries of salient objects, we propose a guidance block to embed edge prior knowledge into hierarchical feature maps. The guidance block not only performs feature-wise manipulation but also spatial-wise transformation for effective edge embeddings. Our model is trained on the MSRA-B dataset and tested on five popular benchmark datasets. Comparing with the state-of-the-art methods, the proposed method achieves the best performance on all datasets.


title: ATSFFT: A Novel Sparse Fast Fourier Transform Enabled With Sparsity Detection

abstract: The Fast Fourier Transform(FFT) is a classic signal processing algorithm that is utilized in a wide range of applications. For image processing, FFT computes on every pixel's value of an image, regardless of their properties in frequency domain. The Sparse Fast Fourier Transform (SFFT) is an innovative algorithm for discrete Fourier transforms on signals that possess characteristics of the sparsity in frequency domain. A reference implementation of the algorithm has been proven to be efficient than modern FFT library in cases of sufficient sparsity. However, the SFFT implementation has a critical drawback that it only works reliably for very specific input parameters, especially signal sparsity $k$, which hinders the extensive application of SFFT. In this paper, we propose an Adaptive Tuning Sparse Fast Fourier Transform (ATSFFT), which is a novel sparse fast fourier transform enabled with sparsity detection. In the case of unknown sparsity $k$, ATSFFT is capable of probing the sparsity $k$ via adaptive dynamic tuning and completing the sparse Fourier transform. Experimental results show that ATSFFT outperforms SFFT while it is able to control the computation error better than SFFT. Furthermore, ATSFFT achieves an order of magnitude of performance improvement than the state-of-the-art FFT library, FFTW.


title: Multi-Dimensional Spatially-Coupled Code Design: Enhancing the Cycle Properties

abstract: A circulant-based spatially-coupled (SC) code is constructed by partitioning the circulants in the parity-check matrix of a block code into several components and piecing copies of these components in a diagonal structure. By connecting several SC codes, multi-dimensional SC (MD-SC) codes are constructed. In this paper, we present a systematic framework for constructing MD-SC codes with notably better cycle properties than their one-dimensional counterparts. In our framework, the multi-dimensional coupling is performed via an informed relocation of problematic circulants. This work is general in the terms of the number of constituent SC codes that are connected together, the number of neighboring SC codes that each constituent SC code is connected to, and the length of the cycles whose populations we aim to reduce. Finally, we present a decoding algorithm that utilizes the structures of the MD-SC code to achieve lower decoding latency. Compared to the conventional SC codes, our MD-SC codes have a notably lower population of small cycles, and a dramatic BER improvement. The results of this work can be particularly beneficial in data storage systems, e.g., 2D magnetic recording and 3D Flash systems, as high-performance MD-SC codes are robust against various channel impairments and non-uniformity.


title: On Admissible Locations of Transonic Shock Fronts for Steady Euler Flows in an Almost Flat Finite Nozzle with Prescribed Receiver Pressure

abstract: This paper concerns the existence of transonic shock solutions to the 2-D steady compressible Euler system in an almost flat finite nozzle ( in the sense that it is a generic small perturbation of a flat one ), under physical boundary conditions proposed by Courant-Friedrichs in \cite{CourantFriedrichs1948}, in which the receiver pressure is prescribed at the exit of the nozzle. In the resulting free boundary problem, the location of the shock-front is one of the most desirable information one would like to determine. However, the location of the normal shock-front in a flat nozzle can be anywhere in the nozzle so that it provides little information on the possible location of the shock-front when the nozzle's boundary is perturbed. So one of the key difficulties in looking for transonic shock solutions is to determine the shock-front. To this end, a free boundary problem for the linearized Euler system will be proposed, whose solution will be taken as an initial approximation for the transonic shock solution. In this paper, a sufficient condition in terms of the geometry of the nozzle and the given exit pressure is derived which yields the existence of the solutions to the proposed free boundary problem. Once an initial approximation is obtained, a further nonlinear iteration could be constructed and proved to lead to a transonic shock solution.


title: A L2-norm regularized incremental-stencil WENO scheme for compressible flows

abstract: For the simulation of compressible flow with a broadband of length scales and discontinuities, the WENO schemes using incremental stencil sizes other than uniform ones are promising for more robustness and less numerical dissipation. However, in smooth region, large weights may be assigned to smaller stencils due to the lack of high-order derivatives in the smoothness indicator compared with that of larger stencils, and may degrade the order accuracy and lead too much numerical dissipation to resolve fine flow structures. In order to cope with this drawback, based on the stencil selection of WENO-IS [Wang et al., IJMF 104 (2018): 20-31], we propose a L2-norm regularized incremental-stencil WENO scheme. In this method, a new L2-norm regularization is introduced into the WENO weighting strategy to modulate the weights of incremental-width stencils by taking account the L2-norm error term. A high-order non-dimensional discontinuity detector is then utilized as the regularization parameter for adaptive control. In addition, a hybrid method is adopted to further improve the performance and the computational efficiency. A number of benchmark cases suggest that the present scheme achieves very good robustness and fine-structure resolving capabilities.


title: Miniaturised control of acidity in multiplexed microreactors

abstract: The control of acidity influences the structural assembly of biopolymers that are essential for a wide range of applications. Its miniaturization can increase the speed and the possibilities of combinatorial throughput for their manipulation, similarly to the way that the miniaturization of transistors allows the high throughput of logical operations in microelectronics. Here we present a device containing multiplexed micro-reactors, each one enabling independent electrochemical control of the acidity in ~ 2.5 nL volumes, with a large acidity range in aqueous solutions from pH 3 to 7 and an accuracy of at least 0.4 pH units. The attained pH within each microreactor (with footprints of ~ 0.3 mm2 for each spot) was kept constant for long retention times (~10 minutes) and over repeated cycles >100. The acidity is driven by redox proton exchange reactions, which can be driven at different rates that influence the efficiency of the device in order to achieve more charge exchange (larger acidity range) or better reversibility. By the performance in the acidity control the miniaturisation and the possibility to multiplex paves the way for the control of combinatorial chemistry through pH and acidity controlled reactions.


title: Nanoscale imaging of equilibrium quantum Hall edge currents and of the magnetic monopole response in graphene

abstract: The recently predicted topological magnetoelectric effect and the response to an electric charge that mimics an induced mirror magnetic monopole are fundamental attributes of topological states of matter with broken time reversal symmetry. Using a SQUID-on-tip, acting simultaneously as a tunable scanning electric charge and as ultrasensitive nanoscale magnetometer, we induce and directly image the microscopic currents generating the magnetic monopole response in a graphene quantum Hall electron system. We find a rich and complex nonlinear behavior governed by coexistence of topological and nontopological equilibrium currents that is not captured by the monopole models. Furthermore, by utilizing a tuning fork that induces nanoscale vibrations of the SQUID-on-tip, we directly image the equilibrium currents of individual quantum Hall edge states for the first time. We reveal that the edge states that are commonly assumed to carry only a chiral downstream current, in fact carry a pair of counterpropagating currents, in which the topological downstream current in the incompressible region is always counterbalanced by heretofore unobserved nontopological upstream current flowing in the adjacent compressible region. The intricate patterns of the counterpropagating equilibrium-state orbital currents provide new insights into the microscopic origins of the topological and nontopological charge and energy flow in quantum Hall systems.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.ins-det quant-ph


title: Reduction of a bi-Hamiltonian hierarchy on $T^*\mathrm{U}(n)$ to spin Ruijsenaars--Sutherland models

abstract: We first exhibit two compatible Poisson structures on the cotangent bundle of the unitary group $\mathrm{U}(n)$ in such a way that the invariant functions of the $\mathfrak{u}(n)^*$-valued momenta generate a bi-Hamiltonian hierarchy. One of the Poisson structures is the canonical one and the other one arises from embedding the Heisenberg double of the Poisson-Lie group $\mathrm{U}(n)$ into $T^*\mathrm{U}(n)$, and subsequently extending the embedded Poisson structure to the full cotangent bundle. We then apply Poisson reduction to the bi-Hamiltonian hierarchy on $T^*\mathrm{U}(n)$ using the conjugation action of $\mathrm{U}(n)$, for which the ring of invariant functions is closed under both Poisson brackets. We demonstrate that the reduced hierarchy belongs to the overlap of well-known trigonometric spin Sutherland and spin Ruijsenaars--Schneider type integrable many-body models, which receive a bi-Hamiltonian interpretation via our treatment.


title: Nonlinear dynamics of Josephson vortices in merging superfluid rings

abstract: We consider merger of two parallel toroidal atomic Bose-Einstein condensates with different vorticities in a three-dimensional (3D) trap. In the tunnel-coupling regime, Josephson vortices (rotational fluxons) emerge in the barrier between the superflows. When the barrier is gradually eliminated, we observe essentially three-dimensional evolution of quantum vortices, which may include the development of the Kelvin-Helmholtz instability at the interface between the rings, in the framework of a weakly dissipative Gross-Pitaevskii equation. An initially more populated ring, carrying a persistent current, can drag an initially non-rotating less populated one into the same vortex state. The final state of the condensate crucially depends on an initial population imbalance in the double-ring set, as well as on the shape of the 3D trapping potential, oblate or prolate. In the prolate (axially elongated) configuration, robust 3D hybrid structures may appear as a result of the merger of persistent currents corresponding to different vorticities.


title: Continuum limit of discrete Sommerfeld problems on square lattice

abstract: A low frequency approximation of the discrete Sommerfeld diffraction problems, involving the scattering of a time harmonic lattice wave incident on square lattice by a discrete Dirichlet or a discrete Neumann half-plane, is investigated. It is established that the exact solution of the discrete model converges to the solution of the continuum model, i.e. the continuous Sommerfeld problem, in certain discrete Sobolev space defined by W. Hackbusch. The proof of convergence has been provided for both types of boundary conditions when the imaginary part of incident wavenumber is positive.


title: Quantum vortices, M2-branes and black holes

abstract: We study the partition functions of BPS vortices and magnetic monopole operators, in gauge theories describing $N$ M2-branes. In particular, we explore two closely related methods to study the Cardy limit of the index on $S^2\times\mathbb{R}$. The first method uses the factorization of this index to vortex partition functions, while the second one uses a continuum approximation for the monopole charge sums. Monopole condensation confines most of the $N^2$ degrees of freedom except $N^{\frac{3}{2}}$ of them, even in the high temperature deconfined phase. The resulting large $N$ free energy statistically accounts for the Bekenstein-Hawking entropy of large BPS black holes in $AdS_4\times S^7$. Our Cardy free energy also suggests a finite $N$ version of the $N^{\frac{3}{2}}$ degrees of freedom.


title: Two Applications of Boolean Valued Analysis

abstract: The paper contains two main results that are obtained by Boolean valued analysis. The first asserts that a universally complete vector lattice without locally one-dimensional bands can be decomposed into a direct sum of two vector sublattices that are laterally complete and invariant under all band projections and there exists a band preserving linear isomorphism of each of these sublattices to the original lattice. The second result establishes a counterpart of the Ando Theorem on the joint characterization of $A\!L^p$ and $c_0$ for the class of cyclic Banach lattices, using the Boolean valued transfer for injective Banach lattices.


title: 3D-aCortex: An Ultra-Compact Energy-Efficient Neurocomputing Platform Based on Commercial 3D-NAND Flash Memories

abstract: The first contribution of this paper is the development of extremely dense, energy-efficient mixed-signal vector-by-matrix-multiplication (VMM) circuits based on the existing 3D-NAND flash memory blocks, without any need for their modification. Such compatibility is achieved using time-domain-encoded VMM design. Our detailed simulations have shown that, for example, the 5-bit VMM of 200-element vectors, using the commercially available 64-layer gate-all-around macaroni-type 3D-NAND memory blocks designed in the 55-nm technology node, may provide an unprecedented area efficiency of 0.14 um2/byte and energy efficiency of ~10 fJ/Op, including the input/output and other peripheral circuitry overheads. Our second major contribution is the development of 3D-aCortex, a multi-purpose neuromorphic inference processor that utilizes the proposed 3D-VMM blocks as its core processing units. We have performed rigorous performance simulations of such a processor on both circuit and system levels, taking into account non-idealities such as drain-induced barrier lowering, capacitive coupling, charge injection, parasitics, process variations, and noise. Our modeling of the 3D-aCortex performing several state-of-the-art neuromorphic-network benchmarks has shown that it may provide the record-breaking storage efficiency of 4.34 MB/mm2, the peak energy efficiency of 70.43 TOps/J, and the computational throughput up to 10.66 TOps/s. The storage efficiency can be further improved seven-fold by aggressively sharing VMM peripheral circuits at the cost of slight decrease in energy efficiency and throughput.


title: Separable Reversible Data Hiding Based on Integer Mapping and Multi-MSB Prediction for Encrypted 3D Mesh Models

abstract: Reversible data hiding in encrypted domain (RDH-ED) has received tremendous attention from the research community because data can be embedded into cover media without exposing it to the third party data hider and the cover media can be losslessly recovered after the extraction of the embedded data. Although, in recent years, extensive studies have been carried out about images based RDH-ED, little attention is paid to RDH-ED in 3D meshes due to its complex data structure and irregular geometry. In this paper, we propose a separable RDH-ED method for 3D meshes based on integer mapping and Multi-MSB (multiplication most significant bit) prediction. The proposed method divides all the vertices of the mesh into the "embedded" set and "reference" set, and maps decimals of the vertex into integers. Then, we calculate the Multi-MSB prediction errors for the vertices of the "embedded" set and a bit-stream encryption technique will be executed. Finally, additional data is embedded by replacing the Multi-MSB of the encrypted vertex coordinates. According to different permissions, recipient can obtain the original plaintext meshes, additional data or both. Experimental results show that the proposed method has higher embedding capacity and higher quality of the recovered meshes compared to the state-of-art methods.


title: Jumping numbers of analytic multiplier ideals (with an appendix by S\'ebastien Boucksom)

abstract: We extend the study of jumping numbers of multiplier ideals due to Ein-Lazarsfeld-Smith-Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties from Ein-Lazarsfeld-Smith-Varolin are shown to generalize to the plurisubharmonic case, important properties such as periodicity and discreteness do not hold any more. Previously only two particular examples with a cluster point (i.e. failure of discreteness) of jumping numbers were known, due to Guan-Li and to Ein-Lazarsfeld-Smith-Varolin respectively. We generalize them to all toric plurisubharmonic functions in dimension 2 by characterizing precisely when cluster points of jumping numbers exist and by computing all those cluster points. This characterization suggests that clustering of jumping numbers is a rather frequent phenomenon. In particular, we obtain uncountably many new such examples.


title: Contractibility results for certain spaces of Riemannian metrics on the disc

abstract: We provide a general contractibility criterion for subsets of Riemannian metrics on the disc. For instance, this result applies to the space of metrics that have positive Gauss curvature and make the boundary circle convex (or geodesic). The same conclusion is not known in any dimension $n\geq 3$, and (by analogy with the closed case) is actually expected to be false for many values of $n\geq 4$.


title: New Regimes in the Observation of Core-Collapse Supernovae

abstract: Core-collapse Supernovae (CCSNe) mark the deaths of stars more massive than about eight times the mass of the sun and are intrinsically the most common kind of catastrophic cosmic explosions. They can teach us about many important physical processes, such as nucleosynthesis and stellar evolution, and thus, they have been studied extensively for decades. However, many crucial questions remain unanswered, including the most basic ones regarding which kinds of massive stars achieve which kind of explosions and how. Observationally, this question is related to the open puzzles of whether CCSNe can be divided into distinct types or whether they are drawn from a population with a continuous set of properties, and of what progenitor characteristics drive the diversity of observed explosions. Recent developments in wide-field surveys and rapid-response followup facilities are helping us answer these questions by providing two new tools: (1) large statistical samples which enable population studies of the most common SNe, and reveal rare (but extremely informative) events that question our standard understanding of the explosion physics involved, and (2) observations of early SNe emission taken shortly after explosion which carries signatures of the progenitor structure and mass loss history. Future facilities will increase our capabilities and allow us to answer many open questions related to these extremely energetic phenomena of the Universe.


title: Ab Antiquo: Neural Proto-language Reconstruction

abstract: Historical linguists have identified regularities in the process of historic sound change. The comparative method utilizes those regularities to reconstruct proto-words based on observed forms in daughter languages. Can this process be efficiently automated? We address the task of proto-word reconstruction, in which the model is exposed to cognates in contemporary daughter languages, and has to predict the proto word in the ancestor language. We provide a novel dataset for this task, encompassing over 8,000 comparative entries, and show that neural sequence models outperform conventional methods applied to this task so far. Error analysis reveals variability in the ability of neural model to capture different phonological changes, correlating with the complexity of the changes. Analysis of learned embeddings reveals the models learn phonologically meaningful generalizations, corresponding to well-attested phonological shifts documented by historical linguistics.


title: Influence of inelastic collisions with hydrogen atoms on the non-LTE line formation for Fe I and Fe II in the 1D model atmospheres of late-type stars

abstract: Iron plays a crucial role in studies of late-type stars. In their atmospheres, Fe I is the minority species and its lines are subject to the departures from LTE. In contrast, one believes that LTE is a realistic approximation for Fe II lines. The main source of the uncertainties in the non-LTE (NLTE) calculations for cool atmospheres is a treatment of inelastic collisions with hydrogen atoms. We investigate the effect of Fe I + H I and Fe II + H I collisions and their different treatment on the Fe I/Fe II ionisation equilibrium and Fe abundance determinations for Galactic halo benchmark stars HD84937, HD122563, and HD140283 and a sample of 38 very metal-poor giants in the dwarf galaxies with well known distances. We perform the NLTE calculations for Fe I-II with using quantum-mechanical (QM) rate coefficients for collisions with H I from Barklem (2018, B18), Yakovleva, Belyaev, and Kraemer (2018, YBK18), and Yakovleva, Belyaev, and Kraemer (2019). We find that collisions with H I serve as efficient thermalisation processes for Fe II and the NLTE abundance corrections for Fe II lines do not exceed 0.02 dex at [Fe/H] > -3 and reach +0.06~dex at [Fe/H] ~ -4. For given star, the B18 and YBK18 treatments of Fe I + H I collisions lead to similar average NLTE abundances from Fe I lines, although there exist discrepancies in the NLTE corrections for individual lines. With using QM collisional data and the Gaia based surface gravity, we obtain consistent abundances from Fe I and Fe II for a red giant HD122563. For HD84937 and HD140283, we study the Fe lines in the visible and the UV (1968-2990 A) range. For both Fe I and Fe II, abundances from the visible and UV lines are consistent. The abundances from Fe I and Fe II agree within 0.10 and 0.13 dex in the YBK18 and B18 cases. The Fe I/Fe II ionisation equilibrium is achieved for each [Fe/H] > -3.5 star of our dwarf galaxy sample.


title: Plant coexistence mediated by adaptive foraging preferences of exploiters or mutualists

abstract: Coexistence of plants depends on their competition for common resources and indirect interactions mediated by shared exploiters or mutualists. These interactions are driven either by changes in animal abundance (density-mediated interactions, e.g., apparent competition), or by changes in animal preferences for plants (behaviorally-mediated interactions). This article studies effects of behaviorally-mediated interactions on two plant population dynamics and animal preference dynamics when animal densities are fixed. Animals can be either adaptive exploiters or adaptive mutualists (e.g., herbivores or pollinators) that maximize their fitness. Analysis of the model shows that adaptive animal preferences for plants can lead to multiple outcomes of plant coexistence with different levels of specialization or generalism for the mediator animal species. In particular, exploiter generalism promotes plant coexistence even when inter-specific competition is too strong to make plant coexistence possible without exploiters, and mutualist specialization promotes plant coexistence at alternative stable states when plant inter-specific competition is weak. Introducing a new concept of generalized isoclines allows us to fully analyze the model with respect to the strength of competitive interactions between plants (weak or strong), and the type of interaction between plants and animals (exploitation or mutualism). Keywords: behaviorally-mediated interactions, competition for preference, differential inclusion, generalized isocline, switching, sliding and repelling regimes.


title: A Survey of Constrained Combinatorial Testing

abstract: Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an adequate and efficient manner. To ensure the wider applicability of CT in the presence of constrained problem domains, large and diverse efforts have been invested towards the techniques and applications of constrained combinatorial testing. In this paper, we provide a comprehensive survey of representations, influences, and techniques that pertain to constraints in CT, covering 129 papers published between 1987 and 2018. This survey not only categorises the various constraint handling techniques, but also reviews comparatively less well-studied, yet potentially important, constraint identification and maintenance techniques. Since real-world programs are usually constrained, this survey can be of interest to researchers and practitioners who are looking to use and study constrained combinatorial testing techniques.


title: The Effects of the Galactic Magnetic Field on UHECR From Local Sources

abstract: We summarise the results found following a study of the effects that Galactic magnetic fields can have on the propagation of cosmic rays from local extragalactic sources. This study focuses on the coherent structures in the Jansson-Farrar Galactic magnetic field model, namely the: disk field, a toroidal field, and an x-field components. The phenomena of Galactic magnetic field shadowing, source deflection, and Galactic magnetic field tunnel vision are all noted. Attention throughout this study is placed on particles with rigidity around $10^{18.5}$ EV, believed to dominate the cosmic ray spectrum above the ankle. The Galactic magnetic field component predominantly responsible for giving rise to each of these different effects was determined.


title: High-performance orbit-following code ASCOT5 for Monte Carlo simulations in fusion plasmas

abstract: We present a novel implementation of a Monte Carlo particle-following code for solving the distribution function of minority species in fusion plasmas, called ASCOT5, and verify it using theoretical results for neoclassical transport. The code has been developed from ground up with an OpenMP-MPI hybrid paradigm to take full advantage of current and next generation many-core CPUs with multithreading and SIMD operations. Up to 6-fold increase in performance is demonstrated compared to a previous version of the code which only utilizes MPI. The physics model of the code is comprehensively validated against existing theoretical work, and it is shown to faithfully reproduce neoclassical diffusion across three different collisionality regimes. In simulations for realistic tokamak plasmas, including complex non-axisymmetric geometry, ASCOT5 is verified to reproduce results from the previous version ASCOT4.


title: In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas

abstract: We investigate the ground-state energy of a one-dimensional Fermi gas with two bosonic impurities. We consider spinless fermions with no fermion-fermion interactions. The fermion-impurity and impurity-impurity interactions are modelled with Dirac delta functions. First, we study the case where impurity and fermions have equal masses, and the impurity-impurity two-body interaction is identical to the fermion-impurity interaction, such that the system is solvable with the Bethe ansatz. For attractive interactions, we find that the energy of the impurity-impurity subsystem is below the energy of the bound state that exists without the Fermi gas. We interpret this as a manifestation of attractive boson-boson interactions induced by the fermionic medium, and refer to the impurity-impurity subsystem as an in-medium bound state. For repulsive interactions, we find no in-medium bound states. Second, we construct an effective model to describe these interactions, and compare its predictions to the exact solution. We use this effective model to study non-integrable systems with unequal masses and/or potentials. We discuss parameter regimes for which impurity-impurity attraction induced by the Fermi gas can lead to the formation of in-medium bound states made of bosons that repel each other in the absence of the Fermi gas.


title: Expert Sample Consensus Applied to Camera Re-Localization

abstract: Fitting model parameters to a set of noisy data points is a common problem in computer vision. In this work, we fit the 6D camera pose to a set of noisy correspondences between the 2D input image and a known 3D environment. We estimate these correspondences from the image using a neural network. Since the correspondences often contain outliers, we utilize a robust estimator such as Random Sample Consensus (RANSAC) or Differentiable RANSAC (DSAC) to fit the pose parameters. When the problem domain, e.g. the space of all 2D-3D correspondences, is large or ambiguous, a single network does not cover the domain well. Mixture of Experts (MoE) is a popular strategy to divide a problem domain among an ensemble of specialized networks, so called experts, where a gating network decides which expert is responsible for a given input. In this work, we introduce Expert Sample Consensus (ESAC), which integrates DSAC in a MoE. Our main technical contribution is an efficient method to train ESAC jointly and end-to-end. We demonstrate experimentally that ESAC handles two real-world problems better than competing methods, i.e. scalability and ambiguity. We apply ESAC to fitting simple geometric models to synthetic images, and to camera re-localization for difficult, real datasets.


title: Spectroscopy and excited-state $g$~factors in weakly collective ${^{111}}$Cd: confronting collective and microscopic models

abstract: The even cadmium isotopes near the neutron midshell have long been considered good examples of vibrational nuclei. However, the vibrational nature of these nuclei has been questioned based on E2 transition rates that are not consistent with vibrational excitations. In the neighbouring odd-mass nuclei, the g factors of the low-excitation collective states have been shown to be more consistent with a deformed rotational core than a vibrational core. Beyond the comparison of vibrational versus rotational models, recent advances in computational power have made shell-model calculations feasible for Cd isotopes, which may give insights into the emergence and nature of collectivity in the Cd isotopes. Collective excitations in the A ~ 100 region were studied through magnetic moments and electromagnetic transitions in 111Cd. The spectroscopy of 111Cd has been studied following Coulomb excitation. Angular correlation measurements, transient-field g-factor measurements and lifetime measurements by the Doppler-broadened line shape method were performed. The structure of the nucleus was explored in relation to particle-vibration versus particle-rotor interpretations. Large-scale shell-model calculations were performed with the SR88MHJM Hamiltonian. Excited-state g factors have been measured, spin assignments examined and lifetimes determined. Attention was given to the reported $5/2^{+}$ 753-keV and $3/2^{+}$ 755-keV states. The $3/2^{+}$ 755-keV level was not observed; evidence is presented that the reported $3/2^+$ state was a misidentification of the $5/2^{+}$ 753-keV state. It is shown that the g factors and level structure of 111Cd are not readily explained by the particle-vibration model. A particle-rotor approach has both successes and limitations. The shell-model approach successfully reproduces much of the known low-excitation structure in 111Cd.


title: STM: SpatioTemporal and Motion Encoding for Action Recognition

abstract: Spatiotemporal and motion features are two complementary and crucial information for video action recognition. Recent state-of-the-art methods adopt a 3D CNN stream to learn spatiotemporal features and another flow stream to learn motion features. In this work, we aim to efficiently encode these two features in a unified 2D framework. To this end, we first propose an STM block, which contains a Channel-wise SpatioTemporal Module (CSTM) to present the spatiotemporal features and a Channel-wise Motion Module (CMM) to efficiently encode motion features. We then replace original residual blocks in the ResNet architecture with STM blcoks to form a simple yet effective STM network by introducing very limited extra computation cost. Extensive experiments demonstrate that the proposed STM network outperforms the state-of-the-art methods on both temporal-related datasets (i.e., Something-Something v1 & v2 and Jester) and scene-related datasets (i.e., Kinetics-400, UCF-101, and HMDB-51) with the help of encoding spatiotemporal and motion features together.


title: Secure Open Federation of IoT Platforms Through Interledger Technologies -- The SOFIE Approach

abstract: The lack of interoperability among IoT platforms has led to a fragmented environment, where the users and society as a whole suffer from lock-ins, lack of privacy, and reduced functionality. This paper presents SOFIE, a solution for federating the existing IoT platforms in an open and secure manner using Distributed Ledger Technologies (DLTs) and without requiring modifications to the IoT platforms, and describes how SOFIE is used to enable two complex real life pilots: food supply chain tracking from field to fork and electricity distribution grid balancing with guided electrical vehicle (EV) charging. SOFIE's main contribution is to provide interoperability between IoT systems while also enabling new functionality and business models.


title: Dealing with imperfect information in Strategy Logic

abstract: We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our approach is that we do not force strategies to be uniform, i.e. consistent with the players' information, at the semantic level; instead, one can express in the logic itself that a strategy should be uniform. To do so, we first develop a "branching-time" version of SL with perfect information, that we call BSL, in which one can quantify over the different outcomes defined by a partial assignment of strategies to the players; this contrasts with SL, where temporal operators are allowed only when all strategies are fixed, leaving only one possible play. Next, we further extend BSL by adding distributed knowledge operators, the semantics of which rely on equivalence relations on partial plays. The logic we obtain subsumes most strategic logics with imperfect information, epistemic or not.


title: Suppression of blow up by mixing in generalized Keller-Segel system with fractional dissipation

abstract: In this paper, we consider the Cauchy problem for a generalized parabolic-elliptic Keller-Segel equation with fractional dissipation and the additional mixing effect of advection by an incompressible flow. Under suitable mixing condition on the advection, we study well-posedness of solution with large initial data. We establish the global $L^\infty$ estimate of the solution through nonlinear maximum principle, and obtain the global classical solution.


title: Continuous phase transition between bosonic integer quantum Hall liquid and trivial insulator: evidences for deconfined quantum criticality

abstract: The deconfined quantum critical point, a prototype Landau-forbidden transition, could exist in principle in the phase transitions involving symmetry protected topological phase, however, examples of such kinds of transition in physical systems are rare beyond one-dimensional systems. Here, using density-matrix renormalization group calculation, we unveil a bosonic integer quantum Hall phase in two-dimensional correlated honeycomb lattice, by full identification of its internal structure from the topological $\mathbf{K}$ matrix. Moreover we demonstrate that imbalanced periodic chemical potentials can destroy the bosonic integer quantum Hall state and drive it into a featureless trivial (Mott) insulator, where all physical observables evolve smoothly across the critical point. At the critical point the entanglement entropy reveals a characteristic scaling behavior, which is consistent with the critical field theory as an emergent QED$_3$ with two flavors of Dirac fermions.


title: Some comments on Laakso graphs and sets of differences

abstract: We recall a variation of a construction due to Laakso \cite{LA}, also used by Lang and Plaut \cite{LA} of a doubling metric space $X$ that cannot be embedded into any Hilbert space. We give a more concrete version of this construction and motivated by the results of Olson \& Robinson \cite{OR}, we consider the Kuratowski embedding $\Phi(X)$ of $X$ into $L^{\infty}(X)$ and prove that $\Phi(X)-\Phi(X)$ is not doubling.


title: Progressive Transfer Learning

abstract: Model fine-tuning is a widely used transfer learning approach in person Re-identification (ReID) applications, which fine-tuning a pre-trained feature extraction model into the target scenario instead of training a model from scratch. It is challenging due to the significant variations inside the target scenario, e.g., different camera viewpoint, illumination changes, and occlusion. These variations result in a gap between the distribution of each mini-batch and the whole dataset's distribution when using mini-batch training. In this paper, we study model fine-tuning from the perspective of the aggregation and utilization of the global information of the dataset when using mini-batch training. Specifically, we introduce a novel network structure called Batch-related Convolutional Cell (BConv-Cell), which progressively collects the global information of the dataset into a latent state and uses it to rectify the extracted feature. Based on BConv-Cells, we further proposed the Progressive Transfer Learning (PTL) method to facilitate the model fine-tuning process by jointly optimizing the BConv-Cells and the pre-trained ReID model. Empirical experiments show that our proposal can improve the performance of the ReID model greatly on MSMT17, Market-1501, CUHK03 and DukeMTMC-reID datasets. Moreover, we extend our proposal to the general image classification task. The experiments in several image classification benchmark datasets demonstrate that our proposal can significantly improve the performance of baseline models. The code has been released at \url{https://github.com/ZJULearning/PTL}


title: Estimation of Expected Euler Characteristic Curves of Nonstationary Smooth Gaussian Random Fields

abstract: The expected Euler characteristic (EEC) curve of excursion sets of a Gaussian random field is used to approximate the distribution of its supremum for high thresholds. Viewed as a function of the excursion threshold, the EEC is expressed by the Gaussian kinematic formula (GKF) as a linear function of the Lipschitz-Killing curvatures (LKCs) of the field, which solely depend on the domain and covariance function of the field. So far its use for non-stationary Gaussian fields over non-trivial domains has been limited because in this case the LKCs are difficult to estimate. In this paper, consistent estimators of the LKCs are proposed as linear projections of "pinned" observed Euler characteristic curves and a linear parametric estimator of the EEC curve is obtained, which is more efficient than its nonparametric counterpart for repeated observations. A multiplier bootstrap modification reduces the variance of the estimator, and allows estimation of LKCs and EEC of the limiting field of non-Gaussian fields satisfying a functional CLT. The proposed methods are evaluated using simulations of 2D fields and illustrated in thresholding of 3D fMRI brain activation maps and cosmological simulations on the 2-sphere.


title: Efficient and robust evaluation of fast particle losses in non-axisymmetric tokamak plasmas

abstract: We present various techniques that make orbit-following Monte Carlo simulations faster and more reliable when assessing collisionless fast particle losses due to magnetic field perturbations. These techniques are based on identifying various loss channels in constants of motion space using the so-called loss maps. We demonstrate that this allows one to attribute losses quantitatively to different transport mechanisms, increase signal-to-noise ratio when estimating FILD signal and peak power loads, and connect magnetic field structure directly to fast particle losses. Furthermore, we show that collisionless fast particle transport can be treated as an advection-diffusion process where the transport coefficients can be evaluated with the orbit-following method. Applying these techniques has the potential to make orbit-following simulations faster to perform, or to avoid them completely, while making the results more reliable as they become more clearly connected to underlying physics. We demonstrate these techniques for ITER by showing how alpha particle losses are affected by various magnetic field perturbations, estimating ICRH losses in reduced field scenarios, and performing a scan on alpha particle losses as a function of ELM control coil current phases.


title: Emergent bosons in the fermionic two-leg flux ladder

abstract: We study the emergence of bosonic pairs in a system of two coupled one-dimensional fermionic chains subject to a gauge flux (two-leg flux ladder), with both attractive and repulsive interaction. In the presence of strong attractive nearest-neighbor interaction and repulsive next-to-nearest-neighbor interaction, the system crosses into a regime in which fermions form tightly bound pairs, which behave as bosonic entities. By means of numerical simulations based on the density-matrix-renormalization-group (DMRG) method, we show in particular that in the strongly paired regime, the gauge flux induces a quantum phase transition of the Ising type from vortex density wave (VDW) to a charge density wave (CDW), characteristic of bosonic systems.


title: {\it Fermi}-LAT Stacking Analysis Technique: An Application to Extreme Blazars and Prospects for their CTA Detection

abstract: We present a likelihood profile stacking technique based on the {\it Fermi}-Large Area Telescope (LAT) data to explore the $\gamma$-ray characteristics of {\it Fermi}-LAT undetected astrophysical populations. The pipeline is applied to a sample of $\gamma$-ray unresolved extreme blazars, i.e., sources with the highest synchrotron peak frequencies ($\nu_{\rm Syn}^{\rm peak}\geqslant 10^{17}$ Hz), and we report a cumulative $\gamma$-ray detection with more than 32$\sigma$ confidence for 2 degrees of freedom. Comparing the generated stacked $\gamma$-ray spectrum with the sensitivity limits of the upcoming Cherenkov Telescope Array (CTA), we find that the {\it Fermi}-LAT undetected population of such extreme blazars, on average, may remain well below the CTA detection threshold due to their faintness and extragalactic background light (EBL) absorption. However, $\gamma$-ray detected blazars belonging to the same class are promising candidates for CTA observations. The EBL corrected stacked spectra of these sources do not show any softening up to 1 TeV. This finding suggests the inverse Compton peak of extreme blazars to lie above 1 TeV, thus indicating a hard intrinsic TeV spectrum. Our analysis also predicts that at 100 GeV, at least $\sim$10\% of the diffuse extragalactic $\gamma$-ray background originates from the $\gamma$-ray undetected extreme blazars. These results highlight the effectiveness of the developed stacking technique to explore the uncharted territory of $\gamma$-ray undetected astrophysical objects.


title: Multiply Periodic Splines

abstract: Spline functions have long been used in numerical solution of differential equations. Recently it revives as isogeometric analysis, which offers integration of finite element analysis and NURBS based CAD into a single unified process. Usually many NURBS pieces are needed to build geometrically continuous CAD models. In this paper, we introduce some multiply periodic splines defined on hyperbolic disc. A single piece of such splines is enough to build complex CAD models. Multiresolution analysis on surfaces of high genus built from such splines can be carried out naturally. CAD and FEA are integrated directly on such models. It is difficult to derive such splines, only a theoretical framework is presented, together with some simple examples. Rigorous derivation and construction of B-splines will be given in future papers.


title: Generation of 3D Brain MRI Using Auto-Encoding Generative Adversarial Networks

abstract: As deep learning is showing unprecedented success in medical image analysis tasks, the lack of sufficient medical data is emerging as a critical problem. While recent attempts to solve the limited data problem using Generative Adversarial Networks (GAN) have been successful in generating realistic images with diversity, most of them are based on image-to-image translation and thus require extensive datasets from different domains. Here, we propose a novel model that can successfully generate 3D brain MRI data from random vectors by learning the data distribution. Our 3D GAN model solves both image blurriness and mode collapse problems by leveraging alpha-GAN that combines the advantages of Variational Auto-Encoder (VAE) and GAN with an additional code discriminator network. We also use the Wasserstein GAN with Gradient Penalty (WGAN-GP) loss to lower the training instability. To demonstrate the effectiveness of our model, we generate new images of normal brain MRI and show that our model outperforms baseline models in both quantitative and qualitative measurements. We also train the model to synthesize brain disorder MRI data to demonstrate the wide applicability of our model. Our results suggest that the proposed model can successfully generate various types and modalities of 3D whole brain volumes from a small set of training data.


title: The Argument against Quantum Computers

abstract: We give a computational complexity argument against the feasibility of quantum computers. We identify a very low complexity class of probability distributions described by noisy intermediate-scale quantum computers, and explain why it will allow neither good-quality quantum error-correction nor a demonstration of "quantum supremacy." Some general principles governing the behavior of noisy quantum systems are derived. Our work supports the "physical Church thesis" studied by Pitowsky (1990) and follows his vision of using abstract ideas about computation to study the performance of actual physical computers.


title: EC 22536-5304: SALT identifies a new lead-rich intermediate helium subdwarf

abstract: SALT spectra of the helium-rich hot subdwarf EC22536-5304 show strong absorption lines of triply-ionized lead. Analysis of the HRS spectrum and a follow-up SALT/RSS spectrum show EC22536-5304 to have surface properties (temperature, gravity, helium/hydrogen ratio) similar to other heavy-metal subdwarfs. With a lead overabundance of 4.8 dex relative to solar, EC22536-5304 is the most lead-rich intermediate helium subdwarf discovered so far.


title: Formation and evaporation of strangelets during the merger of two compact stars

abstract: We study the partial fragmentation of a strange quark star into strangelets during the process of merger of two strange quark stars. We discuss the fate of the fragments considering their possible evaporation into nucleons. We show that only a rather small amount of large size strangelets, ejected from the spiral arms in the post-merger, survives a total evaporation into nucleons. In this way we demonstrate that: 1) the density of strangelets in the galaxy is too low to trigger the conversion of all neutron stars into strange quark stars and it allows the co-existence of both types of compact objects; 2) the probability of direct detection of a strangelet is negligible and therefore its nondetection is compatible with the strange quark matter hypothesis; 3) most of the matter ejected during and after the merger of two strange quark stars evaporates into nucleons and therefore it can generate a kilonova-like signal.