
Although mobile ad frauds have been widespread, stateoftheart approaches
in the literature have mainly focused on detecting the socalled static
placement frauds, where only a single UI state is involved and can be
identified based on static information such as the size or location of ad
views. Other types of fraud exist that involve multiple UI states and are
performed dynamically while users interact with the app. Such dynamic
interaction frauds, although now widely spread in apps, have not yet been
explored nor addressed in the literature. In this work, we investigate a wide
range of mobile ad frauds to provide a comprehensive taxonomy to the research
community. We then propose, FraudDroid, a novel hybrid approach to detect ad
frauds in mobile Android apps. FraudDroid analyses apps dynamically to build UI
state transition graphs and collects their associated runtime network traffics,
which are then leveraged to check against a set of heuristicbased rules for
identifying ad fraudulent behaviours. We show empirically that FraudDroid
detects ad frauds with a high precision (93%) and recall (92%). Experimental
results further show that FraudDroid is capable of detecting ad frauds across
the spectrum of fraud types. By analysing 12,000 adsupported Android apps,
FraudDroid identified 335 cases of fraud associated with 20 ad networks that
are further confirmed to be true positive results and are shared with our
fellow researchers to promote advanced ad fraud detection

The validity of impact parameter estimation from the multiplicity of charged
particles at lowintermediate energies is checked within the framework of ImQMD
model. The simulations show that the multiplicity of charged particles cannot
estimate the impact parameter of heavy ion collisions very well, especially for
central collisions at the beam energies lower than $\sim$70 MeV/u due to the
large fluctuations of the multiplicity of charged particles. The simulation
results for the central collisions defined by the charged particle multiplicity
are compared to those by using impact parameter b=2 fm and it shows that the
charge distribution for $^{112}$Sn +$^{112}$Sn at 50 MeV/u is different
evidently for two cases; and the chosen isospin sensitive observable, the
coalescence invariant single neutron to proton yield ratio, reduces less than
15\% for neutronrich systems $^{124,132}$Sn +$^{124}$Sn at $E_{beam}$=50
MeV/u, while the coalescence invariant double neutron to proton yield ratio
does not have obvious difference. The sensitivity of the chosen isospin
sensitive observables to effective mass splitting is studied for central
collisions defined by the multiplicity of charged particles. Our results show
that the sensitivity is enhanced for $^{132}$Sn+$^{124}$Sn relative to that for
$^{124}$Sn+$^{124}$Sn, and this reaction system should be measured in future
experiments to study the effective mass splitting by heavy ion collisions.

Availability of large amount of clinical data is opening up new research
avenues in a number of fields. An exciting field in this respect is healthcare,
where secondary use of healthcare data is beginning to revolutionize
healthcare. Except for availability of Big Data, both medical data from
healthcare institutions (such as EMR data) and data generated from health and
wellbeing devices (such as personal trackers), a significant contribution to
this trend is also being made by recent advances on machine learning,
specifically deep learning algorithms.

In general, there are two kinds of cooperative driving strategies, planning
based strategy and ad hoc negotiation based strategy, for connected and
automated vehicles (CAVs) merging problems. The planning based strategy aims to
find the global optimal passing order, but it is timeconsuming when the number
of considered vehicles is large. In contrast, the ad hoc negotiation based
strategy runs fast, but it always finds a local optimal solution. In this
paper, we propose a grouping based cooperative driving strategy to make a good
tradeoff between time consumption and coordination performance. The key idea is
to fix the passing orders for some vehicles whose intervehicle headways are
small enough (e.g., smaller than the preselected grouping threshold). From the
viewpoint of optimization, this method reduces the size of the solution space.
A brief analysis shows that the suboptimal passing order found by the grouping
based strategy has a high probability to be close to the global optimal passing
order, if the grouping threshold is appropriately chosen. A series of
simulation experiments are carried out to validate that the proposed strategy
can yield a satisfied coordination performance with less time consumption and
is promising to be used in practice.

We introduce a new class of algebraic varieties which we call frieze
varieties. Each frieze variety is determined by an acyclic quiver. The frieze
variety is defined in an elementary recursive way by constructing a set of
points in affine space. From a more conceptual viewpoint, the coordinates of
these points are specializations of cluster variables in the cluster algebra
associated to the quiver.
We give a new characterization of the finitetamewild trichotomy for
acyclic quivers in terms of their frieze varieties. We show that an acyclic
quiver is representation finite, tame, or wild, respectively, if and only if
the dimension of its frieze variety is $0,1$, or $\ge2$, respectively.

Improving the phase resolution of interferometry is crucial for
highprecision measurements of various physical quantities. Systematic phase
errors dominate the phase uncertainties in most realistic optical
interferometers. Here we propose and experimentally demonstrate a weak
measurement scheme to considerably suppress the phase uncertainties by the
direct amplification of phase shift in optical interferometry. Given an initial
ultrasmall phase shift between orthogonal polarization states, we observe the
phase amplification effect with a factor of 388. Our weak measurement scheme
provides a practical approach to significantly improve the interferometric
phase resolution, which is favorable for precision measurement applications.

Deep learning defines a new datadriven programming paradigm that constructs
the internal system logic of a crafted neuron network through a set of training
data. Deep learning (DL) has been widely adopted in many safetycritical
scenarios. However, a plethora of studies have shown that the stateoftheart
DL systems suffer from various vulnerabilities which can lead to severe
consequences when applied to realworld applications. Currently, the robustness
of a DL system against adversarial attacks is usually measured by the accuracy
of test data. Considering the limitation of accessible test data, good
performance on test data can hardly guarantee the robustness and generality of
DL systems. Different from traditional software systems which have clear and
controllable logic and functionality, a DL system is trained with data and
lacks thorough understanding. This makes it difficult for system analysis and
defect detection, which could potentially hinder its realworld deployment
without safety guarantees. In this paper, we propose DeepGauge, a comprehensive
and multigranularity testing criteria for DL systems, which renders a complete
and multifaceted portrayal of the testbed. The indepth evaluation of our
proposed testing criteria is demonstrated on two wellknown datasets, five DL
systems, with four stateoftheart adversarial data generation techniques. The
effectiveness of DeepGauge sheds light on the construction of robust DL
systems.

We examine transport in a holographic model in which the dynamics of the
charged degrees of freedom is described by the nonlinear DiracBornInfeld
(DBI) action. Axionic scalar fields are included to break translational
invariance and generate momentum dissipation in the system. Scaling exponents
are introduced by using geometries which are nonrelativistic and
hyperscalingviolating in the infrared. In the probe DBI limit the theory
reproduces the anomalous temperature dependence of the resistivity and Hall
angle of the cuprate strange metals, $\rho \sim T$ and $\cot\Theta_H \sim T^2$.
These scaling laws would not be present without the nonlinear dynamics encoded
by the DBI interactions. We further show that because of its richness the DBI
theory supports a wide spectrum of temperature scalings. This model provides
explicit examples in which transport is controlled by different relaxation
times. On the other hand, when only one quantity sets the temperature scale of
the system, the Hall angle and conductivity typically exhibit the same
temperature behavior. We illustrate this point using new fully backreacted
analytical dyonic black brane solutions.

We introduce tensor field networks, which are locally equivariant to 3D
rotations, translations, and permutations of points at every layer. 3D rotation
equivariance removes the need for data augmentation to identify features in
arbitrary orientations. Our network uses filters built from spherical
harmonics; due to the mathematical consequences of this filter choice, each
layer accepts as input (and guarantees as output) scalars, vectors, and
higherorder tensors, in the geometric sense of these terms. We demonstrate how
tensor field networks learn to model simple physics (Newtonian gravitation and
moment of inertia), classify simple 3D shapes (trained on one orientation and
tested on shapes in arbitrary orientations), and, given a small organic
molecule with an atom removed, replace the correct element at the correct
location in space.

We initiate the study on chemical distances of percolation clusters for level
sets of twodimensional discrete Gaussian free fields as well as loop clusters
generated by twodimensional random walk loop soups. One of our results states
that the chemical distance between two macroscopic annuli away from the
boundary for the random walk loop soup at the critical intensity is of
dimension 1 with positive probability. Our proof method is based on an
interesting combination of a theorem of Makarov, isomorphism theory and an
entropic repulsion estimate for Gaussian free fields in the presence of a hard
wall.

In this paper we propose the notion of cluster superalgebras which is a
supersymmetric version of the classical cluster algebras introduced by Fomin
and Zelevinsky. We show that the symplecticorthogonal supergroup $SpO(21)$
admits a cluster superalgebra structure and as a consequence of this, we deduce
that the supercommutative superalgebra generated by all the entries of a
superfrieze is a subalgebra of a cluster superalgebra. We also show that the
coordinate superalgebra of the super Grassmannian $G(20; 41)$ of chiral
conformal superspace (that is, $(20)$ planes inside the superspace $\mathbb
C^{41}$) is a quotient of a cluster superalgebra.

Understanding decoherence processes is crucial in the study of open quantum
systems. In this paper, we discuss the mechanism of puredephasing process with
a newly proposed bosonboson model, namely, a bosonic field coupled to another
bosonic bath in thermal equilibrium. Our model is fully solvable and can
reproduce the puredephasing process which is usually described by the
wellknown spinboson model, therefore offering a new perspective to
understanding decoherence processes in open quantum systems of high dimension.
We also show that this model admits a generically nonMarkovian dynamics with
respect to various different nonMarkovian measures.

Markovian approximation is a widelyemployed idea in descriptions of the
dynamics of open quantum systems (OQSs). Although it is usually claimed to be a
concept inspired by classical Markovianity, the term quantum Markovianity is
used inconsistently and often unrigorously in the literature. In this report we
compare the descriptions of classical stochastic processes and quantum
stochastic processes (as arising in OQSs), and show that there are inherent
differences that lead to the nontrivial problem of characterizing quantum
nonMarkovianity. Rather than proposing a single definition of quantum
Markovianity, we study a host of Markovrelated concepts in the quantum regime.
Some of these concepts have long been used in quantum theory, such as quantum
white noise, factorization approximation, divisibility, Lindblad master
equation, etc.. Others are first proposed in this report, including those we
call pastfuture independence, no (quantum) information backflow, and
composability. All of these concepts are defined under a unified framework,
which allows us to rigorously build hierarchy relations among them. With
various examples, we argue that the current most often used definitions of
quantum Markovianity in the literature do not fully capture the memoryless
property of OQSs. In fact, quantum nonMarkovianity is highly
contextdependent. The results in this report, summarized as a hierarchy
figure, bring clarity to the nature of quantum nonMarkovianity.

Topological data analysis offers a robust way to extract useful information
from noisy, unstructured data by identifying its underlying structure.
Recently, an efficient quantum algorithm was proposed [Lloyd, Garnerone,
Zanardi, Nat. Commun. 7, 10138 (2016)] for calculating Betti numbers of data
points  topological features that count the number of topological holes of
various dimensions in a scatterplot. Here, we implement a proofofprinciple
demonstration of this quantum algorithm by employing a sixphoton quantum
processor to successfully analyze the topological features of Betti numbers of
a network including three data points, providing new insights into data
analysis in the era of quantum computing.

Measurementdeviceindependent quantum key distribution (MDIQKD) protocol
was proposed to remove all the detector side channel attacks, while its
security relies on the trusted encoding systems. Here we propose a onesided
MDIQKD (1SMDIQKD) protocol, which enjoys detection loopholefree advantage,
and at the same time weakens the state preparation assumption in MDIQKD. The
1SMDIQKD can be regarded as a modified MDIQKD, in which Bob's encoding system
is trusted, while Alice's is uncharacterized. For the practical implementation,
we also provide a scheme by utilizing coherent light source with an analytical
two decoy state estimation method. Simulation with realistic experimental
parameters shows that the protocol has a promising performance, and thus can be
applied to practical QKD applications.

We perform decoystate quantum key distribution between a lowEarthorbit
satellite and multiple ground stations located in Xinglong, Nanshan, and Graz,
which establish satellitetoground secure keys with ~kHz rate per passage of
the satellite Micius over a ground station. The satellite thus establishes a
secure key between itself and, say, Xinglong, and another key between itself
and, say, Graz. Then, upon request from the ground command, Micius acts as a
trusted relay. It performs bitwise exclusive OR operations between the two keys
and relays the result to one of the ground stations. That way, a secret key is
created between China and Europe at locations separated by 7600 km on Earth.
These keys are then used for intercontinental quantumsecured communication.
This was on the one hand the transmission of images in a onetime pad
configuration from China to Austria as well as from Austria to China. Also, a
videoconference was performed between the Austrian Academy of Sciences and the
Chinese Academy of Sciences, which also included a 280 km optical ground
connection between Xinglong and Beijing. Our work points towards an efficient
solution for an ultralongdistance global quantum network, laying the
groundwork for a future quantum internet.

A central theme in quantum information science is to coherently control an
increasing number of quantum particles as well as their internal and external
degrees of freedom (DoFs), meanwhile maintaining a high level of coherence. The
ability to create and verify multiparticle entanglement with individual control
and measurement of each qubit serves as an important benchmark for quantum
technologies. To this end, genuine multipartite entanglement have been reported
up to 14 trapped ions, 10 photons, and 10 superconducting qubits. Here, we
experimentally demonstrate an 18qubit GreenbergerHorneZeilinger (GHZ)
entanglement by simultaneous exploiting three different DoFs of six photons,
including their paths, polarization, and orbital angular momentum (OAM). We
develop highstability interferometers for reversible quantum logic operations
between the photon's different DoFs with precision and efficiencies close to
unity, enabling simultaneous readout of 262,144 outcome combinations of the
18qubit state. A state fidelity of 0.708(16) is measured, confirming the
genuine entanglement of all the 18 qubits.

In order to prevent velocity, pressure, and temperature spikes at material
discontinuities occurring when the interfacecapturing schemes inconsistently
simulate compressible multimaterial flows(when the specific heats ratio is
variable),various nonconservative or quasiconservative numerical models have
been proposed. However, designing a consistent numerical algorithm, especially
using the highorder characteristic fluxsplit based finitedifference method
(CFSFDM) is still an open question. In this study, a systematical analysis of
previous algorithms of the consistent implementing the highorder CFSFDM for
such flows is performed, and the reasons of special treatments in these
algorithms are revealed. Based on this analysis, a new general numerical
methodology that successfully avoids any special treatments as those required
in previously reported algorithms, is derived. In this new algorithm, we
rewrite the nonconservative term as a conservative term with a source term
containing velocity divergence. By consistently treating the advection velocity
in the conservative term and velocity divergence in the source term by imposing
a new additional criterion, specifically, that a multifluid algorithm should
have the ability of maintaining a pure singlefluid, we finally derive a new
general algorithm that does not need any special treatment, and is very
convenient to implement. The results of some benchmark tests show that the
final algorithm not only maintains the velocity, pressure, and temperature
equlibria, but is also suitable for problems regarding the interaction of
interfaces and strong shock and rarefaction waves.

The $(n,k)$star graphs are an important class of interconnection networks
that generalize star graphs, which are superior to hypercubes. In this paper,
we continue the work begun by Cheng et al.~(Graphs and Combinatorics 2017) and
complete the classification of all the $(n,k)$star graphs that are Cayley.

We examine magnetotransport in a holographic DiracBornInfeld model, taking
into account the effects of backreaction on the geometry. The theory we
consider includes axionic scalars, introduced to break translational symmetry
and generate momentum dissipation. The generic structure of the DC conductivity
matrix for these theories is extremely rich, and is significantly more complex
than that obtained in the probe approximation. We find new classes of black
brane solutions, including geometries that exhibit Lifshitz scaling and
hyperscaling violation, and examine their implications on the transport
properties of the system. Depending on the choice of theory parameters, these
backgrounds can lead to metallic or insulating behavior. Negative
magnetoresistance is observed in a family of dynoic solutions. Some of the new
backreacted geometries also support magneticfieldinduced metalinsulator
transitions.

We present a minimal bottomup extension of the ChernSimons bulk action for
holographic translational symmetry breaking that naturally gives rise to pair
density waves. We construct stationary inhomogeneous black hole solutions in
which both the U(1) symmetry and spatially translational symmetry are
spontaneously broken at finite temperature and charge density. This novel
solution provides a dual description of a superconducting phase intertwined
with charge, current and parity orders.

In the membrane paradigm of black holes, it is usually assumed that the
normal vector of the stretched horizon has a vanishing acceleration. This
assumption breaks down for black bottles, a class of solutions discovered
recently in the asymptotically antide Sitter spacetime. In this paper, the
membrane paradigm is generalized to the stretched horizon with a nonvanishing
acceleration of normal vector, and then it is applied to the static black
bottle. In this example, the membrane stress tensor and the fluid quantities
are similar to those of black holes, while the fluid continuity equation and
the NavierStokes equation are well satisfied in the nearhorizon limit.

Stochastic principal component analysis (SPCA) has become a popular
dimensionality reduction strategy for large, highdimensional datasets. We
derive a simplified algorithm, called Lazy SPCA, which has reduced
computational complexity and is better suited for largescale distributed
computation. We prove that SPCA and Lazy SPCA find the same approximations to
the principal subspace, and that the pairwise distances between samples in the
lowerdimensional space is invariant to whether SPCA is executed lazily or not.
Empirical studies find downstream predictive performance to be identical for
both methods, and superior to random projections, across a range of predictive
models (linear regression, logistic lasso, and random forests). In our largest
experiment with 4.6 million samples, Lazy SPCA reduced 43.7 hours of
computation to 9.9 hours. Overall, Lazy SPCA relies exclusively on matrix
multiplications, besides an operation on a small square matrix whose size
depends only on the target dimensionality.

We present a growing collection of Android apps collected from several
sources, including the official Google Play app market and a growing collection
of various metadata of those collected apps aiming at facilitating the
Androidrelevant research works. Our dataset by far has collected over five
million apps and over 20 types of metadata such as VirusTotal reports. Our
objective of collecting this dataset is to contribute to ongoing research
efforts, as well as to enable new potential research topics on Android Apps. By
releasing our app and metadata set to the research community, we also aim at
encouraging our fellow researchers to engage in reproducible experiments.
This article will be continuously updated based on the growing apps and
metadata collected in the AndroZoo project. If you have specific metadata that
you want to collect from AndroZoo and which are not yet provided by far, please
let us know. We will thereby prioritise it in our collecting process so as to
provide it to our fellow researchers in a short manner.

In this work, we derive a equivalent delayDoppler channel matrix of the
Orthogonal Time Frequency Space (OTFS) modulation that has not been studied in
previous literature. It has the similar structure as the banded channel matrix
of OFDM systems over rapidly timevarying channels. However, the band in the
equivalent channel matrix will no longer spread with the increase of the
Doppler spread once the length of maximum channel delay spread and the OTFS
frame duration are deter mined. Furthermore, the equivalent channel matrix can
simplify the OTFS modulation in the transmitter side. Incorporating the
equivalent channel matrix, we propose a simple twostage equal izer in 1
dimensional operations for OTFS modulation. First, the receive signal is
equalized using the conventional OFDM single tap equalizer in the frequency
domain. The multipath effects can be removed. In the second stage, another low
complexity delay Doppler domain equalizer is employed to eliminate the effects
of the residual interference caused by the Doppler spread with the equivalent
channel matrix. The simulation results demonstrate that the proposed method is
superior to the conventional single tap equalizer and full minimum mean
squared error (MMSE) equalizer of OFDM systems in terms of BER in high Doppler
spread scenarios.