title: A Review on C3I Systems' Security: Vulnerabilities, Attacks, and Countermeasures

abstract: Command, Control, Communication, and Intelligence (C3I) systems are increasingly used in critical civil and military domains for achieving information superiority, operational efficacy, and greater situational awareness. Unlike traditional systems facing widespread cyber-attacks, the sensitive nature of C3I tactical operations make their cybersecurity a critical concern. For instance, tampering or intercepting confidential information in military battlefields not only damages C3I operations, but also causes irreversible consequences such as loss of human lives and mission failures. Therefore, C3I systems have become a focal point for cyber adversaries. Moreover, technological advancements and modernization of C3I systems have significantly increased the potential risk of cyber-attacks on C3I systems. Consequently, cyber adversaries leverage highly sophisticated attack vectors to exploit security vulnerabilities in C3I systems. Despite the burgeoning significance of cybersecurity for C3I systems, the existing literature lacks a comprehensive review to systematize the body of knowledge on C3I systems' security. Therefore, in this paper, we have gathered, analyzed, and synthesized the state-of-the-art on the cybersecurity of C3I systems. In particular, this paper has identified security vulnerabilities, attack vectors, and countermeasures/defenses for C3I systems. Furthermore, our survey has enabled us to: (i) propose a taxonomy for security vulnerabilities, attack vectors and countermeasures; (ii) interrelate attack vectors with security vulnerabilities and countermeasures; and (iii) propose future research directions for advancing the state-of-the-art on the cybersecurity of C3I systems.


title: CFNet: LiDAR-Camera Registration Using Calibration Flow Network

abstract: As an essential procedure of data fusion, LiDAR-camera calibration is critical for autonomous vehicles and robot navigation. Most calibration methods rely on hand-crafted features and require significant amounts of extracted features or specific calibration targets. With the development of deep learning (DL) techniques, some attempts take advantage of convolutional neural networks (CNNs) to regress the 6 degrees of freedom (DOF) extrinsic parameters. Nevertheless, the performance of these DL-based methods is reported to be worse than the non-DL methods. This paper proposed an online LiDAR-camera extrinsic calibration algorithm that combines the DL and the geometry methods. We define a two-channel image named calibration flow to illustrate the deviation from the initial projection to the ground truth. EPnP algorithm within the RANdom SAmple Consensus (RANSAC) scheme is applied to estimate the extrinsic parameters with 2D-3D correspondences constructed by the calibration flow. Experiments on KITTI datasets demonstrate that our proposed method is superior to the state-of-the-art methods. Furthermore, we propose a semantic initialization algorithm with the introduction of instance centroids (ICs). The code will be publicly available at https://github.com/LvXudong-HIT/CFNet.


title: Time resolved 3Dinterferometric imaging of a section of a negative leader with LOFAR

abstract: We have developed a three dimensional (3D) interferometric beamforming technique for imaging lightning flashes using Very-High Frequency (VHF) radio data recorded from several hundreds antennas with baselines up to 100~km as offered by the Low Frequency Array (LOFAR). The long baselines allow us to distinguish fine structures on the scale of meters while the large number of antennas allow us to observe processes that radiate at the same intensity as the background when using a time resolution that is close to the impulse-response time of the system, 100~ns. The new beamforming imaging technique is complementary to our existing impulsive imaging technique. We apply this new tool to the imaging of a four stepped negative leaders in two flashes. For one flash, we observe the dynamics of coronal flashes that are emitted in the stepping process. Additionally, we show that the intensity emitted in VHF during the stepping process follows a power-law over 4 orders of magnitude in intensity for four leaders in two different lightning storms.


title: Quantum Disturbance without State Change: Soundness and Locality of Disturbance Measures

abstract: It is often supposed that a quantum system is not disturbed without state change. In a recent debate, this assumption is used to claim that the operator-based disturbance measure, a broadly used disturbance measure, has an unphysical property. Here, we show that a quantum system possibly incurs an operationally detectable disturbance without state change to rebut the claim. Moreover, we establish the reliability, formulated as soundness and locality, of the operator-based disturbance measure, which, we show, quantifies the disturbance on an observable that manifests in the time-like correlation even in the case where its probability distribution does not change.


title: On the generalized $\vartheta$-number and related problems for highly symmetric graphs

abstract: This paper is an in-depth analysis of the generalized $\vartheta$-number of a graph. The generalized $\vartheta$-number, $\vartheta_k(G)$, serves as a bound for both the $k$-multichromatic number of a graph and the maximum $k$-colorable subgraph problem. We present various properties of $\vartheta_k(G)$, such as that the sequence $(\vartheta_k(G))_k$ is increasing and bounded from above by the order of the graph $G$. We study $\vartheta_k(G)$ when $G$ is the strong, disjunction or Cartesian product of two graphs. We provide closed form expressions for the generalized $\vartheta$-number on several classes of graphs including the Kneser graphs, cycle graphs, strongly regular graphs and orthogonality graphs. Our paper provides bounds on the product and sum of the $k$-multichromatic number of a graph and its complement graph, as well as lower bounds for the $k$-multichromatic number on several graph classes including the Hamming and Johnson graphs.


title: In situ ultrasound imaging of shear shock waves in the porcine brain

abstract: Using high frame-rate ultrasound and high sensitivity motion tracking, we recently showed that shear waves sent to the ex vivo porcine brain develop into shear shock waves with destructive local accelerations inside the brain which may be a key mechanism behind deep traumatic brain injuries. Direct measurement of brain motion at an adequate frame-rate during impacts has been a persistent challenge. Here we present the ultrasound observation of shear shock waves in the acoustically challenging environment of the in situ porcine brain during a single-shot impact. The brain was attached to a plate source which was vibrated at a moderate amplitude of 25g, to propagate a 40 Hz shear wave into the brain. Simultaneously, images of the moving brain were acquired at 2193 images/s, using a custom imaging sequence with 8 interleaved ultrasound transmit-receive events, designed to accurately track shear shocks. To achieve a long field-of-view, wide-beam emissions were designed using time-reversal ultrasound simulations and no compounding was used to avoid motion blurring. A peak acceleration of 102g was measured at the shock-front, 7.1 mm deep inside the brain. It is also shown that experimental shear velocity, acceleration, and strain-rate waveforms in brain are in excellent agreement with theoretical predictions from a custom higher-order finite volume method hence demonstrating the capabilities to measure rapid brain motion even in the presence of strong acoustical reverberations from the porcine skull.


title: On an alternative mechanism for the black hole echoes

abstract: Gravitational wave echoes from the black holes have been suggested as a crucial observable to probe the spacetime in the vicinity of the horizon. In particular, it was speculated that the echoes are closely connected with specific characteristics of the exotic compact objects, and moreover, possibly provide an access to the quantum nature of gravity. Recently, it was shown that the discontinuity in the black hole metric substantially modifies the asymptotical behavior of quasinormal frequencies. In the present study, we proceed further and argue that a discontinuity planted into the metric furnishes an alternative mechanism for the black hole echoes. Physically, the latter may correspond to an uneven matter distribution inside the surrounding halo. To demonstrate the results, we first numerically investigate the temporal evolution of the scalar perturbations around a black hole that possesses a nonsmooth effective potential. It is shown that the phenomenon persists even though the discontinuity can be located further away from the horizon with rather insignificant strength. Besides, we show that the echoes in the present model can be derived analytically based on the modified pole structure of the associated Green function. The asymptotical properties of the quasinormal mode spectrum and the echoes are found to be closely connected, as both features can be attributed to the same origin. In particular, the period of the echoes in the time domain $T$ is shown to be related to the asymptotic spacing between successive poles along the real axis in the frequency domain $\Delta(\Re\omega)$, by a simple relation $\lim\limits_{\Re\omega\to+\infty}\Delta(\Re\omega) = 2\pi/T$. Moreover, we discuss possible distinguishment between different echo mechanisms. The potential astrophysical implications of the present findings are also addressed.


title: Spacetimes with continuous linear isotropies II: boosts

abstract: Conditions are found which ensure that local boost invariance (LBI), invariance under a linear boost isotropy, implies local boost symmetry (LBS), i.e. the existence of a local group of motions such that for every point $P$ in a neighbourhood there is a boost leaving $P$ fixed. It is shown that for Petrov type D spacetimes this requires LBI of the Riemann tensor and its first derivative. That is also true for most conformally flat spacetimes, but those with Ricci tensors of Segre type [1(11,1)] may require LBI of the first three derivatives of curvature to ensure LBS.


title: EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case

abstract: The latest Deep Learning (DL) models for detection and classification have achieved an unprecedented performance over classical machine learning algorithms. However, DL models are black-box methods hard to debug, interpret, and certify. DL alone cannot provide explanations that can be validated by a non technical audience. In contrast, symbolic AI systems that convert concepts into rules or symbols -- such as knowledge graphs -- are easier to explain. However, they present lower generalisation and scaling capabilities. A very important challenge is to fuse DL representations with expert knowledge. One way to address this challenge, as well as the performance-explainability trade-off is by leveraging the best of both streams without obviating domain expert knowledge. We tackle such problem by considering the symbolic knowledge is expressed in form of a domain expert knowledge graph. We present the eXplainable Neural-symbolic learning (X-NeSyL) methodology, designed to learn both symbolic and deep representations, together with an explainability metric to assess the level of alignment of machine and human expert explanations. The ultimate objective is to fuse DL representations with expert domain knowledge during the learning process to serve as a sound basis for explainability. X-NeSyL methodology involves the concrete use of two notions of explanation at inference and training time respectively: 1) EXPLANet: Expert-aligned eXplainable Part-based cLAssifier NETwork Architecture, a compositional CNN that makes use of symbolic representations, and 2) SHAP-Backprop, an explainable AI-informed training procedure that guides the DL process to align with such symbolic representations in form of knowledge graphs. We showcase X-NeSyL methodology using MonuMAI dataset for monument facade image classification, and demonstrate that our approach improves explainability and performance.


title: On the structure of groups with polynomial growth IV

abstract: Recently we have shown a structure theorem for locally compact groups of polynomial growth. We give now some applications on various growth functions and relations to FC-G - series. In addition, we show some results on related classes of groups.


title: Many-body state and dynamic behaviour of the pair-correlation function of a small Bose-Einstein condensate confined in a ring potential

abstract: We investigate the many-body state and the static and the dynamic behaviour of the pair-correlation function of a Bose-Einstein condensate with a finite atom number, which is confined in a quasi-one-dimensional toroidal/annular potential, both for repulsive, and for attractive interactions. We link the dynamic pair-correlation function that we evaluate with the problem of quantum time crystals. For weak repulsive interatomic interactions and a finite number of atoms the pair-correlation function shows a periodic temporal behaviour, which disappears in the limit of a large atom number, in agreement with general arguments. Finally we provide some insight into older results of attractive interactions, where the time-crystalline behaviour exists only in the limit of a large atom number.


title: KDF: Kinodynamic Motion Planning via Geometric Sampling-based Algorithms and Funnel Control

abstract: We integrate sampling-based planning techniques with funnel-based feedback control to develop KDF, a new framework for solving the kinodynamic motion-planning problem via funnel control. The considered systems evolve subject to complex, nonlinear, and uncertain dynamics (aka differential constraints). Firstly, we use a geometric planner to obtain a high-level safe path in a user-defined extended free space. Secondly, we develop a low-level funnel control algorithm that guarantees safe tracking of the path by the system. Neither the planner nor the control algorithm use information on the underlying dynamics of the system, which makes the proposed scheme easily distributable to a large variety of different systems and scenarios. Intuitively, the funnel control module is able to implicitly accommodate the dynamics of the system, allowing hence the deployment of purely geometrical motion planners. Extensive computer simulations and experimental results with a 6-DOF robotic arm validate the proposed approach.


title: Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

abstract: Reinforcement Learning (RL) agents have great successes in solving tasks with large observation and action spaces from limited feedback. Still, training the agents is data-intensive and there are no guarantees that the learned behavior is safe and does not violate rules of the environment, which has limitations for the practical deployment in real-world scenarios. This paper discusses the engineering of reliable agents via the integration of deep RL with constraint-based augmentation models to guide the RL agent towards safe behavior. Within the constraints set, the RL agent is free to adapt and explore, such that its effectiveness to solve the given problem is not hindered. However, once the RL agent leaves the space defined by the constraints, the outside models can provide guidance to still work reliably. We discuss integration points for constraint guidance within the RL process and perform experiments on two case studies: a strictly constrained card game and a grid world environment with additional combinatorial subgoals. Our results show that constraint-guidance does both provide reliability improvements and safer behavior, as well as accelerated training.


title: On holomorphic mappings of strictly pseudoconvex domains

abstract: We study the boundary regularity of proper holomorphic mappings between strictly pseudoconvex domains with $C^2$-boundaries.


title: On non-existence of continuous families of stationary nonlinear modes for a class of complex potentials

abstract: There are two cases when the nonlinear Schr\"odinger equation (NLSE) with an external complex potential is well-known to support continuous families of localized stationary modes: the ${\cal PT}$-symmetric potentials and the Wadati potentials. Recently Y. Kominis and coauthors [Chaos, Solitons and Fractals, 118, 222-233 (2019)] have suggested that the continuous families can be also found in complex potentials of the form $W(x)=W_{1}(x)+iCW_{1,x}(x)$, where $C$ is an arbitrary real and $W_1(x)$ is a real-valued and bounded differentiable function. Here we study in detail nonlinear stationary modes that emerge in complex potentials of this type (for brevity, we call them W-dW potentials). First, we assume that the potential is small and employ asymptotic methods to construct a family of nonlinear modes. Our asymptotic procedure stops at the terms of the $\varepsilon^2$ order, where small $\varepsilon$ characterizes amplitude of the potential. We therefore conjecture that no continuous families of authentic nonlinear modes exist in this case, but "pseudo-modes" that satisfy the equation up to $\varepsilon^2$-error can indeed be found in W-dW potentials. Second, we consider the particular case of a W-dW potential well of finite depth and support our hypothesis with qualitative and numerical arguments. Third, we simulate the nonlinear dynamics of found pseudo-modes and observe that, if the amplitude of W-dW potential is small, then the pseudo-modes are robust and display persistent oscillations around a certain position predicted by the asymptotic expansion. Finally, we study the authentic stationary modes which do not form a continuous family, but exist as isolated points. Numerical simulations reveal dynamical instability of these solutions.


title: Non-reciprocity and quantum correlations of light transport in hot atoms via reservoir engineering

abstract: The breaking of reciprocity is a topic of great interest in fundamental physics and optical information processing applications. We demonstrate non-reciprocal light transport in a quantum system of hot atoms by engineering the dissipative atomic reservoir. Our scheme is based on the phase-sensitive light transport in a multi-channel photon-atom interaction configuration, where the phase of collective atomic excitations is tunable through external driving fields. Remarkably, we observe inter-channel quantum correlations which originate from interactions with the judiciously engineered reservoir. The non-reciprocal transport in a quantum optical atomic system constitutes a new paradigm for atom-based, non-reciprocal optics, and offers opportunities for quantum simulations with coupled optical channels.


title: A non-abelian exterior product of Hom-Leibniz algebras

abstract: In this paper, we introduce a non-abelian exterior product of Hom-Leibniz algebras and investigate its relative to the Hopf's formula. We also construct an eight-term exact sequence in the homology of Hom-Leibniz algebras. Finally, we relate the notion of capability of a Hom-Leibniz algebra to its exterior product.


title: A dual formula for the noncommutative transport distance

abstract: In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation.


title: Watt-level blue light for precision spectroscopy, laser cooling and trapping of strontium and cadmium atoms

abstract: High-power and narrow-linewidth laser light is a vital tool for atomic physics, being used for example in laser cooling and trapping and precision spectroscopy. Here we produce Watt-level laser radiation at 457.49 nm and 460.86 nm of respective relevance for the cooling transitions of cadmium and strontium atoms. This is achieved via the frequency doubling of a kHz-linewidth vertical-external-cavity surface-emitting laser (VECSEL), which is based on a novel gain chip design enabling lasing at > 2 W in the 915-928 nm region. Following an additional doubling stage, spectroscopy of the $^1S_0\to{}^1P_1$ cadmium transition at 228.89 nm is performed on an atomic beam, with all the transitions from all eight natural isotopes observed in a single continuous sweep of more than 4 GHz in the deep ultraviolet. The absolute value of the transition frequency of Cd-114 and the isotope shifts relative to this transition are determined, with values for some of these shifts provided for the first time


title: Interacting fermion dynamics in Majorana phase-space

abstract: The problem of fermion dynamics is studied using the Q-function for fermions. This is a probabilistic phase-space representation, which we express using Majorana operators, so that the phase-space variable is a real antisymmetric matrix. We consider a general interaction Hamiltonian with four Majorana operators and arbitrary properties. Our model includes the Majorana Hubbard and Fermi Hubbard Hamiltonians, as well as general quantum field theories of interacting fermions. Using the Majorana Q-function we derive a generalized Fokker-Planck equation, with results for the drift and diffusion terms. The diffusion term is proved to be traceless, which gives a dynamical interpretation as a forwards-backwards stochastic process. This approach leads to a model of quantum measurement in terms of an ontology with real vacuum fluctuations.


title: Some results on the second relative homology of Leibniz algebras

abstract: In this paper, the structure of the second relative homology and the relative stem cover of the direct sum of two pairs of Leibniz algebras are determined by means of the non-abelian tensor product of Leibniz algebras. We also characterize all pairs of finite dimensional nilpotent Leibniz algebras such that...


title: Anomaly Detection for Solder Joints Using $\beta$-VAE

abstract: In the assembly process of printed circuit boards (PCB), most of the errors are caused by solder joints in Surface Mount Devices (SMD). In the literature, traditional feature extraction based methods require designing hand-crafted features and rely on the tiered RGB illumination to detect solder joint errors, whereas the supervised Convolutional Neural Network (CNN) based approaches require a lot of labelled abnormal samples (defective solder joints) to achieve high accuracy. To solve the optical inspection problem in unrestricted environments with no special lighting and without the existence of error-free reference boards, we propose a new beta-Variational Autoencoders (beta-VAE) architecture for anomaly detection that can work on both IC and non-IC components. We show that the proposed model learns disentangled representation of data, leading to more independent features and improved latent space representations. We compare the activation and gradient-based representations that are used to characterize anomalies; and observe the effect of different beta parameters on accuracy and on untwining the feature representations in beta-VAE. Finally, we show that anomalies on solder joints can be detected with high accuracy via a model trained on directly normal samples without designated hardware or feature engineering.


title: Extract then Distill: Efficient and Effective Task-Agnostic BERT Distillation

abstract: Task-agnostic knowledge distillation, a teacher-student framework, has been proved effective for BERT compression. Although achieving promising results on NLP tasks, it requires enormous computational resources. In this paper, we propose Extract Then Distill (ETD), a generic and flexible strategy to reuse the teacher's parameters for efficient and effective task-agnostic distillation, which can be applied to students of any size. Specifically, we introduce two variants of ETD, ETD-Rand and ETD-Impt, which extract the teacher's parameters in a random manner and by following an importance metric respectively. In this way, the student has already acquired some knowledge at the beginning of the distillation process, which makes the distillation process converge faster. We demonstrate the effectiveness of ETD on the GLUE benchmark and SQuAD. The experimental results show that: (1) compared with the baseline without an ETD strategy, ETD can save 70\% of computation cost. Moreover, it achieves better results than the baseline when using the same computing resource. (2) ETD is generic and has been proven effective for different distillation methods (e.g., TinyBERT and MiniLM) and students of different sizes. The source code will be publicly available upon publication.


title: Galactic open cluster Cepheids -- a census based on Gaia EDR3

abstract: In the Gaia era, the membership analysis and parameter determination of open clusters (OCs) are more accurate. We performed a census of OC's classical Cepheids based on Gaia Early Data Release 3 (EDR3) and obtained a sample of 33 OC Cepheids fulfilling the constraints of the spatial position, proper motion, parallax and evolution state. 13 of 33 OC Cepheids are newly discovered. Among them, CM Sct is the first first-crossing Cepheids with direct evidence of evolution. DP Vel is likely a fourth- or fifth-crossing Cepheids. Based on independent distances from OCs, W_1-band period-luminosity relation of Cepheids is determined with a 3.5% accuracy: <MW1> = -(3.274 +- 0.090) log P - (-2.567 +- 0.080). The Gaia-band period-Wesenheit relation agrees well with Ripepi et al. (2019). A direct period-age relation for fundamental Cepheids are also determined based on OC's age, that is log t = -(0.638 +- 0.063) log P + (8.569 +- 0.057).


title: On a gauge-invariant deformation of a classical gauge-invariant theory

abstract: We consider a general gauge theory with independent generators and study the problem of gauge-invariant deformation of initial gauge-invariant classical action. The problem is formulated in terms of BV-formalism and is reduced to describing the general solution to the classical master equation. We show that such general solution is determined by two arbitrary generating functions of the initial fields. As a result, we construct in explicit form the deformed action and the deformed gauge generators in terms of above functions. We argue that the deformed theory must in general be non-local. The developed deformation procedure is applied to Abelian vector field theory and we show that it allows to derive non-Abelain Yang-Mills theory. This procedure is also applied to free massless integer higher spin field theory and leads to local cubic interaction vertex for such fields.


title: Adaptive Appearance Rendering

abstract: We propose an approach to generate images of people given a desired appearance and pose. Disentangled representations of pose and appearance are necessary to handle the compound variability in the resulting generated images. Hence, we develop an approach based on intermediate representations of poses and appearance: our pose-guided appearance rendering network firstly encodes the targets' poses using an encoder-decoder neural network. Then the targets' appearances are encoded by learning adaptive appearance filters using a fully convolutional network. Finally, these filters are placed in the encoder-decoder neural networks to complete the rendering. We demonstrate that our model can generate images and videos that are superior to state-of-the-art methods, and can handle pose guided appearance rendering in both image and video generation.


title: Two-component Magnetic Field along the Line of Sight to the Perseus Molecular Cloud: Contribution of the Foreground Taurus Molecular Cloud

abstract: Optical stellar polarimetry in the Perseus molecular cloud direction is known to show a fully mixed bi-modal distribution of position angles across the cloud (Goodman et al. 1990). We study the Gaia trigonometric distances to each of these stars and reveal that the two components in position angles trace two different dust clouds along the line of sight. One component, which shows a polarization angle of -37.6 deg +/- 35.2 deg and a higher polarization fraction of 2.0 +/- 1.7%, primarily traces the Perseus molecular cloud at a distance of 300 pc. The other component, which shows a polarization angle of +66.8 deg +/- 19.1 deg and a lower polarization fraction of 0.8 +/- 0.6%, traces a foreground cloud at a distance of 150 pc. The foreground cloud is faint, with a maximum visual extinction of < 1 mag. We identify that foreground cloud as the outer edge of the Taurus molecular cloud. Between the Perseus and Taurus molecular clouds, we identify a lower-density ellipsoidal dust cavity with a size of 100 -- 160 pc. This dust cavity locates at l = 170 deg, b = -20 deg, and d = 240 pc, which corresponds to an HI shell generally associated with the Per OB2 association. The two-component polarization signature observed toward the Perseus molecular cloud can therefore be explained by a combination of the plane-of-sky orientations of the magnetic field both at the front and at the back of this dust cavity.


title: Genuine activation of nonlocality: From locally available to locally hidden information

abstract: Quantum nonlocality has different manifestations that, in general, are revealed by local measurements of the parts of a composite system. In this paper, we study nonlocality arising from a set of orthogonal states that cannot be perfectly distinguished by local operations and classical communication (LOCC). Such a set is deemed nonlocal, for a joint measurement on the whole system is necessary for perfect discrimination of the states with certainty. On the other hand, a set of orthogonal states that can be perfectly distinguished by LOCC is believed to be devoid of nonlocal properties. Here, we show that there exist orthogonal sets that are locally distinguishable but without local redundancy (i.e., they become nonorthogonal on discarding one or more subsystems) whose nonlocality can be activated by local measurements. In particular, a state chosen from such a set can be locally converted, with certainty, into another state, the identity of which can now only be ascertained by global measurement and no longer by LOCC. In other words, a locally distinguishable set without local redundancy may be locally converted into a locally indistinguishable set with certainty. We also suggest an application, namely, local hiding of information, that allows us to locally hide locally available information without losing any part. Once hidden, the information in its entirety can only be retrieved using entanglement.


title: RelTransformer: A Transformer-Based Long-Tail Visual Relationship Recognition

abstract: The visual relationship recognition (VRR) task aims at understanding the pairwise visual relationships between interacting objects in an image. These relationships typically have a long-tail distribution due to their compositional nature. This problem gets more severe when the vocabulary becomes large, rendering this task very challenging. This paper shows that modeling an effective message-passing flow through an attention mechanism can be critical to tackling the compositionality and long-tail challenges in VRR. The method, called RelTransformer, represents each image as a fully-connected scene graph and restructures the whole scene into the relation-triplet and global-scene contexts. It directly passes the message from each element in the relation-triplet and global-scene contexts to the target relation via self-attention. We also design a learnable memory to augment the long-tail relation representation learning. Through extensive experiments, we find that our model generalizes well on many VRR benchmarks. Our model outperforms the best-performing models on two large-scale long-tail VRR benchmarks, VG8K-LT (+2.0% overall acc) and GQA-LT (+26.0% overall acc), both having a highly skewed distribution towards the tail. It also achieves strong results on the VG200 relation detection task. Our code is available at https://github.com/Vision-CAIR/RelTransformer.


title: COMTEST Project: A Complete Modular Test Stand for Human and Humanoid Posture Control and Balance

abstract: This work presents a system to benchmark humanoid posture control and balance performances under perturbed conditions. The specific benchmarking scenario consists, for example, of balancing upright stance while performing voluntary movements on moving surfaces. The system includes a motion platform used to provide the perturbation, an innovative body-tracking system suitable for robots, humans and exoskeletons, control software and a set of predefined perturbations, a humanoid robot used to test algorithms, and analysis software providing state of the art data analysis used to provide quantitative measures of performance. In order to provide versatility, the design of the system is oriented to modularity: all its components can be replaced or extended according to experimental needs, adding additional perturbation profiles, new evaluation principles, and alternative tracking systems. It will be possible to use the system with different kinds of robots and exoskeletons as well as for human experiments aimed at gaining insights into human balance capabilities.


title: Optimization of Controlled-Z Gate with Data-Driven Gradient Ascent Pulse Engineering in a Superconducting Qubit System

abstract: The experimental optimization of a two-qubit controlled-Z (CZ) gate is realized following two different data-driven gradient ascent pulse engineering (GRAPE) protocols in the aim of optimizing the gate operator and the output quantum state, respectively. For both GRAPE protocols, the key computation of gradients utilizes mixed information of the input Z-control pulse and the experimental measurement. With an imperfect initial pulse in a flattop waveform, our experimental implementation shows that the CZ gate is quickly improved and the gate fidelities subject to the two optimized pulses are around 99%. Our experimental study confirms the applicability of the data-driven GRAPE protocols in the problem of the gate optimization.


title: Non-commutative graphs based on finite-infinite system couplings: quantum error correction for a qubit coupled to a coherent field

abstract: Quantum error correction plays a key role for quantum information transmission and quantum computing. In this work, we develop and apply the theory of non-commutative operator graphs to study error correction in the case of a finite-dimensional quantum system coupled to an infinite dimensional system. We consider as an explicit example a qubit coupled via the Jaynes-Cummings Hamiltonian with a bosonic coherent field. We extend the theory of non-commutative graphs to this situation and construct, using the Gazeau-Klauder coherent states, the corresponding non-commutative graph. As the result, we find the quantum anticlique, which is the projector on the error correcting subspace, and analyze it as a function of the frequencies of the qubit and the bosonic field. The general treatment is also applied to the analysis of the error correcting subspace for certain experimental values of the parameters of the Jaynes-Cummings Hamiltonian. The proposed scheme can be applied to any system that possess the same decomposition of spectrum of the Hamiltonian into a direct sum as in JC model, where eigenenergies in the two direct summands form strictly increasing sequences.


title: Regular origamis with totally non-congruence groups as Veech groups

abstract: Veech groups are an important tool to examine translation surfaces and related mathematical objects. Origamis, also known as square-tiled surfaces, form an interesting class of translation surfaces with finite index subgroups of SL(2,Z) as Veech groups. We study when Veech groups of origamis with maximal symmetry group are totally non-congruence groups, i.e., when they surject onto SL(2, Z/nZ) for each natural number n. For this, we use a result of Schlage-Puchta and Weitze-Schmith\"usen to deduce sufficient conditions on the deck transformation group of the origami. More precisely, we show that origamis with certain quotients of triangle groups as deck transformation groups satisfy this condition. All Hurwitz groups are such quotients.


title: Piggyback GAN: Efficient Lifelong Learning for Image Conditioned Generation

abstract: Humans accumulate knowledge in a lifelong fashion. Modern deep neural networks, on the other hand, are susceptible to catastrophic forgetting: when adapted to perform new tasks, they often fail to preserve their performance on previously learned tasks. Given a sequence of tasks, a naive approach addressing catastrophic forgetting is to train a separate standalone model for each task, which scales the total number of parameters drastically without efficiently utilizing previous models. In contrast, we propose a parameter efficient framework, Piggyback GAN, which learns the current task by building a set of convolutional and deconvolutional filters that are factorized into filters of the models trained on previous tasks. For the current task, our model achieves high generation quality on par with a standalone model at a lower number of parameters. For previous tasks, our model can also preserve generation quality since the filters for previous tasks are not altered. We validate Piggyback GAN on various image-conditioned generation tasks across different domains, and provide qualitative and quantitative results to show that the proposed approach can address catastrophic forgetting effectively and efficiently.


title: Critical collapse of a spherically symmetric ultrarelativistic fluid in $2+1$ dimensions

abstract: We carry out numerical simulations of the gravitational collapse of a perfect fluid with the ultrarelativistic equation of state $P=\kappa\rho$, in spherical symmetry in $2+1$ spacetime dimensions with $\Lambda<0$. At the threshold of prompt collapse, we find type II critical phenomena (apparent horizon mass and maximum curvature scale as powers of distance from the threshold) for $\kappa\gtrsim 0.43$, and type I critical phenomena (lifetime scales as logarithm of distance from the threshold) for $\kappa\lesssim 0.42$. The type I critical solution is static, while the type II critical solution is not self-similar (as in higher dimensions) but contracting quasi-statically.


title: Hida theory for Shimura varieties of Hodge type

abstract: In this article, we generalize the work of H.Hida and V.Pilloni to construct $p$-adic families of $\mu$-ordinary modular forms on Shimura varieties of Hodge type $Sh(G,X)$ associated to a Shimura datum $(G,X)$ where $G$ is a connected reductive group over $\mathbb{Q}$ and is unramified at $p$, such that the adjoint quotient $G^\mathrm{ad}$ has no simple factors isomorphic to $\mathrm{PGL}_2$.


title: Comment on: "Aharonov-Bohm effect for bound states from the interaction of the magnetic quadrupole moment of a neutral particle with axial fields". Phys. Rev. A 101, 032102 (2020)

abstract: We analyze recently published results about the Aharonov-Bohm effect for bound states from the interaction of the magnetic quadrupole moment of a neutral particle with axial fields. We show that the eigenvalues obtained by the authors from an arbitrary truncation of the Frobenius power series correspond to more than one model and, consequently, are unsuitable for drawing any sound physical conclusion. Besides, the prediction of allowed oscillator frequencies is a mere consequence of the truncation condition just mentioned.


title: Is research with qualitative data more prevalent and impactful now? Interviews, case studies, focus groups and ethnographies

abstract: Researchers, editors, educators and publishers need to understand the mix of research methods used in their field to guide decision making, with a current concern being that qualitative research is threatened by big data. Although there have been many studies of the prevalence of different methods within individual narrow fields, there have been no systematic studies across academia. In response, this article assesses the prevalence and citation impact of academic research 1996-2019 that reports one of four common methods to gather qualitative data: interviews; focus groups; case studies; ethnography. The results show that, with minor exceptions, the prevalence of qualitative data has increased, often substantially, since 1996. In addition, all 27 broad fields (as classified by Scopus) now publish some qualitative research, with interviewing being by far the most common approach. This suggest that qualitative methods teaching and should increase, and researchers, editors and publishers should be increasingly open to the value that qualitative data can bring.


title: A simple proof of Dvoretzky-type theorem for Hausdorff dimension in doubling spaces

abstract: The ultrametric skeleton theorem [Mendel, Naor 2013] implies, among other things, the following nonlinear Dvoretzky-type theorem for Hausdorff dimension: For any $0<\beta<\alpha$, any compact metric space $X$ of Hausdorff dimension $\alpha$ contains a subset which is biLipschitz equivalent to an ultrametric and has Hausdorff dimension at least $\beta$. In this note we present a simple proof of the ultrametric skeleton theorem in doubling spaces using Bartal's Ramsey decompositions [Bartal 2021]. The same general approach is also used to answer a question of Zindulka [Zindulka 2020] about the existence of "nearly ultrametric" subsets of compact spaces having full Hausdorff dimension.


title: $C_2$ equivariant characteristic classes over the rational Burnside ring

abstract: We give minimal presentations for the $RO(C_2)$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_2}U(n), B_{C_2}SO(n)$ and $B_{C_2}Sp(n)$ with coefficients in the rational Burnside Green functor $A_{\mathbf Q}$. This results in an efficient description of rational $C_2$ equivariant Chern, Pontryagin and symplectic characteristic classes. These classes are then related to each other using the inclusions of maximal tori.


title: Aligned Contrastive Predictive Coding

abstract: We investigate the possibility of forcing a self-supervised model trained using a contrastive predictive loss to extract slowly varying latent representations. Rather than producing individual predictions for each of the future representations, the model emits a sequence of predictions shorter than that of the upcoming representations to which they will be aligned. In this way, the prediction network solves a simpler task of predicting the next symbols, but not their exact timing, while the encoding network is trained to produce piece-wise constant latent codes. We evaluate the model on a speech coding task and demonstrate that the proposed Aligned Contrastive Predictive Coding (ACPC) leads to higher linear phone prediction accuracy and lower ABX error rates, while being slightly faster to train due to the reduced number of prediction heads.


title: Natural-orbital representation of molecular electronic transitions

abstract: This paper aims at introducing the formal foundations of the application of reduced density-matrix theory and Green's function theory to the analysis of molecular electronic transitions. For this sake, their mechanics, applied to specific objects containing information related to the passage and the interference between electronic states - the difference and the transition density operators - are rigorously introduced in a self-contained way. After reducing the corresponding $N$-body operators (where $N$ is the number of electrons in the system) using an operator partial-trace procedure, we derive the kernel of the reduced one-body difference and transition density operators, as well as the matrix representation of these operators in a finite-dimensional one-particle-state basis. These derivations are done in first and second quantization for the sake of completeness - the two formulations are equivalently present in the literature - and because second quantization is extensively used in a second part of the paper. Natural orbitals are introduced as appropriate bases for reducing the dimensionality of the problem and the complexity of the analysis of the transition phenomenon. Natural-orbital representation of density operators are often used as a tool to characterize the nature of molecular electronic transitions, so we suggest with this contribution to revisit their theoretical foundations in order to better understand the origin and nature of these tools.


title: $C_{2^n}$-equivariant rational stable stems and characteristic classes

abstract: In this short note, we compute the rational $C_{2^n}$-equivariant stable stems and give minimal presentations for the $RO(C_{2^n})$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_{2^n}}S^1$ and $B_{C_{2^n}}\Sigma_2$ over the rational Burnside functor $A_{\mathbf Q}$. We also examine for which compact Lie groups $L$ the maximal torus inclusion $T\to L$ induces an isomorphism from $H^*_{C_{2^n}}(B_{C_{2^n}}L;A_{\mathbf Q})$ onto the fixed points of $H^*_{C_{2^n}}(B_{C_{2^n}}T;A_{\mathbf Q})$ under the Weyl group action. We prove that this holds for $L=U(m)$ and any $n,m\ge 1$ but does not hold for $L=SU(2)$ and $n>1$.


title: Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning

abstract: The outbreak of the corona virus disease (COVID-19) has changed the lives of most people on Earth. Given the high prevalence of this disease, its correct diagnosis in order to quarantine patients is of the utmost importance in steps of fighting this pandemic. Among the various modalities used for diagnosis, medical imaging, especially computed tomography (CT) imaging, has been the focus of many previous studies due to its accuracy and availability. In addition, automation of diagnostic methods can be of great help to physicians. In this paper, a method based on pre-trained deep neural networks is presented, which, by taking advantage of a cyclic generative adversarial net (CycleGAN) model for data augmentation, has reached state-of-the-art performance for the task at hand, i.e., 99.60% accuracy. Also, in order to evaluate the method, a dataset containing 3163 images from 189 patients has been collected and labeled by physicians. Unlike prior datasets, normal data have been collected from people suspected of having COVID-19 disease and not from data from other diseases, and this database is made available publicly.


title: On the Mannheim--Kazanas Solution

abstract: We are considering the spacetime described by the metric proposed by Mannheim and Kazanas. The effective potential and the circular orbits are discussed. The rotational velocity derived from the geodesics equation agrees with the observed flat galactic rotation curves. Finally, solutions to the Gordon equation for massless bosons evolving in this spacetime are obtained in terms of Heun general functions.


title: Improving the filtering of Branch-And-Bound MDD solver (extended)

abstract: This paper presents and evaluates two pruning techniques to reinforce the efficiency of constraint optimization solvers based on multi-valued decision-diagrams (MDD). It adopts the branch-and-bound framework proposed by Bergman et al. in 2016 to solve dynamic programs to optimality. In particular, our paper presents and evaluates the effectiveness of the local-bound (LocB) and rough upper-bound pruning (RUB). LocB is a new and effective rule that leverages the approximate MDD structure to avoid the exploration of non-interesting nodes. RUB is a rule to reduce the search space during the development of bounded-width-MDDs. The experimental study we conducted on the Maximum Independent Set Problem (MISP), Maximum Cut Problem (MCP), Maximum 2 Satisfiability (MAX2SAT) and the Traveling Salesman Problem with Time Windows (TSPTW) shows evidence indicating that rough-upper-bound and local-bound pruning have a high impact on optimization solvers based on branch-and-bound with MDDs. In particular, it shows that RUB delivers excellent results but requires some effort when defining the model. Also, it shows that LocB provides a significant improvement automatically; without necessitating any user-supplied information. Finally, it also shows that rough-upper-bound and local-bound pruning are not mutually exclusive, and their combined benefit supersedes the individual benefit of using each technique.


title: Supervised Anomaly Detection via Conditional Generative Adversarial Network and Ensemble Active Learning

abstract: Anomaly detection has wide applications in machine intelligence but is still a difficult unsolved problem. Major challenges include the rarity of labeled anomalies and it is a class highly imbalanced problem. Traditional unsupervised anomaly detectors are suboptimal while supervised models can easily make biased predictions towards normal data. In this paper, we present a new supervised anomaly detector through introducing the novel Ensemble Active Learning Generative Adversarial Network (EAL-GAN). EAL-GAN is a conditional GAN having a unique one generator vs. multiple discriminators architecture where anomaly detection is implemented by an auxiliary classifier of the discriminator. In addition to using the conditional GAN to generate class balanced supplementary training data, an innovative ensemble learning loss function ensuring each discriminator makes up for the deficiencies of the others is designed to overcome the class imbalanced problem, and an active learning algorithm is introduced to significantly reduce the cost of labeling real-world data. We present extensive experimental results to demonstrate that the new anomaly detector consistently outperforms a variety of SOTA methods by significant margins. The codes are available on Github.


title: Fragmentation and defragmentation of strings in type IIA and their holographic duals

abstract: We probe type IIA geometries with \emph{folded} semiclassical strings those encode the strong coupling dynamics associated with long operators in a class of SCFTs pertaining to spacetimes whose dimension vary from $6d$ down to $2d$. We particularly focus on folded string configurations those are extended through stack of flavor $ Dp $ ($ p=6,8 $) branes localized along the internal manifold. Considering some specific examples within the realm of $ \mathcal{N}=2 $ linear quivers, we show that the associated string spectrum exhibits a pole as the string approaches flavor D6 branes. We identify this as a \emph{fragmentation} of long operators in the dual $ \mathcal{N}=2 $ SCFTs. On the other hand, a similar analysis for $ \mathcal{N}=(1,0) $ SCFTs in $6d$ as well as $ \mathcal{N}=(0,4) $ SCFTs in $ 4d $ reveals a set of new dispersion relations at strong coupling. Based on semiclassical calculations, we set an argument that explains either of these cases.


title: Poles of Eisenstein series and theta lifts for unitary groups

abstract: We derive a precise relation of poles of Eisenstein series associated to the cuspidal datum $\chi\otimes\sigma$ and the lowest occurrence of theta lifts of a cuspidal automorphic representation $\sigma$ of a unitary group, where $\chi$ is a conjugate self-dual character. A key ingredient of the proof is the computation of period integrals of truncated Eisenstein series.


title: On Logics and Homomorphism Closure

abstract: Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of characterizing (classes of) structures are of fundamental interest and can be highly non-trivial to answer. We investigate several problems regarding the homomorphism closure (homclosure) of the class of all (finite or arbitrary) models of logical sentences: membership of structures in a sentence's homclosure; sentence homclosedness; homclosure characterizability in a logic; normal forms for homclosed sentences in certain logics. For a wide variety of fragments of first- and second-order predicate logic, we clarify these problems' computational properties.


title: Constraining the cosmological parameters using gravitational wave observations of massive black hole binaries and statistical redshift information

abstract: Space-borne gravitational wave detectors like TianQin are expected to detect GW signals emitted by the mergers of massive black hole binaries. Luminosity distance information can be obtained from GW observations, and one can perform cosmological inference if redshift information can also be extracted, which would be straightforward if an electromagnetic counterpart exists. In this paper, we concentrate on the conservative scenario where the EM counterparts are not available, and comprehensively study if cosmological parameters can be inferred through a statistical approach, utilizing the non-uniform distribution of galaxies as well as the black hole mass-host galaxy bulge luminosity relationship. By adopting different massive black hole binary merger models, and assuming different detector configurations, we conclude that the statistical inference of cosmological parameters is indeed possible. TianQin is expected to constrain the Hubble constant to a relative error of about 4%-7%, depending on the underlying model. The multidetector network of TianQin and LISA can significantly improve the precision of cosmological parameters. In the most favorable model, it is possible to achieve a level of 1.7% with a network of TianQin and LISA. We find that without EM counterparts, constraints on all other parameters need a larger number of events or more precise sky localization of GW sources, which can be achieved by the multidetector network or under a favorable model for massive black hole mergers. However, in the optimistic case, where EM counterparts are available, one can obtain useful constraints on all cosmological parameters in the Lambda-CDM cosmology, regardless of the population model. Moreover, we can also constrain the equation of state of the dark energy without the EM counterparts, and it is even possible to study the evolution of EoS of the DE when the EM counterparts are observed.


title: Positive solutions for a coupled nonlinear Kirchhoff-type system with vanishing potentials

abstract: In this paper, we consider the strongly coupled nonlinear Kirchhoff-type system with vanshing potentials: \begin{equation*}\begin{cases} -\left(a_1+b_1\int_{\mathbb{R}^3}|\nabla u|^2\dx\right)\Delta u+\lambda V(x)u=\frac{\alpha}{\alpha+\beta}|u|^{\alpha-2}u|v|^{\beta},&x\in\mathbb{R}^3,\\ -\left(a_2+b_2\int_{\mathbb{R}^3}|\nabla v|^2\dx\right)\Delta v+\lambda W(x)v=\frac{\beta}{\alpha+\beta}|u|^{\alpha}|v|^{\beta-2}v,&x\in\mathbb{R}^3,\\ u,v\in \mathcal{D}^{1,2}(\R^3), \end{cases}\end{equation*} where $a_i>0$ are constants, $\lambda,b_i>0$ are parameters for $i=1,2$, $\alpha,\beta>1$ and $\alpha+\beta\leqslant 4$, $V(x)$, $W(x)$ are nonnegative continuous potentials, the nonlinear term $F(x,u,v)=|u|^\alpha|v|^\beta$ is not 4-superlinear at infinity. Such problem cannot be studied directly by standard variational methods, even by restricting the associated energy functional on the Nehari manifold, because Palais-Smale sequences may not be bounded. Combining some new detailed estimates with truncation technique, we obtain the existence of positive vector solutions for the above system when $b_1+b_2$ small and $\lambda$ large. Moreover, the asymptotic behavior of these vector solutions is also explored as $\textbf{b}=(b_1,b_2)\to \bf{0}$ and $\lambda\to\infty$. In particular, our results extend some known ones in previous papers that only deals with the case where $4<\alpha+\beta<6$.


title: On system rollback and totalised fields

abstract: In system operations it is commonly assumed that arbitrary changes to a system can be reversed or `rolled back', when errors of judgement and procedure occur. We point out that this view is flawed and provide an alternative approach to determining the outcome of changes. Convergent operators are fixed-point generators that stem from the basic properties of multiplication by zero. They are capable of yielding a repeated and predictable outcome even in an incompletely specified or `open' system. We formulate such `convergent operators' for configuration change in the language of groups and rings and show that, in this form, the problem of convergent reversibility becomes equivalent to the `division by zero' problem. Hence, we discuss how recent work by Bergstra and Tucker on zero-totalised fields helps to clear up long-standing confusion about the options for `rollback' in change management.


title: MultiCruise: Eco-Lane Selection Strategy with Eco-Cruise Control for Connected and Automated Vehicles

abstract: Connected and Automated Vehicles (CAVs) have real-time information from the surrounding environment by using local on-board sensors, V2X (Vehicle-to-Everything) communications, pre-loaded vehicle-specific lookup tables, and map database. CAVs are capable of improving energy efficiency by incorporating these information. In particular, Eco-Cruise and Eco-Lane Selection on highways and/or motorways have immense potential to save energy, because there are generally fewer traffic controllers and the vehicles keep moving in general. In this paper, we present a cooperative and energy-efficient lane-selection strategy named MultiCruise, where each CAV selects one among multiple candidate lanes that allows the most energy-efficient travel. MultiCruise incorporates an Eco-Cruise component to select the most energy-efficient lane. The Eco-Cruise component calculates the driving parameters and prospective energy consumption of the ego vehicle for each candidate lane, and the Eco-Lane Selection component uses these values. As a result, MultiCruise can account for multiple data sources, such as the road curvature and the surrounding vehicles' velocities and accelerations. The eco-autonomous driving strategy, MultiCruise, is tested, designed and verified by using a co-simulation test platform that includes autonomous driving software and realistic road networks to study the performance under realistic driving conditions. Our experimental evaluations show that our eco-autonomous MultiCruise saves up to 8.5% fuel consumption.


title: Constrained stochastic LQ control on infinite time horizon with regime switching

abstract: This paper is concerned with a stochastic linear-quadratic (LQ) optimal control problem on infinite time horizon, with regime switching, random coefficients, and cone control constraint. To tackle the problem, two new extended stochastic Riccati equations (ESREs) on infinite time horizon are introduced. The existence of the nonnegative solutions, in both standard and singular cases, is proved through a sequence of ESREs on finite time horizon. Based on this result and some approximation techniques, we obtain the optimal state feedback control and optimal value for the stochastic LQ problem explicitly. Finally, we apply these results to solve a lifetime portfolio selection problem of tracking a given wealth level with regime switching and portfolio constraint.


title: Turbulence in the Magnetospheres of the Outer Planets

abstract: The magnetospheres of the outer planets exhibit turbulent phenomena in an environment which is qualitatively different compared to the solar wind or the interstellar medium. The key differences are the finite sizes of the magnetospheres limited by their physical boundaries, the presence of a strong planetary background magnetic field and spatially very inhomogeneous plasma properties within the magnetospheres. Typical turbulent fluctuations possess amplitudes much smaller than the background field and are characterized by Alfv\'en times, which can be smaller than the non-linear interaction time scales. The magnetospheres of the outer planets are thus interesting laboratories of plasma turbulence. In Jupiter's and Saturn's magnetospheres, turbulence is well established thanks to the in-situ measurements by several spacecraft, in particular by the Galileo and Cassini orbiter. In contrast, the fluctuations in Uranus' and Neptune's magnetospheres are poorly understood due to the lack of sufficient data. Turbulence in the outer planets' magnetospheres have important effects on the systems as a whole. The dissipation of the turbulent fluctuations through wave-particle interaction is a significant heat source, which can explain the large magnetospheric plasma temperatures.


title: Adaptive Sampling: Algorithmic vs. Human Waypoint Selection

abstract: Robots are used for collecting samples from natural environments to create models of, for example, temperature or algae fields in the ocean. Adaptive informative sampling is a proven technique for this kind of spatial field modeling. This paper compares the performance of humans versus adaptive informative sampling algorithms for selecting informative waypoints. The humans and simulated robot are given the same information for selecting waypoints, and both are evaluated on the accuracy of the resulting model. We developed a graphical user interface for selecting waypoints and visualizing samples. Eleven participants iteratively picked waypoints for twelve scenarios. Our simulated robot used Gaussian Process regression with two entropy-based optimization criteria to iteratively choose waypoints. Our results show that the robot can on average perform better than the average human, and approximately as good as the best human, when the model assumptions correspond to the actual field. However, when the model assumptions do not correspond as well to the characteristics of the field, both human and robot performance are no better than random sampling.


title: Constrained Minimum Energy Designs

abstract: Space-filling designs are important in computer experiments, which are critical for building a cheap surrogate model that adequately approximates an expensive computer code. Many design construction techniques in the existing literature are only applicable for rectangular bounded space, but in real world applications, the input space can often be non-rectangular because of constraints on the input variables. One solution to generate designs in a constrained space is to first generate uniformly distributed samples in the feasible region, and then use them as the candidate set to construct the designs. Sequentially Constrained Monte Carlo (SCMC) is the state-of-the-art technique for candidate generation, but it still requires large number of constraint evaluations, which is problematic especially when the constraints are expensive to evaluate. Thus, to reduce constraint evaluations and improve efficiency, we propose the Constrained Minimum Energy Design (CoMinED) that utilizes recent advances in deterministic sampling methods. Extensive simulation results on 15 benchmark problems with dimensions ranging from 2 to 13 are provided for demonstrating the improved performance of CoMinED over the existing methods.


title: Compressible Euler limit from Boltzmann equation with complete diffusive boundary condition in half-space

abstract: In this paper, we prove the compressible Euler limit from the Boltzmann equation with hard sphere collisional kernel and complete diffusive boundary condition in half-space by employing the Hilbert expansion which includes interior and Knudsen layers. This rigorously justifies the corresponding formal analysis in Sone's book \cite{Sone-2007-Book} in the context of short time smooth solutions, and also generalizes the classic Caflisch's result \cite{Caflish-1980-CPAM} to initial-boundary problem case.


title: The GLD-plot: A depth-based plot to investigate unimodality of directional data

abstract: A graphical tool for investigating unimodality of hyperspherical data is proposed. It is based on the notion of statistical data depth function for directional data which extends the univariate concept of rank. Firstly a local version of distance-based depths for directional data based on aims at analyzing the local structure of hyperspherical data is proposed. Then such notion is compared to the global version of data depth by means of a two-dimensional scatterplot, i.e. the GLD-plot. The proposal is illustrated on simulated and real data examples.


title: Singularities in one-dimensional Euler flows

abstract: In this paper, a system of one-dimensional gas dynamics equations is considered. This system is a particular case of Jacobi type systems and has a natural representation in terms of 2-forms on 0-jet space. We use this observation to find a new class of multivalued solutions for an arbitrary thermodynamic state model and discuss singularities of their projections to the space of independent variables for the case of an ideal gas. Caustics and discontinuity lines are found.


title: The large-period limit for equations of discrete turbulence

abstract: We consider the damped/driven cubic NLS equation on the torus of a large period $L$ with a small nonlinearity of size $\lambda$, a properly scaled random forcing and dissipation. We examine its solutions under the subsequent limit when first $\lambda\to 0$ and then $L\to \infty$. The first limit, called the limit of discrete turbulence, is known to exist, and in this work we study the second limit $L\to\infty$ for solutions to the equations of discrete turbulence. Namely, we decompose the solutions to formal series in amplitude and study the second order truncation of this series. We prove that the energy spectrum of the truncated solutions becomes close to solutions of a damped/driven nonlinear wave kinetic equation. Kinetic nonlinearity of the latter is similar to that which usually appears in works on wave turbulence, but is different from it (in particular, it is non-autonomous). Apart from tools from analysis and stochastic analysis, our work uses two powerful results from the number theory.


title: Effective Metagraph-based Life Pattern Clustering with Big Human Mobility Data

abstract: Life pattern clustering is essential for abstracting the groups' characteristics of daily mobility patterns and activity regularity. Based on millions of GPS records, this paper proposed a framework on the life pattern clustering which can efficiently identify the groups have similar life pattern. The proposed method can retain original features of individual life pattern data without aggregation. Metagraph-based data structure is proposed for presenting the diverse life pattern. Spatial-temporal similarity includes significant places semantics, time sequential properties and frequency are integrated into this data structure, which captures the uncertainty of an individual and the diversities between individuals. Non-negative-factorization-based method was utilized for reducing the dimension. The results show that our proposed method can effectively identify the groups have similar life pattern and takes advantages in computation efficiency and robustness comparing with the traditional method. We revealed the representative life pattern groups and analyzed the group characteristics of human life patterns during different periods and different regions. We believe our work will help in future infrastructure planning, services improvement and policies making related to urban and transportation, thus promoting a humanized and sustainable city.


title: Vietnamese Complaint Detection on E-Commerce Websites

abstract: Customer product reviews play a role in improving the quality of products and services for business organizations or their brands. Complaining is an attitude that expresses dissatisfaction with an event or a product not meeting customer expectations. In this paper, we build a Open-domain Complaint Detection dataset (UIT-ViOCD), including 5,485 human-annotated reviews on four categories about product reviews on e-commerce sites. After the data collection phase, we proceed to the annotation task and achieve the inter-annotator agreement Am of 87%. Then, we present an extensive methodology for the research purposes and achieve 92.16% by F1-score for identifying complaints. With the results, in the future, we aim to build a system for open-domain complaint detection in E-commerce websites.


title: Measuring Novelty in Autonomous Vehicles Motion Using Local Outlier Factor Algorithm

abstract: Under unexpected conditions or scenarios, autonomous vehicles (AV) are more likely to follow abnormal unplanned actions, due to the limited set of rules or amount of experience they possess at that time. Enabling AV to measure the degree at which their movements are novel in real-time may help to decrease any possible negative consequences. We propose a method based on the Local Outlier Factor (LOF) algorithm to quantify this novelty measure. We extracted features from the inertial measurement unit (IMU) sensor's readings, which captures the vehicle's motion. We followed a novelty detection approach in which the model is fitted only using the normal data. Using datasets obtained from real-world vehicle missions, we demonstrate that the suggested metric can quantify to some extent the degree of novelty. Finally, a performance evaluation of the model confirms that our novelty metric can be practical.


title: On the Chvatal-Janson conjecture

abstract: In a recent paper, Svante Janson has considered a conjecture suggested by Va\v{s}ek Chv\a'atal dealing with the probability that a binomial random variable with parameters $n$ and $m/n$ - where $m$ is an integer - exceeds its expectation $m$. Albeit Janson has provided a proof of this conjecture for large $n$, we show that the result actually holds for each $n\geq 2$.


title: A numerical method for the simulation of viscoelastic fluid surfaces

abstract: Viscoelastic surface rheology plays an important role in multiphase systems. A typical example is the actin cortex which surrounds most animal cells. It shows elastic properties for short time scales and behaves viscous for longer time scales. Hence, realistic simulations of cell shape dynamics require a model capturing the entire elastic to viscous spectrum. However, currently there are no numerical methods to simulate deforming viscoelastic surfaces. Thus models for the cell cortex, or other viscoelastic surfaces, are usually based on assumptions or simplifications which limit their applicability. In this paper we develop a first numerical approach for simulation of deforming viscoelastic surfaces. To this end, we derive the surface equivalent of the upper convected Maxwell model using the GENERIC formulation of nonequilibrium thermodynamics. The model distinguishes between shear dynamics and dilatational surface dynamics. The viscoelastic surface is embedded in a viscous fluid modelled by the Navier-Stokes equation. Both systems are solved using Finite Elements. The fluid and surface are combined using an Arbitrary Lagrange-Eulerian (ALE) Method that conserves the surface grid spacing during rotations and translations of the surface. We verify this numerical implementation against analytic solutions and find good agreement. To demonstrate its potential we simulate the experimentally observed tumbling and tank-treading of vesicles in shear flow. We also supply a phase-diagram to demonstrate the influence of the viscoelastic parameters on the behaviour of a vesicle in shear flow. Finally, we explore cytokinesis as a future application of the numerical method by simulating the start of cytokinesis using a spatially dependent function for the surface tension.


title: Distortion in the group of circle homeomorphisms

abstract: Let $G$ be the group ${\rm PAff}_+({\bf S}^1)$ of piecewise--affine circle homeomorphisms or the group ${\Diff}^{\infty}(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in $G$ is given.


title: Random Euclidean embeddings in finite dimensional Lorentz spaces

abstract: Quantitative bounds for random embeddings of $\mathbb{R}^{k}$ into Lorentz sequence spaces are given, with improved dependence on $\varepsilon$.


title: Cosmic-ray production from neutron escape in microquasar jets

abstract: The origin of Galactic cosmic rays remains a matter of debate, but supernova remnants are commonly considered to be the main place where high-energy cosmic rays are accelerated. Nevertheless, current models predict cosmic-ray spectra that do not match observations and the efficiency of the acceleration mechanism is still undetermined. On the other hand, the contribution of other kinds of sources to the Galactic cosmic-ray population is still unclear, and merits investigation. In this work we explore a novel mechanism through which microquasars might produce cosmic rays. In this scenario, microquasar jets generate relativistic neutrons, which escape and decay outside the system; protons and electrons, created when these neutrons decay, escape to the interstellar medium as cosmic rays. The most promising scenarios arise in extremely luminous systems ($L_\mathrm{jet} \sim 10^{40}\,\mathrm{erg \, s}^{-1}$), in which the fraction of jet power deposited in cosmic rays can reach $\sim 0.001$. Slow jets ($\Gamma \lesssim 2$, where $\Gamma$ is the bulk Lorentz factor) favour neutron production. The resulting cosmic-ray spectrum is similar for protons and electrons, which share the power in the ratio given by neutron decay. The spectrum peaks at roughly half the minimum energy of the relativistic protons in the jet; it is soft (spectral index $\sim 3$) above this energy, and almost flat below. Values of spectral index steeper than $2$ are possible for cosmic rays in our model and these indeed agree with those required to explain the spectral signatures of Galactic cosmic rays, although only the most extreme microquasars provide power comparable to that of a typical supernova remnant. The mechanism explored in this work may provide stronger and softer cosmic-ray sources in the early Universe, and therefore contribute to the heating and reionisation of the intergalactic medium.


title: Aerodynamic effects and performance improvements of running in drafting formations

abstract: Drafting as a process to reduce drag and to benefit from the presence of other competitors is applied in various sports with several recent examples of competitive running in formations. In this study, the aerodynamics of a realistic model of a female runner is calculated by computational fluid dynamics (CFD) simulations at four running speeds of 15 km/h, 18 km/h, 21 km/h, and 36 km/h. Aerodynamic power fractions of the total energy expenditure are found to be in the range of 2.6-8.5%. Additionally, four exemplary formations are analysed with respect to their drafting potential and resulting drag values are compared for the main runner and her pacers. The best of the formations achieves a total drag reduction on the main runner of 75.6%. Moreover, there are large variations in the drag reduction between the considered formations of up to 42% with respect to the baseline single-runner case. We conclude that major drag reduction of more than 70% can already be achieved with fairly simple formations, while certain factors, such as runners on the sides, can have a detrimental effect on drag reduction due to local acceleration of the passing flow. Using an empirical model for mechanical power output during running, gains of metabolic power and performance predictions are evaluated for all considered formations. Improvements in running economy are up to 3.5% for the best formation, leading to velocity gains of 2.3%. This translates to 154 s (~2.6 min) saved over a marathon distance. Consequently, direct conclusions are drawn from the obtained data for ideal drafting of long-distance running in highly packed formations.


title: On the stability of deep convolutional neural networks under irregular or random deformations

abstract: The problem of robustness under location deformations for deep convolutional neural networks (DCNNs) is of great theoretical and practical interest. This issue has been studied in pioneering works, especially for scattering-type architectures, for deformation vector fields $\tau(x)$ with some regularity - at least $C^1$. Here we address this issue for any field $\tau\in L^\infty(\mathbb{R}^d;\mathbb{R}^d)$, without any additional regularity assumption, hence including the case of wild irregular deformations such as a noise on the pixel location of an image. We prove that for signals in multiresolution approximation spaces $U_s$ at scale $s$, whenever the network is Lipschitz continuous (regardless of its architecture), stability in $L^2$ holds in the regime $\|\tau\|_{L^\infty}/s\ll 1$, essentially as a consequence of the uncertainty principle. When $\|\tau\|_{L^\infty}/s\gg 1$ instability can occur even for well-structured DCNNs such as the wavelet scattering networks, and we provide a sharp upper bound for the asymptotic growth rate. The stability results are then extended to signals in the Besov space $B^{d/2}_{2,1}$ tailored to the given multiresolution approximation. We also consider the case of more general time-frequency deformations. Finally, we provide stochastic versions of the aforementioned results, namely we study the issue of stability in mean when $\tau(x)$ is modeled as a random field (not bounded, in general) with with identically distributed variables $|\tau(x)|$, $x\in\mathbb{R}^d$.


title: Exploiting Spatial Correlation for Pilot Reuse in Single-Cell mMTC

abstract: As a key enabler for massive machine-type communications (mMTC), spatial multiplexing relies on massive multiple-input multiple-output (mMIMO) technology to serve the massive number of user equipments (UEs). To exploit spatial multiplexing, accurate channel estimation through pilot signals is needed. In mMTC systems, it is impractical to allocate a unique orthogonal pilot sequence to each UE as it would require too long pilot sequences, degrading the spectral efficiency. This work addresses the design of channel features from correlated fading channels to assist the pilot assignment in multi-sector mMTC systems under pilot reuse of orthogonal sequences. In order to reduce pilot collisions and to enable pilot reuse, we propose to extract features from the channel covariance matrices that reflect the level of orthogonality between the UEs channels. Two features are investigated: covariance matrix distance (CMD) feature and CMD-aided channel charting (CC) feature. In terms of symbol error rate and achievable rate, the CC-based feature shows superior performance than the CMD-based feature and baseline pilot assignment algorithms.


title: UNIFY: Multi-Belief Bayesian Grid Framework based on Automotive Radar

abstract: Grid maps are widely established for the representation of static objects in robotics and automotive applications. Though, incorporating velocity information is still widely examined because of the increased complexity of dynamic grids concerning both velocity measurement models for radar sensors and the representation of velocity in a grid framework. In this paper, both issues are addressed: sensor models and an efficient grid framework, which are required to ensure efficient and robust environment perception with radar. To that, we introduce new inverse radar sensor models covering radar sensor artifacts such as measurement ambiguities to integrate automotive radar sensors for improved velocity estimation. Furthermore, we introduce UNIFY, a multiple belief Bayesian grid map framework for static occupancy and velocity estimation with independent layers. The proposed UNIFY framework utilizes a grid-cell-based layer to provide occupancy information and a particle-based velocity layer for motion state estimation in an autonomous vehicle's environment. Each UNIFY layer allows individual execution as well as simultaneous execution of both layers for optimal adaption to varying environments in autonomous driving applications. UNIFY was tested and evaluated in terms of plausibility and efficiency on a large real-world radar data-set in challenging traffic scenarios covering different densities in urban and rural sceneries.


title: baller2vec++: A Look-Ahead Multi-Entity Transformer For Modeling Coordinated Agents

abstract: In many multi-agent spatiotemporal systems, agents operate under the influence of shared, unobserved variables (e.g., the play a team is executing in a game of basketball). As a result, the trajectories of the agents are often statistically dependent at any given time step; however, almost universally, multi-agent models implicitly assume the agents' trajectories are statistically independent at each time step. In this paper, we introduce baller2vec++, a multi-entity Transformer that can effectively model coordinated agents. Specifically, baller2vec++ applies a specially designed self-attention mask to a mixture of location and "look-ahead" trajectory sequences to learn the distributions of statistically dependent agent trajectories. We show that, unlike baller2vec (baller2vec++'s predecessor), baller2vec++ can learn to emulate the behavior of perfectly coordinated agents in a simulated toy dataset. Additionally, when modeling the trajectories of professional basketball players, baller2vec++ outperforms baller2vec by a wide margin.


title: DecentLaM: Decentralized Momentum SGD for Large-batch Deep Training

abstract: The scale of deep learning nowadays calls for efficient distributed training algorithms. Decentralized momentum SGD (DmSGD), in which each node averages only with its neighbors, is more communication efficient than vanilla Parallel momentum SGD that incurs global average across all computing nodes. On the other hand, the large-batch training has been demonstrated critical to achieve runtime speedup. This motivates us to investigate how DmSGD performs in the large-batch scenario. In this work, we find the momentum term can amplify the inconsistency bias in DmSGD. Such bias becomes more evident as batch-size grows large and hence results in severe performance degradation. We next propose DecentLaM, a novel decentralized large-batch momentum SGD to remove the momentum-incurred bias. The convergence rate for both non-convex and strongly-convex scenarios is established. Our theoretical results justify the superiority of DecentLaM to DmSGD especially in the large-batch scenario. Experimental results on a variety of computer vision tasks and models demonstrate that DecentLaM promises both efficient and high-quality training.


title: Spin-orbit-coupled fluids of light in bulk nonlinear media

abstract: We show that nonparaxial polarized light beams propagating in a bulk nonlinear Kerr medium naturally exhibit a coupling between the motional and the polarization degrees of freedom, realizing a spin-orbit-coupled mixture of fluids of light. We investigate the impact of this mechanism on the Bogoliubov modes of the fluid, using a suitable density-phase formalism built upon a linearization of the exact Helmholtz equation. The Bogoliubov spectrum is found to be anisotropic, and features both low-frequency gapless branches and high-frequency gapped ones. We compute the amplitudes of these modes and propose a couple of experimental protocols to study their excitation mechanisms. This allows us to highlight a phenomenon of hybridization between density and spin modes, which is absent in the paraxial description and represents a typical fingerprint of spin-orbit coupling.


title: A note on one-dimensional symmetry for Hamilton-Jacobi equations with extremal Pucci operators and application to Bernstein type estimate

abstract: We prove a Liouville-type theorem that is one-dimensional symmetry and classification results for non-negative $L^q$-viscosity solutions of the equation \begin{equation*} -\mathcal{M}_{\lambda, \Lambda}^{\pm}(D^2u)\pm |Du|^p=0, x\in \mathbb{R}_+^n, \end{equation*} with boundary condition $u(\tilde{x},0)=M\geq 0, \tilde{x}\in \mathbb{R}^{n-1}$, where $\mathcal{M}_{\lambda, \Lambda}^{\pm}$ are the Pucci's operators with parameters $\lambda, \Lambda \in \mathbb{R}_+$ $0<\lambda\leq \Lambda$ and $p>1$. The results are an extension of the results by Porreta and Ver\'on in arXiv:0805.2533 for the case $p\in (1,2]$ and by o Filippucci, Pucci and Souplet in arXiv:1906.05161 for the case $p>2$, both for the Laplacian case (i.e. $\lambda=\Lambda=1$). As an application in the case $p>2$, we prove a sharp Bernstein estimation for $L^q$-viscosity solutions of the fully nonlinear equation \begin{equation*} -\mathcal{M}_{\lambda, \Lambda}^{\pm}(D^2u)= |Du|^p+f(x), \quad x\in \Omega, \label{ecuacion1} \end{equation*} with boundary condition $u=0$ on $\partial \Omega$, where $\Omega \subset \mathbb{R}^n$.


title: MusCaps: Generating Captions for Music Audio

abstract: Content-based music information retrieval has seen rapid progress with the adoption of deep learning. Current approaches to high-level music description typically make use of classification models, such as in auto-tagging or genre and mood classification. In this work, we propose to address music description via audio captioning, defined as the task of generating a natural language description of music audio content in a human-like manner. To this end, we present the first music audio captioning model, MusCaps, consisting of an encoder-decoder with temporal attention. Our method combines convolutional and recurrent neural network architectures to jointly process audio-text inputs through a multimodal encoder and leverages pre-training on audio data to obtain representations that effectively capture and summarise musical features in the input. Evaluation of the generated captions through automatic metrics shows that our method outperforms a baseline designed for non-music audio captioning. Through an ablation study, we unveil that this performance boost can be mainly attributed to pre-training of the audio encoder, while other design choices - modality fusion, decoding strategy and the use of attention - contribute only marginally. Our model represents a shift away from classification-based music description and combines tasks requiring both auditory and linguistic understanding to bridge the semantic gap in music information retrieval.


title: Language ID Prediction from Speech Using Self-Attentive Pooling and 1D-Convolutions

abstract: This memo describes NTR-TSU submission for SIGTYP 2021 Shared Task on predicting language IDs from speech. Spoken Language Identification (LID) is an important step in a multilingual Automated Speech Recognition (ASR) system pipeline. For many low-resource and endangered languages, only single-speaker recordings may be available, demanding a need for domain and speaker-invariant language ID systems. In this memo, we show that a convolutional neural network with a Self-Attentive Pooling layer shows promising results for the language identification task.


title: Electric-field driven stability control of skyrmions in an ultrathin transition-metal film

abstract: To realize future spintronic applications with magnetic skyrmions -- topologically nontrivial swirling spin structures -- it is essential to achieve efficient writing and deleting capabilities of these quasi-particles. Electric-field assisted nucleation and annihilation is a promising route, however, the understanding of the underlying microscopic mechanisms is still limited. Here, we show how the stability of individual magnetic skyrmions in an ultrathin transition-metal film can be controlled via external electric fields. We demonstrate based on density functional theory that it is important to consider the changes of all interactions with electric field, i.e., the pair-wise exchange, the Dzyaloshinskii-Moriya interaction, the magnetocrystalline anisotropy energy, and the higher-order exchange interactions. The energy barriers for electric-field assisted skyrmion writing and deleting obtained via atomistic spin simulations vary by up to a factor of three more than the variations of the interactions calculated from first-principles. This surprising effect originates from the electric-field dependent size of metastable skyrmions at a fixed magnetic field. The large changes of lifetimes allow the possibility of electric-field assisted thermally activated writing and deleting of skyrmions.


title: Convex optimization via inertial algorithms with vanishing Tikhonov regularization: fast convergence to the minimum norm solution

abstract: In a Hilbertian framework, for the minimization of a general convex differentiable function $f$, we introduce new inertial dynamics and algorithms that generate trajectories and iterates that converge fastly towards the minimizer of $f$ with minimum norm. Our study is based on the non-autonomous version of the Polyak heavy ball method, which, at time $t$, is associated with the strongly convex function obtained by adding to $f$ a Tikhonov regularization term with vanishing coefficient $\epsilon(t)$. In this dynamic, the damping coefficient is proportional to the square root of the Tikhonov regularization parameter $\epsilon(t)$. By adjusting the speed of convergence of $\epsilon(t)$ towards zero, we will obtain both rapid convergence towards the infimal value of $f$, and the strong convergence of the trajectories towards the element of minimum norm of the set of minimizers of $f$. In particular, we obtain an improved version of the dynamic of Su-Boyd-Cand\`es for the accelerated gradient method of Nesterov. This study naturally leads to corresponding first-order algorithms obtained by temporal discretization. In the case of a proper lower semicontinuous and convex function $f$, we study the proximal algorithms in detail, and show that they benefit from similar properties.


title: Parameter dependence of complex geodesics and its applications

abstract: We study the parameter dependence of complex geodesics with prescribed boundary value and direction on bounded strongly linearly convex domains. As an important application we establish a quantitative relationship between the regularity of the pluricomplex Poisson kernel of such a domain, which is a solution to a homogeneous complex Monge-Amp\`{e}re equation with boundary singularity, and that of the boundary of the domain. Our results improve considerably previous ones in this direction due to Chang-Hu-Lee and Bracci-Patrizio.


title: Lie symmetries of a third order PDE system

abstract: In this paper we show that a third order PDE system that is a general form of a CR-geometry PDE system has at most a ten-dimensional Lie symmetry algebra. We also show that this estimate is precise.


title: Carnot metrics, Dynamics and Local Rigidity

abstract: This paper develops new techniques for studying smooth dynamical systems in the presence of a \CC metric. Principally, we employ the theory of Margulis-Mostow, M\'etivier, Mitchell and Pansu on tangent cones to establish resonances between Lyapunov exponents. We apply these results in three different settings. First, we explore rigidity properties of smooth dominated splittings for Anosov diffeomorphisms and flows via associated smooth \CC metrics. Second, we obtain local rigidity properties of higher hyperbolic rank metrics in a neighborhood of a locally symmetric one. For the latter application we also prove structural stability of the Brin-Pesin asymptotic holonomy group for frame flows. Finally, we obtain local rigidity properties for uniform lattice actions on the ideal boundary of quaternionic and octonionic symmetric spaces.


title: Prandtl number dependence of the small-scale properties in turbulent Rayleigh-B\'enard convection

abstract: We analyze the Prandtl number (Pr) dependence of spectra and fluxes of kinetic energy, as well as the energy injection rates and dissipation rates, of turbulent thermal convection using numerical data. As expected, for a flow with $ \mathrm{Pr} \lessapprox 1 $, the inertial-range kinetic energy flux is constant, and the kinetic energy spectrum is Kolmogorov-like ($ k^{-5/3} $). More importantly, we show that the amplitudes of the kinetic energy fluxes and spectra and those of structure functions increase with the decrease of Pr, thus exhibiting stronger nonlinearity for flows with small Prandtl numbers. Consistent with these observations, the kinetic energy injection rates and the dissipation rates too increase with the decrease of Pr. Our results are in agreement with earlier studies that report the Reynolds number to be a decreasing function of Prandtl number in turbulent convection. On the other hand, the tail of the probability distributions of the local heat flux grows with the increase of Pr, indicating increased fluctuations in the local heat flux with Pr.


title: Decomposition of a Quantum System Into Subsystems in Finite Quantum Mechanics

abstract: Any Hilbert space with composite dimension can be factorized into a tensor product of smaller Hilbert spaces. This allows to decompose a quantum system into subsystems. We propose a simple tractable model for a constructive study of decompositions of quantum systems.


title: Normal-Driven Spherical Shape Analogies

abstract: This paper introduces a new method to stylize 3D geometry. The key observation is that the surface normal is an effective instrument to capture different geometric styles. Centered around this observation, we cast stylization as a shape analogy problem, where the analogy relationship is defined on the surface normal. This formulation can deform a 3D shape into different styles within a single framework. One can plug-and-play different target styles by providing an exemplar shape or an energy-based style description (e.g., developable surfaces). Our surface stylization methodology enables Normal Captures as a geometric counterpart to material captures (MatCaps) used in rendering, and the prototypical concept of Spherical Shape Analogies as a geometric counterpart to image analogies in image processing.


title: Turnaround radius in $\Lambda$CDM, and dark matter cosmologies with shear and vorticity

abstract: We determine the relationship between the turnaround radius, $R_{\rm t}$, and mass, $M_{\rm t}$, in $\Lambda$CDM, and in dark energy scenarios, using an extended spherical collapse model taking into account the effects of shear and vorticity. We find a more general formula than that usually described in literature, showing a dependence of $R_{\rm t}$ from shear, and vorticity. The $R_{\rm t}-M_{\rm t}$ relation differs from that obtained not taking into account shear, and rotation, especially at galactic scales, differing $\simeq 30\%$ from the result given in literature. This has effects on the constraint of the $w$ parameter of the equation of state. We compare the $R_{\rm t}-M_{\rm t}$ relationship obtained for the $\Lambda$CDM, and different dark energy models to that obtained in the $f(R)$ modified gravity (MG) scenario. The $R_{\rm t}-M_{\rm t}$ relationship in $\Lambda$CDM, and dark energy scenarios are tantamount to the prediction of the $f(R)$ theories. Then, the $R_{\rm t}-M_{\rm t}$ relationship is not a good probe to test gravity theories beyond Einstein's general relativity.


title: Fixed point theorems for asymptotically $T$-regular mappings in preordered modular G-metric spaces applied to solving nonlinear integral equations

abstract: Our aim in this paper is to prove some interesting fixed point theorems for the class of asymptotically $T$-regular mappings in the framework of preordered modular G-metric spaces. Our results are novel and generalizes several know results. Furthermore we apply our results in solving nonlinear integral equations.


title: Five-dimensional Einstein-Chern-Simons cosmology

abstract: We consider a five-dimensional Einstein-Chern-Simons action which is composed of a gravitational sector and a sector of matter, where the gravitational sector is given by a Chern-Simons gravity action instead of the Einstein-Hilbert action, and where the matter sector is given by a perfect fluid. The gravitational lagrangian is obtained gauging some Lie-algebras, which in turn, were obtained by S-expansion procedure of Anti-de Sitter and de Sitter algebras. On the cosmological plane, we discuss the field equations resulting from the Anti-de Sitter and de Sitter frameworks and we show analogies with four-dimensional cosmological schemes.


title: A Remark on the Number of Maximal Abelian Subgroups

abstract: The number of maximal abelian subgroups of a finite p-group is shown to be congruent to 1 modulo p.


title: On the cardinality of Extremally Disconnected Groups with Linear Topology

abstract: A group topology is said to be linear if open subgroups form a base of neighborhoods of the identity element. It is proved that the existence of a nondiscrete extremally disconnected group of Ulam nonmeasurable cardinality with linear topology implies that of a nondiscrete extremally disconnected group of cardinality at most $2^\omega$ with linear topology.


title: Extreme HBL-like behavior of Markarian 421 and its two-zone photohadronic interpretation

abstract: Markarian 421 is the nearest high-energy peaked blazar and also is the first extragalactic source to be detected in multi-TeV $\gamma$-rays. It has been observed in multiwavelength for exceptionally long period of time with dense monitoring and several major outbursts have been detected from this source. In March 2010, the source was in a high state of activity and was observed in multiwavelength by various telescopes for 13 consecutive days. During this period the position of the synchrotron peak was found to be above $10^{17}$ Hz and also the position of the second peak was shifted towards higher energy, a signature of extreme HBL-like behavior. We observed that the standard photohadronic model is inadequate to explain the observed spectra. However, a recently proposed two-zone photohadronic model explains very well the GeV-TeV flaring events observed by both MAGIC and VERITAS telescopes. From the observation of the highest energy $\gamma$-ray event on MJD 55266 we also estimated the minimum bulk Lorentz factor.