title: Advances in adversarial attacks and defenses in computer vision: A survey

abstract: Deep Learning (DL) is the most widely used tool in the contemporary field of computer vision. Its ability to accurately solve complex problems is employed in vision research to learn deep neural models for a variety of tasks, including security critical applications. However, it is now known that DL is vulnerable to adversarial attacks that can manipulate its predictions by introducing visually imperceptible perturbations in images and videos. Since the discovery of this phenomenon in 2013~[1], it has attracted significant attention of researchers from multiple sub-fields of machine intelligence. In [2], we reviewed the contributions made by the computer vision community in adversarial attacks on deep learning (and their defenses) until the advent of year 2018. Many of those contributions have inspired new directions in this area, which has matured significantly since witnessing the first generation methods. Hence, as a legacy sequel of [2], this literature review focuses on the advances in this area since 2018. To ensure authenticity, we mainly consider peer-reviewed contributions published in the prestigious sources of computer vision and machine learning research. Besides a comprehensive literature review, the article also provides concise definitions of technical terminologies for non-experts in this domain. Finally, this article discusses challenges and future outlook of this direction based on the literature reviewed herein and [2].


title: Style Curriculum Learning for Robust Medical Image Segmentation

abstract: The performance of deep segmentation models often degrades due to distribution shifts in image intensities between the training and test data sets. This is particularly pronounced in multi-centre studies involving data acquired using multi-vendor scanners, with variations in acquisition protocols. It is challenging to address this degradation because the shift is often not known \textit{a priori} and hence difficult to model. We propose a novel framework to ensure robust segmentation in the presence of such distribution shifts. Our contribution is three-fold. First, inspired by the spirit of curriculum learning, we design a novel style curriculum to train the segmentation models using an easy-to-hard mode. A style transfer model with style fusion is employed to generate the curriculum samples. Gradually focusing on complex and adversarial style samples can significantly boost the robustness of the models. Second, instead of subjectively defining the curriculum complexity, we adopt an automated gradient manipulation method to control the hard and adversarial sample generation process. Third, we propose the Local Gradient Sign strategy to aggregate the gradient locally and stabilise training during gradient manipulation. The proposed framework can generalise to unknown distribution without using any target data. Extensive experiments on the public M\&Ms Challenge dataset demonstrate that our proposed framework can generalise deep models well to unknown distributions and achieve significant improvements in segmentation accuracy.


title: $(H,\rho)$--induced political dynamics: facets of the disloyal attitudes into the public opinion

abstract: A simple model, suitable to describe the dynamics of a political system consisting of three macro--groups affected by turncoat--like behaviors and the influence of the opportunistic attitudes of politicians on voters' opinion, is presented. The model is based on raising and lowering fermionic operators whose dynamics is ruled by a suitable quadratic Hamiltonian operator with the addition of specific rules (depending on the variations of the mean values of the observables) able to adjust periodically the model to the political environment, \emph{i.e.}, we move in the framework of the so called $(H,\rho)$--induced dynamics approach.


title: Masking Neural Networks Using Reachability Graphs to Predict Process Events

abstract: Decay Replay Mining is a deep learning method that utilizes process model notations to predict the next event. However, this method does not intertwine the neural network with the structure of the process model to its full extent. This paper proposes an approach to further interlock the process model of Decay Replay Mining with its neural network for next event prediction. The approach uses a masking layer which is initialized based on the reachability graph of the process model. Additionally, modifications to the neural network architecture are proposed to increase the predictive performance. Experimental results demonstrate the value of the approach and underscore the importance of discovering precise and generalized process models.


title: Computation of the Activity-on-Node Binary-State Reliability with Uncertainty Components

abstract: Various networks such as cloud computing, water/gas/electricity networks, wireless sensor networks, transportation networks, and 4G/5G networks, have become an integral part of our daily lives. A binary-state network (BN) is often used to model network structures and applications. The BN reliability is the probability that a BN functions continuously; that is, that there is always a simple path connected between a specific pair of nodes. This metric is a popular index for designing, managing, controlling, and evaluating networks. The traditional BN reliability assumes that the reliability of each arc is known in advance. However, this is not always the case. Functioning components operate under different environments; moreover, a network might have newly installed components. Hence, the reliability of these components is not always known. To resolve the aforementioned problems, in which the reliability of some components of a network are uncertain, we introduce the fuzzy concept for the analysis of these components, and propose a new algorithm to solve this uncertainty-component BN reliability problem. The time complexity of the proposed algorithm is analyzed, and the superior performance of the algorithm is demonstrated through examples.


title: Discovering Distinctive "Semantics" in Super-Resolution Networks

abstract: Image super-resolution (SR) is a representative low-level vision problem. Although deep SR networks have achieved extraordinary success, we are still unaware of their working mechanisms. Specifically, whether SR networks can learn semantic information, or just perform complex mapping function? What hinders SR networks from generalizing to real-world data? These questions not only raise our curiosity, but also influence SR network development. In this paper, we make the primary attempt to answer the above fundamental questions. After comprehensively analyzing the feature representations (via dimensionality reduction and visualization), we successfully discover the distinctive "semantics" in SR networks, i.e., deep degradation representations (DDR), which relate to image degradation instead of image content. We show that a well-trained deep SR network is naturally a good descriptor of degradation information. Our experiments also reveal two key factors (adversarial learning and global residual) that influence the extraction of such semantics. We further apply DDR in several interesting applications (such as distortion identification, blind SR and generalization evaluation) and achieve promising results, demonstrating the correctness and effectiveness of our findings.


title: A Branch-and-Price approach for the Continuous Multifacility Monotone Ordered Median Problem

abstract: In this paper, we address the Continuous Multifacility Monotone Ordered Median Problem. This problem minimizes a monotone ordered weighted median function of the distances between given demand points in $\mathbb{R}^d$ and its closest facility among the $p$ selected, also in a continuous space. We propose a new branch-and-price procedure for this problem, and two mathehuristics. One of them is a decomposition-based procedure and the other an aggregation-based heuristic. We give detailed discussions of the validity of the exact formulations and also specify the implementation details of all the solution procedures. Besides, we assess their performance in an extensive computational experience that shows the superiority of the branch-and-price approach over the compact formulation in medium-sized instances. To handle larger instances it is advisable to resort to the matheuristics that also report rather good results.


title: CSC-Unet: A Novel Convolutional Sparse Coding Strategy Based Neural Network for Semantic Segmentation

abstract: It is a challenging task to accurately perform semantic segmentation due to the complexity of real picture scenes. Many semantic segmentation methods based on traditional deep learning insufficiently captured the semantic and appearance information of images, which put limit on their generality and robustness for various application scenes. In this paper, we proposed a novel strategy that reformulated the popularly-used convolution operation to multi-layer convolutional sparse coding block to ease the aforementioned deficiency. This strategy can be possibly used to significantly improve the segmentation performance of any semantic segmentation model that involves convolutional operations. To prove the effectiveness of our idea, we chose the widely-used U-Net model for the demonstration purpose, and we designed CSC-Unet model series based on U-Net. Through extensive analysis and experiments, we provided credible evidence showing that the multi-layer convolutional sparse coding block enables semantic segmentation model to converge faster, can extract finer semantic and appearance information of images, and improve the ability to recover spatial detail information. The best CSC-Unet model significantly outperforms the results of the original U-Net on three public datasets with different scenarios, i.e., 87.14% vs. 84.71% on DeepCrack dataset, 68.91% vs. 67.09% on Nuclei dataset, and 53.68% vs. 48.82% on CamVid dataset, respectively.


title: Dissipationless Spin-Charge Conversion in Excitonic Pseudospin Superfluid

abstract: Spin-charge conversion by inverse spin Hall effect or inverse Rashba-Edelstein effect is prevalent in spintronics but dissipative. We propose a dissipationless spin-charge conversion mechanism by an excitonic pseudospin superfluid in an electron-hole double layer system. Magnetic exchange fields lift singlet-triplet degeneracy of interlayer exciton levels in the double layer system. Condensation of the singlet-triplet hybridized excitons breaks both a U(1) gauge symmetry and a pseudospin rotational symmetry around the fields, leading to spin-charge coupled superflow in the system. We demonstrate the mechanism by deriving spin-charge coupled Josephson equations for the excitonic superflow from a coupled quantum-dot model.


title: Relevance ranking for proximity full-text search based on additional indexes with multi-component keys

abstract: The problem of proximity full-text search is considered. If a search query contains high-frequently occurring words, then multi-component key indexes deliver an improvement in the search speed compared with ordinary inverted indexes. It was shown that we can increase the search speed by up to 130 times in cases when queries consist of high-frequently occurring words. In this paper, we investigate how the multi-component key index architecture affects the quality of the search. We consider several well-known methods of relevance ranking, where these methods are of different authors. Using these methods, we perform the search in the ordinary inverted index and then in an index enhanced with multi-component key indexes. The results show that with multi-component key indexes we obtain search results that are very close, in terms of relevance ranking, to the search results that are obtained by means of ordinary inverted indexes.


title: Reiteration Theorem for ${\mathcal R}$ and ${\mathcal L}$-spaces with the same parameter

abstract: Let $E, F, E_0, E_1$ be rearrangement invariant spaces; let $a, \mathrm{b}, \mathrm{b}_0, \mathrm{b}_1$ be slowly varying functions and $0< \theta_0,\theta_1<1$. We characterize the interpolation spaces $$\Big(\overline{X}^{\mathcal R}_{\theta_0,\mathrm{b}_0,E_0,\mathrm{a},F}, \overline{X}^{\mathcal L}_{\theta_1,\mathrm{b}_1,E_1,\mathrm{a},F}\Big)_{\eta,\mathrm{b},E}\:, \quad 0\leq\eta\leq1,$$ when the parameters $\theta_0$ and $\theta_1$ are equal (under appropriate conditions on $\mathrm{b}_i(t)$, $i=0,1$). This completes the study started in \cite{Do2020,FMS-RL3}, which only considered the case $\theta_0<\theta_1$. As an application we recover and generalize interpolation identities for grand and small Lebesgue spaces.


title: On Enriched Categories and Induced Representations

abstract: We show that induced representations for a pair of $\textit{diffeological Lie groups}$ exist, in the form of an indexed colimit in the category of diffeological spaces.


title: Data-Driven Constitutive Relation Reveals Scaling Law for Hydrodynamic Transport Coefficients

abstract: Finding extended hydrodynamics equations valid from the dense gas region to the rarefied gas region remains a great challenge. The key to success is to obtain accurate constitutive relations for stress and heat flux. Data-driven models offer a new phenomenological approach to learning constitutive relations from data. Such models enable complex constitutive relations that extend Newton's law of viscosity and Fourier's law of heat conduction by regression on higher derivatives. However, the choices of derivatives in these models are ad-hoc without a clear physical explanation. We investigated data-driven models theoretically on a linear system. We argue that these models are equivalent to non-linear length scale scaling laws of transport coefficients. The equivalence to scaling laws justified the physical plausibility and revealed the limitation of data-driven models. Our argument also points out that modeling the scaling law could avoid practical difficulties in data-driven models like derivative estimation and variable selection on noisy data. We further proposed a constitutive relation model based on scaling law and tested it on the calculation of Rayleigh scattering spectra. The result shows our data-driven model has a clear advantage over the Chapman-Enskog expansion and moment methods.


title: When are trace ideals finite?

abstract: In this paper, we study Noetherian local rings $R$ having a finite number of trace ideals. We proved that such rings are of dimension at most two. Furthermore, if the integral closure of $R/H$, where $H$ is the zeroth local cohomology, is equi-dimensional, then the dimension of $R$ is at most one. In the one-dimensional case, we can reduce to the situation that rings are Cohen-Macaulay. Then, we give a necessary condition to have a finite number of trace ideals in terms of the value set obtained by the canonical module. We also gave the correspondence between trace ideals of $R$ and those of the endomorphism algebra of the maximal ideal of $R$ when $R$ has minimal multiplicity.


title: Computational Hierarchy of Elementary Cellular Automata

abstract: The complexity of cellular automata is traditionally measured by their computational capacity. However, it is difficult to choose a challenging set of computational tasks suitable for the parallel nature of such systems. We study the ability of automata to emulate one another, and we use this notion to define such a set of naturally emerging tasks. We present the results for elementary cellular automata, although the core ideas can be extended to other computational systems. We compute a graph showing which elementary cellular automata can be emulated by which and show that certain chaotic automata are the only ones that cannot emulate any automata non-trivially. Finally, we use the emulation notion to suggest a novel definition of chaos that we believe is suitable for discrete computational systems. We believe our work can help design parallel computational systems that are Turing-complete and also computationally efficient.


title: Network Flow based approaches for the Pipelines Routing Problem in Naval Design

abstract: In this paper we propose a general methodology for the optimal automatic routing of spatial pipelines motivated by a recent collaboration with Ghenova, a leading Naval Engineering company. We provide a minimum cost multicommodity network flow based model for the problem incorporating all the technical requirements for a feasible pipeline routing. A branch-and-cut approach is designed and different matheuristic algorithms are derived for solving efficiently the problem. We report the results of a battery of computational experiments to assess the problem performance as well as a case study of a real-world naval instance provided by our partner company.


title: Screened massive expansion of the quark propagator in the Landau gauge

abstract: The infrared behavior of the quark propagator is studied at one loop and in the Landau gauge ($\xi=0$) using the screened massive expansion of full QCD and three different resummation schemes for the quark self-energy. The shift of the expansion point of perturbation theory, which defines the screened expansion, together with a non-standard renormalization of the bare parameters, proves sufficient to describe the dynamical generation of an infrared quark mass also in the chiral limit. Analytically, the scale for such a mass is set by a mass parameter $M$, whose value is fixed by a fit to the lattice data for quenched QCD. The quark mass function $\mathcal{M}(p^{2})$ is shown to be in very good agreement with the lattice results. The quark $Z$-function, on the other hand, shows the wrong qualitative behavior in all but one of the studied resummation schemes, where its behavior is qualitatively correct, but only at sufficiently high energies.


title: An upper Minkowski bound for the interior singular set of area minimizing currents

abstract: We show that for an area minimizing $m$-dimensional integral current $T$ of codimension at least 2 inside a sufficiently regular Riemannian manifold, the upper Minkowski dimension of the interior singular set is at most $m-2$. This provides a strengthening of the existing $(m-2)$-dimensional Hausdorff dimension bound due to Almgren and De Lellis & Spadaro. As a by-product of the proof, we establish an improvement on the persistence of singularities along the sequence of center manifolds taken to approximate $T$ along blow-up scales.


title: Macroscopic quantum tunneling: from quantum vortices to black holes and Universe

abstract: The paper has been prepared for the JETP issue, dedicated to the 95th anniversary of the birth of E.I. Rashba. E. Rashba stood at the origins of macroscopic quantum tunneling together with his colleagues from the Landau Institute S.V. Iordansky and A.M. Finkelshtein. They pave the way for studying macroscopic quantum tunneling in various systems. In this paper, this approach is extended to cosmological objects such as a black hole and de Sitter Universe. In particular, this allowed to calculate the entropy of Reissner-Nordstr\"om (RN) black hole with two horizons and the corresponding temperature of the thermal Hawking radiation. Several different approaches were used: the method of semiclassical tunneling for calculation of the Hawking temperature; the cotunneling mechanism -- the coherent sequence of tunneling at two horizons, each determined by the corresponding Hawking temperature; the method of singular coordinate transformations for calculations of macroscopic quantum tunneling from the RN black hole to the RN white hole; the method of the adiabatic change of the fine structure constant for the adiabatic transformation from the RN black hole to the Schwarzschild black hole; etc.


title: Connectivity of Alternating Sign Triangle

abstract: Alternating sign triangles were introduced by Carroll and Speyer in relation to cube recurrence, by analogy to alternating sign matrices for octahedron recurrence. In this paper, we prove the connectivity of alternating sign triangles, which is analogous to the connectivity of alternating sign matrices.


title: Automated Pest Detection with DNN on the Edge for Precision Agriculture

abstract: Artificial intelligence has smoothly penetrated several economic activities, especially monitoring and control applications, including the agriculture sector. However, research efforts toward low-power sensing devices with fully functional machine learning (ML) on-board are still fragmented and limited in smart farming. Biotic stress is one of the primary causes of crop yield reduction. With the development of deep learning in computer vision technology, autonomous detection of pest infestation through images has become an important research direction for timely crop disease diagnosis. This paper presents an embedded system enhanced with ML functionalities, ensuring continuous detection of pest infestation inside fruit orchards. The embedded solution is based on a low-power embedded sensing system along with a Neural Accelerator able to capture and process images inside common pheromone-based traps. Three different ML algorithms have been trained and deployed, highlighting the capabilities of the platform. Moreover, the proposed approach guarantees an extended battery life thanks to the integration of energy harvesting functionalities. Results show how it is possible to automate the task of pest infestation for unlimited time without the farmer's intervention.


title: An Effective and Robust Detector for Logo Detection

abstract: In recent years, intellectual property (IP), which represents literary, inventions, artistic works, etc, gradually attract more and more people's attention. Particularly, with the rise of e-commerce, the IP not only represents the product design and brands, but also represents the images/videos displayed on e-commerce platforms. Unfortunately, some attackers adopt some adversarial methods to fool the well-trained logo detection model for infringement. To overcome this problem, a novel logo detector based on the mechanism of looking and thinking twice is proposed in this paper for robust logo detection. The proposed detector is different from other mainstream detectors, which can effectively detect small objects, long-tail objects, and is robust to adversarial images. In detail, we extend detectoRS algorithm to a cascade schema with an equalization loss function, multi-scale transformations, and adversarial data augmentation. A series of experimental results have shown that the proposed method can effectively improve the robustness of the detection model. Moreover, we have applied the proposed methods to competition ACM MM2021 Robust Logo Detection that is organized by Alibaba on the Tianchi platform and won top 2 in 36489 teams. Code is available at https://github.com/jiaxiaojunQAQ/Robust-Logo-Detection.


title: Cosmological implications of Rastall-$f(R)$ theory

abstract: Cosmological implications of a generalized Rastall theory where the non-conservation equation is promoted to accepts arbitrary functions of the Ricci scalar is considered. We have obtain the model parameters of the power-law ansatz $f\propto R^\eta$, using $H_0$ and $f\sigma_8$ data sets and show that the generalized Rastall theory could satisfy observational data. The dynamical analysis of the model shows that for $\eta\in(0,1)$, the dust dominated fixed point is lost and as a result the parameter range of $\eta$ should be restricted to $\eta\geq1$. We will also show that the genralized Rastall theory will predict more accelerating universe with larger radius, compared to the $\Lambda$CDM model.


title: Representations of the Bondi-Metzner-Sachs group in three space-time dimensions in the Hilbert topology I. Determination of the representations

abstract: The original Bondi$-$Metzner-Sachs (BMS) group B is the common asymptotic symmetry group of all asymptotically flat Lorentzian 4-dim space$-$times. As such, B is the best candidate for the universal symmetry group of General Relativity (G.R.). Here, the analogue $B(2,1)$ of $B$ in 3 space$-$time dimensions is properly defined. We study its representation theory in the Hilbert topology by using an infinite-dimensional extension of Wigner-Mackey theory. We obtain the necessary data in order to construct the strongly continuous irreducible unitary representations (IRS) of B(2,1). The main results of the representation theory are: The IRS are induced from ``little groups'' which are compact. There is one infinite connected ``little group'', the special orthogonal group SO(2). There are infinite non$-$connected finite discrete ``little groups'', the cyclic groups C_{n} of even order. The inducing construction is exhaustive notwithstanding the fact that B(2,1) is not locally compact in the employed Hilbert topology. B(2,1) is also derived, in Klein's sense, as the automorphism group of the ``strong conformal geometry'' of future null infinity. Besides the Hilbert topology other reasonable topologies are given to B(2,1) and their physical relevance is discussed. Connections of the IRS of B(2,1) with geometry are outlined.


title: Cellular organization in lab-evolved and extant multicellular species obeys a maximum entropy law

abstract: The prevalence of multicellular organisms is due in part to their ability to form complex structures. How cells pack in these structures is a fundamental biophysical issue, underlying their functional properties. However, much remains unknown about how cell packing geometries arise, and how they are affected by random noise during growth - especially absent developmental programs. Here, we quantify the statistics of cellular neighborhoods of two different multicellular eukaryotes: lab-evolved "snowflake" yeast and the green alga $Volvox~carteri$. We find that despite large differences in cellular organization, the free space associated with individual cells in both organisms closely fits a modified gamma distribution, consistent with maximum entropy predictions originally developed for granular materials. This 'entropic' cellular packing ensures a degree of predictability despite noise, facilitating parent-offspring fidelity even in the absence of developmental regulation. Together with simulations of diverse growth morphologies, these results suggest that gamma-distributed cell neighborhood sizes are a general feature of multicellularity, arising from conserved statistics of cellular packing.


title: Monte Carlo Simulations and Validation of NectarCAM, a Medium Sized Telescope Camera for CTA

abstract: The upcoming Cherenkov Telescope Array (CTA) ground-based gamma-ray observatory will open up our view of the very high energy Universe, offering an improvement in sensitivity of 5-10 times that of previous experiments. NectarCAM is one of the proposed cameras for the Medium-Sized Telescopes (MST) which have been designed to cover the core energy range of CTA, from 100 GeV to 10 TeV. The final camera will be capable of GHz sampling and provide a field of view of 8 degrees with its 265 modules of 7 photomultiplier each (for a total of 1855 pixels). In order to validate the performance of NectarCAM, a partially-equipped prototype has been constructed consisting of only the inner 61-modules. It has so far undergone testing at the integration test-bench facility in CEA Paris-Saclay (France) and on a prototype of the MST structure in Adlershof (Germany). To characterize the performance of the prototype, Monte Carlo simulations were conducted using a detailed model of the 61 module camera in the CORSIKA/sim_telarray framework. This contribution provides an overview of this work including the comparison of trigger and readout performance on test-bench data and trigger and image parameterization performance during on-sky measurements.


title: Large-scale spatio-temporal patterns in a ring of non-locally coupled oscillators with a repulsive coupling

abstract: Non-locally coupled oscillators with a phase lag exhibit various non-trivial spatio-temporal patterns such as the chimera states and the multi-twisted states. We numerically study large-scale spatio-temporal patterns in a ring of oscillators with a repulsive coupling with a phase delay parameter $\alpha$. We find that the multi-chimera state disappears when $\alpha$ exceeds a critical value. Analyzing the density of incoherent regions, we show that the transition is analogous to that of directed percolation with two absorbing states, but their critical behaviors are different. The multi-chimera state reappears when $\alpha$ is further increased, exhibiting non-trivial spatio-temporal patterns with a plateau in the density of incoherent regions. A transition from the multi-chimera to multi-twisted states follows at a larger value of $\alpha$, resulting in five collective phases in total.


title: Quantum key distribution with non-ideal heterodyne detection: composable security of discrete-modulation continuous-variable protocols

abstract: Continuous-variable quantum key distribution exploits coherent measurements of the electromagnetic field, i.e., homodyne or heterodyne detection. The most advanced security proofs developed so far relied on idealised mathematical models for such measurements, which assume that the measurement outcomes are continuous and unbounded variables. As physical measurement devices have finite range and precision, these mathematical models only serve as an approximation. It is expected that, under suitable conditions, the predictions obtained using these simplified models are in good agreement with the actual experimental implementations. However, a quantitative analysis of the error introduced by this approximation, and of its impact on composable security, have been lacking so far. Here we present a theory to rigorously account for the experimental limitations of realistic heterodyne detection. We focus on collective attacks, and present security proofs for the asymptotic and finite-size regimes, the latter within the framework of composable security. In doing this, we establish for the first time the composable security of discrete-modulation continuous-variable quantum key distribution in the finite-size regime. Tight bounds on the key rates are obtained through semi-definite programming and do not rely on a truncation of the Hilbert space.


title: Complete curves in the moduli space of polarized K3 surfaces and hyper-K\"ahler manifolds

abstract: Building on an idea of Borcherds, Katzarkov, Pantev, and Shepherd-Barron (who treated the case $e=14$), we prove that the moduli space of polarized K3 surfaces of degree $2e$ contains complete curves for all $e\geq 62$ and for some sporadic lower values of $e$ (starting at $14$). We also construct complete curves in the moduli spaces of polarized hyper-K\"ahler manifolds of $\mathrm{K3}^{[n]}$-type or $\mathrm{Kum}_n$-type for all $n\ge 1$ and polarizations of various degrees and divisibilities.


title: Hyper360 -- a Next Generation Toolset for Immersive Media

abstract: Spherical 360{\deg} video is a novel media format, rapidly becoming adopted in media production and consumption of immersive media. Due to its novelty, there is a lack of tools for producing highly engaging interactive 360{\deg} video for consumption on a multitude of platforms. In this work, we describe the work done so far in the Hyper360 project on tools for mixed 360{\deg} video and 3D content. Furthermore, the first pilots which have been produced with the Hyper360 tools and results of the audience assessment of the produced pilots are presented.


title: The distribution of spacings of real-valued lacunary sequences modulo one

abstract: Let $\left(a_{n}\right)_{n=1}^{\infty}$ be a lacunary sequence of positive real numbers. Rudnick and Technau showed that for almost all $\alpha\in\mathbb{R}$, the pair correlation of $\left(\alpha a_{n}\right)_{n=1}^{\infty}$ mod 1 is Poissonian. We show that all higher correlations and hence the nearest-neighbour spacing distribution are Poissonian as well, thereby extending a result of Rudnick and Zaharescu to real-valued sequences.


title: Fast and numerically stable particle-based online additive smoothing: the AdaSmooth algorithm

abstract: We present a novel sequential Monte Carlo approach to online smoothing of additive functionals in a very general class of path-space models. Hitherto, the solutions proposed in the literature suffer from either long-term numerical instability due to particle-path degeneracy or, in the case that degeneracy is remedied by particle approximation of the so-called backward kernel, high computational demands. In order to balance optimally computational speed against numerical stability, we propose to furnish a (fast) naive particle smoother, propagating recursively a sample of particles and associated smoothing statistics, with an adaptive backward-sampling-based updating rule which allows the number of (costly) backward samples to be kept at a minimum. This yields a new, function-specific additive smoothing algorithm, AdaSmooth, which is computationally fast, numerically stable and easy to implement. The algorithm is provided with rigorous theoretical results guaranteeing its consistency, asymptotic normality and long-term stability as well as numerical results demonstrating empirically the clear superiority of AdaSmooth to existing algorithms.


title: Deciding boundedness of monadic sirups

abstract: We show that deciding boundedness (aka FO-rewritability) of monadic single rule datalog programs (sirups) is 2Exp-hard, which matches the upper bound known since 1988 and finally settles a long-standing open problem. We obtain this result as a byproduct of an attempt to classify monadic `disjunctive sirups' -- Boolean conjunctive queries q with unary and binary predicates mediated by a disjunctive rule T(x)vF(x) <- A(x) -- according to the data complexity of their evaluation. Apart from establishing that deciding FO-rewritability of disjunctive sirups with a dag-shaped q is also 2Exp-hard, we make substantial progress towards obtaining a complete FO/L-hardness dichotomy of disjunctive sirups with ditree-shaped q.


title: Superconductivity enhanced by abundant low-energy phonons in (Sr$_{1-x}$Ca$_x$)$_3$Rh$_4$Sn$_{13}$

abstract: The effects of structural quantum criticality on the strong-coupling superconductivity of (Sr$_{1-x}$Ca$_x$)$_3$Rh$_4$Sn$_{13}$ have been investigated via electrical resistivity and specific heat measurements. We demonstrate that the lattice specific heat at low temperatures considerably increases toward the structural quantum critical point (SQCP), $x_{\rm c}\approx0.9$. The superconducting gap increases with $x$ in the exact same fashion as the low-temperature lattice specific heat, clearly indicating that the abundant low-energy phonons cause strong-coupling superconductivity. Despite the electron-phonon interaction, which is much more enhanced than the electron correlation, the low-temperature electrical resistivity near the SQCP varies as $\propto T^2$. This finding suggests that structural quantum fluctuation affects the power law arising from the electron-phonon scattering.


title: From nucleation to percolation: the effect of system size when disorder and stress localization compete

abstract: A phase diagram for a one-dimensional fiber bundle model is constructed with a continuous variation in two parameters guiding the dynamics of the model: strength of disorder and range of stress relaxation. When the range of stress relaxation is very low, the stress concentration plays a prominent role and the failure process is nucleating where a single crack propagates from a particular nucleus with a very high spatial correlation unless the disorder strength is high. On the other hand, a high range of stress relaxation represents the mean-field limit of the model where the failure events are random in space. At an intermediate disorder strength and stress release range, when these two parameters compete, the failure process shows avalanches and precursor activities. As the size of the bundle is increased, it favors a nucleating failure. In the thermodynamic limit, we only observe a nucleating failure unless either the disorder strength is extremely high or the stress release range is high enough so that the model is in the mean-field limit. A complex phase diagram on the plane of disorder strength, stress release range, and system size is presented showing different failure modes - (I) nucleation, (II) avalanche, and (III) percolation, depending on the spatial correlation observed during the failure process.


title: Tunable band gaps of axially moving belt on periodic elastic foundation

abstract: The present paper investigates the band structure of an axially moving belt resting on a foundation with periodically varying stiffness. It is concluded that the band gaps appear when the divergence of the eigenvalue occurs and the veering phenomenon of mode shape begins. The bifurcation of eigenvalues and mode shape veering lead to wave attenuation. Hence, the boundary stiffness modulation can be designed to manipulate the band gap where the vibration is suppressed. The contribution of the system parameters to the band gaps has been obtained by applying the method of varying amplitudes. By tuning the stiffness, the desired band gap can be obtained and the vibration for specific parameters can be suppressed. The current study provides a technique to avoid vibration transmission of the axially moving material by designing the foundation stiffness.


title: Three-dimensional assessment of susceptibility-induced signal voids caused by active cardiac implants in the setting of 3.0T CMR

abstract: Recent technical advancements allow cardiac MRI (CMR) examinations in the presence of so-called MRI conditional active cardiac implants at 3.0T. However, the artifact burden caused by susceptibility effects remain an obstacle. All measurements were obtained at a clinical 3.0T scanner using an in-house designed cubic phantom and optimized sequences for artifact evaluation (3D gradient echo sequence, multi-slice 2D turbo spin echo sequence), as well as reference sequences according to the ASTM were applied. Four representative active cardiac devices and a generic setup were analysed regarding volume and shape of the signal void. For analysis, a threshold operation applied to the grey value profle of each data data set was used. The presented approach allows the evaluation of signal void and shape even for larger implants such as ICDs. The void shape is influenced by the orientation of the B0-field and the chosen sequence type, as well as the distribution of magnetic material within the implants. The void volume depends both on the device itself, and the sequence type. Disturbances in the B0 and B1 fields exceed the visual signal void. This work presents a reproducible and highly defined approach towards characterising both signal void artifacts at 3.0T and their influencing factors.


title: Highly excited pure gauge SU(3) flux tubes

abstract: Flux tube spectra are expected to have full towers of levels due to the quantization of the string vibrations. We study a spectrum of flux tubes with static quark and antiquark sources with pure gauge $SU(3)$ lattice QCD in 3+1 dimensions up to a significant number of excitations. To go high in the spectrum, we specialize in the most symmetric case $\Sigma_g^+$, use a large set of operators, solve the generalized eigenvalue and compare different lattice QCD gauge actions and anisotropies.


title: Transformer-based Map Matching Model with Limited Ground-Truth Data using Transfer-Learning Approach

abstract: In many spatial trajectory-based applications, it is necessary to map raw trajectory data points onto road networks in digital maps, which is commonly referred to as a map-matching process. While most previous map-matching methods have focused on using rule-based algorithms to deal with the map-matching problems, in this paper, we consider the map-matching task from the data-driven perspective, proposing a deep learning-based map-matching model. We build a Transformer-based map-matching model with a transfer learning approach. We generate trajectory data to pre-train the Transformer model and then fine-tune the model with a limited number of ground-truth data to minimize the model development cost and reduce the real-to-virtual gap. Three metrics (Average Hamming Distance, F-score, and BLEU) at two levels (point and segment level) are used to evaluate the model performance. The results indicate that the proposed model outperforms existing models. Furthermore, we use the attention weights of the Transformer to plot the map-matching process and find how the model matches the road segments correctly.


title: Nanochannels and nanodroplets in polymer membranes controlling ionic transport

abstract: Polymer materials with low water uptake exhibit a highly heterogeneous interior, characterized by water clusters in the form of nanodroplets and nanochannels. Here, based on our recent insights from computer simulations, we argue that water cluster structure has large implications for ionic transport and selective permeability in polymer membranes. Importantly, we demonstrate that the two key quantities for transport, the ion diffusion and the solvation free energy inside the polymer, are extremely sensitive to molecular details of the water clusters. In particular, we highlight the significance of water droplet interface potentials and the nature of hopping diffusion through transient water channels. These mechanisms can be harvested and fine-tuned to optimize selectivity in ionic transport in a wide range of applications.


title: Uniqueness of free-boundary minimal hypersurfaces in rotational domains

abstract: In this work, we investigate the existence of compact free-boundary minimal hypersurfaces immersed in several domains. Using an original integral identity for compact free-boundary minimal hypersurfaces that are immersed in a domain whose boundary is a regular level set, we study the case where this domain is a quadric or, more generally, a rotational domain. This existence study is done without topological restrictions. We also obtain a new gap theorem for free boundary hypersurfaces immersed in an Euclidean ball and in a rotational ellipsoid.


title: Entanglement in prepare-and-measure scenarios: many questions, a few answers

abstract: Entanglement and quantum communication are paradigmatic resources in quantum information science leading to correlations between systems that have no classical analogue. Correlations due to entanglement when communication is absent have for long been studied in Bell scenarios. Correlations due to quantum communication when entanglement is absent have been studied extensively in prepare-and-measure scenarios in the last decade. Here, we set out to understand and investigate correlations in scenarios that involve both entanglement and communication, focusing on entanglement-assisted prepare-and-measure scenarios. In a recent companion paper [arXiv:2103.10748], we investigated correlations based on unrestricted entanglement. Here, our focus is on scenarios with restricted entanglement. We establish several elementary relations between standard classical and quantum communication and their entanglement-assisted counterparts. In particular, while it was already known that bits or qubits assisted by two-qubit entanglement between the sender and receiver constitute a stronger resource than bare bits or qubits, we show that higher-dimensional entanglement further enhance the power of bits or qubits. We also provide a characterisation of generalised dense coding protocols, a natural subset of entanglement-assisted quantum communication protocols, finding that they can be understood as standard quantum communication protocols in real-valued Hilbert space. Though such dense coding protocols can convey up to two bits of information, we provide evidence, perhaps counter-intuitively, that resources with a small information capacity, such as a bare qutrits, can sometimes produce stronger correlations. Along the way we leave several conjectures and conclude with a list of interesting open problems.


title: A Survey on Audio Synthesis and Audio-Visual Multimodal Processing

abstract: With the development of deep learning and artificial intelligence, audio synthesis has a pivotal role in the area of machine learning and shows strong applicability in the industry. Meanwhile, significant efforts have been dedicated by researchers to handle multimodal tasks at present such as audio-visual multimodal processing. In this paper, we conduct a survey on audio synthesis and audio-visual multimodal processing, which helps understand current research and future trends. This review focuses on text to speech(TTS), music generation and some tasks that combine visual and acoustic information. The corresponding technical methods are comprehensively classified and introduced, and their future development trends are prospected. This survey can provide some guidance for researchers who are interested in the areas like audio synthesis and audio-visual multimodal processing.


title: An efficient reverse-lookup table based strategy for solving the synonym and cache coherence problem in virtually indexed, virtually tagged caches

abstract: Virtually indexed and virtually tagged (VIVT) caches are an attractive option for micro-processor level-1 caches, because of their fast response time and because they are cheaper to implement than more complex caches such as virtually-indexed physical-tagged (VIPT) caches. The level-1 VIVT cache becomes even simpler to construct if it is implemented as a direct-mapped cache (VIVT-DM cache). However, VIVT and VIVT-DM caches have some drawbacks. When the number of sets in the cache is larger than the smallest page size, there is a possibility of synonyms (two or more virtual addresses mapped to the same physical address) existing in the cache. Further, maintenance of cache coherence across multiple processors requires a physical to virtual translation mechanism in the hardware. We describe a simple, efficient reverse lookup table based approach to address the synonym and the coherence problems in VIVT (both set associative and direct-mapped) caches. In particular, the proposed scheme does not disturb the critical memory access paths in a typical micro-processor, and requires a low overhead for its implementation. We have implemented and validated the scheme in the AJIT 32-bit microprocessor core (an implementation of the SPARC-V8 ISA) and the implementation uses approximately 2% of the gates and 5.3% of the memory bits in the processor core.


title: In search of local singularities in ideal potential flows with free surface

abstract: For ideal fluid flow with zero surface tension and gravity, it remains unknown whether local singularities on the free surface can develop in well-posed initial value problems with smooth initial data. This is so despite great advances over the last 25 years in the mathematical analysis of the Euler equations for water waves. Here we expand our earlier work (Chin. Ann. Math. Ser. B 40 (2019) 925) and review the mathematical literature and some of the history concerning Dirichlet's ellipsoids and related hyperboloids associated with jet formation and "flip-through," "splash singularities," and recent constructions of singular free surfaces that however violate the Taylor sign condition for linear well-posedness. We illustrate some of these phenomena with numerical computations of 2D flow based upon a conformal mapping formulation (whose derivation is detailed and discussed in an appendix). Additional numerical evidence strongly suggests that corner singularities may form in an unstable self-similar way from specially prepared initial data.


title: Quasitriangular structures on abelian extensions of $\mathbb{Z}_{2}$

abstract: The aim of this paper is to give all quasitriangular structures on a class of semisimple Hopf algebras constructed through abelian extensions of $\Bbbk\mathbb{Z}_{2}$ by $\Bbbk^G$ for an abelian group $G$. We first introduce the concept of symmetry of quasitriangular structures of Hopf algebras and obtain some related propositions which can be used to simplify our calculations of quasitriangular structures. Secondly, we find that quasitriangular structures of these semisimple Hopf algebras can do division-like operations. Using such operations we transform the problem of solving the quasitriangular structures into solving general solutions and giving a special solution. Then we give all general solutions and get a necessary and sufficient condition for the existence of a special solution.


title: Charting closed-loop collective cultural decisions: From book best sellers and music downloads to Twitter hashtags and Reddit comments

abstract: Charts are used to measure relative success for a large variety of cultural items. Traditional music charts have been shown to follow self-organizing principles with regard to the distribution of item lifetimes, the on-chart residence times. Here we examine if this observation holds also for (a) music streaming charts (b) book best-seller lists and (c) for social network activity charts, such as Twitter hashtags and the number of comments Reddit postings receive. We find that charts based on the active production of items, like commenting, are more likely to be influenced by external factors, in particular by the 24 hour day-night cycle. External factors are less important for consumption-based charts (sales, downloads), which can be explained by a generic theory of decision-making. In this view, humans aim to optimize the information content of the internal representation of the outside world, which is logarithmically compressed. Further support for information maximization is argued to arise from the comparison of hourly, daily and weekly charts, which allow to gauge the importance of decision times with respect to the chart compilation period.


title: Small order asymptotics for nonlinear fractional problems

abstract: We study the limiting behavior of solutions to boundary value nonlinear problems involving the fractional Laplacian of order $2s$ when the parameter $s$ tends to zero. In particular, we show that least-energy solutions converge (up to a subsequence) to a nontrivial nonnegative least-energy solution of a limiting problem in terms of the logarithmic Laplacian, i.e., the pseudodifferential operator with Fourier symbol $\ln(|\xi|^2)$. These results are motivated by some applications of nonlocal models where a small value for the parameter $s$ yields the optimal choice. Our approach is based on variational methods, uniform energy-derived estimates, and the use of a new logarithmic-type Sobolev inequality.


title: Enhancing Content Preservation in Text Style Transfer Using Reverse Attention and Conditional Layer Normalization

abstract: Text style transfer aims to alter the style (e.g., sentiment) of a sentence while preserving its content. A common approach is to map a given sentence to content representation that is free of style, and the content representation is fed to a decoder with a target style. Previous methods in filtering style completely remove tokens with style at the token level, which incurs the loss of content information. In this paper, we propose to enhance content preservation by implicitly removing the style information of each token with reverse attention, and thereby retain the content. Furthermore, we fuse content information when building the target style representation, making it dynamic with respect to the content. Our method creates not only style-independent content representation, but also content-dependent style representation in transferring style. Empirical results show that our method outperforms the state-of-the-art baselines by a large margin in terms of content preservation. In addition, it is also competitive in terms of style transfer accuracy and fluency.


title: Fractional total variation denoising model with $L^1$ fidelity

abstract: We study a nonlocal version of the total variation-based model with $L^1-$fidelity for image denoising, where the regularizing term is replaced with the fractional $s$-total variation. We discuss regularity of the level sets and uniqueness of solutions, both for high and low values of the fidelity parameter. We analyse in detail the case of binary data given by the characteristic functions of convex sets.


title: Flexibility of the Pressure Function

abstract: We study the flexibility of the pressure function of a continuous potential (observable) with respect to a parameter regarded as the inverse temperature. The points of non-differentiability of this function are of particular interest in statistical physics, since they correspond to phase transitions. It is well known that the pressure function is convex, Lipschitz, and has an asymptote at infinity. We prove that in a setting of one-dimensional compact symbolic systems these are the only restrictions. We present a method to explicitly construct a continuous potential whose pressure function coincides with \emph{any} prescribed convex Lipschitz asymptotically linear function starting at a given positive value of the parameter. In fact, we establish a multidimensional version of this result. As a consequence, we obtain that for a continuous observable the phase transitions can occur at a countable dense set of temperature values. We go further and show that one can vary the cardinality of the set of ergodic equilibrium states as a function of the parameter to be any number, finite or infinite.


title: Homogeneity and Homogenizability: Hard Problems for the Logic SNP

abstract: The infinite-domain CSP dichotomy conjecture extends the finite-domain CSP dichotomy theorem to reducts of finitely bounded homogeneous structures. Every finitely bounded homogeneous structure is uniquely described by a universal first-order sentence, and every reduct of such a structure by a sentence of the logic SNP. By Fra\"iss\'e's Theorem, testing the existence of a finitely bounded homogeneous structure for a given universal first-order sentence is equivalent to testing the amalgamation property for the class of its finite models. The present paper motivates a complexity-theoretic view on the classification problem for finitely bounded homogeneous structures. We show that this meta-problem is EXPSPACE-hard or PSPACE-hard, depending on whether the input is specified by a universal sentence or a set of forbidden substructures. By relaxing the input to SNP sentences and the question to the existence of a structure with a finitely bounded homogeneous expansion, we obtain a different meta-problem, closely related to the question of homogenizability. We show that this second meta-problem is already undecidable, even if the input SNP sentence comes from the Datalog fragment and uses at most binary relation symbols. As a byproduct of our proof, we also get the undecidability of some other properties for Datalog programs, e.g., whether they can be rewritten in the logic MMSNP, whether they solve some finite-domain CSP, or whether they define a structure with a homogeneous Ramsey expansion in a finite relational signature.


title: A Comparison Study of Cellular Deployments in Chicago and Miami Using Apps on Smartphones

abstract: Cellular operators have begun deploying 5G New Radio (NR) in all available bands: low (< 1 GHz), mid (1 - 6 GHz), and high (> 24 GHz) to exploit the different capabilities of each. At the same time, traditional 4G Long Term Evolution (LTE) deployments are being enhanced with the addition of bands in the unlicensed 5 GHz (using License Assisted Access, or LAA) and the 3.5 GHz Citizens Broadband Radio Service (CBRS) resulting in throughput performance comparable to 5G in mid-band. We present a detailed study comparing 4G and 5G deployments, in all bands in Chicago, and focused mmWave measurements and analysis in Miami. Our methodology, based on commercial and custom apps, is scalable for crowdsourcing measurements on a large scale and provides detailed data (throughput, latency, signal strength, etc.) on actual deployments. Our main conclusions based on the measurements are (i) optimized 4G networks in mid-band are comparable in both throughput and latency to current deployments of 5G (both standalone (SA) and non-standalone (NSA)) and (ii) mmWave 5G, even in NSA mode, can deliver multi-Gbps throughput reliably if the installation is dense enough, but performance is still brittle due to the propagation limitations imposed by distance and body loss. Thus, while 5G demonstrates significant early promise, further work needs to be done to ensure that the stated goals of 5G are met.


title: SSPU-Net: Self-Supervised Point Cloud Upsampling via Differentiable Rendering

abstract: Point clouds obtained from 3D sensors are usually sparse. Existing methods mainly focus on upsampling sparse point clouds in a supervised manner by using dense ground truth point clouds. In this paper, we propose a self-supervised point cloud upsampling network (SSPU-Net) to generate dense point clouds without using ground truth. To achieve this, we exploit the consistency between the input sparse point cloud and generated dense point cloud for the shapes and rendered images. Specifically, we first propose a neighbor expansion unit (NEU) to upsample the sparse point clouds, where the local geometric structures of the sparse point clouds are exploited to learn weights for point interpolation. Then, we develop a differentiable point cloud rendering unit (DRU) as an end-to-end module in our network to render the point cloud into multi-view images. Finally, we formulate a shape-consistent loss and an image-consistent loss to train the network so that the shapes of the sparse and dense point clouds are as consistent as possible. Extensive results on the CAD and scanned datasets demonstrate that our method can achieve impressive results in a self-supervised manner. Code is available at https://github.com/fpthink/SSPU-Net.


title: KiNet: A Deep Neural Network Representation of Chemical Kinetics

abstract: Deep learning is a potential approach to automatically develop kinetic models from experimental data. We propose a deep neural network model of KiNet to represent chemical kinetics. KiNet takes the current composition states and predicts the evolution of the states after a fixed time step. The long-period evolution of the states and their gradients to model parameters can be efficiently obtained by recursively applying the KiNet model multiple times. To address the challenges of the high-dimensional composition space and error accumulation in long-period prediction, the architecture of KiNet incorporates the residual network model (ResNet), and the training employs backpropagation through time (BPTT) approach to minimize multi-step prediction error. In addition, an approach for efficiently computing the gradient of the ignition delay time (IDT) to KiNet model parameters is proposed to train the KiNet against the rich database of IDT from literature, which could address the scarcity of time-resolved species measurements. The KiNet is first trained and compared with the simulated species profiles during the auto-ignition of H2/air mixtures. The obtained KiNet model can accurately predict the auto-ignition processes for various initial conditions that cover a wide range of pressures, temperatures, and equivalence ratios. Then, we show that the gradient of IDT to KiNet model parameters is parallel to the gradient of the temperature at the ignition point. This correlation enables efficient computation of the gradient of IDT via backpropagation and is demonstrated as a feasible approach for fine-tuning the KiNet against IDT. These demonstrations shall open up the possibility of building data-driven kinetic models autonomously. Finally, the trained KiNet could be potentially applied to kinetic model reduction and chemistry acceleration in turbulent combustion simulations.


title: Terahertz charge and spin transport in metallic ferromagnets: the role of crystalline and magnetic order

abstract: We study the charge and spin dependent scattering in a set of CoFeB thin films whose crystalline order is systematically enhanced and controlled by annealing at increasingly higher temperatures. Terahertz conductivity measurements reveal that charge transport closely follows the development of the crystalline phase, with increasing structural order leading to higher conductivity. The terahertz-induced ultrafast demagnetization, driven by spin-flip scattering mediated by the spin-orbit interaction, is measurable in the pristine amorphous sample and much reduced in the sample with highest crystalline order. Surprisingly, the largest demagnetization is observed at intermediate annealing temperatures, where the enhancement in spin-flip probability is not associated with an increased charge scattering. We are able to correlate the demagnetization amplitude with the magnitude of the in-plane magnetic anisotropy, which we characterize independently, suggesting a magnetoresistance-like description of the phenomenon.


title: The emergence of a summer hemisphere jet in planetary atmospheres

abstract: Zonal jets are common in planetary atmospheres. Their character, structure, and seasonal variability depend on the planetary parameters. During solstice on Earth and Mars, there is a strong westerly jet in the winter hemisphere and weak, low-level westerlies in the ascending regions of the Hadley cell in the summer hemisphere. This summer jet has been less explored in a broad planetary context, both due to the dominance of the winter jet and since the balances controlling it are more complex, and understanding them requires exploring a broader parameter regime. To better understand the jet characteristics on terrestrial planets and the transition between winter- and summer-dominated jet regimes, we explore the jet's dependence on rotation rate and obliquity. Across a significant portion of the parameter space, the dominant jet is in the winter hemisphere, and the summer jet is weaker and restricted to the boundary layer. However, we show that for slow rotation rates and high obliquities, the strongest jet is in the summer rather than the winter hemisphere. Analysis of the summer jet's momentum balance reveals that the balance is not simply cyclostrophic and that both boundary layer drag and vertical advection are essential. At high obliquities and slow rotation rates, the cross-equatorial winter cell is wide and strong. The returning poleward flow in the summer hemisphere is balanced by low-level westerlies through an Ekman balance and momentum is advected upwards close to the ascending branch, resulting in a mid-troposphere summer jet.


title: Computation of the homology of the complexes of finite Verma modules for $K'_4$

abstract: We compute the homology of the complexes of finite Verma modules over the annihilation superalgebra $\mathcal A(K'_{4})$, associated with the conformal superalgebra $K'_{4}$, obtained in \cite{K4}. We use the computation of the homology in order to provide an explicit realization of all the irreducible quotients of finite Verma modules over $\mathcal A(K'_{4})$.


title: Towards DIS at N4LO

abstract: We will report on an ongoing effort towards calculating the N4LO perturbative QCD corrections to the DIS total inclusive cross-section. We are developing a method based on differential equations and series expansion in the inverse Bjorken parameter. As a byproduct our calculation should also deliver analytic or at least precise numerical approximations for the four-loop splitting functions.


title: Optical net gain measurement on Al$_{0.07}$Ga$_{0.93}$N/GaN multi-quantum well

abstract: We present net gain measurements at room temperature in Al$_{0.07}$Ga$_{0.93}$N/GaN 10-period multi-quantum well emitting at 367 nm, using the variable stripe length method. Measurements were conducted at two different positions on the sample, where the net gain threshold was attained at 218 kW/cm$^{2}$ and 403 kW/cm$^{2}$. At the position with higher threshold, we observed an anomalous amplification of the photoluminescence intensity that occurs for long stripe lengths (superior to 400 $\mu$m) and high pumping power (superior to 550 kW/cm$^{2}$), leading to an overestimation of the gain value. We attribute such a phenomenon to the feedback provided by the reflection from cracks, which were created during the epitaxial growth due to the strong lattice mismatch between different layers. The highest gain value without anomalous amplification was 131 cm$^{-1}$, obtained at the maximum pumping power density of the experimental setup (743 kW/cm$^{2}$). Using the intrinsic efficiency limit of the cathodoluminescence process, we estimate a lower limit for electron beam pumped laser threshold at room temperature of 390 kW/cm$^{2}$ for this multi-quantum well structure.


title: Improved quark coalescence model for spin alignments of vector mesons

abstract: We propose an improved quark coalescence model for spin alignment of vector mesons by spin density matrix with phase space dependence. Within this model we propose an understanding of spin alignments of vector mesons $\phi$ and $K^{*0}$ in the static limit: a large positive deviation of $\rho_{00}$ for $\phi$ mesons from $1/3$ may come from the electric part of the vector $\phi$ field, while a negative deviation of $\rho_{00}$ for $K^{*0}$ mesons may come from the electric part of vorticity fields. In the low-$p_T$ region, $\rho_{00}$ for $K^{*0}$ mesons is proportional to $p_T^2$, which is qualitatively agree with experimental results.


title: Explainable Deep Few-shot Anomaly Detection with Deviation Networks

abstract: Existing anomaly detection paradigms overwhelmingly focus on training detection models using exclusively normal data or unlabeled data (mostly normal samples). One notorious issue with these approaches is that they are weak in discriminating anomalies from normal samples due to the lack of the knowledge about the anomalies. Here, we study the problem of few-shot anomaly detection, in which we aim at using a few labeled anomaly examples to train sample-efficient discriminative detection models. To address this problem, we introduce a novel weakly-supervised anomaly detection framework to train detection models without assuming the examples illustrating all possible classes of anomaly. Specifically, the proposed approach learns discriminative normality (regularity) by leveraging the labeled anomalies and a prior probability to enforce expressive representations of normality and unbounded deviated representations of abnormality. This is achieved by an end-to-end optimization of anomaly scores with a neural deviation learning, in which the anomaly scores of normal samples are imposed to approximate scalar scores drawn from the prior while that of anomaly examples is enforced to have statistically significant deviations from these sampled scores in the upper tail. Furthermore, our model is optimized to learn fine-grained normality and abnormality by top-K multiple-instance-learning-based feature subspace deviation learning, allowing more generalized representations. Comprehensive experiments on nine real-world image anomaly detection benchmarks show that our model is substantially more sample-efficient and robust, and performs significantly better than state-of-the-art competing methods in both closed-set and open-set settings. Our model can also offer explanation capability as a result of its prior-driven anomaly score learning. Code and datasets are available at: https://git.io/DevNet.


title: Varieties of chord diagrams, braid group cohomology and degeneration of equality conditions

abstract: For any finite-dimensional vector space ${\mathcal F}$ of continuous functions $f:{\mathbb R}^1 \to {\mathbb R}^1$ consider subspaces in ${\mathcal F}$ defined by systems of {\em equality conditions} $f(a_i) = f(b_i)$, where $(a_i, b_i)$, $i=1, \dots, n$, are some pairs of points in ${\mathbb R}^1$. It is proved that if $\dim {\mathcal F} < 2n-I(n)$, where $I(n)$ is the number of ones in the binary notation of $n$, then there necessarily are independent systems of $n$ equality conditions defining the subspaces of codimension greater than $n$ in ${\mathcal F}$. We also prove lower estimates of the sizes of the inevitable drops of the codimensions of these subspaces. These estimates are then applied to knot theory (in which systems of equality conditions are known as {\em chord diagrams}). The inevitable presence of complicated non-stable terms in sequences of spectral sequences calculating the cohomology groups of spaces of knots is proved. Keywords: Chord diagram, configuration space, characteristic class


title: H\"older regularity for non-variational porous media type equations

abstract: We present a Krylov-Safonov theory approach for the H\"older regularity of viscosity solutions to non-variational porous media type equations. We explore the peculiarity of this type of problem: either the equation falls in a uniformly elliptic regime or the eikonal mechanism takes care of the regularity. Our techniques are based on sliding paraboloids resulting in an ABP-type measure estimate. By combining such estimates, a diminishing of oscillation property is available, resulting in a regularity control in H\"older spaces.


title: Hybrid Beamforming and Combining for Millimeter Wave Full Duplex Massive MIMO Interference Channel

abstract: Full Duplex (FD) communication can revolutionize wireless communications as it avoids using independent channels for bi-directional communications. This work generalizes the point-to-point FD communication in millimeter wave (mmWave) band consisting of K-pairs of massive MIMO FD nodes operating simultaneously. We present a novel joint hybrid beamforming (HYBF) and combining scheme for weighted sum-rate (WSR) maximization to enable the coexistence of massive MIMO FD links cost-efficiently. The proposed algorithm relies on alternative optimization based on the minorization-maximization method. Moreover, we present a novel SI and massive MIMO interference channel aware power allocation scheme to include the optimal power control. Simulation results show significant performance improvement compared to a traditional bidirectional fully digital half-duplex (HD) system.


title: What do neuroanatomical networks reveal about the ontology of human cognitive abilities?

abstract: Over the last decades, cognitive psychology has come to fair consensus about the ontological structure of human intelligence. However, it remains an open question, whether anatomical properties of the brain support the same ontology. The present study explored the ontological structure derived from neuroanatomical networks associated with performance in 15 cognitive tasks indicating various abilities. Results suggest that the brain-derived (neurometric) ontology is partly consistent with the cognitive performance-derived (psychometric) ontology. However, there are interpretable and complementary differences as well. Moreover, the cortical areas associated with different inferred abilities are segregated, with little or no overlap. Nevertheless, these spatially segregated cortical areas are integrated via denser white matter structural connections as compared with the general brain connectome. The integration of ability-related cortical networks constitutes a neural counterpart to the psychometric construct of general intelligence, while the consistency and differences between psychometric and neurometric ontologies represent crucial pieces of knowledge for theory building, clinical diagnostics and treatment.


title: Directional excitation of a high-density magnon gas using coherently driven spin waves

abstract: Controlling magnon densities in magnetic materials enables driving spin transport in magnonic devices. We demonstrate the creation of large, out-of-equilibrium magnon densities in a thin-film magnetic insulator via microwave excitation of coherent spin waves and subsequent multi-magnon scattering. We image both the coherent spin waves and the resulting incoherent magnon gas using scanning-probe magnetometry based on electron spins in diamond. We find that the gas extends unidirectionally over hundreds of micrometers from the excitation stripline. Surprisingly, the gas density far exceeds that expected for a boson system following a Bose-Einstein distribution with a maximum value of the chemical potential. We characterize the momentum distribution of the gas by measuring the nanoscale spatial decay of the magnetic stray fields. Our results show that driving coherent spin waves leads to a strong out-of-equilibrium occupation of the spin-wave band, opening new possibilities for controlling spin transport and magnetic dynamics in target directions.


title: Remote quantum-safe authentication of entities with physical unclonable functions

abstract: Physical unclonable functions have been shown a useful resource of randomness for implementing various cryptographic tasks including entity authentication. All of the related entity authentication protocols that have been discussed in the literature so far, either they are vulnerable to an emulation attack, or they are limited to short distances. Hence, quantum-safe remote entity authentication over large distances remains an open question. In the first part of this work we discuss the requirements that an entity authentication protocol has to offer in order to be useful for remote entity authentication in practice. Subsequently, we propose a protocol, which can operate over large distances, and offers security against both classical and quantum adversaries. The proposed protocol relies on standard techniques, it is fully compatible with the infrastructure of existing and future photonic networks, and it can operate in parallel with other quantum protocols, including QKD protocols.


title: Delay Aware Secure Offloading for NOMA-Assisted Mobile Edge Computing in Internet of Vehicles

abstract: In this paper, a multi-vehicle multi-task nonorthogonal multiple access (NOMA) assisted mobile edge computing (MEC) system with passive eavesdropping vehicles is investigated. To heighten the performance of edge vehicles, we propose a vehicle grouping pairing method, which utilizes vehicles near the MEC as full-duplex relays to assist edge vehicles. For promoting transmission security, we employ artificial noise to interrupt eavesdropping vehicles. Furthermore, we derive the approximate expression of secrecy outage probability of the system. The combined optimization of vehicle task division, power allocation, and transmit beamforming is formulated to minimize the total delay of task completion of edge vehicles. Then, we design a power allocation and task scheduling algorithm based on genetic algorithm to solve the mixed-integer nonlinear programming problem. Numerical results demonstrate the superiority of our proposed scheme in terms of system security and transmission delay.


title: Modified Proca Theory in Arbitrary and Two Dimensions

abstract: We demonstrate that the standard Stueckelberg-modified Proca theory (i.e. a massive Abelian 1-form theory) respects the classical gauge and corresponding quantum (anti-)BRST symmetry transformations in any arbitrary dimension of spacetime within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism. We further show that the Stueckelberg formalism gets modified in the two (1+1)-dimensions of spacetime due to a couple of discrete duality symmetries in the theory which turn out to be responsible for the existence of the nilpotent (anti-)co-BRST symmetry transformations corresponding to the nilpotent (anti-)BRST symmetry transformations of our theory. These nilpotent symmetries exist together in the modified version of the two (1+1)-dimensional (2D) Proca theory. We provide the mathematical basis for the modification of the Stueckelberg-technique, the existence of the discrete duality as well as the continuous (anti-)co-BRST symmetry transformations in the 2D modified version of Proca theory.


title: Lifting and restricting t-structures

abstract: We explore the interplay between t-structures in the bounded derived category of finitely presented modules and the unbounded derived category of all modules over a coherent ring $A$ using homotopy colimits. More precisely, we show that every intermediate t-structure in $D^b(\operatorname{mod}(A))$ can be lifted to a compactly generated t-structure in $D(\operatorname{Mod}(A))$, by closing the aisle and the coaisle of the t-structure under directed homotopy colimits. Conversely, we provide necessary and sufficient conditions for a compactly generated t-structure in $D(\operatorname{Mod}(A))$ to restrict to an intermediate t-structure in $D^b(\operatorname{mod}(A))$, thus describing which t-structures can be obtained via lifting. We apply our results to the special case of HRS-t-structures. Finally, we discuss various applications to silting theory in the context of finite dimensional algebras.


title: Interference effects in one-dimensional moir\'e crystals

abstract: Interference effects in finite sections of one-dimensional moir\'e crystals are investigated using a Landauer-B\"uttiker formalism within the tight-binding approximation. We explain interlayer transport in double-wall carbon nanotubes and design a predictive model. Wave function interference is visible at the mesoscale: in the strong coupling regime, as a periodic modulation of quantum conductance and emergent localized states; in the localized-insulating regime, as a suppression of interlayer transport, and oscillations of the density of states. These results could be exploited to design quantum electronic devices.


title: Derivative-free Alternating Projection Algorithms for General Nonconvex-Concave Minimax Problems

abstract: In this paper, we study zeroth-order algorithms for nonconvex-concave minimax problems, which have attracted widely attention in machine learning, signal processing and many other fields in recent years. We propose a zeroth-order alternating randomized gradient projection (ZO-AGP) algorithm for smooth nonconvex-concave minimax problems, and its iteration complexity to obtain an $\varepsilon$-stationary point is bounded by $\mathcal{O}(\varepsilon^{-4})$, and the number of function value estimation is bounded by $\mathcal{O}(d_{x}+d_{y})$ per iteration. Moreover, we propose a zeroth-order block alternating randomized proximal gradient algorithm (ZO-BAPG) for solving block-wise nonsmooth nonconvex-concave minimax optimization problems, and the iteration complexity to obtain an $\varepsilon$-stationary point is bounded by $\mathcal{O}(\varepsilon^{-4})$ and the number of function value estimation per iteration is bounded by $\mathcal{O}(K d_{x}+d_{y})$. To the best of our knowledge, this is the first time that zeroth-order algorithms with iteration complexity gurantee are developed for solving both general smooth and block-wise nonsmooth nonconvex-concave minimax problems. Numerical results on data poisoning attack problem and distributed nonconvex sparse principal component analysis problem validate the efficiency of the proposed algorithms.


title: First-principles study on the electrical resistivity in zirconium dichalcogenides with multi-valley bands: mode-resolved analysis of electron-phonon scattering

abstract: Based on the first-principles calculations, we study the electron-phonon scattering effect on the resistivity in the zirconium dichalcogenides, $\text{Zr}_{}\text{S}_{2}$ and $\text{Zr}_{}\text{Se}_{2}$, whose electronic band structures possess multiple valleys at conduction band minimum. The computed resistivity exhibits non-linear temperature dependence, especially for $\text{Zr}_{}\text{S}_{2}$, which is also experimentally observed on some TMDCs such as $\text{Ti}_{}\text{S}_{2}$ and $\text{Zr}_{}\text{Se}_{2}$. By performing the decomposition of the contributions of scattering processes, we find that the intra-valley scattering by acoustic phonons mainly contributes to the resistivity around 50 K. Moreover, the contribution of the intra-valley scattering by optical phonons becomes dominant even above 80 K, which is a sufficiently low temperature compared with their frequencies. By contrast, the effect of the inter-valley scattering is found to be not significant. Our study identifies the characteristic scattering channels in the resistivity of the zirconium dichalcogenides, which provides critical knowledge to microscopically understand electron transport in systems with multi-valley band structure.


title: Self-supervised Learning with Local Attention-Aware Feature

abstract: In this work, we propose a novel methodology for self-supervised learning for generating global and local attention-aware visual features. Our approach is based on training a model to differentiate between specific image transformations of an input sample and the patched images. Utilizing this approach, the proposed method is able to outperform the previous best competitor by 1.03% on the Tiny-ImageNet dataset and by 2.32% on the STL-10 dataset. Furthermore, our approach outperforms the fully-supervised learning method on the STL-10 dataset. Experimental results and visualizations show the capability of successfully learning global and local attention-aware visual representations.


title: A Sequential Supervised Machine Learning Approach for Cyber Attack Detection in a Smart Grid System

abstract: Modern smart grid systems are heavily dependent on Information and Communication Technology, and this dependency makes them prone to cyberattacks. The occurrence of a cyberattack has increased in recent years resulting in substantial damage to power systems. For a reliable and stable operation, cyber protection, control, and detection techniques are becoming essential. Automated detection of cyberattacks with high accuracy is a challenge. To address this, we propose a two-layer hierarchical machine learning model having an accuracy of 95.44 % to improve the detection of cyberattacks. The first layer of the model is used to distinguish between the two modes of operation (normal state or cyberattack). The second layer is used to classify the state into different types of cyberattacks. The layered approach provides an opportunity for the model to focus its training on the targeted task of the layer, resulting in improvement in model accuracy. To validate the effectiveness of the proposed model, we compared its performance against other recent cyber attack detection models proposed in the literature.


title: Comparison of Diffusive Motion of C60 on Graphene and Boron Nitride Surfaces

abstract: Inspired by macroscale vehicles, many molecular machines have been synthesized yet. Due to the importance of atomic manipulation at the surface, nanocars are of particular interest. Nanocar wheels play a crucial role in their motion. One of the popular candidate for using as a nanocar wheel is C60 molecule. In addition, the investigation of nanocar motion on two dimensional substrates is important due to formation of ripples on surface. Therefore, in this work we study the motion of C60 on graphene and boron nitride monolayer substrates at 300 K. The simulations are conducted by the means of molecular dynamics method. The trajectory of motion shows more displacement range when fullerene is moving on the graphene surface and as a result, it has a greater diffusion coefficient in this case. It has been showed that C60 motion on graphene and boron nitride obey a same super-diffusion regime at 300 K with different anomaly parameters.


title: CERL: A Unified Optimization Framework for Light Enhancement with Realistic Noise

abstract: Low-light images captured in the real world are inevitably corrupted by sensor noise. Such noise is spatially variant and highly dependent on the underlying pixel intensity, deviating from the oversimplified assumptions in conventional denoising. Existing light enhancement methods either overlook the important impact of real-world noise during enhancement, or treat noise removal as a separate pre- or post-processing step. We present \underline{C}oordinated \underline{E}nhancement for \underline{R}eal-world \underline{L}ow-light Noisy Images (CERL), that seamlessly integrates light enhancement and noise suppression parts into a unified and physics-grounded optimization framework. For the real low-light noise removal part, we customize a self-supervised denoising model that can easily be adapted without referring to clean ground-truth images. For the light enhancement part, we also improve the design of a state-of-the-art backbone. The two parts are then joint formulated into one principled plug-and-play optimization. Our approach is compared against state-of-the-art low-light enhancement methods both qualitatively and quantitatively. Besides standard benchmarks, we further collect and test on a new realistic low-light mobile photography dataset (RLMP), whose mobile-captured photos display heavier realistic noise than those taken by high-quality cameras. CERL consistently produces the most visually pleasing and artifact-free results across all experiments. Our RLMP dataset and codes are available at: https://github.com/VITA-Group/CERL.


title: On the maximum number of distinct intersections in an intersecting family

abstract: For $n > 2k \geq 4$ we consider intersecting families $\mathcal F$ consisting of $k$-subsets of $\{1, 2, \ldots, n\}$. Let $\mathcal I(\mathcal F)$ denote the family of all distinct intersections $F \cap F'$, $F \neq F'$ and $F, F'\in \mathcal F$. Let $\mathcal A$ consist of the $k$-sets $A$ satisfying $|A \cap \{1, 2, 3\}| \geq 2$. We prove that for $n \geq 50 k^2$ $|\mathcal I(\mathcal F)|$ is maximized by $\mathcal A$.


title: Realised Volatility Forecasting: Machine Learning via Financial Word Embedding

abstract: This study develops FinText, a financial word embedding compiled from 15 years of business news archives. The results show that FinText produces substantially more accurate results than general word embeddings based on the gold-standard financial benchmark we introduced. In contrast to well-known econometric models, and over the sample period from 27 July 2007 to 27 January 2022 for 23 NASDAQ stocks, using stock-related news, our simple natural language processing model supported by different word embeddings improves realised volatility forecasts on high volatility days. This improvement in realised volatility forecasting performance switches to normal volatility days when general hot news is used. By utilising SHAP, an Explainable AI method, we also identify and classify key phrases in stock-related and general hot news that moved volatility.


title: Cobalt in strontium titanate as a new off-center magnetic impurity

abstract: The local structure and oxidation state of the cobalt impurity in SrTiO$_3$ is studied by X-ray absorption fine structure (XAFS) spectroscopy. The synthesis conditions, under which cobalt predominantly (up to 76%) substitutes the atoms at the $A$ site of the perovskite structure, is found for SrTiO$_3$(Co) samples. By varying the synthesis conditions, it is possible to appreciably change the ratio between the concentrations of cobalt atoms incorporated into the $A$ and $B$ sites. It is established that the oxidation state of cobalt is +2 at the $A$ site and +3 at the $B$ site. It is revealed that the Co impurity at the $A$ site is off-center, and its displacement from the lattice site is $\sim$1.0 {\AA}. First-principles calculations show that an isolated Co$^{3+}$ ion at the $B$ site is diamagnetic, whereas the Co$^{2+}$ ion at the $A$ site is in a high-spin state ($S = 3/2$).


title: A Detailed View of the Broad Line Region in NGC 3783 from Velocity-Resolved Reverberation Mapping

abstract: We have modeled the full velocity-resolved reverberation response of the H$\beta$ and He II optical broad emission lines in NGC 3783 to constrain the geometry and kinematics of the low-ionization and high-ionization broad line region. The geometry is found to be a thick disk that is nearly face on, inclined at $\sim 18^{\circ}$ to our line of sight, and exhibiting clear ionization stratification, with an extended H$\beta$-emitting region ($r_{\rm median}=10.07^{+1.10}_{-1.12}$ light days) and a more compact and centrally-located He II-emitting region ($r_{\rm median}=1.33^{+0.34}_{-0.42}$ light days). In the H$\beta$-emitting region, the kinematics are dominated by near-circular Keplerian orbits, but with $\sim 40$% of the orbits inflowing. The more compact He II-emitting region, on the other hand, appears to be dominated by outflowing orbits. The black hole mass is constrained to be $M_{\rm BH}=2.82^{+1.55}_{-0.63}\times10^7$ $M_{\odot}$, which is consistent with the simple reverberation constraint on the mass based on a mean time delay, line width, and scale factor of $\langle f \rangle=4.82$. The difference in kinematics between the H$\beta$- and He II-emitting regions of the BLR is intriguing given the recent history of large changes in the ionizing luminosity of NGC 3783 and evidence for possible changes in the BLR structure as a result.


title: Modeling and Analysis of mMTC Traffic in 5G Base Stations

abstract: Massive Machine-Type Communications (mMTC) are one of the three types of services that should be supported by 5G networks. These are distinguished by the need to serve a large number of devices which are characterized by nonintensive traffic and low energy consumption. While the sporadic nature of the mMTC traffic does not pose an exertion to efficient network operation, multiplexing the traffic from a large number of these devices within the cell certainly does. Therefore, planning carefully the network resources for this traffic is of paramount importance. To do this, the statistics of the traffic pattern that arrives at the base station should be known. To this end, in this paper, we derive the distribution of the inter-arrival times of the traffic at the base station from a general number of mMTC users within the cell, assuming a generic distribution of the traffic pattern by individual users. We validate our results on traces. Results show that adding more mMTC users in the cell increases the variability of the traffic pattern at the base station almost linearly, which is not the case with increasing the traffic generation rates.


title: Elements of Differential Geometry in Lean: A Report for Mathematicians

abstract: We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of mathematics and maybe curious enough to give Lean a try in the future. To this effect, we stress the possibly surprising difference between the formalization and its pen-and-paper counterpart arising from Lean's treatment of equality. Our three case studies are Lie groups, vector bundles and the Lie algebra of a Lie group.


title: Webots.HPC: A Parallel Robotics Simulation Pipeline for Autonomous Vehicles on High Performance Computing

abstract: In the rapidly evolving and maturing field of robotics, computer simulation has become an invaluable tool in the design process. Webots, a state-of-the-art robotics simulator, is often the software of choice for robotics research. Even so, Webots simulations are often run on personal and lab computers. For projects that would benefit from an aggregated output dataset from thousands of simulation runs, there is no standard recourse; this project sets out to mitigate this by developing a formalized parallel pipeline for running sequences of Webots simulations on powerful HPC resources. Such a pipeline would allow researchers to generate massive datasets from their simulations, opening the door for potential machine learning applications and decision tool development. We have developed a pipeline capable of running Webots simulations both headlessly and in GUI-enabled mode over an SSH X11 server, with simulation execution occurring remotely on HPC compute nodes. Additionally, simulations can be run in sequence, with a batch job being distributed across an arbitrary number of computing nodes and each node having multiple instances running in parallel. The implemented distribution and parallelization are extremely effective, with a 100\% simulation completion rate after 12 hours of runs. Overall, this pipeline is very capable and can be used to extend existing projects or serve as a platform for new robotics simulation endeavors.


title: Commutators and commutator subgroups of the Riordan group

abstract: We calculate the derived series of the Riordan group. To do that, we study a nested sequence of its subgroups, herein denoted by $\mathcal G_k$. By means of this sequence, we first obtain the n-th commutator subgroup of the Associated subgroup. This fact allows us to get some related results about certain groups of formal power series and to complete the proof of our main goal, Theorem 1 in this paper.


title: The restrictiveness of the hazard rate order and the moments of the maximal coordinate of a random vector uniformly distributed on the probability n-simplex

abstract: Continuing the work of [9] who defined the restrictiveness of stochastic orders and calculated the restrictiveness of the usual stochastic order and the likelihood ratio order, we calculate the restrictiveness of the hazard rate order. Inspired by the works of [17] and [24], we propose a possible application of the restrictiveness results in randomness testing. We then apply a dimension reduction technique, that proved useful in obtaining the restrictiveness results, and provide an alternative proof for Whitworth's formula. By integrating the formula, we derive the moments of the maximal coordinate of a random vector that is uniformly distributed on the probability $n$-simplex.


title: SwarmPlay: A Swarm of Nano-Quadcopters Playing Tic-tac-toe Board Game against a Human

abstract: We present a new paradigm of games, i.e. SwarmPlay, where each playing component is presented by an individual drone that has its own mobility and swarm intelligence to win against a human player. The motivation behind the research is to make the games with machines tangible and interactive. Although some research on the robotic players for board games already exists, e.g., chess, the SwarmPlay technology has the potential to offer much more engagement and interaction with a human as it proposes a multi-agent swarm instead of a single interactive robot. The proposed system consists of a robotic swarm, a workstation, a computer vision (CV), and Game Theory-based algorithms. A novel game algorithm was developed to provide a natural game experience to the user. The preliminary user study revealed that participants were highly engaged in the game with drones (69% put a maximum score on the Likert scale) and found it less artificial compared to the regular computer-based systems (77% put maximum score). The affection of the user's game perception from its outcome was analyzed and put under discussion. User study revealed that SwarmPlay has the potential to be implemented in a wider range of games, significantly improving human-drone interactivity.


title: Observation of multiple nodal-lines in SmSbTe

abstract: Having been a ground for various topological fermionic phases, the family of ZrSiS-type 111 materials has been under experimental and theoretical investigations. Within this family of materials, the subfamily LnSbTe (Ln = lanthanide elements) is gaining interests in recent times as the strong correlation effects and magnetism arising from the 4f electrons of the lanthanides can provide an important platform to study the linking between topology, magnetism, and correlation. In this paper, we report the systematic study of the electronic structure of SmSbTe - a member of the LnSbTe subfamily - by utilizing angle-resolved photoemission spectroscopy in conjunction with first-principles calculations, transport, and magnetic measurements. Our experimental results identify multiple Dirac nodes forming the nodal-lines along the G- X and Z- R directions in the bulk Brillouin zone (BZ) as predicted by our theoretical calculations. A surface Dirac-like state that arises from the square net plane of the Sb atoms is also observed at the X point of the surface BZ. Our study highlights SmSbTe as a promising candidate to understand the topological electronic structure of LnSbTe materials.


title: A survey of Monte Carlo methods for noisy and costly densities with application to reinforcement learning

abstract: This survey gives an overview of Monte Carlo methodologies using surrogate models, for dealing with densities which are intractable, costly, and/or noisy. This type of problem can be found in numerous real-world scenarios, including stochastic optimization and reinforcement learning, where each evaluation of a density function may incur some computationally-expensive or even physical (real-world activity) cost, likely to give different results each time. The surrogate model does not incur this cost, but there are important trade-offs and considerations involved in the choice and design of such methodologies. We classify the different methodologies into three main classes and describe specific instances of algorithms under a unified notation. A modular scheme which encompasses the considered methods is also presented. A range of application scenarios is discussed, with special attention to the likelihood-free setting and reinforcement learning. Several numerical comparisons are also provided.


title: Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders

abstract: Randomized Smoothing (RS), being one of few provable defenses, has been showing great effectiveness and scalability in terms of defending against $\ell_2$-norm adversarial perturbations. However, the cost of MC sampling needed in RS for evaluation is high and computationally expensive. To address this issue, we investigate the possibility of performing randomized smoothing and establishing the robust certification in the latent space of a network, so that the overall dimensionality of tensors involved in computation could be drastically reduced. To this end, we propose Latent Space Randomized Smoothing. Another important aspect is that we use orthogonal modules, whose Lipschitz property is known for free by design, to propagate the certified radius estimated in the latent space back to the input space, providing valid certifiable regions for the test samples in the input space. Experiments on CIFAR10 and ImageNet show that our method achieves competitive certified robustness but with a significant improvement of efficiency during the test phase.