title: A Survey on Fundamental Limits of Integrated Sensing and Communication

abstract: The integrated sensing and communication (ISAC), in which the sensing and communication share the same frequency band and hardware, has emerged as a key technology in future wireless systems. Early works on ISAC have been focused on the design, analysis and optimization of practical ISAC technologies for various ISAC systems. While this line of works are necessary, it is equally important to study the fundamental limits of ISAC in order to understand the gap between the current state-of-the-art technologies and the performance limits, and provide useful insights and guidance for the development of better ISAC technologies that can approach the performance limits. In this paper, we aim to provide a comprehensive survey for the current research progress on the fundamental limits of ISAC. Particularly, we first propose a systematic classification method for both traditional radio sensing (such as radar sensing and wireless localization) and ISAC so that they can be naturally incorporated into a unified framework. Then we summarize the major performance metrics and bounds used in sensing, communications and ISAC, respectively. After that, we present the current research progresses on fundamental limits of each class of the traditional sensing and ISAC systems. Finally, the open problems and future research directions are discussed.


title: Lackadaisical quantum walks on 2D grids with multiple marked vertices

abstract: Lackadaisical quantum walk (LQW) is a quantum analog of a classical lazy walk, where each vertex has a self-loop of weight $l$. For a regular $\sqrt{N}\times\sqrt{N}$ 2D grid LQW can find a single marked vertex with $O(1)$ probability in $O(\sqrt{N\log N})$ steps using $l = d/N$, where $d$ is the degree of the vertices of the grid. For multiple marked vertices, however, $l = d/N$ is not optimal as the success probability decreases with the increase of the number of marked vertices. In this paper, we numerically study search by LQW for different types of 2D grids -- triangular, rectangular and honeycomb -- with multiple marked vertices. We show that in all cases the weight $l = m\cdot d/N$, where $m$ is the number of marked vertices, still leads to $O(1)$ success probability.


title: Spectral Analysis of Dirac Operators with delta interactions supported on the boundaries of rough domains

abstract: Given an open set $\Omega\subset\mathbb{R}^3$. We deal with the spectral study of Dirac operators of the form $H_{a,\tau}=H+A_{a,\tau}\delta_{\partial\Omega}$, where $H$ is the free Dirac operator in $\mathbb{R}^3$, $A_{a,\tau}$ is a bounded invertible, self-adjoint operator in $\mathit{L}^{2}(\partial\Omega)^4$, depending on parameters $(a,\tau)\in\mathbb{R}\times\mathbb{R}^n$, $n\geqslant1$. We investigate the self-adjointness and the related spectral properties of $H_{a,\tau}$, such as the phenomenon of confinement and the Sobolev regularity of the domain in different situations. Our set of techniques, which is based on fundamental solutions and layer potentials, allows us to tackle the above problems under mild geometric measure theoretic assumptions on $\Omega$.


title: Evaluating Deep Neural Networks Trained on Clinical Images in Dermatology with the Fitzpatrick 17k Dataset

abstract: How does the accuracy of deep neural network models trained to classify clinical images of skin conditions vary across skin color? While recent studies demonstrate computer vision models can serve as a useful decision support tool in healthcare and provide dermatologist-level classification on a number of specific tasks, darker skin is underrepresented in the data. Most publicly available data sets do not include Fitzpatrick skin type labels. We annotate 16,577 clinical images sourced from two dermatology atlases with Fitzpatrick skin type labels and open-source these annotations. Based on these labels, we find that there are significantly more images of light skin types than dark skin types in this dataset. We train a deep neural network model to classify 114 skin conditions and find that the model is most accurate on skin types similar to those it was trained on. In addition, we evaluate how an algorithmic approach to identifying skin tones, individual typology angle, compares with Fitzpatrick skin type labels annotated by a team of human labelers.


title: GENESIS-V2: Inferring Unordered Object Representations without Iterative Refinement

abstract: Advances in unsupervised learning of object-representations have culminated in the development of a broad range of methods for unsupervised object segmentation and interpretable object-centric scene generation. These methods, however, are limited to simulated and real-world datasets with limited visual complexity. Moreover, object representations are often inferred using RNNs which do not scale well to large images or iterative refinement which avoids imposing an unnatural ordering on objects in an image but requires the a priori initialisation of a fixed number of object representations. In contrast to established paradigms, this work proposes an embedding-based approach in which embeddings of pixels are clustered in a differentiable fashion using a stochastic stick-breaking process. Similar to iterative refinement, this clustering procedure also leads to randomly ordered object representations, but without the need of initialising a fixed number of clusters a priori. This is used to develop a new model, GENESIS-v2, which can infer a variable number of object representations without using RNNs or iterative refinement. We show that GENESIS-v2 performs strongly in comparison to recent baselines in terms of unsupervised image segmentation and object-centric scene generation on established synthetic datasets as well as more complex real-world datasets.


title: Identifying Driver Interactions via Conditional Behavior Prediction

abstract: Interactive driving scenarios, such as lane changes, merges and unprotected turns, are some of the most challenging situations for autonomous driving. Planning in interactive scenarios requires accurately modeling the reactions of other agents to different future actions of the ego agent. We develop end-to-end models for conditional behavior prediction (CBP) that take as an input a query future trajectory for an ego-agent, and predict distributions over future trajectories for other agents conditioned on the query. Leveraging such a model, we develop a general-purpose agent interactivity score derived from probabilistic first principles. The interactivity score allows us to find interesting interactive scenarios for training and evaluating behavior prediction models. We further demonstrate that the proposed score is effective for agent prioritization under computational budget constraints.


title: Angle chains and pinned variants

abstract: We study a variant of the Erd\H os unit distance problem, concerning angles between successive triples of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of angles $(\alpha_1,\ldots,\alpha_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(x_1,\dots, x_{k+2})\in E^{k+2}$ satisfying $\angle (x_j,x_{j+1},x_{j+2})=\alpha_j$ for every $1\le j \le k$ as well as pinned analogues.


title: Efficient measure for the expressivity of variational quantum algorithms

abstract: The superiority of variational quantum algorithms (VQAs) such as quantum neural networks (QNNs) and variational quantum eigen-solvers (VQEs) heavily depends on the expressivity of the employed ansatze. Namely, a simple ansatze is insufficient to capture the optimal solution, while an intricate ansatze leads to the hardness of the trainability. Despite its fundamental importance, an effective strategy of measuring the expressivity of VQAs remains largely unknown. Here, we exploit an advanced tool in statistical learning theory, i.e., covering number, to study the expressivity of VQAs. In particular, we first exhibit how the expressivity of VQAs with an arbitrary ansatze is upper bounded by the number of quantum gates and the measurement observable. We next explore the expressivity of VQAs on near-term quantum chips, where the system noise is considered. We observe an exponential decay of the expressivity with increasing circuit depth. We also utilize the achieved expressivity to analyze the generalization of QNNs and the accuracy of VQE. We numerically verify our theory employing VQAs with different levels of expressivity. Our work opens the avenue for quantitative understanding of the expressivity of VQAs.


title: Text-Aware Predictive Monitoring of Business Processes

abstract: The real-time prediction of business processes using historical event data is an important capability of modern business process monitoring systems. Existing process prediction methods are able to also exploit the data perspective of recorded events, in addition to the control-flow perspective. However, while well-structured numerical or categorical attributes are considered in many prediction techniques, almost no technique is able to utilize text documents written in natural language, which can hold information critical to the prediction task. In this paper, we illustrate the design, implementation, and evaluation of a novel text-aware process prediction model based on Long Short-Term Memory (LSTM) neural networks and natural language models. The proposed model can take categorical, numerical and textual attributes in event data into account to predict the activity and timestamp of the next event, the outcome, and the cycle time of a running process instance. Experiments show that the text-aware model is able to outperform state-of-the-art process prediction methods on simulated and real-world event logs containing textual data.


title: Chiral extrapolation of the charged-pion magnetic polarizability with Pad\'e approximant

abstract: The background magnetic-field formalism of Lattice QCD has been used recently to calculate the magnetic polarizability of the charged pion. These $n_f = 2 + 1$ numerical simulations are electro-quenched, such that the virtual sea-quarks of the QCD vacuum do not interact with the background field. To understand the impact of this, we draw on partially quenched chiral perturbation theory. In this case, the leading term proportional to $1/M_\pi$ arises at tree level from $\mathcal{L}_4$. To describe the results from lattice QCD, while maintaining the exact leading terms of chiral perturbation theory, we introduce a Pad\'e approximant designed to reproduce the slow variation observed in the lattice QCD results. Two-loop contributions are introduced to assess the systematic uncertainty associated with higher-order terms of the expansion. Upon extrapolation, the magnetic polarizability of the charged pion at the physical pion mass is found to be $\beta_{\pi^\pm}=-1.70\,(14)_{\rm stat}(25)_{\rm syst}\times 10^{-4}$ fm$^3$, in good agreement with the recent experimental measurement.


title: Electrostatic energy of Coulomb crystals with polarized electron background

abstract: Outer crusts of neutron stars and interiors of cool white dwarfs consist of bare atomic nuclei, arranged in a crystal lattice and immersed in a Fermi gas of degenerate electrons. We study electrostatic properties of such Coulomb crystals, taking into account the polarizability of the electron gas and considering different lattice structures, which can form the ground state. To take the electron background polarization into account, we use the linear response theory with the electron dielectric function given either by the Thomas-Fermi approximation or by the random-phase approximation (RPA). We compare the widely used nonrelativistic (Lindhard) version of the RPA approximation with the more general, relativistic (Jancovici) version. The results of the different approximations are compared to assess the importance of going beyond the Thomas-Fermi or Lindhard approximations. We also include contribution of zero-point vibrations of ions into the ground-state energy. We show that the bcc lattice forms the ground state for any charge number $Z$ of the atomic nuclei at the densities where the electrons are relativistic ($\rho\gtrsim10^6$ g cm$^{-3}$), while at lower densities the fcc and hcp lattices can form the ground state. The MgB$_2$-like lattice never forms the ground state at realistic densities in the crystallized regions of degenerate stars. The RPA corrections strongly affect the boundaries between the phases. As a result, transitions between different ground-state structures depend on $Z$ in a nontrivial way. The relativistic and quantum corrections produce less dramatic effects, moderately shifting the phase boundaries.


title: Avoiding squares over words with lists of size three amongst four symbols

abstract: In 2007, Grytczuk conjecture that for any sequence $(\ell_i)_{i\ge1}$ of alphabets of size $3$ there exists a square-free infinite word $w$ such that for all $i$, the $i$-th letter of $w$ belongs to $\ell_i$. The result of Thue of 1906 implies that there is an infinite square-free word if all the $\ell_i$ are identical. On the other, hand Grytczuk, Przyby{\l}o and Zhu showed in 2011 that it also holds if the $\ell_i$ are of size $4$ instead of $3$. In this article, we first show that if the lists are of size $4$, the number of square-free words is at least $2.45^n$ (the previous similar bound was $2^n$). We then show our main result: we can construct such a square-free word if the lists are subsets of size $3$ of the same alphabet of size $4$. Our proof also implies that there are at least $1.25^n$ square-free words of length $n$ for any such list assignment. This proof relies on the existence of a set of coefficients verified with a computer. We suspect that the full conjecture could be resolved by this method with a much more powerful computer (but we might need to wait a few decades for such a computer to be available).


title: SI-traceable frequency dissemination at 1572.06 nm in a stabilized fiber network with ring topology

abstract: Frequency dissemination in phase-stabilized optical fiber networks for metrological frequency comparisons and precision measurements are promising candidates to overcome the limitations imposed by satellite techniques. However, network constraints restrict the availability of dedicated channels in the commonly-used C-band. Here, we demonstrate the dissemination of an SI-traceable ultrastable optical frequency in the L-band over a 456 km fiber network with ring topology, in which telecommunication data traffic occupies the full C-band. We characterize the optical phase noise and evaluate a link instability of $4.7\cdot 10^{-16}$ at 1 s and $3.8\cdot 10^{-19}$ at 2000 s integration time, and a link accuracy of $2\cdot 10^{-18}$, which is comparable to existing metrology networks in the C-band. We demonstrate the application of the disseminated frequency by establishing the SI-traceability of a laser in a remote laboratory. Finally, we show that our metrological frequency does not interfere with data traffic in the telecommunication channels. Our approach combines an unconventional spectral choice in the telecommunication L-band with established frequency-stabilization techniques, providing a novel, cost-effective solution for ultrastable frequency-comparison and dissemination, and may contribute to a foundation of a world-wide metrological network.


title: Multi-target prediction for dummies using two-branch neural networks

abstract: Multi-target prediction (MTP) serves as an umbrella term for machine learning tasks that concern the simultaneous prediction of multiple target variables. Classical instantiations are multi-label classification, multivariate regression, multi-task learning, dyadic prediction, zero-shot learning, network inference, and matrix completion. Despite the significant similarities, all these domains have evolved separately into distinct research areas over the last two decades. This led to the development of a plethora of highly-engineered methods, and created a substantially-high entrance barrier for machine learning practitioners that are not experts in the field. In this work we present a generic deep learning methodology that can be used for a wide range of multi-target prediction problems. We introduce a flexible multi-branch neural network architecture, partially configured via a questionnaire that helps end-users to select a suitable MTP problem setting for their needs. Experimental results for a wide range of domains illustrate that the proposed methodology manifests a competitive performance compared to methods from specific MTP domains.


title: SALAD: Self-Adaptive Lightweight Anomaly Detection for Real-time Recurrent Time Series

abstract: Real-world time series data often present recurrent or repetitive patterns and it is often generated in real time, such as transportation passenger volume, network traffic, system resource consumption, energy usage, and human gait. Detecting anomalous events based on machine learning approaches in such time series data has been an active research topic in many different areas. However, most machine learning approaches require labeled datasets, offline training, and may suffer from high computation complexity, consequently hindering their applicability. Providing a lightweight self-adaptive approach that does not need offline training in advance and meanwhile is able to detect anomalies in real time could be highly beneficial. Such an approach could be immediately applied and deployed on any commodity machine to provide timely anomaly alerts. To facilitate such an approach, this paper introduces SALAD, which is a Self-Adaptive Lightweight Anomaly Detection approach based on a special type of recurrent neural networks called Long Short-Term Memory (LSTM). Instead of using offline training, SALAD converts a target time series into a series of average absolute relative error (AARE) values on the fly and predicts an AARE value for every upcoming data point based on short-term historical AARE values. If the difference between a calculated AARE value and its corresponding forecast AARE value is higher than a self-adaptive detection threshold, the corresponding data point is considered anomalous. Otherwise, the data point is considered normal. Experiments based on two real-world open-source time series datasets demonstrate that SALAD outperforms five other state-of-the-art anomaly detection approaches in terms of detection accuracy. In addition, the results also show that SALAD is lightweight and can be deployed on a commodity machine.


title: Full satisfaction classes, definability, and automorphisms

abstract: We show that for every countable recursively saturated model $M$ of Peano Arithmetic and every subset $A \subseteq M$, there exists a full satisfaction class $S_A \subset M^2$ such that $A$ is definable in $(M,S_A)$ without parametres. It follows that in every such model, there exists a full satisfaction class which makes every element definable and thus the expanded model is minimal and rigid. On the other hand, we show that for every full satisfaction class $S$ there are two elements which have the same arithmetical type, but exactly one of them is in $S$. In particular, the automorphism group of a model expanded with a satisfaction class is never equal to the automorphism group of the original model. The analogue of many of the results proved here for full satisfaction classes were obtained by Roman Kossak for partial inductive satisfaction classes. However, most of the proofs relied heavily on the induction scheme in a crucial way, so recapturing the results in the setting of full satisfaction classes requires quite different arguments.


title: A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression

abstract: Cosmic shear estimation is an essential scientific goal for large galaxy surveys. It refers to the coherent distortion of distant galaxy images due to weak gravitational lensing along the line of sight. It can be used as a tracer of the matter distribution in the Universe. The unbiased estimation of the local value of the cosmic shear can be obtained via Bayesian analysis which relies on robust estimation of the galaxies ellipticity (shape) posterior distribution. This is not a simple problem as, among other things, the images may be corrupted with strong background noise. For current and coming surveys, another central issue in galaxy shape determination is the treatment of statistically dominant overlapping (blended) objects. We propose a Bayesian Convolutional Neural Network based on Monte-Carlo Dropout to reliably estimate the ellipticity of galaxies and the corresponding measurement uncertainties. We show that while a convolutional network can be trained to correctly estimate well calibrated aleatoric uncertainty, -- the uncertainty due to the presence of noise in the images -- it is unable to generate a trustworthy ellipticity distribution when exposed to previously unseen data (i.e. here, blended scenes). By introducing a Bayesian Neural Network, we show how to reliably estimate the posterior predictive distribution of ellipticities along with robust estimation of epistemic uncertainties. Experiments also show that epistemic uncertainty can detect inconsistent predictions due to unknown blended scenes.


title: GDPR-Compliant Use of Blockchain for Secure Usage Logs

abstract: The unique properties of blockchain enable central requirements of distributed secure logging: Immutability, integrity, and availability. Especially when providing transparency about data usages, a blockchain-based secure log can be beneficial, as no trusted third party is required. Yet, with data governed by privacy legislation such as the GDPR or CCPA, the core advantage of immutability becomes a liability. After a rightful request, an individual's personal data need to be rectified or deleted, which is impossible in an immutable blockchain. To solve this issue, we exploit a legal property of pseudonymized data: They are only regarded personal data if they can be associated with an individual's identity. We make use of this fact by presenting P3, a pseudonym provisioning system for secure usage logs including a protocol for recording new usages. For each new block, a one-time transaction pseudonym is generated. The pseudonym generation algorithm guarantees unlinkability and enables proof of ownership. These properties enable GDPR-compliant use of blockchain, as data subjects can exercise their legal rights with regards to their personal data. The new-usage protocol ensures non-repudiation, and therefore accountability and liability. Most importantly, our approach does not require a trusted third party and is independent of the utilized blockchain software.


title: A symmetric hyperbolic formulation of the vacuum Einstein equations in affine-null coordinates

abstract: We present a symmetric hyperbolic formulation of the Einstein equations in affine-null coordinates. Giannakopoulos et. al. (arXiv:2007.06419) recently showed that the most commonly numerically implemented formulations of the Einstein equations in affine-null coordinates (and other single-null coordinate systems) are only weakly-but not strongly-hyperbolic. By making use of the tetrad-based Newman-Penrose formalism, our formulation avoids the hyperbolicity problems of the formulations investigated by Giannakopoulos et. al. We discuss a potential application of our formulation for studying gravitational wave scattering.


title: Distinct chemistries explain decoupling of slip and wettability in atomically smooth aqueous interfaces

abstract: Despite essentially identical crystallography and equilibrium structuring of water, nanoscopic channels composed of hexagonal boron nitride and graphite exhibit an order-of-magnitude difference in fluid slip. We investigate this difference using molecular dynamics simulations, demonstrating that its origin is in the distinct chemistries of the two materials. In particular, the presence of polar bonds in hexagonal boron nitride, absent in graphite, leads to Coulombic interactions between the polar water molecules and the wall. We demonstrate that this interaction is manifested in a large typical lateral force experienced by a layer of oriented hydrogen atoms in the vicinity of the wall, leading to the enhanced friction in hexagonal boron nitride. The fluid adhesion to the wall is dominated by dispersive forces in both materials, leading to similar wettabilities. Our results rationalize recent observations that the difference in frictional characteristics of graphite and hexagonal boron nitride cannot be explained on the basis of the minor differences in their wettabilities.


title: First dust measurements with the Solar Orbiter Radio and Plasma Wave instrument

abstract: Impacts of dust grains on spacecraft are known to produce typical impulsive signals in the voltage waveform recorded at the terminals of electric antennas. Such signals are routinely detected by the Time Domain Sampler (TDS) system of the Radio and Plasma Waves (RPW) instrument aboard Solar Orbiter. We investigate the capabilities of RPW in terms of interplanetary dust studies and present the first analysis of dust impacts recorded by this instrument. We discuss previously developed models of voltage pulses generation after a dust impact onto a spacecraft and present the relevant technical parameters for Solar Orbiter RPW as a dust detector. Then we present the statistical analysis of the dust impacts recorded by RPW/TDS from April 20th, 2020 to February 27th, 2021 between 0.5 AU and 1 AU. The study shows that the dust population studied presents a radial velocity component directed outward from the Sun, the order of magnitude of which can be roughly estimated as $v_{r, dust} \simeq 50$ km.$s^{-1}$. This is consistent with the flux of impactors being dominated by $\beta$-meteoroids. We estimate the cumulative flux of these grains at 1 AU to be roughly $F_\beta \simeq 8\times 10^{-5} $ m$^{-2}$s$^{-1}$, for particles of radius $r \gtrsim 100$ nm. The power law index $\delta$ of the cumulative mass flux of the impactors is evaluated by two differents methods (direct observations of voltage pulses and indirect effect on the impact rate dependency on the impact speed). Both methods give a result $\delta \simeq 0.3-0.4$. Solar Orbiter RPW proves to be a suitable instrument for interplanetary dust studies. These first results are promising for the continuation of the mission, in particular for the in-situ study of the dust cloud outside the ecliptic plane, which Solar Orbiter will be the first spacecraft to explore.


title: Exactness of Bousfield localizations of simplicial presheaves and local lifting

abstract: We show that weak equivalences in a (cofibrantly generated) left Bousfield localization of the projective model category of simplicial presheaves can be characterized by a local lifting property if and only if the localization is exact.


title: Finding Geometric Representations of Apex Graphs is NP-Hard

abstract: Planar graphs can be represented as intersection graphs of different types of geometric objects in the plane, e.g., circles (Koebe, 1936), line segments (Chalopin \& Gon{\c{c}}alves, 2009), \textsc{L}-shapes (Gon{\c{c}}alves et al, 2018). For general graphs, however, even deciding whether such representations exist is often $NP$-hard. We consider apex graphs, i.e., graphs that can be made planar by removing one vertex from them. We show, somewhat surprisingly, that deciding whether geometric representations exist for apex graphs is $NP$-hard. More precisely, we show that for every positive integer $k$, recognizing every graph class $\mathcal{G}$ which satisfies $\textsc{PURE-2-DIR} \subseteq \mathcal{G} \subseteq \textsc{1-STRING}$ is $NP$-hard, even when the input graphs are apex graphs of girth at least $k$. Here, $PURE-2-DIR$ is the class of intersection graphs of axis-parallel line segments (where intersections are allowed only between horizontal and vertical segments) and \textsc{1-STRING} is the class of intersection graphs of simple curves (where two curves share at most one point) in the plane. This partially answers an open question raised by Kratochv{\'\i}l \& Pergel (2007). Most known $NP$-hardness reductions for these problems are from variants of 3-SAT. We reduce from the \textsc{PLANAR HAMILTONIAN PATH COMPLETION} problem, which uses the more intuitive notion of planarity. As a result, our proof is much simpler and encapsulates several classes of geometric graphs.


title: Stabilized integrating factor Runge-Kutta method and unconditional preservation of maximum bound principle

abstract: Maximum bound principle (MBP) is an important property for a large class of semilinear parabolic equations, in the sense that the time-dependent solution of the equation with appropriate initial and boundary conditions and nonlinear operator preserves for all time a uniform pointwise bound in absolute value. It has been a challenging problem on how to design unconditionally MBP-preserving high-order accurate time-stepping schemes for these equations. In this paper, we combine the integrating factor Runge-Kutta (IFRK) method with the linear stabilization technique to develop a stabilized IFRK (sIFRK) method, and successfully derive sufficient conditions for the proposed method to preserve MBP unconditionally in the discrete setting. We then elaborate some sIFRK schemes with up to the third-order accuracy, which are proven to be unconditionally MBP-preserving by verifying these conditions. In addition, it is shown that many classic strong stability-preserving sIFRK schemes do not satisfy these conditions except the first-order one. Extensive numerical experiments are also carried out to demonstrate the performance of the proposed method.


title: Robustness Tests of NLP Machine Learning Models: Search and Semantically Replace

abstract: This paper proposes a strategy to assess the robustness of different machine learning models that involve natural language processing (NLP). The overall approach relies upon a Search and Semantically Replace strategy that consists of two steps: (1) Search, which identifies important parts in the text; (2) Semantically Replace, which finds replacements for the important parts, and constrains the replaced tokens with semantically similar words. We introduce different types of Search and Semantically Replace methods designed specifically for particular types of machine learning models. We also investigate the effectiveness of this strategy and provide a general framework to assess a variety of machine learning models. Finally, an empirical comparison is provided of robustness performance among three different model types, each with a different text representation.


title: Bitcoin Address Clustering Method Based on Multiple Heuristic Conditions

abstract: We analyzed the associations between Bitcoin transactions and addresses to cluster address and further find groups of addresses controlled by the same entity. It revealed the vulnerabilities of Bitcoin anonymity mechanism, which could be used by the law enforcement agencies to track and crack down illegal transactions. However, single heuristic method and incomplete heuristic conditions were difficult to cluster a large number of addresses comprehensively and accurately. Therefore, this paper reviewed a variety of heuristics, and used multiple heuristics comprehensively to cluster addresses to improve the degree of address aggregation and address recall rate, which laid a foundation for further inferring of entity identity.


title: Finite frames, frame potentials and determinantal point processes on the sphere

abstract: Herein, we address the expectations of frame potentials of three types of determinantal point processes(DPPs) on the d-dimensional unit sphere: (i) spherical ensembles on the 2-dimensional unit sphere; (ii) harmonic ensembles on the d-dimensional unit sphere and (iii) jittered sampling point processes on the d-dimensional unit sphere. The random point configurations generated by such DPPs converge more rapidly towards finite unit norm tight frames(FUNTFs) than the Poisson point processes on the unit sphere.


title: Prospective Artificial Intelligence Approaches for Active Cyber Defence

abstract: Cybercriminals are rapidly developing new malicious tools that leverage artificial intelligence (AI) to enable new classes of adaptive and stealthy attacks. New defensive methods need to be developed to counter these threats. Some cybersecurity professionals are speculating AI will enable corresponding new classes of active cyber defence measures -- is this realistic, or currently mostly hype? The Alan Turing Institute, with expert guidance from the UK National Cyber Security Centre and Defence Science Technology Laboratory, published a research roadmap for AI for ACD last year. This position paper updates the roadmap for two of the most promising AI approaches -- reinforcement learning and causal inference - and describes why they could help tip the balance back towards defenders.


title: Explaining the Entombed Algorithm

abstract: In \cite{entombed}, John Aycock and Tara Copplestone pose an open question, namely the explanation of the mysterious lookup table used in the Entombed Game's Algorithm for two dimensional maze generation. The question attracted media attention (BBC etc) and was open until today. This paper answers this question, explains the algorithm and even extends it to three dimensions.


title: Effective drilling and filling of tame hyperbolic 3-manifolds

abstract: We give effective bilipschitz bounds on the change in metric between thick parts of a cusped hyperbolic 3-manifold and its long Dehn fillings. In the thin parts of the manifold, we give effective bounds on the change in complex length of a short closed geodesic. These results quantify the filling theorem of Brock and Bromberg, and extend previous results of the authors from finite volume hyperbolic 3-manifolds to any tame hyperbolic 3-manifold. To prove the main results, we assemble tools from Kleinian group theory into a template for transferring theorems about finite-volume manifolds into theorems about infinite-volume manifolds. We also prove and apply an infinite-volume version of the 6-Theorem.


title: Ramjet Acceleration of Microscopic Black Holes Within Stellar Material

abstract: In this work we present a case that Microscopic Black Holes (MBH) of mass $10^{16}\ kg$ to $3 \cdot 10^{19}\ kg$ experience acceleration as they move within stellar material at low velocities. The accelerating forces are caused by the fact that a MBH moving through stellar material leaves a trail of hot rarified gas. The rarified gas behind a MBH exerts lower gravitational force on the MBH than the dense gas in front of it. The accelerating forces exceed the gravitational drag forces when MBH moves at Mach number $\mathcal{M}<\mathcal{M}_0$. The equilibrium Mach number $\mathcal{M}_0$ depends on MBH mass and stellar material characteristics. Our calculations open the possibility of MBH orbiting within stars including Sun at Mach number $\mathcal{M}_0$. At the end of this work we list some unresolved problems which result from our calculations.


title: A Separation of $\gamma$ and $b$ via Thue--Morse Words

abstract: We prove that for $n\geq 2$, the size $b(t_n)$ of the smallest bidirectional scheme for the $n$th Thue--Morse word $t_n$ is $n+2$. Since Kutsukake et al. [SPIRE 2020] show that the size $\gamma(t_n)$ of the smallest string attractor for $t_n$ is $4$ for $n \geq 4$, this shows for the first time that there is a separation between the size of the smallest string attractor $\gamma$ and the size of the smallest bidirectional scheme $b$, i.e., there exist string families such that $\gamma = o(b)$.


title: UCGretina GEANT4 Simulation of the GRETINA Gamma-Ray Energy Tracking Array

abstract: UCGretina, a GEANT4 simulation of the GRETINA gamma-ray tracking array of highly-segmented high-purity germanium detectors is described. We have developed a model of the array, in particular of the Quad Module and the capsules, that gives good agreement between simulated and measured photopeak efficiencies over a broad range of gamma-ray energies and reproduces the shape of the measured Compton continuum. Both of these features are needed in order to accurately extract gamma-ray yields from spectra collected in in-beam gamma-ray spectroscopy measurements with beams traveling at $v/c \gtrsim 0.3$ at the National Superconducting Cyclotron Laboratory and the Facility for Rare Isotope Beams. In the process of developing the model, we determined that millimeter-scale layers of passive germanium surrounding the active volumes of the simulated crystals must be included in order to reproduce measured photopeak efficiencies. We adopted a simple model of effective passive layers and developed heuristic methods of determining passive-layer thicknesses by comparison of simulations and measurements for a single crystal and for the full array. Prospects for future development of the model are discussed.


title: Differentiable Model Compression via Pseudo Quantization Noise

abstract: We propose DiffQ a differentiable method for model compression for quantizing model parameters without gradient approximations (e.g., Straight Through Estimator). We suggest adding independent pseudo quantization noise to model parameters during training to approximate the effect of a quantization operator. DiffQ is differentiable both with respect to the unquantized weights and the number of bits used. Given a single hyper-parameter balancing between the quantized model size and accuracy, DiffQ optimizes the number of bits used per individual weight or groups of weights, in end-to-end training. We experimentally verify that our method is competitive with STE based quantization techniques on several benchmarks and architectures for image classification, language modeling, and audio source separation. For instance, on the ImageNet dataset, DiffQ compresses a 12 layers transformer-based model by more than a factor of 8, (lower than 4 bits precision per weight on average), with a loss of 0.3% in model accuracy. Code is available at github.com/facebookresearch/diffq.


title: Inferring Multi-Period Optimal Portfolios via Detrending Moving Average Cluster Entropy

abstract: Despite half a century of research, there is still no general agreement about the optimal approach to build a robust multi-period portfolio. We address this question by proposing the detrended cluster entropy approach to estimate the portfolio weights of high-frequency market indices. The information measure produces reliable estimates of the portfolio weights gathered from the real-world market data at varying temporal horizons. The portfolio exhibits a high level of diversity, robustness and stability as it is not affected by the drawbacks of traditional mean-variance approaches.


title: Autonomous Orbit Determination for a CubeSat Cruising in Deep Space

abstract: CubeSats have become a meaningful option for deep-space exploration, but their autonomy must be increased to maximize the science return while limiting the complexity in operations. We present here a solution for an autonomous orbit determination in the context of a CubeSat cruising in deep space. The study case is a journey from Earth to Mars. An optical sensor at CubeSat standard is considered. The image processing is added to extract the direction of distant celestial bodies with 0.2 arcsec accuracy: it consists of a Multiple Cross-Correlation (MCC) algorithm that uses bright stars in the background of the images. Then, an Unscented Kalman Filter (UKF) is built to perform an asynchronous triangulation from the successive directions of the celestial bodies. The UKF meets the expected performance in contexts where linear approximations are not possible. The orbit reconstruction reaches a 3-sigma accuracy of 30 km in the middle of the Earth-Mars cruise. Additionally, the CPU cost of the filter is assessed at less than 1 second per iteration with a typical CubeSat hardware. It is ready for further improvements in terms of new observables associated with data fusion, quicker convergence and attitude control savings.


title: Collisions in a dual-species magneto-optical trap of molecules and atoms

abstract: We study inelastic collisions between CaF molecules and $^{87}$Rb atoms in a dual-species magneto-optical trap. The presence of atoms increases the loss rate of molecules from the trap. By measuring the loss rates and density distributions, we determine a collisional loss rate coefficient $k_{2} = (1.43 \pm 0.29) \times 10^{-10}$ cm$^{3}$/s at a temperature of 2.4 mK. We show that this is not substantially changed by light-induced collisions or by varying the populations of excited-state atoms and molecules. The observed loss rate is close to the universal rate expected in the presence of fast loss at short range, and can be explained by rotation-changing collisions in the ground electronic state.


title: Unsteady lifting-line theory and the influence of wake vorticity on aerodynamic loads

abstract: Frequency domain Unsteady Lifting-Line Theory (ULLT) provides a means by which the aerodynamics of oscillating wings may be studied at low computational cost without neglecting the interacting effects of aspect ratio and oscillation frequency. Renewed interest in the method has drawn attention to several uncertainties however. Firstly, to what extent is ULLT practically useful for rectangular wings, despite theoretical limitations? And secondly, to what extent is a complicated wake model needed in the outer solution for good accuracy? This paper aims to answer these questions by presenting a complete ULLT based on the work of Sclavounos, along with a novel ULLT that considers only the streamwise vorticity and a Prandtl-like pseudosteady ULLT. These are compared to high fidelity Euler CFD for cases of rectangular wings at multiple aspect ratios and oscillation frequencies. The results of this work establish ULLT as a low computational cost model capable of accounting for interacting finite-wing and oscillation frequency effects, and identify the aspect ratio and frequency regimes where the three ULLTs are most accurate. This research paves the way towards the construction of time-domain or numerical ULLTs which may be augmented to account for non-linearities such as flow separation.


title: A Scanning 2-Grating Free Electron Mach-Zehnder Interferometer

abstract: We demonstrate a 2-grating free electron Mach-Zehnder interferometer constructed in a transmission electron microscope. A symmetric binary phase grating and condenser lens system forms two spatially separated, focused probes at the sample which can be scanned while maintaining alignment. The two paths interfere at a second grating, creating in constructive or destructive interference in output beams. This interferometer has many notable features: positionable probe beams, large path separations relative to beam width, continuously tunable relative phase between paths, and real-time phase information. Here we use the electron interferometer to measure the relative phase shifts imparted to the electron probes by electrostatic potentials as well as a demonstration of quantitative nanoscale phase imaging of a polystyrene latex nanoparticle.


title: Fine-grained Anomaly Detection via Multi-task Self-Supervision

abstract: Detecting anomalies using deep learning has become a major challenge over the last years, and is becoming increasingly promising in several fields. The introduction of self-supervised learning has greatly helped many methods including anomaly detection where simple geometric transformation recognition tasks are used. However these methods do not perform well on fine-grained problems since they lack finer features. By combining in a multi-task framework high-scale shape features oriented task with low-scale fine features oriented task, our method greatly improves fine-grained anomaly detection. It outperforms state-of-the-art with up to 31% relative error reduction measured with AUROC on various anomaly detection problems.


title: Federated Learning for Malware Detection in IoT Devices

abstract: This work investigates the possibilities enabled by federated learning concerning IoT malware detection and studies security issues inherent to this new learning paradigm. In this context, a framework that uses federated learning to detect malware affecting IoT devices is presented. N-BaIoT, a dataset modeling network traffic of several real IoT devices while affected by malware, has been used to evaluate the proposed framework. Both supervised and unsupervised federated models (multi-layer perceptron and autoencoder) able to detect malware affecting seen and unseen IoT devices of N-BaIoT have been trained and evaluated. Furthermore, their performance has been compared to two traditional approaches. The first one lets each participant locally train a model using only its own data, while the second consists of making the participants share their data with a central entity in charge of training a global model. This comparison has shown that the use of more diverse and large data, as done in the federated and centralized methods, has a considerable positive impact on the model performance. Besides, the federated models, while preserving the participant's privacy, show similar results as the centralized ones. As an additional contribution and to measure the robustness of the federated approach, an adversarial setup with several malicious participants poisoning the federated model has been considered. The baseline model aggregation averaging step used in most federated learning algorithms appears highly vulnerable to different attacks, even with a single adversary. The performance of other model aggregation functions acting as countermeasures is thus evaluated under the same attack scenarios. These functions provide a significant improvement against malicious participants, but more efforts are still needed to make federated approaches robust.


title: Review of end-to-end speech synthesis technology based on deep learning

abstract: As an indispensable part of modern human-computer interaction system, speech synthesis technology helps users get the output of intelligent machine more easily and intuitively, thus has attracted more and more attention. Due to the limitations of high complexity and low efficiency of traditional speech synthesis technology, the current research focus is the deep learning-based end-to-end speech synthesis technology, which has more powerful modeling ability and a simpler pipeline. It mainly consists of three modules: text front-end, acoustic model, and vocoder. This paper reviews the research status of these three parts, and classifies and compares various methods according to their emphasis. Moreover, this paper also summarizes the open-source speech corpus of English, Chinese and other languages that can be used for speech synthesis tasks, and introduces some commonly used subjective and objective speech quality evaluation method. Finally, some attractive future research directions are pointed out.


title: Pressure-driven Nitrogen Flow in Divergent Microchannels with Isothermal Walls

abstract: Gas flow and heat transfer in confined geometries at micro and nano scales differ considerably from those at macro-scales, mainly due to nonequilibrium effects such as velocity slip and temperature jump. The nonequilibrium effects enhance with a decrease in the characteristic length-scale of the fluid flow or the gas density, leading to the failure of the standard Navier-Stokes-Fourier (NSF) equations in predicting thermal and fluid flow fields. The direct simulation Monte-Carlo (DSMC) method is employed in the present work to investigate pressure-driven nitrogen flow in divergent microchannels with various divergence angles and isothermal walls. The thermal fields obtained from numerical simulations are analysed for different inlet-to-outlet pressure ratios (1.5 $\leq \Pi \leq$ 2.5), tangential momentum accommodation coefficients and Knudsen numbers (0.05 $\leq \mathrm{Kn} \leq$ 12.5), covering slip to free-molecular rarefaction regimes. The thermal field in the microchannel is predicted, heat-lines are visualised, and the physics of heat transfer in the microchannel is discussed. Due to the rarefaction effects, the direction of heat flow is largely opposite to that of the mass flow. However, the interplay between thermal and pressure gradients, which are affected by geometrical configurations of the microchannel and applied boundary conditions, determines the net heat flow direction. Additionally, the occurrence of thermal separation and cold-to-hot heat transfer (also known as anti-Fourier heat transfer) in divergent microchannels is explained.


title: Meshfree Approximation for Stochastic Optimal Control Problems

abstract: In this work, we study the gradient projection method for solving a class of stochastic control problems by using a mesh free approximation approach to implement spatial dimension approximation. Our main contribution is to extend the existing gradient projection method to moderate high-dimensional space. The moving least square method and the general radial basis function interpolation method are introduced as showcase methods to demonstrate our computational framework, and rigorous numerical analysis is provided to prove the convergence of our meshfree approximation approach. We also present several numerical experiments to validate the theoretical results of our approach and demonstrate the performance meshfree approximation in solving stochastic optimal control problems.


title: Continuum Deformation Coordination of Multi-Agent Systems Using Cooperative Localization

abstract: This paper studies the problem of decentralized continuum deformation coordination of multi-agent systems aided by cooperative localization. We treat agents as particles inside a triangular continuum (deformable body) in a2-D motion space and let the continuum deformation coordination be defined by three leaders located at vertices of a triangle, called the leading triangle. The leaders desired trajectories are assigned as the solution of a constrained optimal control problem such that safety requirements are satisfied in the presence of disturbance and measurement noise. Followers distributed inside the leading tri-angle acquire continuum deformation in a decentralized fashion by integrating cooperative localization and local communication. Specifically, cooperative localization estimates the global positions of all agents using relative position measurements based primarily on proximity of agents. Simulation results are presented for a network of ten agents.


title: Dynamics of COVID-19 mitigation inefficiency in Brazil

abstract: In this work Data Envelopment Analysis (DEA) is employed in thirty-day windows to quantify temporal evolution of relative pandemic mitigation inefficiency of Brazilian municipalities. For each thirty-day window the results of inefficiency scores of over five thousand Brazilian municipalities are displayed on maps, to address the spatial distribution of the corresponding values. This phenomenological spatiotemporal approach reveals location of the hotspots, in terms of relative pandemic inefficiency of the municipalities, at different points in time along the pandemic. It is expected that the current approach may subsidize decision making through comparative analysis of previous practice, and thus contribute to the future pandemic mitigation efforts.


title: Exascale Landau collision operator in the Cuda programming model applied to thermal quench plasmas

abstract: Collisional processes are critical in the understanding of non-Maxwellian plasmas. The Landau form of the Fokker-Planck equation is the gold standard for modeling collisions in most plasmas, however O(N^2) work complexity inhibits its widespread use. We show that with advanced numerical methods and GPU hardware this cost can be effectively mitigated. This paper extends previous work on a conservative, high order accurate, finite element discretization with adaptive mesh refinement of the Landau operator, with extensions to GPU hardware and implementations in both the CUDA and Kokkos programming languages. This work focuses on the Landau kernels and on NVIDIA hardware, however preliminary results on AMD and Fujitsu/ARM hardware, as well as end-to-end performance of a velocity space model of a plasma thermal quench, are also presented. Both the fully implicit Landau time integrator and the plasma thermal quench model are publicly available in PETSc (Portable, Extensible, Toolkit for Scientific computing).


title: Comparison of remote experiments using crowdsourcing and laboratory experiments on speech intelligibility

abstract: Many subjective experiments have been performed to develop objective speech intelligibility measures, but the novel coronavirus outbreak has made it very difficult to conduct experiments in a laboratory. One solution is to perform remote testing using crowdsourcing; however, because we cannot control the listening conditions, it is unclear whether the results are entirely reliable. In this study, we compared speech intelligibility scores obtained in remote and laboratory experiments. The results showed that the mean and standard deviation (SD) of the remote experiments' speech reception threshold (SRT) were higher than those of the laboratory experiments. However, the variance in the SRTs across the speech-enhancement conditions revealed similarities, implying that remote testing results may be as useful as laboratory experiments to develop an objective measure. We also show that the practice session scores correlate with the SRT values. This is a priori information before performing the main tests and would be useful for data screening to reduce the variability of the SRT distribution.


title: A revisit of symmetry analysis and group classifications of Boiti Leon Pempinelli system in (2+1)-dimensions

abstract: In this paper, the Boiti Leon Pempinelli system in (2+1)-dimensions is revisited for Lie symmetries and invariant solutions. An infinite-dimensional Lie algebra is obtained using the Lie invariance criterion and is further classified into one, two and three-dimensional optimal list of subalgebra. We obtain new explicit exact solutions involving arbitrary functions that have never been documented in previous work.


title: An Exact Hypergraph Matching Algorithm for Nuclear Identification in Embryonic Caenorhabditis elegans

abstract: Finding an optimal correspondence between point sets is a common task in computer vision. Existing techniques assume relatively simple relationships among points and do not guarantee an optimal match. We introduce an algorithm capable of exactly solving point set matching by modeling the task as hypergraph matching. The algorithm extends the classical branch and bound paradigm to select and aggregate vertices under a proposed decomposition of the multilinear objective function. The methodology is motivated by Caenorhabditis elegans, a model organism used frequently in developmental biology and neurobiology. The embryonic C. elegans contains seam cells that can act as fiducial markers allowing the identification of other nuclei during embryo development. The proposed algorithm identifies seam cells more accurately than established point-set matching methods, while providing a framework to approach other similarly complex point set matching tasks.


title: Toward the Prevention of Privacy Threats: How Can We Persuade Our Social Network Platform Users?

abstract: Complex decision-making problems such as the privacy policy selection when sharing content in online social networks can significantly benefit from artificial intelligence systems. With the use of Computational Argumentation, it is possible to persuade human users to modify their initial decisions to avoid potential privacy threats and violations. In this paper, we present a study performed over 186 teenage users aimed at analysing their behaviour when we try to persuade them to modify the publication of sensitive content in Online Social Networks (OSN) with different arguments. The results of the study revealed that the personality traits and the social interaction data (e.g., number of comments, friends, and likes) of our participants were significantly correlated with the persuasive power of the arguments. Therefore, these sets of features can be used to model OSN users, and to estimate the persuasive power of different arguments when used in human-computer interactions. The findings presented in this paper are helpful for personalising decision support systems aimed at educating and preventing privacy violations in OSNs using arguments.


title: Probability Mass of Rademacher Sums Beyond One Standard Deviation

abstract: Let $a_1, \dots, a_n \in \mathbb{R}$ satisfy $\sum_i a_i^2 = 1$, and let $\varepsilon_1, \ldots, \varepsilon_n$ be uniformly random $\pm 1$ signs and $X = \sum_{i=1}^{n} a_i \varepsilon_i$. It is conjectured that $X = \sum_{i=1}^{n} a_i \varepsilon_i$ has $\Pr[X \geq 1] \geq 7/64$. The best lower bound so far is $1/20$, due to Oleszkiewicz. In this paper we improve this to $\Pr[X \geq 1] \geq 6/64$.


title: Coverage Characterization of STAR-RIS Networks: NOMA and OMA

abstract: The novel concept of simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) is investigated, where incident signals can be transmitted and reflected to users located at different sides of the surface. In particular, the fundamental coverage range of STAR-RIS aided two-user communication networks is studied. A sum coverage range maximization problem is formulated for both non-orthogonal multiple access (NOMA) and orthogonal multiple access (OMA), where the resource allocation at the access point and the transmission and reflection coefficients at the STAR-RIS are jointly optimized to satisfy the communication requirements of users. For NOMA, we transform the non-convex decoding order constraint into a linear constraint and the resulting problem is convex, which can be optimally solved. For OMA, we first show that the optimization problem for given time/frequency resource allocation is convex. Then, we employ the one dimensional search-based algorithm to obtain the optimal solution. Numerical results reveal that the coverage can be significantly extended by the STAR-RIS compared with conventional RISs.


title: Anti-symplectic involutions for Lagrangian spheres in a symplectic quadric surface

abstract: We show that the space of anti-symplectic involutions of a monotone $S^2\times S^2$ whose fixed points set is a Lagrangian sphere is connected. This follows from a stronger result, namely that any two anti-symplectic involutions in that space are Hamiltonian isotopic.


title: Reconsidering Power Functional Theory

abstract: The original derivation of Power Functional Theory, Schmidt and Brader, JCP 138, 214101 (2013), is reworked in some detail with a view to clarifying and simplifying the logic and making explicit the various functional dependencies. We note various issues with the original development and suggest a modification that allows us to avoid them. In the process we also suggest an alternative interpretation of our results that bears surprising similarities to classical Density Functional Theory.


title: Fusing Sufficient Dimension Reduction with Neural Networks

abstract: We consider the regression problem where the dependence of the response Y on a set of predictors X is fully captured by the regression function E(Y | X)=g(B'X), for an unknown function g and low rank parameter B matrix. We combine neural networks with sufficient dimension reduction in order to remove the limitation of small p and n of the latter. We show in simulations that the proposed estimator is on par with competing sufficient dimension reduction methods in small p and n settings, such as minimum average variance estimation and conditional variance estimation. Among those, it is the only computationally applicable in large p and n problems.


title: BraidNet: procedural generation of neural networks for image classification problems using braid theory

abstract: In this article, we propose the approach to procedural optimization of a neural network, based on the combination of information theory and braid theory. The network studied in the article implemented with the intersections between the braid strands, as well as simplified networks (a network with strands without intersections and a simple convolutional deep neural network), are used to solve various problems of multiclass image classification that allow us to analyze the comparative effectiveness of the proposed architecture. The simulation results showed BraidNet's comparative advantage in learning speed and classification accuracy.


title: Perceptual Loss for Robust Unsupervised Homography Estimation

abstract: Homography estimation is often an indispensable step in many computer vision tasks. The existing approaches, however, are not robust to illumination and/or larger viewpoint changes. In this paper, we propose bidirectional implicit Homography Estimation (biHomE) loss for unsupervised homography estimation. biHomE minimizes the distance in the feature space between the warped image from the source viewpoint and the corresponding image from the target viewpoint. Since we use a fixed pre-trained feature extractor and the only learnable component of our framework is the homography network, we effectively decouple the homography estimation from representation learning. We use an additional photometric distortion step in the synthetic COCO dataset generation to better represent the illumination variation of the real-world scenarios. We show that biHomE achieves state-of-the-art performance on synthetic COCO dataset, which is also comparable or better compared to supervised approaches. Furthermore, the empirical results demonstrate the robustness of our approach to illumination variation compared to existing methods.


title: Static magnetic susceptibility in finite-density SU(2) lattice gauge theory

abstract: We study static magnetic susceptibility $\chi(T, \mu)$ in $SU(2)$ lattice gauge theory with $N_f = 2$ light flavours of dynamical fermions at finite chemical potential $\mu$. Using linear response theory we find that $SU(2)$ gauge theory exhibits paramagnetic behavior in both the high-temperature deconfined regime and the low-temperature confining regime. Paramagnetic response becomes stronger at higher temperatures and larger values of the chemical potential. For our range of temperatures $0.727 \leq T/T_c \leq 2.67$, the first coefficient of the expansion of $\chi(T, \mu)$ in even powers of $\mu/T$ around $\mu=0$ is close to that of free quarks and lies in the range $(2 \ldots 5) \cdot 10^{-3}$. The strongest paramagnetic response is found in the diquark condensation phase at $\mu > m_{\pi}/2$.


title: Parallel Physics-Informed Neural Networks via Domain Decomposition

abstract: We develop a distributed framework for the physics-informed neural networks (PINNs) based on two recent extensions, namely conservative PINNs (cPINNs) and extended PINNs (XPINNs), which employ domain decomposition in space and in time-space, respectively. This domain decomposition endows cPINNs and XPINNs with several advantages over the vanilla PINNs, such as parallelization capacity, large representation capacity, efficient hyperparameter tuning, and is particularly effective for multi-scale and multi-physics problems. Here, we present a parallel algorithm for cPINNs and XPINNs constructed with a hybrid programming model described by MPI $+$ X, where X $\in \{\text{CPUs},~\text{GPUs}\}$. The main advantage of cPINN and XPINN over the more classical data and model parallel approaches is the flexibility of optimizing all hyperparameters of each neural network separately in each subdomain. We compare the performance of distributed cPINNs and XPINNs for various forward problems, using both weak and strong scalings. Our results indicate that for space domain decomposition, cPINNs are more efficient in terms of communication cost but XPINNs provide greater flexibility as they can also handle time-domain decomposition for any differential equations, and can deal with any arbitrarily shaped complex subdomains. To this end, we also present an application of the parallel XPINN method for solving an inverse diffusion problem with variable conductivity on the United States map, using ten regions as subdomains.


title: The Freedericksz transition in a spatially varying magnetic field

abstract: Much is known about the Freedericksz transition induced by uniform electric and magnetic fields in nematic liquid crystals. Here we study the effects of a spatially varying field on the transition. We study the response of a nematic to a magnetic field with cylindrical symmetry, and find that since the field magnitude varies in the plane of the cell, the transition vanishes.


title: Voting Classifier-based Intrusion Detection for IoT Networks

abstract: Internet of Things (IoT) is transforming human lives by paving the way for the management of physical devices on the edge. These interconnected IoT objects share data for remote accessibility and can be vulnerable to open attacks and illegal access. Intrusion detection methods are commonly used for the detection of such kinds of attacks but with these methods, the performance/accuracy is not optimal. This work introduces a novel intrusion detection approach based on an ensemble-based voting classifier that combines multiple traditional classifiers as a base learner and gives the vote to the predictions of the traditional classifier in order to get the final prediction. To test the effectiveness of the proposed approach, experiments are performed on a set of seven different IoT devices and tested for binary attack classification and multi-class attack classification. The results illustrate prominent accuracies on Global Positioning System (GPS) sensors and weather sensors to 96% and 97% and for other machine learning algorithms to 85% and 87%, respectively. Furthermore, comparison with other traditional machine learning methods validates the superiority of the proposed algorithm.


title: Gravitational lensing by a black hole in Poincar{\'e} gauge theory of gravity

abstract: Using a recently found black hole solution in the framework of the Poincar{\'e} gauge theory of gravity, we study gravitational lensing for a system where the lens is a static spherically symmetric black hole. By analyzing the equations of motion for light rays in a space-time with torsion, we derive the deflection angle as the light emitted from a source pass through near the black hole and numerically solve the resulting integral. We also study the effects of torsion on the position of images. The results show that the presence of torsion slightly alters both the deflection angle and position of images in this setup.


title: The Emperor's New Autofill Framework: A Security Analysis of Autofill on iOS and Android

abstract: Password managers help users more effectively manage their passwords, encouraging them to adopt stronger passwords across their many accounts. In contrast to desktop systems where password managers receive no system-level support, mobile operating systems provide autofill frameworks designed to integrate with password managers to provide secure and usable autofill for browsers and other apps installed on mobile devices. In this paper, we evaluate mobile autofill frameworks on iOS and Android, examining whether they achieve substantive benefits over the ad-hoc desktop environment or become a problematic single point of failure. Our results find that while the frameworks address several common issues, they also enforce insecure behavior and fail to provide password managers sufficient information to override the frameworks' insecure behavior, resulting in mobile managers being less secure than their desktop counterparts overall. We also demonstrate how these frameworks act as a confused deputy in manager-assisted credential phishing attacks. Our results demonstrate the need for significant improvements to mobile autofill frameworks. We conclude the paper with recommendations for the design and implementation of secure autofill frameworks.


title: Discovery of a steep-spectrum low-luminosity pulsar with the Murchison Widefield Array

abstract: We report the discovery of the first new pulsar with the Murchison Widefield Array (MWA), PSR J0036$-$1033, a long-period (0.9 s) nonrecycled pulsar with a dispersion measure (DM) of 23.1 ${\rm pc\,cm^{-3}}$. It was found after processing only a small fraction ($\sim$1%) of data from an ongoing all-sky pulsar survey. Follow-up observations have been made with the MWA, the upgraded Giant Metrewave Radio Telescope (uGMRT), and the Parkes 64 m telescopes, spanning a frequency range from $\sim$150 MHz to 4 GHz. The pulsar is faint, with an estimated flux density ($S$) of $\sim$1 mJy at 400 MHz and a spectrum $S(\nu)\,\propto\,\nu^{-2.0 \pm 0.2}$, where $\nu$ is frequency. The DM-derived distance implies that it is also a low-luminosity source ($\sim$ 0.1 ${\rm mJy\,kpc^2}$ at 1400 MHz). The analysis of archival MWA observations reveals that the pulsar's mean flux density varies by up to a factor of $\sim$5-6 on timescales of several weeks to months. By combining MWA and uGMRT data, the pulsar position was determined to arcsecond precision. We also report on polarization properties detected in the MWA and Parkes bands. The pulsar's nondetection in previous pulsar and continuum imaging surveys, the observed high variability, and its detection in a small fraction of the survey data searched to date, all hint at a larger population of pulsars that await discovery in the southern hemisphere, with the MWA and the future low-frequency Square Kilometre Array.


title: Uniform boundedness of highest norm for 2D quasilinear wave

abstract: We consider the two-dimensional quasilinear wave equations with quadratic nonlinearities. We introduce a new class of null forms and prove uniform boundedness of the highest order norm of the solution for all time. This class of null forms include several prototypical strong null conditions as special cases. To handle the critical decay near the light cone we inflate the nonlinearity through a new normal form type transformation which is based on a deep cancelation between the tangential and normal derivatives with respect to the light cone. Our proof does not employ the Lorentz boost and can be generalized to systems with multiple speeds.


title: Regular graphs with few longest cycles

abstract: Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput, and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every non-negative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.


title: Covariate adjustment in continuous biomarker assessment

abstract: Continuous biomarkers are common for disease screening and diagnosis. To reach a dichotomous clinical decision, a threshold would be imposed to distinguish subjects with disease from non-diseased individuals. Among various performance metrics for a continuous biomarker, specificity at a controlled sensitivity level (or vice versa) is often desirable for clinical utility since it directly targets where the clinical test is intended to operate. Covariates, such as age, race, and sample collection, could impact the controlled sensitivity level in subpopulations and may also confound the association between biomarker and disease status. Therefore, covariate adjustment is important in such biomarker evaluation. In this paper, we suggest to adopt a parsimonious quantile regression model for the diseased population, locally at the controlled sensitivity level, and assess specificity with covariate-specific control of the sensitivity. Variance estimates are obtained from a sample-based approach and bootstrap. Furthermore, our proposed local model extends readily to a global one for covariate adjustment for the receiver operating characteristic (ROC) curve over the sensitivity continuum. We demonstrate computational efficiency of this proposed method and restore the inherent monotonicity in the estimated covariate-adjusted ROC curve. The asymptotic properties of the proposed estimators are established. Simulation studies show favorable performance of the proposal. Finally, we illustrate our method in biomarker evaluation for aggressive prostate cancer.


title: A Decentralized Shared CAV System Design and Application

abstract: In this study, we propose a novel heuristic two-step algorithm for shared ridehailing in which users can share their rides with only one more user. The algorithm, which is centrally formulated, starts with matching users and creating a set of passenger pairs in step 1 and is followed by solving an assignment problem to assign passenger pairs to the vehicles. To solve the problem of high computational time in dynamic ride-matching problems, we propose a distributed system that is based on vehicle to infrastructure (V2I) and infrastructure to infrastructure (I2I) communication. To evaluate the distributed system's performance, we compare it with the proposed centralized ridehailing algorithm. Both centralized and distributed systems are implemented in a micro-traffic simulator to assess their performance and their impact on traffic congestion. Downtown Toronto road network was chosen as the study area. Based on our obtained results, the service rate of the distributed system was 91.59% which is close to 95.80% in the centralized system. However, the distributed system yielded much lower computational time compared to centralized. Furthermore, the scalability of the distributed system was shown by testing it on a small network and comparing with the entire network.


title: Higher order moments of generalized quadratic Gauss sums weighted by $L$-functions

abstract: The main purpose of this paper is to study higher order moments of the generalized quadratic Gauss sums weighted by $L$-functions using estimates for character sums and analytic methods. We find asymptotic formulas for three character sums which arise naturally in the study of higher order moments of the generalized quadratic Gauss sums. We then use these character sum estimates to find asymptotic formulas for the $\nth{6}$ and $\nth{8}$ order moments of the generalized quadratic Gauss sums weighted by $L$-functions. Our asymptotic formulas satisfy a conjecture of Wenpeng Zhang.


title: Spin scissors or spin-flip? (comment on the paper in arXiv:2102.13580v1 [nucl-th], 2021)

abstract: It is explained that the spin scissors and spin-flip are different names of the same physical phenomenon. The relation between WFM and RPA methods is clarified.


title: Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms

abstract: Empirical studies are fundamental in assessing the effectiveness of implementations of branch-and-bound algorithms. The complexity of such implementations makes empirical study difficult for a wide variety of reasons. Various attempts have been made to develop and codify a set of standard techniques for the assessment of optimization algorithms and their software implementations; however, most previous work has been focused on classical sequential algorithms. Since parallel computation has become increasingly mainstream, it is necessary to re-examine and modernize these practices. In this paper, we propose a framework for assessment based on the notion that \emph{resource consumption} is at the heart of what we generally refer to as the "effectiveness" of an implementation. The proposed framework carefully distinguishes between an implementation's baseline efficiency, the efficacy with which it utilizes a fixed allocation of resources, and its scalability, a measure of how the efficiency changes as resources (typically additional computing cores) are added or removed. Efficiency is typically applied to sequential implementations, whereas scalability is applied to parallel implementations. Efficiency and scalability are both important contributors in determining the overall effectiveness of a given parallel implementation, but the goal of improved efficiency is often at odds with the goal of improved scalability. Within the proposed framework, we review the challenges to effective evaluation and discuss the strengths and weaknesses of existing methods of assessment.


title: Super-resolved imaging of a single cold atom on a nanosecond timescale

abstract: In cold atomic systems, fast and high-resolution microscopy of individual atoms is crucial, since it can provide direct information on the dynamics and correlations of the system. Here, we demonstrate nanosecond-scale two-dimensional stroboscopic pictures of a single trapped ion beyond the optical diffraction limit, by combining the main idea of ground-state depletion microscopy with quantum state transition control in cold atoms. We achieve a spatial resolution up to 175~nm using an NA = 0.1 objective in the experiment, which represents a more than tenfold improvement compared with direct fluorescence imaging. To show the potential of this method, we apply it to observe the secular motion of the trapped ion, we demonstrate a temporal resolution up to 50~ns with a displacement detection sensitivity of 10~nm. Our method provides a powerful tool for probing particle positions, momenta, and correlations, as well as their dynamics in cold atomic systems.


title: HTN Planning Domain for Deployment of Cloud Applications

abstract: Cloud providers are facing a complex problem in configuring software applications ready for deployment on their infrastructures. Hierarchical Task Network (HTN) planning can provide effective means to solve such deployment problems. We present an HTN planning domain that models deployment problems as found in realistic Cloud environments.


title: Asymptotic Expansion of Laplace-Fourier-Type Integrals

abstract: We study the asymptotic behaviour of integrals of the Laplace-Fourier type $P(k) = \int_\Omega\mathrm{e}^{-|k|^sf(x)}\mathrm{e}^{\mathrm{i} kx}\mathrm{d} x\;, $ with $k\in\mathbb{R}^d$ in $d\ge1$ dimensions, with $\Omega\subset\mathbb{R}^d$ and sufficiently well-behaved functions $f:\Omega\to\mathbb{R}$. Our main result is $ P(k) \sim \frac{\mathrm{e}^{-|k|^sf(0)}}{|k|^{sd/2}}\sqrt{\frac{(2\pi)^d}{\det A}} \exp\left(-\frac{k^\top A^{-1}k}{2|k|^s}\right) $ for $|k|\to\infty$, where $A$ is the Hessian matrix of the function $f$ at its critical point, assumed to be at $x_0 = 0$. In one dimension, the Hessian is replaced by the second derivative, $A = f''(0)$. We also show that the integration domain $\Omega$ can be extended to $\mathbb{R}^d$ without changing the asymptotic behaviour.


title: Multiple Sclerosis Lesion Analysis in Brain Magnetic Resonance Images: Techniques and Clinical Applications

abstract: Multiple sclerosis (MS) is a chronic inflammatory and degenerative disease of the central nervous system, characterized by the appearance of focal lesions in the white and gray matter that topographically correlate with an individual patient's neurological symptoms and signs. Magnetic resonance imaging (MRI) provides detailed in-vivo structural information, permitting the quantification and categorization of MS lesions that critically inform disease management. Traditionally, MS lesions have been manually annotated on 2D MRI slices, a process that is inefficient and prone to inter-/intra-observer errors. Recently, automated statistical imaging analysis techniques have been proposed to detect and segment MS lesions based on MRI voxel intensity. However, their effectiveness is limited by the heterogeneity of both MRI data acquisition techniques and the appearance of MS lesions. By learning complex lesion representations directly from images, deep learning techniques have achieved remarkable breakthroughs in the MS lesion segmentation task. Here, we provide a comprehensive review of state-of-the-art automatic statistical and deep-learning MS segmentation methods and discuss current and future clinical applications. Further, we review technical strategies, such as domain adaptation, to enhance MS lesion segmentation in real-world clinical settings.


title: Reproducibility Report for the Paper: QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems

abstract: The authors have uploaded their artifact to Zenodo, which ensures a long-term retention of the artifact. The artifact allows to re-run the experiments very smoothly, and the dependencies are well documented. The process to regenerate data for the figures and tables in the paper completes, and all results are reproducible. This paper can thus receive the Artifacts Available badge. The software in the artifact runs correctly with no trouble, and is relevant to the paper, thus deserving the Artifacts Evaluated -- Functional badge. Given the successful reproduction of all figures and tables, the Results Reproduced badge can be assigned.


title: Theoretical Modeling of Structure-Toxicity Relationship of Cyanides

abstract: The global descriptors of chemical activity:ionization potential IP, electron affinity EA, chemical potential mu, absolute electronegativity chi, molecular hardness eta and softness S,electrophilicity index omega for cyanides X(CN)k with X=H, Na, K, Ag, Cu, Ca, Hg, Cd, Zn in the gas phase and water medium have been determined by taking advantage of the quantum-chemical computations.To this aim, the HOMO and LUMO energy levels were calculated using DFT B3LYP method and QZVP (Valence Quadruple-Zeta Polarization) basis set, which enables precise calculations for hydrogen cyanide and its salts containing both light (H, Na, Ca) and heavy (K, Ag, Cu, Cd, Hg, Zn) atoms.The results obtained indicate that while the EA-parameter roughly determines the LD50 values for the cyanides considered, the omega-descriptor is related rather to the product of cyanide LD50 and hydrolysis n-degree.Hence,the theoretical LD50CN(omega) function proposed is interconnected with the nLD50 collective variable, whereas LD50(EA)directly approximates LD50 indicating that the toxicity of cyanides decreases with increasing EA, omega-values.The calculations carried out suggest that some of the LD50(Exp)experimentally determined are incorrect (AgCN) or inaccurate (Cd(CN)2) and require revision.Comparison of the theoretically estimated LD50(omega) with NOAEL toxicity parameters indicates that they are well correlated in contrast to LD50(EA) and LD50(Exp), exhibiting lower and marginal degrees of correlation, respectively.


title: Fermion Sign Problem in Path Integral Monte Carlo Simulations: Grand-canonical ensemble

abstract: We present a practical analysis of the fermion sign problem in fermionic path integral Monte Carlo (PIMC) simulations in the grand-canonical ensemble (GCE). As a representative model system, we consider electrons in a $2D$ harmonic trap. We find that the sign problem in the GCE is even more severe than in the canonical ensemble at the same conditions, which, in general, makes the latter the preferred option. Despite these difficulties, we show that fermionic PIMC simulations in the GCE are still feasible in many cases, which potentially gives access to important quantities like the compressiblity or the Matsubara Greens function. This has important implications for contemporary fields of research such as warm dense matter, ultracold atoms, and electrons in quantum dots.


title: Safety-enhanced UAV Path Planning with Spherical Vector-based Particle Swarm Optimization

abstract: This paper presents a new algorithm named spherical vector-based particle swarm optimization (SPSO) to deal with the problem of path planning for unmanned aerial vehicles (UAVs) in complicated environments subjected to multiple threats. A cost function is first formulated to convert the path planning into an optimization problem that incorporates requirements and constraints for the feasible and safe operation of the UAV. SPSO is then used to find the optimal path that minimizes the cost function by efficiently searching the configuration space of the UAV via the correspondence between the particle position and the speed, turn angle and climb/dive angle of the UAV. To evaluate the performance of SPSO, eight benchmarking scenarios have been generated from real digital elevation model maps. The results show that the proposed SPSO outperforms not only other particle swarm optimization (PSO) variants including the classic PSO, phase angle-encoded PSO and quantum-behave PSO but also other state-of-the-art metaheuristic optimization algorithms including the genetic algorithm (GA), artificial bee colony (ABC), and differential evolution (DE) in most scenarios. In addition, experiments have been conducted to demonstrate the validity of the generated paths for real UAV operations. Source code of the algorithm can be found at https://github.com/duongpm/SPSO.


title: On Generating and Labeling Network Traffic with Realistic, Self-Propagating Malware

abstract: Research and development of techniques which detect or remediate malicious network activity require access to diverse, realistic, contemporary data sets containing labeled malicious connections. In the absence of such data, said techniques cannot be meaningfully trained, tested, and evaluated. Synthetically produced data containing fabricated or merged network traffic is of limited value as it is easily distinguishable from real traffic by even simple machine learning (ML) algorithms. Real network data is preferable, but while ubiquitous is broadly both sensitive and lacking in ground truth labels, limiting its utility for ML research. This paper presents a multi-faceted approach to generating a data set of labeled malicious connections embedded within anonymized network traffic collected from large production networks. Real-world malware is defanged and introduced to simulated, secured nodes within those networks to generate realistic traffic while maintaining sufficient isolation to protect real data and infrastructure. Network sensor data, including this embedded malware traffic, is collected at a network edge and anonymized for research use. Network traffic was collected and produced in accordance with the aforementioned methods at two major educational institutions. The result is a highly realistic, long term, multi-institution data set with embedded data labels spanning over 1.5 trillion connections and over a petabyte of sensor log data. The usability of this data set is demonstrated by its utility to our artificial intelligence and machine learning (AI/ML) research program.


title: Ranking Love numbers for the neutron star equation of state: The need for third-generation detectors

abstract: Gravitational-wave measurements of the tidal deformability in neutron-star binary coalescences can be used to infer the still unknown equation of state (EoS) of dense matter above the nuclear saturation density. By employing a Bayesian-ranking test we quantify the ability of current and future gravitational-wave observations to discriminate among families of nuclear-physics based EoS which differ in particle content and ab-initio microscopic calculations. While the constraining power of GW170817 is limited, we show that even twenty coalescences detected by LIGO-Virgo at design sensitivity are not enough to discriminate between EoS with similar softness but distinct microphysics. However, just a single detection with a third-generation detector such as the Einstein Telescope or Cosmic Explorer will rule out several families of EoS with very strong statistical significance, and can discriminate among models which feature similar softness, hence constraining the properties of nuclear matter to unprecedented levels.


title: VT-ADL: A Vision Transformer Network for Image Anomaly Detection and Localization

abstract: We present a transformer-based image anomaly detection and localization network. Our proposed model is a combination of a reconstruction-based approach and patch embedding. The use of transformer networks helps to preserve the spatial information of the embedded patches, which are later processed by a Gaussian mixture density network to localize the anomalous areas. In addition, we also publish BTAD, a real-world industrial anomaly dataset. Our results are compared with other state-of-the-art algorithms using publicly available datasets like MNIST and MVTec.


title: Efficient Online Transfer Learning for 3D Object Classification in Autonomous Driving

abstract: Autonomous driving has achieved rapid development over the last few decades, including the machine perception as an important issue of it. Although object detection based on conventional cameras has achieved remarkable results in 2D/3D, non-visual sensors such as 3D LiDAR still have incomparable advantages in the accuracy of object position detection. However, the challenge also exists with the difficulty in properly interpreting point cloud generated by LiDAR. This paper presents a multi-modal-based online learning system for 3D LiDAR-based object classification in urban environments, including cars, cyclists and pedestrians. The proposed system aims to effectively transfer the mature detection capabilities based on visual sensors to the new model learning based on non-visual sensors through a multi-target tracker (i.e. using one sensor to train another). In particular, it integrates the Online Random Forests (ORF) [1] method, which inherently has the abilities of fast and multi-class learning. Through experiments, we show that our system is capable of learning a high-performance model for LiDAR-based 3D object classification on-the-fly, which is especially suitable for robotics in-situ deployment while responding to the widespread challenge of insufficient detector generalization capabilities.


title: Scaling of Erosion Rate in Subsonic Jet Experiments and Apollo Lunar Module Landings

abstract: Small scale jet-induced erosion experiments are useful for identifying the scaling of erosion with respect to the various physical parameters (gravity, grain size, gas velocity, gas density, grain density, etc.), and because they provide a data set for benchmarking numerical flow codes. We have performed experiments varying the physical parameters listed above (e.g., gravity was varied in reduced gravity aircraft flights). In all these experiments, a subsonic jet of gas impinges vertically on a bed of sand or lunar soil simulant forming a localized scour hole beneath the jet. Videography captures the erosion and scour hole formation processes, and analysis of these videos post-test identifies the scaling of these processes. This has produced important new insights into the physics of erosion. Based on these insights, we have developed an erosion rate model that can be applied to generalized situations, such as the erosion of soil beneath a horizontal gas flow on a planetary surface. This is important to lunar exploration because the rate of erosion beneath the rocket exhaust plume of a landing spacecraft will determine the amount of sand-blasting damage that can be inflicted upon surrounding hardware. Although the rocket exhaust plume at the exit of the nozzle is supersonic, the boundary layer on the lunar surface where erosion occurs is subsonic. The model has been benchmarked through comparison with the Apollo landing videos, which show the blowing lunar soil, and computational fluid dynamics simulations of those landings.


title: GraphGuess: Approximate Graph Processing System with Adaptive Correction

abstract: Graph-based data structures have drawn great attention in recent years. The large and rapidly growing trend on developing graph processing systems focuses mostly on improving the performance by preprocessing the input graph and modifying its layout. These systems usually take several hours to days to complete processing a single graph on high-end machines, let alone the overhead of pre-processing which most of the time can be dominant. Yet for most graph applications the exact answer is not always crucial, and providing a rough estimate of the final result is adequate. Approximate computing is introduced to trade off accuracy of results for computation or energy savings that could not be achieved by conventional techniques alone. In this work, we design, implement and evaluate GraphGuess, inspired from the domain of approximate graph theory and extend it to a general, practical graph processing system. GraphGuess is essentially an approximate graph processing technique with adaptive correction, which can be implemented on top of any graph processing system. We build a vertex-centric processing system based on GraphGuess, where it allows the user to trade off accuracy for better performance. Our experimental studies show that using GraphGuess can significantly reduce the processing time for large scale graphs while maintaining high accuracy.


title: Fairly Constricted Multi-Objective Particle Swarm Optimization

abstract: It has been well documented that the use of exponentially-averaged momentum (EM) in particle swarm optimization (PSO) is advantageous over the vanilla PSO algorithm. In the single-objective setting, it leads to faster convergence and avoidance of local minima. Naturally, one would expect that the same advantages of EM carry over to the multi-objective setting. Hence, we extend the state of the art Multi-objective optimization (MOO) solver, SMPSO, by incorporating EM in it. As a consequence, we develop the mathematical formalism of constriction fairness which is at the core of extended SMPSO algorithm. The proposed solver matches the performance of SMPSO across the ZDT, DTLZ and WFG problem suites and even outperforms it in certain instances.


title: Particle swarm optimization in constrained maximum likelihood estimation a case study

abstract: The aim of paper is to apply two types of particle swarm optimization, global best andlocal best PSO to a constrained maximum likelihood estimation problem in pseudotime anal-ysis, a sub-field in bioinformatics. The results have shown that particle swarm optimizationis extremely useful and efficient when the optimization problem is non-differentiable and non-convex so that analytical solution can not be derived and gradient-based methods can not beapplied.


title: A Brief Overview of the UML Scientific Profile

abstract: This article provides a brief overview of the UML SP (UML Scientific Profile). It is an Object-Oriented Simulation Language and may find usage in OOS and ABS. UML SP allows for the application of Unified Process methodology for the development of simulation software. It supports the first three stages of simulation: (1) definition of simulation objectives, definition of requirements for simulation software, (2) conceptual modelling, (3) formal description and partially, (4) programming. UML SPs positioning is that of a language for scientific simulation. It can easily be implemented in UML editors that support UML profiles. The project is available as open source on the GitHub platform.


title: Comprendre l atmosphere du Soleil et celles des etoiles variables a la fin du 19e siecle or, Understanding the Sun and variable stars atmospheres at the end of the 19th Century

abstract: Guy Boistel questions the Sun / variable stars analogy at the heart of the work of Dutch astronomer Albert Brester. The problem of interdisciplinarity appears in the objectification of the Sun at the end of the 19th century: it is by mixing astronomy, physics and chemistry that Brester tried to apply knowledge of the solar atmosphere to the understanding of variable stars, a fairly confidential field of study still at that time.


title: BCNN: Binary Complex Neural Network

abstract: Binarized neural networks, or BNNs, show great promise in edge-side applications with resource limited hardware, but raise the concerns of reduced accuracy. Motivated by the complex neural networks, in this paper we introduce complex representation into the BNNs and propose Binary complex neural network -- a novel network design that processes binary complex inputs and weights through complex convolution, but still can harvest the extraordinary computation efficiency of BNNs. To ensure fast convergence rate, we propose novel BCNN based batch normalization function and weight initialization function. Experimental results on Cifar10 and ImageNet using state-of-the-art network models (e.g., ResNet, ResNetE and NIN) show that BCNN can achieve better accuracy compared to the original BNN models. BCNN improves BNN by strengthening its learning capability through complex representation and extending its applicability to complex-valued input data. The source code of BCNN will be released on GitHub.


title: On the Canham Problem: Bending Energy Minimizers for any Genus and Isoperimetric Ratio

abstract: Building on work of Mondino-Scharrer, we show that among closed, smoothly embedded surfaces in $\mathbb{R}^3$ of genus $g$ and given isoperimetric ratio $v$, there exists one with minimum bending energy $\mathcal{W}$. We do this by gluing $g+1$ small catenoidal bridges to the bigraph of a singular solution for the linearized Willmore equation $\Delta (\Delta +2)\varphi=0$ on the $(g+1)$-punctured sphere $\mathbb{S}^2$ to construct a comparison surface of genus $g$ with arbitrarily small isoperimetric ratio $v\in (0, 1)$ and $\mathcal{W} < 8\pi$.