title: Tracking Multiple Fast Targets With Swarms: Interplay Between Social Interaction and Agent Memory

abstract: The task of searching for and tracking of multiple targets is a challenging one. However, most works in this area do not consider evasive targets that move faster than the agents comprising the multi-robot system. This is due to the assumption that the movement patterns of such targets, combined with their excessive speed, would make the task nearly impossible to accomplish. In this work, we show that this is not the case and we propose a decentralized search and tracking strategy in which the level of exploration and exploitation carried out by the swarm is adjustable. By tuning a swarm's exploration and exploitation dynamics, we demonstrate that there exists an optimal balance between the level of exploration and exploitation performed. This optimum maximizes its tracking performance and changes depending on the number of targets and the targets' movement profiles. We also show that the use of agent-based memory is critical in enabling the tracking of an evasive target. The obtained simulation results are validated through experimental tests with a decentralized swarm of six robots tracking a virtual fast-moving target.


title: A Circumplanetary Disk Around PDS70c

abstract: PDS70 is a unique system in which two protoplanets, PDS70b and c, have been discovered within the dust-depleted cavity of their disk, at $\sim$22 and 34au respectively, by direct imaging at infrared wavelengths. Subsequent detection of the planets in the H$\alpha$ line indicates that they are still accreting material through circumplanetary disks. In this Letter, we present new Atacama Large Millimeter/submillimeter Array (ALMA) observations of the dust continuum emission at 855$\mu$m at high angular resolution ($\sim$20mas, 2.3au) that aim to resolve the circumplanetary disks and constrain their dust masses. Our observations confirm the presence of a compact source of emission co-located with PDS70c, spatially separated from the circumstellar disk and less extended than $\sim$1.2au in radius, a value close to the expected truncation radius of the cicumplanetary disk at a third of the Hill radius. The emission around PDS70c has a peak intensity of $\sim$86$\pm$16 $\mu \mathrm{Jy}~\mathrm{beam}^{-1}$ which corresponds to a dust mass of $\sim$0.031M$_{\oplus}$ or $\sim$0.007M$_{\oplus}$, assuming that it is only constituted of 1 $\mu$m or 1 mm sized grains, respectively. We also detect extended, low surface brightness continuum emission within the cavity near PDS70b. We observe an optically thin inner disk within 18au of the star with an emission that could result from small micron-sized grains transported from the outer disk through the orbits of b and c. In addition, we find that the outer disk resolves into a narrow and bright ring with a faint inner shoulder.


title: Using Cyber Terrain in Reinforcement Learning for Penetration Testing

abstract: Reinforcement learning (RL) has been applied to attack graphs for penetration testing, however, trained agents do not reflect reality because the attack graphs lack operational nuances typically captured within the intelligence preparation of the battlefield (IPB) that include notions of (cyber) terrain. In particular, current practice constructs attack graphs exclusively using the Common Vulnerability Scoring System (CVSS) and its components. We present methods for constructing attack graphs using notions from IPB on cyber terrain analysis of obstacles, avenues of approach, key terrain, observation and fields of fire, and cover and concealment. We demonstrate our methods on an example where firewalls are treated as obstacles and represented in (1) the reward space and (2) the state dynamics. We show that terrain analysis can be used to bring realism to attack graphs for RL.


title: The evolution of merger fraction of galaxies at z < 0.6 depending on the star formation mode in the AKARI NEP Wide field

abstract: We study the galaxy merger fraction and its dependence on star formation mode in the5.4 square degrees of the North Ecliptic Pole-Wide field. We select 6352 galaxies withAKARI 9{\mu}m detections, and identify mergers among them using the Gini coefficientand M20derived from the Subaru/HSC optical images. We obtain the total infraredluminosity and star formation rate of galaxies using the spectral energy distributiontemplates based on one band, AKARI 9{\mu}m. We classify galaxies into three differentstar formation modes (i.e. starbursts, main sequence, and quiescent galaxies) andcalculate the merger fractions for each. We find that the merger fractions of galaxiesincrease with redshift atz<0.6. The merger fractions of starbursts are higher thanthose of main sequence and quiescent galaxies in all redshift bins. We also examinethe merger fractions of far-infrared detected galaxies which have at least one detectionfromHerschel/SPIRE. We find thatHerscheldetected galaxies have higher mergerfraction compared to non-Herscheldetected galaxies, and bothHerscheldetected andnon-Herscheldetected galaxies show clearly different merger fractions depending onthe star formation modes.


title: Parallel time integration using Batched BLAS (Basic Linear Algebra Subprograms) routines

abstract: We present an approach for integrating the time evolution of quantum systems. We leverage the computation power of graphics processing units (GPUs) to perform the integration of all time steps in parallel. The performance boost is especially prominent for small to medium-sized quantum systems. The devised algorithm can largely be implemented using the recently-specified batched versions of the BLAS routines, and can therefore be easily ported to a variety of platforms. Our PARAllelized Matrix Exponentiation for Numerical Time evolution (PARAMENT) implementation runs on CUDA-enabled graphics processing units.

categories: math.NA cs.MS cs.NA physics.comp-ph quant-ph


title: Active Learning for Massively Parallel Translation of Constrained Text into Low Resource Languages

abstract: We translate a closed text that is known in advance and available in many languages into a new and severely low resource language. Most human translation efforts adopt a portion-based approach to translate consecutive pages/chapters in order, which may not suit machine translation. We compare the portion-based approach that optimizes coherence of the text locally with the random sampling approach that increases coverage of the text globally. Our results show that the random sampling approach performs better. When training on a seed corpus of ~1,000 lines from the Bible and testing on the rest of the Bible (~30,000 lines), random sampling gives a performance gain of +11.0 BLEU using English as a simulated low resource language, and +4.9 BLEU using Eastern Pokomchi, a Mayan language. Furthermore, we compare three ways of updating machine translation models with increasing amount of human post-edited data through iterations. We find that adding newly post-edited data to training after vocabulary update without self-supervision performs the best. We propose an algorithm for human and machine to work together seamlessly to translate a closed text into a severely low resource language.


title: Exact solutions and bounds for network SIR and SEIR models using a rooted-tree approximation

abstract: In this paper, we develop a node-based approximate model for Markovian contagion dynamics on networks. We prove that our approximate model is exact for SIR (susceptible-infectious-recovered) and SEIR (susceptible-exposed-infectious-recovered) dynamics on tree graphs with a single source of infection and that the model otherwise gives upper bounds on the probabilities of each node being susceptible. Our analysis of SEIR contagion dynamics is generalised to SEIR models with arbitrarily many distinct classes of exposed state. In the case of trees with a single source of infection, our approach yields a system of partially-decoupled linear differential equations that exactly describes the evolution of node-state probabilities. We use this to state explicit closed-form solutions for SIR dynamics on a chain.


title: Autoencoders as Tools for Program Synthesis

abstract: Recently there have been many advances in research on language modeling of source code. Applications range from code suggestion and completion to code summarization. However, complete program synthesis of industry-grade programming languages remains an open problem. In this work, we introduce and experimentally validate a variational autoencoder model for program synthesis of industry-grade programming languages. This model makes use of the inherent tree structure of code and can be used in conjunction with gradient free optimization techniques like evolutionary methods to generate programs that maximize a given fitness function, for instance, passing a set of test cases. A demonstration is avaliable at https://tree2tree.app


title: Semi-Supervised Siamese Network for Identifying Bad Data in Medical Imaging Datasets

abstract: Noisy data present in medical imaging datasets can often aid the development of robust models that are equipped to handle real-world data. However, if the bad data contains insufficient anatomical information, it can have a severe negative effect on the model's performance. We propose a novel methodology using a semi-supervised Siamese network to identify bad data. This method requires only a small pool of 'reference' medical images to be reviewed by a non-expert human to ensure the major anatomical structures are present in the Field of View. The model trains on this reference set and identifies bad data by using the Siamese network to compute the distance between the reference set and all other medical images in the dataset. This methodology achieves an Area Under the Curve (AUC) of 0.989 for identifying bad data. Code will be available at https://git.io/JYFuV.


title: Correlated interlayer exciton insulator in double layers of monolayer WSe2 and moir\'e WS2/WSe2

abstract: Moir\'e superlattices in van der Waals heterostructures have emerged as a powerful tool for engineering novel quantum phenomena. Here we report the observation of a correlated interlayer exciton insulator in a double-layer heterostructure composed of a WSe2 monolayer and a WS2/WSe2 moir\'e bilayer that are separated by an ultrathin hexagonal boron nitride (hBN). The moir\'e WS2/WSe2 bilayer features a Mott insulator state at hole density p/p0 = 1, where p0 corresponds to one hole per moir\'e lattice site. When electrons are added to the Mott insulator in the WS2/WSe2 moir\'e bilayer and an equal number of holes are injected into the WSe2 monolayer, a new interlayer exciton insulator emerges with the holes in the WSe2 monolayer and the electrons in the doped Mott insulator bound together through interlayer Coulomb interactions. The excitonic insulator is stable up to a critical hole density of ~ 0.5p0 in the WSe2 monolayer, beyond which the system becomes metallic. Our study highlights the opportunities for realizing novel quantum phases in double-layer moir\'e systems due to the interplay between the moir\'e flat band and strong interlayer electron interactions.


title: Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines

abstract: The functional correspondence is a manual derivation technique transforming higher-order evaluators into the semantically equivalent abstract machines. The transformation consists of two well-known program transformations: translation to continuation-passing style that uncovers the control flow of the evaluator and Reynolds's defunctionalization that generates a first-order transition function. Ever since the transformation was first described by Danvy et al. it has found numerous applications in connecting known evaluators and abstract machines, but also in discovering new abstract machines for a variety of $\lambda$-calculi as well as for logic-programming, imperative and object-oriented languages. We present an algorithm that automates the functional correspondence. The algorithm accepts an evaluator written in a dedicated minimal functional meta-language and it first transforms it to administrative normal form, which facilitates program analysis, before performing selective translation to continuation-passing style, and selective defunctionalization. The two selective transformations are driven by a control-flow analysis that is computed by an abstract interpreter obtained using the abstracting abstract machines methodology, which makes it possible to transform only the desired parts of the evaluator. The article is accompanied by an implementation of the algorithm in the form of a command-line tool that allows for automatic transformation of an evaluator embedded in a Racket source file and gives fine-grained control over the resulting machine.


title: Towards NNLO+PS Matching with Sector Showers

abstract: We outline a new technique for the fully-differential matching of final-state parton showers to NNLO calculations, focussing here on the simplest case of leptonic collisions with two final-state jets. The strategy is facilitated by working in the antenna formalism, making use of NNLO antenna subtraction on the fixed-order side and the sector-antenna framework on the shower side. As long as the combined real-virtual and double-real corrections do not overcompensate the real-emission term in the three-jet region, negative weights can be eliminated from the matching scheme. We describe the implementation of all necessary components in the VINCIA antenna shower in PYTHIA 8.3.


title: Neural Predictive Monitoring under Partial Observability

abstract: We consider the problem of predictive monitoring (PM), i.e., predicting at runtime future violations of a system from the current state. We work under the most realistic settings where only partial and noisy observations of the state are available at runtime. Such settings directly affect the accuracy and reliability of the reachability predictions, jeopardizing the safety of the system. In this work, we present a learning-based method for PM that produces accurate and reliable reachability predictions despite partial observability (PO). We build on Neural Predictive Monitoring (NPM), a PM method that uses deep neural networks for approximating hybrid systems reachability, and extend it to the PO case. We propose and compare two solutions, an end-to-end approach, which directly operates on the rough observations, and a two-step approach, which introduces an intermediate state estimation step. Both solutions rely on conformal prediction to provide 1) probabilistic guarantees in the form of prediction regions and 2) sound estimates of predictive uncertainty. We use the latter to identify unreliable (and likely erroneous) predictions and to retrain and improve the monitors on these uncertain inputs (i.e., active learning). Our method results in highly accurate reachability predictions and error detection, as well as tight prediction regions with guaranteed coverage.


title: Vehicle-counting with Automatic Region-of-Interest and Driving-Trajectory detection

abstract: Vehicle counting systems can help with vehicle analysis and traffic incident detection. Unfortunately, most existing methods require some level of human input to identify the Region of interest (ROI), movements of interest, or to establish a reference point or line to count vehicles from traffic cameras. This work introduces a method to count vehicles from traffic videos that automatically identifies the ROI for the camera, as well as the driving trajectories of the vehicles. This makes the method feasible to use with Pan-Tilt-Zoom cameras, which are frequently used in developing countries. Preliminary results indicate that the proposed method achieves an average intersection over the union of 57.05% for the ROI and a mean absolute error of just 17.44% at counting vehicles of the traffic video cameras tested.


title: Equilibrium Stochastic Delay Processes

abstract: Stochastic processes with temporal delay play an important role in science and engineering whenever finite speeds of signal transmission and processing occur. However, an exact mathematical analysis of their dynamics and thermodynamics is available for linear models only. We introduce a class of stochastic delay processes with nonlinear time-local forces and linear time-delayed forces that obey fluctuation theorems and converge to a Boltzmann equilibrium at long times. From the point of view of control theory, such ``equilibrium stochastic delay processes'' are stable and energetically passive, by construction. Computationally, they provide diverse exact constraints on general nonlinear stochastic delay problems and can, in various situations, serve as a starting point for their perturbative analysis. Physically, they admit an interpretation in terms of an underdamped Brownian particle that is either subjected to a time-local force in a non-Markovian thermal bath or to a delayed feedback force in a Markovian thermal bath. We illustrate these properties numerically for a setup familiar from feedback cooling and point out experimental implications.


title: Isolated flat bands in an interlocking-circles lattice

abstract: Flat-band physics has attracted much attention in recently years because of its interesting properties and important applications. Some typical lattices have been proposed to generate flat bands, such as Kagome and Lieb lattices. The flat bands in these lattices contact with other bands rather than isolated. However, an ideal flat band should be isolated, because isolation is a prerequisite for a number of important applications. Here, we propose a new lattice that can produce isolated flat bands. The lattice is named as interlocking-circles lattice because its pattern seems like interlocking circles. Moreover, the new lattice is realized in graphene by hydrogenation. In the hydrogenated graphene, there are two nontrivial isolated flat bands appearing around the Fermi level. Upon hole or electron doping, the flat bands split into spin-polarized bands and then result in a ferromagnetic graphene. Our work not only proposes a new type of lattice but also opens a way to find systems with isolated flat bands.


title: A Longitudinal Analysis on Instagram Characteristics of Olympic Champions

abstract: This study examines Olympic champions characteristics on Instagram to first understand how age and gender affect the characteristics and their interrelations and second to see if the future changes in those characteristics are predictable. We crawled Instagram data of individual gold medalists in Rio2016 Olympic for a period of 4 months and utilized a content analytic method to analyze their photograph posts. The cross-sectional analysis shows as the champions get older, the rate of follower engagement decreases in both genders, but men increase their pure self-presentation posts while women extend their circle of followings. In its approval, the longitudinal analysis shows when the higher rate of engagement is achieved, then men and women champions lose their tendency in increasing self-presenting posts and number of followings respectively. These findings in the light of relative theories and the previous literature contribute to a better understanding of athletes cyber behavior in social media. Moreover, the findings serve as a guide for sport researchers seeking to grasp the ways that aid athletes to better interact with their followers and build the personal brand, which involves sponsorship and other promotional opportunities.


title: Efficient Feature Representations for Cricket Data Analysis using Deep Learning based Multi-Modal Fusion Model

abstract: Data analysis has become a necessity in the modern era of cricket. Everything from effective team management to match win predictions use some form of analytics. Meaningful data representations are necessary for efficient analysis of data. In this study we investigate the use of adaptive (learnable) embeddings to represent inter-related features (such as players, teams, etc). The data used for this study is collected from a classical T20 tournament IPL (Indian Premier League). To naturally facilitate the learning of meaningful representations of features for accurate data analysis, we formulate a deep representation learning framework which jointly learns a custom set of embeddings (which represents our features of interest) through the minimization of a contrastive loss. We base our objective on a set of classes obtained as a result of hierarchical clustering on the overall run rate of an innings. It's been assessed that the framework ensures greater generality in the obtained embeddings, on top of which a task based analysis of overall run rate prediction was done to show the reliability of the framework.


title: MTG: A Benchmark Suite for Multilingual Text Generation

abstract: We introduce MTG, a new benchmark suite for training and evaluating multilingual text generation. It is the first-proposed multilingual multiway text generation dataset with the largest human-annotated data (400k). It includes four generation tasks (story generation, question generation, title generation and text summarization) across five languages (English, German, French, Spanish and Chinese). The multiway setup enables testing knowledge transfer capabilities for a model across languages and tasks. Using MTG, we train and analyze several popular multilingual generation models from different aspects. Our benchmark suite fosters model performance enhancement with more human-annotated parallel data. It provides comprehensive evaluations with diverse generation scenarios. Code and data are available at \url{https://github.com/zide05/MTG}.


title: Hurdles for Developers in Cryptography

abstract: Prior research has shown that cryptography is hard to use for developers. We aim to understand what cryptography issues developers face in practice. We clustered 91954 cryptography-related questions on the Stack Overflow website, and manually analyzed a significant sample (i.e., 383) of the questions to comprehend the crypto challenges developers commonly face in this domain. We found that either developers have a distinct lack of knowledge in understanding the fundamental concepts, \eg OpenSSL, public-key cryptography or password hashing, or the usability of crypto libraries undermined developer performance to correctly realize a crypto scenario. This is alarming and indicates the need for dedicated research to improve the design of crypto APIs.


title: PIT: Position-Invariant Transform for Cross-FoV Domain Adaptation

abstract: Cross-domain object detection and semantic segmentation have witnessed impressive progress recently. Existing approaches mainly consider the domain shift resulting from external environments including the changes of background, illumination or weather, while distinct camera intrinsic parameters appear commonly in different domains, and their influence for domain adaptation has been very rarely explored. In this paper, we observe that the Field of View (FoV) gap induces noticeable instance appearance differences between the source and target domains. We further discover that the FoV gap between two domains impairs domain adaptation performance under both the FoV-increasing (source FoV < target FoV) and FoV-decreasing cases. Motivated by the observations, we propose the \textbf{Position-Invariant Transform} (PIT) to better align images in different domains. We also introduce a reverse PIT for mapping the transformed/aligned images back to the original image space and design a loss re-weighting strategy to accelerate the training process. Our method can be easily plugged into existing cross-domain detection/segmentation frameworks while bringing about negligible computational overhead. Extensive experiments demonstrate that our method can soundly boost the performance on both cross-domain object detection and segmentation for state-of-the-art techniques. Our code is available at https://github.com/sheepooo/PIT-Position-Invariant-Transform.


title: Physics-based Constitutive Modeling of Photo-oxidative Aging in Semi-Crystalline Polymers based on Chemical Characterization Techniques

abstract: This paper proposes a physio-chemically-based constitutive framework to simulate and predict the response of semi-crystalline low-density polyethylene (LDPE) to severe photo-oxidation. Photo-oxidation induced by exposure to Ultra-Violet (UV) light and oxygen is the dominant degradation mechanism affecting the lifespan of LDPE. In this work, we propose evolution functions for the material properties in the constitutive equations of \cite{boyce2000constitutive} to incorporate the effects of photo-oxidation on the mechanical response of LDPE. The evolution functions are based on chemically verified processes that are responsible for material degradation, namely the change in crystallinity and mass loss relative to the initial pristine films over exposure time. Changes in crystallinity and mass loss are characterized by Differential Scanning Calorimetry (DSC) and Quartz Crystal Microbalance with Dissipation Monitoring (QCM-D) experiments, respectively. Connecting the physio-chemical processes affecting polymer network evolution to the mechanical response of LDPE bypasses the need for defining fitting parameters that carry no physical meaning. The developed constitutive framework is validated with respect to a series of in-house uniaxial tensile tests performed on LDPE aged for different UV exposure times. Comparison of the constitutive framework versus experimental mechanical tests also confirms the accuracy of DSC and QCM-D as rigorous techniques to monitor and characterize degradation in LDPE films. The outcome shed light on the evolution of the macromolecular network in LDPE under extreme photo-oxidation and the evolution of the associated mechanical material properties.


title: The Emergence of Wireless MAC Protocols with Multi-Agent Reinforcement Learning

abstract: In this paper, we propose a new framework, exploiting the multi-agent deep deterministic policy gradient (MADDPG) algorithm, to enable a base station (BS) and user equipment (UE) to come up with a medium access control (MAC) protocol in a multiple access scenario. In this framework, the BS and UEs are reinforcement learning (RL) agents that need to learn to cooperate in order to deliver data. The network nodes can exchange control messages to collaborate and deliver data across the network, but without any prior agreement on the meaning of the control messages. In such a framework, the agents have to learn not only the channel access policy, but also the signaling policy. The collaboration between agents is shown to be important, by comparing the proposed algorithm to ablated versions where either the communication between agents or the central critic is removed. The comparison with a contention-free baseline shows that our framework achieves a superior performance in terms of goodput and can effectively be used to learn a new protocol.


title: Pulsating subdwarf B stars observed with K2 during Campaign 7 and an examination of seismic group-properties

abstract: We report the discovery of four new pulsating subdwarf B (sdBV) stars from Campaign 7 of the Kepler spacecraft's K2 mission. EPICs 215776487, 217280630, 218366972, and 218717602 are all gravity (g)-mode pulsators and we also detect two pressure (p)-mode pulsations in EPIC 218717602. We detect asymptotic l=1 sequences in all four stars, allowing us to identify nearly all of the g modes. We detect evenly-spaced frequency multiplets in EPIC 218717602, from which we determine a rotation period near seven days. Spectroscopic observations determine that EPIC 218366972, is in a 5.92d binary with most likely a white dwarf companion of canonical mass while the others have no detected companions. As we detect no multiplets in EPIC 218366972, it is added to the growing list of subsynchronously rotating stars. With 40 Kepler-detected sdBV stars and a growing number of TESS publications, we update an examination of the group properties to provide direction for models. We notice a correlation between effective temperature and period of maximum pulsation amplitude, at least for g-mode pulsations, and update the previously-observed effective temperature-rotation period relation.


title: Dynamic Monopoly Pricing With Multiple Varieties: Trading Up

abstract: This paper studies dynamic monopoly pricing for a class of settings that includes multiple durable, multiple rental, or a mix of varieties. We show that the driving force behind pricing dynamics is the seller's incentive to switch consumers - buyers and non-buyers - to higher-valued consumption options by lowering prices ("trading up"). If consumers cannot be traded up from the static optimal allocation, pricing dynamics do not emerge in equilibrium. If consumers can be traded up, pricing dynamics arise until all trading-up opportunities are exhausted. We study the conditions under which pricing dynamics end in finite time and characterize the final prices at which dynamics end.


title: On the Importance of Encrypting Deep Features

abstract: In this study, we analyze model inversion attacks with only two assumptions: feature vectors of user data are known, and a black-box API for inference is provided. On the one hand, limitations of existing studies are addressed by opting for a more practical setting. Experiments have been conducted on state-of-the-art models in person re-identification, and two attack scenarios (i.e., recognizing auxiliary attributes and reconstructing user data) are investigated. Results show that an adversary could successfully infer sensitive information even under severe constraints. On the other hand, it is advisable to encrypt feature vectors, especially for a machine learning model in production. As an alternative to traditional encryption methods such as AES, a simple yet effective method termed ShuffleBits is presented. More specifically, the binary sequence of each floating-point number gets shuffled. Deployed using the one-time pad scheme, it serves as a plug-and-play module that is applicable to any neural network, and the resulting model directly outputs deep features in encrypted form. Source code is publicly available at https://github.com/nixingyang/ShuffleBits.


title: Data Augmentation and CNN Classification For Automatic COVID-19 Diagnosis From CT-Scan Images On Small Dataset

abstract: We present an automatic COVID1-19 diagnosis framework from lung CT images. The focus is on signal processing and classification on small datasets with efforts putting into exploring data preparation and augmentation to improve the generalization capability of the 2D CNN classification models. We propose a unique and effective data augmentation method using multiple Hounsfield Unit (HU) normalization windows. In addition, the original slice image is cropped to exclude background, and a filter is applied to filter out closed-lung images. For the classification network, we choose to use 2D Densenet and Xception with the feature pyramid network (FPN). To further improve the classification accuracy, an ensemble of multiple CNN models and HU windows is used. On the training/validation dataset, we achieve a patient classification accuracy of 93.39%.


title: Appell-Lerch Sums and N=2 Moduli

abstract: We study moduli of odd-framed $\mathcal{N}=2$ elliptic curves subject to certain conditions, and show that the fermionic part of the moduli problem is essentially controlled by the Appell-Lerch sum, familiar from the theory of mock modular forms.


title: Free-Will Arbitrary Time Consensus Protocols with Diffusive Coupling

abstract: In this technical note, we first clarify a technical issue in the convergence proof of a free-will arbitrary time (FwAT) consensus law proposed recently in Pal et al. IEEE Trans. Cybern. (2020)[1], making the results questionable. We then propose free-will arbitrary time consensus protocols for multi-agent systems with first- and second-order dynamics, respectively, and with (possibly switching) connected interaction graphs. Under the proposed consensus laws, we show that an average consensus is achieved in a free-will arbitrary prespecified time. Further, the proposed consensus laws are distributed in the sense that information is only communicated locally between neighboring agents; unlike the average consensus in [1] that uses a deformed Laplacian.


title: Learning Friction Model for Tethered Capsule Robot

abstract: With the potential applications of capsule robots in medical endoscopy, accurate dynamic control of the capsule robot is becoming more and more important. In the scale of a capsule robot, the friction between capsule and the environment plays an essential role in the dynamic model, which is usually difficult to model beforehand. In the paper, a tethered capsule robot system driven by a robot manipulator is built, where a strong magnetic Halbach array is mounted on the robot's end-effector to adjust the state of the capsule. To increase the control accuracy, the friction between capsule and the environment is learned with demonstrated trajectories. With the learned friction model, experimental results demonstrate an improvement of 5.6% in terms of tracking error.


title: MSR-GCN: Multi-Scale Residual Graph Convolution Networks for Human Motion Prediction

abstract: Human motion prediction is a challenging task due to the stochasticity and aperiodicity of future poses. Recently, graph convolutional network has been proven to be very effective to learn dynamic relations among pose joints, which is helpful for pose prediction. On the other hand, one can abstract a human pose recursively to obtain a set of poses at multiple scales. With the increase of the abstraction level, the motion of the pose becomes more stable, which benefits pose prediction too. In this paper, we propose a novel Multi-Scale Residual Graph Convolution Network (MSR-GCN) for human pose prediction task in the manner of end-to-end. The GCNs are used to extract features from fine to coarse scale and then from coarse to fine scale. The extracted features at each scale are then combined and decoded to obtain the residuals between the input and target poses. Intermediate supervisions are imposed on all the predicted poses, which enforces the network to learn more representative features. Our proposed approach is evaluated on two standard benchmark datasets, i.e., the Human3.6M dataset and the CMU Mocap dataset. Experimental results demonstrate that our method outperforms the state-of-the-art approaches. Code and pre-trained models are available at https://github.com/Droliven/MSRGCN.


title: Escaping the Gradient Vanishing: Periodic Alternatives of Softmax in Attention Mechanism

abstract: Softmax is widely used in neural networks for multiclass classification, gate structure and attention mechanisms. The statistical assumption that the input is normal distributed supports the gradient stability of Softmax. However, when used in attention mechanisms such as transformers, since the correlation scores between embeddings are often not normally distributed, the gradient vanishing problem appears, and we prove this point through experimental confirmation. In this work, we suggest that replacing the exponential function by periodic functions, and we delve into some potential periodic alternatives of Softmax from the view of value and gradient. Through experiments on a simply designed demo referenced to LeViT, our method is proved to be able to alleviate the gradient problem and yield substantial improvements compared to Softmax and its variants. Further, we analyze the impact of pre-normalization for Softmax and our methods through mathematics and experiments. Lastly, we increase the depth of the demo and prove the applicability of our method in deep structures.


title: MMChat: Multi-Modal Chat Dataset on Social Media

abstract: Incorporating multi-modal contexts in conversation is important for developing more engaging dialogue systems. In this work, we explore this direction by introducing MMChat: a large-scale Chinese multi-modal dialogue corpus (32.4M raw dialogues and 120.84K filtered dialogues). Unlike previous corpora that are crowd-sourced or collected from fictitious movies, MMChat contains image-grounded dialogues collected from real conversations on social media, in which the sparsity issue is observed. Specifically, image-initiated dialogues in common communications may deviate to some non-image-grounded topics as the conversation proceeds. To better investigate this issue, we manually annotate 100K dialogues from MMChat and further filter the corpus accordingly, which yields MMChat-hf. We develop a benchmark model to address the sparsity issue in dialogue generation tasks by adapting the attention routing mechanism on image features. Experiments demonstrate the usefulness of incorporating image features and the effectiveness of handling the sparsity of image features.


title: An alternative form of Hooge's relation for 1/f noise in semiconductor materials

abstract: Single quantum dots and other materials exhibit irregular switching between on and off states; these on-off states follow power-law statistics giving rise to 1/f noise. We transfer this phenomenon (also referred to as on-off intermittency) to the generation and recombination (g-r) process in semiconductor materials. In addition to g-r noise we obtain 1/f noise that can be provided in the form of the Hooge relation. The predicted Hooge coefficient depends on the parameters of the g-r noise and on the parameters of the intermittency. Due to the power-law distribution of the on-times, the coefficient for intermittency shows a smooth dependence on time t. We also suggest an alternative form of the 1/f noise formula by Hooge relating the 1/f noise to the number of centers (such as donor or trap atoms) rather than to the number of charge carriers as defined by Hooge.


title: Solving the Schrodinger Equation of an Electron in a Periodic Crystal Potential through Elliptic Functions

abstract: In this study, the Schrodinger equation of a valence electron in a periodic crystal potential is formulated and solved using the elliptic function formalism. The method allows double periodic lattice planes to be represented in the Gauss plane. The reality of the obtained eigenfunctions and the structure of the valence and conduction bands are also investigated.


title: Bianchi type-III THDE quintessence model with hybrid expansion law

abstract: The current research investigates the behavior of the Tsallis holographic dark energy (THDE) model with quintessence in a homogeneous and anisotropic Bianchi type-III (B-III) space-time. We construct the model by using two conditions (i) expansion scalar ($\theta$) is proportionate to shear scalar ($\sigma$) in the model and (ii) hybrid expansion law $a = t^\beta e^{\gamma t}$, where $\beta>0$, $\gamma>0$. Our study is based on Type Ia supernovae (SNIa) data in combination with CMB and BAO observations (Giostri et al, JCAP 3, 27 (2012), arXiv:1203.3213v2[astro-ph.CO]), the present values of Hubble constant and deceleration parameter are $H_{0} = 73.8$ and $q_{0} = -0.54$ respectively. Compiling our theoretical models with this data, we obtain $\beta = 2.1445~ \& ~ 2.1154$ for $\gamma = 0.5 ~ \& ~ 1$ respectively. We have completed a new type of cosmic model for which the expansion occurs to the current accelerated phase for the restraints. We have discussed the conformity among the scalar field model of quintessence and THDE model. To understand the Universe, we have also established the relations for Distance modulus, Luminosity Distance, and Angular-diameter distance. Some geometric and physical aspects of the THDE model are also highlighted.


title: Can corrections to gravity at galactic distances be decisive to the problem of dark matter and dark energy?

abstract: Are Dark Matter and Dark Energy the result of uncalculated addition derivatives? The need to introduce dark matter dark and energy becomes unnecessary if we consider that, the phenomenon of dark matter and dark energy is a result of not computing the additional derivatives of the equation of motion. For this purpose, we use higher derivatives in the form of non-local variables, known as the Ostrogradsky formalism. As a mathematician, Ostrogradsky considered the dependence of the Lagrange function on acceleration and its higher derivatives with respect to time. This is the case that fully correspond with the real frame of reference, and that can be both inertial and non-inertial frames. The problem of dark matter and dark energy presented starting from basic observations to explain the different results in theory and experiment. The study of galactic motion, especially the rotation curves, showed that a large amount of dark matter can be found mainly in galactic halos. The search for dark matter and dark energy has not confirmed with the experimental discovery of it, so we use Ostrogradsky formalities to explain the effects described above, so that the need to introduce dark matter and dark energy disappears.


title: Phases as Hidden Variables of Quantum Mechanics

abstract: Quantum mechanical wave functions have phases. These phases either initial or acquired during time evolution usually do not enter the final expressions for observable physical quantities. Nevertheless in many cases the observable physical quantities implicitly depend on the phases. Hence we may regard the phases as a sort of hidden variables of Quantum Mechanics. Neglecting the phase role makes inexplicable the peculiar quantum effects such as particle interference, Einstein-Podolsky-Rosen correlation and many others. To the contrary the adequate inclusion of phases into consideration reduces QM puzzles and mysteries to simple and obvious triviality.


title: Computing and Listing Avoidable Vertices and Paths

abstract: A simplicial vertex of a graph is a vertex whose neighborhood is a clique. It is known that listing all simplicial vertices can be done in $O(nm)$ time or $O(n^{\omega})$ time, where $O(n^{\omega})$ is the time needed to perform a fast matrix multiplication. The notion of avoidable vertices generalizes the concept of simplicial vertices in the following way: a vertex $u$ is avoidable if every induced path on three vertices with middle vertex $u$ is contained in an induced cycle. We present algorithms for listing all avoidable vertices of a graph through the notion of minimal triangulations and common neighborhood detection. In particular we give algorithms with running times $O(n^{2}m)$ and $O(n^{1+\omega})$, respectively. Additionally, based on a simplified graph traversal we propose a fast algorithm that runs in time $O(n^2 + m^2)$ and matches the corresponding running time of listing all simplicial vertices on sparse graphs with $m=O(n)$. Moreover, we show that our algorithms cannot be improved significantly, as we prove that under plausible complexity assumptions there is no truly subquadratic algorithm for recognizing an avoidable vertex. To complement our results, we consider their natural generalizations of avoidable edges and avoidable paths. We propose an $O(nm)$-time algorithm that recognizes whether a given induced path is avoidable.


title: Physics-informed deep learning for three dimensional black holes

abstract: According to AdS/DL (Anti de Sitter/ Deep Learning) correspondence given by \cite{Has}, in this paper with a data-driven approach and leveraging holography principle we have designed an artificial neural network architecture to produce metric field of planar BTZ and quintessence black holes. Data has been collected by choosing minimally coupled massive scalar field with quantum fluctuations and try to process two emergent and ground-truth metrics versus the holographic parameter which plays role of depth of the neural network. Loss or error function which shows rate of deviation of these two metrics in presence of penalty regularization term reaches to its minimum value when values of the learning rate approach to the observed steepest gradient point. Values of the regularization or penalty term of the quantum scalar field has critical role to matching this two mentioned metric. Also we design an algorithm which helps us to find optimum value for learning parameter and at last we understand that loss function convergence heavily depends on the number of epochs and learning rate.


title: Quantum uncertainty and energy flux in extended electrodynamics

abstract: In quantum theory, for a system with macroscopic wavefunction, the charge density and current density are represented by non-commuting operators. It follows that the anomaly $I=\partial_t \rho + \nabla \cdot \mathbf{j}$, being essentially a linear combination of these two operators in the frequency-momentum domain, does not admit eigenstates and has a minimum uncertainty fixed by the Heisenberg relation $\Delta N \Delta \phi \simeq 1$ which involves the occupation number and the phase of the wavefunction. We give an estimate of the minimum uncertainty in the case of a tunnel Josephson junction made of Nb. Due to this violation of the local conservation of charge, for the evaluation of the e.m. field generated by the system it is necessary to use the extended Aharonov-Bohm electrodynamics. After recalling its field equations, we compute in general form the energy-momentum tensor and the radiation power flux generated by a localized oscillating source. The physical requirements that the total flux be positive, negative or zero yield some conditions on the dipole moment of the anomaly $I$.


title: Causal Impact Of European Union Emission Trading Scheme On Firm Behaviour And Economic Performance: A Study Of German Manufacturing Firms

abstract: In this paper, we estimate the causal impact (i.e. Average Treatment Effect, ATT) of the EU ETS on GHG emissions and firm competitiveness (primarily measured by employment, turnover, and exports levels) by combining a difference-in-differences approach with semi-parametric matching techniques and estimators an to investigate the effect of the EU ETS on the economic performance of these German manufacturing firms using a Stochastic Production Frontier model.


title: Cosmic-Ray Studies with the Surface Instrumentation of IceCube

abstract: IceCube is a cubic-kilometer Cherenkov detector installed in deep ice at the geographic South Pole. IceCube's surface array, IceTop, measures the electromagnetic signal and mainly low-energy muons from extensive air showers above several 100 TeV primary energy, with shower bundles and high-energy muons detected by the in-ice detector IceCube. In combination, the in-ice detector and IceTop provide unique opportunities to study cosmic rays in detail with large statistics. This contribution summarizes recent results from these studies. In addition, the IceCube-Upgrade will include a considerable enhancement of the surface detector through the installation of scintillation detectors and radio antennas and possibly small air-Cherenkov telescopes. We will discuss the results of the prototype detectors installed at the South Pole and the prospects of this enhancement as well as the surface array planned for IceCube-Gen2.


title: Integrated Sensing and Communications: Towards Dual-functional Wireless Networks for 6G and Beyond

abstract: As the standardization of 5G is being solidified, researchers are speculating what 6G will be. Integrating sensing functionality is emerging as a key feature of the 6G Radio Access Network (RAN), allowing to exploit the dense cell infrastructure of 5G for constructing a perceptive network. In this paper, we provide a comprehensive overview on the background, range of key applications and state-of-the-art approaches of Integrated Sensing and Communications (ISAC). We commence by discussing the interplay between sensing and communications (S&C) from a historical point of view, and then consider multiple facets of ISAC and its performance gains. By introducing both ongoing and potential use cases, we shed light on industrial progress and standardization activities related to ISAC. We analyze a number of performance tradeoffs between S&C, spanning from information theoretical limits, tradeoffs in physical layer performance, to the tradeoff in cross-layer designs. Next, we discuss signal processing aspects of ISAC, namely ISAC waveform design and receive signal processing. As a step further, we provide our vision on the deeper integration between S&C within the framework of perceptive networks, where the two functionalities are expected to mutually assist each other, i.e., communication-assisted sensing and sensing-assisted communications. Finally, we summarize the paper by identifying the potential integration between ISAC and other emerging communication technologies, and their positive impact on the future of wireless networks.


title: Classification of solutions to conformally invariant systems with mixed order and exponentially increasing or nonlocal nonlinearity

abstract: In this paper, without any assumption on $v$ and under extremely mild assumption $u(x)=O(|x|^{K})$ at $\infty$ for some $K\gg1$ arbitrarily large, we prove classification of solutions to the following conformally invariant system with mixed order and exponentially increasing nonlinearity in $\mathbb{R}^{2}$: \begin{equation*}\\\begin{cases} (-\Delta)^{\frac{1}{2}}u(x)=e^{pv(x)}, \qquad x\in\mathbb{R}^{2}, \\ -\Delta v(x)=u^{4}(x), \qquad x\in\mathbb{R}^{2}, \end{cases}\end{equation*} where $p\in(0,+\infty)$, $u\geq 0$ and satisfies the finite total curvature condition $\int_{\mathbb{R}^{2}}u^{4}(x)\mathrm{d}x<+\infty$. In order to show integral representation formula and crucial asymptotic property for $v$, we derive and use an $\exp^{L}+L\ln L$ inequality, which is itself of independent interest. When $p=\frac{3}{2}$, the system is closely related to single conformally invariant equations $(-\Delta)^{\frac{1}{2}}u=u^{3}$ and $-\Delta v=e^{2v}$ on $\mathbb{R}^{2}$, which have been quite extensively studied (cf. \cite{BF,C,CY,CL,CLL,CLZ} etc). We also derive classification results for nonnegative solutions to conformally invariant system with mixed order and Hartree type nonlocal nonlinearity in $\mathbb{R}^{3}$. Extensions to mixed order conformally invariant systems in $\mathbb{R}^{n}$ with general dimensions $n\geq3$ are also included.


title: Bivectors in Newman-Penrose formalism in General Relativity -- from electromagnetism to Weyl curvature tensor

abstract: The use of the bivectors in the General Relativity with Newman-Penrose formalism is important to the description of the exact solutions of the Einstein's field equations. This review is devoted to introduce the basic ideas with calculation details of the bivectors in Newman-Penrose formalism through conversion of the complex self-dual electromagnetic field from orthornormal Minkowski basis to bivectors in the complex null tetrad basis. Furthermore, in this context, it is obtained the complex coefficients of the Weyl tensor in Newman-Penrose formalism.


title: A gluing construction of projective K3 surfaces

abstract: We construct a non-Kummer projective K3 surface $X$ which admits compact Levi-flats by holomorphically patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective plane at nine general points.


title: A note on Purcell's basic explanation of magnetic forces

abstract: In the 1960s, E.M. Purcell presented a basic explanation of the magnetic force experienced by a test charge moving parallel to a stationary current-carrying wire. According to Purcell's derivation, this force results from the difference between the relativistic length contraction of the distance among the stationary positive charges of the wire and the relativistic length contraction of the distance among the negative charges moving in the wire when the charges are observed in the rest frame of the test charge. The contraction difference generates a charge density imbalance that, in the rest frame of the test charge, is experienced as an electrostatic force, while, in the lab frame, is perceived as the magnetic force. In the present paper, we show that Purcell's approach is problematic since it generates inconsistencies and paradoxes. We maintain that Purcell's derivation has only an illustrative and expository value and should not be taken literally as describing something that really and physically happens in the wire. Furthermore, we believe that the difficulties pointed out here should be explicitly presented and discussed when introducing Purcell's approach in physics courses at the undergraduate and graduate levels.


title: Neutrino Oscillations mediated by the Higgs field

abstract: Neutrino oscillations occur within the frame of the Standard Model, assuming that a neutrino is composed of a left handed and a right handed mass less fermion. Neutrino oscillations proceed via the 4-component Higgs field as intermediate state.


title: Mapping as a probe for heating suppression in periodically driven quantum many-body systems

abstract: Experiments on periodically driven quantum systems have effectively realized quasi-Hamiltonians, in the sense of Floquet theory, that are otherwise inaccessible in static condensed matter systems. Although the Floquet quasi-Hamiltonians are time-independent, however, these continuously driven systems can still suffer from heating due to a secular growth in the expectation value of the time-dependent physical Hamiltonian. Here we use an exact space-time mapping to construct a class of many-body systems with rapid periodic driving which we nonetheless prove to be completely free of heating, by mapping them exactly onto time-independent systems. The absence of heating despite the periodic driving occurs in these cases of harmonically trapped dilute Bose gas because the driving is a certain periodic but anharmonic modulation of the gas's two-body contact interaction, at a particular frequency. Although we prove that the absence of heating is exact within full quantum many-body theory, we then use mean-field theory to simulate 'Floquet heating spectroscopy' and compute the heating rate when the driving frequency is varied away from the critical value for zero heating. In both weakly and strongly non-linear regimes, the heating rate as a function of driving frequency appears to show a number of Fano resonances, suggesting that the exactly proven absence of heating at the critical frequency may be explained in terms of destructive interferences between excitation modes.


title: Recovering the mass distribution of an extended gravitational lens

abstract: We investigate the possibility of determining the mass distribution of a gravitational lens via lensing observations. We consider an extended, compact gravitational lens, representing its static external gravitational potential via an infinite set of symmetric trace free (STF) multipole moments. Within the wave-optical treatment, we evaluate the caustics formed in the lens's point spread function (PSF). We study the only quantity that is available in astronomical lensing observations: the image of that PSF formed by an imaging telescope. This observable may be used to recover some physical characteristics of the lens, including its shape, orientation and composition. Illustrating this, we study exotic gravitational lenses formed by several well-known solids with uniform density. We show that when moments beyond the quadrupole are observed, some of the symmetry properties of the lens can be recovered. The presence of an octupole moment implies breaking the "north-south" symmetry of the mass distribution in the lens. The presence of a rotated hexadecapole moment implies breaking axial symmetry. As such, if observations of lensed images allow the reconstruction of these moments, important information about the mass distribution and dynamics of the lens can be obtained. This may help with choosing the most appropriate mass profile that is used to characterize the mass distribution of astrophysical lenses, such as the dark matter halos that are presumed to contain most of the mass of galaxies and clusters of galaxies. Our results are novel and offer new insight into gravitational lensing by realistic astrophysical systems.


title: Introducing $\texttt{NatPy}$, a simple and convenient Python module for dealing with natural units

abstract: In high energy physics, the standard convention for expressing physical quantities is natural units. The standard paradigm sets $c = \hbar = \epsilon_0 = 1$ and hence implicitly rescales all physical quantities that depend on unit derivatives of these quantities. We introduce $\texttt{NatPy}$, a simple Python module that defines user-friendly unit objects that can be used and converted within any predefined system of natural units. In this note, we will first introduce, then overview, the algebraic methods utilised by the $\texttt{NatPy}$ module.


title: Traversable wormhole solutions with non-exotic fluid in framework of $f(Q)$ gravity

abstract: The presence of exotic matter for the existence of the wormhole geometry has been an unavoidable problem in GR. In recent studies researchers have tried to deal with this issue using modified gravity theories where the WH geometry is explained by the extra curvature terms and NEC's are not violated signifying the standard matter in the WH geometry. In the present article we are trying to find the solutions of traversable wormholes with normal matter in the throat within the framework of symmetric teleparallel gravity $f(Q)$ where $Q$ is the non metricity scalar which defines the gravitational interaction. We will examine the wormhole geometries for three forms of function $f(Q)$. First is the linear form $f(Q)=\alpha Q$, second a non -linear form $f(Q)=\alpha Q^2 + \beta$ and third one a more general quadratic form $f(Q)=\alpha Q^2 + \beta Q + \gamma$ with $\alpha$, $\beta$ and $\gamma$ being the constants. For all the three cases the shape function is taken as $b(r) = {\frac{r_{0}\ln(r+1)}{\ln({r_0}+1)}}$ where $r_0$ is the throat radius. A special variable redshift function is considered for the discussion. All the energy conditions are then examined for the existence and the stability of the wormhole geometry.


title: Regular model of magnetized black hole with rational nonlinear electrodynamics

abstract: A modified Hayward metric of magnetically charged black hole space-time based on rational nonlinear electrodynamics with the Lagrangian ${\cal L} = -{\cal F}/(1+2\beta{\cal F})$ is considered. We introduce the fundamental length, characterizing quantum gravity effects. If the fundamental length vanishes the general relativity coupling to rational nonlinear electrodynamics is recovered. We obtain corrections to the Reissner--Nordstr\"{o}m solution as the radius approaches infinity. The metric possesses a de Sitter core without singularities as $r\rightarrow 0$. The Hawking temperature and the heat capacity are calculated. It was shown that phase transitions occur and black holes are thermodynamically stable at some event horizon radii. We demonstrate that curvature invariants are bounded and the limiting curvature conjecture takes place.


title: Method for Identifying Crystalline Phases in X-ray Diffraction Data from Multiphase Samples

abstract: A new method for identifying crystalline phases in X-ray diffraction data has been proposed, which is especially useful for the study of multiphase materials (more than eight - ten phases) with a relatively low content (less than 1 - 3 wt\%). The method is based on a statistical analysis of data and provides an unambiguous non-quantitative criterion for the presence of one or another phase in the material. It has been shown that the method works reliably in cases where a significant number of reflexes (more than several dozen) on the diffraction pattern are comparable with intensity-to-noise ratio.


title: Disclinations in the geometric theory of defects

abstract: In the geometric theory of defects, media with a spin structure, for example, ferromagnet, is considered as a manifold with given Riemann--Cartan geometry. We consider the case with the Euclidean metric corresponding to the absence of elastic deformations but with nontrivial ${\mathbb S}{\mathbb O}(3)$-connection which produces nontrivial curvature and torsion tensors. We show that the 't Hooft--Polyakov monopole has physical interpretation in solid state physics describing media with continuous distribution of dislocations and disclinations. The Chern--Simons action is used for the description of single disclinations. Two examples of point disclinations are considered: spherically symmetric point "hedgehog" disclination and the point disclination for which the $n$-field has a fixed value at infinity and essential singularity at the origin. The example of linear disclinations with the Franc vector divisible by $2\pi$ is considered.


title: Topological delocalization transitions and mobility edges in the nonreciprocal Maryland model

abstract: Non-Hermitian effects could trigger spectrum, localization and topological phase transitions in quasiperiodic lattices. We propose a non-Hermitian extension of the Maryland model, which forms a paradigm in the study of localization and quantum chaos by introducing asymmetry to its hopping amplitudes. The resulting nonreciprocal Maryland model is found to possess a real-to-complex spectrum transition at a finite amount of hopping asymmetry, through which it changes from a localized phase to a mobility edge phase. Explicit expressions of the complex energy dispersions, phase boundaries and mobility edges are found. A topological winding number is further introduced to characterize the transition between different phases. Our work introduces a unique type of non-Hermitian quasicrystal, which admits exactly obtainable phase diagrams, mobility edges, and holding no extended phases at finite nonreciprocity in the thermodynamic limit.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech nlin.CD


title: Writing R Extensions in Rust

abstract: This paper complements "Writing R Extensions," the official guide for writing R extensions, for those interested in developing R packages using Rust. It highlights idiosyncrasies of R and Rust that must be addressed by any integration and describes how to develop Rust-based packages which comply with the CRAN Repository Policy. This paper introduces the "cargo" framework, a transparent Rust-based API which wraps commonly-used parts of R's API with minimal overhead and allows a programmer to easily add additional wrappers.


title: Losses of Interface Waves in Plasmonic and Gyrotropic Structures

abstract: The loss mechanisms of slow interface waves in the layered resonant media are examined and illustrated by the examples of (i) surface plasmon polaritons in an isotropic plasma layer, (ii) magnetoplasmons in magnetised plasma and (iii) spin waves in ferrimagnetic layers. It is shown that losses of all these interface waves grow at the same rate of Im(gamma) ~ Re(gamma^3), where gamma is the wavenumber. These abnormal losses are caused by vortices of the power flow of the interface waves near their resonance cut-off. The basic properties of the slow interface waves discussed in the paper are inherent to the waves of hyperbolic type in the layered resonant media.


title: Learning Skeletal Graph Neural Networks for Hard 3D Pose Estimation

abstract: Various deep learning techniques have been proposed to solve the single-view 2D-to-3D pose estimation problem. While the average prediction accuracy has been improved significantly over the years, the performance on hard poses with depth ambiguity, self-occlusion, and complex or rare poses is still far from satisfactory. In this work, we target these hard poses and present a novel skeletal GNN learning solution. To be specific, we propose a hop-aware hierarchical channel-squeezing fusion layer to effectively extract relevant information from neighboring nodes while suppressing undesired noises in GNN learning. In addition, we propose a temporal-aware dynamic graph construction procedure that is robust and effective for 3D pose estimation. Experimental results on the Human3.6M dataset show that our solution achieves 10.3\% average prediction accuracy improvement and greatly improves on hard poses over state-of-the-art techniques. We further apply the proposed technique on the skeleton-based action recognition task and also achieve state-of-the-art performance. Our code is available at https://github.com/ailingzengzzz/Skeletal-GNN.


title: On the Superconformal Index of Chern-Simons theories and their KK Spectrometry

abstract: We study the large-$N$ limit of superconformal index for two strongly interacting Chern-Simons theories in three dimensions with $\mathcal{N}=2$ supersymmetry, and compare the result against the AdS/CFT dual, namely the data of full Kaluza-Klein reduction spectra obtained using the exceptional field theory technique. The two theories of interest are mABJM and GJV theories, which are obtained as IR fixed point of RG whose UV description is ABJM and maximally supersymmetric Yang-Mills theory respectively. We confirm agreement and the duality persists. For the case of mABJM it turns out that we need a refinement of the gravity index which reflects the fact that the UV description on the field theory side has enhanced global symmetry.


title: Improving Self-supervised Learning with Hardness-aware Dynamic Curriculum Learning: An Application to Digital Pathology

abstract: Self-supervised learning (SSL) has recently shown tremendous potential to learn generic visual representations useful for many image analysis tasks. Despite their notable success, the existing SSL methods fail to generalize to downstream tasks when the number of labeled training instances is small or if the domain shift between the transfer domains is significant. In this paper, we attempt to improve self-supervised pretrained representations through the lens of curriculum learning by proposing a hardness-aware dynamic curriculum learning (HaDCL) approach. To improve the robustness and generalizability of SSL, we dynamically leverage progressive harder examples via easy-to-hard and hard-to-very-hard samples during mini-batch downstream fine-tuning. We discover that by progressive stage-wise curriculum learning, the pretrained representations are significantly enhanced and adaptable to both in-domain and out-of-domain distribution data. We performed extensive validation on three histology benchmark datasets on both patch-wise and slide-level classification problems. Our curriculum based fine-tuning yields a significant improvement over standard fine-tuning, with a minimum improvement in area-under-the-curve (AUC) score of 1.7% and 2.2% on in-domain and out-of-domain distribution data, respectively. Further, we empirically show that our approach is more generic and adaptable to any SSL methods and does not impose any additional overhead complexity. Besides, we also outline the role of patch-based versus slide-based curriculum learning in histopathology to provide practical insights into the success of curriculum based fine-tuning of SSL methods. Code is released at https://github.com/srinidhiPY/ICCV-CDPATH2021-ID-8


title: An Algebraic Approach to Physical Fields

abstract: According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are primitive. We explain how the theory of \emph{natural operations} in differential geometry -- the modern formalism behind classifying diffeomorphism-invariant constructions -- can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor.

categories: physics.hist-ph gr-qc hep-th math-ph math.MP


title: The Scheme of Monogenic Generators I: Representability

abstract: This is the first in a series of two papers that study monogenicity of number rings from a moduli-theoretic perspective. Given an extension of algebras $B/A$, when is $B$ generated by a single element $\theta \in B$ over $A$? In this paper, we show there is a scheme $\mathcal{M}_{B/A}$ parameterizing the choice of a generator $\theta \in B$, a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples.


title: Robust Trimmed k-means

abstract: Clustering is a fundamental tool in unsupervised learning, used to group objects by distinguishing between similar and dissimilar features of a given data set. One of the most common clustering algorithms is k-means. Unfortunately, when dealing with real-world data many traditional clustering algorithms are compromised by lack of clear separation between groups, noisy observations, and/or outlying data points. Thus, robust statistical algorithms are required for successful data analytics. Current methods that robustify k-means clustering are specialized for either single or multi-membership data, but do not perform competitively in both cases. We propose an extension of the k-means algorithm, which we call Robust Trimmed k-means (RTKM) that simultaneously identifies outliers and clusters points and can be applied to either single- or multi-membership data. We test RTKM on various real-world datasets and show that RTKM performs competitively with other methods on single membership data with outliers and multi-membership data without outliers. We also show that RTKM leverages its relative advantages to outperform other methods on multi-membership data containing outliers.


title: A Two-Pass Lower Bound for Semi-Streaming Maximum Matching

abstract: We prove a lower bound on the space complexity of two-pass semi-streaming algorithms that approximate the maximum matching problem. The lower bound is parameterized by the density of Ruzsa-Szemeredi graphs: * Any two-pass semi-streaming algorithm for maximum matching has approximation ratio at least $(1- \Omega(\frac{\log{RS(n)}}{\log{n}}))$, where $RS(n)$ denotes the maximum number of induced matchings of size $\Theta(n)$ in any $n$-vertex graph, i.e., the largest density of a Ruzsa-Szemeredi graph. Currently, it is known that $n^{\Omega(1/\!\log\log{n})} \leq RS(n) \leq \frac{n}{2^{O(\log^*{\!(n)})}}$ and closing this (large) gap between upper and lower bounds has remained a notoriously difficult problem in combinatorics. Under the plausible hypothesis that $RS(n) = n^{\Omega(1)}$, our lower bound is the first to rule out small-constant approximation two-pass semi-streaming algorithms for the maximum matching problem, making progress on a longstanding open question in the graph streaming literature.


title: Security Smells Pervade Mobile App Servers

abstract: [Background] Web communication is universal in cyberspace, and security risks in this domain are devastating. [Aims] We analyzed the prevalence of six security smells in mobile app servers, and we investigated the consequence of these smells from a security perspective. [Method] We used an existing dataset that includes 9714 distinct URLs used in 3376 Android mobile apps. We exercised these URLs twice within 14 months and investigated the HTTP headers and bodies. [Results] We found that more than 69% of tested apps suffer from three kinds of security smells, and that unprotected communication and misconfigurations are very common in servers. Moreover, source-code and version leaks, or the lack of update policies expose app servers to security risks. [Conclusions] Poor app server maintenance greatly hampers security.


title: Masked Face Recognition Challenge: The WebFace260M Track Report

abstract: According to WHO statistics, there are more than 204,617,027 confirmed COVID-19 cases including 4,323,247 deaths worldwide till August 12, 2021. During the coronavirus epidemic, almost everyone wears a facial mask. Traditionally, face recognition approaches process mostly non-occluded faces, which include primary facial features such as the eyes, nose, and mouth. Removing the mask for authentication in airports or laboratories will increase the risk of virus infection, posing a huge challenge to current face recognition systems. Due to the sudden outbreak of the epidemic, there are yet no publicly available real-world masked face recognition (MFR) benchmark. To cope with the above-mentioned issue, we organize the Face Bio-metrics under COVID Workshop and Masked Face Recognition Challenge in ICCV 2021. Enabled by the ultra-large-scale WebFace260M benchmark and the Face Recognition Under Inference Time conStraint (FRUITS) protocol, this challenge (WebFace260M Track) aims to push the frontiers of practical MFR. Since public evaluation sets are mostly saturated or contain noise, a new test set is gathered consisting of elaborated 2,478 celebrities and 60,926 faces. Meanwhile, we collect the world-largest real-world masked test set. In the first phase of WebFace260M Track, 69 teams (total 833 solutions) participate in the challenge and 49 teams exceed the performance of our baseline. There are second phase of the challenge till October 1, 2021 and on-going leaderboard. We will actively update this report in the future.


title: Happy MitM: Fun and Toys in Every Bluetooth Device

abstract: Bluetooth pairing establishes trust on first use between two devices by creating a shared key. Similar to certificate warnings in TLS, the Bluetooth specification requires warning users upon issues with this key, because this can indicate ongoing Machine-in-the-Middle (MitM) attacks. This paper uncovers that none of the major Bluetooth stacks warns users, which violates the specification. Clear warnings would protect users from recently published and potential future security issues in Bluetooth authentication and encryption.


title: Polymer Thin Films as Universal Substrates for Extreme Ultraviolet Absorption Spectroscopy of Molecular Transition Metal Complexes

abstract: Polystyrene and polyvinyl chloride thin films are explored as sample supports for extreme ultraviolet (XUV) spectroscopy of molecular transition metal complexes. Thin polymer films prepared by slip-coating are flat, smooth, and transmit much more XUV light than silicon nitride windows. Analytes can be directly cast onto the polymer surface, or codeposited within it. The M-edge x-ray absorption near-edge (XANES) spectra (40-90 eV) of eight archetypal transition metal complexes (M=Mn, Fe, Co, Ni) are presented to demonstrate the versatility of this method. The films are suitable for pump/probe transient absorption spectroscopy, as shown by the excited-state spectra of Fe(bpy)$_3^{2+}$ in two different polymer supports.


title: Interactive Proofs for Synthesizing Quantum States and Unitaries

abstract: Whereas quantum complexity theory has traditionally been concerned with problems arising from classical complexity theory (such as computing boolean functions), it also makes sense to study the complexity of inherently quantum operations such as constructing quantum states or performing unitary transformations. With this motivation, we define models of interactive proofs for synthesizing quantum states and unitaries, where a polynomial-time quantum verifier interacts with an untrusted quantum prover, and a verifier who accepts also outputs an approximation of the target state (for the state synthesis problem) or the result of the target unitary applied to the input state (for the unitary synthesis problem); furthermore there should exist an "honest" prover which the verifier accepts with probability 1. Our main result is a "state synthesis" analogue of the inclusion $\mathsf{PSPACE} \subseteq \mathsf{IP}$: any sequence of states computable by a polynomial-space quantum algorithm (which may run for exponential time) admits an interactive protocol of the form described above. Leveraging this state synthesis protocol, we also give a unitary synthesis protocol for polynomial space-computable unitaries that act nontrivially on only a polynomial-dimensional subspace. We obtain analogous results in the setting with multiple entangled provers as well.


title: Leaves decompositions in Euclidean spaces

abstract: We partly extend the localisation technique from convex geometry to the multiple constraints setting. For a given $1$-Lipschitz map $u\colon\mathbb{R}^n\to\mathbb{R}^m$, $m\leq n$, we define and prove the existence of a partition of $\mathbb{R}^n$, up to a set of Lebesgue measure zero, into maximal closed convex sets such that restriction of $u$ is an isometry on these sets. We consider a disintegration, with respect to this partition, of a log-concave measure. We prove that for almost every set of the partition of dimension $m$, the associated conditional measure is log-concave. This result is proven also in the context of the curvature-dimension condition for weighted Riemannian manifolds. This partially confirms a conjecture of Klartag.


title: Convolutive Prediction for Reverberant Speech Separation

abstract: We investigate the effectiveness of convolutive prediction, a novel formulation of linear prediction for speech dereverberation, for speaker separation in reverberant conditions. The key idea is to first use a deep neural network (DNN) to estimate the direct-path signal of each speaker, and then identify delayed and decayed copies of the estimated direct-path signal. Such copies are likely due to reverberation, and can be directly removed for dereverberation or used as extra features for another DNN to perform better dereverberation and separation. To identify such copies, we solve a linear regression problem per frequency efficiently in the time-frequency (T-F) domain to estimate the underlying room impulse response (RIR). In the multi-channel extension, we perform minimum variance distortionless response (MVDR) beamforming on the outputs of convolutive prediction. The beamforming and dereverberation results are used as extra features for a second DNN to perform better separation and dereverberation. State-of-the-art results are obtained on the SMS-WSJ corpus.


title: rigidPy: Rigidity Analysis in Python

abstract: rigidPy is a Python package that provides a set of tools necessary for studying rigidity and mechanical response in spring networks. It also includes suitable modules for generating new realizations of networks with applications in glassy systems and protein structures. rigidPy is available freely on GitHub and can be installed using Python Package Index (PyPi). The detailed setup information is provided in this paper, along with an overview of the mathematical framework that has been used in developing the package.


title: Drag and lift forces on a rigid sphere immersed in a wall-bounded linear shear flow

abstract: We report on a series of fully resolved simulations of the flow around a rigid sphere translating steadily near a wall, either in a fluid at rest or in the presence of a uniform shear. Non-rotating and freely rotating spheres subject to a torque-free condition are both considered to evaluate the importance of spin-induced effects. The separation distance between the sphere and wall is varied from values at which the wall influence is weak down to gaps of half the sphere radius. The Reynolds number based on the sphere diameter and relative velocity with respect to the ambient fluid spans the range $0.1-250$, and the relative shear rate defined as the ratio of the shear-induced velocity variation across the sphere to the relative velocity is varied from $-0.5$ to $+0.5$, so that the sphere either leads the fluid or lags behind it. The wall-induced interaction mechanisms at play in the various flow regimes are analyzed qualitatively by examining the flow structure, especially the spanwise and streamwise vorticity distributions. Variations of the drag and lift forces at low-but-finite and moderate Reynolds number are compared with available analytical and semiempirical expressions, respectively. In more inertial regimes, empirical expressions for the two force components are derived based on the numerical data, yielding accurate fits valid over a wide range of Reynolds number and wall-sphere separations for both non-rotating and torque-free spheres.


title: Knot probabilities in equilateral random polygons

abstract: We consider the probability of knotting in equilateral random polygons in Euclidean 3-dimensional space, which model, for instance, random polymers. Results from an extensive Monte Carlo dataset of random polygons indicate a universal scaling formula for the knotting probability with the number of edges. This scaling formula involves an exponential function, independent of knot type, with a power law factor that depends on the number of prime components of the knot. The unknot, appearing as a composite knot with zero components, scales with a small negative power law, contrasting with previous studies that indicated a purely exponential scaling. The methodology incorporates several improvements over previous investigations: our random polygon data set is generated using a fast, unbiased algorithm, and knotting is detected using an optimised set of knot invariants based on the Alexander polynomial.

categories: cond-mat.stat-mech math-ph math.GT math.MP


title: A new kind of anomaly: on W-constraints for GKM

abstract: We look for the origins of the single equation, which is a peculiar combination of W-constrains, which provides the non-abelian W-representation for generalized Kontsevich model (GKM), i.e. is enough to fix the partition function unambiguously. Namely we compare it with the scalar projection of the matrix Ward identity. It turns out that, though similar, the two equations do not coincide, moreover, the latter one is non-polynomial in time-variables. This discrepancy disappears for the cubic model if partition function is reduced to depend on odd times (belong to KdV sub-hierarchy of KP), but in general such reduction is not enough. We consider the failure of such direct interpretation of the "single equation" as a new kind of anomaly, which should be explained and eliminated in the future analysis of GKM.


title: Real-time Human-Centric Segmentation for Complex Video Scenes

abstract: Most existing video tasks related to "human" focus on the segmentation of salient humans, ignoring the unspecified others in the video. Few studies have focused on segmenting and tracking all humans in a complex video, including pedestrians and humans of other states (e.g., seated, riding, or occluded). In this paper, we propose a novel framework, abbreviated as HVISNet, that segments and tracks all presented people in given videos based on a one-stage detector. To better evaluate complex scenes, we offer a new benchmark called HVIS (Human Video Instance Segmentation), which comprises 1447 human instance masks in 805 high-resolution videos in diverse scenes. Extensive experiments show that our proposed HVISNet outperforms the state-of-the-art methods in terms of accuracy at a real-time inference speed (30 FPS), especially on complex video scenes. We also notice that using the center of the bounding box to distinguish different individuals severely deteriorates the segmentation accuracy, especially in heavily occluded conditions. This common phenomenon is referred to as the ambiguous positive samples problem. To alleviate this problem, we propose a mechanism named Inner Center Sampling to improve the accuracy of instance segmentation. Such a plug-and-play inner center sampling mechanism can be incorporated in any instance segmentation models based on a one-stage detector to improve the performance. In particular, it gains 4.1 mAP improvement on the state-of-the-art method in the case of occluded humans. Code and data are available at https://github.com/IIGROUP/HVISNet.


title: Continuous-Time Spatiotemporal Calibration of a Rolling Shutter Camera-IMU System

abstract: The rolling shutter (RS) mechanism is widely used by consumer-grade cameras, which are essential parts in smartphones and autonomous vehicles. The RS effect leads to image distortion upon relative motion between a camera and the scene. This effect needs to be considered in video stabilization, structure from motion, and vision-aided odometry, for which recent studies have improved earlier global shutter (GS) methods by accounting for the RS effect. However, it is still unclear how the RS affects spatiotemporal calibration of the camera in a sensor assembly, which is crucial to good performance in aforementioned applications. This work takes the camera-IMU system as an example and looks into the RS effect on its spatiotemporal calibration. To this end, we develop a calibration method for a RS-camera-IMU system with continuous-time B-splines by using a calibration target. Unlike in calibrating GS cameras, every observation of a landmark on the target has a unique camera pose fitted by continuous-time B-splines. With simulated data generated from four sets of public calibration data, we show that RS can noticeably affect the extrinsic parameters, causing errors about 1$^\circ$ in orientation and 2 $cm$ in translation with a RS setting as in common smartphone cameras. With real data collected by two industrial camera-IMU systems, we find that considering the RS effect gives more accurate and consistent spatiotemporal calibration. Moreover, our method also accurately calibrates the inter-line delay of the RS. The code for simulation and calibration is publicly available.


title: Optimal transport of vector measures

abstract: We develop and study a theory of optimal transport for vector measures. We resolve in the negative a conjecture of Klartag, that given a vector measure on Euclidean space with total mass zero, the mass of any transport set is again zero. We provide a counterexample to the conjecture. We generalise the Kantorovich--Rubinstein duality to the vector measures setting. Employing the generalisation, we answer the conjecture in the affirmative provided there exists an optimal transport with absolutely continuous marginals of its total variation.


title: Euler characteristic of stable envelopes

abstract: In this paper we prove a formula relating the equivariant Euler characteristic of $K$-theoretic stable envelopes to an object known as the index vertex for the cotangent bundle of the full flag variety. Our formula demonstrates that the index vertex is the power series expansion of a rational function. This result is a consequence of the 3d mirror self-symmetry of the variety considered here. In general, one expects an analogous result to hold for any two varieties related by 3d mirror symmetry.


title: On $(r,D,R)$-Blaschke-Santal\'o diagrams with regular $k$-gon gauges

abstract: We provide a study of Blaschke-Santal\'o diagrams for the inradius, diameter, and circumradius, measured with respect to different gauges. This contrasts previous works on those diagrams, which are all considered for euclidean measure. By proving several new inequalities and properties between these three functionals, we compute the intersection and the union over all possible gauges of those diagrams, showing that they coincide with the corresponding diagrams of a parallelotope and (in the planar case) a triangle, respectively. Further new extremal properties are derived considering the diagrams with respect to a regular pentagon or hexagon gauge.


title: Quench Disorder and Scalar Field Theory in the Presence of Boundary

abstract: Disordered systems are interesting for many physical reasons. In this article, we study the renormalization group property of quenched disorder systems in the presence of a boundary. We construct examples of scalar field theories in various dimensions with both classical and quantum disorder localized at the boundary. We study these theories in $\e$-expansion and discuss properties of fixed points of the renormalization group flow.


title: A fast direct solver for integral equations on locally refined boundary discretizations and its application to multiphase flow simulations

abstract: In transient simulations of particulate Stokes flow, to accurately capture the interaction between the constituent particles and the confining wall, the discretization of the wall often needs to be locally refined in the region approached by the particles. Consequently, standard fast direct solvers lose their efficiency since the linear system changes at each time step. This manuscript presents a new computational approach that avoids this issue by pre-constructing a fast direct solver for the wall ahead of time, computing a low-rank factorization to capture the changes due to the refinement, and solving the problem on the refined discretization via a Woodbury formula. Numerical results illustrate the efficiency of the solver in accelerating particulate Stokes simulations.


title: Proximity Perception in Human-Centered Robotics: A Survey on Sensing Systems and Applications

abstract: Proximity perception is a technology that has the potential to play an essential role in the future of robotics. It can fulfill the promise of safe, robust, and autonomous systems in industry and everyday life, alongside humans, as well as in remote locations in space and underwater. In this survey paper, we cover the developments of this field from the early days up to the present, with a focus on human-centered robotics. Here, proximity sensors are typically deployed in two scenarios: first, on the exterior of manipulator arms to support safety and interaction functionality, and second, on the inside of grippers or hands to support grasping and exploration. Starting from this observation, we propose a categorization for the approaches found in the literature. To provide a basis for understanding these approaches, we devote effort to present the technologies and different measuring principles that were developed over the years, also providing a summary in form of a table. Then, we show the diversity of applications that have been presented in the literature. Finally, we give an overview of the most important trends that will shape the future of this domain.


title: (216) Kleopatra, a low density critically rotating M-type asteroid

abstract: Context. The recent estimates of the 3D shape of the M/Xe-type triple asteroid system (216) Kleopatra indicated a density of 5 g.cm$^{-3}$. Such a high density implies a high metal content and a low porosity which is not easy to reconcile with its peculiar dumbbell shape. Aims. Given the unprecedented angular resolution of the VLT/SPHERE/ZIMPOL camera, we aim to constrain the mass and the shape of Kleopatra with high accuracy, hence its density. Methods. We combined our new VLT/SPHERE observations of Kleopatra recorded in 2017 and 2018 with archival data, as well as lightcurve, occultation, and delay-Doppler images, to derive its 3D shape model using two different algorithms (ADAM, MPCD). Furthermore, an N-body dynamical model allowed us to retrieve the orbital elements of the two moons as explained in the accompanying paper. Results. The shape of Kleopatra is very close to an equilibrium dumbbell figure with two lobes and a thick neck. Its volume equivalent diameter (118.75$\pm$1.40) km and mass (2.97$\pm$0.32) 10$^{18}$ kg imply a bulk density of (3.38$\pm$0.50) g cm$^{-3}$. Such a low density for a supposedly metal-rich body indicates a substantial porosity within the primary. This porous structure along with its near-equilibrium shape is compatible with a formation scenario including a giant impact followed by reaccumulation. Kleopatra's current rotation period and dumbbell shape imply that it is in a critically rotating state. The low effective gravity along the equator of the body, together with the equatorial orbits of the moons and possibly rubble-pile structure, opens the possibility that the moons formed via mass shedding. Conclusions. Kleopatra is a puzzling multiple system due to the unique characteristics of the primary. It deserves particular attention in the future, with the Extremely Large Telescopes and possibly a dedicated space mission.


title: Hierarchical Infinite Relational Model

abstract: This paper describes the hierarchical infinite relational model (HIRM), a new probabilistic generative model for noisy, sparse, and heterogeneous relational data. Given a set of relations defined over a collection of domains, the model first infers multiple non-overlapping clusters of relations using a top-level Chinese restaurant process. Within each cluster of relations, a Dirichlet process mixture is then used to partition the domain entities and model the probability distribution of relation values. The HIRM generalizes the standard infinite relational model and can be used for a variety of data analysis tasks including dependence detection, clustering, and density estimation. We present new algorithms for fully Bayesian posterior inference via Gibbs sampling. We illustrate the efficacy of the method on a density estimation benchmark of twenty object-attribute datasets with up to 18 million cells and use it to discover relational structure in real-world datasets from politics and genomics.


title: Fractional Poincar\'e and localized Hardy inequalities on metric spaces

abstract: We prove fractional Sobolev-Poincar\'e inequalities, capacitary versions of fractional Poincar\'e inequalities, and pointwise and localized fractional Hardy inequalities in a metric space equipped with a doubling measure. Our results generalize and extend earlier work where such inequalities have been considered in the Euclidean spaces or in the non-fractional setting in metric spaces. The results concerning pointwise and localized variants of fractional Hardy inequalities are new even in the Euclidean case.


title: Bianchi IX geometry and the Einstein-Maxwell theory

abstract: We construct numerical solutions to the higher-dimensional Einstein-Maxwell theory. The solutions are based on embedding the four dimensional Bianchi type IX space in the theory. We find the solutions as superposition of two functions, which one of them can be found numerically. We show that the solutions in any dimensions, are almost regular everywhere, except a singular point. We find that the solutions interpolate between the two exact analytical solutions to the higher dimensional Einstein-Maxwell theory, which are based on Eguchi-Hanson type I and II geometries. Moreover, we construct the exact cosmological solutions to the theory, and study the properties of the solutions.


title: FluentCrypto: Cryptography in Easy Mode

abstract: Research has shown that cryptography concepts are hard to understand for developers, and secure use of cryptography APIs is challenging for mainstream developers. We have developed a fluent API named FluentCrypto to ease the secure and correct adoption of cryptography in the Node.js JavaScript runtime environment. It provides a task-based solution i.e., it hides the low-level complexities that involve using the native Node.js cryptography API, and it relies on the rules that crypto experts specify to determine a secure configuration of the API. We conducted an initial study and found that FluentCrypto is hard to misuse even for developers who lack cryptography knowledge, and compared to the standard Node.js crypto API, it is easier to use for developers and helps them to develop secure solutions in a shorter time.


title: Simulating grain shape effects and damage in granular media using PeriDEM

abstract: We provide a numerical platform for the analysis of particle shape and topology effect on the macroscopic behavior of granular media. We work within a Discrete Element Method (DEM) framework and apply a peridynamic model for deformable particles accounting for deformation and damage of individual particles. To accommodate arbitrary particle shapes including nonconvex ones as well as particle topology, an efficient method is developed to keep intra-particle peridynamic interaction within particle boundaries. Particle contact with the rigid boundary wall is computed analytically to improve accuracy. To speed up simulations with particles of different shapes and sizes the initial configuration is chosen using security disks containing different particle shapes that are placed in a jammed state using an optimization-based method. The effect of particle shape and topology on settling and compaction of the aggregate for deformable particles is analyzed.


title: Reversion Porisms in Conics

abstract: We give a projective proof of the butterfly porism for cyclic quadrilaterals and present a general reversion porism for polygons with an arbitrary number of vertices on a conic. We also investigate projective properties of the porisms.


title: Complexity-like properties and parameter asymptotics of $\mathfrak{L}_{q}$-norms of Laguerre and Gegenbauer polynomials

abstract: The main monotonic statistical complexity-like measures of the Rakhmanov's probability density associated to the hypergeometric orthogonal polynomials (HOPs) in a real continuous variable, each of them quantifying two configurational facets of spreading, are examined in this work beyond the Cram\'er-Rao one. The Fisher-Shannon and LMC (L\'opez-Ruiz-Mancini-Calvet) complexity measures, which have two entropic components, are analytically expressed in terms of the degree and the orthogonality weight's parameter(s) of the polynomials. The degree and parameter asymptotics of these two-fold spreading measures are shown for the parameter-dependent families of HOPs of Laguerre and Gegenbauer types. This is done by using the asymptotics of the R\'enyi and Shannon entropies, which are closely connected to the $\mathfrak{L}_{q}$-norms of these polynomials, when the weight's parameter tends towards infinity. The degree and parameter asymptotics of these Laguerre and Gegenbauer algebraic norms control the radial and angular charge and momentum distributions of numerous relevant multidimensional physical systems with a spherically-symmetric quantum-mechanical potential in the high-energy (Rydberg) and high-dimensional (quasi-classical) states, respectively. This is because the corresponding states' wavefunctions are expressed by means of the Laguerre and Gegenbauer polynomials in both position and momentum spaces.