title: Global Existence and Vanishing Dispersion Limit of Strong/Classical Solutions to the One-dimensional Compressible Quantum Navier-Stokes Equations with Large Initial Data

abstract: We are concerned with the global existence and vanishing dispersion limit of strong/classical solutions to the Cauchy problem of the one-dimensional barotropic compressible quantum Navier-Stokes equations, which consists of the compressible Navier-Stokes equations with a linearly density-dependent viscosity and a nonlinear third-order differential operator known as the quantum Bohm potential. The pressure $p(\rho)=\rho^\gamma$ is considered with $\gamma\geq1$ being a constant. We focus on the case when the viscosity constant $\nu$ and the Planck constant $\varepsilon$ are not equal. Under some suitable assumptions on $\nu,\varepsilon, \gamma$, and the initial data, we proved the global existence and large-time behavior of strong and classical solutions away from vacuum to the compressible quantum Navier-Stokes equations with arbitrarily large initial data. This result extends the previous ones on the construction of global strong large-amplitude solutions of the compressible quantum Navier-Stokes equations to the case $\nu\neq\varepsilon$. Moreover, the vanishing dispersion limit for the classical solutions of the quantum Navier-Stokes equations is also established with certain convergence rates. The proof is based on a new effective velocity which converts the quantum Navier-Stokes equations into a parabolic system, and some elaborate estimates to derive the uniform-in-time positive lower and upper bounds on the specific volume.


title: Tricritical fluctuations and elastic properties of the Ising antiferromagnet UIrSi$_3$

abstract: Elastic constants, thermal expansion, magnetostriction and heat capacity measurements were performed with and without applied magnetic field on a single crystal of UIrSi$_3$. The elastic properties were interpreted within the theory of the strain-exchange effect. The exchange-striction model together with the Ising model for the behavior of magnetic localized 5$f$ electrons and itinerant electrons of uranium correctly reproduces the main features of our magneto-acoustic experiments in UIrSi$_3$. Data on thermal expansion and magnetostriction confirm the conclusion that the dominant contribution of the measured temperature and field change in the speed of sound comes from the change in the elastic modulus itself. Based on the analysis of heat capacity measurements in the magnetic field, we explain the significant anomalies at the second-order branch of the phase transition boundary as a manifestation of the tricritical fluctuations, dominating the region below the tricritical point. The outcome confirms the 3D Ising model, at zero and low magnetic fields, with a crossover to the mean-field tricritical behavior at fields close to the tricritical point, where tricritical fluctuations dominate the temperature evolution of the given property.


title: Optimal Sensor Placement for Hybrid Source Localization Using Fused TOA-RSS-AOA Measurements

abstract: Source localization techniques incorporating hybrid measurements improve the reliability and accuracy of the location estimate. Given a set of hybrid sensors that can collect combined time of arrival (TOA), received signal strength (RSS) and angle of arrival (AOA) measurements, the localization accuracy can be enhanced further by optimally designing the placements of the hybrid sensors. In this paper, we present an optimal sensor placement methodology, which is based on the principle of majorization-minimization (MM), for hybrid localization technique. We first derive the Cramer-Rao lower bound (CRLB) of the hybrid measurement model, and formulate the design problem using the A-optimal criterion. Next, we introduce an auxiliary variable to reformulate the design problem into an equivalent saddle-point problem, and then construct simple surrogate functions (having closed form solutions) over both primal and dual variables. The application of MM in this paper is distinct from the conventional MM (that is usually developed only over the primal variable), and we believe that the MM framework developed in this paper can be employed to solve many optimization problems. The main advantage of our method over most of the existing state-of-the-art algorithms (which are mostly analytical in nature) is its ability to work for both uncorrelated and correlated noise in the measurements. We also discuss the extension of the proposed algorithm for the optimal placement designs based on D and E optimal criteria. Finally, the performance of the proposed method is studied under different noise conditions and different design parameters.


title: Realization of broadband index-near-zero modes in nonreciprocal magneto-optical heterostructures

abstract: Epsilon-near-zero (ENZ) metamaterial with the relative permittivity approaching zero has been a hot research subject in the past decades. The wave in the ENZ region has infinite phase velocity ($v=1/\sqrt{\varepsilon\mu}$), whereas it cannot efficiently travel into the other devices or air due to the impedance mismatch or near-zero group velocity. In this paper, we demonstrate that the tunable index-near-zero (INZ) modes with vanishing wavenumbers ($k=0$) and nonzero group velocities ($v_\mathrm{g} \neq 0$) can be achieved in nonreciprocal magneto-optical systems. This kind of INZ modes has been experimentally demonstrated in the photonic crystals at Dirac point frequencies and that impedance-matching effect has been observed as well. Our theoretical analysis reveals that the INZ modes exhibit tunability when changing the parameter of the one-way (nonreciprocal) waveguides. Moreover, owing to the zero-phase-shift characteristic and decreasing $v_\mathrm{g}$ of the INZ modes, several perfect optical buffers (POBs) are proposed in the microwave and terahertz regimes. The theoretical results are further verified by the numerical simulations performed by the finite element method. Our findings may open the new avenues for research in the areas of ultra -strong or -fast nonlinearity, perfect cloaking, high-resolution holographic imaging and wireless communications.


title: S-type stars discovered in Medium-Resolution Spectra of LAMOST DR9

abstract: In this paper, we report on 606 S-type stars identified from Data Release 9 of the LAMOST medium-resolution spectroscopic (MRS) survey, and 539 of them are reported for the first time. The discovery of these stars is a three-step process, i.e., selecting with the ZrO band indices greater than 0.25, excluding non-S-type stars with the iterative Support Vector Machine method, and finally retaining stars with absolute bolometric magnitude larger than -7.1. The 606 stars are consistent with the distribution of known S-type stars in the color-magnitude diagram. We estimated the C/Os using the [C/Fe] and [O/Fe] provided by APOGEE and the MARCS model for S-type stars, respectively, and the results of the two methods show that C/Os of all stars are larger than 0.5. Both the locations on the color-magnitude diagram and C/Os further verify the nature of our S-type sample. Investigating the effect of TiO and atmospheric parameters on ZrO with the sample, we found that log g has a more significant impact on ZrO than Teff and [Fe/H], and both TiO and log g may negatively correlate with ZrO. According to the criterion of Tian et al. (2020), a total of 238 binary candidates were found by the zero-point-calibrated radial velocities from the officially released catalog of LAMOST MRS and the catalog of Zhang et al. (2021). A catalog of these 606 S-type stars is available from the following link https://doi.org/10.12149/101097.


title: Probing for Constituency Structure in Neural Language Models

abstract: In this paper, we investigate to which extent contextual neural language models (LMs) implicitly learn syntactic structure. More concretely, we focus on constituent structure as represented in the Penn Treebank (PTB). Using standard probing techniques based on diagnostic classifiers, we assess the accuracy of representing constituents of different categories within the neuron activations of a LM such as RoBERTa. In order to make sure that our probe focuses on syntactic knowledge and not on implicit semantic generalizations, we also experiment on a PTB version that is obtained by randomly replacing constituents with each other while keeping syntactic structure, i.e., a semantically ill-formed but syntactically well-formed version of the PTB. We find that 4 pretrained transfomer LMs obtain high performance on our probing tasks even on manipulated data, suggesting that semantic and syntactic knowledge in their representations can be separated and that constituency information is in fact learned by the LM. Moreover, we show that a complete constituency tree can be linearly separated from LM representations.


title: Well-posedness for the 1D cubic nonlinear Schr\"odinger equation in $L^p$, $p>2$

abstract: In this paper, local well-posedness is shown for the one dimensional cubic nonlinear Schr\"odinger equation in $L^p$-spaces for $2<p<4$, which generalizes a classical result for $p=2$ by Y. Tsutsumi and recent work for $1<p<2$ by Y. Zhou. As a consequence, a local theory of solutions is established for a class of data which decay more slowly than square integrable functions. Regularity properties of the local solutions in the $L^p$-based Sobolev spaces and Stricharz spaces are also proved.


title: Discovery of post-mass-transfer helium-burning red giants using asteroseismology

abstract: A star expands to become a red giant when it has fused all the hydrogen in its core into helium. If the star is in a binary system, its envelope can overflow onto its companion or be ejected into space, leaving a hot core and potentially forming a subdwarf-B star. However, most red giants that have partially transferred envelopes in this way remain cool on the surface and are almost indistinguishable from those that have not. Among $\sim$7000 helium-burning red giants observed by NASA's Kepler mission, we use asteroseismology to identify two classes of stars that must have undergone dramatic mass loss, presumably due to stripping in binary interactions. The first class comprises about 7 underluminous stars with smaller helium-burning cores than their single-star counterparts. Theoretical models show that these small cores imply the stars had much larger masses when ascending the red giant branch. The second class consists of 32 red giants with masses down to 0.5 M$_\odot$, whose implied ages would exceed the age of the universe had no mass loss occurred. The numbers are consistent with binary statistics, and our results open up new possibilities to study the evolution of post-mass-transfer binary systems.


title: First-Order Bilevel Topology Optimization for Fast Mechanical Design

abstract: Topology Optimization (TO), which maximizes structural robustness under material weight constraints, is becoming an essential step for the automatic design of mechanical parts. However, existing TO algorithms use the Finite Element Analysis (FEA) that requires massive computational resources. We present a novel TO algorithm that incurs a much lower iterative cost. Unlike conventional methods that require exact inversions of large FEA system matrices at every iteration, we reformulate the problem as a bilevel optimization that can be solved using a first-order algorithm and only inverts the system matrix approximately. As a result, our method incurs a low iterative cost, and users can preview the TO results interactively for fast design updates. Theoretical convergence analysis and numerical experiments are conducted to verify our effectiveness. We further discuss extensions to use high-performance preconditioners and fine-grained parallelism on the Graphics Processing Unit (GPU).


title: Deuteron electromagnetic form factors and tensor polarization observables in the framework of the hard-wall AdS/QCD model

abstract: We study the electromagnetic form factors and tensor polarization observables of the deuteron in the framework of the hard-wall AdS/QCD model. We find a profile function for the bulk twist $\tau=6$ vector field, which describes the deuteron on the boundary and fix the infrared boundary cut-off of AdS space in accordance with the ground state mass of the deuteron. We obtain the deuteron charge monopole, quadrupole, and magnetic dipole form factors and tensor polarization observables from the bulk Lagrangians for the deuteron and photon field interactions. We plot the momentum transfer dependence of the form factors and tensor polarization observables and compare our numerical results with those in the soft-wall model and experimental data.


title: Selecting Regularization Parameters for nuclear norm type minimization problems

abstract: The reconstruction of low-rank matrix from its noisy observation finds its usage in many applications. It can be reformulated into a constrained nuclear norm minimization problem, where the bound $\eta$ of the constraint is explicitly given or can be estimated by the probability distribution of the noise. When the Lagrangian method is applied to find the minimizer, the solution can be obtained by the singular value thresholding operator where the thresholding parameter $\lambda$ is related to the Lagrangian multiplier. In this paper, we first show that the Frobenius norm of the discrepancy between the minimizer and the observed matrix is a strictly increasing function of $\lambda$. From that we derive a closed-form solution for $\lambda$ in terms of $\eta$. The result can be used to solve the constrained nuclear-norm-type minimization problem when $\eta$ is given. For the unconstrained nuclear-norm-type regularized problems, our result allows us to automatically choose a suitable regularization parameter by using the discrepancy principle. The regularization parameters obtained are comparable to (and sometimes better than) those obtained by Stein's unbiased risk estimator (SURE) approach while the cost of solving the minimization problem can be reduced by 11--18 times. Numerical experiments with both synthetic data and real MRI data are performed to validate the proposed approach.


title: Safe Stochastic Model Predictive Control

abstract: Combining efficient and safe control for safety-critical systems is challenging. Robust methods may be overly conservative, whereas probabilistic controllers require a trade-off between efficiency and safety. In this work, we propose a safety algorithm that is compatible with any stochastic Model Predictive Control method for linear systems with additive uncertainty and polytopic constraints. This safety algorithm allows to use the optimistic control inputs of stochastic Model Predictive Control as long as a safe backup planner can ensure safety with respect to satisfying hard constraints subject to bounded uncertainty. Besides ensuring safe behavior, the proposed stochastic Model Predictive Control algorithm guarantees recursive feasibility and input-to-state stability of the system origin. The benefits of the safe stochastic Model Predictive Control algorithm are demonstrated in a numerical simulation, highlighting the advantages compared to purely robust or stochastic predictive controllers.


title: Rate Splitting Multiple Access Aided Mobile Edge Computing in Cognitive Radio Networks

abstract: In this paper, we investigate rate splitting multiple access (RSMA) aided mobile edge computing (MEC) in a cognitive radio network. We propose a RSMA scheme that enables the secondary user to offload tasks to the MEC server utilizing dynamic rate splitting without deteriorating the primary user's offloading. The expressions for the optimal rate splitting parameters that maximize the achievable rate for the secondary user and successful computation probability of the proposed RSMA scheme are derived in closed-form. We formulate a problem to maximize successful computation probability by jointly optimizing task offloading ratio and task offloading time and obtain the optimal solutions in closed-form. Simulation results clarify that the proposed RSMA scheme achieves a higher successful computation probability than the existing non-orthogonal multiple access scheme.


title: An analogue of the Blaschke-Santal\'{o} inequality for billiard dynamics

abstract: The Blaschke-Santal\'{o} inequality is a classical inequality in convex geometry concerning the volume of a convex body and that of its dual. In this work we investigate an analogue of this inequality in the context of billiard dynamical system: we replace the volume with the length of the shortest closed billiard trajectory. We define a quantity called the "billiard product" of a convex body K, which is analogous to the volume product studied in the Blaschke-Santal\'{o} inequality. In the planar case, we derive an explicit expression for the billiard product in terms of the diameter of the body. We also investigate upper bounds for this quantity in the class of polygons with a fixed number of vertices.


title: Bouncing universe in Gauss-Bonnet gravity

abstract: In this paper, a bouncing cosmological scenario is studied in the background of a flat FLRW model with a specific parametrized hyperbolic form of scale factor $ a $ in terms of $ t $, where $ \lambda $ is taken as the model parameter. This model is discussed in $ f(R,G) $ formalism having structured as $ f(R,G)=R+F(G) $, where $ R $ is Ricci scalar and $ G $ is the Gauss-Bonnet invariant. The proposed functional form of the Hubble parameter is considered in such a way that it satisfies the bouncing criteria of the model, which is free from the initial singularity. The physical consequences of the model are discussed. In this model, one can see that the EoS parameter crosses the quintom line $ \omega=-1 $ in the neighborhood of bouncing point $ t\approx0 $, which is a very strong criterion for a successful bouncing cosmological model. Finally, we find that all the essential features of the bouncing model are satisfied successfully.


title: 5G Features and Standards for Vehicle Data Exploitation

abstract: Cars capture and generate huge volumes of data in real-time about the driving dynamics, the environment, and the driver and passengers' activities. Due to the proliferation of cooperative, connected and automated mobility (CCAM), the value of data from vehicles is getting strategic, not just for the automotive industry, but also for many diverse stakeholders including small and medium-sized enterprises (SMEs) and start-ups. 5G can enable car-captured data to feed innovative applications and services deployed in the cloud ensuring lower latency and higher throughput than previous cellular technologies. This paper identifies and discusses the relevance of the main 5G features that can contribute to a scalable, flexible, reliable and secure data pipeline, pointing to the standards and technical reports that specify their implementation.


title: A New Robot Arm Calibration Method Based on Cubic Interpolated Beetle Antennae Search Approach

abstract: Industrial robot arms are extensively important for intelligent manufacturing. An industrial robot arm commonly enjoys its high repetitive positioning accuracy while suffering from its low absolute positioning accuracy, which greatly restricts its application in high-precision manufacture, like automobile manufacture. Aiming at addressing this hot issue, this work proposes a novel robot arm calibration method based on cubic interpolated beetle antennae search (CIBAS). This study has three ideas: a) developing a novel CIBAS algorithm, which can effectively addresses the issue of local optimum in a Beetle Antennae Search algorithm; b) utilizing a particle filter to reduce the influence of non-Gaussian noises; and c) proposing a new calibration method incorporating CIBAS algorithm and particle filter to searching the optimal kinematic parameters. Experimental results on an ABB IRB120 industrial robot arm demonstrate that the proposed method achieves much higher calibration accuracy than several state-of-the-art calibration methods.


title: Defensive Patches for Robust Recognition in the Physical World

abstract: To operate in real-world high-stakes environments, deep learning systems have to endure noises that have been continuously thwarting their robustness. Data-end defense, which improves robustness by operations on input data instead of modifying models, has attracted intensive attention due to its feasibility in practice. However, previous data-end defenses show low generalization against diverse noises and weak transferability across multiple models. Motivated by the fact that robust recognition depends on both local and global features, we propose a defensive patch generation framework to address these problems by helping models better exploit these features. For the generalization against diverse noises, we inject class-specific identifiable patterns into a confined local patch prior, so that defensive patches could preserve more recognizable features towards specific classes, leading models for better recognition under noises. For the transferability across multiple models, we guide the defensive patches to capture more global feature correlations within a class, so that they could activate model-shared global perceptions and transfer better among models. Our defensive patches show great potentials to improve application robustness in practice by simply sticking them around target objects. Extensive experiments show that we outperform others by large margins (improve 20+\% accuracy for both adversarial and corruption robustness on average in the digital and physical world). Our codes are available at https://github.com/nlsde-safety-team/DefensivePatch


title: Context-based Deep Learning Architecture with Optimal Integration Layer for Image Parsing

abstract: Deep learning models have been efficient lately on image parsing tasks. However, deep learning models are not fully capable of exploiting visual and contextual information simultaneously. The proposed three-layer context-based deep architecture is capable of integrating context explicitly with visual information. The novel idea here is to have a visual layer to learn visual characteristics from binary class-based learners, a contextual layer to learn context, and then an integration layer to learn from both via genetic algorithm-based optimal fusion to produce a final decision. The experimental outcomes when evaluated on benchmark datasets are promising. Further analysis shows that optimized network weights can improve performance and make stable predictions.


title: Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata

abstract: The generic limit set of a dynamical system is the smallest set that attracts most of the space in a topological sense: it is the smallest closed set with a comeager basin of attraction. Introduced by Milnor, it has been studied in the context of one-dimensional cellular automata by Djenaoui and Guillon, Delacourt, and T\"orm\"a. In this article we present complexity bounds on realizations of generic limit sets of cellular automata with prescribed properties. We show that generic limit sets have a $\Pi^0_2$ language if they are inclusion-minimal, a $\Sigma^0_1$ language if the cellular automaton has equicontinuous points, and that these bounds are tight. We also prove that many chain mixing $\Pi^0_2$ subshifts and all chain mixing $\Delta^0_2$ subshifts are realizable as generic limit sets. As a corollary, we characterize the minimal subshifts that occur as generic limit sets.


title: Sapinet: A sparse event-based spatiotemporal oscillator for learning in the wild

abstract: We introduce Sapinet -- a spike timing (event)-based multilayer neural network for \textit{learning in the wild} -- that is: one-shot online learning of multiple inputs without catastrophic forgetting, and without the need for data-specific hyperparameter retuning. Key features of Sapinet include data regularization, model scaling, data classification, and denoising. The model also supports stimulus similarity mapping. We propose a systematic method to tune the network for performance. We studied the model performance on different levels of odor similarity, gaussian and impulse noise. Sapinet achieved high classification accuracies on standard machine olfaction datasets without the requirement of fine tuning for a specific dataset.


title: An Advancing Ensemble with Diversified Algorithms for Robot Arm Calibration

abstract: Recently, industrial robots plays a significant role in intelligent manufacturing. Hence, it is an urgent issue to ensure the robot with the high positioning precision. To address this hot issue, a novel calibration method based on an powerful ensemble with various algorithms is proposed. This paper has two ideas: a) developing eight calibration methods to identify the kinematic parameter errors; 2) establishing an effective ensemble to search calibrated kinematic parameters. Enough experimental results show that this ensemble can achieve: 1) higher calibration accuracy for the robot; 2) model diversity; 3) strong generalization ability.


title: A Novel Quadratic Interpolated Beetle Antennae Search for Manipulator Calibration

abstract: Over the past decades, industrial manipulators play a vital role in in various fields, like aircraft manufacturing and automobile manufacturing. However, an industrial manipulator without calibration suffers from its low absolute positioning accuracy, which extensively restricts its application in high-precision intelligent manufacture. Recent manipulator calibration methods are developed to address this issue, while they frequently encounter long-tail convergence and low calibration accuracy. To address this thorny issue, this work proposes a novel manipulator calibration method incorporating an extended Kalman filter with a Quadratic Interpolated Beetle Antennae Search algorithm. This paper has three-fold ideas: a) proposing a new Quadratic Interpolated Beetle Antennae Search algorithm to deal with the issue of local optimum and low convergence rate in a Beetle Antennae Search algorithm; b) adopting an extended Kalman filter algorithm to suppress non-Gaussian noises and c) developing a new manipulator calibration method incorporating an extended Kalman filter with a Quadratic Interpolated Beetle Antennae Search algorithm to calibrating a manipulator. Extensively experimental results on an ABB IRB120 industrial manipulator demonstrate that the proposed method achieves much higher calibration accuracy than several state-of-the-art calibration methods.


title: Wi-Fi Based Passive Human Motion Sensing for In-Home Healthcare Applications

abstract: This paper introduces a Wi-Fi signal based passive wireless sensing system that has the capability to detect diverse indoor human movements, from whole body motions to limb movements and including breathing movements of the chest. The real time signal processing used for human body motion sensing and software defined radio demo system are described and verified in practical experiments scenarios, which include detection of through-wall human body movement, hand gesture or tremor, and even respiration. The experiment results offer potential for promising healthcare applications using Wi-Fi passive sensing in the home to monitor daily activities, to gather health data and detect emergency situations.


title: Product Inequalities for Multivariate Gaussian, Gamma, and Positively Upper Orthant Dependent Distributions

abstract: The Gaussian product inequality is an important conjecture concerning the moments of Gaussian random vectors. While all attempts to prove the Gaussian product inequality in full generality have been unsuccessful to date, numerous partial results have been derived in recent decades and we provide here further results on the problem. Most importantly, we establish a strong version of the Gaussian product inequality for multivariate gamma distributions in the case of nonnegative correlations, thereby extending a result recently derived by Genest and Ouimet [5]. Further, we show that the Gaussian product inequality holds with nonnegative exponents for all random vectors with positive components whenever the underlying vector is positively upper orthant dependent. Finally, we show that the Gaussian product inequality with negative exponents follows directly from the Gaussian correlation inequality.


title: Research on Intellectual Property Resource Profile and Evolution Law

abstract: In the era of big data, intellectual property-oriented scientific and technological resources show the trend of large data scale, high information density and low value density, which brings severe challenges to the effective use of intellectual property resources, and the demand for mining hidden information in intellectual property is increasing. This makes intellectual property-oriented science and technology resource portraits and analysis of evolution become the current research hotspot. This paper sorts out the construction method of intellectual property resource intellectual portrait and its pre-work property entity extraction and entity completion from the aspects of algorithm classification and general process, and directions for improvement of future methods.


title: Quantum Monte Carlo study of superconductivity in rhombohedral trilayer graphene under an electric field

abstract: By using the constrained-phase quantum Monte Carlo method, we performed a systematic study of the ground state of the half filled Hubbard model for a trilayer honeycomb lattice. We analyze the effect of the perpendicular electric field on the electronic structure, magnetic property and pairing correlations. It is found that the antiferromagnetism is suppressed by the perpendicular electric field, especially the long-range parts, and the dominant magnetic fluctuations are still antiferromagnetic. The electronic correlation drives a $d+id$ superconducting pairing to be dominant over other pairing patterns among various electric fields and interaction strengths. We also found that the $d+id$ pairing correlation is greatly enhanced as the on-site Coulomb interaction is increased. Our intensive numerical results may unveil the nature of the recently observed superconductivity in rhombohedral trilayer graphene under an electric field.


title: On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory

abstract: In security analysis, attack trees are a major tool for showing the structural decomposition of attacks and for supporting the evaluation of the quantitative properties (called attributes) of the attacks. However, the validities of decompositions are not established by attack trees themselves, and fallacious decisions about security may be made when the attack trees are inaccurate. This paper enriches attack trees with effects of attacks, with a formal system focusing on refinement scenarios. Relationships among effects indicate relationships among attacks and it allows for a systematic evaluation of attack decompositions. To describe effects this paper applies Barwise-Seligman's channel theory. Infomorphisms, in particular, play a significant role to connect effects with distinct granularities. As a result, the consistency of a decomposition is formally defined and a condition for it is stated. This framework is applied to a case study of a vehicular network system. As an application of the idea of consistency, possible degrees of mitigation for attacks in attack trees are discussed.


title: Some recent developments in nonleptonic $B$ decays

abstract: I report on three recent topics from the field of two-body nonleptonic decays of $B_{(s)}$ mesons. The computation of two-loop NNLO corrections to the leading penguin amplitudes in QCD factorisation, puzzles that have emerged in colour-allowed tree-level decays to heavy-light final states, and a combination of QCD factorisation with $SU(3)$ flavour symmetry to estimate the size of weak-annihilation amplitudes.


title: The $B_c$ decay rate in the Standard Model

abstract: The Standard Model decay rate of the $B_c$ meson is discussed together with a novel approach based on the usage of experimental data in combination with an operator product expansion. In the new method differences of $B,\,D$ and $B_c$ meson decay rates are considered, for which the free-quark contributions drop out, leading to a reduction of the theory prediction.


title: Assessing IT Architecture Evolution using Enriched Enterprise Architecture Models

abstract: Enterprise Architecture (EA) help companies to keep the evolution of their IT architecture aligned with their business evolution using a set of complementary models ranging from vision to infrastructure. In this paper, we explore how such models can be exploited to best drive this co-evolution by helping in validating different change management strategies. Considering state of the art techniques in service oriented and Cloud architecture, we propose to enrich and improve the quality of the information about the applications and software components on various qualities (e.g. performance, scalability, security, technical debt) in order to include them in the assessment process already at the Enterprise Architecture level rather than discovering them later in the change implementation phase. Our work is experimented on the LabNaf EA framework and is illustrated on a partial case study taken from an industrial project.


title: Global existence of strong solutions with large oscillations and vacuum to the compressible nematic liquid crystal flows in 3D bounded domains

abstract: We investigate compressible nematic liquid crystal flows in three-dimensional (3D) bounded domains with slip boundary condition for velocity and Neumann boundary condition for orientation field. By applying piecewise-estimate method and delicate analysis based on the effective viscous flux and vorticity, we derive the global existence and uniqueness of strong solutions provided that the initial total energy is suitably small. Our result is an extension of the works of Huang-Wang-Wen (J. Differential Equations 252: 2222-2265, 2012) and Li-Xu-Zhang (J. Math. Fluid Mech. 20: 2105-2145, 2018), where the local strong solutions in three dimensions and the global strong solutions for 3D Cauchy problem were established, respectively. Moreover, it also shows that blow up mechanism for local strong solutions obtained by Huang-Wang-Wen (Arch. Ration. Mech. Anal. 204: 285-311, 2012) cannot occur if the initial total energy is sufficiently small.


title: Do You Really Mean That? Content Driven Audio-Visual Deepfake Dataset and Multimodal Method for Temporal Forgery Localization

abstract: Due to its high societal impact, deepfake detection is getting active attention in the computer vision community. Most deepfake detection methods rely on identity, facial attributes, and adversarial perturbation-based spatio-temporal modifications at the whole video or random locations while keeping the meaning of the content intact. However, a sophisticated deepfake may contain only a small segment of video/audio manipulation, through which the meaning of the content can be, for example, completely inverted from a sentiment perspective. We introduce a content-driven audio-visual deepfake dataset, termed Localized Audio Visual DeepFake (LAV-DF), explicitly designed for the task of learning temporal forgery localization. Specifically, the content-driven audio-visual manipulations are performed strategically to change the sentiment polarity of the whole video. Our baseline method for benchmarking the proposed dataset is a 3DCNN model, termed as Boundary Aware Temporal Forgery Detection (BA-TFD), which is guided via contrastive, boundary matching, and frame classification loss functions. Our extensive quantitative and qualitative analysis demonstrates the proposed method's strong performance for temporal forgery localization and deepfake detection tasks.


title: Computational Design of Alloy Nanostructures for Optical Sensing of Hydrogen

abstract: Pd nanoalloys show great potential as hysteresis-free, reliable hydrogen sensors. Here, a multi-scale modeling approach is employed to determine optimal conditions for optical hydrogen sensing using the Pd-Au-H system. Changes in hydrogen pressure translate to changes in hydrogen content and eventually the optical spectrum. At the single particle level, the shift of the plasmon peak position with hydrogen concentration (i.e., the "optical" sensitivity) is approximately constant at 180 nm/c_H for nanodisk diameters >~ 100 nm. For smaller particles, the optical sensitivity is negative and increases with decreasing diameter, due to the emergence of a second peak originating from coupling between a localized surface plasmon and interband transitions. In addition to tracking peak position, the onset of extinction as well as extinction at fixed wavelengths is considered. We carefully compare the simulation results with experimental data and assess the potential sources for discrepancies. Invariably, the results suggest that there is an upper bound for the optical sensitivity that cannot be overcome by engineering composition and/or geometry. While the alloy composition has a limited impact on optical sensitivity, it can strongly affect H uptake and consequently the "thermodynamic" sensitivity and the detection limit. Here, it is shown how the latter can be improved by compositional engineering and even substantially enhanced via the formation of an ordered phase that can be synthesized at higher hydrogen partial pressures.


title: Performance Analysis of Wireless Network Aided by Discrete-Phase-Shifter IRS

abstract: Discrete phase shifters of intelligent reflecting surface (IRS) generates phase quantization error (QE) and degrades the receive performance at the receiver. To make an analysis of the performance loss caused by IRS with phase QE, based on the law of large numbers, the closed-form expressions of signal-to-noise ratio (SNR) performance loss (PL), achievable rate (AR), and bit error rate (BER) are successively derived under line-of-sight (LoS) channels and Rayleigh channels. Moreover, based on the Taylor series expansion, the approximate simple closed form of PL of IRS with approximate QE is also given. The simulation results show that the performance losses of SNR and AR decrease as the number of quantization bits increase, while they gradually increase with the number of IRS phase shifter elements increase. Regardless of LoS channels or Rayleigh channels, when the number of quantization bits is larger than or equal to 3, the performance losses of SNR and AR are less than 0.23dB and 0.08bits/s/Hz, respectively, and the BER performance degradation is trivial. In particular, the performance loss difference between IRS with QE and IRS with approximate QE is negligible when the number of quantization bits is not less than 2.


title: Terahertz lattice and charge dynamics in ferroelectric semiconductor Sn$_x$Pb$_{1-x}$Te

abstract: The symmetry breaking induced by the ferroelectric transition often triggers the emergence of topological electronic states such as Weyl fermions in ferroelectric-like metals/semimetals. Such strong coupling between the lattice deformation and electronic states is therefore essentially important for the control of novel topological phases. Here, we study the terahertz lattice and charge dynamics in ferroelectric semiconductor SnxPb1-xTe thin films hosting versatile topological phases by means of the terahertz time-domain spectroscopy. With lowering the temperature, the resonant frequency of transverse optical phonon shows the significant softening and upturn. This temperature anomaly of lattice dynamics directly indicates the displacive-type ferroelectric transition. The resulting phase diagram suggests the enhancement of ferroelectricity in the films due to compressive strain compared with the bulk crystals. The soft phonon induces the large DC and terahertz dielectric constant even in metallic state. Furthermore, we find that the Born effective charge of soft phonon mode is enhanced at around the compositions showing the band gap closing associated with the topological transition.


title: The non-ideal finite Larmor radius effect in the solar atmosphere

abstract: The dynamics of the partially ionized solar atmosphere is controlled by the frequent collision and charge exchange between the predominant neutral Hydrogen atoms and charged ions. At signal frequencies below or of the order of either of the collision or charge exchange frequencies the magnetic stress is {\it felt} by both the charged and neutral particles simultaneously. The resulting neutral-mass loading of the ions leads to the rescaling of the effective ion-cyclotron frequency-it becomes the Hall frequency, and the resultant effective Larmor radius becomes of the order of few kms. Thus the finite Larmor radius (FLR) effect which manifests as the ion and neutral pressure stress tensors operates over macroscopic scales. Whereas parallel and perpendicular (with respect to the magnetic field) viscous momentum transport competes with the Ohm and Hall diffusion of the magnetic field in the photosphere-chromosphre, the gyroviscous effect becomes important only in the transition region between the chromosphere and corona, where it competes with the ambipolar diffusion. The wave propagation in the gyroviscous effect dominated medium depends on the plasma $\beta$ (a ratio of the thermal and magnetic energies). The abundance of free energy makes gyro waves unstable with the onset condition exactly opposite of the Hall instability. However, the maximum growth rate is identical to the Hall instability. For a flow gradient $\sim 0.1 \,\mbox{s}^{-1}$ the instability growth time is one minute. Thus, the transition region may become subject to this fast growing, gyroviscous instability.


title: Approximation of Lipschitz Functions using Deep Spline Neural Networks

abstract: Lipschitz-constrained neural networks have many applications in machine learning. Since designing and training expressive Lipschitz-constrained networks is very challenging, there is a need for improved methods and a better theoretical understanding. Unfortunately, it turns out that ReLU networks have provable disadvantages in this setting. Hence, we propose to use learnable spline activation functions with at least 3 linear regions instead. We prove that this choice is optimal among all component-wise $1$-Lipschitz activation functions in the sense that no other weight constrained architecture can approximate a larger class of functions. Additionally, this choice is at least as expressive as the recently introduced non component-wise Groupsort activation function for spectral-norm-constrained weights. Previously published numerical results support our theoretical findings.


title: The lepton flavor violating decays of vector mesons in the MRSSM

abstract: Recently several new bounds of the lepton flavor violating decays of the neutral vector mesons $J/\psi$ and $\Upsilon(nS)$ are reported from the experiments. In the work, we analyze these processes in the scenario of the minimal R-symmetric supersymmetric standard model by means of the effective Lagrangian method. The predicted branching ratios are affected by the mass insertion parameters $\delta^{ij}$ and the contributions from different parts are comparable. Taking account of the constraints on the mass insertion parameters from the experiments, the branching ratios for the most promising processes $\Upsilon(nS)\rightarrow l\tau$ are predicted to be ten orders of magnitude smaller than the present experimental bounds.


title: Anti-polar state in BiFeO3/NdFeO3 superlattices

abstract: Antiferroelectrics are promising materials for high energy density capacitors and the search for environmentally-friendly and efficient systems is actively pursued. An elegant strategy to create and design new (anti)ferroic system relies on the use of nanoscale superlattices. We report here the use of such strategy and the fabrication of nanoscale BiFeO3/NdFeO3 superlattices and in depth characterization using high resolution X-ray diffraction and Transmission Electron Microscopy. The structural analysis at atomic scale demonstrates that such superlattices host anti-polar ordering most likely described by an antiferroelectric-like Pbnm symmetry. Temperature dependence of anti-polar state and structural transition further hint that the stability of the anti-polar state is controlled by the BiFeO3 layer thickness within the stacking and, in a more moderate way, by interlayer strain. Discovery of such polar arrangement in superlattices and the possible generalization to the whole rare-earth family pave the way to new platforms for energy storage application as well as nano-electronic devices.


title: An improved numerical method for hyperbolic Lagrangian Coherent Structures using Differential Algebra

abstract: In dynamical systems, it is advantageous to identify regions of flow which can exhibit maximal influence on nearby behaviour. Hyperbolic Lagrangian Coherent Structures have been introduced to obtain two-dimensional surfaces which maximise repulsion or attraction in three-dimensional dynamical systems with arbitrary time-dependence. However, the numerical method to compute them requires obtaining derivatives associated with the system, often performed through the approximation of divided differences, which can lead to significant numerical error and numerical noise. In this paper, we introduce a novel method for the numerical calculation of hyperbolic Lagrangian Coherent Structures using Differential Algebra called DA-LCS. As a form of automatic forward differentiation, it allows direct computation of the Taylor expansion of the flow, its derivatives, and the eigenvectors of the associated strain tensor, with all derivatives obtained algebraically and to machine precision. It does so without a priori information about the system, such as variational equations or explicit derivatives. We demonstrate that this can provide significant improvements in the accuracy of the Lagrangian Coherent Structures identified compared to finite-differencing methods in a series of test cases drawn from the literature. We also show how DA-LCS uncovers additional dynamical behaviour in a real-world example drawn from astrodynamics.


title: Ada-Detector: Adaptive Frontier Detector for Rapid Exploration

abstract: In this paper, we propose an efficient frontier detector method based on adaptive Rapidly-exploring Random Tree (RRT) for autonomous robot exploration. Robots can achieve real-time incremental frontier detection when they are exploring unknown environments. First, our detector adaptively adjusts the sampling space of RRT by sensing the surrounding environment structure. The adaptive sampling space can greatly improve the successful sampling rate of RRT (the ratio of the number of samples successfully added to the RRT tree to the number of sampling attempts) according to the environment structure and control the expansion bias of the RRT. Second, by generating non-uniform distributed samples, our method also solves the over-sampling problem of RRT in the sliding windows, where uniform random sampling causes over-sampling in the overlap area between two adjacent sliding windows. In this way, our detector is more inclined to sample in the latest explored area, which improves the efficiency of frontier detection and achieves incremental detection. We validated our method in three simulated benchmark scenarios. The experimental comparison shows that we reduce the frontier detection runtime by about 40% compared with the SOTA method, DSV Planner.


title: Photonic quadrupole topological insulator using orbital-induced synthetic flux

abstract: The rich physical properties of multiatomic molecules and crystalline structures are determined, to a significant extent, by the underlying geometry and connectivity of atomic orbitals. This orbital degree of freedom has also been used effectively to introduce structural diversity in a few synthetic materials including polariton lattices nonlinear photonic lattices and ultracold atoms in optical lattices. In particular, the mixing of orbitals with distinct parity representations, such as $s$ and $p$ orbitals, has been shown to be especially useful for generating systems that require alternating phase patterns, as with the sign of couplings within a lattice. Here we show that by further breaking the symmetries of such mixed-orbital lattices, it is possible to generate synthetic magnetic flux threading the lattice. This capability allows the generation of multipole higher-order topological phases in synthetic bosonic platforms, in which $\pi$ flux threading each plaquette of the lattice is required, and which to date have only been implemented using tailored connectivity patterns. We use this insight to experimentally demonstrate a quadrupole photonic topological insulator in a two-dimensional lattice of waveguides that leverage modes with both $s$ and $p$ orbital-type representations. We confirm the nontrivial quadrupole topology of the system by observing the presence of protected zero-dimensional states, which are spatially confined to the corners, and by confirming that these states sit at the band gap. Our approach is also applicable to a broader range of time-reversal-invariant synthetic materials that do not allow for tailored connectivity, e.g. with nanoscale geometries, and in which synthetic fluxes are essential.


title: Can Question Rewriting Help Conversational Question Answering?

abstract: Question rewriting (QR) is a subtask of conversational question answering (CQA) aiming to ease the challenges of understanding dependencies among dialogue history by reformulating questions in a self-contained form. Despite seeming plausible, little evidence is available to justify QR as a mitigation method for CQA. To verify the effectiveness of QR in CQA, we investigate a reinforcement learning approach that integrates QR and CQA tasks and does not require corresponding QR datasets for targeted CQA. We find, however, that the RL method is on par with the end-to-end baseline. We provide an analysis of the failure and describe the difficulty of exploiting QR for CQA.


title: CowClip: Reducing CTR Prediction Model Training Time from 12 hours to 10 minutes on 1 GPU

abstract: The click-through rate (CTR) prediction task is to predict whether a user will click on the recommended item. As mind-boggling amounts of data are produced online daily, accelerating CTR prediction model training is critical to ensuring an up-to-date model and reducing the training cost. One approach to increase the training speed is to apply large batch training. However, as shown in computer vision and natural language processing tasks, training with a large batch easily suffers from the loss of accuracy. Our experiments show that previous scaling rules fail in the training of CTR prediction neural networks. To tackle this problem, we first theoretically show that different frequencies of ids make it challenging to scale hyperparameters when scaling the batch size. To stabilize the training process in a large batch size setting, we develop the adaptive Column-wise Clipping (CowClip). It enables an easy and effective scaling rule for the embeddings, which keeps the learning rate unchanged and scales the L2 loss. We conduct extensive experiments with four CTR prediction networks on two real-world datasets and successfully scaled 128 times the original batch size without accuracy loss. In particular, for CTR prediction model DeepFM training on the Criteo dataset, our optimization framework enlarges the batch size from 1K to 128K with over 0.1% AUC improvement and reduces training time from 12 hours to 10 minutes on a single V100 GPU. Our code locates at https://github.com/bytedance/LargeBatchCTR.


title: Stealing and Evading Malware Classifiers and Antivirus at Low False Positive Conditions

abstract: Model stealing attacks have been successfully used in many machine learning domains, but there is little understanding of how these attacks work against models that perform malware detection. Malware detection and, in general, security domains have unique conditions. In particular, there are very strong requirements for low false positive rates (FPR). Antivirus products (AVs) that use machine learning are very complex systems to steal, malware binaries continually change, and the whole environment is adversarial by nature. This study evaluates active learning model stealing attacks against publicly available stand-alone machine learning malware classifiers and also against antivirus products. The study proposes a new neural network architecture for surrogate models (dualFFNN) and a new model stealing attack that combines transfer and active learning for surrogate creation (FFNN-TL). We achieved good surrogates of the stand-alone classifiers with up to 99\% agreement with the target models, using less than 4% of the original training dataset. Good surrogates of AV systems were also trained with up to 99% agreement and less than 4,000 queries. The study uses the best surrogates to generate adversarial malware to evade the target models, both stand-alone and AVs (with and without an internet connection). Results show that surrogate models can generate adversarial malware that evades the targets but with a lower success rate than directly using the target models to generate adversarial malware. Using surrogates, however, is still a good option since using the AVs for malware generation is highly time-consuming and easily detected when the AVs are connected to the internet.


title: Encoding Domain Knowledge in Multi-view Latent Variable Models: A Bayesian Approach with Structured Sparsity

abstract: Many real-world systems are described not only by data from a single source but via multiple data views. In genomic medicine, for instance, patients can be characterized by data from different molecular layers. Latent variable models with structured sparsity are a commonly used tool for disentangling variation within and across data views. However, their interpretability is cumbersome since it requires a direct inspection and interpretation of each factor from domain experts. Here, we propose MuVI, a novel multi-view latent variable model based on a modified horseshoe prior for modeling structured sparsity. This facilitates the incorporation of limited and noisy domain knowledge, thereby allowing for an analysis of multi-view data in an inherently explainable manner. We demonstrate that our model (i) outperforms state-of-the-art approaches for modeling structured sparsity in terms of the reconstruction error and the precision/recall, (ii) robustly integrates noisy domain expertise in the form of feature sets, (iii) promotes the identifiability of factors and (iv) infers interpretable and biologically meaningful axes of variation in a real-world multi-view dataset of cancer patients.


title: Rapid model transfer for medical image segmentation via iterative human-in-the-loop update: from labelled public to unlabelled clinical datasets for multi-organ segmentation in CT

abstract: Despite the remarkable success on medical image analysis with deep learning, it is still under exploration regarding how to rapidly transfer AI models from one dataset to another for clinical applications. This paper presents a novel and generic human-in-the-loop scheme for efficiently transferring a segmentation model from a small-scale labelled dataset to a larger-scale unlabelled dataset for multi-organ segmentation in CT. To achieve this, we propose to use an igniter network which can learn from a small-scale labelled dataset and generate coarse annotations to start the process of human-machine interaction. Then, we use a sustainer network for our larger-scale dataset, and iteratively updated it on the new annotated data. Moreover, we propose a flexible labelling strategy for the annotator to reduce the initial annotation workload. The model performance and the time cost of annotation in each subject evaluated on our private dataset are reported and analysed. The results show that our scheme can not only improve the performance by 19.7% on Dice, but also expedite the cost time of manual labelling from 13.87 min to 1.51 min per CT volume during the model transfer, demonstrating the clinical usefulness with promising potentials.


title: Basisness and completeness of Fucik eigenfunctions for the Neumann Laplacian

abstract: We investigate the basis properties of sequences of Fucik eigenfunctions of the one-dimensional Neumann Laplacian. We show that any such sequence is complete in $L^2(0,\pi)$ and a Riesz basis in the subspace of functions with zero mean. Moreover, we provide sufficient assumptions on Fucik eigenvalues which guarantee that the corresponding Fucik eigenfunctions form a Riesz basis in $L^2(0,\pi)$ and we explicitly describe the corresponding biorthogonal system.


title: Entanglement of particles versus entanglement of fields: independent quantum resources

abstract: Nature allows one to explore a manifold of remarkable quantum effects. Most prominently, quantum entanglement can be observed in many-particle systems, between multiple quantized fields, and in hybrid combinations thereof. This diversity, however, also leads to contradicting conclusions about what truly constitutes entanglement in any given physical scenario. By explicitly allowing various perspectives, we rigorously consider different notions of entanglement in the context of first and second quantization. By providing instructive examples, we show that particle entanglement and field entanglement are actually distinct phenomena that can occur and be observed independently of each other. This conclusion not only affects our fundamental understanding but has direct implications for quantum technology which can harness those independent forms of entanglement in practical scenarios.


title: In situ gas cell for the analysis of adsorption behavior on surfaces using x-ray spectroscopy

abstract: A gas cell for in-situ measurements of Volatile Organic Compounds (VOCs) and their adsorption behavior on different surfaces by means of X-Ray Fluorescence (XRF) and X-ray Absorption Fine-Structure (XAFS) spectroscopy has been developed. The cell is especially designed to allow for the efficient excitation and detection of low-Z elements such as carbon, oxygen or nitrogen as main components of VOCs. Two measurement modes are available. In the surface mode, adsorption on a surface can be studied using XAFS by fluorescence detection under shallow angles of incidence. The transmission mode enables the simultaneous investigation of gaseous samples via XAFS in transmittance and fluorescence detection modes. Proof-of-principle experiments were performed at the PTB plane grating monochromator beamline for soft x-ray radiation at the synchrotron radiation facility BESSY II. The flexible design and high versatility of the cell are demonstrated with the investigation of ethanol (EtOH) as one of the most abundant VOCs. The comparison of Near-Edge X-ray Absorption Fine-Structure (NEXAFS) spectra under transmission and fluorescence detection in the gas phase with measurements of adsorbed molecules on a Si-wafer surface both at the C and O-K absorption edges proves the applicability of the cell for the monitoring of adsorption processes.


title: xPACE and TASC Modeler: Tool support for data-driven context modeling

abstract: From a requirements engineering point of view, the elicitation of context-aware functionalities calls for context modeling, an early step that aims at understanding the application contexts and how it may influence user tasks. In practice, however, context modeling activities have been overlooked by practitioners due to their high complexity. To improve this situation, we implemented xPACE and TASC Modeler, which are tools that support the automation of context modeling based on existing contextual data. In this demonstration paper, we present our implementation of a data-driven context modeling approach, which is composed of a contextual data processor (xPACE) and a context model generator (TASC Modeler). We successfully evaluated the results provided by the tools in a software development project.


title: Distributed Coalgebraic Partition Refinement

abstract: Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were developed that are generic in the transition type of the input system and match the theoretical run time of the best known algorithms for many concrete system types. Genericity is achieved by modelling transition types as functors on sets and systems as coalgebras. Experimentation has shown that memory consumption is a bottleneck for handling systems with a large state space, while running times are fast. We have therefore extended an algorithm due to Blom and Orzan, which is suitable for a distributed implementation to the coalgebraic level of genericity, and implemented it in CoPaR. Experiments show that this allows to handle much larger state spaces. Running times are low in most experiments, but there is a significant penalty for some.


title: Decoherence-Suppressed Non-adiabatic Holonomic Quantum Computation

abstract: Nonadiabatic holonomic quantum computation~(NHQC) provides an essential way to construct robust and high-fidelity quantum gates due to its geometric features. However, NHQC is more sensitive to the decay and dephasing errors than conventional dynamical gate since it requires an ancillary intermediate state. Here, we utilize the Hamiltonian reverse engineering technique to study the influence of the intermediate state-decoherence on the NHQC gate fidelity, and propose the novel schemes to construct the arbitrary single-qubit holonomic gate and nontrivial two-qubit holonomic gate with high fidelity and robustness to the decoherence. Although the proposed method is generic and can be applied to many experimental platforms, such as superconducting qubits, trapped ions, quantum dots, here we take nitrogen-vacancy (NV) center as an example to show that the gate fidelity can be significantly enhanced from 89\% to 99.6\% in contrast to the recent experimental NHQC schemes [Phys. Rev. Lett. 119, 140503 (2017); Nat. Photonics 11, 309 (2017); Opt. Lett. 43, 2380 (2018)], and the robustness against the decoherence can also be significantly improved. All in all, our scheme provides a promising way for fault-tolerant geometric quantum computation.


title: Large-scale multi-objective influence maximisation with network downscaling

abstract: Finding the most influential nodes in a network is a computationally hard problem with several possible applications in various kinds of network-based problems. While several methods have been proposed for tackling the influence maximisation (IM) problem, their runtime typically scales poorly when the network size increases. Here, we propose an original method, based on network downscaling, that allows a multi-objective evolutionary algorithm (MOEA) to solve the IM problem on a reduced scale network, while preserving the relevant properties of the original network. The downscaled solution is then upscaled to the original network, using a mechanism based on centrality metrics such as PageRank. Our results on eight large networks (including two with $\sim$50k nodes) demonstrate the effectiveness of the proposed method with a more than 10-fold runtime gain compared to the time needed on the original network, and an up to $82\%$ time reduction compared to CELF.


title: Experimental Standards for Deep Learning in Natural Language Processing Research

abstract: The field of Deep Learning (DL) has undergone explosive growth during the last decade, with a substantial impact on Natural Language Processing (NLP) as well. Yet, compared to more established disciplines, a lack of common experimental standards remains an open challenge to the field at large. Starting from fundamental scientific principles, we distill ongoing discussions on experimental standards in NLP into a single, widely-applicable methodology. Following these best practices is crucial to strengthen experimental evidence, improve reproducibility and support scientific progress. These standards are further collected in a public repository to help them transparently adapt to future needs.


title: What Matters in Language Conditioned Robotic Imitation Learning over Unstructured Data

abstract: A long-standing goal in robotics is to build robots that can perform a wide range of daily tasks from perceptions obtained with their onboard sensors and specified only via natural language. While recently substantial advances have been achieved in language-driven robotics by leveraging end-to-end learning from pixels, there is no clear and well-understood process for making various design choices due to the underlying variation in setups. In this paper, we conduct an extensive study of the most critical challenges in learning language conditioned policies from offline free-form imitation datasets. We further identify architectural and algorithmic techniques that improve performance, such as a hierarchical decomposition of the robot control learning, a multimodal transformer encoder, discrete latent plans and a self-supervised contrastive loss that aligns video and language representations. By combining the results of our investigation with our improved model components, we are able to present a novel approach that significantly outperforms the state of the art on the challenging language conditioned long-horizon robot manipulation CALVIN benchmark. We have open-sourced our implementation to facilitate future research in learning to perform many complex manipulation skills in a row specified with natural language. Codebase and trained models available at http://hulc.cs.uni-freiburg.de


title: The vertex connectivity of some classes of divisible design graphs

abstract: A $k$-regular graph is called a divisible design graph if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $\lambda_1$ common neighbours, and two vertices from different classes have exactly $\lambda_2$ common neighbours. In this paper, we find the vertex connectivity of some classes of divisible design graphs, in particular, we present examples of divisible design graphs, whose vertex connectivity is less than $k$, where $k$ is the degree of a vertex. We also show that the vertex connectivity a divisible design graphs may be less than $k$ by any power of 2.


title: Deep Learning for Effective and Efficient Reduction of Large Adaptation Spaces in Self-Adaptive Systems

abstract: Many software systems today face uncertain operating conditions, such as sudden changes in the availability of resources or unexpected user behavior. Without proper mitigation these uncertainties can jeopardize the system goals. Self-adaptation is a common approach to tackle such uncertainties. When the system goals may be compromised, the self-adaptive system has to select the best adaptation option to reconfigure by analyzing the possible adaptation options, i.e., the adaptation space. Yet, analyzing large adaptation spaces using rigorous methods can be resource- and time-consuming, or even be infeasible. One approach to tackle this problem is by using online machine learning to reduce adaptation spaces. However, existing approaches require domain expertise to perform feature engineering to define the learner, and support online adaptation space reduction only for specific goals. To tackle these limitations, we present 'Deep Learning for Adaptation Space Reduction Plus' -- DLASeR+ in short. DLASeR+ offers an extendable learning framework for online adaptation space reduction that does not require feature engineering, while supporting three common types of adaptation goals: threshold, optimization, and set-point goals. We evaluate DLASeR+ on two instances of an Internet-of-Things application with increasing sizes of adaptation spaces for different combinations of adaptation goals. We compare DLASeR+ with a baseline that applies exhaustive analysis and two state-of-the-art approaches for adaptation space reduction that rely on learning. Results show that DLASeR+ is effective with a negligible effect on the realization of the adaptation goals compared to an exhaustive analysis approach, and supports three common types of adaptation goals beyond the state-of-the-art approaches.


title: Neural Operator with Regularity Structure for Modeling Dynamics Driven by SPDEs

abstract: Stochastic partial differential equations (SPDEs) are significant tools for modeling dynamics in many areas including atmospheric sciences and physics. Neural Operators, generations of neural networks with capability of learning maps between infinite-dimensional spaces, are strong tools for solving parametric PDEs. However, they lack the ability to modeling SPDEs which usually have poor regularity due to the driving noise. As the theory of regularity structure has achieved great successes in analyzing SPDEs and provides the concept model feature vectors that well-approximate SPDEs' solutions, we propose the Neural Operator with Regularity Structure (NORS) which incorporates the feature vectors for modeling dynamics driven by SPDEs. We conduct experiments on various of SPDEs including the dynamic Phi41 model and the 2d stochastic Navier-Stokes equation, and the results demonstrate that the NORS is resolution-invariant, efficient, and achieves one order of magnitude lower error with a modest amount of data.


title: Fast Arbitrary Precision Floating Point on FPGA

abstract: Numerical codes that require arbitrary precision floating point (APFP) numbers for their core computation are dominated by elementary arithmetic operations due to the super-linear complexity of multiplication in the number of mantissa bits. APFP computations on conventional software-based architectures are made exceedingly expensive by the lack of native hardware support, requiring elementary operations to be emulated using instructions operating on machine-word-sized blocks. In this work, we show how APFP multiplication on compile-time fixed-precision operands can be implemented as deep FPGA pipelines with a recursively defined Karatsuba decomposition on top of native DSP multiplication. When comparing our design implemented on an Alveo U250 accelerator to a dual-socket 36-core Xeon node running the GNU Multiple Precision Floating-Point Reliable (MPFR) library, we achieve a 9.8x speedup at 4.8 GOp/s for 512-bit multiplication, and a 5.3x speedup at 1.2 GOp/s for 1024-bit multiplication, corresponding to the throughput of more than 351x and 191x CPU cores, respectively. We apply this architecture to general matrix-matrix multiplication, yielding a 10x speedup at 2.0 GOp/s over the Xeon node, equivalent to more than 375x CPU cores, effectively allowing a single FPGA to replace a small CPU cluster. Due to the significant dependence of some numerical codes on APFP, such as semidefinite program solvers, we expect these gains to translate into real-world speedups. Our configurable and flexible HLS-based code provides as high-level software interface for plug-and-play acceleration, published as an open source project.


title: Physical layer security in large-scale random multiple access wireless sensor networks: a stochastic geometry approach

abstract: This paper investigates physical layer security for a large-scale WSN with random multiple access, where each fusion center in the network randomly schedules a number of sensors to upload their sensed data subject to the overhearing of randomly distributed eavesdroppers. We propose an uncoordinated random jamming scheme in which those unscheduled sensors send jamming signals with a certain probability to defeat the eavesdroppers. With the aid of stochastic geometry theory and order statistics, we derive analytical expressions for the connection outage probability and secrecy outage probability to characterize transmission reliability and secrecy, respectively. Based on the obtained analytical results, we formulate an optimization problem for maximizing the sum secrecy throughput subject to both reliability and secrecy constraints, considering a joint design of the wiretap code rates for each scheduled sensor and the jamming probability for the unscheduled sensors. We provide both optimal and low-complexity sub-optimal algorithms to tackle the above problem, and further reveal various properties on the optimal parameters which are useful to guide practical designs. In particular, we demonstrate that the proposed random jamming scheme is beneficial for improving the sum secrecy throughput, and the optimal jamming probability is the result of trade-off between secrecy and throughput. We also show that the throughput performance of the sub-optimal scheme approaches that of the optimal one when facing a stringent reliability constraint or a loose secrecy constraint.


title: Highly efficient exponential scalar auxiliary variable approaches with relaxation (RE-SAV) for gradient flows

abstract: For the past few years, scalar auxiliary variable (SAV) and SAV-type approaches became very hot and efficient methods to simulate various gradient flows. Inspired by the new SAV approach in \cite{huang2020highly}, we propose a novel technique to construct a new exponential scalar auxiliary variable (E-SAV) approach to construct high-order numerical energy stable schemes for gradient flows. To improve its accuracy and consistency noticeably, we propose an E-SAV approach with relaxation, which we named the relaxed E-SAV (RE-SAV) method for gradient flows. The RE-SAV approach preserves all the advantages of the traditional SAV approach. In addition, we do not need any the bounded-from-below assumptions for the free energy potential or nonlinear term. Besides, the first-order, second-order and higher-order unconditionally energy stable time-stepping schemes are easy to construct. Several numerical examples are provided to demonstrate the improved efficiency and accuracy of the proposed method.


title: Twin-in-the-loop state estimation for vehicle dynamics control: theory and experiments

abstract: In vehicle dynamics control, many variables of interest cannot be directly measured, as sensors might be costly, fragile, or even not available. Therefore, real-time estimation techniques need to be used. The previous approach suffers from two main drawbacks: (i) the approximations due to model mismatch might jeopardize the performance of the final estimation-based control; (ii) each new estimator requires the calibration from scratch of a dedicated model. In this paper, we propose a twin-in-the-loop scheme, where the ad-hoc model is replaced by an accurate multibody simulator of the vehicle, typically available to vehicles manufacturers and suitable for the estimation of any onboard variable, coupled with a compensator within a closed-loop observer scheme. Given the black-box nature of the digital twin, a data-driven methodology for observer tuning is developed, based on Bayesian optimization. The effectiveness of the proposed estimation method for the estimation of vehicle states and forces, as compared to traditional model-based Kalman filtering, is experimentally shown on a dataset collected with a sports car.


title: Self-critical Sequence Training for Automatic Speech Recognition

abstract: Although automatic speech recognition (ASR) task has gained remarkable success by sequence-to-sequence models, there are two main mismatches between its training and testing that might lead to performance degradation: 1) The typically used cross-entropy criterion aims to maximize log-likelihood of the training data, while the performance is evaluated by word error rate (WER), not log-likelihood; 2) The teacher-forcing method leads to the dependence on ground truth during training, which means that model has never been exposed to its own prediction before testing. In this paper, we propose an optimization method called self-critical sequence training (SCST) to make the training procedure much closer to the testing phase. As a reinforcement learning (RL) based method, SCST utilizes a customized reward function to associate the training criterion and WER. Furthermore, it removes the reliance on teacher-forcing and harmonizes the model with respect to its inference procedure. We conducted experiments on both clean and noisy speech datasets, and the results show that the proposed SCST respectively achieves 8.7% and 7.8% relative improvements over the baseline in terms of WER.


title: On Signs of Fourier Coefficients of Hecke-Maass Cusp Forms on $\mathrm{GL}_3$

abstract: We consider sign changes of Fourier coefficients of Hecke-Maass cusp forms for the group $\mathrm{SL}_3(\mathbb Z)$. When the underlying form is self-dual, we show that there are $\gg_\varepsilon X^{5/6-\varepsilon}$ sign changes among the coefficients $\{A(m,1)\}_{m\leq X}$ and that there is a positive proportion of sign changes for many self-dual forms. Similar result concerning the positive proportion of sign changes also hold for the real-valued coefficients $A(m,m)$ for generic $\mathrm{GL}_3$ cusp forms, a result which is based on a new effective Sato-Tate type theorem for a family of $\mathrm{GL}_3$ cusp forms we establish. In addition, non-vanishing of the Fourier coefficients is studied under the Ramanujan-Petersson conjecture.


title: Fishbone resonance structure in the attosecond transient absorption spectroscopy of graphene

abstract: We investigate the attosecond transient absorption spectroscopy (ATAS) of graphene by numerically solving four-band density-matrix equations, which demonstrates apparent fish bone resonance structures. To gain insight into these interesting structures, we exploit a simplified model that only considers the electrons of $\Gamma$ and M points in the Brillouin zone. With the help of this model, we can analytically express the ATAS spectrum as the sum of zeroth- and first-order Bessel functions in the variables of the strength and frequency of the infrared pump field as well as the effective mass of electrons at the $\Gamma$ and M points. Lorentzian and Fano line shapes in the absorption spectrum are addressed. The fish bone structure consists of periodic V-shaped structure that can be explained by first-order Bessel functions and its tilt angle is solely determined by the frequency of the pump laser. The periodicity of the V-shaped structure in the fish bone originates from the periodic dependence of the Lorentzian and Fano line shapes of the absorption spectrum on the time delay between the pump and probe lasers. Compared with the numerical results, our analytical theory can qualitatively or even quantitatively predict the zeroth- and first-order fringes in the fish bone structures of the ATAS spectrum. The gauge issues in the numerical simulations are also discussed.


title: Two particles interacting via a contact interaction on $S^2$

abstract: We consider two particles interacting via a contact interaction that are constrained to a sphere, or $S^2$. We determine their spectrum to arbitrary precision and for arbitrary angular momentum. We show how the non-inertial frame leads to non-trivial solutions for different angular momenta. Our results represent an extension of the finite-volume L\"uscher formulas but now to a non-trivial geometry. We apply our results to predict the spectrum of select two-nucleon halo nuclei and compare with experimental results.


title: Generalization Error Bounds for Multiclass Sparse Linear Classifiers

abstract: We consider high-dimensional multiclass classification by sparse multinomial logistic regression. Unlike binary classification, in the multiclass setup one can think about an entire spectrum of possible notions of sparsity associated with different structural assumptions on the regression coefficients matrix. We propose a computationally feasible feature selection procedure based on penalized maximum likelihood with convex penalties capturing a specific type of sparsity at hand. In particular, we consider global sparsity, double row-wise sparsity, and low-rank sparsity, and show that with the properly chosen tuning parameters the derived plug-in classifiers attain the minimax generalization error bounds (in terms of misclassification excess risk) within the corresponding classes of multiclass sparse linear classifiers. The developed approach is general and can be adapted to other types of sparsity as well.


title: Optimal Intermittent Particle Filter

abstract: The problem of the optimal allocation (in the expected mean square error sense) of a measurement budget for particle filtering is addressed. We propose three different optimal intermittent filters, whose optimality criteria depend on the information available at the time of decision making. For the first, the stochastic program filter, the measurement times are given by a policy that determines whether a measurement should be taken based on the measurements already acquired. The second, called the offline filter, determines all measurement times at once by solving a combinatorial optimization program before any measurement acquisition. For the third one, which we call online filter, each time a new measurement is received, the next measurement time is recomputed to take all the information that is then available into account. We prove that in terms of expected mean square error, the stochastic program filter outperforms the online filter, which itself outperforms the offline filter. However, these filters are generally intractable. For this reason, the filter estimate is approximated by a particle filter. Moreover, the mean square error is approximated using a Monte-Carlo approach, and different optimization algorithms are compared to approximately solve the combinatorial programs (a random trial algorithm, greedy forward and backward algorithms, a simulated annealing algorithm, and a genetic algorithm). Finally, the performance of the proposed methods is illustrated on two examples: a tumor motion model and a common benchmark for particle filtering.


title: Power-law Spectrum of Energetic Particles in Classical Thermal Equilibrium by Pitch-angle Scattering Process

abstract: The Boltzmann-Gibbs thermodynamic equilibrium state of charged particles pitch-angle scattered by weak plasma waves is discussed. Degrees of freedom of these waves play a fundamental role in constructing the grand canonical ensemble. Via the gyro-resonance condition, fast particles have an inverse break power-law spectrum for $ \varepsilon -\mu \ll T $, where $ \varepsilon $ is the particle energy, $ \mu $ is the chemical potential, $ T $ is the temperature. The break energies are the rest energy and $ -\mu $. For $ \varepsilon \ll -\mu \ll T $, the energy spectral index $ \alpha $ is $ \delta /2+1 $ and $ \delta +1 $ for non- and ultra-relativistic particles, respectively, with $ \delta $ an effective fractal dimension of background magnetic field lines. The spectral index for $ -\mu \ll \varepsilon \ll T $ is $ \alpha +1 $. This thermal equilibrium scenario, combined with the leaky-box model and cosmic-ray observations, seems to suggest that the Galactic magnetic field is super-diffusive with $ \delta \approx 1.4 $.


title: Hyperelliptic functions and motion in general relativity

abstract: Analysis of black hole spacetimes requires study of the motion of particles and light in these spacetimes. Here exact solutions of the geodesic equations are the means of choice. Numerous interesting black hole spacetimes have been analyzed in terms of elliptic functions. However, the presence of a cosmological constant, higher dimensions or alternative gravity theories often necessitate an analysis in terms of hyperelliptic functions. Here we review the method and current status for solving the geodesic equations for the general hyperelliptic case, illustrating it with set a of examples of genus $g=2$.


title: Gravitational Response of Topological Quantum States of Matter

abstract: Identifying novel topological properties of topological quantum states of matter, such as exemplified by the quantized Hall conductance, is a valuable step towards realizing materials with attractive topological attributes that guarantee their imperviousness to realistic imperfections, disorder and environmental disturbances. Is the gravitational coupling coefficient of topological quantum states of matter a promising candidate? Substantially building on well established results for quantum Hall states, using disclinations as tools for controlled creation of pristine spatial curvature free of undesirable artifacts such as would interfere with the electronic motion of interest, herein we report that a large class of lattice topological states of matter exhibit gravitational response, i.e., charge response to intrinsic spatial curvature. This phenomenon is characterized by a topologically quantized coupling constant. Remarkably, the charge-gravity relationship remains linear in the curvature, up to the maximum curvature achievable on the lattice, demonstrating absence of higher order nonlinear response. Our findings facilitate articulating the physical principles underlying the topological quantization of the gravitational coupling constant, in analogy with the insights offered by the Chern number description of the quantized Hall conductance.


title: Emergent Edge Modes in Shifted Quasi-One-Dimensional Charge Density Waves

abstract: We propose and study a two-dimensional (2D) phase of shifted charge density waves (CDW), which is constructed from an array of weakly coupled 1D CDW wires whose phases shift from one wire to the next. We show that the fully gapped bulk CDW has topological properties, characterized by a nonzero Chern number, that imply edge modes within the bulk gap. Remarkably, these edge modes exhibit spectral pseudo-flow as a function of \emph{position} along the edge, and are thus dual to the chiral edge modes of Chern insulators with their spectral flow in \emph{momentum} space. Furthermore, we show that the CDW edge modes are stable against inter-wire coupling. Our predictions can be tested experimentally in quasi-1D CDW compounds such as Ta$_2$Se$_8$I.


title: Utilizing variational autoencoders in the Bayesian inverse problem of photoacoustic tomography

abstract: There has been an increasing interest in utilizing machine learning methods in inverse problems and imaging. Most of the work has, however, concentrated on image reconstruction problems, and the number of studies regarding the full solution of the inverse problem is limited. In this work, we study a machine learning based approach for the Bayesian inverse problem of photoacoustic tomography. We develop an approach for estimating the posterior distribution in photoacoustic tomography using an approach based on the variational autoencoder. The approach is evaluated with numerical simulations and compared to the solution of the inverse problem using a Bayesian approach.


title: TangoBERT: Reducing Inference Cost by using Cascaded Architecture

abstract: The remarkable success of large transformer-based models such as BERT, RoBERTa and XLNet in many NLP tasks comes with a large increase in monetary and environmental cost due to their high computational load and energy consumption. In order to reduce this computational load in inference time, we present TangoBERT, a cascaded model architecture in which instances are first processed by an efficient but less accurate first tier model, and only part of those instances are additionally processed by a less efficient but more accurate second tier model. The decision of whether to apply the second tier model is based on a confidence score produced by the first tier model. Our simple method has several appealing practical advantages compared to standard cascading approaches based on multi-layered transformer models. First, it enables higher speedup gains (average lower latency). Second, it takes advantage of batch size optimization for cascading, which increases the relative inference cost reductions. We report TangoBERT inference CPU speedup on four text classification GLUE tasks and on one reading comprehension task. Experimental results show that TangoBERT outperforms efficient early exit baseline models; on the the SST-2 task, it achieves an accuracy of 93.9% with a CPU speedup of 8.2x.


title: 3D-SPS: Single-Stage 3D Visual Grounding via Referred Point Progressive Selection

abstract: 3D visual grounding aims to locate the referred target object in 3D point cloud scenes according to a free-form language description. Previous methods mostly follow a two-stage paradigm, i.e., language-irrelevant detection and cross-modal matching, which is limited by the isolated architecture. In such a paradigm, the detector needs to sample keypoints from raw point clouds due to the inherent properties of 3D point clouds (irregular and large-scale), to generate the corresponding object proposal for each keypoint. However, sparse proposals may leave out the target in detection, while dense proposals may confuse the matching model. Moreover, the language-irrelevant detection stage can only sample a small proportion of keypoints on the target, deteriorating the target prediction. In this paper, we propose a 3D Single-Stage Referred Point Progressive Selection (3D-SPS) method, which progressively selects keypoints with the guidance of language and directly locates the target. Specifically, we propose a Description-aware Keypoint Sampling (DKS) module to coarsely focus on the points of language-relevant objects, which are significant clues for grounding. Besides, we devise a Target-oriented Progressive Mining (TPM) module to finely concentrate on the points of the target, which is enabled by progressive intra-modal relation modeling and inter-modal target mining. 3D-SPS bridges the gap between detection and matching in the 3D visual grounding task, localizing the target at a single stage. Experiments demonstrate that 3D-SPS achieves state-of-the-art performance on both ScanRefer and Nr3D/Sr3D datasets.


title: Towards A Critical Evaluation of Robustness for Deep Learning Backdoor Countermeasures

abstract: Since Deep Learning (DL) backdoor attacks have been revealed as one of the most insidious adversarial attacks, a number of countermeasures have been developed with certain assumptions defined in their respective threat models. However, the robustness of these countermeasures is inadvertently ignored, which can introduce severe consequences, e.g., a countermeasure can be misused and result in a false implication of backdoor detection. For the first time, we critically examine the robustness of existing backdoor countermeasures with an initial focus on three influential model-inspection ones that are Neural Cleanse (S&P'19), ABS (CCS'19), and MNTD (S&P'21). Although the three countermeasures claim that they work well under their respective threat models, they have inherent unexplored non-robust cases depending on factors such as given tasks, model architectures, datasets, and defense hyper-parameter, which are \textit{not even rooted from delicate adaptive attacks}. We demonstrate how to trivially bypass them aligned with their respective threat models by simply varying aforementioned factors. Particularly, for each defense, formal proofs or empirical studies are used to reveal its two non-robust cases where it is not as robust as it claims or expects, especially the recent MNTD. This work highlights the necessity of thoroughly evaluating the robustness of backdoor countermeasures to avoid their misleading security implications in unknown non-robust cases.


title: Overparameterized Linear Regression under Adversarial Attacks

abstract: We study the error of linear regression in the face of adversarial attacks. In this framework, an adversary changes the input to the regression model in order to maximize the prediction error. We provide bounds on the prediction error in the presence of an adversary as a function of the parameter norm and the error in the absence of such an adversary. We show how these bounds make it possible to study the adversarial error using analysis from non-adversarial setups. The obtained results shed light on the robustness of overparameterized linear models to adversarial attacks. Adding features might be either a source of additional robustness or brittleness. On the one hand, we use asymptotic results to illustrate how double-descent curves can be obtained for the adversarial error. On the other hand, we derive conditions under which the adversarial error can grow to infinity as more features are added, while at the same time, the test error goes to zero. We show this behavior is caused by the fact that the norm of the parameter vector grows with the number of features. It is also established that $\ell_\infty$ and $\ell_2$-adversarial attacks might behave fundamentally differently due to how the $\ell_1$ and $\ell_2$-norms of random projections concentrate. We also show how our reformulation allows for solving adversarial training as a convex optimization problem. This fact is then exploited to establish similarities between adversarial training and parameter-shrinking methods and to study how the training might affect the robustness of the estimated models.

categories: stat.ML cs.CR cs.LG eess.SP math.ST stat.TH


title: Assessing cloudiness in nonwovens

abstract: The homogeneity of filter media is important for material selection and quality control, along with the specific weight (nominal grammage) and the distribution of the local weight. Cloudiness or formation is a concept used to describe deviations from homogeneity in filter media. We suggest to derive the cloudiness index from the power spectrum of the relative local areal weight, integrated over a selected frequency range. The power spectrum captures the energy density in a broad spectral range. Moreover, under certain conditions, the structure of a nonwoven is fully characterized by the areal weight, the variance of the local areal weight, and the power spectrum. Consequently, the power spectrum is the parameter that exclusively reflects the cloudiness. Here, we address questions arising from practical application. The most prominent is the choice of the spectral band. It certainly depends on the characteristic "size of the clouds", but is limited by the size and lateral resolution of the images. We show that the cloudiness index based on the power spectrum of the relative local areal weight is theoretically well founded and can be robustly measured from image data. Choosing the spectral band allows to capture the cloudiness either visually perceived or found to be decisive for product properties. It is thus well suited to build a technical standard on it.


title: Anomalous diffusion originated by two Markovian hopping-trap mechanisms

abstract: We show through intensive simulations that the paradigmatic features of anomalous diffusion are indeed the features of a (continuous-time) random walk driven by two different Markovian hopping-trap mechanisms. If $p \in (0,1/2)$ and $1-p$ are the probabilities of occurrence of each Markovian mechanism, then the anomalousness parameter $\beta \in (0,1)$ results to be $\beta \simeq 1 - 1/\{1 + \log[(1-p)/p]\}$. Ensemble and single-particle observables of this model have been studied and they match the main characteristics of anomalous diffusion as they are typically measured in living systems. In particular, the celebrated transition of the walker's distribution from exponential to stretched-exponential and finally to Gaussian distribution is displayed by including also the Brownian yet non-Gaussian interval.


title: Edge Labelled Graphs and Property Graphs; a comparison from the user perspective

abstract: This study compares participant acceptance of the property graph and edge-labelled graph paradigms, as represented by Cypher and the proposed extensions to the W3C standards, RDF* and SPARQL*. In general, modelling preferences are consistent across the two paradigms. When presented with location information, participants preferred to create nodes to represent cities, rather than use metadata; although the preference was less marked for Cypher. In Cypher, participants showed little difference in preference between representing dates or population size as nodes. In RDF*, this choice was not necessary since both could be represented as literals. However, there was a significant preference for using the date as metadata to describe a triple containing population size, rather than vice versa. There was no significant difference overall in accuracy of interpretation of queries in the two paradigms; although in one specific case, the use of a reverse arrow in Cypher was interpreted significantly more accurately than the ^ symbol in SPARQL. Based on our results and on the comments of participants, we make some recommendations for modellers. Techniques for reifing RDF have attracted a great deal of research. Recently, a hybrid approach, employing some of the features of property graphs, has claimed to offer an improved technique for RDF reification. Query-time reasoning is also a requirement which has prompted a number of proposed extensions to SPARQL and which is only possible to a limited extent in the property graph paradigm. Another recent development, the hypergraph paradigm enables more powerful query-time reasoning. There is a need for more research into the user acceptance of these various more powerful approaches to modelling and querying. Such research should take account of complex modelling situations.