title: High-temperature oxygen monolayer structures on W(110) revisited

abstract: Systematic studies of the two high-temperature monolayer oxygen structures that exist on the (110) tungsten surface were performed using low-energy electron microscopy and diffraction measurements. Our work questions the commonly accepted interpretation from the literature that striped oxygen superstructures arise from alternating site-exchanged (S-E) domains. We postulate that the superstructures originate from a misfit between tungsten and oxygen lattices while the striped appearance corresponds to a moir\'e pattern. Moreover, we show that the two structures, indicated as 113- and 337-phases due to the characteristic directions of the respective moir\'e patterns, differ considerably in their symmetry properties. This suggests that oxygen atoms in the two overlayers occupy different adsorption sites on average. In particular, the 113-phase features rotational domains that retain mirror symmetries with respect to the [001] and [1-10] directions, whereas the 337-phase is characterized by the appearance of additional domains due to the breaking of these symmetries. We propose structural models for both phases that consistently explain their unusual properties and suggest a universal mechanism for the thermal evolution of oxygen monolayer adsorbed on W(110).


title: High-fidelity spatial mode transmission through a 1-km-long multimode fiber via vectorial time reversal

abstract: The large number of spatial modes supported by standard multimode fibers is a promising platform for boosting the channel capacity of quantum and classical communications by orders of magnitude. However, the practical use of long multimode fibers is severely hampered by modal crosstalk and polarization mixing. To overcome these challenges, we develop and experimentally demonstrate a vectorial time reversal technique, which is accomplished by digitally pre-shaping the wavefront and polarization of the forward-propagating signal beam to be the phase conjugate of an auxiliary, backward-propagating probe beam. Here, we report an average modal fidelity above 80% for 210 Laguerre-Gauss and Hermite-Gauss modes by using vectorial time reversal over an unstabilized 1-km-long fiber. We also propose a practical and scalable spatial-mode-multiplexed quantum communication protocol over long multimode fibers to illustrate potential applications that can be enabled by our technique.


title: Regularity of fundamental solutions for L\'evy-type operators

abstract: For a class of non-symmetric non-local L\'evy-type operators $\mathcal{L}^{\kappa}$, which include those of the form $$ \mathcal{L}^{\kappa}f(x):= \int_{\mathbb{R}^d}( f(x+z)-f(x)- 1_{|z|<1} \left<z,\nabla f(x)\right>)\kappa(x,z)J(z)\, dz\,, $$ we prove regularity of the fundamental solution $p^{\kappa}$ to the equation $\partial_t =\mathcal{L}^{\kappa}$.


title: Dynamics of Rydberg excitations and quantum correlations in an atomic array coupled to a photonic crystal waveguide

abstract: We study the dynamics of up to two Rydberg excitations and the correlation growth in a chain of atoms coupled to a photonic crystal waveguide. In this setup, an excitation can hop from one atom to another via exponentially decaying exchange interactions mediated by the waveguide. An initially localized excitation undergoes a continuous-time quantum walk for short-range hopping, and for long-range, it experiences quasi-localization. Besides that, the inverse participation ratio reveals a super-ballistic diffusion of the excitation in short times, whereas, at a long time, it becomes ballistic. For two initially localized excitations, intriguing, and complex dynamical scenarios emerge for different initial separations due to the competition between the Rydberg-Rydberg and exchange interactions. In particular, the two-point correlation reveals a light-cone behavior even for sufficiently long-range exchange interactions. Additionally, we characterize the growth of bipartite entanglement entropy, which exhibits a global bound if only one excitation is present in the dynamics. Finally, we analyze the effect of imperfections due to spontaneous emission from the Rydberg state into photons outside the waveguide and show that all physical phenomena we predict are well within experimental reach.


title: Hard diffractive $\rm \eta_{c,b}$ hadroproduction at the LHC

abstract: In this paper, we investigate the inclusive diffractive hadroproduction for $\rm \eta_{c}$ and $\rm \eta_{b}$ at the LHC energies. Based on the NRQCD factorization formalism and the resolved-Pomeron model for the quarkonium production mechanism, we estimate the rapidity, momentum fraction loss dependence of the cross section. We give prediction ratios for single and central diffractive processes with respect to non diffractive process. These inclusive processes are sensitive to gluon content of Pomeron for small-$x$ and Reggeon for large-$x$, useful to study small and large-$x$ physics and good to test different mechanism for $\rm \eta_{c}$ and $\rm \eta_{b}$ production at the LHC. They also serve as the background to related exclusive processes thus should be predicted. Our results demonstrate that the Reggeon contribution of diffractive processes can be sizable, even sometimes dominant over Pomeron, and that its study can be useful to better constrain the Reggeon parton content. The experimental study of Reggeon can be carried out in certain kinematic windows.


title: Evaluation of Parameterized Quantum Circuits: on the relation between classification accuracy, expressibility and entangling capability

abstract: An active area of investigation in the search for quantum advantage is Quantum Machine Learning. Quantum Machine Learning, and Parameterized Quantum Circuits in a hybrid quantum-classical setup in particular, could bring advancements in accuracy by utilizing the high dimensionality of the Hilbert space as feature space. But is the ability of a quantum circuit to uniformly address the Hilbert space a good indicator of classification accuracy? In our work, we use methods and quantifications from prior art to perform a numerical study in order to evaluate the level of correlation. We find a strong correlation between the ability of the circuit to uniformly address the Hilbert space and the achieved classification accuracy for circuits that entail a single embedding layer followed by 1 or 2 circuit designs. This is based on our study encompassing 19 circuits in both 1 and 2 layer configuration, evaluated on 9 datasets of increasing difficulty. Future work will evaluate if this holds for different circuit designs.


title: On two conjectural supercongruences of Z.-W. Sun

abstract: In this paper, we mainly prove two conjectural supercongruences of Sun by using the following identity $$ \sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2=16^n\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k} $$ which arises from a ${}_4F_3$ hypergeometric transformation. For any prime $p>3$, we prove that \begin{gather*} \sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+5p^3E_{p-3}\pmod{p^4},\\ \sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+3p^3E_{p-3}\pmod{p^4}, \end{gather*} where $E_{p-3}$ is the $(p-3)$th Euler number.


title: Audio Impairment Recognition Using a Correlation-Based Feature Representation

abstract: Audio impairment recognition is based on finding noise in audio files and categorising the impairment type. Recently, significant performance improvement has been obtained thanks to the usage of advanced deep learning models. However, feature robustness is still an unresolved issue and it is one of the main reasons why we need powerful deep learning architectures. In the presence of a variety of musical styles, hand-crafted features are less efficient in capturing audio degradation characteristics and they are prone to failure when recognising audio impairments and could mistakenly learn musical concepts rather than impairment types. In this paper, we propose a new representation of hand-crafted features that is based on the correlation of feature pairs. We experimentally compare the proposed correlation-based feature representation with a typical raw feature representation used in machine learning and we show superior performance in terms of compact feature dimensionality and improved computational speed in the test stage whilst achieving comparable accuracy.


title: Annotation-Based Static Analysis for Personal Data Protection

abstract: This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software development. To this end, the paper proposes a design of annotating classes and functions that process personal data. The design serves two primary purposes: on one hand, it provides means for software developers to document their intent; on the other hand, it furnishes tools for automatic detection of potential violations. This dual rationale facilitates compliance with the General Data Protection Regulation (GDPR) and other emerging data protection and privacy regulations. In addition to a brief review of the state-of-the-art of static analysis in the data protection context and the design of the proposed analysis method, a concrete tool is presented to demonstrate a practical implementation for the Java programming language.


title: Low Latency ASR for Simultaneous Speech Translation

abstract: User studies have shown that reducing the latency of our simultaneous lecture translation system should be the most important goal. We therefore have worked on several techniques for reducing the latency for both components, the automatic speech recognition and the speech translation module. Since the commonly used commitment latency is not appropriate in our case of continuous stream decoding, we focused on word latency. We used it to analyze the performance of our current system and to identify opportunities for improvements. In order to minimize the latency we combined run-on decoding with a technique for identifying stable partial hypotheses when stream decoding and a protocol for dynamic output update that allows to revise the most recent parts of the transcription. This combination reduces the latency at word level, where the words are final and will never be updated again in the future, from 18.1s to 1.1s without sacrificing performance in terms of word error rate.


title: A quantum heat exchanger for nanotechnology

abstract: In this paper, we design a quantum heat exchanger which converts heat into light on relatively short quantum optical time scales. Our scheme takes advantage of heat transfer as well as collective cavity-mediated laser cooling of an atomic gas inside a cavitating bubble. Laser cooling routinely transfers individually trapped ions to nano-Kelvin temperatures for applications in quantum technology. The quantum heat exchanger which we propose here might be able to provide cooling rates of the order of Kelvin temperatures per millisecond and is expected to find applications in micro and nanotechnology.


title: Ensembles of Deep Neural Networks for Action Recognition in Still Images

abstract: Despite the fact that notable improvements have been made recently in the field of feature extraction and classification, human action recognition is still challenging, especially in images, in which, unlike videos, there is no motion. Thus, the methods proposed for recognizing human actions in videos cannot be applied to still images. A big challenge in action recognition in still images is the lack of large enough datasets, which is problematic for training deep Convolutional Neural Networks (CNNs) due to the overfitting issue. In this paper, by taking advantage of pre-trained CNNs, we employ the transfer learning technique to tackle the lack of massive labeled action recognition datasets. Furthermore, since the last layer of the CNN has class-specific information, we apply an attention mechanism on the output feature maps of the CNN to extract more discriminative and powerful features for classification of human actions. Moreover, we use eight different pre-trained CNNs in our framework and investigate their performance on Stanford 40 dataset. Finally, we propose using the Ensemble Learning technique to enhance the overall accuracy of action classification by combining the predictions of multiple models. The best setting of our method is able to achieve 93.17$\%$ accuracy on the Stanford 40 dataset.


title: Detecting nonclassical correlations in levitated cavity optomechanics

abstract: Nonclassical optomechanical correlations enable optical control of mechanical motion beyond the limitations of classical driving. Here we investigate the feasibility of using pulsed cavity-optomechanics to create and verify nonclassical phase-sensitive correlations between light and the motion of a levitated nanoparticle in a realistic scenario. We show that optomechanical two-mode squeezing can persist even at the elevated temperatures of state-of-the-art experimental setups. We introduce a detection scheme based on optical homodyning that allows revealing nonclassical correlations without full optomechanical state tomography. We provide an analytical treatment using the rotating wave approximation (RWA) in the resolved-sideband regime and prove its validity with a full numerical solution of the Lyapunov equation beyond the RWA. We build on parameters of current experiments for our analysis and conclude that the observation of nonclassical correlations is possible today.


title: The Local Information Cost of Distributed Graph Spanners

abstract: We introduce the \emph{local information cost} (LIC), which quantifies the amount of information that nodes in a network need to learn when solving a graph problem. We show that the local information cost presents a natural lower bound on the communication complexity of distributed algorithms. For the synchronous CONGEST KT1 model, where each node has initial knowledge of its neighbors' IDs, we prove that $\Omega(\frac{\text{LIC}_\gamma(P)}{\log\tau \log n})$ bits are required for solving a graph problem $P$ with a $\tau$-round algorithm that errs with probability at most $\gamma$. Our result is the first lower bound that yields a general trade-off between communication and time for graph problems in the CONGEST KT1 model. We demonstrate how to apply the local information cost by deriving a lower bound on the communication complexity of computing a spanner with multiplicative stretch $2t-1$ that consists of at most $O(n^{1+\frac{1}{t} + \epsilon})$ edges, where $\epsilon = O( {1}/{t^2} )$. More concretely, we show that any $O(\text{poly}(n))$-time spanner algorithm must send at least $\tilde\Omega(\tfrac{1}{t^2} n^{1+{1}/{2t}})$ bits. Previously, only a trivial lower bound of $\tilde \Omega(n)$ bits was known for this problem. (See PDF for the full abstract.)


title: Multi-target regression via output space quantization

abstract: Multi-target regression is concerned with the prediction of multiple continuous target variables using a shared set of predictors. Two key challenges in multi-target regression are: (a) modelling target dependencies and (b) scalability to large output spaces. In this paper, a new multi-target regression method is proposed that tries to jointly address these challenges via a novel problem transformation approach. The proposed method, called MRQ, is based on the idea of quantizing the output space in order to transform the multiple continuous targets into one or more discrete ones. Learning on the transformed output space naturally enables modeling of target dependencies while the quantization strategy can be flexibly parameterized to control the trade-off between prediction accuracy and computational efficiency. Experiments on a large collection of benchmark datasets show that MRQ is both highly scalable and also competitive with the state-of-the-art in terms of accuracy. In particular, an ensemble version of MRQ obtains the best overall accuracy, while being an order of magnitude faster than the runner up method.


title: New Bochner type theorems

abstract: A classical theorem of Bochner asserts that the isometry group of a compact Riemannian manifold with negative Ricci curvature is finite. In this paper we give several extensions of Bochner's theorem by allowing "small" positive Ricci curvature.


title: A Generally Covariant Theory of Quantized Real Klein-Gordon Field in de Sitter Spacetime

abstract: We propose in this paper a quantization scheme for real Klein-Gordon field in de Sitter spacetime. Our scheme is generally covariant with the help of vierbein, which is necessary usually for spinor field in curved spacetime. We first present a Hamiltonian structure, then quantize the field following the standard approach. For the free field, the time-dependent quantized Hamiltonian is diagonalized by Bogliubov transformation and the eigen-states at each instant are interpreted as the observed particle states at that instant. The interpretation is supported by the known cosmological red-shift formula and the on-shell condition of 4-momentum for a free field. Though the mathematics is carried out in term of conformal coordinates for the sake of convenience, the whole theory can be transformed into any other coordinates based on general covariance. It is concluded that particle states, such as vacuum states in particular are time-dependent and vacuum states at one time evolves into non-vacuum states at later times. Formalism of perturbational is provided with an extended Dirac picture.


title: On Brolin's theorem over the quaternions

abstract: In this paper we investigate the Brolin's theorem over $\mathbb{H}$, the skew field of quaternions. Moreover, considering a quaternionic polynomial $p$ with real coefficients, we focus on the properties of its equilibrium measure, among the others, the mixing property and the Lyapunov exponents of the measure. We prove a central limit theorem and we compute the topological entropy and measurable entropy with respect to the quaternionic equilibrium measure. We prove that they are equal considering both a quaternionic polynomial with real coefficients and a polynomial with coefficients in a slice but not all real. Brolin's theorems for the one slice preserving polynomials and for generic polynomials are also proved.

categories: math.CV math-ph math.DS math.MP math.PR math.RA


title: Cosmic ray feedback from supernovae in dwarf galaxies

abstract: The regulation of the baryonic content in dwarf galaxies is a long-standing problem. Supernovae (SNe) are supposed to play a key role in forming large-scale galactic winds by removing important amounts of gas from galaxies. SNe are efficient accelerators of non-thermal particles, so-called cosmic rays (CRs), which can substantially modify the dynamics of the gas and conditions to form large-scale galactic winds. We investigate how CR injection by SNe impacts the star formation and the formation of large-scale winds in dwarf galaxies, and whether it can produce galaxy star-formation rates (SFR) and wind properties closer to observations. We ran CR magneto-hydrodynamical simulations of dwarf galaxies at high resolution (9 pc) with the adaptive mesh refinement code ramses. Disc galaxies are embedded in isolated halos of mass of $10^{10}$ and $10^{11} \, \rm M_{\odot}$, and CRs are injected by SNe. We included CR isotropic and anisotropic diffusion with various diffusion coefficients, CR radiative losses, and CR streaming. The injection of CR energy into the interstellar medium smooths out the highest gas densities, which reduces the SFR by a factor of 2-3. Mass outflow rates are significantly greater with CR diffusion, by 2 orders of magnitudes for the higher diffusion coefficients. Without diffusion and streaming, CRs are inefficient at generating winds. CR streaming alone allows for the formation of winds but which are too weak to match observations. The formation of galactic winds strongly depends on the diffusion coefficient: for low coefficients, CR energy stays confined in high density regions where CR energy losses are highest, and higher coefficients, which allow for a more efficient leaking of CRs out of dense gas, produce stronger winds. CR diffusion leads to colder and denser winds than without CRs, and brings outflow rates and mass loading factors much closer to observations.


title: Monocular visual-inertial SLAM algorithm combined with wheel speed anomaly detection

abstract: To address the weak observability of monocular visual-inertial odometers on ground-based mobile robots, this paper proposes a monocular inertial SLAM algorithm combined with wheel speed anomaly detection. The algorithm uses a wheel speed odometer pre-integration method to add the wheel speed measurement to the least-squares problem in a tightly coupled manner. For abnormal motion situations, such as skidding and abduction, this paper adopts the Mecanum mobile chassis control method, based on torque control. This method uses the motion constraint error to estimate the reliability of the wheel speed measurement. At the same time, in order to prevent incorrect chassis speed measurements from negatively influencing robot pose estimation, this paper uses three methods to detect abnormal chassis movement and analyze chassis movement status in real time. When the chassis movement is determined to be abnormal, the wheel odometer pre-integration measurement of the current frame is removed from the state estimation equation, thereby ensuring the accuracy and robustness of the state estimation. Experimental results show that the accuracy and robustness of the method in this paper are better than those of a monocular visual-inertial odometer.


title: K-Core based Temporal Graph Convolutional Network for Dynamic Graphs

abstract: Graph representation learning is a fundamental task in various applications that strives to learn low-dimensional embeddings for nodes that can preserve graph topology information. However, many existing methods focus on static graphs while ignoring evolving graph patterns. Inspired by the success of graph convolutional networks(GCNs) in static graph embedding, we propose a novel k-core based temporal graph convolutional network, the CTGCN, to learn node representations for dynamic graphs. In contrast to previous dynamic graph embedding methods, CTGCN can preserve both local connective proximity and global structural similarity while simultaneously capturing graph dynamics. In the proposed framework, the traditional graph convolution is generalized into two phases, feature transformation and feature aggregation, which gives the CTGCN more flexibility and enables the CTGCN to learn connective and structural information under the same framework. Experimental results on 7 real-world graphs demonstrate that the CTGCN outperforms existing state-of-the-art graph embedding methods in several tasks, including link prediction and structural role classification. The source code of this work can be obtained from \url{https://github.com/jhljx/CTGCN}.


title: Quantum boomerang effect for interacting particles

abstract: When a quantum particle is launched with a finite velocity in a disordered potential, it may surprisingly come back to its initial position at long times and remain there forever. This phenomenon, dubbed ``quantum boomerang effect'', was introduced in [Phys. Rev. A 99, 023629 (2019)]. Interactions between particles, treated within the mean-field approximation, are shown to partially destroy the boomerang effect: the center of mass of the wave packet makes a U-turn, but does not completely come back to its initial position. We show that this phenomenon can be quantitatively interpreted using a single parameter, the average interaction energy.


title: On the snappability and singularity-distance of frameworks with bars and triangular plates

abstract: In a recent article the author presented a method to measure the snapping capability -- shortly called snappability -- of bar-joint frameworks based on the total elastic strain energy by computing the deformation of all bars using Hooke's law and the definition of Cauchy/Engineering strain. Within the paper at hand, we extend this approach to isostatic frameworks composed of bars and triangular plates by using the physical concept of Green-Lagrange strain. An intrinsic pseudometric based on the resulting total elastic strain energy density cannot only be used for evaluating the snappability but also for measuring the distance to the closest singular configuration. The presented methods are demonstrated on the basis of the 3-legged planar parallel manipulator.


title: Unsupervised phase discovery with deep anomaly detection

abstract: We demonstrate how to explore phase diagrams with automated and unsupervised machine learning to find regions of interest for possible new phases. In contrast to supervised learning, where data is classified using predetermined labels, we here perform anomaly detection, where the task is to differentiate a normal data set, composed of one or several classes, from anomalous data. Asa paradigmatic example, we explore the phase diagram of the extended Bose Hubbard model in one dimension at exact integer filling and employ deep neural networks to determine the entire phase diagram in a completely unsupervised and automated fashion. As input data for learning, we first use the entanglement spectra and central tensors derived from tensor-networks algorithms for ground-state computation and later we extend our method and use experimentally accessible data such as low-order correlation functions as inputs. Our method allows us to reveal a phase-separated region between supersolid and superfluid parts with unexpected properties, which appears in the system in addition to the standard superfluid, Mott insulator, Haldane-insulating, and density wave phases.


title: Complexity of randomized algorithms for underdamped Langevin dynamics

abstract: We establish an information complexity lower bound of randomized algorithms for simulating underdamped Langevin dynamics. More specifically, we prove that the worst $L^2$ strong error is of order $\Omega(\sqrt{d}\, N^{-3/2})$, for solving a family of $d$-dimensional underdamped Langevin dynamics, by any randomized algorithm with only $N$ queries to $\nabla U$, the driving Brownian motion and its weighted integration, respectively. The lower bound we establish matches the upper bound for the randomized midpoint method recently proposed by Shen and Lee [NIPS 2019], in terms of both parameters $N$ and $d$.


title: Log p-divisible groups associated to log 1-motives

abstract: We first provide a detailed proof of Kato's classification theorem of log $p$-divisible groups over a noetherian henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite \'etale group scheme (resp. classical \'etale $p$-divisible group) by a classical finite flat group scheme (resp. classical $p$-divisible group) in the category of finite Kummer flat group log schemes (resp. log $p$-divisible groups), with respect to a given chart on the base. These results are then used to prove that log $p$-divisible groups are formally log smooth. We then study the finite Kummer flat group log schemes $T_n(\mathbf{M}):=H^{-1}(\mathbf{M}\otimes_{\mathbb{Z}}^L\mathbb{Z}/n\mathbb{Z})$ (resp. the log $p$-divisible group $\mathbf{M}[p^{\infty}]$) of a log 1-motive $\mathbf{M}$ over an fs log scheme and show that they are \'etale locally standard extensions. Lastly, we give a proof of the Serre-Tate theorem for log abelian varieties with constant degeneration.


title: Overcoming Catastrophic Forgetting in Graph Neural Networks with Experience Replay

abstract: Graph Neural Networks (GNNs) have recently received significant research attention due to their superior performance on a variety of graph-related learning tasks. Most of the current works focus on either static or dynamic graph settings, addressing a single particular task, e.g., node/graph classification, link prediction. In this work, we investigate the question: can GNNs be applied to continuously learning a sequence of tasks? Towards that, we explore the Continual Graph Learning (CGL) paradigm and present the Experience Replay based framework ER-GNN for CGL to alleviate the catastrophic forgetting problem in existing GNNs. ER-GNN stores knowledge from previous tasks as experiences and replays them when learning new tasks to mitigate the catastrophic forgetting issue. We propose three experience node selection strategies: mean of feature, coverage maximization, and influence maximization, to guide the process of selecting experience nodes. Extensive experiments on three benchmark datasets demonstrate the effectiveness of our ER-GNN and shed light on the incremental graph (non-Euclidean) structure learning.


title: Preliminary analysis of COVID-19 spread in Italy with an adaptive SEIRD model

abstract: In this paper we propose a Susceptible-Infected-Exposed-Recovered-Dead (SEIRD) differential model for the analysis and forecast of the COVID-19 spread in some regions of Italy, using the data from the Italian Protezione Civile from February 24th 2020. In this study investigate an adaptation of the model. Since several restricting measures have been imposed by the Italian government at different times, starting from March 8th 2020, we propose a modification of SEIRD by introducing a time dependent transmitting rate. In the numerical results we report the maximum infection spread for the three Italian regions firstly affected by the COVID-19 outbreak(Lombardia, Veneto and Emilia Romagna). This approach will be successively extended to other Italian regions, as soon as more data will be available.


title: Simulation of single photon dynamics in coupled cavities through IBM quantum computer

abstract: We design a quantum circuit in IBM quantum computer that mimics the dynamics of single photon in a coupled cavity system. By suitably choosing the gate parameters in the quantum circuit, we could transfer an unknown qubit state between the qubits. The condition for perfect state transfer is obtained by solving the unitary time dynamics governed by the Hamiltonian of the coupled cavity system. We then demonstrate the dynamics of entanglement between the two-qubits and show violation of Bell's inequality in IBM quantum computer.


title: The talented monoid of a directed graph with applications to graph algebras

abstract: It is a conjecture that for the class of Leavitt path algebras associated to finite directed graphs, their graded Grothendieck groups $K_0^{\mathrm{gr}}$ are a complete invariant. For a Leavitt path algebra $L_{\mathsf k}(E)$, with coefficient in a field ${\mathsf k}$, the monoid of the positive cone of $K_0^{\mathrm{gr}}(L_{\mathsf k}(E))$ can be described completely in terms of the graph $E$. In this note we further investigate the structure of this "talented monoid", showing how it captures intrinsic properties of the graph and hence the structure of its associated Leavitt path algebras. In particular, for the class of strongly connected graphs, we show that the notion of the period of a graph can be completely described via the talented monoid. As an application, we will give a finer characterisation of the purely infinite simple Leavitt path algebras in terms of properties of the associated graph. We show that graded isomorphism of algebras preserve the period of the graphs, and obtain results giving more evidence to the graded classification conjecture.


title: Comment on "Amplitude of waves in the Kelvin-wave cascade"

abstract: In the recently published preprint arXiv:200.02610 Eltsov and L'vov calculated the amplitudes of waves in the Kelvin-wave cascades. This returns us to the rather old, but still unresolved dispute on the role of the tilt symmetry and the locality in the Kelvin-wave cascade. The estimations by Eltsov and L'vov show that the possible nonlocality of the energy flux in the Kelvin-wave cascade has no essential effect on the Kelvin-wave cascade in the 3D vortex tangle.


title: Variationally Scheduled Quantum Simulation

abstract: Eigenstate preparation is ubiquitous in quantum computing, and a standard approach for generating the lowest-energy states of a given system is by employing adiabatic state preparation (ASP). In the present work, we investigate a variational method for determining the optimal scheduling procedure within the context of ASP. In the absence of quantum error correction, running a quantum device for any meaningful amount of time causes a system to become susceptible to the loss of relevant information. Therefore, if accurate quantum states are to be successfully generated, it is crucial to find techniques that shorten the time of individual runs during iterations of annealing. We demonstrate our variational method toward this end by investigating the hydrogen and P4 molecules, as well as the Ising model problem on a two-dimensional triangular lattice. In both cases, the time required for one iteration to produce accurate results is reduced by several orders of magnitude in comparison to what is achievable via standard ASP. As a result, the required quantum coherence time to perform such a calculation on a quantum device becomes much less stringent with the implementation of this algorithm. In addition, our variational method is found to exhibit resilience against control errors, which are commonly encountered within the realm of quantum computing.


title: 1 x 1 Rush Hour with Fixed Blocks is PSPACE-complete

abstract: Consider $n^2-1$ unit-square blocks in an $n \times n$ square board, where each block is labeled as movable horizontally (only), movable vertically (only), or immovable -- a variation of Rush Hour with only $1 \times 1$ cars and fixed blocks. We prove that it is PSPACE-complete to decide whether a given block can reach the left edge of the board, by reduction from Nondeterministic Constraint Logic via 2-color oriented Subway Shuffle. By contrast, polynomial-time algorithms are known for deciding whether a given block can be moved by one space, or when each block either is immovable or can move both horizontally and vertically. Our result answers a 15-year-old open problem by Tromp and Cilibrasi, and strengthens previous PSPACE-completeness results for Rush Hour with vertical $1 \times 2$ and horizontal $2 \times 1$ movable blocks and 4-color Subway Shuffle.


title: Panel Experiments and Dynamic Causal Effects: A Finite Population Perspective

abstract: In panel experiments, we randomly assign units to different interventions, measuring their outcomes, and repeating the procedure in several periods. Using the potential outcomes framework, we define finite population dynamic causal effects that capture the relative effectiveness of alternative treatment paths. For a rich class of dynamic causal effects, we provide a nonparametric estimator that is unbiased over the randomization distribution and derive its finite population limiting distribution as either the sample size or the duration of the experiment increases. We develop two methods for inference: a conservative test for weak null hypotheses and an exact randomization test for sharp null hypotheses. We further analyze the finite population probability limit of linear fixed effects estimators. These commonly-used estimators do not recover a causally interpretable estimand if there are dynamic causal effects and serial correlation in the assignments, highlighting the value of our proposed estimator.


title: A platform for high performance photon correlation measurements

abstract: A broad range of scientific and industrial disciplines require precise optical measurements at very low light levels. Single-photon detectors combining high efficiency and high time resolution are pivotal in such experiments. By using relatively thick films of NbTiN (8-11\,nm) and improving the pattern fidelity of the nano-structure of the superconducting nanowire single-photon detectors (SNSPD), we fabricated devices demonstrating superior performance over all previously reported detectors in the combination of efficiency and time resolution. Our findings prove that small variations in the nanowire width, in the order of a few nanometers, can lead to a significant penalty on their temporal response. Addressing these issues, we consistently achieved high time resolution (best device 7.7\,ps, other devices $\sim$10-16\,ps) simultaneously with high system detection efficiencies ($80-90\%$) in the wavelength range of 780-1000\,nm, as well as in the telecom bands (1310-1550\,nm). The use of thicker films allowed us to fabricate large-area multi-pixel devices with homogeneous pixel performance. We first fabricated and characterized a $100\times100\, \mu m^2$ 16-pixel detector and showed there was little variation among individual pixels. Additionally, to showcase the power of our platform, we fabricated and characterized 4-pixel multimode fiber-coupled detectors and carried out photon correlation experiments on a nanowire quantum dot resulting in $g^2(0)$ values lower than 0.04. The multi-pixel detectors alleviate the need for beamsplitters and can be used for higher order correlations with promising prospects not only in the field of quantum optics, but also in bio-imaging applications, such as fluorescence microscopy and positron emission tomography.

categories: physics.ins-det physics.app-ph physics.optics quant-ph


title: Effects of Discretization of Decision and Objective Spaces on the Performance of Evolutionary Multiobjective Optimization Algorithms

abstract: Recently, the discretization of decision and objective spaces has been discussed in the literature. In some studies, it is shown that the decision space discretization improves the performance of evolutionary multi-objective optimization (EMO) algorithms on continuous multi-objective test problems. In other studies, it is shown that the objective space discretization improves the performance on combinatorial multi-objective problems. However, the effect of the simultaneous discretization of both spaces has not been examined in the literature. In this paper, we examine the effects of the decision space discretization, objective space discretization and simultaneous discretization on the performance of NSGA-II through computational experiments on the DTLZ and WFG problems. Using various settings about the number of decision variables and the number of objectives, our experiments are performed on four types of problems: standard problems, large-scale problems, many-objective problems, and large-scale many-objective problems. We show that the decision space discretization has a positive effect for large-scale problems and the objective space discretization has a positive effect for many-objective problems. We also show the discretization of both spaces is useful for large-scale many-objective problems.


title: Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas

abstract: In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of the anomalities as STL formulas and prevention of the satisfaction of the formula via controller synthesis. This work focuses on the first step and proposes a formula template such that any controllable cause can be represented in this template. An efficient algorithm to synthesize formulas in this template is presented. Finally, the results are shown on an example. ----- Bu bildiride anomali tespiti ve onlenmesi problemine, Sinyal Zamansal Mantigi (Signal Temporal Logic) tabanli iki asamali bir cozum sunulmaktadir. Ilk asama nedenlerin tespiti, ikinci asama ise bir kontrol stratejisi ile nedenlerin sistem uzerinde engellenmesidir. Iki asama birbirine bagimlidir. Bu bildiride, ilk asama olan istenmeyen olaylarin nedenlerinin tespitinde kullanilan neden formulu sablonu gelistirilmektedir. Bildiride kullanilan sablon ile butun kontrol edilebilir formuller tanimlanabilmektedir. Bu sablon icin verimli bir formul sentezleme algoritmasi sunulmus, ve sonuclar ornek bir sistem uzerinde gosterilmistir.


title: Gluing of multiple Alexandrov spaces

abstract: In this paper we discuss the sufficient and necessary conditions for multiple Alexandrov spaces being glued to an Alexandrov space. We propose a Gluing Conjecture, which says that the finite gluing of Alexandrov spaces is an Alexandrov space, if and only if the gluing is by path isometry along the boundaries and the tangent cones are glued to Alexandrov spaces. This generalizes Petrunin's Gluing Theorem. Under the assumptions of the Gluing Conjecture, we classify the $2$-point gluing over $(n-1,\epsilon)$-regular points as local separable gluing and the gluing near un-glued $(n-1,\epsilon)$-regular points as local involutional gluing. We also prove that the Gluing Conjecture is true if the complement of $(n-1,\epsilon)$-regular points is discrete in the glued boundary. In particular, this implies the general Gluing Conjecture as well as a new Gluing Theorem in dimension 2.


title: Automatic scoring of apnea and hypopnea events using blood oxygen saturation signals

abstract: The obstructive sleep apnea-hypopnea (OSAH) syndrome is a very common and frequently undiagnosed sleep disorder. It is characterized by repeated events of partial (hypopnea) or total (apnea) obstruction of the upper airway while sleeping. This study makes use of a previously developed method called DAS-KSVD for multiclass structured dictionary learning to automatically detect individual events of apnea and hypopnea using only blood oxygen saturation signals. The method uses a combined discriminant measure which is capable of efficiently quantifying the degree of discriminability of each one of the atoms in a dictionary. DAS-KSVD was applied to detect and classify apnea and hypopnea events from signals obtained from the Sleep Heart Health Study database. For moderate to severe OSAH screening, a receiver operating characteristic curve analysis of the results shows an area under the curve of 0.957 and diagnostic sensitivity and specificity of 87.56% and 88.32%, respectively. These results represent improvements as compared to most state-of-the-art procedures. Hence, the method could be used for screening OSAH syndrome more reliably and conveniently, using only a pulse oximeter.


title: CP violating phase sum rule $\delta^q_{\rm KM}+\delta^l_{\rm KM}=0$ for CKM and PMNS matrices

abstract: The non-zero Dirac phases $\delta^q$ and $\delta^l$ in the CKM and PMNS mixing matrices signify CP violation. In general they are independent. Experimental data including recent T2K results show, however, that in the original KM parameterization for the mixing matrix, the sum $\delta^q_{\rm KM} + \delta^l_{\rm KM}$ is close to zero with $\delta^q_{\rm KM}$ to be approximately $\pi/2$. The KM parameterization may have provided some hints that these phases are actually related and CP is maximally violated. We show that this sum rule can be accommodated in models with spontaneous CP violation where both phases originate from a non-trivial common spontaneous CP violating maximized phase in the Higgs potential. We find some interesting phenomenological consequences for flavor changing neutral current and CP violation for such a model. In particular, data from $B_s - \bar B_s$ mixing provide very strong constraints on the mass scale for the new neutral scalars in the model, yet the model still allows the electric dipole moments of electron and neutron to reach to their current upper bounds. The model can be tested by near future experiments.


title: Efficient Beamforming for MIMO Relaying Broadcast Channel with Imperfect Channel Estimation

abstract: We consider a multiple-input multiple-output (MIMO) relaying boardcast channel in downlink cellular networks, where the base station and the relay stations are both equipped with multiple antennas, and each user terminal has only a single antenna. In practical scenarios, channel estimation is imperfect at the receivers. Aiming at maximizing the SINR at each user, we develop two robust linear beamforming schemes respectively for the single relay case and the multi-relay case. The two proposed schemes are based on sigular value decomposition (SVD), minimum mean square error (MMSE) and regularized zero-forcing (RZF). Simulation results show that the proposed scheme outperforms the conventional schemes with imperfect channel estimation.


title: Regularized Zero-Forcing for Multiantenna Broadcast Channels with User Selection

abstract: A multiantenna multiuser broadcast channel with transmitter beamforming and user selection is considered. Different from the conventional works, we consider imperfect channel state information (CSI) which is a practical scenario for multiuser broadcast channels. We propose a robust regularized zero-forcing (RRZF) beamforming at the base station. Then we show that the RRZF outperforms zero-forcing (ZF) and regularized ZF (RZF) beamforming even as the number of users grows to infinity. Simulation results validate the advantage of the proposed robust RZF beamforming.


title: Capacity Performance of Relay Beamformings for MIMO Multi-Relay Networks with Imperfect R-D CSI at Relays

abstract: In this paper, we consider a dual-hop Multiple Input Multiple Output (MIMO) wireless relay network in the presence of imperfect channel state information (CSI), in which a source-destination pair both equipped with multiple antennas communicates through a large number of half-duplex amplify-and-forward (AF) relay terminals. We investigate the performance of three linear beamforming schemes when the CSI of relay-to-destination (R-D) link is not perfect at the relay nodes. The three efficient linear beamforming schemes are based on the matched-filter (MF), zero-forcing (ZF) precoding and regularized zero-forcing (RZF) precoding techniques, which utilize the CSI of both S-D channel and R-D channel at the relay nodes. By modeling the R-D CSI error at the relay nodes as independent complex Gaussian random variables, we derive the ergodic capacities of the three beamformers in terms of instantaneous SNR. Using Law of Large Number, we obtain the asymptotic capacities, upon which the optimized MF-RZF is derived. Simulation results show that the asymptotic capacities match with the respective ergodic capacities very well. Analysis and simulation results demonstrate that the optimized MF-RZF outperforms MF and MF-ZF for any power of R-D CSI error.


title: Formation of embryos of the Earth and the Moon from the common rarefied condensation and their subsequent growth

abstract: Embryos of the Moon and the Earth may have formed as a result of contraction of a common parental rarefied condensation. The required angular momentum of this condensation could largely be acquired in a collision of two rarefied condensations producing the parental condensation. With the subsequent growth of embryos of the Moon and the Earth taken into account, the total mass of as-formed embryos needed to reach the current angular momentum of the Earth-Moon system could be below 0.01 of the Earth mass. For the low lunar iron abundance to be reproduced with the growth of originally iron-depleted embryos of the Moon and the Earth just by the accretion of planetesimals, the mass of the lunar embryo should have increased by a factor of 1.3 at the most. The maximum increase in the mass of the Earth embryo due to the accumulation of planetesimals in a gas-free medium is then threefold, and the current terrestrial iron abundance is not attained. If the embryos are assumed to have grown just by accumulating solid planetesimals (without the ejection of matter from the embryos), it is hard to reproduce the current lunar and terrestrial iron abundances at any initial abundance in the embryos. For the current lunar iron abundance to be reproduced, the amount of matter ejected from the Earth embryo and infalling onto the Moon embryo should have been an order of magnitude larger than the sum of the overall mass of planetesimals infalling directly on the Moon embryo and the initial mass of the Moon embryo, which had formed from the parental condensation, if the original embryo had the same iron abundance as the planetesimals. The greater part of matter incorporated into the Moon embryo could be ejected from the Earth in its multiple collisions with planetesimals (and smaller bodies).


title: On the scalability of CFD tool for supersonic jet flow configurations

abstract: New regulations are imposing noise emissions limitations for the aviation industry which are pushing researchers and engineers to invest efforts in studying the aeroacoustics phenomena. Following this trend, an in-house computational fluid dynamics tool is build to reproduce high fidelity results of supersonic jet flows for aeroacoustic analogy applications. The solver is written using the large eddy simulation formulation that is discretized using a finite difference approach and an explicit time integration. Numerical simulations of supersonic jet flows are very expensive and demand efficient high-performance computing. Therefore, non-blocking message passage interface protocols and parallel Input/Output features are implemented into the code in order to perform simulations which demand up to one billion grid points. The present work addresses the evaluation of code improvements along with the computational performance of the solver running on a computer with maximum theoretical peak of 2.727 PFlops. Different mesh configurations, whose size varies from a few hundred thousand to approximately one billion grid points, are evaluated in the present paper. Calculations are performed using different workloads in order to assess the strong and weak scalability of the parallel computational tool. Moreover, validation results of a realistic flow condition are also presented in the current work.


title: Abelian Splittings and JSJ-Decompositions of Bestvina--Brady Groups

abstract: We give a characterization of Bestvina--Brady groups split over abelian subgroups and describe a JSJ-decomposition of Bestvina--Brady groups.


title: On the properties of solutions for MHD shock waves in collisionless plasma with heat fluxes

abstract: The research is aimed at the study of the properties of solutions for parallel MHD shock waves in collisionless plasma with heat fluxes, using 8-moment MHD approximation. Restrictions have been established on the upstream shock parameters preserving physical meaning of the downstream plasma parameters.


title: Partitioning planar graphs without $4$-cycles and $5$-cycles into bounded degree forests

abstract: In 1976, Steinberg conjectured that planar graphs without $4$-cycles and $5$-cycles are $3$-colorable. This conjecture attracted numerous researchers for about 40 years, until it was recently disproved by Cohen-Addad et al. (2017). However, coloring planar graphs with restrictions on cycle lengths is still an active area of research, and the interest in this particular graph class remains. Let $G$ be a planar graph without $4$-cycles and $5$-cycles. For integers $d_1$ and $d_2$ satisfying $d_1+d_2\geq8$ and $d_2\geq d_1\geq 2$, it is known that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where each $V_i$ induces a graph with maximum degree at most $d_i$. Since Steinberg's Conjecture is false, a partition of $V(G)$ into two sets, where one induces an empty graph and the other induces a forest is not guaranteed. Our main theorem is at the intersection of the two aforementioned research directions. We prove that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where $V_1$ induces a forest with maximum degree at most $3$ and $V_2$ induces a forest with maximum degree at most $4$; this is both a relaxation of Steinberg's conjecture and a strengthening of results by Sittitrai and Nakprasit (2019) in a much stronger form.


title: Post-Lockdown Abatement of COVID-19 by Fast Periodic Switching

abstract: COVID-19 abatement strategies have risks and uncertainties which could lead to repeating waves of infection. We show -- as proof of concept grounded on rigorous mathematical evidence -- that periodic, high-frequency alternation of into, and out-of, lockdown effectively mitigates second-wave effects, while allowing continued, albeit reduced, economic activity. Periodicity confers (i) predictability, which is essential for economic sustainability, and (ii) robustness, since lockdown periods are not activated by uncertain measurements over short time scales. In turn -- while not eliminating the virus -- this fast switching policy is sustainable over time, and it mitigates the infection until a vaccine or treatment becomes available, while alleviating the social costs associated with long lockdowns. Typically, the policy might be in the form of 1-day of work followed by 6-days of lockdown every week (or perhaps 2 days working, 5 days off) and it can be modified at a slow-rate based on measurements filtered over longer time scales. Our results highlight the potential efficacy of high frequency switching interventions in post lockdown mitigation. All code is available on Github (https://github.com/V4p1d/FPSP_Covid19). A software tool has also been developed so that interested parties can explore the proof-of-concept system.


title: A note on second order Riesz transforms in 3-dimensional Lie groups

abstract: We prove explicit $L^p$ bounds for second order Riesz transforms of the sub-Laplacian in the Lie groups $\mathbb H$, $\mathbb{SU}(2)$ and $\mathbb{SL}(2)$


title: Constitutive relations for plasticity of amorphous carbon

abstract: We deform representative volume elements of amorphous carbon obtained from melt-quenches in molecular dynamics calculations using bond-order and machine learning interatomic potentials. A Drucker-Prager law with a zero-pressure flow stress of $41.2$~GPa and an internal friction coefficient of $0.39$ describes the deviatoric stress during flow as a function of pressure. We identify the mean coordination number as the order parameter describing this flow surface. However, a description of the dynamical relaxation of the quenched samples towards steady-state flow requires an additional order parameter. We suggest an intrinsic strain of the samples as a possible order parameter and present equations for its evolution. Our results provide insights into rehybridization and pressure dependence of friction between coated surfaces as well as routes towards the description of amorphous carbon in macroscale models of deformation.


title: A stronger form of Neumann's BFC-theorem

abstract: Given a group $G$, we write $x^G$ for the conjugacy class of $G$ containing the element $x$. A famous theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the derived group $G'$ is finite. We establish the following result. Let $n$ be a positive integer and $K$ a subgroup of a group $G$ such that $|x^G|\leq n$ for each $x\in K$. Let $H=\langle K^G\rangle$ be the normal closure of $K$. Then the order of the derived group $H'$ is finite and $n$-bounded. Some corollaries of this result are also discussed.


title: Curved Buildings Reconstruction from Airborne LiDAR Data by Matching and Deforming Geometric Primitives

abstract: Airborne LiDAR (Light Detection and Ranging) data is widely applied in building reconstruction, with studies reporting success in typical buildings. However, the reconstruction of curved buildings remains an open research problem. To this end, we propose a new framework for curved building reconstruction via assembling and deforming geometric primitives. The input LiDAR point cloud are first converted into contours where individual buildings are identified. After recognizing geometric units (primitives) from building contours, we get initial models by matching basic geometric primitives to these primitives. To polish assembly models, we employ a warping field for model refinements. Specifically, an embedded deformation (ED) graph is constructed via downsampling the initial model. Then, the point-to-model displacements are minimized by adjusting node parameters in the ED graph based on our objective function. The presented framework is validated on several highly curved buildings collected by various LiDAR in different cities. The experimental results, as well as accuracy comparison, demonstrate the advantage and effectiveness of our method. {The new insight attributes to an efficient reconstruction manner.} Moreover, we prove that the primitive-based framework significantly reduces the data storage to 10-20 percent of classical mesh models.


title: Edge Solitons in Lieb Topological Floquet Insulators

abstract: We describe topological edge solitons in a continuous dislocated Lieb array of helical waveguides. The linear Floquet spectrum of this structure is characterized by the presence of two topological gaps with edge states residing in them. A focusing nonlinearity enables families of topological edge solitons bifurcating from the linear edge states. Such solitons are localized both along and across the edge of the array. Due to the non-monotonic dependence of the propagation constant of the edge states on the Bloch momentum, one can construct topological edge solitons that either propagate in different directions along the same boundary or do not move. This allows us to study collisions of edge solitons moving in the opposite directions. Such solitons always interpenetrate each other without noticeable radiative losses; however, they exhibit a spatial shift that depends on the initial phase difference.


title: Engineering Corner States from Two-Dimensional Topological Insulators

abstract: We theoretically demonstrate that the second-order topological insulator with robust corner states can be realized in two-dimensional $\mathbb{Z}_2$ topological insulators by applying an in-plane Zeeman field. Zeeman field breaks the time-reversal symmetry and thus destroys the $\mathbb{Z}_2$ topological phase. Nevertheless, it respects some crystalline symmetries and thus can protect the higher-order topological phase. By taking the Kane-Mele model as a concrete example, we find that spin-helical edge states along zigzag boundaries are gapped out by Zeeman field whereas in-gap corner state at the intersection between two zigzag edges arises, which is independent on the field orientation. We further show that the corner states are robust against the out-of-plane Zeeman field, staggered sublattice potentials, Rashba spin-orbit coupling, and the buckling of honeycomb lattices, making them experimentally feasible. Similar behaviors can also be found in the well-known Bernevig-Hughes-Zhang model.


title: Constructing the Supersymmetric anti-D3-brane action in KKLT

abstract: The derivation of the complete anti-D3-brane low energy effective action in KKLT is reviewed. All worldvolume fields are included, together with the background moduli. The result is recast into a manifest supersymmetric form in terms of the three independent functions of $\mathcal{N}=1$ supergravity in four dimensions: the Kaehler potential, the superpotential and the gauge kinetic function. The latter differs from the expression one would expect by analogy with the D3-brane case.


title: Speed-up Quantum Perceptron via Shortcuts to Adiabaticity

abstract: The quantum perceptron is a fundamental building block for quantum machine learning. This is a multidisciplinary field that incorporates abilities of quantum computing, such as state superposition and entanglement, to classical machine learning schemes. Motivated by the techniques of shortcuts to adiabaticity, we propose a speed-up quantum perceptron where a control field on the perceptron is inversely engineered leading to a rapid nonlinear response with a sigmoid activation function. This results in faster overall perceptron performance compared to quasi-adiabatic protocols, as well as in enhanced robustness against imperfections in the controls.


title: Majorana representation of adiabatic and superadiabatic processes in three-level systems

abstract: We show that stimulated Raman adiabatic passage (STIRAP) and its superadiabatic version (saSTIRAP) have a natural geometric two-star representation on the Majorana sphere. In the case of STIRAP, we find that the evolution is confined to a vertical plane. A faster evolution can be achieved in the saSTIRAP protocol, which employs a counterdiabatic Hamiltonian to nullify the non-adiabatic excitations. We derive this Hamiltonian in the Majorana picture, and we observe how, under realistic experimental parameters, the counterdiabatic term corrects the trajectory of the Majorana stars toward the dark state. We also introduce a spin-1 average vector and present its evolution during the two processes, demonstrating that it provides a measure of nonadiabaticity. We show that the Majorana representation can be used as a sensitive tool for the detection of process errors due to ac Stark shifts and non-adiabatic transitions. Finally, we provide an extension of these results to mixed states and processes with decoherence.


title: Optional projection under equivalent local martingale measures

abstract: Motivation for this paper is to understand the impact of information on asset price bubbles and perceived arbitrage opportunities. This boils down to study optional projections of $\mathbb{G}$-adapted strict local martingales into a smaller filtration $\mathbb{F}$ under equivalent martingale measures. We give some general results as well as analyze in details two specific examples given by the inverse three dimensional Bessel process and a class of stochastic volatility models.


title: Parametric localized patterns and breathers in dispersive quadratic cavities

abstract: We study the formation of localized patterns arising in doubly resonant dispersive optical parametric oscillators. They form through the locking of fronts connecting a continuous-wave and a Turing pattern state. This type of localized pattern can be seen as a slug of the pattern embedded in a homogeneous surrounding. They are organized in terms of a homoclinic snaking bifurcation structure, which is preserved under the modification of the control parameter of the system. We show that, in the presence of phase mismatch, localized patterns can undergo oscillatory instabilities which make them breathe in a complex manner.


title: An electron-counting rule to determine the interlayer magnetic coupling of the van der Waals materials

abstract: In layered magnetic materials, the magnetic coupling between neighboring van der Waals layers is challenging to understand and anticipate, although the exchange interaction inside a layer can be well rationalized for example by the superexchange mechanism. In this work, we elucidate the interlayer exchange mechanism and propose an electron-counting rule to determine the interlayer magnetic order between van der Waals layers, based on counting the $d$-orbital occupation ($d^n$, where $n$ is the number of $d$-electrons at the magnetic cation). With this rule, we classify magnetic monolayers into two groups, type-I ($n<5$) and type-II ($n\geq5$), and derive three types of interlayer magnetic coupling for both insulators and metals. The coupling between two type-II layers prefers the antiferromagnetic (AFM) order, while type-I and type-II interfaces favor the ferromagnetic (FM) way. However, for two type-I layers, they display competition between FM and AFM orders and even lead to the stacking dependent magnetism. Additionally, metallic layers can also be incorporated into this rule with a minor correction from the free carrier hopping. Therefore, this rule provides simple guidance to understand the interlayer exchange and further design van der Waals junctions with desired magnetic orders.


title: Reanimating a Dead Economy: Financial and Economic Analysis of a Zombie Outbreak

abstract: In this paper, we study the financial and economic implications of a zombie epidemic on a major industrialized nation. We begin with a consideration of the epidemiological modeling of the zombie contagion. The emphasis of this work is on the computation of direct and indirect financial consequences of this contagion of the walking dead. A moderate zombie outbreak leaving 1 million people dead in a major industrialized nation could result in GDP losses of 23.44% over the subsequent year and a drop in financial market of 29.30%. We conclude by recommending policy actions necessary to prevent this potential economic collapse.


title: Boosting test-efficiency by pooled testing strategies for SARS-CoV-2

abstract: In the current COVID19 crisis many national healthcare systems are confronted with an acute shortage of tests for confirming SARS-CoV-2 infections. For low overall infection levels in the population, pooling of samples can drastically amplify the testing efficiency. Here we present a formula to estimate the optimal pooling size, the efficiency gain (tested persons per test), and the expected upper bound of missed infections in the pooled testing, all as a function of the populationwide infection levels and the false negative/positive rates of the currently used PCR tests. Assuming an infection level of 0.1 % and a false negative rate of 2 %, the optimal pool size is about 32, the efficiency gain is about 15 tested persons per test. For an infection level of 1 % the optimal pool size is 11, the efficiency gain is 5.1 tested persons per test. For an infection level of 10 % the optimal pool size reduces to about 4, the efficiency gain is about 1.7 tested persons per test. For infection levels of 30 % and higher there is no more benefit from pooling. To see to what extent replicates of the pooled tests improve the estimate of the maximal number of missed infections, we present all results for 1, 3, and 5 replicates.


title: Deep Multi-attributed Graph Translation with Node-Edge Co-evolution

abstract: Generalized from image and language translation, graph translation aims to generate a graph in the target domain by conditioning an input graph in the source domain. This promising topic has attracted fast-increasing attention recently. Existing works are limited to either merely predicting the node attributes of graphs with fixed topology or predicting only the graph topology without considering node attributes, but cannot simultaneously predict both of them, due to substantial challenges: 1) difficulty in characterizing the interactive, iterative, and asynchronous translation process of both nodes and edges and 2) difficulty in discovering and maintaining the inherent consistency between the node and edge in predicted graphs. These challenges prevent a generic, end-to-end framework for joint node and edge attributes prediction, which is a need for real-world applications such as malware confinement in IoT networks and structural-to-functional network translation. These real-world applications highly depend on hand-crafting and ad-hoc heuristic models, but cannot sufficiently utilize massive historical data. In this paper, we termed this generic problem "multi-attributed graph translation" and developed a novel framework integrating both node and edge translations seamlessly. The novel edge translation path is generic, which is proven to be a generalization of the existing topology translation models. Then, a spectral graph regularization based on our non-parametric graph Laplacian is proposed in order to learn and maintain the consistency of the predicted nodes and edges. Finally, extensive experiments on both synthetic and real-world application data demonstrated the effectiveness of the proposed method.


title: On Calibration of Mixup Training for Deep Neural Networks

abstract: Deep Neural Networks (DNN) represent the state of the art in many tasks. However, due to their overparameterization, their generalization capabilities are in doubt and still a field under study. Consequently, DNN can overfit and assign overconfident predictions -- effects that have been shown to affect the calibration of the confidences assigned to unseen data. Data Augmentation (DA) strategies have been proposed to regularize these models, being Mixup one of the most popular due to its ability to improve the accuracy, the uncertainty quantification and the calibration of DNN. In this work however we argue and provide empirical evidence that, due to its fundamentals, Mixup does not necessarily improve calibration. Based on our observations we propose a new loss function that improves the calibration, and also sometimes the accuracy, of DNN trained with this DA technique. Our loss is inspired by Bayes decision theory and introduces a new training framework for designing losses for probabilistic modelling. We provide state-of-the-art accuracy with consistent improvements in calibration performance. Appendix and code are provided here: https://github.com/jmaronas/calibration_MixupDNN_ARCLoss.pytorch.git


title: The rank filtration via a filtered bar construction

abstract: Suppose F is a special Gamma-space equipped with a natural transformation to the infinite symmetric power functor. Segal's infinite loop space machine associates with F a spectrum, denoted kF, equipped with a map to the integral Eilenberg-Mac Lane spectrum. In our previous work we constructed a filtration of kF by a sequence of spectra, which we called the "stable rank filtration of F". In this paper we give a new construction of the stable rank filtration. The new construction is combinatorial in nature and avoids the process of stabilization. In particular, we construct a sequence of special Gamma-spaces whose group completion yields the stable rank filtration.


title: Euclidean TSP in Narrow Strips

abstract: We investigate how the complexity of Euclidean TSP for point sets $P$ inside the strip $(-\infty,+\infty)\times [0,\delta]$ depends on the strip width $\delta$. We obtain two main results. First, for the case where the points have distinct integer $x$-coordinates, we prove that a shortest bitonic tour (which can be computed in $O(n\log^2 n)$ time using an existing algorithm) is guaranteed to be a shortest tour overall when $\delta\leq 2\sqrt{2}$, a bound which is best possible. Second, we present an algorithm that is fixed-parameter tractable with respect to $\delta$. Our algorithm has running time $2^{O(\sqrt{\delta})} n + O(\delta^2 n^2)$ for sparse point sets, where each $1\times\delta$ rectangle inside the strip contains $O(1)$ points. For random point sets, where the points are chosen uniformly at random from the rectangle $[0,n]\times [0,\delta]$, it has an expected running time of $2^{O(\sqrt{\delta})} n$. These results generalise to point sets $P$ inside a hypercylinder of width $\delta$. In this case, the factors $2^{O(\sqrt{\delta})}$ become $2^{O(\delta^{1-1/d})}$.


title: Non-backtracking walks reveal compartments in sparse chromatin interaction networks

abstract: Chromatin communities stabilized by protein machinery play essential role in gene regulation and refine global polymeric folding of the chromatin fiber. However, treatment of these communities in the framework of the classical network theory (stochastic block model, SBM) does not take into account intrinsic linear connectivity of the chromatin loci. Here we propose the "polymer" block model, paving the way for community detection in polymer networks. On the basis of this new model we modify the non-backtracking flow operator and suggest the first protocol for annotation of compartmental domains in sparse single cell Hi-C matrices. In particular, we prove that our approach corresponds to the maximum entropy principle. The benchmark analyses demonstrates that the spectrum of the polymer non-backtracking operator resolves the true compartmental structure up to the theoretical detectability threshold, while all commonly used operators fail above it. We test various operators on real data and conclude that the sizes of the non-backtracking single cell domains are most close to the sizes of compartments from the population data. Moreover, the found domains clearly segregate in the gene density and correlate with the population compartmental mask, corroborating biological significance of our annotation of the chromatin compartmental domains in single cells Hi-C matrices.


title: Limit varieties of $J$-trivial monoids

abstract: We show that limit varieties of monoids recently discovered by Gusev, Zhang and Luo and their subvarieties are generated by monoids of the form $M_\tau(W)$ for certain congruences $\tau$ on the free monoid. The construction $M_\tau(W)$ is a generalization of widely used Dilworth-Perkins construction. Using this construction, we find explicit generators for Gusev limit varieties and give a short reproof to the fact that Zhang-Luo limit variety is non-finitely based.


title: Perfect squares representing the number of rational points on elliptic curves over finite field extensions

abstract: Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer $n$ we denote by $ \# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$. Under a mild technical condition, we show that the sequence $\lbrace \# E({\mathbb F}_{q^n}) \rbrace_{n>0}$ contains at most $10^{200}$ perfect squares. If the mild condition is not satisfied, then $\#E({\mathbb F}_{q^n})$ is a perfect square for infinitely many $n$ including all the multiples of $24$. Our proof uses a quantitative version of the Subspace Theorem. We also find all the perfect squares for all such sequences in the range $q < 50$ and $n\leq 1000$.


title: Focusing and Energy Dispersion Properties of a Cylindrically Bent Asymmetric Laue Crystal

abstract: Elastically bent single-crystal Laue case diffraction crystals provide interesting new opportunities for imaging and spectroscopy applications. The diffraction properties are well understood, however, the ability to easily model the diffracted beams hinders assessment of the focal, phase and energy dispersive properties needed for many applications. This work begins to collect the elements needed to ray trace diffracted beams within bent Laue crystals for the purpose of incorporation into other powerful ray tracing applications such as SHADOW. Specifically, we address the condition in a bent Laue crystal where a cylindrically bent Laue crystal will focus all the polychromatic diffracted beams at a single location when a specific asymmetry angle condition is met for a target x-ray energy - the so-called "magic condition". The focal size of the beam can be minimized, but this condition also results in excellent energy-dispersive properties. The conceptual and mathematical aspects of this interesting focusing and energy dispersive phenomenon is discussed.


title: Progress in particle tracking and vertexing detectors

abstract: This is part of a document, which is devoted to the developments of pixel detectors in the context of the International Linear Collider. From the early developments of the MIMOSAs to the proposed DotPix I recall some of the major progresses. The need for very precise vertex reconstruction is the reason for the Research and Development of new pixel detectors, first derived from the CMOS sensors and in further steps with new semiconductors structures. The problem of radiation effects was investigated and this is the case for the noise level with emphasis of the benefits of downscaling. Specific semiconductor processing and characterisation techniques are also described, with the perspective of a new pixel structure.


title: Light-driven permanent transition from insulator to conductor in Ga2O3

abstract: The transition from insulator to conductor can be achieved in some materials but requires modification of both the arrangement of atoms and their electronic configurations. This is often achieved by doping. Here we reveal a mechanism the lattice may adopt to induce such a transition. We show that limited exposure to sub-bandgap light caused a permanent transition from an insulator state to a conductor state in the insulating oxide Ga2O3 with 9-orders of magnitude increase in electronic conduction. Photoexcitation modifies the charge state of an O-vacancy and the redistribution of the localized electrons, leading to a massive structural distortion in the lattice that is shown to be the underlying mechanism. It modifies density of states and introduces new stable states with shallower energy levels, leading to this intriguing behavior. We suggest that this mechanism may occur in other wide bandgap metal oxides leading to drastic modification in their electronic properties.


title: Distributing Points on the Torus via Modular Inverses

abstract: We study various statistics regarding the distribution of the points \[\left\{\left(\frac{d}{q},\frac{\overline{d}}{q}\right) \in \mathbb{T}^2 : d \in (\mathbb{Z}/q\mathbb{Z})^{\times}\right\}\] as $q$ tends to infinity. Due to nontrivial bounds for Kloosterman sums, it is known that these points equidistribute on the torus. We prove refinements of this result, including bounds for the discrepancy, small scale equidistribution, bounds for the covering exponent associated to these points, sparse equidistribution, and mixing.


title: Scalable parallel algorithm for solving non-stationary systems of linear inequalities

abstract: In this paper, a scalable iterative projection-type algorithm for solving non-stationary systems of linear inequalities is considered. A non-stationary system is understood as a large-scale system of inequalities in which coefficients and constant terms can change during the calculation process. The proposed parallel algorithm uses the concept of pseudo-projection which generalizes the notion of orthogonal projection. The parallel pseudo-projection algorithm is implemented using the parallel BSF-skeleton. An analytical estimation of the algorithm scalability boundary is obtained on the base of the BSF cost metric. The large-scale computational experiments were performed on a cluster computing system. The obtained results confirm the efficiency of the proposed approach.


title: Software System for Road Condition Forecast Correction

abstract: In this paper, we present a monitoring system that allows increasing road safety by predicting ice formation. The system consists of a network of road weather stations and intelligence data processing program module. The results were achieved by combining physical models for forecasting road conditions based on measurements from stations and machine learning models for detecting incorrect data and forecast correction.

categories: cs.LG cs.SY eess.SP eess.SY stat.AP stat.ML


title: Fast convergence and asymptotic preserving of the General Synthetic Iterative Scheme

abstract: Recently the general synthetic iteration scheme (GSIS) is proposed to find the steady-state solution of the Boltzmann equation~\cite{SuArXiv2019}, where various numerical simulations have shown that (i) the steady-state solution can be found within dozens of iterations at any Knudsen number $K$, and (ii) the solution is accurate even when the spatial cell size in the bulk region is much larger than the molecular mean free path, i.e. Navier-Stokes solutions are recovered at coarse grids. The first property indicates that the error decay rate between two consecutive iterations decreases to zero with $K$, while the second one implies that the GSIS is asymptotically preserving the Navier-Stokes limit. This paper is dedicated to the rigorous proof of both properties.


title: Equilibrium of an Arbitrary Bunch Train in Presence of a Passive Harmonic Cavity: Solution through Coupled Ha\" issinski Equations

abstract: We study the effect of a passive harmonic cavity, introduced to cause bunch lengthening, in an electron storage ring. We derive a formula for the induced voltage from such a cavity with high $Q$, excited by a a sequence of bunches, allowing for arbitrary gaps in the sequence and arbitrary currents. Except for a minor term that can be determined iteratively, the voltage is given in terms of a single mode of the Fourier transforms of the bunch forms, namely the mode at the resonant frequency of the cavity. Supposing that the only wake field is from the harmonic cavity, we derive a system of coupled Ha\"issinski equations which determine the bunch positions and profiles in the equilibrium state. The number of unknowns in the system is only twice the number of bunches, and it can be solved quickly by a Newton iteration, starting with a guess determined by path-following from a solution at weak current. We explore the effect of the fill pattern on the bunch lengthening, and also the dependence on the shunt impedance and detuning of the cavity away from the third harmonic of the main accelerating cavity. We consider two measures to reduce the effects of gaps: 1) distribution of the gaps around the ring to the greatest extent allowed, and 2) "guard bunches" with higher charges adjacent to the gaps, compensating for the charge missing in gaps. Results for parameters of the forthcoming ALS-U light source are presented.


title: Efficient Clustering for Stretched Mixtures: Landscape and Optimality

abstract: This paper considers a canonical clustering problem where one receives unlabeled samples drawn from a balanced mixture of two elliptical distributions and aims for a classifier to estimate the labels. Many popular methods including PCA and k-means require individual components of the mixture to be somewhat spherical, and perform poorly when they are stretched. To overcome this issue, we propose a non-convex program seeking for an affine transform to turn the data into a one-dimensional point cloud concentrating around $-1$ and $1$, after which clustering becomes easy. Our theoretical contributions are two-fold: (1) we show that the non-convex loss function exhibits desirable geometric properties when the sample size exceeds some constant multiple of the dimension, and (2) we leverage this to prove that an efficient first-order algorithm achieves near-optimal statistical precision without good initialization. We also propose a general methodology for clustering with flexible choices of feature transforms and loss objectives.

categories: stat.ML cs.LG math.OC math.ST stat.ME stat.TH


title: Bell inequality violation by entangled single photon states generated from a laser, a LED or a Halogen lamp

abstract: In single-particle or intraparticle entanglement, two degrees of freedom of a single particle, e.g., momentum and polarization of a single photon, are entangled. Single-particle entanglement (SPE) provides a source of non classical correlations which can be exploited both in quantum communication protocols and in experimental tests of noncontextuality based on the Kochen-Specker theorem. Furthermore, SPE is robust under decoherence phenomena. Here, we show that single-particle entangled states of single photons can be produced from attenuated sources of light, even classical ones. To experimentally certify the entanglement, we perform a Bell test, observing a violation of the Clauser, Horne, Shimony and Holt (CHSH) inequality. On the one hand, we show that this entanglement can be achieved even in a classical light beam, provided that first-order coherence is maintained between the degrees of freedom involved in the entanglement. On the other hand, we prove that filtered and attenuated light sources provide a flux of independent SPE photons that, from a statistical point of view, are indistinguishable from those generated by a single photon source. This has important consequences, since it demonstrates that cheap, compact, and low power entangled photon sources can be used for a range of quantum technology applications.


title: Existence and Uniqueness of the Motion by Curvature of regular networks

abstract: We prove existence and uniqueness of the motion by curvatureof networks in $\mathbb{R}^n$ when the initial datum is of class $W^{2-\frac{2}{p}}_p$, with triple junction where the unit tangent vectors to the concurring curves form angles of $120$ degrees. Moreover we investigated the regularization effect due to the parabolic nature of the system. An application of this wellposedness result is a new proof of Theorem 3.18 in "Motion by Curvature of Planar Networks" by Mantegazza-Novaga-Tortorelli where the possible behaviors of the solutions at the maximal time of existence are described. Our study is motivated by an open question proposed in "Evolution of Networks with Multiple Junctions " by Mantegazza-Novaga-Pluda-Schulze: does there exist a unique solution of the motion by curvature of networks with initial datum a regular network of class $C^2$? We give a positive answer.


title: Design Multimedia Expert Diagnosing Diseases System Using Fuzzy Logic (MEDDSFL)

abstract: In this paper we designed an efficient expert system to diagnose diseases for human beings. The system depended on several clinical features for different diseases which will be used as knowledge base for this system. We used fuzzy logic system which is one of the most expert systems techniques that used in building knowledge base of expert systems. Fuzzy logic will be used to inference the results of disease diagnosing. We also provided the system with multimedia such as videos, pictures and information for most of disease that have been achieved in our system. The system implemented using Matlab ToolBox and fifteen diseases were studied. Five cases for normal, affected and unaffected people's different diseases have been tested on this system. The results show that system was able to predict the status whether a human has a disease or not accurately. All system results are reported in tables and discussed in detail.


title: Hessenberg Input Normal Representations

abstract: Every stable controllable input pair (A',B') is equivalent to an input pair which is in Hessenberg form and is input normal (AA^* + BB^* = I. (A,B) is represented as a submatrix of the minimal number of Givens rotations. The representation is shown to be generically identifiable. This canonical form allows for fast state vector updates and improved conditioning of system identification problems.


title: A statistical study of the plasma and composition distribution inside magnetic clouds: 1998-2011

abstract: A comprehensive analysis of plasma and composition characteristics inside magnetic clouds (MCs) observed by the Advanced Composition Explorer (ACE) spacecraft from 1998 February to 2011 August is presented. The results show that MCs have specific interior structures, and MCs of different speeds show differences in composition and structure. Compared with the slow MCs, fast MCs have enhanced mean charge states of iron, oxygen, silicon, magnesium, $\mathrm{O^{7+}/O^{6+}}$, $\mathrm{C^{6+}/C^{5+}}$, $\mathrm{C^{6+}/C^{4+}}$ and $\mathrm{Fe^{\geq16+}/Fe_{total}}$ values. For ionic species in fast MCs, a higher atomic number represents a greater enhancement of mean charge state than slow MCs. We also find that both the fast and slow MCs display bimodal structure distribution in the mean iron charge state ($\mathrm{\langle Q\rangle Fe}$), which suggests that the existence of flux rope prior to the eruption is common. Furthermore, the $\mathrm{\langle Q\rangle Fe} $, $\mathrm{Fe^{\geq16+}/Fe_{total}}$, and $\mathrm{O^{7+}/O^{6+}}$ ratio distribution inside fast MCs have the feature that the posterior peak is higher than the anterior one. This result agrees with the "standard model" for CME/flares, by which magnetic reconnection occurs beneath the flux rope, thereby ionizing the ions of the posterior part of flux rope sufficiently by high-energy electron collisions or by direct heating in the reconnection region.


title: Quantum paraelectric state and critical behavior in Sn(Pb)$_2$P$_2$S(Se)$_6$ ferroelectrics

abstract: The dipole ordering in Sn(Pb)$_2$P$_2$S(Se)$_6$ materials may be tuned by chemical substitution realizing a ferroelectric quantum phase transition and quantum glassy or relaxor type phenomena on different parts of the phase diagram. The introduction of Ge impurity increases the temperature of the phase transitions and initiates a more pronounced Ising type critical anomaly in Sn$_2$P$_2$S$_6$ crystal, does not shift the coordinate of the Lifshitz point $x_{\textrm {LP}}$ in Sn$_2$P$_2$(Se$_x$S$_{1-x}$)$_6$ mixed crystals, induces the appearance of a ferroelectric phase transition in quantum paraelectrics Pb$_2$P$_2$S$_6$ and inhomogeneous polar ordering in (Pb$_{0.7}$Sn$_{0.3}$)$_2$P$_2$S(Se)$_6$ crystals. For Pb$_2$P$_2$S$_6$ crystal, the real part of the dielectric susceptibility in the quantum critical regime varies as $1/T^2$ instead of the expected $1/T^3$ behavior for uniaxial materials. This can be partially explained by a screening phenomenon in the semiconductor materials of the Sn(Pb)$_2$P$_2$S(Se)$_6$ system, which weakens the long range electric dipole interactions, and also provides, at high temperatures, a critical behavior near the Lifshitz point (studied by thermal diffusivity) similar to the one predicted in the case of systems with short range interactions. At low temperatures, a quantum critical behavior in Pb$_2$P$_2$S$_6$ crystal can be established by the nonlinear coupling between polar and antipolar fluctuations. An increase in thermal conductivity is induced by Ge impurity in Pb$_2$P$_2$S$_6$ crystal, which is explained through the weakening of the acoustic phonons resonance scattering by soft optic phonons because of the appearance of ferroelectric phase polar clusters.


title: Hypothesis Testing Approach to Detecting Collusion in Competitive Environments

abstract: There is growing concern about tacit collusion using algorithmic pricing, and regulators need tools to help detect the possibility of such collusion. This paper studies how to design a hypothesis testing framework in order to decide whether agents are behaving competitively or not. In our setting, agents are utility-maximizing and compete over prices of items. A regulator, with no knowledge of the agent's utility function, has access only to the agents' strategies (i.e., pricing decisions) and external shock values in order to decide if agents are behaving in competition according to some equilibrium problem. We leverage the formulation of such a problem as an inverse variational inequality and design a hypothesis test under a minimal set of assumptions. We demonstrate our method with computational experiments of the Bertrand competition game (with and without collusion) and show how our method performs.


title: Team Mountaineers Space Robotic Challenge Phase-2 Qualification Round Preparation Report

abstract: Team Mountaineers launched efforts on the NASA Space Robotics Challenge Phase-2 (SRC2). The challenge will be held on the lunar terrain with virtual robotic platforms to establish an in-situ resource utilization process. In this report, we provide an overview of a simulation environment, a virtual mobile robot, and a software architecture that was created by Team Mountaineers in order to prepare for the competition's qualification round before the competition environment was released.


title: Spectral Clustering Revisited: Information Hidden in the Fiedler Vector

abstract: We are interested in the clustering problem on graphs: it is known that if there are two underlying clusters, then the signs of the eigenvector corresponding to the second largest eigenvalue of the adjacency matrix can reliably reconstruct the two clusters. We argue that the vertices for which the eigenvector has the largest and the smallest entries, respectively, are unusually strongly connected to their own cluster and more reliably classified than the rest. This can be regarded as a discrete version of the Hot Spots conjecture and should be useful in applications. We give a rigorous proof for the stochastic block model and several examples.


title: The Instantaneous Accuracy: a Novel Metric for the Problem of Online Human Behaviour Recognition in Untrimmed Videos

abstract: The problem of Online Human Behaviour Recognition in untrimmed videos, aka Online Action Detection (OAD), needs to be revisited. Unlike traditional offline action detection approaches, where the evaluation metrics are clear and well established, in the OAD setting we find few works and no consensus on the evaluation protocols to be used. In this paper we introduce a novel online metric, the Instantaneous Accuracy ($IA$), that exhibits an \emph{online} nature, solving most of the limitations of the previous (offline) metrics. We conduct a thorough experimental evaluation on TVSeries dataset, comparing the performance of various baseline methods to the state of the art. Our results confirm the problems of previous evaluation protocols, and suggest that an IA-based protocol is more adequate to the online scenario for human behaviour understanding. Code of the metric available https://github.com/gramuah/ia


title: A Better Variant of Self-Critical Sequence Training

abstract: In this work, we present a simple yet better variant of Self-Critical Sequence Training. We make a simple change in the choice of baseline function in REINFORCE algorithm. The new baseline can bring better performance with no extra cost, compared to the greedy decoding baseline.


title: Distributed Computation with Continual Population Growth

abstract: Computing with synthetically engineered bacteria is a vibrant and active field with numerous applications in bio-production, bio-sensing, and medicine. Motivated by the lack of robustness and by resource limitation inside single cells, distributed approaches with communication among bacteria have recently gained in interest. In this paper, we focus on the problem of population growth happening concurrently, and possibly interfering, with the desired bio-computation. Specifically, we present a fast protocol in systems with continuous population growth for the majority consensus problem and prove that it correctly identifies the initial majority among two inputs with high probability if the initial difference is $\Omega(\sqrt{n\log n})$ where $n$ is the total initial population. We also present a fast protocol that correctly computes the NAND of two inputs with high probability. We demonstrate that combining the NAND gate protocol with the continuous-growth majority consensus protocol, using the latter as an amplifier, it is possible to implement circuits computing arbitrary Boolean functions.


title: Numerical Investigation of Mechanical Properties of Aluminum-Copper Alloys at Nanoscale

abstract: Nanoindentation is a powerful tool capable of providing fundamental insights of material elastic and plastic response at the nanoscale. Alloys at nanoscale are particularly interesting as the local heterogeneity and deformation mechanism revealed by atomistic study offers a better way to understand hardening mechanism to build a stronger material. In this work, nanoindentation in Al-Cu alloys are studied using atomistic simulations to investigate the effects of loading direction, alloying percentages of Cu via dislocation-driven mechanisms. Also, a low-fidelity finite element (FE) model has been developed for nanoindentation simulations where nanoscale materials properties are used from atomistic simulations. Material properties, such as hardness and reduced modulus, are computed from both the FE and MD simulations and then compared. Considering the fundamental difference between these two numerical approaches, the FE results obtained from the present study conform fairly with those from MD simulations. This paves a way into finding material properties of alloys with reduced simulation time and cost by using FE where high-fidelity results are not required. The results have been presented as load-displacement analysis, dislocation density, dislocation loops nucleation and propagation, von-Mises stress distribution and surface imprints. The techniques adopted in this paper to incorporate atomistic data into FE simulations can be further extended for finding other mechanical and fracture properties for complex alloy materials.


title: Naturalness in Nuclear Effective Field Theories

abstract: Nuclear effective field theories (EFTs) have been developed over the last quarter-century with considerable impact on the description of light and even medium-mass nuclei. At the core of any EFT is a systematic expansion of observables, which is usually obtained from a rule based on an assumption of naturalness. I discuss naturalness in the context of the relatively weak binding of nuclei, where discrete scale invariance plays a role in the emergence of complexity.


title: The Distributive Full Lambek Calculus with Modal Operators

abstract: In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove that any canonical logic is Kripke complete via discrete duality and canonical extensions. That is, we show that a modal extension of the distributive full Lambek calculus is the logic of its frames if its variety is closed under canonical extensions. After that, we establish a Priestley-style duality between residuated distributive modal algebras and topological Kripke structures based on Priestley spaces.


title: LOOPER: Inferring computational algorithms enacted by neuronal population dynamics

abstract: Recording simultaneous activity of hundreds of neurons is now possible. Existing methods can model such population activity, but do not directly reveal the computations used by the brain. We present a fully unsupervised method that models neuronal activity and reveals the computational strategy. The method constructs a topological model of neuronal dynamics consisting of interconnected loops. Transitions between loops mark computationally-salient decisions. We accurately model activation of 100s of neurons in the primate cortex during a working memory task. Dynamics of a recurrent neural network (RNN) trained on the same task are topologically identical suggesting that a similar computational strategy is used. The RNN trained on a modified dataset, however, reveals a different topology. This topology predicts specific novel stimuli that consistently elicit incorrect responses with near perfect accuracy. Thus, our methodology yields a quantitative model of neuronal activity and reveals the computational strategy used to solve the task.