title: Projection-to-Projection Translation for Hybrid X-ray and Magnetic Resonance Imaging

abstract: Hybrid X-ray and magnetic resonance (MR) imaging promises large potential in interventional medical imaging applications due to the broad variety of contrast of MRI combined with fast imaging of X-ray-based modalities. To fully utilize the potential of the vast amount of existing image enhancement techniques, the corresponding information from both modalities must be present in the same domain. For image-guided interventional procedures, X-ray fluoroscopy has proven to be the modality of choice. Synthesizing one modality from another in this case is an ill-posed problem due to ambiguous signal and overlapping structures in projective geometry. To take on these challenges, we present a learning-based solution to MR to X-ray projection-to-projection translation. We propose an image generator network that focuses on high representation capacity in higher resolution layers to allow for accurate synthesis of fine details in the projection images. Additionally, a weighting scheme in the loss computation that favors high-frequency structures is proposed to focus on the important details and contours in projection imaging. The proposed extensions prove valuable in generating X-ray projection images with natural appearance. Our approach achieves a deviation from the ground truth of only $6$% and structural similarity measure of $0.913\,\pm\,0.005$. In particular the high frequency weighting assists in generating projection images with sharp appearance and reduces erroneously synthesized fine details.


title: Adaptive Greedy versus Non-adaptive Greedy for Influence Maximization

abstract: We consider the *adaptive influence maximization problem*: given a network and a budget $k$, iteratively select $k$ seeds in the network to maximize the expected number of adopters. In the *full-adoption feedback model*, after selecting each seed, the seed-picker observes all the resulting adoptions. In the *myopic feedback model*, the seed-picker only observes whether each neighbor of the chosen seed adopts. Motivated by the extreme success of greedy-based algorithms/heuristics for influence maximization, we propose the concept of *greedy adaptivity gap*, which compares the performance of the adaptive greedy algorithm to its non-adaptive counterpart. Our first result shows that, for submodular influence maximization, the adaptive greedy algorithm can perform up to a $(1-1/e)$-fraction worse than the non-adaptive greedy algorithm, and that this ratio is tight. More specifically, on one side we provide examples where the performance of the adaptive greedy algorithm is only a $(1-1/e)$ fraction of the performance of the non-adaptive greedy algorithm in four settings: for both feedback models and both the *independent cascade model* and the *linear threshold model*. On the other side, we prove that in any submodular cascade, the adaptive greedy algorithm always outputs a $(1-1/e)$-approximation to the expected number of adoptions in the optimal non-adaptive seed choice. Our second result shows that, for the general submodular diffusion model with full-adoption feedback, the adaptive greedy algorithm can outperform the non-adaptive greedy algorithm by an unbounded factor. Finally, we propose a risk-free variant of the adaptive greedy algorithm that always performs no worse than the non-adaptive greedy algorithm.


title: Joint Unicast and Multi-group Multicast Transmission in Massive MIMO Systems

abstract: We study the joint unicast and multi-group multicast transmission in massive multiple-input-multiple-output (MIMO) systems. We consider a system model that accounts for channel estimation and pilot contamination, and derive achievable spectral efficiencies (SEs) for unicast and multicast user terminals (UTs), under maximum ratio transmission and zero-forcing precoding. For unicast transmission, our objective is to maximize the weighted sum SE of the unicast UTs, and for the multicast transmission, our objective is to maximize the minimum SE of the multicast UTs. These two objectives are coupled in a conflicting manner, due to their shared power resource. Therefore, we formulate a multiobjective optimization problem (MOOP) for the two conflicting objectives. We derive the Pareto boundary of the MOOP analytically. As each Pareto optimal point describes a particular efficient trade-off between the two objectives of the system, we determine the values of the system parameters (uplink training powers, downlink transmission powers, etc.) to achieve any desired Pareto optimal point. Moreover, we prove that the Pareto region is convex, hence the system should serve the unicast and multicast UTs at the same time-frequency resource. Finally, we validate our results using numerical simulations.


title: Finite element methods based on two families of second-order numerical formulas for the fractional Cable model with smooth solutions

abstract: We apply two families of novel fractional $\theta$-methods, the FBT-$\theta$ and FBN-$\theta$ methods developed by the authors in previous work, to the fractional Cable model, in which the time direction is approximated by the fractional $\theta$-methods, and the space direction is approximated by the finite element method. Some positivity properties of the coefficients for both of these methods are derived, which are crucial for the proof of the stability estimates. We analyse the stability of the scheme and derive an optimal convergence result with $O(\tau^2+h^{r+1})$ for smooth solutions, where $\tau$ is the time mesh size and $h$ is the spatial mesh size. Some numerical experiments with smooth and nonsmooth solutions are conducted to confirm our theoretical analysis. To overcome the singularity at initial value, the starting part is added to restore the second-order convergence rate in time.


title: On self-gravitating kinks in two-dimensional pseudo-riemannian universes

abstract: Two-dimensional scalar field theories with spontaneous symmetry breaking subject to the action of Jackiw-Teitelboim gravity are studied. Solutions for the $\phi^4$ and sine-Gordon self-gravitating kinks are presented, both for general gravitational coupling and in the perturbative regime. The analysis is extended to deal with a hierarchy of kinks related to transparent P\"{o}schl-Teller potentials


title: Low-cost open-source high-frequency portable pulse counter for Raspberry Pi and its application to Xray transmission rate measurement

abstract: Affordable electronics for instrumentation play a vital role in academia since research budgets are tight nowadays. In this paper a low-cost open-source high-frequency portable Raspberry Pi-based pulse counter is presented. Although it is designed as a $ 2 $ channel counter, it can be easily modified to a $ 4 $ channel counter. It provides a relay control interface for experimental-setup integration and counts pulses up to $ 10 $ MHz frequency. Presented system is proved to be accurate by an Xray transmission rate measurement experiment.


title: Dense Fusion Classmate Network for Land Cover Classification

abstract: Recently, FCNs based methods have made great progress in semantic segmentation. Different with ordinary scenes, satellite image owns specific characteristics, which elements always extend to large scope and no regular or clear boundaries. Therefore, effective mid-level structure information extremely missing, precise pixel-level classification becomes tough issues. In this paper, a Dense Fusion Classmate Network (DFCNet) is proposed to adopt in land cover classification.


title: Efficient Numerical Modeling of the Magnetization Loss on a Helically Wound Superconducting Tape in a Ramped Magnetic Field

abstract: We investigate theoretically the dependence of magnetization loss of a helically wound superconducting tape on the round core radius $R$ and the helical conductor pitch in a ramped magnetic field. Using the thin-sheet approximation, we identify the two-dimensional equation that describes Faraday's law of induction on a helical tape surface in the steady state. Based on the obtained basic equation, we simulate numerically the current streamlines and the power loss $P$ per unit tape length on a helical tape. For $R \gtrsim w_0$ (where $w_0$ is the tape width), the simulated value of $P$ saturates close to the loss power $\sim(2/\pi)P_{\rm flat}$ (where $P_{\rm flat}$ is the loss power of a flat tape) for a loosely twisted tape. This is verified quantitatively by evaluating power loss analytically in the thin-filament limit of $w_0/R\rightarrow 0$. For $R \lesssim w_0$, upon thinning the round core, the helically wound tape behaves more like a cylindrical superconductor as verified by the formula in the cylinder limit of $w_0/R\rightarrow 2\pi$, and $P$ decreases further from the value for a loosely twisted tape, reaching $\sim (2/\pi)^2 P_{\rm flat}$.


title: Optimal tests for elliptical symmetry: specified and unspecified location

abstract: Although the assumption of elliptical symmetry is quite common in multivariate analysis and widespread in a number of applications, the problem of testing the null hypothesis of ellipticity so far has not been addressed in a fully satisfactory way. Most of the literature in the area indeed addresses the null hypothesis of elliptical symmetry with specified location and actually addresses location rather than non-elliptical alternatives. In this paper, we are proposing new classes of testing procedures, both for specified and unspecified location. The backbone of our construction is Le Cam's asymptotic theory of statistical experiments, and optimality is to be understood locally and asymptotically within the family of generalized skew-elliptical distributions. The tests we are proposing are meeting all the desired properties of a``good'' test of elliptical symmetry: they have a simple asymptotic distribution under the entire null hypothesis of elliptical symmetry with unspecified radial density and shape parameter; they are affine-invariant, computationally fast, intuitively understandable, and not too demanding in terms of moments. While achieving optimality against generalized skew-elliptical alternatives, they remain quite powerful under a much broader class of non-elliptical distributions and significantly outperform the available competitors.


title: From Little String Free Energies Towards Modular Graph Functions

abstract: We study the structure of the non-perturbative free energy of a one-parameter class of little string theories (LSTs) of A-type in the so-called unrefined limit. These theories are engineered by $N$ M5-branes probing a transverse flat space. By analysing a number of examples, we observe a pattern which suggests to write the free energy in a fashion that resembles a decomposition into higher-point functions which can be presented in a graphical way reminiscent of sums of (effective) Feynman diagrams: to leading order in the instanton parameter of the LST, the $N$ external states are given either by the fundamental building blocks of the theory with $N=1$, or the function that governs the counting of BPS states of a single M5-brane coupling to one M2-brane on either side. These states are connected via an effective coupling function which encodes the details of the gauge algebra of the LST and which in its simplest (non-trivial) form is captured by the scalar Greens function on the torus. More complicated incarnations of this function show certain similarities with so-called modular graph functions, which have appeared in the study of Feynman amplitudes in string- and field theory. Finally, similar structures continue to exist at higher instanton orders, which, however, also contain contributions that can be understood as the action of (Hecke) operators on the leading instanton result.


title: ROSETLineBot: One-Wheel-Drive Low-Cost Power Line Inspection Robot Design and Control

abstract: Continuous operation of the electrical transmission lines is of great importance for today's electricity-dependent world. It is crucial to detect and diagnose a possible problem on the lines before that occurs. In general, maintenance, repair and error detection operations of the electrical transmission lines are performed by humans periodically. However, these difficult tasks contain high-risks in terms of occupational health and safety. Moreover, it is not possible to continuously inspect these lines which extend over long distances by maintenance and repair personnel. For all these reasons, it is very convenient to use robotic systems for inspection on power transmission lines. By evaluating the data which are provided from sensors and cameras of robotic systems, it would be possible to take precautions before an error occurs. Robotic systems that can move continuously along the line would be able to gather continuous and uninterrupted information. Thus, potential problems can be detected and identified in advance. In this study, a single wheel drive low-cost mobile robot is designed and controlled which can work and move on the electrical transmission lines. Because of the modular structure of the designed robot, different types of sensors can be integrated into the robot, easily. The designed low-cost robotic system will cause minimum losses in case of possible breakage.


title: Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality

abstract: Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F equipped with a decider for type equality. It refutes Werner's normalization conjecture [LMCS 2008].


title: Extrapolation of operator-valued multiplication operators

abstract: We discuss $\mathrm{L}^p$ fiber spaces which appear, e.g., as extrapolation spaces of unbounded multiplication operators which in turn are motivated, for instance, by non-autonomous evolution equations.


title: A Generalization of A Result of Gauss on Primitive Root

abstract: A primitive root modulo an integer $n$ is the generator of the multiplicative group of integers modulo $n$. Gauss proved that for any prime number $p$ greater than $3$, the sum of its primitive roots is congruent to $1$ modulo $p$ while its product is congruent to $\mu(p-1)$ modulo $p$, where $\mu$ is the M\"{o}bius function. In this paper, we will generalize these two interesting congruences and give the congruences of the sum and the product of integers with the same index modulo $n$.


title: Rethinking deep active learning: Using unlabeled data at model training

abstract: Active learning typically focuses on training a model on few labeled examples alone, while unlabeled ones are only used for acquisition. In this work we depart from this setting by using both labeled and unlabeled data during model training across active learning cycles. We do so by using unsupervised feature learning at the beginning of the active learning pipeline and semi-supervised learning at every active learning cycle, on all available data. The former has not been investigated before in active learning, while the study of latter in the context of deep learning is scarce and recent findings are not conclusive with respect to its benefit. Our idea is orthogonal to acquisition strategies by using more data, much like ensemble methods use more models. By systematically evaluating on a number of popular acquisition strategies and datasets, we find that the use of unlabeled data during model training brings a surprising accuracy improvement in image classification, compared to the differences between acquisition strategies. We thus explore smaller label budgets, even one label per class.


title: Eurasian Cooling Patterns in the CMIP5 Climate Models

abstract: The Arctic has warmed dramatically compared to the global average over the last few decades. During this same period, there have been strong cooling trends observed in the wintertime, near-surface air temperature over central Eurasia, a phenomenon known as Eurasian cooling. Many studies have suggested that the loss of sea ice, especially in the Barents and Kara Seas, is related to the cooling over Eurasia, although this connection and its possible mechanism is still a source of heated debate. Observations and reanalyses show a clear pattern of co-variability between Arctic sea ice and Eurasian wintertime temperatures. However, there is an open question regarding how robustly this teleconnection pattern is reproduced in the current generation of climate models. This study has examined Eurasian cooling in twenty models from the Coupled Model Intercomparison Project Phase 5 (CMIP5), both in terms of temperature trends and by using singular value decomposition to identify patterns of co-variability between Arctic sea ice concentrations and near-surface temperatures over Eurasia. These are compared to trends and patterns of co-variability found in the ERA-Interim reanalysis. While most of the CMIP5 models have a robust pattern of co-variability that is similar to that found in the reanalysis, many fail to reproduce the wintertime cooling that has been observed. An examination of Arctic sea ice extent in the models suggests one possible explanation is the inability of the models to accurately simulate the wintertime sea ice changes over critical locations such as the Barents and Kara Seas.


title: Transport in Fermi Liquids Confined by Rough Walls

abstract: I present theoretical calculations of the thermal conductivity of Fermi liquid 3He confined to a slab of thickness of order 100nm. The effect of the roughness of the confining surfaces is included directly in terms of the surface roughness power spectrum which may be determined experimentally. Transport at low temperatures is limited by scattering off rough surfaces and evolves into the known high-temperature limit in bulk through an anomalous regime in which both inelastic quasiparticle scattering and elastic scattering off the rough surface coexist. I show preliminary calculations for the coefficients of thermal conductivity. These studies are applicable in the context of electrical transport in metal nanowires as well as experiments that probe the superfluid phase diagram of liquid 3He in a slab geometry.


title: Photonic Chern insulators made of gyromagnetic hyperbolic metamaterials

abstract: Controlling light propagation using artificial photonic crystals and electromagnetic metamaterials is an important topic in the vibrant field of photonics. Notably, chiral edge states on the surface or at the interface of photonic Chern insulators can be used to make reflection-free waveguides. Here, by both theoretical analysis and electromagnetic simulations, we demonstrate that gyromagnetic hyperbolic metamaterials (GHM) are photonic Chern insulators with superior properties. As a novel mechanism, the simultaneous occurrence of the hyperbolic and gyromagnetic effects in these metamaterials is shown to open the large topological band gaps with gap Chern number of one. Importantly, unlike many other photonic Chern insulators, the GHM Chern insulators possess non-radiative chiral edge modes on their surfaces, and thus allow to fabricate unidirectional waveguides without cladding metals which generally incurr considerable Ohmic loss. Furthermore, the photonic edge states in the proposed Chern insulators are robust against disorder on a wide range of length scales, in strong contrast to crystalline topological insulators, and the light flow direction on the surface of the Chern insulators can be easily flipped by switching the direction of an applied magnetic field. Fascinatingly, we find that negative refraction of the topological surface wave occurs at the boundary between the GHMs with the opposite signs of gyromagnetic parameters. Finally, we show that compared with other photonic topological materials such as chiral hyperbolic materials, the present GHM Chern insulators can be much easier to fabricate.


title: Attosecond timing of electron emission from a molecular shape resonance

abstract: Shape resonances in physics and chemistry arise from the spatial confinement of a particle by a potential barrier. In molecular photoionization, these barriers prevent the electron from escaping instantaneously, so that nuclei may move and modify the potential, thereby affecting the ionization process. By using an attosecond two-color interferometric approach in combination with high spectral resolution, we have captured the changes induced by the nuclear motion on the centrifugal barrier that sustains the well-known shape resonance in valence-ionized N$_2$. We show that despite the nuclear motion altering the bond length by only $2\%$, which leads to tiny changes in the potential barrier, the corresponding change in the ionization time can be as large as $200$ attoseconds. This result poses limits to the concept of instantaneous electronic transitions in molecules, which is at the basis of the Franck-Condon principle of molecular spectroscopy.


title: Decentralization in Open Quorum Systems

abstract: Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or censorship. Decentralisation, however, appears difficult to be formally defined, possibly a continuum property of systems that can be more or less decentralised, or can tend to decentralisation in their lifetime. In this paper we focus on decentralisation in quorum-based approaches to open (permissionless) consensus as illustrated in influential protocols such as the Ripple and Stellar protocols. Drawing from game theory and computational complexity, we establish limiting results concerning the decentralisation vs. safety trade-off in Ripple and Stellar, and we propose a novel methodology to formalise and quantitatively analyse decentralisation in this type of blockchains.


title: Nonlinear Model Predictive Control with Enhanced Actuator Model for Multi-Rotor Aerial Vehicles with Generic Designs

abstract: In this paper, we propose, discuss, and validate an online Nonlinear Model Predictive Control (NMPC) method for multi-rotor aerial systems with arbitrarily positioned and oriented rotors which simultaneously addresses the local reference trajectory planning and tracking problems. This work brings into question some common modeling and control design choices that are typically adopted to guarantee robustness and reliability but which may severely limit the attainable performance. Unlike most of state of the art works, the proposed method takes advantages of a unified nonlinear model which aims to describe the whole robot dynamics by explicitly including a realistic physical description of the actuator dynamics and limitations. As a matter of fact, our solution does not resort to common simplifications such as: 1) linear model approximation, 2) cascaded control paradigm used to decouple the translational and the rotational dynamics of the rigid body, 3) use of low-level reactive trackers for the stabilization of the internal loop, and 4) unconstrained optimization resolution or use of fictitious constraints. More in detail, we consider as control inputs the derivatives of the propeller forces and propose a novel method to suitably identify the actuator limitations by leveraging experimental data. Differently from previous approaches, the constraints of the optimization problem are defined only by the real physics of the actuators, avoiding conservative -- and often not physical -- input/state saturations which are present, e.g., in cascaded approaches. The control algorithm is implemented using a state-of-the-art Real Time Iteration (RTI) scheme with partial sensitivity update method. CONTINUES...


title: Recent shell-model calculations of gamma-decay strength functions

abstract: We present recent shell-model calculations of the gamma-decay in sd-pf and pf-shell nuclei. We focus on the M1 part of the dipole strength which was shown to exhibit interesting low-energy effects, in particular a low-energy enhancement which can have a considerable impact on the radiative neutron capture. We discuss the persistence of the shell effects in the nuclear quasi-continuum and the relation between the shape of the strength function at low energy and nuclear deformation.


title: Numerical simulation of inextensible elastic ribbons

abstract: Using dimensionally reduced models for the numerical simulation of thin objects is highly attractive as this reduces the computational work substantially. The case of narrow thin elastic bands is considered and a convergent finite element discretization for the one-dimensional energy functional together with a fully practical, energy-monotone iterative method for computing stationary configurations are devised. Numerical experiments confirm the theoretical findings and illustrate the qualitative behavior of elastic narrow bands.


title: Uniform Lipschitz extension in bounded curvature

abstract: We prove a uniform extension result for contracting maps defined on subsets of Hadamard manifolds subject to curvature bounds.


title: Observation of the semileptonic decay $B^{+}\to p\overline{p}\mu^{+}\nu_{\mu}$

abstract: The Cabibbo-suppressed semileptonic decay $B^{+}\to p\overline{p}\mu^{+}\nu_{\mu}$ is observed for the first time using a sample of $pp$ collisions corresponding to an integrated luminosity of 1.0, 2.0 and 1.7fb$^{-1}$ at centre-of-mass energies of 7, 8 and 13TeV, respectively. The differential branching fraction is measured as a function of the $p\overline{p}$ invariant mass using the decay mode $B^{+}\to J/\psi K^{+}$ for normalisation. The total branching fraction is measured to be \begin{align*} \mathcal{B}(B^{+}\to p\overline{p}\mu^{+}\nu_{\mu}) = (5.27 ^{+0.23}_{-0.24} \pm 0.21 \pm 0.15)\times 10^{-6}, \end{align*} where the first uncertainty is statistical, the second systematic and the third is from the uncertainty on the branching fraction of the normalisation channel.


title: High-resolution crystal structure of gelsolin domain 2 in complex with the physiological calcium ion

abstract: The second domain of gelsolin (G2) hosts mutations responsible for a hereditary form of amyloidosis. The active form of gelsolin is Ca2+-bound; it is also a dynamic protein, hence structural biologists often rely on the study of the isolated G2. However, the wild type G2 structure that have been used so far in comparative studies is bound to a crystallographic Cd2+, in lieu of the physiological calcium. Here, we report the wild type structure of G2 in complex with Ca2+ highlighting subtle ion-dependent differences. Previous findings on different G2 mutations are also briefly revised in light of these results.


title: Regularity and Gorenstein property of the $L$-convex Polyominoes

abstract: We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it.


title: Structural Distortion Stabilizing the Antiferromagnetic and Semiconducting Ground State of NiO

abstract: We report evidence that the experimentally observed small deformation of antiferromagnetic NiO modifies the symmetry of the crystal in such a way that the antiferromagnetic state becomes an eigenstate of the electronic Hamiltonian. This deformation closely resembles a rhombohedral contraction, but does not possess the perfect symmetry of a trigonal (rhombohedral) space group. We determine the monoclinic base-centered magnetic space group of the antiferromagnetic structure within the deformed crystal which is strongly influenced by the time-inversion symmetry of the Hamiltonian. The antiferromagnetic state is evidently stabilized by a nonadiabatic atomic-like motion of the electrons near the Fermi level. This atomic-like motion is characterized by the symmetry of the Bloch functions near the Fermi level and provides in NiO a perfect basis for a Mott insulator.


title: Forecasts in Schelling's segregation model

abstract: In Schelling's segregation model, the successive moves of agents optimizing their own locations lead to a suboptimal segregated distribution of the population, even though all agents have the same preference for mixed neighborhoods. One of the main assumptions underlying this general result of segregation models is that agents rely on comparisons between instantaneous utilities in order to make their moving decisions. On the contrary and certainly more reasonably, we assume in this article that agents forecast later states using a linear extrapolation of past states heuristic in order to make their decisions. We show that for a relatively small set of parameters, considering forecasting agents allows to dramatically reduce sub-optimality in a framework close to Schelling's model.


title: Information-Theoretic Local Minima Characterization and Regularization

abstract: Recent advances in deep learning theory have evoked the study of generalizability across different local minima of deep neural networks (DNNs). While current work focused on either discovering properties of good local minima or developing regularization techniques to induce good local minima, no approach exists that can tackle both problems. We achieve these two goals successfully in a unified manner. Specifically, based on the observed Fisher information we propose a metric both strongly indicative of generalizability of local minima and effectively applied as a practical regularizer. We provide theoretical analysis including a generalization bound and empirically demonstrate the success of our approach in both capturing and improving the generalizability of DNNs. Experiments are performed on CIFAR-10, CIFAR-100 and ImageNet for various network architectures.


title: A Low-rank Approach for Nonlinear Parameter-dependent Fluid-structure Interaction Problems

abstract: Parameter-dependent discretizations of linear fluid-structure interaction problems can be approached with low-rank methods. When discretizing with respect to a set of parameters, the resulting equations can be translated to a matrix equation since all operators involved are linear. If nonlinear FSI problems are considered, a direct translation to a matrix equation is not possible. We present a method that splits the parameter set into disjoint subsets and, on each subset, computes an approximation of the problem related to the upper median parameter by means of the Newton iteration. This approximation is then used as initial guess for one Newton step on a subset of problems.


title: The structure of N184K amyloidogenic variant of gelsolin highlights the role of the H-bond network for protein stability and aggregation properties

abstract: Mutations in the gelsolin protein are responsible for a rare conformational disease known as AGel amyloidosis. Four of these mutations are hosted by the second domain of the protein (G2): D187N/Y, G167R and N184K. The impact of the latter has been so far evaluated only by studies on the isolated G2. Here we report the characterization of full-length gelsolin carrying the N184K mutation and compare the findings with those obtained on the wild type and the other variants. The crystallographic structure of the N184K variant in the Ca2+-free conformation shows remarkable similarities with the wild type protein. Only minimal local rearrangements can be observed and the mutant is as efficient as the wild type in severing filamentous actin. However, thermal stability of the pathological variant is compromised in the Ca2+-free conditions. These data suggest that the N to K substitution causes a local disruption of the H-bond network in the core of the G2 domain. Such a subtle rearrangement of the connections does not lead to significant conformational changes but severely affects the stability of the protein.


title: Groups generated by involutions of diamond-shaped graphs, and deformations of Young's orthogonal form

abstract: With an arbitrary finite graph having a special form of 2-intervals (a diamond-shaped graph) we associate a subgroup of a symmetric group and a representation of this subgroup; state a series of problems on such groups and their representations; and present results of some computer simulations. The case we are most interested in is that of the Young graph and subgroups generated by natural involutions of Young tableaux. In particular, the classical Young's orthogonal form can be regarded as a deformation of our construction. We also state asymptotic problems for infinite groups.


title: Defending with Shared Resources on a Network

abstract: In this paper we consider a defending problem on a network. In the model, the defender holds a total defending resource of R, which can be distributed to the nodes of the network. The defending resource allocated to a node can be shared by its neighbors. There is a weight associated with every edge that represents the efficiency defending resources are shared between neighboring nodes. We consider the setting when each attack can affect not only the target node, but its neighbors as well. Assuming that nodes in the network have different treasures to defend and different defending requirements, the defender aims at allocating the defending resource to the nodes to minimize the loss due to attack. We give polynomial time exact algorithms for two important special cases of the network defending problem. For the case when an attack can only affect the target node, we present an LP-based exact algorithm. For the case when defending resources cannot be shared, we present a max-flow-based exact algorithm. We show that the general problem is NP-hard, and we give a 2-approximation algorithm based on LP-rounding. Moreover, by giving a matching lower bound of 2 on the integrality gap on the LP relaxation, we show that our rounding is tight.


title: Sequential Mode Estimation with Oracle Queries

abstract: We consider the problem of adaptively PAC-learning a probability distribution $\mathcal{P}$'s mode by querying an oracle for information about a sequence of i.i.d. samples $X_1, X_2, \ldots$ generated from $\mathcal{P}$. We consider two different query models: (a) each query is an index $i$ for which the oracle reveals the value of the sample $X_i$, (b) each query is comprised of two indices $i$ and $j$ for which the oracle reveals if the samples $X_i$ and $X_j$ are the same or not. For these query models, we give sequential mode-estimation algorithms which, at each time $t$, either make a query to the corresponding oracle based on past observations, or decide to stop and output an estimate for the distribution's mode, required to be correct with a specified confidence. We analyze the query complexity of these algorithms for any underlying distribution $\mathcal{P}$, and derive corresponding lower bounds on the optimal query complexity under the two querying models.


title: The Nature of $\gamma$-ray Variability in Blazars

abstract: We present an in-depth and systematic variability study of a sample of 20 powerful blazars, including 12 BL Lacs and 8 flat spectrum radio quasars, applying various analysis tools such as flux distribution, symmetry analysis, and time series analysis on the decade-long Fermi/LAT observations. The results show that blazars with steeper \gama-ray spectral indexes are found to be more variable; and the \gama-ray flux distribution closely resembles lognormal probability distribution function. The statistical variability properties of the sources as studied by power spectral density analysis are consistent with \emph{flicker noise} ($P(\nu)\propto1/\nu$) -- an indication of long-memory processes at work. Statistical analysis of the distribution of flux rise and decay rates in the light curves of the sources, aimed at distinguishing between particle acceleration and energy dissipation timescales, counter-intuitively suggests that both kinds of rates follow a similar distribution and the derived mean variability timescales are in the order of a few weeks. The corresponding emission region size is used to constrain location of \gama-ray production sites in the sources to be a few parsecs. Additionally, using Lomb-Scargle periodogram and weighted wavelet z-transform methods and extensive Monte Carlo simulations, we detected year timescale quasi-periodic oscillations in the sources S5 0716+714, Mrk 421, ON +325, PKS 1424-418 and PKS 2155-304. The detection significance was computed taking proper account of the red-noise and other artifacts inherent in the observations. We explain the results in the light of current blazar models with relativistic shocks propagating down the jet viewed close to the line of sight.


title: Weakly-Supervised Video Moment Retrieval via Semantic Completion Network

abstract: Video moment retrieval is to search the moment that is most relevant to the given natural language query. Existing methods are mostly trained in a fully-supervised setting, which requires the full annotations of temporal boundary for each query. However, manually labeling the annotations is actually time-consuming and expensive. In this paper, we propose a novel weakly-supervised moment retrieval framework requiring only coarse video-level annotations for training. Specifically, we devise a proposal generation module that aggregates the context information to generate and score all candidate proposals in one single pass. We then devise an algorithm that considers both exploitation and exploration to select top-K proposals. Next, we build a semantic completion module to measure the semantic similarity between the selected proposals and query, compute reward and provide feedbacks to the proposal generation module for scoring refinement. Experiments on the ActivityCaptions and Charades-STA demonstrate the effectiveness of our proposed method.


title: On Performance Estimation in Automatic Algorithm Configuration

abstract: Over the last decade, research on automated parameter tuning, often referred to as automatic algorithm configuration (AAC), has made significant progress. Although the usefulness of such tools has been widely recognized in real world applications, the theoretical foundations of AAC are still very weak. This paper addresses this gap by studying the performance estimation problem in AAC. More specifically, this paper first proves the universal best performance estimator in a practical setting, and then establishes theoretical bounds on the estimation error, i.e., the difference between the training performance and the true performance for a parameter configuration, considering finite and infinite configuration spaces respectively. These findings were verified in extensive experiments conducted on four algorithm configuration scenarios involving different problem domains. Moreover, insights for enhancing existing AAC methods are also identified.


title: Survival and Neural Models for Private Equity Exit Prediction

abstract: Within the Private Equity (PE) market, the event of a private company undertaking an Initial Public Offering (IPO) is usually a very high-return one for the investors in the company. For this reason, an effective predictive model for the IPO event is considered as a valuable tool in the PE market, an endeavor in which publicly available quantitative information is generally scarce. In this paper, we describe a data-analytic procedure for predicting the probability with which a company will go public in a given forward period of time. The proposed method is based on the interplay of a neural network (NN) model for estimating the overall event probability, and Survival Analysis (SA) for further modeling the probability of the IPO event in any given interval of time. The proposed neuro-survival model is tuned and tested across nine industrial sectors using real data from the Thomson Reuters Eikon PE database.


title: Status Quo, Critical Reflection and Road Ahead of Digital Nudging in Information Systems Research -- A Discussion with Markus Weinmann and Alexey Voinov

abstract: Research on Digital Nudging has become increasingly popular in the Information Systems (IS) community. This paper presents an overview of the current progress, a critical reflection and an outlook to further research regarding Digital Nudging in IS. For this purpose, we conducted a comprehensive literature review as well as an interview with Markus Weinmann from Rotterdam School of Management at Erasmus University, one of the first scholars who introduced Digital Nudging to the IS community, and Alexey Voinov, director of the Centre on Persuasive Systems for Wise Adaptive Living at University of Technology Sydney. The findings uncover a gap between what we know about what constitutes Digital Nudging and how consequent requirements can actually be put into practice. In this context, the original concept of Nudging bears inherent challenges, e.g. regarding the focus on the individuals' welfare, which hence also apply to Digital Nudging. Moreover, we need a better understanding of how Nudging in digital choice environments differs from that in the offline world. To further distinguish itself from other disciplines that already tested various nudges in many different domains, Digital Nudging Research in IS may benefit from a strong Design Science perspective, going beyond the test of effectiveness and providing specific design principles for the different types of digital nudges.


title: Inverse Problems for One Dimentional Conformable Fractional Dirac Type Integro Differential System

abstract: In this paper, one dimentional conformable fractional Dirac-type integro differential system is considered. The asymptotic formulae for the solutions, eigenvalues and nodal points are obtained. We investigate the inverse nodal problem and give an effective procedure for solving the inverse nodal problem with respect to given a dense subset of nodal points .


title: Positivity sets of supersolutions of degenerate elliptic equations and the strong maximum principle

abstract: We investigate positivity sets of nonnegative supersolutions of the fully nonlinear elliptic equations $F(x,u,Du,D^2u)=0$ in $\Omega$, where $\Omega$ is an open subset of ${\mathbb R}^N$, and the validity of the strong maximum principle for $F(x,u,Du,D^2u)=f$ in $\Omega$, with $f\in\text{C}(\Omega)$ being nonpositive. We obtain geometric characterizations of positivity sets $\left\{x\in\Omega\,:\, u(x)>0\right\}$ of nonnegative supersolutions $u$ and establish the strong maximum principle under some geometric assumption on the set $\left\{x\in\Omega\,:\, f(x)=0\right\}$.


title: Integrating the VO Framework in the EOSC

abstract: The European Open Science Cloud (EOSC) is in its early stages, but already some aspects of the EOSC vision are starting to become reality, for example the EOSC portal and the development of metadata catalogues. In the astrophysical domain already exists an open approach to science data: the Virtual Observatory view put in place by the International Virtual Observatory Alliance (IVOA) architecture of standards. The ESCAPE (European Science Cluster of Astronomy & Particle physics ESFRI research infrastructures) project has, among its tasks, to demonstrate that the VO architecture can be integrated within the EOSC building one and to provide guidelines to ESFRI partners (European Strategy Forum on Research Infrastructures) in doing this. This contribution reports on the progress of this integration after the first months of work inside ESCAPE.


title: Mimic The Raw Domain: Accelerating Action Recognition in the Compressed Domain

abstract: Video understanding usually requires expensive computation that prohibits its deployment, yet videos contain significant spatiotemporal redundancy that can be exploited. In particular, operating directly on the motion vectors and residuals in the compressed video domain can significantly accelerate the compute, by not using the raw videos which demand colossal storage capacity. Existing methods approach this task as a multiple modalities problem. In this paper we are approaching the task in a completely different way; we are looking at the data from the compressed stream as a one unit clip and propose that the residual frames can replace the original RGB frames from the raw domain. Furthermore, we are using teacher-student method to aid the network in the compressed domain to mimic the teacher network in the raw domain. We show experiments on three leading datasets (HMDB51, UCF1, and Kinetics) that approach state-of-the-art accuracy on raw video data by using compressed data. Our model MFCD-Net outperforms prior methods in the compressed domain and more importantly, our model has 11X fewer parameters and 3X fewer Flops, dramatically improving the efficiency of video recognition inference. This approach enables applying neural networks exclusively in the compressed domain without compromising accuracy while accelerating performance.


title: Power-law trapping in the volume-preserving Arnold-Beltrami-Childress map

abstract: Understanding stickiness and power-law behavior of Poincar\'e recurrence statistics is an open problem for higher-dimensional systems, in contrast to the well-understood case of systems with two degrees-of-freedom. We study such intermittent behavior of chaotic orbits in three-dimensional volume-preserving systems using the example of the Arnold-Beltrami-Childress map. The map has a mixed phase space with a cylindrical regular region surrounded by a chaotic sea for the considered parameters. We observe a characteristic overall power-law decay of the cumulative Poincar\'e recurrence statistics with significant oscillations superimposed. This slow decay is caused by orbits which spend long times close to the surface of the regular region. Representing such long-trapped orbits in frequency space shows clear signatures of partial barriers and reveals that coupled resonances play an essential role. Using a small number of the most relevant resonances allows for classifying long-trapped orbits. From this the Poincar\'e recurrence statistics can be divided into different exponentially decaying contributions which very accurately explains the overall power-law behavior including the oscillations.


title: Manipulating entanglement sudden death in two coupled two-level atoms interacting off-resonance with a radiation field: an exact treatment

abstract: We study a model of two coupled two-level atoms (qubits) interacting off-resonance (at non-zero detuning) with a single mode radiation field. This system is of special interest in the field of quantum information processing (QIP) and can be realized in electron spin states in quantum dots or Rydberg atoms in optical cavities and superconducting qubits in linear resonators. We present an exact analytical solution for the time evolution of the system starting from any initial state. Utilizing this solution, we show how the entanglement sudden death (ESD), which represents a major threat to QIP, can be efficiently controlled by tuning atom-atom coupling and non-zero detuning. We demonstrate that while one of these two system parameters may not separately affect the ESD, combining the two can be very effective, as in the case of an initial correlated Bell state. However in other cases, such as a W-like initial state, they may have a competing impacts on ESD. Moreover, their combined effect can be used to create ESD in the system as in the case of an anti-correlated initial Bell state. A clear synchronization between the population inversion collapse-revival pattern and the entanglement dynamics is observed at all system parameter combinations. Nevertheless, only for initial states that may evolve to ESD, the population inversion revival oscillations, where exchange of energy between the atoms and the field takes place, temporally coincide with the entanglement revival peaks, whereas the population collapse periods match the ESD intervals. The variation of the radiation field intensity has a clear impact on the duration of the ESD at any combination of the other system parameters.


title: Semileptonic decays of $D$ and $D_s$ mesons in the relativistic quark model

abstract: The form factors parameterizing the weak $D$ and $D_s$ transitions to light pseudoscalar and vector mesons are calculated in the framework of the relativistic quark model based on the quasipotential approach. The special attention is paid to the systematic account of the relativistic effects including transformation of the meson wave function from the rest to moving reference frame and contributions of the intermediate negative-energy states. The form factors are expressed through the overlap integrals of the meson wave functions, which are taken from previous studies of meson spectroscopy. They are calculated in the whole range of the transferred momentum $q^2$. Convenient parameterization of the form factors which accurately reproduces numerical results is given. The obtained values of the form factors and their ratios at $q^2=0$ agree well with the ones extracted form the experimental data. On the basis of these form factors and helicity formalism, differential and total semileptonic decay rates of $D$ and $D_s$ mesons as well as different asymmetries and polarization parameters are calculated. The detailed comparison of the obtained results with other theoretical calculations and experimental data is given.


title: Global large, smooth solutions of the 2D surface quasi-geostrophic equations

abstract: In this paper, we prove the global regularity of smooth solutions to 2D surface quasi-geostrophic (SQG) equations with super-critical dissipation for a class of large initial data, where the velocity and temperature can be arbitrarily large in spaces $L^\infty(\mathbb{R}^2)$ and $H^3(\mathbb{R}^2)$. This result could be seen as an improvement work of Liu-Pan-Wu \cite{Liu}, for it's without any smallness hypothesis of the $L^\infty(\mathbb{R}^2)$ norm of the initial data.


title: Adaptive Perturbation Method in Quantum Mechanics

abstract: The adaptive perturbation chooses a non-standard decomposition. The Hamiltonian becomes a sum of solvable and perturbation parts. We calculate the spectrum using the adaptive perturbation method at the leading-order to compare to numerical solutions. The maximum deviation is around $5\%$ for different coupling regions. A perturbation study relies on whether a choice of leading-order is suitable. Our result with different parameters should show that the adaptive perturbation method provides appropriate saddle points to all coupling regions. In the end, we show that the perturbation parameters should not be a coupling constant.


title: Deep Poetry: A Chinese Classical Poetry Generation System

abstract: In this work, we demonstrate a Chinese classical poetry generation system called Deep Poetry. Existing systems for Chinese classical poetry generation are mostly template-based and very few of them can accept multi-modal input. Unlike previous systems, Deep Poetry uses neural networks that are trained on over 200 thousand poems and 3 million ancient Chinese prose. Our system can accept plain text, images or artistic conceptions as inputs to generate Chinese classical poetry. More importantly, users are allowed to participate in the process of writing poetry by our system. For the user's convenience, we deploy the system at the WeChat applet platform, users can use the system on the mobile device whenever and wherever possible. The demo video of this paper is available at https://youtu.be/jD1R_u9TA3M.


title: Cohomology of contact loci

abstract: We construct a spectral sequence converging to the cohomology with compact support of the m-th contact locus of a complex polynomial. The first page is explicitly described in terms of a log resolution and coincides with the first page of McLean's spectral sequence converging to the Floer cohomology of the m-th iterate of the monodromy, when the polynomial has an isolated singularity. Inspired by this connection, we conjecture that if two germs of holomorphic functions are embedded topologically equivalent, then the Milnor fibers of the their tangent cones are homotopy equivalent.


title: The Prescribed Ricci Curvature Problem for Homogeneous Metrics

abstract: The prescribed Ricci curvature problem consists in finding a Riemannian metric $g$ on a manifold $M$ such that the Ricci curvature of $g$ equals a given $(0,2)$-tensor field $T$. We survey the recent progress on this problem in the case where $M$ is a homogeneous space.


title: Toward Realistic Amorphous Topological Insulators

abstract: The topological properties of materials are, until now, associated with the features of their crystalline structure, although translational symmetry is not an explicit requirement of the topological phases. Recent studies of hopping models on random lattices have demonstrated that amorphous model systems show a nontrivial topology. Using {\it ab initio} calculations we show that two-dimensional amorphous materials can also display topological insulator properties. More specifically, we present a realistic state-of-the-art study of the electronic and transport properties of amorphous bismuthene systems, showing that these materials are topological insulators. These systems are characterized by the topological index $\mathbb{Z}_{2}=1$ and bulk-edge duality, and their linear conductance is quantized, ${\cal G}=2e^{2}/h$, for Fermi energies within the topological gap. Our study opens the path to the experimental and theoretical investigation of amorphous topological insulator materials.


title: On the Impact of Object and Sub-component Level Segmentation Strategies for Supervised Anomaly Detection within X-ray Security Imagery

abstract: X-ray security screening is in widespread use to maintain transportation security against a wide range of potential threat profiles. Of particular interest is the recent focus on the use of automated screening approaches, including the potential anomaly detection as a methodology for concealment detection within complex electronic items. Here we address this problem considering varying segmentation strategies to enable the use of both object level and sub-component level anomaly detection via the use of secondary convolutional neural network (CNN) architectures. Relative performance is evaluated over an extensive dataset of exemplar cluttered X-ray imagery, with a focus on consumer electronics items. We find that sub-component level segmentation produces marginally superior performance in the secondary anomaly detection via classification stage, with true positive of ~98% of anomalies, with a ~3% false positive.


title: Constrained R-CNN: A general image manipulation detection model

abstract: Recently, deep learning-based models have exhibited remarkable performance for image manipulation detection. However, most of them suffer from poor universality of handcrafted or predetermined features. Meanwhile, they only focus on manipulation localization and overlook manipulation classification. To address these issues, we propose a coarse-to-fine architecture named Constrained R-CNN for complete and accurate image forensics. First, the learnable manipulation feature extractor learns a unified feature representation directly from data. Second, the attention region proposal network effectively discriminates manipulated regions for the next manipulation classification and coarse localization. Then, the skip structure fuses low-level and high-level information to refine the global manipulation features. Finally, the coarse localization information guides the model to further learn the finer local features and segment out the tampered region. Experimental results show that our model achieves state-of-the-art performance. Especially, the F1 score is increased by 28.4%, 73.2%, 13.3% on the NIST16, COVERAGE, and Columbia dataset.


title: New explicitly diagonalizable Hankel matrices related to the Stieltjes-Carlitz polynomials

abstract: Four new examples of explicitly diagonalizable Hankel matrices depending on a parameter $k\in(0,1)$ are presented. The Hankel matrices are regarded as matrix operators on the Hilbert space $\ell^{2}(\mathbb{N}_{0})$ and the solution of the spectral problem is based on an application of the commutator method. Each of the Hankel matrices commutes with a Jacobi matrix which is related to a particular family of the Stieltjes-Carlitz polynomials. More examples of explicitly diagonalizable structured matrix operators are obtained when taking into account also weighted Hankel matrices.


title: The Peculiar Size and Temperature Dependence of Water Diffusion in Carbon Nanotubes studied with 2D NMR Diffusion-Relaxation D-T2eff Spectroscopy

abstract: It is well known that water inside hydrophobic nano-channels diffuses faster than bulk water. Recent theoretical studies have shown that this enhancement depends on the size of the hydrophobic nanochannels. However, experimental evidence of this dependence is lacking. Here, by combining two-dimensional Nuclear Magnetic Resonance (NMR) diffusion-relaxation D-T2eff spectroscopy in the stray field of a superconducting magnet, and Molecular Dynamics (MD) simulations, we analyze the size dependence of water dynamics inside carbon nanotubes (CNTs) of different diameters (1.1 nm to 6.0 nm), in the temperature range of 265K to 305K. Depending on the CNTs diameter, the nanotube water is shown to resolve in two or more tubular components acquiring different self-diffusion coefficients. Most notable, a favourable CNTs diameter range 3.0-4.5 nm is experimentally verified for the first time, in which water molecule dynamics at the centre of the CNTs exhibit distinctly non-Arrhenius behaviour, characterized by ultrafast diffusion and extraordinary fragility, a result of significant importance in the efforts to understand water behaviour in hydrophobic nanochannels.


title: The Accurate Modification of Tunneling Radiation of Fermions with Arbitrary Spin in Kerr-de Sitter Black Hole Space-time

abstract: The quantum tunneling radiation of fermions with arbitrary spin at the event horizon of Kerr-de Sitter black hole is accurately modified by using the dispersion relation proposed in the study of string theory and quantum gravitational theory. The derived tunneling rate and temperature at the black hole horizons are analyzed and studied.


title: Polarization based intensity correlation of polarization speckle

abstract: A new, different kind of intensity correlation, denoted as polarization based intensity correlation, is proposed and investigated to study the correlation between different polarization components of polarization speckle, which has non-uniform spatial polarization distribution. It is shown both theoretically and experimentally that the range of the polarization based intensity correlation for a particular polarization component of the polarization speckle depends on the spatial average intensity of the speckles corresponding to that particular polarization component. The experimentally determined nature of the change of range of the intensity correlation for different polarization components, due to variation in the average intensity, is found to be matching well with the theoretical prediction. The existence of non-zero correlation between two orthogonally polarized speckle patterns, filtered from a partially depolarized speckle pattern, is also observed. This study may be useful in exploiting the polarization based intensity correlation for different applications such as speckle cryptography etc.


title: Characterising the Most Rapidly Rotating AdS$_5$-Kerr Black Holes

abstract: Classical Censorship permits AdS$_5$-Kerr black holes with arbitrarily large angular momenta per unit mass, which does not seem reasonable from a holographic point of view. However, it has been shown that, when these black holes are embedded in string theory, their angular momentum per unit mass is in fact bounded by $2\sqrt{2}L$, where $L$ is the asymptotic curvature scale. One might suppose that the most rapidly rotating AdS$_5$-Kerr black holes, with angular momentum per unit mass close to this bound, might be unstable, for example, to a superradiant instability. We show that this is not always true: there is a small domain in the AdS$_5$-Kerr parameter space corresponding to black holes which are stable against superradiance and yet nearly saturate the stringy bound.


title: Design of n-AlInN on p-silicon heterojunction solar cells

abstract: Aluminum Indium Nitride (AlInN) alloys offer great potential for photovoltaic devices thanks to their wide direct bandgap energy that covers the solar spectrum from 0.7 eV (InN) to 6.2 eV (AlN), and their superior resistance to high temperatures and high-energy particles. In this paper, we report the design of AlInN on silicon heterojunctions, with the aim to explore their potential for solar cell devices through the analysis and optimization of the properties of the AlInN on Si heterojunction. In particular, we study the influence of the AlInN bandgap energy, AlInN thickness and carrier concentration, silicon surface recombination, interface defects and Si wafer quality on the photovoltaic properties (conversion efficiency and external quantum efficiency) of the AlInN on Si heterojunctions. The effect of introducing an anti-reflective coating is also studied. Optimized AlInN on Si heterostructure shows a conversion efficiency of 18% under 1-sun AM1.5G illumination for low-quality Si wafers, which increases to 23.6% for high-quality Si wafers and incorporating a properly designed anti-reflective layer. In comparison with standard Si solar cells without AlInN, the external quantum efficient of the devices increases for wavelengths below 500 nm, making them appealing for space applications. These results lead to the AlInN on Si heterojunction a promising future as a novel technology for solar cell devices.


title: Equivariant diffusions on Principal bundles

abstract: Given a pair of second order diffusion operators, one on the total space of a principle bundle $N$ and the other on the base space $M$, intertwined by the projection $\pi:N\to M$, if the operator ${\mathcal A}$ on the base manifold has constant rank, we define a semi-connection on the principal bundle which allows to split the diffusion operator ${\mathcal B}$ on the total space into the sum of the horizontal lift of ${\mathcal A}$ and the other vertical. This allow to conclude a disintegration theorem for the law of ${\mathcal B}$. As an application, a decomposition of stochastic flow is given.


title: Multimedia Search and Temporal Reasoning

abstract: Properly modelling dynamic information that changes over time still is an open issue. Most modern knowledge bases are unable to represent relationships that are valid only during a given time interval. In this work, we revisit a previous extension to the hyperknowledge framework to deal with temporal facts and propose a temporal query language and engine. We validate our proposal by discussing a qualitative analysis of the modelling of a real-world use case in the Oil & Gas industry.


title: Young walls and equivariant Hilbert schemes of points in type D

abstract: We give a combinatorial proof for a multivariable formula of the generating series of type D Young walls. Based on this we give a motivic refinement of a formula for the generating series of Euler characteristics of Hilbert schemes of points on the orbifold surface of type D.


title: Increasing the classical data throughput in quantum networks by combining quantum linear network coding with superdense coding

abstract: This paper shows how network coding and superdense coding can be combined to increase the classical data throughput by a factor $2-\epsilon$ (for arbitrarily small $\epsilon > 0$) compared to the maximum that could be achieved using either network coding or superdense coding alone. Additionally, a general decomposition of a ``mixed'' network (i.e., consisting of classical and quantum links) is given, and it is reasoned that, owing to the inherent hardness of finding network codes, this may well lead to an increase in classical data throughput in practise, should a scenario arise in which quantum networks are used to transfer classical information.


title: Prospects of high redshift constraints on dark energy models with the Ep- Eiso correlation in long Gamma Ray Bursts

abstract: So far large and different data sets revealed the accelerated expansion rate of the Universe, which is usually explained in terms of dark energy. The nature of dark energy is not yet known, and several models have been introduced: a non zero cosmological constant, a potential energy of some scalar field, effects related to the non homogeneous distribution of matter, or effects due to alternative theories of gravity. Recently, a tension with the flat {\Lambda}CDM model has been discovered using a high-redshift Hubble diagram of supernovae, quasars, and gamma-ray bursts. Here we use the Union2 type Ia supernovae (SNIa) and Gamma Ray Bursts (GRB) Hubble diagram, and a set of direct measurements of the Hubble parameter to explore different dark energy models. We use the Chevallier-Polarski- Linder (CPL) parametrization of the dark energy equation of state (EOS), a minimally coupled quintessence scalar field, and, finally, we consider models with dark energy at early times (EDE). We perform a statistical analysis based on the Markov chain Monte Carlo (MCMC) method, and explore the probability distributions of the cosmological parameters for each of the competing models. We apply the Akaike Information Criterion (AIC) to compare these models: our analysis indicates that an evolving dark energy, described by a scalar field with exponential potential seems to be favoured by observational data.


title: Methodology to estimate ionospheric scintillation risk maps and their contribution to position dilution of precision on the ground

abstract: Satellite-based communications, navigation systems and many scientific instruments rely on observations of trans-ionospheric signals. The quality of these signals can be deteriorated by ionospheric scintillation which can have detrimental effects on the mentioned applications. Therefore, monitoring of ionospheric scintillation and quantifying its effect on the ground are of significant interest. In this work, we develop a methodology which estimates the scintillation induced ionospheric uncertainties in the sky and translates their impact to the end-users on the ground. First, by using the risk concept from decision theory and by exploiting the intensity and duration of scintillation events (as measured by the S4 index), we estimate ionospheric risk maps that could readily give an initial impression on the effects of scintillation on the satellite-receiver communication. However, to better understand the influence of scintillation on the positioning accuracy on the ground, we formulate a new weighted dilution of precision (WPDOP) measure that incorporates the ionospheric scintillation risks as weighting factors for the given satellite-receiver constellations. These weights depend implicitly on scintillation intensity and duration thresholds which can be specified by the end-user based on the sensitivity of the application, for example. We demonstrate our methodology by using scintillation data from South America, and produce ionospheric risk maps which illustrate broad scintillation activity, especially at the equatorial anomaly. Moreover, we construct ground maps of WPDOP over a grid of hypothetical receivers which reveal that ionospheric scintillation can also affect such regions of the continent that are not exactly under the observed ionospheric scintillation structures. Particularly, this is evident in cases when only the Global Positioning System (GPS) is available.


title: Anomalous Temperature Dependence of Quantum Correction to the Conductivity of Magnetic Topological Insulators

abstract: Quantum transport in magnetic topological insulators reveals the strong interplay between the magnetism and topology of electronic band structures. A recent experiment on magnetically doped topological insulator Bi2Se3 thin films showed the anomalous temperature dependence of the magnetoconductivity while their field dependence presents a clear signature of weak anti-localization [Tkac et al., Phys. Rev. Lett. 123, 036406(2019)]. Here we demonstrate that the tiny mass of the surface electrons induced by the bulk magnetization leads to a temperature-dependent correction to the \pi Berry phase, and generates a decoherence mechanism to the phase coherence length of the surface electrons. As a consequence, the quantum correction to the conductivity can exhibit non-monotonic behavior by decreasing the temperature. This effect is attributed to the close relation of the Berry phase and quantum interference of the topological surface electrons in quantum topological materials.


title: Three-dimensional cell culture model for hepatocytes opens a new avenue of real world research on liver

abstract: 3-demensional (3D) culture model is a valuable in vitro tool to study liver biology, metabolism, organogenesis, tissue morphology, drug discovery and cell-based assays. Compelling evidence suggests that cells cultured in 3D model exhibit superior liver-specific functions over the conventional 2-dimentional (2D) culture in evaluating hepatobiliary drug disposition and drug-induced hepatotoxicity due to the in vivo-like physiological condition recapitulated by 3D model technologies. We will review the attributes of 3D culture model in acquiring relevant liver phenotypes and functionalities, discuss the critical niche factors found to modulate hepatocytes and highlight recent advancements on 3D cell culture technologies to achieve next-level in vitro tool for preclinical study.


title: Low-redshift constraints on homogeneous and isotropic universes with torsion

abstract: One of the possible extensions of Einstein's General Theory of Relativity consists in allowing for the presence of spacetime torsion. The form of the underlying torsion tensor can be chosen such that the homogeneity and isotropy of Friedmann-Lemaitre-Robertson-Walker universes is preserved, and it has been recently suggested that such universes may undergo accelerating phases. We use recent low-redshift data, coming from Type Ia Supernova and Hubble parameter measurements, to phenomenologically constrain this class of models under the so-called steady-state torsion assumption of a constant fractional contribution of torsion to the volume expansion. We start by considering models without a cosmological constant (where torsion itself would be expected to yield the current acceleration of the universe) finding, in agreement with other recent works, that these are strongly disfavoured by the data. We then treat these models as one-parameter extensions of $\Lambda$CDM, constraining the relative contribution of torsion to the level of a few percent in appropriate units. Finally, we briefly discuss how these constraints may be improved by forthcoming low-redshift data and check the robustness of our results by studying an alternative to the steady-state torsion parametrization.


title: Dual affine moment invariants

abstract: Affine transformation is one of the most common transformations in nature, which is an important issue in the field of computer vision and shape analysis. And affine transformations often occur in both shape and color space simultaneously, which can be termed as Dual-Affine Transformation (DAT). In general, we should derive invariants of different data formats separately, such as 2D color images, 3D color objects, or even higher-dimensional data. To the best of our knowledge, there is no general framework to derive invariants for all of these data formats. In this paper, we propose a general framework to derive moment invariants under DAT for objects in M-dimensional space with N channels, which can be called dual-affine moment invariants (DAMI). Following this framework, we present the generating formula of DAMI under DAT for 3D color objects. Then, we instantiated a complete set of DAMI for 3D color objects with orders and degrees no greater than 4. Finally, we analyze the characteristic of these DAMI and conduct classification experiments to evaluate the stability and discriminability of them. The results prove that DAMI is robust for DAT. Our derivation framework can be applied to data in any dimension with any number of channels.


title: Approach to Solving Quasiclassical Equations with Gauge Invariance

abstract: Quasiclassical equations with manifest gauge invariance are discussed in the context of unconventional singlet superconducting states in the static limit. Deviations of the quasiclassical propagator from its equilibrium solutions in the presence of magnetic fields and Hall terms are analysed in terms of a small parameter and a formulation developed to first order in small. A modified quasiclassical propagator is defined to this order that is a solution of a new gauge-invariant Eilenberger-like equation with a normalisation condition. A Ricatti parametrisation with manifest gauge invariance is proposed. This theory is directly applicable to homogenous d-wave order parameters in the presence of magnetic fields, such as in high-temperature superconductors.


title: Role of lunar laser ranging in realization of terrestrial, lunar, and ephemeris reference frames

abstract: Three possible applications of lunar laser ranging to space geodesy are studied. First, the determination of daily Earth orientation parameters (UT0 and variation of latitude), which is rarely used nowadays in presence of all-year VLBI, SLR, and GNSS data. The second application is the determination of two (out of three) lunar orientation parameters, i.e. daily corrections to the rotational ephemeris of the Moon. It may be of importance for the future lunar satellite-based navigational systems. The third application is the tie of ephemeris frame (BCRF) to the ICRF. It has been studied before, though in this work it is extensively compared to another realization of the same tie, obtained by spacecraft VLBI observations; also, two different EOP series and two different models of tidal variations of geopotential are applied, with different outcomes on the tie. The EPM lunar-planetary ephemeris, along with its underlying dynamical model and software, was used to obtain the presented results. All available observations were processed, since the earliest made at the end of 1969 at the McDonald observatory till the end of July 2019 (Matera, Grasse and also Wettzell observatory which began to provide data in 2018). The results and some open questions are discussed.


title: Electroweak boson production at large transverse momentum in double polarized $pp$ scattering at next-to-leading order accuracy

abstract: We compute the next-to-leading order corrections to the cross section for the production of electroweak gauge bosons ($Z$, $W^\pm$ and $\gamma^*$) with large transverse momentum in double (longitudinally) polarized hadronic collisions. The calculation is fully performed in the HVBM scheme within dimensional regularization with a careful treatment of issues arising due to the appearance of $\gamma^5$ in polarization projectors and axial couplings. We study the phenomenological consequences of the NLO corrections at the level of both the double polarized cross section and the corresponding asymmetries at RHIC kinematics.


title: Evidence for an FFLO state with segmented vortices in the BCS-BEC-crossover superconductor FeSe

abstract: We present resistivity and thermal-conductivity measurements of superconducting FeSe in intense magnetic fields up to 35 T applied parallel to the $ab$ plane. At low temperatures, the upper critical field $\mu_0 H_{c2}^{ab}$ shows an anomalous upturn, while thermal conductivity exhibits a discontinuous jump at $\mu_0 H^{\ast}\approx 24$ T well below $\mu_0 H_{c2}^{ab}$, indicating a first-order phase transition in the superconducting state. This demonstrates the emergence of a distinct field-induced superconducting phase. Moreover, the broad resistive transition at high temperatures abruptly becomes sharp upon entering the high-field phase, indicating a dramatic change of the magnetic-flux properties. We attribute the high-field phase to the Fulde-Ferrel-Larkin-Ovchinnikov (FFLO) state, where the formation of planar nodes gives rise to a segmentation of the flux-line lattice. We point out that strongly orbital-dependent pairing as well as spin-orbit interactions, the multiband nature, and the extremely small Fermi energy are important for the formation of the FFLO state in FeSe.


title: Condition (K) for Boolean dynamical systems

abstract: We generalize Condition (K) from directed graphs to Boolean dynamical systems and show that a locally finite Boolean dynamical system $(\mathcal{B},\mathcal{L},\theta)$ with countable $\mathcal{B}$ and $\mathcal{L}$ satisfies Condition (K) if and only if every ideal of its $C^*$-algebra is gauge-invariant, if and only if its $C^*$-algebra has the (weak) ideal property, and if and only if its $C^*$-algebra has topological dimension zero. As a corollary we prove that if the $C^*$-algebra of a locally finite Boolean dynamical system with $\mathcal{B}$ and $\mathcal{L}$ are countable either has real rank zero or is purely infinite, then $(\mathcal{B}, \mathcal{L}, \theta)$ satisfies Condition (K). We also generalize the notion of maximal tails from directed graph to Boolean dynamical systems and use this to give a complete description of the primitive ideal space of the $C^*$-algebra of a locally finite Boolean dynamical system that satisfies Condition (K) and has countable $\mathcal{B}$ and $\mathcal{L}$.


title: Some family of q-vector fields on path spaces

abstract: A great open problem is: can one learn the topology of the non-smooth path spaces with an L2 Hodge-deRham theory This one hopes to establish through a suitable complex of differential forms. Since the space is a Banach manifolds, and the Hodge theory is based on Hilbert spaces, it is trick to find such a complex. The relatively simpler Bismut tangent spaces and their tensor products, whose dual spaces are natural candidates for the complex, cannot be used, because these spaces are not necessarily closed under the Lie bracket operation if there is the effect of curvature. In this article we seek out a class of nice vector fields whose brackets behaves are calculable and behave nicely the damped tensor vector fields, using an It\^o mp, which is also used by the authors in `Special It\^o maps and an L2 Hodge theory for one forms on path spaces. Stochastic processes, physics and geometry: new interplays, I (Leipzig, 1999), 145-162, CMS Conf. Proc., 28, Amer. Math. Soc., Providence, RI, 2000').


title: Bogomolov--Sommese type vanishing for globally $F$-regular threefolds

abstract: In this paper, we show that every invertible subsheaf of the cotangent bundle of a smooth globally $F$-regular threefold of characteristic $p>3$ has Iitaka dimension less than or equal to one.


title: Complexity and Diversity in Sparse Code Priors Improve Receptive Field Characterization of Macaque V1 Neurons

abstract: System identification techniques -- projection pursuit regression models (PPRs) and convolutional neural networks (CNNs) -- provide state-of-the-art performance in predicting visual cortical neurons' responses to arbitrary input stimuli. However, the constituent kernels recovered by these methods are often noisy and lack coherent structure, making it difficult to understand the underlying component features of a neuron's receptive field. In this paper, we show that using a dictionary of diverse kernels with complex shapes learned from natural scenes based on efficient coding theory, as the front-end for PPRs and CNNs can improve their performance in neuronal response prediction as well as algorithmic data efficiency and convergence speed. Extensive experimental results also indicate that these sparse-code kernels provide important information on the component features of a neuron's receptive field. In addition, we find that models with the complex-shaped sparse code front-end are significantly better than models with a standard orientation-selective Gabor filter front-end for modeling V1 neurons that have been found to exhibit complex pattern selectivity. We show that the relative performance difference due to these two front-ends can be used to produce a sensitive metric for detecting complex selectivity in V1 neurons.


title: Stability limits of elemental 2D metals in graphene pores

abstract: Two-dimensional (2D) materials can be used as stabilizing templates for exotic nanostructures, including pore-stabilized, free-standing patches of elemental metal monolayers. Although these patches represent metal clusters under extreme conditions and are thus bound for investigations, they are poorly understood as their energetic stability trends and the most promising elements remain unknown. Here, using density-functional theory simulations and liquid drop model to explore the properties of 45 elemental metal candidates, we identify metals that enable the largest and most stable patches. Simulations show that pores can stabilize patches up to $\sim 8$ nm$^2$ areas and that the most prominent candidate in a graphene template is Cu. The results, which are generalizable to templates also beyond graphene, provide encouragement for further, even more resolute experimental pursuit of 2D metals.


title: Hierarchical Distribution Matching: a Versatile Tool for Probabilistic Shaping

abstract: The hierarchical distribution matching (Hi-DM) approach for probabilistic shaping is described. The potential of Hi-DM in terms of trade-off between performance,complexity, and memory is illustrated through three case studies.


title: Eigenvalues outside the bulk of inhomogeneous Erd\H{o}s-R\"enyi random graphs

abstract: The article considers an inhomogeneous Erd\H{o}s-R\"enyi random graph on $\{1,\ldots, N\}$, where an edge is placed between vertices $i$ and $j$ with probability $\varepsilon_N f(i/N,j/N)$, for $i\le j$, the choice being made independent for each pair. The function $f$ is assumed to be non-negative definite, symmetric, bounded and of finite rank $k$. We study the edge of the spectrum of the adjacency matrix of such an inhomogeneous Erd\H{o}s-R\'enyi random graph under the assumption that $N\varepsilon_N\to \infty$ sufficiently fast. Although the bulk of the spectrum of the adjacency matrix, scaled by $\sqrt{N\varepsilon_N}$, is compactly supported, the $k$-th largest eigenvalue goes to infinity. It turns out that the largest eigenvalue after appropriate scaling and centering converge to a Gaussian law, if the largest eigenvalue of $f$ has multiplicity $1$. If $f$ has $k$ distinct non-zero eigenvalues, then the joint distribution of the $k$ largest eigenvalues converge jointly to a multivariate Gaussian law. The first order behaviour of the eigenvectors is derived as a by-product of the above results. The results complement the homogeneous case derived by Erd\H{o}s et al.(2013).


title: The stable splitting of $bu\wedge BSO(2n)$

abstract: We give the stable splitting of the complex connective K-theory of the classifying space of special orthogonal groups on even dimensions.


title: Resolving the positions of defects in superconducting quantum bits

abstract: Solid-state quantum coherent devices are quickly progressing. Superconducting circuits, for instance, have already been used to demonstrate prototype quantum processors comprising a few tens of quantum bits. This development also revealed that a major part of decoherence and energy loss in such devices originates from a bath of parasitic material defects. However, neither the microscopic structure of defects nor the mechanisms by which they emerge during sample fabrication are understood. Here, we present a technique to obtain information on locations of defects relative to the thin film edge of the qubit circuit. Resonance frequencies of defects are tuned by exposing the qubit sample to electric fields generated by electrodes surrounding the chip. By determining the defect's coupling strength to each electrode and comparing it to a simulation of the field distribution, we obtain the probability at which location and at which interface the defect resides. This method is applicable to already existing samples of various qubit types, without further on-chip design changes. It provides a valuable tool for improving the material quality and nano-fabrication procedures towards more coherent quantum circuits.


title: A Multicriteria Macroeconomic Model with Intertemporal Equity and Spatial Spillovers

abstract: We analyze a macroeconomic model with intergenerational equity considerations and spatial spillovers, which gives rise to a multicriteria optimization problem. Intergenerational equity requires to add in the definition of social welfare a long run sustainability criterion to the traditional discounted utilitarian criterion. The spatial structure allows for the possibility of heterogeneiity and spatial diffusion implies that all locations within the spatial domain are interconnected via spatial spillovers. We rely on different techniques (scalarization, $\epsilon$-constraint method and goal programming) to analyze such a spatial multicriteria problem, relying on numerical approaches to illustrate the nature of the trade-off between the discounted utilitarian and the sustainability criteria.


title: Growth of different faces in a body centered cubic lattice: a case of the phase-field-crystal modeling

abstract: Interface energy and kinetic coefficient of crystal growth strongly depend on the face of the crystalline lattice. To investigate the kinetic anisotropy and velocity of different crystallographic faces we use the hyperbolic (modified) phase field crystal model which takes into account atomic density (as a slow thermodynamic variable) and atomic flux (as a fast thermodynamic variable). Such model covers slow and rapid regimes of interfaces propagation at small and large driving forces during solidification. In example of BCC crystal lattice invading the homogeneous liquid, dynamical regimes of advancing front propagating along the selected crystallographic directions are studied. The obtained velocity and the velocity sequences for different faces are compared with known results.


title: An Accuracy-Enhanced Stemming Algorithm for Arabic Information Retrieval

abstract: This paper provides a method for indexing and retrieving Arabic texts, based on natural language processing. Our approach exploits the notion of template in word stemming and replaces the words by their stems. This technique has proven to be effective since it has returned significant relevant retrieval results by decreasing silence during the retrieval phase. Series of experiments have been conducted to test the performance of the proposed algorithm ESAIR (Enhanced Stemmer for Arabic Information Retrieval). The results obtained indicate that the algorithm extracts the exact root with an accuracy rate up to 96% and hence, improving information retrieval.


title: On the Discrepancy between the Theoretical Analysis and Practical Implementations of Compressed Communication for Distributed Deep Learning

abstract: Compressed communication, in the form of sparsification or quantization of stochastic gradients, is employed to reduce communication costs in distributed data-parallel training of deep neural networks. However, there exists a discrepancy between theory and practice: while theoretical analysis of most existing compression methods assumes compression is applied to the gradients of the entire model, many practical implementations operate individually on the gradients of each layer of the model. In this paper, we prove that layer-wise compression is, in theory, better, because the convergence rate is upper bounded by that of entire-model compression for a wide range of biased and unbiased compression methods. However, despite the theoretical bound, our experimental study of six well-known methods shows that convergence, in practice, may or may not be better, depending on the actual trained model and compression ratio. Our findings suggest that it would be advantageous for deep learning frameworks to include support for both layer-wise and entire-model compression.


title: General $E(2)$-Equivariant Steerable CNNs

abstract: The big empirical success of group equivariant networks has led in recent years to the sprouting of a great variety of equivariant network architectures. A particular focus has thereby been on rotation and reflection equivariant CNNs for planar images. Here we give a general description of $E(2)$-equivariant convolutions in the framework of Steerable CNNs. The theory of Steerable CNNs thereby yields constraints on the convolution kernels which depend on group representations describing the transformation laws of feature spaces. We show that these constraints for arbitrary group representations can be reduced to constraints under irreducible representations. A general solution of the kernel space constraint is given for arbitrary representations of the Euclidean group $E(2)$ and its subgroups. We implement a wide range of previously proposed and entirely new equivariant network architectures and extensively compare their performances. $E(2)$-steerable convolutions are further shown to yield remarkable gains on CIFAR-10, CIFAR-100 and STL-10 when used as a drop-in replacement for non-equivariant convolutions.


title: IC-Network: Efficient Structure for Convolutional Neural Networks

abstract: Neural networks have been widely used, and most networks achieve excellent performance by stacking certain types of basic units. Compared to increasing the depth and width of the network, designing more effective basic units has become an important research topic. Inspired by the elastic collision model in physics, we present a universal structure that could be integrated into the existing network structures to speed up the training process and increase their generalization abilities. We term this structure the "Inter-layer Collision" (IC) structure. We built two kinds of basic computational units (IC layer and IC block) that compose the convolutional neural networks (CNNs) by combining the IC structure with the convolution operation. Compared to traditional convolutions, both of the proposed computational units have a stronger non-linear representation ability and can filter features useful for a given task. Using these computational units to build networks, we bring significant improvements in performance for existing state-of-the-art CNNs. On the imagenet experiment, we integrate the IC block into ResNet-50 and reduce the top-1 error from 22.85% to 21.49%, which also exceeds the top-1 error of ResNet-100 (21.75%).


title: The gift of the gab: Are rental scammers skilled at the art of persuasion?

abstract: Rental scams are a type of advance fee fraud, in which the scammer tries to get a victim to pay a deposit to rent an apartment of which the scammer pretends to be the landlord. We specifically focused on fraudulent long-term rentals advertised in the UK on Craigslist. After a victim responds to the scammer's advertisement, the scammer attempts to persuade them to transfer money without having seen the property. We were interested in which persuasion techniques scammers use, and in assessing their skill at the art of persuasion. During a period of three weeks, we scraped 2112 letting advertisements, identified the fraudulent advertisements and had 44 conversations of around 4 or 5 emails each with the scammers. Our analysis indicates that Cialdini`s marketing-based social persuasion strategies, such as liking, appeal to authority, and the need for commitment and consistency are extensively implemented by rental scammers. Of Stajano and Wilson's scam-based persuasion strategies, an appeal to sympathy (i.e., kindness) and need for greed were commonly used. We identified two further social persuasion strategies: establishing credibility and removing objections. At a superficial level, rental scammers seem skilled at their job, because they mimic genuine landlords and use a range of effective persuasion techniques. However, when examining their emails more closely, we see they often use pre-scripted emails, their mimicry is often incompetent, and they have a lack of language skills and cultural knowledge that may tip people off. They appear to be the criminal equivalent of a boilerhouse sales operation, a modus operandi that has not previously been studied by cybercrime researchers.


title: Finite tripotents and finite JBW$^*$-triples

abstract: We study two natural preorders on the set of tripotents in a JB$^*$-triple defined in terms of their Peirce decomposition and weaker than the standard partial order. We further introduce and investigate the notion of finiteness for tripotents in JBW$^*$-triples which is a natural generalization of finiteness for projections in von Neumann algebras. We analyze the preorders in detail using the standard representation of JBW$^*$-triples. We also provide a refined version of this representation - in particular a decomposition of any JBW$^*$-triple into its finite and properly infinite parts. Since a JBW$^*$-algebra is finite if and only if the extreme points of its unit ball are just unitaries, our notion of finiteness differs from the concept of modularity widely used in Jordan structures so far. The exact relationship of these two notions is clarified in the last section.


title: Computation Offloading in the Untrusted MEC-aided Mobile Blockchain IoT System

abstract: Deploying mobile edge computing (MEC) server in the mobile blockchain-enabled Internet of things (IoT) system is a promising approach to improve the system performance, however, it imposes a significant challenge on the trust of MEC server. To address this problem, we first propose an untrusted MEC proof of work scheme in mobile blockchain network where plenty of nonce hash computing demands can be offloaded to MEC server. Then, we design a nonce ordering algorithm for this scheme to provide fairer computing resource allocation for all mobile IoT devices/users. Specifically, we formulate the user's nonce selection strategy as a non-cooperative game, where the utilities of individual user are maximized in the untrusted MEC-aided mobile blockchain network. We also prove the existence of Nash equilibrium and analyze that the cooperation behavior is unsuitable for the blockchain-enabled IoT devices by using the repeated game. Finally, we design the blockchain's difficulty adjustment mechanism to ensure stable block times during a long period of time.


title: On principal frequencies, volume and inradius in convex sets

abstract: We provide a sharp double-sided estimate for Poincar\'e-Sobolev constants on a convex set, in terms of its inradius and $N-$dimensional measure. Our results extend and unify previous works by Hersch and Protter (for the first eigenvalue) and of Makai, P\'olya and Szeg\H{o} (for the torsional rigidity), by means of a single proof.


title: Cosmological and astrophysical applications of modified theories of gravity

abstract: In this work, we study cosmological and astrophysical applications of the recently proposed generalized hybrid metric-Palatini gravity theory, which combines features of both the metric and the Palatini approaches to the variational method in $f\left(R\right)$ gravity. This theory arises as a natural generalization of the hybrid metric-Palatini gravity which has been proven to be the first theory to unify the cosmic acceleration with the solar system constraints, without resource to the chameleon mechanism. In the cosmological point of view, we show using reconstruction methods that the usual power-law and exponential scale factor behaviors in FLRW universes exist for various different distributions of matter, along with solutions for collapsing universes. Using the dynamical system approach, we also show that no global attractors can exist in the cosmological phase space and that stable universes can either be described by scale factors that diverge in finite time or asymptotically approach constant values. Furthermore, we also study the cosmological phase space of theories of gravity with terms of order six and eight in the derivatives of the metric and we conclude that the higher-order terms are not neglectable. In the area of astrophysics, we show that using the junction conditions of the theory it is possible to obtain solutions for compact objects supported by thin-shells, such as self-gravitating shells with and without perfect fluids on their exteriors, and also traversable wormhole solutions which satisfy the null energy condition for the whole spacetime, thus not needing the support of exotic matter. Furthermore, we show that there exist specific forms of the action for which the massive scalar degree of freedom of the theory is stable in the scope of rotating black-holes described by the Kerr metric.


title: Thin-Film Modelling of Resting and Moving Active Droplets

abstract: We propose a generic model for thin films and shallow drops of a polar active liquid that have a free surface and are in contact with a solid substrate. The model couples evolution equations for the film height and the local polarization profile in the form of a gradient dynamics supplemented with active stresses and fluxes. A wetting energy for a partially wetting liquid is incorporated allowing for motion of the liquid-solid-gas contact line. This gives a consistent basis for the description of drops of dense bacterial suspensions or compact aggregates of living cells on solid substrates. As example, we analyze the dynamics of two-dimensional active drops (i.e., ridges) and demonstrate how active forces compete with passive surface forces to shape droplets and drive contact line motion. The model reproduces moving and resting states of polarized droplets: Drops containing domains of opposite polarization are stationary and evolve after long transients into drops with a uniform polarization moving actively over the substrate. In our simple two-dimensional scenario droplet motion sets in at infinitely small self-propulsion force, i.e., it does not need to overcome a critical threshold.