title: The Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is the observatory for ground-based gamma-ray astronomy that will shape the domain of TeV astronomy for the next decades. CTA will comprise more than 100 imaging air Cherenkov telescopes deployed on two sites, one in the northern hemisphere on La Palma and one in the southern hemisphere in Chile. A large fraction of CTA's observing time will be apportioned through a competitive proposal-driven time allocation scheme that is open to the scientific community. Hence CTA will become an astronomical tool that complements other large ground- and space-based observatories that do and will exist at other wavelengths and for other messengers. In this contribution I will present the CTA Observatory, its main characteristics, and the current status of the construction project. First light was already obtained by prototype CTA telescopes and cameras, and deployment of the CTA arrays will start soon. The science analysis software is already in good shape, and available to the wider community for preparing CTA science and data analysis.


title: A note on the total action of $4D$ Gauss-Bonnet theory

abstract: Recently, a novel four-dimensional Gauss-Bonnet theory has been suggested as a limiting case of the original $D$-dimensional theory with singular Gauss-Bonnet coupling constant $\alpha\rightarrow\alpha/(D-4)$. The theory is proposed at the level of field equations. Here we analyse this theory at the level of action. We find that the on-shell action and surface terms split into parts, one of which does not scale like $(D-4)$. The limiting $D\rightarrow4$ procedure, therefore, gives unphysical divergences in the on-shell action and surface terms in four dimensions. We further highlight various issues related to the computation of counterterms in this theory.


title: CatNet: Class Incremental 3D ConvNets for Lifelong Egocentric Gesture Recognition

abstract: Egocentric gestures are the most natural form of communication for humans to interact with wearable devices such as VR/AR helmets and glasses. A major issue in such scenarios for real-world applications is that may easily become necessary to add new gestures to the system e.g., a proper VR system should allow users to customize gestures incrementally. Traditional deep learning methods require storing all previous class samples in the system and training the model again from scratch by incorporating previous samples and new samples, which costs humongous memory and significantly increases computation over time. In this work, we demonstrate a lifelong 3D convolutional framework -- c(C)la(a)ss increment(t)al net(Net)work (CatNet), which considers temporal information in videos and enables lifelong learning for egocentric gesture video recognition by learning the feature representation of an exemplar set selected from previous class samples. Importantly, we propose a two-stream CatNet, which deploys RGB and depth modalities to train two separate networks. We evaluate CatNets on a publicly available dataset -- EgoGesture dataset, and show that CatNets can learn many classes incrementally over a long period of time. Results also demonstrate that the two-stream architecture achieves the best performance on both joint training and class incremental training compared to 3 other one-stream architectures. The codes and pre-trained models used in this work are provided at https://github.com/villawang/CatNet.


title: 4D Deep Learning for Multiple Sclerosis Lesion Activity Segmentation

abstract: Multiple sclerosis lesion activity segmentation is the task of detecting new and enlarging lesions that appeared between a baseline and a follow-up brain MRI scan. While deep learning methods for single-scan lesion segmentation are common, deep learning approaches for lesion activity have only been proposed recently. Here, a two-path architecture processes two 3D MRI volumes from two time points. In this work, we investigate whether extending this problem to full 4D deep learning using a history of MRI volumes and thus an extended baseline can improve performance. For this purpose, we design a recurrent multi-encoder-decoder architecture for processing 4D data. We find that adding more temporal information is beneficial and our proposed architecture outperforms previous approaches with a lesion-wise true positive rate of 0.84 at a lesion-wise false positive rate of 0.19.


title: Vanishing Chern classes for numerically flat Higgs bundles

abstract: I consider Higgs bundles satisfying a notion of ampleness that was introduce Bruzzo, Gra\~na Otero and Hern\'andez Ruip\'erez, and prove that the Chern classes of rank $r$ H-ample Higgs bundles over dimension $n$, polarized, smooth, complex, projective varieties are positive under opportune hypothesis. I extend this to non-negativeness of Chern classes of all numerically effective Higgs bundles; and use this condition to prove the vanishing of Chern classes of numerically flat Higgs bundles.


title: A Practical Guide to Studying Emergent Communication through Grounded Language Games

abstract: The question of how an effective and efficient communication system can emerge in a population of agents that need to solve a particular task attracts more and more attention from researchers in many fields, including artificial intelligence, linguistics and statistical physics. A common methodology for studying this question consists of carrying out multi-agent experiments in which a population of agents takes part in a series of scripted and task-oriented communicative interactions, called 'language games'. While each individual language game is typically played by two agents in the population, a large series of games allows the population to converge on a shared communication system. Setting up an experiment in which a rich system for communicating about the real world emerges is a major enterprise, as it requires a variety of software components for running multi-agent experiments, for interacting with sensors and actuators, for conceptualising and interpreting semantic structures, and for mapping between these semantic structures and linguistic utterances. The aim of this paper is twofold. On the one hand, it introduces a high-level robot interface that extends the Babel software system, presenting for the first time a toolkit that provides flexible modules for dealing with each subtask involved in running advanced grounded language game experiments. On the other hand, it provides a practical guide to using the toolkit for implementing such experiments, taking a grounded colour naming game experiment as a didactic example.


title: Learning Geometric Word Meta-Embeddings

abstract: We propose a geometric framework for learning meta-embeddings of words from different embedding sources. Our framework transforms the embeddings into a common latent space, where, for example, simple averaging of different embeddings (of a given word) is more amenable. The proposed latent space arises from two particular geometric transformations - the orthogonal rotations and the Mahalanobis metric scaling. Empirical results on several word similarity and word analogy benchmarks illustrate the efficacy of the proposed framework.


title: Parameterized Study of Steiner Tree on Unit Disk Graphs

abstract: We study the Steiner Tree problem on unit disk graphs. Given a $n$ vertex unit disk graph $G$, a subset $R\subseteq V(G)$ of $t$ vertices and a positive integer $k$, the objective is to decide if there exists a tree $T$ in $G$ that spans over all vertices of $R$ and uses at most $k$ vertices from $V\setminus R$. The vertices of $R$ are referred to as terminals and the vertices of $V(G)\setminus R$ as Steiner vertices. First, we show that the problem is NP-Hard. Next, we prove that the Steiner Tree problem on unit disk graphs can be solved in $n^{O(\sqrt{t+k})}$ time. We also show that the Steiner Tree problem on unit disk graphs parameterized by $k$ has an FPT algorithm with running time $2^{O(k)}n^{O(1)}$. In fact, the algorithms are designed for a more general class of graphs, called clique-grid graphs. We mention that the algorithmic results can be made to work for the Steiner Tree on disk graphs with bounded aspect ratio. Finally, we prove that the Steiner Tree on disk graphs parameterized by $k$ is W[1]-hard.


title: Eigenvalues of graphs and spectral Moore theorems

abstract: In this paper, we describe some recent spectral Moore theorems related to determining the maximum order of a connected graph of given valency and second eigenvalue. We show how these spectral Moore theorems have applications in Alon-Boppana theorems for regular graphs and in the classical degree-diameter/Moore problem.


title: Towards Understanding Normalization in Neural ODEs

abstract: Normalization is an important and vastly investigated technique in deep learning. However, its role for Ordinary Differential Equation based networks (neural ODEs) is still poorly understood. This paper investigates how different normalization techniques affect the performance of neural ODEs. Particularly, we show that it is possible to achieve 93% accuracy in the CIFAR-10 classification task, and to the best of our knowledge, this is the highest reported accuracy among neural ODEs tested on this problem.


title: Switching of band inversion and topological surface states by charge density wave

abstract: Topologically nontrivial materials host protected edge states associated with the bulk band inversion through the bulk-edge correspondence. Manipulating such edge states is highly desired for developing new functions and devices practically using their dissipation-less nature and spin-momentum locking. Here we introduce a transition-metal dichalcogenide VTe$_2$, that hosts a charge density wave (CDW) coupled with the band inversion involving V3$d$ and Te5$p$ orbitals. Spin- and angle-resolved photoemission spectroscopy with first-principles calculations reveal the huge anisotropic modification of the bulk electronic structure by the CDW formation, accompanying the selective disappearance of Dirac-type spin-polarized topological surface states that exist in the normal state. Thorough three dimensional investigation of bulk states indicates that the corresponding band inversion at the Brillouin zone boundary dissolves upon CDW formation, by transforming into anomalous flat bands. Our finding provides a new insight to the topological manipulation of matters by utilizing CDWs' flexible characters to external stimuli.


title: Chern class inequalities on polarized manifolds and nef vector bundles

abstract: This article is concerned with Chern class and Chern number inequalities on polarized manifolds and nef vector bundles. For a polarized pair $(M,L)$ with $L$ very ample, our first main result is a family of sharp Chern class inequalities. Among them the first one is a variant of a classical result and the equality case of the second one is a characterization of hypersurfaces. The second main result is a Chern number inequality on it, which includes a reverse Miyaoka-Yau type inequality. The third main result is that the Chern numbers of a nef vector bundle over a compact K\"{a}hler manifold are bounded below by the Euler number. As an application, we classify compact K\"{a}hler manifolds with nonnegative bisectional curvature whose Chern numbers are all positive. A conjecture related to the Euler number of compact K\"{a}hler manifolds with nonpositive bisectional curvature is proposed, which can be regarded as a complex analogue to the Hopf conjecture.


title: Fairness in penalty shootouts: Is it worth using dynamic sequences?

abstract: The sequence of moves in a dynamic team tournament may distort the ex-ante winning probabilities and harm efficiency. This paper compares seven soccer penalty shootout rules that determine the kicking order, from a theoretical perspective. Their fairness is evaluated in a reasonable model of First Mover Advantage. We also discuss the probability of reaching the sudden death stage. In the case of stationary scoring probabilities, dynamic mechanisms are not better than static rules. However, it is worth compensating the second-mover by making it the first-mover in the sudden death stage. Our work has the potential to impact decision-makers who can guarantee fairer outcomes in dynamic tournaments by a carefully chosen sequence of actions.


title: End-to-End Learning for Video Frame Compression with Self-Attention

abstract: One of the core components of conventional (i.e., non-learned) video codecs consists of predicting a frame from a previously-decoded frame, by leveraging temporal correlations. In this paper, we propose an end-to-end learned system for compressing video frames. Instead of relying on pixel-space motion (as with optical flow), our system learns deep embeddings of frames and encodes their difference in latent space. At decoder-side, an attention mechanism is designed to attend to the latent space of frames to decide how different parts of the previous and current frame are combined to form the final predicted current frame. Spatially-varying channel allocation is achieved by using importance masks acting on the feature-channels. The model is trained to reduce the bitrate by minimizing a loss on importance maps and a loss on the probability output by a context model for arithmetic coding. In our experiments, we show that the proposed system achieves high compression rates and high objective visual quality as measured by MS-SSIM and PSNR. Furthermore, we provide ablation studies where we highlight the contribution of different components.


title: BEC immersed in a Fermi sea: Theory of static and dynamic behavior across phase separation

abstract: We theoretically study the static and dynamic behavior of a BEC immersed in a large Fermi sea of ultracold atoms under conditions of tunable interspecies interaction. The degenerate Bose-Fermi mixture is kept in an elongated trap, typical for a single-beam optical dipole trap. We focus on the case of repulsive Bose-Fermi interaction and develop mean-field models to simulate the system over a wide range of repulsion strength. We further get analytical solutions in the regimes of phase separation and weak interaction. We obtain static density profiles and the frequency of the radial breathing mode, which is an elementary dynamic phenomenon of the mixture. Our results unveil the structure of the Bose-Fermi interface and describe the origin of the frequency shift of the breathing mode when the components become phase-separated at strong repulsion. We show that the mediated interaction between bosons induced by the Fermi sea can be understood as an adiabatic second-order mean-field effect, which is valid also beyond the weak-interaction regime for relevant experimental conditions. These results are consistent with our recent observations in a mixture of $^{41}$K and $^6$Li.


title: Unsupervised Person Re-identification via Multi-label Classification

abstract: The challenge of unsupervised person re-identification (ReID) lies in learning discriminative features without true labels. This paper formulates unsupervised person ReID as a multi-label classification task to progressively seek true labels. Our method starts by assigning each person image with a single-class label, then evolves to multi-label classification by leveraging the updated ReID model for label prediction. The label prediction comprises similarity computation and cycle consistency to ensure the quality of predicted labels. To boost the ReID model training efficiency in multi-label classification, we further propose the memory-based multi-label classification loss (MMCL). MMCL works with memory-based non-parametric classifier and integrates multi-label classification and single-label classification in a unified framework. Our label prediction and MMCL work iteratively and substantially boost the ReID performance. Experiments on several large-scale person ReID datasets demonstrate the superiority of our method in unsupervised person ReID. Our method also allows to use labeled person images in other domains. Under this transfer learning setting, our method also achieves state-of-the-art performance.


title: $\displaystyle \delta$-Primary Elements In Lattice Modules

abstract: In this paper, we introduce the expansion function $\delta$ on an $L$-module $M$. We define and investigate a $\delta$-primary element in an $L$-module $M$. Its characterizations and many of its properties are obtained. $\delta_0$-primary and $\delta_1$-primary elements of an $L$-module $M$ are related with 2-absorbing, 2-absorbing primary elements of an $L$-module $M$ to obtain their special properties. The element $\delta_1(N)\in M$ is related to $rad(N)\in M$, the radical element of $M$ to obtain its properties where $N\in M$. We define a $\delta_L$-primary element in an $L$-module $M$ where $\delta_L$ is an expansion function on $L$ and find relation among a $\delta_L$-primary element of $M$ and its corresponding $\delta_L$-primary element of $L$.


title: On the origin of the standard genetic code as a fusion of prebiotic single-base-pair codes

abstract: The genesis of the stand genetic code is considered as a result of a fusion of two AU- and GC-codes distributed in two dominant and two recessive domains. The fusion of these codes is described with simple empirical rules. This formal approach explains the number of the proteinogenic amino acids and the codon assignment in the resulting standard genetic code. It shows how norleucine, pyrrolysine, selenocysteine and two other unknown amino acids, included into the prebiotic codes, disappeared after the fusion. The properties of these two missing amino acids were described. The ambiguous translation observed in mitochondria is explained. The internal structure of the codes allows a more detailed insights into molecular evolution in prebiotic time. In particular, the structure of the oldest single base-pair code is presented. The fusion concept reveals the appearance of the DNA machinery on the level of the single dominant AU-code. The time before the appearance of standard genetic code is divided into four epochs: pre-DNA, 2-code, pre-fusion, and after-fusion epochs. The prebiotic single-base-pair codes may help design novel peptide-based catalysts.


title: Measurement of Liquid Argon Scintillation Light Properties by means of an Alpha Source placed inside the CERN 10-PMT LAr Detection System

abstract: A particle detection system that exploits the scintillation light produced by ionizing particles in liquid argon (LAr) has been assembled at CERN. The system is based on 10 large-area photomultiplier tubes (PMT) immersed in a 1500-liter dewar filled with liquid argon and equipped with an extendible feed-through and mechanical support for an alpha source (241Am). The position of the source can be changed with respect to the PMT plane in vertical and horizontal directions. Arrays of silicon photomultiplier (SiPM) photodetectors, integrated in the source support, are used for the data acquisition trigger and to define the t0 of the light generation. PMT and SiPM signals can be recorded at different distances and different positions allowing the measurement of some of the LAr scintillation light properties. The system was studied and characterized in detail, and physics results on LAr scintillation properties are expected soon.


title: Gromov hyperbolicity of pseudoconvex finite type domains in $\mathbb{C}^2$

abstract: We prove that every bounded smooth domain of finite d'Angelo type in $\mathbb{C}^2$ endowed with the Kobayashi distance is Gromov hyperbolic and its Gromov boundary is canonically homeomorphic to the Euclidean boundary. We also show that any domain in $\mathbb{C}^2$ endowed with the Kobayashi distance is Gromov hyperbolic provided there exists a sequence of automorphisms that converges to a smooth boundary point of finite D'Angelo type.


title: Push and Drag: An Active Obstacle Separation Method for Fruit Harvesting Robots

abstract: Selectively picking a target fruit surrounded by obstacles is one of the major challenges for fruit harvesting robots. Different from traditional obstacle avoidance methods, this paper presents an active obstacle separation strategy that combines push and drag motions. The separation motion and trajectory are generated based on the 3D visual perception of the obstacle information around the target. A linear push is used to clear the obstacles from the area below the target, while a zig-zag push that contains several linear motions is proposed to push aside more dense obstacles. The zig-zag push can generate multi-directional pushes and the side-to-side motion can break the static contact force between the target and obstacles, thus helping the gripper to receive a target in more complex situations. Moreover, we propose a novel drag operation to address the issue of mis-capturing obstacles located above the target, in which the gripper drags the target to a place with fewer obstacles and then pushes back to move the obstacles aside for further detachment. Furthermore, an image processing pipeline consisting of color thresholding, object detection using deep learning and point cloud operation, is developed to implement the proposed method on a harvesting robot. Field tests show that the proposed method can improve the picking performance substantially. This method helps to enable complex clusters of fruits to be harvested with a higher success rate than conventional methods.


title: Quantum illumination via quantum-enhanced sensing

abstract: Quantum-enhanced sensing has a goal of enhancing a parameter sensitivity with input quantum states, while quantum illumination has a goal of enhancing a target detection capability with input entangled states in a heavy noise environment. Here we propose a concatenation between quantum-enhanced sensing and quantum illumination that can take quantum advantage over the classical limit. First, phase sensing in an interferometry is connected to a target sensing via quantum Fisher information. Second, the target sensitivity is investigated in noisy quantum-enhanced sensing. Under the same input state energy, for example, N-photon entangled states can exhibit better performance than a two-mode squeezed vacuum state and a separable coherent state. Incorporating a photon-number difference measurement, finally, the noisy target sensitivity is connected to a signal-to-noise ratio which is associated with a minimum error probability of discriminating the presence and absence of the target. We show that both the target sensitivity and the signal-to-noise ratio can be enhanced with increasing thermal noise.


title: We must know -- We shall know

abstract: In this article, I focus on the resiliency of the P=?NP problem. The main point to deal with is the change of the underlying logic from first to second-order logic. In this manner, after developing the initial steps of this change, I can hint that the solution goes in the direction of the coincidence of both classes, i.e., P=NP.


title: Effective equation for two coupled oscillators: towards a global view of metamorphoses of the amplitude profiles

abstract: Dynamics of nonlinear coupled driven oscillators is investigated. Recently, we have demonstrated that the amplitude profiles -- dependence of the amplitude $A$ on frequency $\Omega$ of the driving force, computed by asymptotic methods in implicit form as $F\left( A,\Omega \right) =0$, permit prediction of metamorphoses of dynamics which occur at singular points of the implicit curve $F\left( A,\Omega \right) =0$. In the present study we strive at a global view of singular points of the amplitude profiles computing bifurcation sets, i.e. sets containing all points in the parameter space for which the amplitude profile has a singular point.


title: Proofreading mechanism of Class 2 CRISPR-Cas systems

abstract: CRISPR systems experience off-target effects that interfere with the ability to accurately perform genetic edits. While empirical models predict off-target effects in specific platforms, there is a gap for a wide-ranging mechanistic model of CRISPR systems based on evidence from the essential processes of target recognition. In this work, we present a first principles model supported by many experiments performed in vivo and in vitro. First, we observe and model the conformational changes and discrete stepped DNA unwinding events of SpCas9-CRISPR target recognition process in a cell-free transcription-translation system using truncated guide RNAs, confirming structural and FRET microscopy experiments. Second, we implement an energy landscape to describe single mismatch effects observed in vivo for spCas9 and Cas12a CRISPR systems. From the mismatch analysis results we uncover that CRISPR class 2 systems maintain their kinetic proofreading mechanism by utilizing intermittent energetic barriers and we show how to leverage the landscape to improve target specificity.


title: The complexity of approximating averages on bounded-degree graphs

abstract: We prove that, unless P=NP, there is no polynomial-time algorithm to approximate within some multiplicative constant the average size of an independent set in graphs of maximum degree 6. This is a special case of a more general result for the hard-core model defined on independent sets weighted by a parameter $\lambda>0$. In the general setting, we prove that, unless P=NP, for all $\Delta\geq 3$, all $\lambda>\lambda_c(\Delta)$, there is no FPTAS which applies to all graphs of maximum degree $\Delta$ for computing the average size of the independent set in the Gibbs distribution, where $\lambda_c(\Delta)$ is the critical point for the uniqueness/non-uniqueness phase transition on the $\Delta$-regular tree. Moreover, we prove that for $\lambda$ in a dense set of this non-uniqueness region the problem is NP-hard to approximate within some constant factor. Our work extends to the antiferromagnetic Ising model and generalizes to all 2-spin antiferromagnetic models, establishing hardness of computing the average magnetization in the tree non-uniqueness region. Previously, Schulman, Sinclair and Srivastava (2015) showed that it is #P-hard to compute the average magnetization exactly, but no hardness of approximation results were known. Hardness results of Sly (2010) and Sly and Sun (2014) for approximating the partition function do not imply hardness of computing averages. The new ingredient in our reduction is an intricate construction of pairs of rooted trees whose marginal distributions at the root agree but their derivatives disagree. The main technical contribution is controlling what marginal distributions and derivatives are achievable and using Cauchy's functional equation to argue existence of the gadgets.


title: Firefly-Algorithm Supported Scheme to Detect COVID-19 Lesion in Lung CT Scan Images using Shannon Entropy and Markov-Random-Field

abstract: The pneumonia caused by Coronavirus disease (COVID-19) is one of major global threat and a number of detection and treatment procedures are suggested by the researchers for COVID-19. The proposed work aims to suggest an automated image processing scheme to extract the COVID-19 lesion from the lung CT scan images (CTI) recorded from the patients. This scheme implements the following procedures; (i) Image pre-processing to enhance the COVID-19 lesions, (ii) Image post-processing to extract the lesions, and (iii) Execution of a relative analysis between the extracted lesion segment and the Ground-Truth-Image (GTI). This work implements Firefly Algorithm and Shannon Entropy (FA+SE) based multi-threshold to enhance the pneumonia lesion and implements Markov-Random-Field (MRF) segmentation to extract the lesions with better accuracy. The proposed scheme is tested and validated using a class of COVID-19 CTI obtained from the existing image datasets and the experimental outcome is appraised to authenticate the clinical significance of the proposed scheme. The proposed work helped to attain a mean accuracy of >92% during COVID-19 lesion segmentation and in future, it can be used to examine the real clinical lung CTI of COVID-19 patients.


title: Rigorous derivation from the water waves equations of some full dispersion shallow water models

abstract: In order to improve the frequency dispersion effects of irrotational shallow water models in coastal oceanography, several full dispersion versions of classical models were formally derived in the literature. The idea, coming from G. Whitham in [21], was to modify them so that their dispersion relation is the same as the water waves equations. In this paper we construct new shallow water approximations of the velocity potential then deducing ones on the vertically averaged horizontal component of the velocity. We make use of them to derive rigorously from the water waves equations two new Hamiltonian full dispersion models. This provides for the first time non-trivial precision results characterizing the order of approximation of the full dispersion models. They are non-trivial in the sense that they are better than the ones for the corresponding classical models.


title: The $R$-matrix of the quantum toroidal algebra $U_{q,t}(\overset{..}{gl}_1)$ in the Fock module

abstract: We propose a method to compute the $R$-matrix $R$ on a tensor product of Fock modules from coproduct relations in a Hopf algebra. We apply this method to the quantum toroidal algebra $U_{q,t}(\overset{..}{gl}_1)$ for which $R$ is currently not explicitly known. We show that the coproduct relations of $U_{q,t}(\overset{..}{gl}_1)$ reduce to a single elegant equation for $R$. Using the theory of symmetric Macdonald polynomials we show that this equation provides a recursive formula for the matrix elements of $R$.


title: On overspinning of black holes in higher dimensions

abstract: It turns out that repulsive effect due to rotation of a rotating black hole dominates over attraction due to mass for large $r$ in dimensions $>5$. This gives rise to a remarkable result that black hole in these higher dimensions in contrast to lower dimensional ones cannot be overspun even under linear test particle accretion. Further if a black hole in dimension $>4$ has one of its rotation parameters zero, it has only one horizon and hence it can never be overspun. Thus rotating black holes in six and higher dimensions, and those with one rotation parameter switched off, would always obey the weak cosmic censorship conjecture (WCCC).


title: Existence of parabolic minimizers to the total variation flow on metric measure spaces

abstract: We give an existence proof for variational solutions $u$ associated to the total variation flow. Here, the functions being considered are defined on a metric measure space $(\mathcal{X}, d, \mu)$ satisfying a doubling condition and supporting a Poincar\'e inequality. For such parabolic minimizers that coincide with a time-independent Cauchy-Dirichlet datum $u_0$ on the parabolic boundary of a space-time-cylinder $\Omega \times (0, T)$ with $\Omega \subset \mathcal{X}$ an open set and $T > 0$, we prove existence in the weak parabolic function space $L^1_w(0, T; \mathrm{BV}(\Omega))$. In this paper, we generalize results from a previous work by B\"ogelein, Duzaar and Marcellini by introducing a more abstract notion for $\mathrm{BV}$-valued parabolic function spaces. We argue completely on a variational level.


title: Skyrmion Lattice Phases in Thin Film Multilayer

abstract: Phases of matter are ubiquitous with everyday examples including solids and liquids. In reduced dimensions, particular phases, such as the two-dimensional (2D) hexatic phase and corresponding phase transitions occur. A particularly exciting example of 2D ordered systems are skyrmion lattices, where in contrast to previously studied 2D colloid systems, the skyrmion size and density can be tuned by temperature and magnetic field. This allows us to drive the system from a liquid phase to a hexatic phase as deduced from the analysis of the hexagonal order. Using coarse-grained molecular dynamics simulations of soft disks, we determine the skyrmion interaction potentials and we find that the simulations are able to reproduce the full two-dimensional phase behavior. This shows that not only the static behavior of skyrmions is qualitatively well described in terms of a simple two-dimensional model system but skyrmion lattices are versatile and tunable two-dimensional model systems that allow for studying phases and phase transitions in reduced dimensions.


title: A power APN function CCZ-equivalent to Kasami function in even dimension

abstract: Let $n$ be an even number such that $n\equiv 0 \pmod{4}$. We show that a power function $x^d$, with $d=2^{\frac{n+2}{2}}+2^{\frac{n-2}{2}}-1$, on $\mathbb{F}_{2^n}$ is an APN function of degree $n/2$ which is CCZ-equivalent to Kasami functions of degrees $n/2$ and $(n+4)/2$.


title: Enabling and Enforcing Social Distancing Measures using Smart City and ITS Infrastructures: A COVID-19 Use Case

abstract: Internet of Things is a revolutionary domain that has the caliber to impact our lives and bring significant changes to the world. Several IoT applications have been envisioned to facilitate data driven and smart application for the user. Smart City and Intelligent Transportation System (ITS) offer a futuristic vision of smart, secure and safe experience to the end user, and at the same time efficiently manage the sparse resources and optimize the efficiency of city operations. However, outbreaks and pandemics like COVID-19 have revealed limitations of the existing deployments, therefore, architecture, applications and technology systems need to be developed for swift and timely enforcement of guidelines, rules and government orders to contain such future outbreaks. This work outlines novel architecture, potential use-cases and some future directions in developing such applications using Smart City and ITS.


title: High-speed x-ray imaging with single-pixel detector

abstract: We demonstrate experimentally the ability to use a single pixel detector for two-dimensional high-speed and high-resolution x-ray imaging. We image the rotation of a spinning chopper at 100-kHz at spatial resolution of about 15 microns by using the computational ghost imaging approach. The technique we develop can be used for the imaging of high-speed periodic dynamics or periodically stimulated effects with a large field of view and at low dose.


title: New Soliton Solutions of Anti-Self-Dual Yang-Mills equations

abstract: We study exact soliton solutions of anti-self-dual Yang-Mills equations for $G =GL(2)$ in four-dimensional spaces with the Euclidean, Minkowski and Ultrahyperbolic signatures and construct special kinds of one-soliton solutions whose action density Tr$F_{\mu\nu}F^{\mu\nu}$ can be real-valued. These solitons are shown to be new type of domain walls in four dimension by explicit calculation of the real-valued action density. Our results are successful applications of the Darboux transformation developed by Nimmo, Gilson and Ohta. More surprisingly, integration of these action densities over the four-dimensional spaces are suggested to be not infinity but zero. Furthermore, whether gauge group $G= U(2)$ can be realized on our solition solutions or not is also discussed on each real space.


title: CHiME-6 Challenge:Tackling Multispeaker Speech Recognition for Unsegmented Recordings

abstract: Following the success of the 1st, 2nd, 3rd, 4th and 5th CHiME challenges we organize the 6th CHiME Speech Separation and Recognition Challenge (CHiME-6). The new challenge revisits the previous CHiME-5 challenge and further considers the problem of distant multi-microphone conversational speech diarization and recognition in everyday home environments. Speech material is the same as the previous CHiME-5 recordings except for accurate array synchronization. The material was elicited using a dinner party scenario with efforts taken to capture data that is representative of natural conversational speech. This paper provides a baseline description of the CHiME-6 challenge for both segmented multispeaker speech recognition (Track 1) and unsegmented multispeaker speech recognition (Track 2). Of note, Track 2 is the first challenge activity in the community to tackle an unsegmented multispeaker speech recognition scenario with a complete set of reproducible open source baselines providing speech enhancement, speaker diarization, and speech recognition modules.


title: General solution of the exceptional Hermite differential equation and its minimal surface representation

abstract: The main aim of this paper is the study of the general solution of the exceptional Hermite differential equation with fixed partition $\lambda = (1)$ and the construction of minimal surfaces associated with this solution. We derive a linear second-order ordinary differential equation associated with a specific family of exceptional polynomials of codimension two. We show that these polynomials can be expressed in terms of classical Hermite polynomials. Based on this fact, we demonstrate that there exists a link between the norm of an exceptional Hermite polynomial and the gap sequence arising from the partition used to construct this polynomial. We find the general analytic solution of the exceptional Hermite differential equation which has no gap in its spectrum. We show that the spectrum is complemented by non-polynomial solutions. We present an implementation of the obtained results for the surfaces expressed in terms of the general solution making use of the classical Enneper-Weierstrass formula for the immersion in the Euclidean space $\mathbb{E}^3$, leading to minimal surfaces. Three-dimensional displays of these surfaces are presented.


title: Unsupervised Vehicle Counting via Multiple Camera Domain Adaptation

abstract: Monitoring vehicle flows in cities is crucial to improve the urban environment and quality of life of citizens. Images are the best sensing modality to perceive and assess the flow of vehicles in large areas. Current technologies for vehicle counting in images hinge on large quantities of annotated data, preventing their scalability to city-scale as new cameras are added to the system. This is a recurrent problem when dealing with physical systems and a key research area in Machine Learning and AI. We propose and discuss a new methodology to design image-based vehicle density estimators with few labeled data via multiple camera domain adaptations.


title: MemShield: GPU-assisted software memory encryption

abstract: Cryptographic algorithm implementations are vulnerable to Cold Boot attacks, which consist in exploiting the persistence of RAM cells across reboots or power down cycles to read the memory contents and recover precious sensitive data. The principal defensive weapon against Cold Boot attacks is memory encryption. In this work we propose MemShield, a memory encryption framework for user space applications that exploits a GPU to safely store the master key and perform the encryption/decryption operations. We developed a prototype that is completely transparent to existing applications and does not require changes to the OS kernel. We discuss the design, the related works, the implementation, the security analysis, and the performances of MemShield.


title: On the boundedness of Toeplitz operators with radial symbols over weighted sup-norm spaces of holomorphic functions

abstract: We prove sufficient conditions for the boundedness and compactness of Toeplitz operators $T_a$ in weighted sup-normed Banach spaces $H_v^\infty$ of holomorphic functions defined on the open unit disc $\mathbb{D}$ of the complex plane; both the weights $v$ and symbols $a$ are assumed to be radial functions on $\mathbb{D}$. In an earlier work by the authors it was shown that there exists a bounded, harmonic (thus non-radial) symbol $a$ such that $T_a$ is not bounded in any space $H_v^\infty$ with an admissible weight $v$. Here, we show that a mild additional assumption on the logarithmic decay rate of a radial symbol $a$ at the boundary of $\mathbb{D} $ guarantees the boundedness of $T_a$. The sufficient conditions for the boundedness and compactness of $T_a$, in a number of variations, are derived from the general, abstract necessary and sufficient condition recently found by the authors. The results apply for a large class of weights satisfying the so called condition$(B)$, which includes in addition to standard weight classes also many rapidly decreasing weights.


title: The Noether theorems in context

abstract: I shall sketch the contents of Noether's 1918 article, "Invariante Variationsprobleme", in the context of the debate on the conservation of energy that had arisen from Einstein's general theory of relativity. How original was Noether's "Invariante Variationsprobleme"? how modern were her use of Lie groups and her introduction of generalized vector fields? and how influential was her article? I shall sketch the curious transmission of her results from 1918 to 1970, the history of the later developments of her theory in mathematics and in physics, and the ultimate recognition of the wide applicability of "the Noether theorems".


title: A caricature of dilation theory

abstract: We present a set-theoretic version of some basic dilation results of operator theory. The results we have considered are Wold decomposition, Halmos dilation, Sz. Nagy dilation, inter-twining lifting, commuting and non-commuting dilations, BCL theorem etc. We point out some natural generalizations and variations.


title: Some results of Brocard-Ramanujan problem on diophantine equation $n!+1=m^2$

abstract: The Brocard-Ramanujan problem pertaining to the diophantine equation $n!+1=m^2$, a famously unsolved problem, deals with finding the integer solutions to the equation. Nobody has discovered any new solution of the problem beyond $n=4,~5$ and $7$ although many of us have tried it. Bruce Berndt and William Galway \cite{Berndt} had not found any new solution in 2000 by extensive computer search for a solution with $n$ up to $10^9$. The main purpose of this study is to show that the solutions should satisfy some necessary and/or sufficient conditions and it has only finitely many solutions which is not based on any conjecture or previous research on the Brocard-Ramanujan problem.


title: Quantum Discrete Levels of the Universe from the Early Trans-Planckian Vacuum to the Late Dark Energy

abstract: The standard model of the universe is further completed back in time before inflation in agreement with observations, classical-quantum gravity duality and quantum space-time. Quantum vacuum energy bends the space-time and produces a constant curvature de Sitter background. We link de Sitter universe and the cosmological constant to the (classical and quantum) harmonic oscillator. Quantum discrete cosmological levels are found: size, time, vacuum energy, Hubble constant and gravitational (Gibbons-Hawking) entropy from the very early trans-planckian vacuum to the classical today vacuum energy. For each level $n = 0, 1, 2,...$, the two: post and pre (trans)-planckian phases are covered: In the post-planckian universe, the levels (in planck units) are: Hubble constant $H_{n} = {1}/\sqrt{(2n + 1)}$, vacuum energy $\Lambda_{n} = 1/(2n + 1)$, entropy $S_n = (2n + 1)$. As $n$ increases, radius, mass and $S_n$ increase, $H_n$ and $\Lambda_n$ decrease and {\it consistently} the universe {\it classicalizes}. In the pre-planckian (trans-planckian) phase, the quantum levels are: $H_{Qn} = \sqrt{(2n + 1)},\; \Lambda_{Qn} = (2n + 1)/1,\; S_{Qn} = 1/(2n + 1)$, $Q$ denoting quantum. The $n$-levels cover {\it all} scales from the far past highest excited trans-planckian level $n = 10^{122}$ with finite curvature, $\Lambda_Q = 10^{122}$ and minimum entropy $S_Q = 10^{-122}$, $n$ decreases till the planck level $(n = 0)$ and enters the post-planckian phase e.g: $n = 1, 2,...,n_{inflation} = 10^{12},... ,n_{cmb} = 10^{114},...,n_{reoin} = 10^{118},...,n_{today} = 10^{122}$ with the most classical value $H_{today} = 10^{-61}$, $\Lambda_{today} = 10^{-122}$, $S_{today} = 10^{122}$. We implement the Snyder-Yang algebra in this context yielding a consistent group-theory realization of quantum discrete de Sitter space-time, classical-quantum gravity duality symmetry and a clarifying unifying picture.(Abridged)


title: Thompson Sampling for Linearly Constrained Bandits

abstract: We address multi-armed bandits (MAB) where the objective is to maximize the cumulative reward under a probabilistic linear constraint. For a few real-world instances of this problem, constrained extensions of the well-known Thompson Sampling (TS) heuristic have recently been proposed. However, finite-time analysis of constrained TS is challenging; as a result, only O(\sqrt{T}) bounds on the cumulative reward loss (i.e., the regret) are available. In this paper, we describe LinConTS, a TS-based algorithm for bandits that place a linear constraint on the probability of earning a reward in every round. We show that for LinConTS, the regret as well as the cumulative constraint violations are upper bounded by O(\log T) for the suboptimal arms. We develop a proof technique that relies on careful analysis of the dual problem and combine it with recent theoretical work on unconstrained TS. Through numerical experiments on two real-world datasets, we demonstrate that LinConTS outperforms an asymptotically optimal upper confidence bound (UCB) scheme in terms of simultaneously minimizing the regret and the violation.


title: Predictability of Power Grid Frequency

abstract: The power grid frequency is the central observable in power system control, as it measures the balance of electrical supply and demand. A reliable frequency forecast can facilitate rapid control actions and may thus greatly improve power system stability. Here, we develop a weighted-nearest-neighbor (WNN) predictor to investigate how predictable the frequency trajectories are. Our forecasts for up to one hour are more precise than averaged daily profiles and could increase the efficiency of frequency control actions. Furthermore, we gain an increased understanding of the specific properties of different synchronous areas by interpreting the optimal prediction parameters (number of nearest neighbors, the prediction horizon, etc.) in terms of the physical system. Finally, prediction errors indicate the occurrence of exceptional external perturbations. Overall, we provide a diagnostics tool and an accurate predictor of the power grid frequency time series, allowing better understanding of the underlying dynamics.

categories: physics.soc-ph cs.SY eess.SP eess.SY physics.data-an stat.ML


title: Balancing non-rectangular tables

abstract: Balancing square and rectangular tables by rotation has been a interesting way to illustrate the intermediate value theorem. The aim of this note is to show that the balancing act but with non-rectangular tables can be a nice application of the ergodic theorem (or more generally, invariant measures).


title: The jumping properties of Markov branching processes

abstract: It is well-known that 0 is the absorbing state for a branching system. Each particle in the system lives a random long time and gives a random number of new particles at its death time. It stops when the system has no particle. This paper is devoted to studying the fixed range crossing numbers until any time t. The joint probability distribution of fixed range crossing numbers of such processes until time t is obtained by using a new method. In particular, the probability distribution of total death number is given for Markov branching processes until time t.


title: Long-term behaviour in a parabolic-elliptic chemotaxis-consumption model

abstract: Global existence and boundedness of classical solutions of the chemotaxis--consumption system \begin{align*} n_t &= \Delta n - \nabla \cdot (n \nabla c), \\ 0 &= \Delta c - nc, \end{align*} under no-flux boundary conditions for $n$ and Robin-type boundary conditions \[ \partial_{\nu} c = (\gamma-c) g \] for $c$ (with $\gamma>0$ and $C^{1+\beta}(\partial\Omega) \ni g > 0$ for some $\beta\in(0,1)$) are established in bounded domains $\Omega\subset\mathbb{R}^{N}$, $N\ge 1$. Under a smallness condition on $\gamma$, moreover, we show convergence to the stationary solution.


title: Reinforcement Learning Approach to Vibration Compensation for Dynamic Feed Drive Systems

abstract: Vibration compensation is important for many domains. For the machine tool industry it translates to higher machining precision and longer component lifetime. Current methods for vibration damping have their shortcomings (e.g. need for accurate dynamic models). In this paper we present a reinforcement learning based approach to vibration compensation applied to a machine tool axis. The work describes the problem formulation, the solution, the implementation and experiments using industrial machine tool hardware and control system.


title: Construction of propagators for divisible dynamical maps

abstract: Divisible dynamical maps play an important role in characterizing Markovianity on the level of quantum evolution. Divisible maps provide important generalization of Markovian semigroups. Usually one analyzes either completely positive or just positive divisibility meaning that the corresponding propagators are defined in terms of completely positive or positive maps, respectively. For maps which are invertible at any moment of time the very existence of propagator is already guaranteed and hence the only issue is (complete) positivity and trace-preservation. However, for maps which are not invertible the problem is much more involved since even the existence of a propagator is not guaranteed. In this paper we propose a simple method to construct propagators of dynamical maps using the concept of generalized inverse. We analyze both time-continuous and time-discrete maps. Since the generalized inverse is not uniquely defined the same applies for the corresponding propagator. In simple examples of qubit evolution we analyze it turns out that additional requirement of complete positivity possibly makes the propagator unique.


title: Coherent control of acoustic phonons in a silica fiber using a multi-GHz optical frequency comb

abstract: Multi-gigahertz mechanical vibrations stemming from interactions between light fields and matter, also known as acoustic phonons, have long been a subject of study. In recent years, specially designed functional devices have been developed to enhance the light-matter interaction strength, since the excitation of acoustic phonons by a continuous wave laser alone is insufficient. However, with such structure-dependent enhancements, the strength of the interaction cannot be aptly and instantly controlled. We propose a new technique to control the effective interaction strength, which is not via the material structure in the spatial domain, as with the above-mentioned specially designed functional devices, but through the structure of light in the time domain. Here we show the effective excitation and coherent control of acoustic phonons in a single-mode fiber using an optical frequency comb by tailoring the optical pulse train. We believe this work represents an important step towards "comb-matter interactions."


title: Commutators of random matrices from the unitary and orthogonal groups

abstract: We investigate the statistical properties of $C=uvu^{-1}v^{-1}$, when $u$ and $v$ are independent random matrices, uniformly distributed with respect to the Haar measure of the groups $U(N)$ and $O(N)$. An exact formula is derived for the average value of power sum symmetric functions of $C$, and also for products of the matrix elements of $C$, similar to Weingarten functions. The density of eigenvalues of $C$ is shown to become constant in the large-$N$ limit, and the first $N^{-1}$ correction is found.


title: Approximate Approximation on a Quantum Annealer

abstract: Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum mechanical properties of nature. However, they compete with efficient heuristics and probabilistic or randomised algorithms on classical machines that allow for finding approximate solutions to large NP-complete problems. While first implementations of QA have become commercially available, their practical benefits are far from fully explored. To the best of our knowledge, approximation techniques have not yet received substantial attention. In this paper, we explore how problems' approximate versions of varying degree can be systematically constructed for quantum annealer programs, and how this influences result quality or the handling of larger problem instances on given set of qubits. We illustrate various approximation techniques on both, simulations and real QA hardware, on different seminal problems, and interpret the results to contribute towards a better understanding of the real-world power and limitations of current-state and future quantum computing.


title: Visualization of radiotracers for SPECT imaging using a Timepix detector with a coded aperture

abstract: The work shows the ability to visualize radiotracers used in SPECT with a system based on a coded aperture mask and a hybrid pixel Timepix detector with the CdTe sensor. Characterization of the system using X-rays and radioactive sources confirms that the spatial resolution of less than 1 mm with a field of view 3 cm x 3 cm can be achieved. The results of a simulation study to determine the expected spatial resolution of the system in the focal plane for the various radionuclides is presented. The possibility of using this system with a thin (1.5 mm) coded aperture mask for reconstructing images of gamma emitters with the energy up to 180 keV is demonstrated.


title: Solidification of a rivulet: shape and temperature fields

abstract: The freezing of a water rivulet begins with a water thread flowing over a very cold surface, is naturally followed by the growth of an ice layer and ends up with a water rivulet flowing on a static thin ice wall. The structure of this final ice layer presents a surprising linear shape that thickens with the distance. This paper presents a theoretical model and experimental characterisation of the ice growth dynamics, the final ice shape and the temperature fields. In a first part, we establish a 2D model, based on the advection-diffusion heat equations, that allows us to predict the shape of the ice structure and the temperature fields in both the water and the ice. Then, we study experimentally the formation of the ice layer and we show that both the transient dynamics and the final shape are well captured by the model. In a last part, we characterise experimentally the temperature fields in the ice and in the water, using an infrared camera. The model shows an excellent agreement with the experimental fields. In particular, it predicts well the linear decrease of the water surface temperature observed along the plane, confirming that the final ice shape is a consequence of the interaction between the thermal boundary layer and the free surface.


title: Learned SPARCOM: Unfolded Deep Super-Resolution Microscopy

abstract: The use of photo-activated fluorescent molecules to create long sequences of low emitter-density diffraction-limited images enables high-precision emitter localization, but at the cost of low temporal resolution. We suggest combining SPARCOM, a recent high-performing classical method, with model-based deep learning, using the algorithm unfolding approach, to design a compact neural network incorporating domain knowledge. Our results show that we can obtain super-resolution imaging from a small number of high emitter density frames without knowledge of the optical system and across different test sets using the proposed learned SPARCOM (LSPARCOM) network. We believe LSPARCOM can pave the way to interpretable, efficient live-cell imaging in many settings, and find broad use in single-molecule localization microscopy of biological structures.


title: Pansu pullback and rigidity of mappings between Carnot groups

abstract: This is the first in a series of papers on geometric mapping theory in Carnot groups -- and more generally equiregular manifolds -- in which we prove a number of new structural results for Sobolev (in particular quasisymmetric) mappings, establishing (partial) rigidity or (partial) regularity theorems, depending on the context.


title: A Revised Generative Evaluation of Visual Dialogue

abstract: Evaluating Visual Dialogue, the task of answering a sequence of questions relating to a visual input, remains an open research challenge. The current evaluation scheme of the VisDial dataset computes the ranks of ground-truth answers in predefined candidate sets, which Massiceti et al. (2018) show can be susceptible to the exploitation of dataset biases. This scheme also does little to account for the different ways of expressing the same answer--an aspect of language that has been well studied in NLP. We propose a revised evaluation scheme for the VisDial dataset leveraging metrics from the NLP literature to measure consensus between answers generated by the model and a set of relevant answers. We construct these relevant answer sets using a simple and effective semi-supervised method based on correlation, which allows us to automatically extend and scale sparse relevance annotations from humans to the entire dataset. We release these sets and code for the revised evaluation scheme as DenseVisDial, and intend them to be an improvement to the dataset in the face of its existing constraints and design choices.


title: On some properties of the electromagnetic field and its interaction with a charged particle

abstract: A procedure for solving the Maxwell equations in vacuum, under the additional requirement that both scalar invariants are equal to zero, is presented. Such a field is usually called a null electromagnetic field. Based on the complex Euler potentials that appear as arbitrary functions in the general solution, a vector potential for the null electromagnetic field is defined. This potential is called natural vector potential of the null electromagnetic field. An attempt is made to make the most of knowing the general solution. The properties of the field and the potential are studied without fixing a specific family of solutions. A equality, which is similar to the Dirac gauge condition, is found to be true for both null field and Lienard-Wiechert field. It turns out that the natural potential is a substantially complex vector, which is equivalent to two real potentials. A modification of the coupling term in the Dirac equation is proposed, that makes the equation work with both real potentials. A solution, that corresponds to the Volkov's solution for a Dirac particle in a linearly polarized plane electromagnetic wave, is found. The solution found is directly compared to Volkov's solution under the same conditions.


title: A New Intrusion Detection System using the Improved Dendritic Cell Algorithm

abstract: The Dendritic Cell Algorithm (DCA) as one of the emerging evolutionary algorithms is based on the behavior of the specific immune agents; known as Dendritic Cells (DCs). DCA has several potentially beneficial features for binary classification problems. In this paper, we aim at providing a new version of this immune-inspired mechanism acts as a semi-supervised classifier which can be a defensive shield in network intrusion detection problem. Till now, no strategy or idea has already been adopted on the GetAntigen() function on detection phase, but randomly sampling entails the DCA to provide undesirable results in several cycles in each time. This leads to uncertainty. Whereas it must be accomplished by biological behaviors of DCs in tissues, we have proposed a novel strategy which exactly acts based on its immunological functionalities of dendritic cells. The proposed mechanism focuses on two items: First, to obviate the challenge of needing to have a preordered antigen set for computing danger signal, and the second, to provide a novel immune-inspired idea in order to non-random data sampling. A variable functional migration threshold is also computed cycle by cycle that shows necessity of the Migration threshold (MT) flexibility. A significant criterion so called capability of intrusion detection (CID) used for tests. All of the tests have been performed in a new benchmark dataset named UNSW-NB15. Experimental consequences demonstrate that the present schema dominates the standard DCA and has higher CID in comparison with other approaches found in literature.


title: Personality Assessment from Text for Machine Commonsense Reasoning

abstract: This article presents PerSense, a framework to estimate human personality traits based on expressed texts and to use them for commonsense reasoning analysis. The personality assessment approaches include an aggregated Probability Density Functions (PDF), and Machine Learning (ML) models. Our goal is to demonstrate the feasibility of using machine learning algorithms on personality trait data to predict humans' responses to open-ended commonsense questions. We assess the performance of the PerSense algorithms for personality assessment by conducting an experiment focused on Neuroticism, an important personality trait crucial in mental health analysis and suicide prevention by collecting data from a diverse population with different Neuroticism scores. Our analysis shows that the algorithms achieve comparable results to the ground truth data. Specifically, the PDF approach achieves 97% accuracy when the confidence factor, the logarithmic ratio of the first to the second guess probability, is greater than 3. Additionally, ML approach obtains its highest accuracy, 82.2%, with a multilayer Perceptron classifier. To assess the feasibility of commonsense reasoning analysis, we train ML algorithms to predict responses to commonsense questions. Our analysis of data collected with 300 participants demonstrate that PerSense predicts answers to commonsense questions with 82.3% accuracy using a Random Forest classifier.


title: Existence of weak solutions to a generalized nonlinear multi-layered fluid-structure interaction problem with the Navier-slip boundary conditions

abstract: We consider a fluid-structure interaction problem with Navier-slip boundary conditions in which the fluid is considered as a non-Newtonian fluid and the structure is described by a nonlinear multi-layered model. The fluid domain is driven by a nonlinear elastic shell and thus is not fixed. To simplify the problem, we map the moving fluid domain into a fixed domain by applying an arbitrary Lagrange Euler mapping. Unlike the classical method by which we can consider the problem as its entirety, we utilize the time-discretization and split the problem into a fluid subproblem and a structure subproblem by an operator splitting scheme. Since the structure subproblem is nonlinear, Lax-Milgram lemma does not hold. Here we prove the existence and uniqueness by means of the traditional semigroup theory. Noticing that the Non-Newtonian fluid possesses a $ p- $Laplacian structure, we show the existence and uniqueness of solutions to the fluid subproblem by considering the Browder-Minty theorem. With the uniform energy estimates, we deduce the weak and weak* convergence respectively. By a generalized Aubin-Lions-Simon Lemma proposed by Muha and Cani\'c [J. Differential Equations {\bf 266} (2019), 8370--8418], we obtain the strong convergence. Finally, we construct the test functions and pass the approximate weak formulation to the limit as time step goes to zero with the convergence results.


title: Transversely isotropic poroelastic behaviour of the Callovo-Oxfordian claystone: A set of stress-dependent parameters

abstract: In the framework of a deep geological radioactive waste disposal in France, the hydromechanical properties of the designated host rock, the Callovo-Oxfordian claystone (COx), are investigated in laboratory tests. Experiments presented in this study are carried out to determine several coefficients required within a transversely isotropic material model. They include isotropic compression tests, pore pressure tests, and deviatoric loading tests parallel and perpendicular to the bedding plane. We emphasize the adapted experimental devices and testing procedures, necessary to detect small strains under high pressures, on a material, which is sensitive to water and has a very low permeability. In particular, we discovered a significant decrease of elastic stiffness with decreasing effective stress, which was observed to be reversible. In both isotropic and deviatoric tests, a notable anisotropic strain response was found. The Young modulus parallel to bedding was about 1.8 times higher than the one perpendicular to the bedding plane. A notably low Poisson ratio perpendicular to the bedding plane with values between 0.1 and 0.2 was evidenced. While the anisotropy of the back-calculated Biot coefficient was found to be low, a significant anisotropy of the Skempton coefficient was computed. The performed experiments provide an overdetermined set of material parameters at different stress levels. Using all determined parameters in a least square error regression scheme, seven independent elastic coefficients and their effective stress dependency are characterized. Parameters measured under isotropic loading are well represented by this set of coefficients, while the poroelastic framework with isotropic stress dependency is not sufficient to describe laboratory findings from triaxial loading.


title: Confluent Conformal Blocks of the Second Kind

abstract: We construct confluent conformal blocks of the second kind of the Virasoro algebra. We also construct the Stokes transformations which map such blocks in one Stokes sector to another. In the BPZ limit, we verify explicitly that the constructed blocks and the associated Stokes transformations reduce to solutions of the confluent BPZ equation and its Stokes matrices, respectively. Both the confluent conformal blocks and the Stokes transformations are constructed by taking suitable confluent limits of the crossing transformations of the four-point Virasoro conformal blocks.


title: Observation of Cooperative Electronic Quantum Tunneling: Increasing Accessible Nuclear States in a Molecular Qudit

abstract: As an extension of two-level quantum bits (qubits), multilevel systems, so-called qudits, where d represents the Hilbert space dimension, have been predicted to reduce the number of iterations in quantum computation algorithms. This has been tested in the well-known [TbPc2]0 SMM, which allowed the implementation of the Grover algorithm in a single molecular unit. In the quest for molecular systems possessing an increased number of accessible nuclear spin states, we explore herein a dimeric Tb2-SMM via single crystal {\mu}-SQUID measurements at sub-Kelvin temperatures. We observe ferromagnetic interactions between the Tb(III) ions and cooperative quantum tunneling of the electronic spins with spin ground state \textit{J} = {\pm}6. The strong hyperfine coupling with the Tb(III) nuclear spins leads to a multitude of spin reversal paths leading to seven strong hyperfine driven tunneling steps in the hysteresis loops. Our results show the possibility to read-out the Tb(III) nuclear spin states via the cooperative tunneling of the electronic spins, making the dimeric Tb2-SMM an excellent nuclear spin qudit candidate with d =16.


title: Towards a theory of machine learning

abstract: We define a neural network as a septuple consisting of (1) a state vector, (2) an input projection, (3) an output projection, (4) a weight matrix, (5) a bias vector, (6) an activation map and (7) a loss function. We argue that the loss function can be imposed either on the boundary (i.e. input and/or output neurons) or in the bulk (i.e. hidden neurons) for both supervised and unsupervised systems. We apply the principle of maximum entropy to derive a canonical ensemble of the state vectors subject to a constraint imposed on the bulk loss function by a Lagrange multiplier (or an inverse temperature parameter). We show that in an equilibrium the canonical partition function must be a product of two factors: a function of the temperature and a function of the bias vector and weight matrix. Consequently, the total Shannon entropy consists of two terms which represent respectively a thermodynamic entropy and a complexity of the neural network. We derive the first and second laws of learning: during learning the total entropy must decrease until the system reaches an equilibrium (i.e. the second law), and the increment in the loss function must be proportional to the increment in the thermodynamic entropy plus the increment in the complexity (i.e. the first law). We calculate the entropy destruction to show that the efficiency of learning is given by the Laplacian of the total free energy which is to be maximized in an optimal neural architecture, and explain why the optimization condition is better satisfied in a deep network with a large number of hidden layers. The key properties of the model are verified numerically by training a supervised feedforward neural network using the method of stochastic gradient descent. We also discuss a possibility that the entire universe on its most fundamental level is a neural network.


title: Tractable Approximate Gaussian Inference for Bayesian Neural Networks

abstract: In this paper, we propose an analytical method for performing tractable approximate Gaussian inference (TAGI) in Bayesian neural networks. The method enables the analytical Gaussian inference of the posterior mean vector and diagonal covariance matrix for weights and biases. The method proposed has a computational complexity of $\mathcal{O}(n)$ with respect to the number of parameters $n$, and the tests performed on regression and classification benchmarks confirm that, for a same network architecture, it matches the performance of existing methods relying on gradient backpropagation.


title: Probing topological protected transport in finite-sized Su-Schrieffer-Heeger chains

abstract: In order to transport information with topological protection, we reveal and demonstrate experimentally the existence of a characteristic length $L_c$, coined as the transport length, in the bulk size for edge states in one-dimensional Su-Schrieffer-Heeger (SSH) chains. In spite of the corresponding wavefunction amplitude decays exponentially, characterized by the penetration depth $\xi$, the transport between two edge states remains possible even when the lattice size $L$ is much larger than the penetration depth, i.e., $\xi \ll L \le L_c$. Due to the non-zero coupling energy in a finite-size system, the supported SSH edge states are not completely isolated at the two ends, giving an abrupt change in the wave localization, manifested through the inverse participation ratio to the lattice size. To verify such a non-exponential scaling factor to the system size, we implement a chain of split-ring resonators and their complementary ones with controllable hopping strengths. By performing the measurements on the group velocity from the transmission spectroscopy of non-trivially topological edge states with pulse excitations, the transport velocity between two edge states is directly observed with the number of lattices up to $20$. Along the route to harness topology to protect optical information, our experimental demonstrations provide a crucial guideline for utilizing photonic topological devices.


title: A fast algorithm for computing Bell polynomials based on index break-downs using prime factorization

abstract: By establishing an interesting connection between ordinary Bell polynomials and rational convolution powers, some composition and inverse relations of Bell polynomials as well as explicit expressions for convolution roots of sequences are obtained. Based on these results, a new method is proposed for calculation of partial Bell polynomials based on prime factorization. It is shown that this method is more efficient than the conventional recurrence procedure for computing Bell polynomials in most cases, requiring far less arithmetic operations. A detailed analysis of the computation complexity is provided, followed by some numerical evaluations.


title: The effective impedances of infinite ladder networks and Dirichlet problem on graphs

abstract: We calculate effective impedances of infinite $LC$- and $CL$- ladder networks as limits of effective impedances of finite network approximations, using a new method, which involves precise mathematical concepts. These concepts are related to the classical differential operators on weighted graphs. As an auxiliary result, we solve a discrete boundary value Dirichlet problem on a finite ladder network.


title: KKLT and the Swampland Conjectures

abstract: Recently, various swampland conjectures have been proposed that every UV complete effective field theory should satisfy. In particular, these deal with the properties of AdS and dS solutions arising in theories of quantum gravity. Mainly summarizing the results of our two previous articles arXiv:1902.07724 and arXiv:1910.10185, we confront the string theory based KKLT scenario with these conjectures and argue that if quantum vacua as in the KKLT construction indeed exist, some of the conjectures receive some log-corrections. Furthermore we point out some new aspects not contained in the aforementioned two papers.


title: Linearization of elasticity models for incompressible materials

abstract: We obtain linear elasticity as $\Gamma$-limit of finite elasticity under incompressibility assumption and Dirichlet boundary conditions. The result is shown for a large class of energy densities for rubber-like materials.


title: Road Quality Analysis Based on Cognitive Internet of Vehicles (CIoV)

abstract: This research proposal aims to use cognitive methods to analyze the quality of roads based on the new proposed technology called Cognitive Internet of Vehicles (CIoV). By using Big Data corresponding to the collected data of autonomous vehicles, we can apply cognitive analytics to a huge amount of transportation data. This process can help us to create valuable information such as road quality from an immense volume of meaningless data. In this proposal, we are going to focus on the quality of roads for various business and commercial purposes. The proposed system can be used as an additional service of autonomous car companies or as a mobile application for ordinary usages. As a result, this system can reduce the usage of resources such as energy consumption of autonomous vehicles. Moreover, this technology benefits the next-generation of self-driving applications to improve their QoS.


title: An alternative interpretation of GW190412 as a binary black hole merger with a rapidly spinning secondary

abstract: The LIGO-Virgo collaboration recently reported the properties of GW190412, a binary black hole merger with unequal component masses (mass ratio $0.25^{+0.06}_{-0.04}$ when using the EOBNR PHM approximant) and a non-vanishing effective spin aligned with the orbital angular momentum. They used uninformative priors to infer that the more massive black hole had a dimensionless spin magnitude between 0.17 and 0.59 at 90\% confidence. We argue that, within the context of isolated binary evolution, it is more natural to assume a priori that the first-born, more massive black hole has a negligible spin, while the spin of the less massive black hole is preferentially aligned with the orbital angular momentum if it is spun up by tides. Under this astrophysically motivated prior, we conclude that the lower mass black hole had a dimensionless spin component between 0.64 and 0.99 along the orbital angular momentum.


title: Tail-behavior roadmap for sharp restart

abstract: Many tasks are accomplished via random processes. The completion time of such a task can be profoundly affected by restart: the occasional resetting of the task's underlying random process. Consequently, determining when restart will impede or expedite task completion is a subject of major importance. In recent years researchers explored this subject extensively, with main focus set on average behavior, i.e. on mean completion times. On the one hand, the mean approach asserts the centrality of "sharp restart" -- resetting with deterministic (fixed) timers. On the other hand, a significant drawback of the mean approach is that it provides no insight regarding tail behavior, i.e. the occurrence likelihood of extreme completion times. Addressing sharp restart, and shifting the focus from means to extremes, this paper establishes a comprehensive tail-behavior analysis of completion times. Employing the reliability-engineering notion of hazard rate, the analysis yields a set of universal results that determine -- from a tail-behavior perspective -- when sharp restart will impede or expedite task completion. The universal results are formulated in terms of explicit and highly applicable hazard-rate criteria. With the novel results at hand, a universal average-&-tail classification manual for sharp restart is devised. The manual specifies general scenarios in which -- rather counter-intuitively -- sharp restart has an opposite effect on average behavior and on tail behavior: decreasing mean completion times while dramatically increasing the likelihood of extreme completion times; and, conversely, increasing mean completion times while dramatically decreasing the likelihood of extreme completion times.


title: Investigating Coordination of Hospital Departments in Delivering Healthcare for Acute Coronary Syndrome Patients using Data-Driven Network Analysis

abstract: Healthcare systems are challenged to deliver high-quality and efficient care. Studying patient flow in a hospital is particularly fundamental as it demonstrates effectiveness and efficiency of a hospital. Since hospital is a collection of physically nearby services under one administration, its performance and outcome are shaped by the interaction of its discrete components. Coordination of processes at different levels of organizational structure of a hospital can be studied using network analysis. Hence, this article presents a data-driven static and temporal network of departments. Both networks are directed and weighted and constructed using seven years' (2010-2016) empirical data of 24902 Acute Coronary Syndrome (ACS) patients. The ties reflect an episode-based transfer of ACS patients from department to department in a hospital. The weight represents the number of patients transferred among departments. As a result, the underlying structure of a network of departments that deliver healthcare for ACS patients is described, the main departments and their role in the diagnosis and treatment process of ACS patients are identified, the role of departments over seven years is analyzed and communities of departments are discovered. The results of this study may help hospital administration to effectively organize and manage the coordination of departments based on their significance, strategic positioning and role in the diagnosis and treatment process which, in turn, nurtures value-based and precision healthcare.


title: Investigating the relationship between cosmic curvature and dark energy models with the latest supernova sample

abstract: We investigate the relationship between the cosmic curvature and the model of dark energy (hereafter DE) with the recent Type Ia supernovae (hereafter SNe Ia) data, i.e., the Pantheon sample including 1048 SNe Ia with $0.01 < z < 2.3$. We obtain the measurements of the dimensionless spatial curvature density today, i.e., $\Omega_{k0} = -0.062^{+0.189}_{-0.169}, -0.004^{+0.228}_{-0.134}, 0.127^{+0.280}_{-0.276}$ and $0.422^{+0.213}_{-0.338}$ at 68\% confidence level (CL), respectively, in the scenarios of $\Lambda$CDM, $\phi$CDM (i.e., scalar field dark energy), $\omega$CDM and $\omega_0\omega_a$CDM models. In the scenario of $\Lambda$CDM model, a closed universe is preferred by the Pantheon sample, which is consistent with that from the Planck CMB spectra. However, the uncertainty of $\Omega_{k0}$ from the Pantheon SNe sample is about 8 times larger than that from the Planck data, so the former one supports a closed universe at a much lower CL than that from the latter one. An open unverse is supported by the Pantheon sample at $\sim$32\% and $\sim$78\% CLs, respectively, in the $\omega$CDM and $\omega_0\omega_a$CDM models. Among these models, the $\phi$CDM model is the one which supports the flat universe most strongly. It shows that $\Omega_{k0}$ is significantly dependent on the adopted model of dark energy, and there is a negative correlation between $\Omega_{k0}$ and the equation of state of DE.


title: Stability of Couette flow for 2D Boussinesq system with vertical dissipation

abstract: This paper establishes the nonlinear stability of the Couette flow for the 2D Boussinesq equations with only vertical dissipation. The Boussinesq equations concerned here model buoyancy-driven fluids such as atmospheric and oceanographic flows. Due to the presence of the buoyancy forcing, the energy of the standard Boussinesq equations could grow in time. It is the enhanced dissipation created by the linear non-self-adjoint operator $y\partial_x -\nu\partial_{yy}$ in the perturbation equation that makes the nonlinear stability possible. When the initial perturbation from the Couette flow $(y, 0)$ is no more than the viscosity to a suitable power (in the Sobolev space $H^b$ with $b>\frac43$), we prove that the solution of the 2D Boussnesq system with only vertical dissipation on $\mathbb T\times \mathbb R$ remains close to the Couette at the same order. A special consequence of this result is the stability of the Couette for the 2D Navier-Stokes equations with only vertical dissipation.


title: A Social Network Analysis of Occupational Segregation

abstract: We propose an equilibrium interaction model of occupational segregation and labor market inequality between two social groups, generated exclusively through the documented tendency to refer informal job seekers of identical "social color". The expected social color homophily in job referrals strategically induces distinct career choices for individuals from different social groups, which further translates into stable partial occupational segregation equilibria with sustained wage and employment inequality -- in line with observed patterns of racial or gender labor market disparities. Supporting the qualitative analysis with a calibration and simulation exercise, we furthermore show that both first and second best utilitarian social optima entail segregation, any integration policy requiring explicit distributional concerns. Our framework highlights that the mere social interaction through homophilous contact networks can be a pivotal channel for the propagation and persistence of gender and racial labor market gaps, complementary to long studied mechanisms such as taste or statistical discrimination.


title: Thermo-poro-elastic behaviour of a transversely isotropic shale: Thermal expansion and pressurization

abstract: The Callovo-Oxfordian (COx) claystone is considered as a candidate host rock for a deep geological radioactive waste repository in France. Due to the exothermic waste packages, the rock is expected to be submitted to temperatures up to 90 {\deg}C. The temperature rise induces deformations of the host rock, together with an increase in pore pressures, involving complex thermo-hydro-mechanical (THM) couplings. This study aims to better characterize the THM response of the COx claystone to temperature changes in the laboratory. To this end, claystone specimens were tested in a temperature controlled, high pressure isotropic compression cell, under stress conditions close to the in-situ ones. Thermal loads were applied on the specimens along different heating and cooling paths. A temperature corrected strain gage system provided precise measurements of the anisotropic strain response of the specimens. Drained and undrained thermal expansion coefficients in both transversely isotropic directions were determined. The measurement of pore pressure changes in undrained condition yielded the thermal pressurization coefficient. All parameters were analysed for their compatibility within the thermo-poro-elastic framework, and their stress and temperature dependency was identified.


title: Non-singular vortices with positive mass in 2+1 dimensional Einstein gravity with AdS$_3$ and Minkowski background

abstract: In previous work, black hole vortex solutions in Einstein gravity with AdS$_3$ background were found where the scalar matter profile had a singularity at the origin $r=0$. In this paper, we find numerically static vortex solutions where the scalar and gauge fields have a non-singular profile under Einstein gravity in an AdS$_3$ background. Vortices with different winding numbers $n$, VEV $v$ and cosmological constant $\Lambda$ are obtained. These vortices have positive mass and are not BTZ black holes as they have no event horizon. The mass is determined in two ways: by subtracting the numerical values of two separate asymptotic metrics and via an integral that is purely over the matter fields. The mass of the vortex increases as the cosmological constant becomes more negative and this coincides with the core of the vortex becoming smaller (compressed). We then consider the vortex with gravity in asymptotically flat spacetime for different values of the coupling $\alpha=1/(16 \pi G)$. At the origin, the spacetime has its highest curvature and there is no singularity. It transitions to an asymptotic conical spacetime with angular deficit that increases significantly as $\alpha$ decreases. For comparison, we also consider the vortex without gravity in flat spacetime. For this case, one cannot obtain the mass by the first method (subtracting two metrics) but remarkably, via a limiting procedure, one can obtain an integral mass formula. In the absence of gauge fields, there is a well-known logarithmic divergence in the energy of the vortex. With gravity, we present this divergence in a new light. We show that the metric acquires a logarithmic term which is the $2+1$ dimensional realization of the Newtonian gravitational potential when General Relativity is supplemented with a scalar field. This opens up novel possibilities which we discuss in the conclusion.


title: Gravastars in $f(R,G)$ Gravity

abstract: In this paper, we discuss some feasible features of gravastar that were firstly demonstrated by Mazur and Mottola. It is already established that gravastar associates the de-Sitter spacetime in its inner sector with the Schwarzschild geometry at its exterior through the thin shell possessing the ultra-relativistic matter. We have explored the singularity free spherical model with a particular equation of state under the influence of $f(R,G)$ gravity, where $R$ is the Ricci scalar and $G$ is the Gauss-Bonnet term. The interior geometry is matched with a suitable exterior using Israel formalism. Also, we discussed a feasible solution of gravastar which describes the other physically sustainable factors under the influence of $f(R,G)$ gravity. Different realistic characteristics of the gravastar model are discussed, in particular, shell's length, entropy, and energy. A significant role of this particular gravity is examined for the sustainability of gravastar model.


title: MPNet: Masked and Permuted Pre-training for Language Understanding

abstract: BERT adopts masked language modeling (MLM) for pre-training and is one of the most successful pre-training models. Since BERT neglects dependency among predicted tokens, XLNet introduces permuted language modeling (PLM) for pre-training to address this problem. However, XLNet does not leverage the full position information of a sentence and thus suffers from position discrepancy between pre-training and fine-tuning. In this paper, we propose MPNet, a novel pre-training method that inherits the advantages of BERT and XLNet and avoids their limitations. MPNet leverages the dependency among predicted tokens through permuted language modeling (vs. MLM in BERT), and takes auxiliary position information as input to make the model see a full sentence and thus reducing the position discrepancy (vs. PLM in XLNet). We pre-train MPNet on a large-scale dataset (over 160GB text corpora) and fine-tune on a variety of down-streaming tasks (GLUE, SQuAD, etc). Experimental results show that MPNet outperforms MLM and PLM by a large margin, and achieves better results on these tasks compared with previous state-of-the-art pre-trained methods (e.g., BERT, XLNet, RoBERTa) under the same model setting. The code and the pre-trained models are available at: https://github.com/microsoft/MPNet.


title: An Efficient Method for Computing Liouvillian First Integrals of Planar Polynomial Vector Fields

abstract: Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational first order differential equations (rational 1ODEs) presenting a Liouvillian general solution). The key to obtaining this method was to separate the procedure of solving the (nonlinear) algebraic systems resulting from the equation that translates the condition of existence of a Darboux polynomial into feasible steos (procedures that requires less memory consumption). We also present a brief performance analysis of the algorithms developed.


title: On supersymmetric gauge theories with higher derivatives and nonlocal terms in the matter sector

abstract: In this work, we consider local and nonlocal higher-derivative generalizations of the super-Chern-Simons theory and four-dimensional SQED. In contrast to previous studies, the models studied here also have higher-derivative terms in the matter sector. For these models, we calculate the one-loop superfield effective potential.


title: Hypoelliptic and spectral estimates for the linearized Landau operator

abstract: We are interested in the inhomogeneous Landau equation which describes the evolution of a particle density f = f (t, x, v) representing at time t $\ge$ 0, the density of particles at position x $\in$ R 3 and velocity v $\in$ R 3. The study is motivated by the linearization of the Landau equation near Maxwellian distribution. In this article, we establish hypoelliptic estimates, a localization of the spectrum and estimates of the resolvent of the linear Landau operator with hard potentials and Maxwellian molecules. The proof is based on a multiplier method and requires fine pseudo-differential calculus tools.


title: Quantum generalized Heisenberg algebras and their representations

abstract: We introduce and study a new class of algebras, which we name \textit{quantum generalized Heisenberg algebras} and denote by $\mathcal{H}_q (f,g)$, related to generalized Heisenberg algebras, but allowing more parameters of freedom, so as to encompass a wider range of applications and include previously studied algebras, such as (generalized) down-up algebras. In particular, our class now includes the enveloping algebra of the $3$-dimensional Heisenberg Lie algebra and its $q$-deformation, neither of which can be realized as a generalized Heisenberg algebra. This paper focuses mostly on the classification of finite-dimensional irreducible representations of quantum generalized Heisenberg algebras, a study which reveals their rich structure. Although these algebras are not in general noetherian, their representations still retain some Lie-theoretic flavor. We work over a field of arbitrary characteristic, although our results on the representations require that it be algebraically closed.


title: On equivalence of second order linear differential operators, acting in vector bundles

abstract: The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential operators, are found. These geometrical structures are used to solve the problems of local as well as global equivalency of differential operators.


title: Many-body effects on second-order phase transitions in spinor Bose-Einstein condensates and breathing dynamics

abstract: We unravel the correlation effects of the second-order quantum phase transitions emerging on the ground state of a harmonically trapped spin-1 Bose gas, upon varying the involved Zeeman terms, as well as its breathing dynamics triggered by quenching the trapping frequency. It is found that the boundaries of the associated magnetic phases are altered in the presence of interparticle correlations for both ferromagnetic and anti-ferromagnetic spin-spin interactions, an effect which becomes more prominent in the few-body scenario. Most importantly, we unveil a correlation-induced shrinking of the anti-ferromagnetic and broken-axisymmetry phases implying that ground states with bosons polarized in a single spin-component are favored. Turning to the dynamical response of the spinor gas it is shown that its breathing frequency is independent of the system parameters while correlations lead to the formation of filamentary patterns in the one-body density of the participating components. The number of filaments is larger for increasing spin-independent interaction strengths or for smaller particle numbers. Each filament maintains its coherence and exhibits an anti-correlated behavior while distinct filaments show significant losses of coherence and are two-body correlated. Interestingly, we demonstrate that for an initial broken-axisymmetry phase an enhanced spin-flip dynamics takes place which can be tuned either via the linear Zeeman term or the quench amplitude.

categories: cond-mat.quant-gas nlin.PS physics.atom-ph quant-ph


title: From graph cuts to isoperimetric inequalities: Convergence rates of Cheeger cuts on data clouds

abstract: In this work we study statistical properties of graph-based clustering algorithms that rely on the optimization of balanced graph cuts, the main example being the optimization of Cheeger cuts. We consider proximity graphs built from data sampled from an underlying distribution supported on a generic smooth compact manifold $M$. In this setting, we obtain high probability convergence rates for both the Cheeger constant and the associated Cheeger cuts towards their continuum counterparts. The key technical tools are careful estimates of interpolation operators which lift empirical Cheeger cuts to the continuum, as well as continuum stability estimates for isoperimetric problems. To our knowledge the quantitative estimates obtained here are the first of their kind.


title: Joint Spatial-Temporal Optimization for Stereo 3D Object Tracking

abstract: Directly learning multiple 3D objects motion from sequential images is difficult, while the geometric bundle adjustment lacks the ability to localize the invisible object centroid. To benefit from both the powerful object understanding skill from deep neural network meanwhile tackle precise geometry modeling for consistent trajectory estimation, we propose a joint spatial-temporal optimization-based stereo 3D object tracking method. From the network, we detect corresponding 2D bounding boxes on adjacent images and regress an initial 3D bounding box. Dense object cues (local depth and local coordinates) that associating to the object centroid are then predicted using a region-based network. Considering both the instant localization accuracy and motion consistency, our optimization models the relations between the object centroid and observed cues into a joint spatial-temporal error function. All historic cues will be summarized to contribute to the current estimation by a per-frame marginalization strategy without repeated computation. Quantitative evaluation on the KITTI tracking dataset shows our approach outperforms previous image-based 3D tracking methods by significant margins. We also report extensive results on multiple categories and larger datasets (KITTI raw and Argoverse Tracking) for future benchmarking.


title: Joint Bayesian Variable and DAG Selection Consistency for High-dimensional Regression Models with Network-structured Covariates

abstract: We consider the joint sparse estimation of regression coefficients and the covariance matrix for covariates in a high-dimensional regression model, where the predictors are both relevant to a response variable of interest and functionally related to one another via a Gaussian directed acyclic graph (DAG) model. Gaussian DAG models introduce sparsity in the Cholesky factor of the inverse covariance matrix, and the sparsity pattern in turn corresponds to specific conditional independence assumptions on the underlying predictors. A variety of methods have been developed in recent years for Bayesian inference in identifying such network-structured predictors in regression setting, yet crucial sparsity selection properties for these models have not been thoroughly investigated. In this paper, we consider a hierarchical model with spike and slab priors on the regression coefficients and a flexible and general class of DAG-Wishart distributions with multiple shape parameters on the Cholesky factors of the inverse covariance matrix. Under mild regularity assumptions, we establish the joint selection consistency for both the variable and the underlying DAG of the covariates when the dimension of predictors is allowed to grow much larger than the sample size. We demonstrate that our method outperforms existing methods in selecting network-structured predictors in several simulation settings.


title: Renewed Limit Theorems for the discrete-time Branching Process and its Conditioned Limiting Law interpretation

abstract: Our principal aim is to observe the Markov discrete-time process of population growth with long-living trajectory. First we study asymptotical decay of generating function of Galton-Watson process for all cases as the Basic Lemma. Afterwards we get a Differential analogue of the Basic Lemma. This Lemma plays main role in our discussions throughout the paper. Hereupon we improve and supplement classical results concerning Galton-Watson process. Further we investigate properties of the population process so called Q-process. In particular we obtain a joint limit law of Q-process and its total state. And also we prove the analogue of Law of large numbers and the Central limit theorem for total state of Q-process. Keywords: Branching process; transition function; Q-process; invariant measures; ergodic chain; total states; joint distribution; limit theorem.