title: A Simple Proof for the Four-Color Theorem

abstract: The four-color theorem states that no more than four colors are required to color all nodes in planar graphs such that no two adjacent nodes are of the same color. The theorem was first propounded by Francis Guthrie in 1852. Since then, scholars have either failed to solve this theorem or required computer assistance to prove it. Hence, the goal of this paper is to provide the first correct proof of this 170-year-old mathematical problem composed with the human brain and without computer assistance in only five pages.


title: Entanglement Access Control for the Quantum Internet

abstract: Quantum entanglement is a crucial element of establishing the entangled network structure of the quantum Internet. Here we define a method to achieve controlled entanglement access in the quantum Internet. The proposed model defines different levels of entanglement accessibility for the users of the quantum network. The path cost is determined by an integrated criterion on the entanglement fidelities between the quantum nodes and the probabilities of entangled connections of an entangled path. We reveal the connection between the number of available entangled paths and the accessible fidelity of entanglement and reliability in the end nodes. The scheme provides an efficient model for entanglement access control in the experimental quantum Internet.


title: Dissipative structure and diffusion phenomena for doubly dissipative elastic waves in two space dimensions

abstract: In this paper we study the Cauchy problem for doubly dissipative elastic waves in two space dimensions, where the damping terms consist of two different friction or structural damping. We derive energy estimates and diffusion phenomena with different assumptions on initial data. Particularly, we find the dominant influence on diffusion phenomena by introducing a new threshold of diffusion structure.


title: Opportunistic Entanglement Distribution for the Quantum Internet

abstract: Quantum entanglement is a building block of the entangled quantum networks of the quantum Internet. A fundamental problem of the quantum Internet is entanglement distribution. Since quantum entanglement will be fundamental to any future quantum networking scenarios, the distribution mechanism of quantum entanglement is a critical and emerging issue in quantum networks. Here we define the method of opportunistic entanglement distribution for the quantum Internet. The opportunistic model defines distribution sets that are aimed to select those quantum nodes for which the cost function picks up a local minimum. The cost function utilizes the error patterns of the local quantum memories and the predictability of the evolution of the entanglement fidelities. Our method provides efficient entanglement distributing with respect to the actual statuses of the local quantum memories of the node pairs. The model provides an easily-applicable, moderate-complexity solution for high-fidelity entanglement distribution in experimental quantum Internet scenarios.


title: The heat kernel on curvilinear polygonal domains in surfaces

abstract: We construct the heat kernel on curvilinear polygonal domains in arbitrary surfaces for Dirichlet, Neumann, and Robin boundary conditions as well as mixed problems, including those of Zaremba type. We compute the short time asymptotic expansion of the heat trace and apply this expansion to demonstrate a collection of results showing that corners are spectral invariants.


title: Dense Quantum Measurement Theory

abstract: Quantum measurement is a fundamental cornerstone of experimental quantum computations. The main issues in current quantum measurement strategies are the high number of measurement rounds to determine a global optimal measurement output and the low success probability of finding a global optimal measurement output. Each measurement round requires preparing the quantum system and applying quantum operations and measurements with high-precision control in the physical layer. These issues result in extremely high-cost measurements with a low probability of success at the end of the measurement rounds. Here, we define a novel measurement for quantum computations called dense quantum measurement. The dense measurement strategy aims at fixing the main drawbacks of standard quantum measurements by achieving a significant reduction in the number of necessary measurement rounds and by radically improving the success probabilities of finding global optimal outputs. We provide application scenarios for quantum circuits with arbitrary unitary sequences, and prove that dense measurement theory provides an experimentally implementable solution for gate-model quantum computer architectures.


title: Automatic Dataset Augmentation Using Virtual Human Simulation

abstract: Virtual Human Simulation has been widely used for different purposes, such as comfort or accessibility analysis. In this paper, we investigate the possibility of using this type of technique to extend the training datasets of pedestrians to be used with machine learning techniques. Our main goal is to verify if Computer Graphics (CG) images of virtual humans with a simplistic rendering can be efficient in order to augment datasets used for training machine learning methods. In fact, from a machine learning point of view, there is a need to collect and label large datasets for ground truth, which sometimes demands manual annotation. In addition, find out images and videos with real people and also provide ground truth of people detection and counting is not trivial. If CG images, which can have a ground truth automatically generated, can also be used as training in machine learning techniques for pedestrian detection and counting, it can certainly facilitate and optimize the whole process of event detection. In particular, we propose to parametrize virtual humans using a data-driven approach. Results demonstrated that using the extended datasets with CG images outperforms the results when compared to only real images sequences.


title: An orthotropic electro-viscoelastic model for the heart with stress-assisted diffusion

abstract: We propose and analyse the properties of a new class of models for the electromechanics of cardiac tissue. The set of governing equations consists of nonlinear elasticity using a viscoelastic and orthotropic exponential constitutive law (this is so for both active stress and active strain formulations of active mechanics) coupled with a four-variable phenomenological model for human cardiac cell electrophysiology, which produces an accurate description of the action potential. The conductivities in the model of electric propagation are modified according to stress, inducing an additional degree of nonlinearity and anisotropy in the coupling mechanisms; and the activation model assumes a simplified stretch-calcium interaction generating active tension or active strain. The influence of the new terms in the electromechanical model is evaluated through a sensitivity analysis, and we provide numerical validation through a set of computational tests using a novel mixed-primal finite element scheme.


title: Stable interactions between the extended Chern-Simons theory and a charged scalar field with higher derivatives: Hamiltonian formalism

abstract: We consider constrained multi-Hamiltonian formulation for the extended Chern-Simons theory with higher derivatives of arbitrary finite order. The order $n$ extension of the theory admits $(n-1)$-parametric series of conserved tensors. The $00$-component of any representative of the series can be chosen as Hamiltonian. The theory admits a series of Hamiltonian formulations, including the canonical Ostrogradski formulation. The Hamiltonian formulations with different Hamiltonians are not connected by canonical transformations. Also, we demonstrate the inclusion of stable interactions with charged scalar field that preserves one specified Hamiltonian from the series.


title: The parameterization method for center manifolds

abstract: In this paper, we present a generalization of the parameterization method, introduced by Cabr\'{e}, Fontich and De la Llave, to center manifolds associated to non-hyperbolic fixed points of discrete dynamical systems. As a byproduct, we find a new proof for the existence and regularity of center manifolds. However, in contrast to the classical center manifold theorem, our parameterization method will simultaneously obtain the center manifold and its conjugate center dynamical system. Furthermore, we will provide bounds on the error between approximations of the center manifold and the actual center manifold, as well as bounds for the error in the conjugate dynamical system.


title: MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems

abstract: The MAVLink is a lightweight communication protocol between Unmanned Aerial Vehicles (UAVs) and ground control stations (GCSs). It defines a set of bi-directional messages exchanged between a UAV (aka drone) and a ground station. The messages carry out information about the UAV's states and control commands sent from the ground station. However, the MAVLink protocol is not secure and has several vulnerabilities to different attacks that result in critical threats and safety concerns. Very few studies provided solutions to this problem. In this paper, we discuss the security vulnerabilities of the MAVLink protocol and propose MAVSec, a security-integrated mechanism for MAVLink that leverages the use of encryption algorithms to ensure the protection of exchanged MAVLink messages between UAVs and GCSs. To validate MAVSec, we implemented it in Ardupilot and evaluated the performance of different encryption algorithms (i.e. AES-CBC, AES-CTR, RC4, and ChaCha20) in terms of memory usage and CPU consumption. The experimental results show that ChaCha20 has a better performance and is more efficient than other encryption algorithms. Integrating ChaCha20 into MAVLink can guarantee its messages confidentiality, without affecting its performance, while occupying less memory and CPU consumption, thus, preserving memory and saving the battery for the resource-constrained drone.


title: Scalable GWR: A linear-time algorithm for large-scale geographically weighted regression with polynomial kernels

abstract: Although a number of studies have developed fast geographically weighted regression (GWR) algorithms for large samples, none of them has achieved linear-time estimation, which is considered a requisite for big data analysis in machine learning, geostatistics, and related domains. Against this backdrop, this study proposes a scalable GWR (ScaGWR) for large datasets. The key improvement is the calibration of the model through a pre-compression of the matrices and vectors whose size depends on the sample size, prior to the leave-one-out cross-validation, which is the heaviest computational step in conventional GWR. This pre-compression allows us to run the proposed GWR extension so that its computation time increases linearly with the sample size. With this improvement, the ScaGWR can be calibrated with one million observations without parallelization. Moreover, the ScaGWR estimator can be regarded as an empirical Bayesian estimator that is more stable than the conventional GWR estimator. We compare the ScaGWR with the conventional GWR in terms of estimation accuracy and computational efficiency using a Monte Carlo simulation. Then, we apply these methods to a US income analysis. The code for ScaGWR is available in the R package scgwr. The code is embedded into C++ code and implemented in another R package, GWmodel.


title: New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences

abstract: We present new constructions for perfect and odd perfect sequences over the quaternion group $Q_8$. In particular, we show for the first time that perfect and odd perfect quaternion sequences exist in all lengths $2^t$ for $t\geq0$. In doing so we disprove the quaternionic form of Mow's conjecture that the longest perfect $Q_8$-sequence that can be constructed from an orthogonal array construction is of length 64. Furthermore, we use a connection to combinatorial design theory to prove the existence of a new infinite class of Williamson sequences, showing that Williamson sequences of length $2^t n$ exist for all $t\geq0$ when Williamson sequences of odd length $n$ exist. Our constructions explain the abundance of Williamson sequences in lengths that are multiples of a large power of two.


title: Polyphonic Sound Event Detection and Localization using a Two-Stage Strategy

abstract: Sound event detection (SED) and localization refer to recognizing sound events and estimating their spatial and temporal locations. Using neural networks has become the prevailing method for SED. In the area of sound localization, which is usually performed by estimating the direction of arrival (DOA), learning-based methods have recently been developed. In this paper, it is experimentally shown that the trained SED model is able to contribute to the direction of arrival estimation (DOAE). However, joint training of SED and DOAE degrades the performance of both. Based on these results, a two-stage polyphonic sound event detection and localization method is proposed. The method learns SED first, after which the learned feature layers are transferred for DOAE. It then uses the SED ground truth as a mask to train DOAE. The proposed method is evaluated on the DCASE 2019 Task 3 dataset, which contains different overlapping sound events in different environments. Experimental results show that the proposed method is able to improve the performance of both SED and DOAE, and also performs significantly better than the baseline method.


title: Dynamics of the critical Casimir force for a conserved order parameter after a critical quench

abstract: Fluctuation-induced forces occur generically when long-ranged correlations (e.g., in fluids) are confined by external bodies. In classical systems, such correlations require specific conditions, e.g., a medium close to a critical point. On the other hand, long-ranged correlations appear more commonly in certain non-equilibrium systems with conservation laws. Consequently, a variety of non-equilibrium fluctuation phenomena, including fluctuation-induced forces, have been discovered and explored recently. Here, we address a long-standing problem of non-equilibrium critical Casimir forces emerging after a quench to the critical point in a confined fluid with order-parameter-conserving dynamics and non-symmetry-breaking boundary conditions. The interplay of inherent (critical) fluctuations and dynamical non-local effects (due to density conservation) gives rise to striking features, including correlation functions and forces exhibiting oscillatory time-dependences. Complex transient regimes arise, depending on initial conditions and the geometry of the confinement. Our findings pave the way for exploring a wealth of non-equilibrium processes in critical fluids (e.g., fluctuation-mediated self-assembly or aggregation). In certain regimes, our results are applicable to active matter.


title: ASER: A Large-scale Eventuality Knowledge Graph

abstract: Understanding human's language requires complex world knowledge. However, existing large-scale knowledge graphs mainly focus on knowledge about entities while ignoring knowledge about activities, states, or events, which are used to describe how entities or things act in the real world. To fill this gap, we develop ASER (activities, states, events, and their relations), a large-scale eventuality knowledge graph extracted from more than 11-billion-token unstructured textual data. ASER contains 15 relation types belonging to five categories, 194-million unique eventualities, and 64-million unique edges among them. Both intrinsic and extrinsic evaluations demonstrate the quality and effectiveness of ASER.


title: Fast high fidelity quantum non-demolition qubit readout via a non-perturbative cross-Kerr coupling

abstract: Qubit readout is an indispensable element of any quantum information processor. In this work, we experimentally demonstrate a non-perturbative cross-Kerr coupling between a transmon and a polariton mode which enables an improved quantum non-demolition (QND) readout for superconducting qubits. The new mechanism uses the same experimental techniques as the standard QND qubit readout in the dispersive approximation, but due to its non-perturbative nature, it maximizes the speed, the single-shot fidelity and the QND properties of the readout. In addition, it minimizes the effect of unwanted decay channels such as the Purcell effect. We observed a single-shot readout fidelity of 97.4% for short 50 ns pulses, and we quantified a QND-ness of 99% for long measurement pulses with repeated single-shot readouts.


title: Characterizing Code Clones in the Ethereum Smart Contract Ecosystem

abstract: In this paper, we present the first large-scale and systematic study to characterize the code reuse practice in the Ethereum smart contract ecosystem. We first performed a detailed similarity comparison study on a dataset of 10 million contracts we had harvested, and then we further conducted a qualitative analysis to characterize the diversity of the ecosystem, understand the correlation between code reuse and vulnerabilities, and detect the plagiarist DApps. Our analysis revealed that over 96% of the contracts had duplicates, while a large number of them were similar, which suggests that the ecosystem is highly homogeneous. Our results also suggested that roughly 9.7% of the similar contract pairs have exactly the same vulnerabilities, which we assume were introduced by code clones. In addition, we identified 41 DApps clusters, involving 73 plagiarized DApps which had caused huge financial loss to the original creators, accounting for 1/3 of the original market volume.


title: A fully-digital semi-rotational frequency detection algorithm for bang-bang CDRs

abstract: This work presents a new frequency acquisition method using semi-rotational frequency detection (SRFD) algorithm for a reference-less clock and data recovery (CDR) in a serial-link receiver. The proposed SRFD algorithm classifies the bang-bang phase detector(BBPD) outputs to estimate the current phase state, and detects the frequency mismatch between the input data and the sampling clock. The VCO-track path in a digital loop filter (DLF) enables online calibration of a drifted frequency of VCO caused by temperature or voltage variation after a frequency acquisition. The proposed algorithm can be implemented as a digitally-synthesized circuit, lowering design efforts for referenceless CDRs. A 10 Gbps transceiver IC with the proposed algorithm, fabricated in a 65nm CMOS process, demonstrates successful recovery of the input phase without any reference clock.


title: An efficient coding algorithm for general Framed Pulse Width Modulations

abstract: This paper introduces a new coding algorithm for Framed Pulse Width Modulation (FPWM). The proposed algorithm requires 93% fewer look-up tables (LUTs) than the previous FPWM coding algorithm and increases a bitrate by 25%. The proposed algorithm is compatible with general FPWM with various frame lengths and pulse width resolutions. Theoretical bitrates and the sizes of LUT required for coding various FPWMs are also provided. The MATLAB simulation demonstrates the proposed FPWM signal which contains 14-bit information in 8 UI frame length, showing 75% higher bitrate than the NRZ signal with the same baud rate. The decoding algorithm restores the original bit without any bit error and validates the proposed FPWM and its coding scheme.


title: Coherently driving a single quantum two-level system with dichromatic laser pulses

abstract: Efficient excitation of a single two-level system usually requires that the driving field is at the same frequency as the atomic transition. However, the scattered laser light in solid-state implementations can dominate over the single photons, imposing an outstanding challenge to perfect single-photon sources. Here, we propose a background-free method using a phase-locked dichromatic electromagnetic field with no spectral overlap with the optical transition for a coherent control of a two-level system, and we demonstrate this method experimentally with a single quantum dot embedded in a micropillar. Single photons generated by pi excitation show a purity of 0.988(1) and indistinguishability of 0.962(6). Further, the phase-coherent nature of the two-color excitation is captured by the resonance-fluorescence intensity dependence on the relative phase between the two pulses. Our two-color excitation method adds a useful toolbox to the study of atom-photon interaction, and the generation of spectrally isolated indistinguishable single photons.


title: Warshall's algorithm -- survey and applications

abstract: The survey presents the well-known Warshall's algorithm, a generalization and some interesting applications of this.


title: Analysis of double-slit interference experiment at the atomic level

abstract: I argue that the marquis characteristics of the quantum-mechanical double-slit experiment (point detection, random distribution, Born rule) can be explained using Schroedinger's equation alone, if one takes into account that, for any atom in a detector, there is a small but nonzero gap between its excitation energy and the excitation energies of all other relevant atoms in the detector (isolated-levels assumption). To illustrate the point I introduce a toy model of a detector. The form of the model follows common practice in quantum optics and cavity QED. Each detector atom can be resonantly excited by the incoming particle, and then emit a detection signature (e.g. bright flash of light) or dissipate its energy thermally. Different atoms have slightly different resonant energies per the isolated-levels assumption, and the projectile preferentially excites the atom with the closest energy match. The toy model permits one easily to estimate the probability that any atom is resonantly excited, and also that a detection signature is produced before being overtaken by thermal dissipation. The end-to-end detection probability is the product of these two probabilities, and is proportional to the absolute square of the incoming wavefunction at the atom in question, i.e. the Born rule. I consider how closely a published neutron-interference experiment conforms to the picture developed here; I show how this paper's analysis steers clear of creating a scenario with local hidden variables; I show how the analysis steers clear of the irreversibility implicit in the projection postulate; and I discuss possible experimental tests of this paper's ideas. Hopefully, this is a significant step toward realizing the program of solving the measurement problem within unitary quantum mechanics envisioned by Landsman, among others.


title: Model Theory, Arithmetic & Algebraic Geometry

abstract: In this pages I give an overview of the relationship between Model Theory, Arithmetic and Algebraic Geometry. The topics will be the basic ones in the area, so this is just an invitation, in the presentation of topics I mainly follow the philosophy of the references.


title: Robust and structure exploiting optimization algorithms: An integral quadratic constraint approach

abstract: We consider the problem of analyzing and designing gradient-based discrete-time optimization algorithms for a class of unconstrained optimization problems having strongly convex objective functions with Lipschitz continuous gradient. By formulating the problem as a robustness analysis problem and making use of a suitable adaptation of the theory of integral quadratic constraints, we establish a framework that allows to analyze convergence rates and robustness properties of existing algorithms and enables the design of novel robust optimization algorithms with prespecified guarantees capable of exploiting additional structure in the objective function.


title: Two-dimensional conical dispersion in ZrTe5 evidenced by optical spectroscopy

abstract: Zirconium pentatelluride was recently reported to be a 3D Dirac semimetal, with a single conical band, located at the center of the Brillouin zone. The cone's lack of protection by the lattice symmetry immediately sparked vast discussions about the size and topological/trivial nature of a possible gap opening. Here we report on a combined optical and transport study of ZrTe5, which reveals an alternative view of electronic bands in this material. We conclude that the dispersion is approximately linear only in the a-c plane, while remaining relatively flat and parabolic in the third direction (along the b axis). Therefore, the electronic states in ZrTe5 cannot be described using the model of 3D Dirac massless electrons, even when staying at energies well above the band gap 6 meV found in our experiments at low temperatures.


title: Gravitation from a quantum mechanical argument: phase space compression

abstract: We use a quantum mechanical charged particle as a test particle which probes the dynamics of force-related fields it is subject to. We allow for geodesic motion and relations involving gravitation appear. Gravitation affects quantum dynamics by modifying operator algebra. The emerging commutator between momentum's components is recognized as being proportional to electromagnetic field strength tensor. We define electromagnetic field sources through momentum's components commutator which is proportional to geometric (gravitational) quantities. As a result, a source of the electric field can be thought of as the geometric disturbance. The framework points to the non-existence of mass-less charges and gravitation being able to introduce compressability of the quantum mechanical system's phase space, which constitutes its main coupling to the quantum (condensed matter) system.


title: Quantum Computing as a High School Module

abstract: Quantum computing is a growing field at the intersection of physics and computer science. This module introduces three of the key principles that govern how quantum computers work: superposition, quantum measurement, and entanglement. The goal of this module is to bridge the gap between popular science articles and advanced undergraduate texts by making some of the more technical aspects accessible to motivated high school students. Problem sets and simulation based labs of various levels are included to reinforce the conceptual ideas described in the text. This is intended as a one week course for high school students between the ages of 15-18 years. The course begins by introducing basic concepts in quantum mechanics which are needed to understand quantum computing.


title: Decays of $W$ bosons: possible mixing of spin $0$ and spin $1$ states

abstract: We study decays of a spin $1$ boson within the formalism of Hagen-Hurley equations. Such particle can decay into two spin $\frac{1}{2}$ particles, a Weyl neutrino and a massive fermion, whose spins can couple to $S=0$ or $S=1$. Since spin $0$ and spin $1$ bosons can be described by the Dirac equation within the same representation of $\gamma ^{\mu }$ matrices mixing of $S=0$ and $S=1$ states is possible. We argue that the Hagen-Hurley equations describe $W$ boson with spin $S\in 0\oplus 1$ space and analyse mixed beta decays as well as top quark decays from this perspective.


title: Heavy Neutral Leptons from low-scale seesaws at the DUNE Near Detector

abstract: Heavy nearly-sterile neutrinos are a common ingredient in extensions of the Standard Model which aim to explain neutrino masses, like for instance in Type I seesaw models, or one of its variants. If the scale of the new Heavy Neutral Leptons (HNLs) is sufficiently low, observable signatures can arise in a range of current and upcoming experiments, from the LHC to neutrino experiments. In this article, we discuss the phenomenology of sterile neutrinos in the MeV to GeV mass range, focusing on their decays. We embed our discussion in a realistic mass model and consider the resulting implications. We focus in particular on the impact on the signal of the strong polarisation effects in the beam for Majorana and (pseudo-)Dirac states, providing formulae to incorporate these in both production and decay. We study how the Near Detector of the upcoming Deep Underground Neutrino Experiment (DUNE) can constrain HNL states by searching for their decay products inside the detector. We conduct a Monte Carlo background analysis for the most promising signatures, incorporating the detector's particle identification capabilities, and estimate the experimental sensitivity of DUNE to these particles. We also present an estimate of the $\nu_\tau$-derived HNL flux at DUNE, currently missing in the literature, which allows us to discuss searches for HNLs at higher masses.


title: Degenerately Doped Transition Metal Dichalcogenides as Ohmic Homojunction Contacts to Transition Metal Dichalcogenide Semiconductors

abstract: In search of an improved strategy to form low resistance contacts to MoS2 and related semiconducting transition metal dichalcogenides, we use ab initio density functional electronic structure calculations in order to determine the equilibrium geometry and electronic structure of MoO3/MoS2 and MoO2/MoS2 bilayers. Our results indicate that, besides a rigid band shift associated with charge transfer, the presence of molybdenum oxide modifies the electronic structure of MoS2 very little. We find that the charge transfer in the bilayer provides a sufficient degree of hole doping to MoS2, resulting in a highly transparent contact region.


title: Learn to synthesize and synthesize to learn

abstract: Attribute guided face image synthesis aims to manipulate attributes on a face image. Most existing methods for image-to-image translation can either perform a fixed translation between any two image domains using a single attribute or require training data with the attributes of interest for each subject. Therefore, these methods could only train one specific model for each pair of image domains, which limits their ability in dealing with more than two domains. Another disadvantage of these methods is that they often suffer from the common problem of mode collapse that degrades the quality of the generated images. To overcome these shortcomings, we propose attribute guided face image generation method using a single model, which is capable to synthesize multiple photo-realistic face images conditioned on the attributes of interest. In addition, we adopt the proposed model to increase the realism of the simulated face images while preserving the face characteristics. Compared to existing models, synthetic face images generated by our method present a good photorealistic quality on several face datasets. Finally, we demonstrate that generated facial images can be used for synthetic data augmentation, and improve the performance of the classifier used for facial expression recognition.


title: The deformation parameter of the generalized uncertainty principle

abstract: After a short introduction to the generalized uncertainty principle (GUP), we review some of the physical predictions of the GUP, and we focus in particular on the bounds that present experimental tests can put on the value of the deformation parameter $\beta$. We also describe a theoretical value computed for $\beta$, and comment on the vast parameter region still unexplored, and to be probed by future experiments.


title: Beyond Mobile Apps: A Survey of Technologies for Mental Well-being

abstract: Mental health problems are on the rise globally and strain national health systems worldwide. Mental disorders are closely associated with fear of stigma, structural barriers such as financial burden, and lack of available services and resources which often prohibit the delivery of frequent clinical advice and monitoring. Technologies for mental well-being exhibit a range of attractive properties, which facilitate the delivery of state-of-the-art clinical monitoring. This review article provides an overview of traditional techniques followed by their technological alternatives, sensing devices, behaviour changing tools, and feedback interfaces. The challenges presented by these technologies are then discussed with data collection, privacy, and battery life being some of the key issues which need to be carefully considered for the successful deployment of mental health toolkits. Finally, the opportunities this growing research area presents are discussed including the use of portable tangible interfaces combining sensing and feedback technologies. Capitalising on the data these ubiquitous devices can record, state of the art machine learning algorithms can lead to the development of robust clinical decision support tools towards diagnosis and improvement of mental well-being delivery in real-time.


title: Jordan Algebraic Interpretation of Maximal Parabolic Subalgebras : Exceptional Lie Algebras

abstract: With this paper we start a programme aiming at connecting two vast scientific areas: Jordan algebras and representation theory. Within representation theory, we focus on non-compact, real forms of semisimple Lie algebras and groups as well as on the modern theory of their induced representations, in which a central role is played by the parabolic subalgebras and subgroups. The aim of the present paper and its sequels is to present a Jordan algebraic interpretations of maximal parabolic subalgebras. In this first paper, we confine ourselves to maximal parabolic subalgebras of the non-compact real forms of finite-dimensional exceptional Lie algebras, in particular focusing on Jordan algebras of rank 2 and 3.


title: Charge transfer in LaVO$_3$/LaTiO$_3$ multilayers: strain-controlled dimensionality of interface metallicity between two Mott insulators

abstract: We use density functional theory plus dynamical mean-field theory to demonstrate the emergence of a metallic layer at the interface between the two Mott insulators LaTiO$_3$ and LaVO$_3$. The metallic layer is due to charge transfer across the interface, which alters the valence state of the transition metal cations close to the interface. Somewhat counter-intuitively, the charge is transferred from the Ti cations with formal $d^1$ electron configuration to the the V cations with formal $d^2$ configuration, thereby increasing the occupation difference of the $t_{2g}$ states. This can be understood as a result of a gradual transition of the charge transfer energy, or electronegativity, across the interface. The spatial extension of the metallic layer, in particular towards the LaTiO$_3$ side, can be controlled by epitaxial strain, with tensile strain leading to a localization within a thickness of only two unit cells. Our results open up a new route for creating a tunable quasi-two-dimensional electron gas in materials with strong electronic correlations.


title: Modular hyperbolas and bilinear forms of Kloosterman sums

abstract: In this paper we study incidences for hyperbolas in $\mathbf{F}_p$ and show how linear sum--product methods work for such curves. As an application we give a purely combinatorial proof of a nontrivial upper bound for bilinear forms of Kloosterman sums.


title: AdaCos: Adaptively Scaling Cosine Logits for Effectively Learning Deep Face Representations

abstract: The cosine-based softmax losses and their variants achieve great success in deep learning based face recognition. However, hyperparameter settings in these losses have significant influences on the optimization path as well as the final recognition performance. Manually tuning those hyperparameters heavily relies on user experience and requires many training tricks. In this paper, we investigate in depth the effects of two important hyperparameters of cosine-based softmax losses, the scale parameter and angular margin parameter, by analyzing how they modulate the predicted classification probability. Based on these analysis, we propose a novel cosine-based softmax loss, AdaCos, which is hyperparameter-free and leverages an adaptive scale parameter to automatically strengthen the training supervisions during the training process. We apply the proposed AdaCos loss to large-scale face verification and identification datasets, including LFW, MegaFace, and IJB-C 1:1 Verification. Our results show that training deep neural networks with the AdaCos loss is stable and able to achieve high face recognition accuracy. Our method outperforms state-of-the-art softmax losses on all the three datasets.


title: A thermal quantum classifier

abstract: A data classifier is the basic structural unit of an artificial neural network. These classifiers, known as perceptron, make an output prediction over the linear summation of the input information. Quantum versions of artificial neural networks are considered to provide more efficient and faster artificial intelligence and learning algorithms. The most generic and realistic open quantum systems are the quantum systems in thermal environments and the information carried by the thermal reservoirs is the temperature information. This study shows that an open quantum system that is in contact with many information channels is a natural information classifier. More specifically, it has been demonstrated that a two-level quantum system can classify temperature information of distinct thermal reservoirs. The results of the manuscript are of importance to the construction of thermal quantum neural networks and the development of minimal quantum thermal machines. Also, a physical model, proposed and discussed with realistic parameters, shows that faster operating thermal quantum classifiers can be built than the classical versions.


title: Conformally equivariant quantization and symbol maps associated with $n$-ary differential operators on weighted densities

abstract: We are interested in the study of the space of $n$-ary differential operators denoted by $\mathfrak{D}_{\underline{\l},\mu}$ where $\underline{\l}=(\l_{1},...,\l_{n})$ acting on weighted densities from $\frak F_{\l_1}\otimes\frak F_{\l_2}\otimes...\otimes\frak F_{\l_n}$ to $\frak F_{\mu}$ as a module over the orthosymplectic superalgebra $\mathfrak{osp}(1|2)$. As a consequence, we prove the existence and the uniqueness of a canonical conformally equivariant symbol map from $\mathfrak{D}_{\underline{\lambda},\mu}^k$ to the corresponding space of symbols as well for the explicit expression of the associated quantization map.


title: No master (key) No (measurement) problem

abstract: Can normal science-in the Kuhnian sense-add something substantial to the discussion about the measurement problem? Does an extended Wigner's-friend Gedankenexperiment illustrate new issues? Or a new quality of known issues? Are we led to new interpretations, new perspectives, or do we iterate the previously known? The recent debate does, as we argue, neither constitute a turning point in the discussion about the measurement problem nor fundamentally challenge the legitimacy of quantum mechanics. Instead, the measurement problem asks for a reflection on fundamental paradigms of doing physics.


title: Energy conditions for a $T^2$ wormhole at the center

abstract: Within general relativity, we determine the energy conditions needed for the existence of a toroidal $T^2$ wormhole. For this purpose, we employ the conditions of the positiveness of the second derivatives of the relevant components of the metric, which describe an increase in the linear sizes (or the area) of the cross section of the throat. The corresponding inequalities for the central energy density and pressures of the matter and for the metric are obtained.


title: Some Results about the Index Conjecture for log Calabi-Yau Pairs

abstract: We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We also show boundedness of log canonical index for klt log Calabi-Yau pairs in dimension 4 with $B\neq 0$.


title: Exponential Stability of Primal-Dual Gradient Dynamics with Non-Strong Convexity

abstract: This paper studies the exponential stability of primal-dual gradient dynamics (PDGD) for solving convex optimization problems where constraints are in the form of Ax+By= d and the objective is min f(x)+g(y) with strongly convex smooth f but only convex smooth g. We show that when g is a quadratic function or when g and matrix B together satisfy an inequality condition, the PDGD can achieve global exponential stability given that matrix A is of full row rank. These results indicate that the PDGD is locally exponentially stable with respect to any convex smooth g under a regularity condition. To prove the exponential stability, two quadratic Lyapunov functions are designed. Lastly, numerical experiments further complement the theoretical analysis.


title: A Comparative Analysis of the Cyber Security Strategy of Bangladesh

abstract: Technology is an endless evolving expression in modern era, which increased security concerns and pushed us to create cyber environment. A National Cyber Security Strategy (NCSS) of a country reflects the state of that country's cyber strength which represents the aim and vision of the cyber security of a country. Formerly, researchers have worked on NCSS by comparing NCSS between different nations for international collaboration and harmonization and some researchers worked on policy framework for their respective governments. However very insignificant attempts had been made to assess the strategic strength of NCSS of Bangladesh by performing cross comparisons on NCSS of different Nations. Therefore, the motive of this research is to evaluate the robustness of the existing cyber security strategy of Bangladesh in comparison with some of the most technologically advanced countries in Asian continent and others like USA, Japan, Singapore, Malaysia and India in order to keep the NCSS of Bangladesh up-to-date.


title: D2D Multicast in Underlay Cellular Networks with Exclusion Zones

abstract: Underlay device-to-device (D2D) multicast communication has potential to improve performance of cellular networks. However, co-channel interference among cellular users (CUs) and D2D multicast groups (MGs) limits the gains of such communication. Allowing the CUs to have exclusion zones around them where no receiver of any MG can exist, is a realistic and pragmatic approach to reduce the co-channel interference of cellular transmission on D2D multicast reception. We use a stochastic geometry based approach to model this scenario. Specifically, we model the locations of CUs and D2D MG receivers with homogeneous Poisson Point Process (PPP), and Poisson Hole Process (PHP), respectively. We formulate the network sum throughput maximization problem in terms of a joint MG channel and power allocation problem with constraints on cellular and MG users maximum transmit and acceptable quality of service. We establish that the MG channel allocation problem has computational complexity that is exponential in both, the number of MGs and the number of available cellular channels. Then, we decompose this problem into two subproblems: subset selection problem and subset channel assignment problem. Based on observations and insights obtained from numerical analysis of the optimal solution of the subset selection problem in wide variety of scenarios, we propose a computationally efficient scheme that achieves almost optimal performance for the subset selection problem. We further provide a computationally efficient algorithm that achieves almost optimal performance for the subset channel assignment problem. Finally, combining these two schemes, we provide a computationally efficient and almost optimal scheme to solve the channel allocation problem, and various results and insights on the variation of the optimal system performance with respect to different system parameters


title: Introducing Graph Smoothness Loss for Training Deep Learning Architectures

abstract: We introduce a novel loss function for training deep learning architectures to perform classification. It consists in minimizing the smoothness of label signals on similarity graphs built at the output of the architecture. Equivalently, it can be seen as maximizing the distances between the network function images of training inputs from distinct classes. As such, only distances between pairs of examples in distinct classes are taken into account in the process, and the training does not prevent inputs from the same class to be mapped to distant locations in the output domain. We show that this loss leads to similar performance in classification as architectures trained using the classical cross-entropy, while offering interesting degrees of freedom and properties. We also demonstrate the interest of the proposed loss to increase robustness of trained architectures to deviations of the inputs.


title: First principles investigation of topological phase in XMR material TmSb under hydrostatic pressure

abstract: In this article, we report emergence of topological phase in XMR material TmSb under hydrostatic pressure using first principles calculations. We find that TmSb, a topologically trivial semimetal, undergoes a topological phase transition with band inversion at X point without breaking any symmetry under a hydrostatic pressure of 12 GPa. At 15 GPa, it again becomes topologically trivial with band inversion at $\Gamma$ as well as X point. We find that the pressures corresponding to the topological phase transitions are far below the pressure corresponding to structural phase transition at 25.5 GPa. The reentrant behaviour of topological quantum phase with hydrostatic pressure would help in finding a correlation between topology and XMR effect through experiments.


title: Flag Bott manifolds of general Lie type and their equivariant cohomology rings

abstract: In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.


title: On generating network traffic datasets with synthetic attacks for intrusion detection

abstract: Most research in the area of intrusion detection requires datasets to develop, evaluate or compare systems in one way or another. In this field, however, finding suitable datasets is a challenge on to itself. Most publicly available datasets have negative qualities that limit their usefulness. In this article, we propose ID2T (Intrusion Detection Dataset Toolkit) to tackle this problem. ID2T facilitates the creation of labeled datasets by injecting synthetic attacks into background traffic. The injected synthetic attacks blend themselves with the background traffic by mimicking the background traffic's properties to eliminate any trace of ID2T's usage. This work has three core contribution areas. First, we present a comprehensive survey on intrusion detection datasets. In the survey, we propose a classification to group the negative qualities we found in the datasets. Second, the architecture of ID2T is revised, improved and expanded. The architectural changes enable ID2T to inject recent and advanced attacks such as the widespread EternalBlue exploit or botnet communication patterns. The toolkit's new functionality provides a set of tests, known as TIDED (Testing Intrusion Detection Datasets), that help identify potential defects in the background traffic into which attacks are injected. Third, we illustrate how ID2T is used in different use-case scenarios to evaluate the performance of anomaly and signature-based intrusion detection systems in a reproducible manner. ID2T is open source software and is made available to the community to expand its arsenal of attacks and capabilities.


title: Parameterized Complexity of Conflict-free Graph Coloring

abstract: Given a graph G, a q-open neighborhood conflict-free coloring or q-ONCF-coloring is a vertex coloring $c:V(G) \rightarrow \{1,2,\ldots,q\}$ such that for each vertex $v \in V(G)$ there is a vertex in $N(v)$ that is uniquely colored from the rest of the vertices in $N(v)$. When we replace $N(v)$ by the closed neighborhood $N[v]$, then we call such a coloring a q-closed neighborhood conflict-free coloring or simply q-CNCF-coloring. In this paper, we study the NP-hard decision questions of whether for a constant q an input graph has a q-ONCF-coloring or a q-CNCF-coloring. We will study these two problems in the parameterized setting. First of all, we study running time bounds on FPT-algorithms for these problems, when parameterized by treewidth. We improve the existing upper bounds, and also provide lower bounds on the running time under ETH and SETH. Secondly, we study the kernelization complexity of both problems, using vertex cover as the parameter. We show that both $(q \geq 2)$-ONCF-coloring and $(q \geq 3)$-CNCF-coloring cannot have polynomial kernels when parameterized by the size of a vertex cover unless $NP \in coNP/poly$. However, we obtain a polynomial kernel for 2-CNCF-coloring parameterized by vertex cover. We conclude with some combinatorial results. Denote $\chi_{ON}(G)$ and $\chi_{CN}(G)$ to be the minimum number of colors required to ONCF-color and CNCF-color G, respectively. Upper bounds on $\chi_{CN}(G)$ with respect to structural parameters like minimum vertex cover size, minimum feedback vertex set size and treewidth are known. To the best of our knowledge only an upper bound on $\chi_{ON}(G)$ with respect to minimum vertex cover size was known. We provide tight bounds for $\chi_{ON}(G)$ with respect to minimum vertex cover size. Also, we provide the first upper bounds on $\chi_{ON}(G)$ with respect to minimum feedback vertex set size and treewidth.


title: Distinct coordinate solutions of linear equations over finite fields

abstract: Let $\mathbb{F}_q$ be the finite field of $q$ elements and $a_1,a_2, \ldots, a_k, b\in \mathbb{F}_q$. We investigate $N_{\mathbb{F}_q}(a_1, a_2, \ldots,a_k;b)$, the number of ordered solutions $(x_1, x_2, \ldots,x_k)\in\mathbb{F}_q^k$ of the linear equation $$ a_1x_1+a_2x_2+\cdots+a_kx_k=b$$ with all $x_i$ distinct. We obtain an explicit formula for $N_{\mathbb{F}_q}(a_1,a_2, \ldots, a_k;b)$ involving combinatorial numbers depending on $a_i$'s. In particular, we obtain closed formulas for two special cases. One is that $a_i, 1\leq i\leq k$ take at most three distinct values and the other is that $\sum_{i=1}^ka_i=0$ and $\sum_{i\in I}a_i\neq 0$ for any $I\subsetneq [k]$. The same technique works when $\mathbb{F}_q$ is replaced by $\mathbb{Z}_n$, the ring of integers modulo $n$. In particular, we give a new proof for the main result given by Bibak, Kapron and Srinivasan, which generalizes a theorem of Sch\"{o}nemann via a graph theoretic method.


title: 3DFaceGAN: Adversarial Nets for 3D Face Representation, Generation, and Translation

abstract: Over the past few years, Generative Adversarial Networks (GANs) have garnered increased interest among researchers in Computer Vision, with applications including, but not limited to, image generation, translation, imputation, and super-resolution. Nevertheless, no GAN-based method has been proposed in the literature that can successfully represent, generate or translate 3D facial shapes (meshes). This can be primarily attributed to two facts, namely that (a) publicly available 3D face databases are scarce as well as limited in terms of sample size and variability (e.g., few subjects, little diversity in race and gender), and (b) mesh convolutions for deep networks present several challenges that are not entirely tackled in the literature, leading to operator approximations and model instability, often failing to preserve high-frequency components of the distribution. As a result, linear methods such as Principal Component Analysis (PCA) have been mainly utilized towards 3D shape analysis, despite being unable to capture non-linearities and high frequency details of the 3D face - such as eyelid and lip variations. In this work, we present 3DFaceGAN, the first GAN tailored towards modeling the distribution of 3D facial surfaces, while retaining the high frequency details of 3D face shapes. We conduct an extensive series of both qualitative and quantitative experiments, where the merits of 3DFaceGAN are clearly demonstrated against other, state-of-the-art methods in tasks such as 3D shape representation, generation, and translation.


title: Bridging of liquid drops at chemically structured walls

abstract: Using mesoscopic interfacial models and microscopic density functional theory we study fluid adsorption at a dry wall decorated with three completely wet stripes of width $L$ separated by distances $D_1$ and $D_2$. The stripes interact with the fluid with long-range forces inducing a large finite-size contribution to the surface free-energy. We show that this non-extensive free-energy contribution scales with $\ln L$ and drives different types of bridging transition corresponding to the merging of liquid drops adsorbed at neighbouring wetting stripes when the separation between them is molecularly small. We determine the surface phase diagram and show that this exhibits two triple points, where isolated drops, double drops and triple drops coexist. For the symmetric case, $D_1=D_2\equiv D$, our results also confirm that the equilbrium droplet configuration always has the symmetry of the substrate corresponding to either three isolated drops when $D$ is large or a single triple drop when $D$ is small; however, symmetry broken configurations do occur in a metastable part of the phase diagram which lies very close to the equilibrium bridging phase boundary. Implications for phase transitions on other types of patterned surface are considered.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.mtrl-sci physics.atm-clus


title: A Large Effective Phonon Magnetic Moment in a Dirac Semimetal

abstract: We investigated the magnetoterahertz response of the Dirac semimetal Cd$_3$As$_2$ and observed a particularly low frequency optical phonon, as well as a very prominent and field sensitive cyclotron resonance. As the cyclotron frequency is tuned with field to pass through the phonon, the phonon become circularly polarized as shown by a notable splitting in their response to right- and left-hand polarized light. This splitting can be expressed as an effective phonon magnetic moment that is approximately 2.7 times the Bohr magneton, which is almost four orders of magnitude larger than ab initio calculations predict for phonon magnetic moments in nonmagnetic insulators. This exceedingly large value is due to the coupling of the phonons to the cyclotron motion and is controlled directly by the electron-phonon coupling constant. This field tunable circular-polarization selective coupling provides new functionality for nonlinear optics to create light-induced topological phases in Dirac semimetals.


title: Towards computer vision powered color-nutrient assessment of pureed food

abstract: With one in four individuals afflicted with malnutrition, computer vision may provide a way of introducing a new level of automation in the nutrition field to reliably monitor food and nutrient intake. In this study, we present a novel approach to modeling the link between color and vitamin A content using transmittance imaging of a pureed foods dilution series in a computer vision powered nutrient sensing system via a fine-tuned deep autoencoder network, which in this case was trained to predict the relative concentration of sweet potato purees. Experimental results show the deep autoencoder network can achieve an accuracy of 80% across beginner (6 month) and intermediate (8 month) commercially prepared pureed sweet potato samples. Prediction errors may be explained by fundamental differences in optical properties which are further discussed.


title: Astro2020 Science White Paper: Making the Connection between Feedback andSpatially Resolved Emission Line Diagnostics

abstract: Crucial progress in our understanding of star formation and feedback will depend on the ability to obtain spatially resolved spectroscopic observations of \ion{H}{ii} regions, from which reliable instantaneous measurements of their physical conditions can be obtained. Acquiring these datasets across full galactic systems will prove crucial for obtaining population samples that enable us to understand the time evolution of similar regions, and the variability of conditions among coeval regions. Separating the spatial and temporal dependencies in such way for different physical processes involved in star formation and the injection of feedback is crucial to overcome the inherit degeneracies associated with observing instantaneous snapshots of a dynamic ISM at any given time. Emission line diagnostics are at the core of measuring the physical condition in \ion{H}{ii} regions (e.g. dynamics, SFR, chemical abundances, dust extinction, ionization and excitation, etc.). These measurements require high spatial resolution, contiguous coverage across full galactic systems, and sensitivities significantly deeper than past efforts. The spatial scale required to resolve the \ion{H}{ii} regions of a few pc is only attainable in the Local Group where very large sky coverage is necessary.


title: An optomechanical heat engine with feedback-controlled in-loop light

abstract: The dissipative properties of an optical cavity can be effectively controlled by placing it in a feedback loop where the light at the cavity output is detected and the corresponding signal is used to modulate the amplitude of a laser field which drives the cavity itself. Here we show that this effect can be exploited to improve the performance of an optomechanical heat engine which makes use of polariton excitations as working fluid. In particular we demonstrate that, by employing a positive feedback close to the instability threshold, it is possible to operate this engine also under parameters regimes which are not usable without feedback, and which may significantly ease the practical implementation of this device.


title: Revisiting the Polyak step size

abstract: This paper revisits the Polyak step size schedule for convex optimization problems, proving that a simple variant of it simultaneously attains near optimal convergence rates for the gradient descent algorithm, for all ranges of strong convexity, smoothness, and Lipschitz parameters, without a-priory knowledge of these parameters.


title: Prospects of joint detections of neutron star mergers and short-GRBs with Gaussian structured jets

abstract: GW170817 was the first ever joint detection of gravitational waves (GW) from a binary neutron star (BNS) merger with the detections of short $\gamma$-ray burst (SGRB) counterparts. Analysis of the multi-band afterglow observations of over more than a year revealed that the outflow from the merger end-product was consistent with structured relativistic jet models with the core of the jet narrowly collimated to half opening angles $\sim5$ deg. In this work, assuming all the BNS mergers produce Gaussian structured jets with properties as inferred for GW170817, we explore the prospects of joint detections of BNS mergers and prompt $\gamma-$ray emission, expected during the current and upcoming upgrades of LIGO-Virgo-KAGRA detectors. We discuss three specific observational aspects: 1) the distribution of detected binary inclination angles 2) the distance reach and 3) the detection rates. Unlike GW-only detections, the joint detections are greatly restricted at large inclination angles, due to the structure of the jets. We find that at lower inclination angles (say below 20 deg), the distance reach as well as the detection rates of the joint detections are limited by GW detectability while at larger inclinations (say above 20 deg), they are limited by the $\gamma$-ray detectability.


title: Testing dark matter with Cherenkov light -- prospects of H.E.S.S. and CTA for exploring minimal supersymmetry

abstract: We provide an updated and improved study of the prospects of the H.E.S.S. and Cherenkov Telescope Array (CTA) experiments in testing neutralino dark matter in the Minimal Supersymmetric Standard Model with nine free parameters (p9MSSM). We include all relevant experimental constraints and theoretical developments, in particular the calculation of the Sommerfeld enhancement for both present-day annihilation and the relic abundance. We perform a state-of-the-art analysis of the CTA sensitivity with a log-likelihood test ratio statistics and apply it to a numerical scan of the p9MSSM parameter space focusing on a TeV scale dark matter. We find that, assuming Einasto profile of dark matter halo in the Milky Way, H.E.S.S. has already been able to nearly reach the so-called thermal WIMP value, while CTA will go below it by providing a further improvement of at least an order of magnitude. Both H.E.S.S. and CTA are sensitive to several cases for which direct detection cross section will be below the so-called neutrino floor, with H.E.S.S. being sensitive to most of the wino region, while CTA also covering a large fraction of the ~1 TeV higgsino region. We show that CTA sensitivity will be further improved in the monochromatic photon search mode for both single-component and underabundant dark matter.


title: Large, lengthy graphs look locally like lines

abstract: We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a graph, there exists a mesoscopic scale on which the graph looks like $\mathbb{R}$ in the sense that the rescaled ball is close to a line segment in the Gromov-Hausdorff metric.


title: Hydrodynamic Coulomb drag and bounds on diffusion

abstract: We study Coulomb drag between an active layer with a clean electron liquid and a passive layer with a pinned electron lattice in the regime of fast intralayer equilibration. Such a two-fluid system offers an experimentally realizable way to disentangle the fast rate of intralayer electron-electron interactions from the much slower rate of momentum transfer between both layers. We identify an intermediate temperature range above the Fermi energy of the electron fluid but below the Debye energy of the electronic crystal where the hydrodynamic drag resistivity is directly proportional to a fast electron-electron scattering rate. The results are compatible with the conjectured scenario for strong electron-electron interactions which poses that a linear temperature dependence of resistivity originates from a "Planckian" electron relaxation time $\tau_{eq}\sim \hbar/k_BT$. We compare this to the better known semiclassical case, where the diffusion constant is found to be not proportional to the microscopic timescale.


title: Many-body effects on the thermodynamics of closed quantum systems

abstract: Thermodynamics of quantum systems out-of-equilibrium is very important for the progress of quantum technologies, however, the effects of many body interactions and their interplay with temperature, different drives and dynamical regimes is still largely unknown. Here we present a systematic study of these interplays: we consider a variety of interaction (from non-interacting to strongly correlated) and dynamical (from sudden quench to quasi-adiabatic) regimes, and draw some general conclusions in relation to work extraction and entropy production. As treatment of many-body interacting systems is highly challenging, we introduce a simple approximation which includes, for the average quantum work, many-body interactions only via the initial state, while the dynamics is fully non-interacting. We demonstrate that this simple approximation is surprisingly good for estimating both the average quantum work and the related entropy variation, even when many-body correlations are significant.


title: Beta Power May Mediate the Effect of Gamma-TACS on Motor Performance

abstract: Transcranial alternating current stimulation (tACS) is becoming an important method in the field of motor rehabilitation because of its ability to non-invasively influence ongoing brain oscillations at arbitrary frequencies. However, substantial variations in its effect across individuals are reported, making tACS a currently unreliable treatment tool. One reason for this variability is the lack of knowledge about the exact way tACS entrains and interacts with ongoing brain oscillations. The present crossover stimulation study on 20 healthy subjects contributes to the understanding of cross-frequency effects of gamma (70 Hz) tACS over the contralateral motor cortex by providing empirical evidence which is consistent with a role of low- (12~-20 Hz) and high- (20-~30 Hz) beta power as a mediator of gamma-tACS on motor performance.


title: Observation of multi-component atomic Schr\"odinger cat states of up to 20 qubits

abstract: We report on deterministic generation of 18-qubit genuinely entangled Greenberger-Horne-Zeilinger (GHZ) state and multi-component atomic Schr\"{o}dinger cat states of up to 20 qubits on a quantum processor, which features 20 superconducting qubits interconnected by a bus resonator. By engineering a one-axis twisting Hamiltonian enabled by the resonator-mediated interactions, the system of qubits initialized coherently evolves to an over-squeezed, non-Gaussian regime, where atomic Schr\"{o}dinger cat states, i.e., superpositions of atomic coherent states including GHZ state, appear at specific time intervals in excellent agreement with theory. With high controllability, we are able to take snapshots of the dynamics by plotting quasidistribution $Q$-functions of the 20-qubit atomic cat states, and globally characterize the 18-qubit GHZ state which yields a fidelity of $0.525\pm0.005$ confirming genuine eighteen-partite entanglement. Our results demonstrate the largest entanglement controllably created so far in solid state architectures, and the process of generating and detecting multipartite entanglement may promise applications in practical quantum metrology, quantum information processing and quantum computation.


title: COH, SRT22, and multiple functionals

abstract: We prove the following result: there is a family $R = \langle R_0,R_1,\ldots \rangle$ of subsets of $\omega$ such that for every stable coloring $c : [\omega]^2 \to k$ hyperarithmetical in $R$ and every finite collection of Turing functionals, there is an infinite homogeneous set $H$ for $c$ such that none of the finitely many functionals map $R \oplus H$ to an infinite cohesive set for $R$. This extends the current best partial results towards the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem in reverse mathematics, and is also a partial result towards the resolution of several related problems, such as whether $\mathsf{COH}$ is omnisciently computably reducible to $\mathsf{SRT}^2_2$.


title: Multi-level Encoder-Decoder Architectures for Image Restoration

abstract: Many real-world solutions for image restoration are learning-free and based on handcrafted image priors such as self-similarity. Recently, deep-learning methods that use training data have achieved state-of-the-art results in various image restoration tasks (e.g., super-resolution and inpainting). Ulyanov et al. bridge the gap between these two families of methods (CVPR 18). They have shown that learning-free methods perform close to the state-of-the-art learning-based methods (approximately 1 PSNR). Their approach benefits from the encoder-decoder network. In this paper, we propose a framework based on the multi-level extensions of the encoder-decoder network, to investigate interesting aspects of the relationship between image restoration and network construction independent of learning. Our framework allows various network structures by modifying the following network components: skip links, cascading of the network input into intermediate layers, a composition of the encoder-decoder subnetworks, and network depth. These handcrafted network structures illustrate how the construction of untrained networks influence the following image restoration tasks: denoising, super-resolution, and inpainting. We also demonstrate image reconstruction using flash and no-flash image pairs. We provide performance comparisons with the state-of-the-art methods for all the restoration tasks above.


title: Nikolskii inequality for lacunary spherical polynomials

abstract: We prove that for $d\ge 2$, the asymptotic order of the usual Nikolskii inequality on $\mathbb{S}^d$ (also known as the reverse H\"{o}lder's inequality) can be significantly improved in many cases, for lacunary spherical polynomials of the form $f=\sum_{j=0}^m f_{n_j}$ with $f_{n_j}$ being a spherical harmonic of degree $n_j$ and $n_{j+1}-n_j\ge 3$. As is well known, for $d=1$, the Nikolskii inequality for trigonometric polynomials on the unit circle does not have such a phenomenon.


title: Robust simultaneous stabilization and decoupling of unstable adversely coupled uncertain resource constraints plants of a nano air vehicle

abstract: The plants of nano air vehicles (NAVs) are generally unstable, adversely coupled, and uncertain. Besides, the autopilot hardware of a NAV has limited sensing and computational capabilities. Hence, these vehicles need a single controller referred to as Robust Simultaneously Stabilizing Decoupling (RSSD) output feedback controller that achieves simultaneous stabilization, desired decoupling, robustness, and performance for a finite set of unstable multi-input-multi-output adversely coupled uncertain plants. To synthesize a RSSD output feedback controller, a new method that is based on a central plant is proposed in this paper. Given a finite set of plants for simultaneous stabilization, we considered a plant in this set that has the smallest maximum $v-$gap metric as the central plant. Following this, the sufficient condition for the existence of a simultaneous stabilizing controller associated with such a plant is described. The decoupling feature is then appended to this controller using the properties of the eigenstructure assignment method. Afterward, the sufficient conditions for the existence of a RSSD output feedback controller are obtained. Using these sufficient conditions, a new optimization problem for the synthesis of a RSSD output feedback controller is formulated. To solve this optimization problem, a new genetic algorithm based offline iterative algorithm is developed. The effectiveness of this iterative algorithm is then demonstrated by generating a RSSD controller for a fixed-wing nano air vehicle. The performance of this controller is validated through numerical and hardware-in-the-loop simulations.


title: QKD in Isabelle -- Bayesian Calculation

abstract: In this paper, we present a first step towards a formalisation of the Quantum Key Distribution algorithm in Isabelle. We focus on the formalisation of the main probabilistic argument why Bob cannot be certain about the key bit sent by Alice before he does not have the chance to compare the chosen polarization scheme. This means that any adversary Eve is in the same position as Bob and cannot be certain about the transmitted keybits. We introduce the necessary basic probability theory, present a graphical depiction of the protocol steps and their probabilities, and finally how this is translated into a formal proof of the security argument.


title: Self-Similarity and Criticality in the Boson (pions) field produced according to dynamic cascade models

abstract: In this work we reveal that the inside-outside dynamic model for the production of fermion-antifermion pair (or quark-antiquark in QCD), is an out of equilibrium process. Properties of a complex system as the self-similarity and the critical point of a continuous phase transition in equilibrium appear. In this work we show that this is accomplished imposing a type of mapping process through a self-composition operator on a QED_2 bosons (or pions) field.


title: A theorem on shifted Hankel determinants

abstract: We prove a conjecture of Johann Cigler on shifted Hankel determinants.


title: Interpretable multiclass classification by MDL-based rule lists

abstract: Interpretable classifiers have recently witnessed an increase in attention from the data mining community because they are inherently easier to understand and explain than their more complex counterparts. Examples of interpretable classification models include decision trees, rule sets, and rule lists. Learning such models often involves optimizing hyperparameters, which typically requires substantial amounts of data and may result in relatively large models. In this paper, we consider the problem of learning compact yet accurate probabilistic rule lists for multiclass classification. Specifically, we propose a novel formalization based on probabilistic rule lists and the minimum description length (MDL) principle. This results in virtually parameter-free model selection that naturally allows to trade-off model complexity with goodness of fit, by which overfitting and the need for hyperparameter tuning are effectively avoided. Finally, we introduce the Classy algorithm, which greedily finds rule lists according to the proposed criterion. We empirically demonstrate that Classy selects small probabilistic rule lists that outperform state-of-the-art classifiers when it comes to the combination of predictive performance and interpretability. We show that Classy is insensitive to its only parameter, i.e., the candidate set, and that compression on the training set correlates with classification performance, validating our MDL-based selection criterion.


title: A Probabilistic Approach to Power System State Estimation using a Linear Algorithm

abstract: An equivalent circuit formulation for power system analysis was demonstrated to improve robustness of Power Flow and enable more generalized modeling, including that for RTUs (Remote Terminal Units) and PMUs (Phasor Measurement Units). These measurement device models, together with an adjoint circuit based optimization framework, enable an alternative formulation to Power System State Estimation (SE) that can be solved within the equivalent circuit formulation. In this paper, we utilize a linear RTU model to create a fully linear SE algorithm that includes PMU and RTU measurements to enable a probabilistic approach to SE. Results demonstrate that this is a practical approach that is well suited for real-world applications.


title: Stationary measure induced by the eigenvalue problem of the one-dimensional Hadamard walk

abstract: In this paper, we consider the stationary measure of the Hadamard walk on the one-dimensional integer lattice. Here all the stationary measures given by solving the eigenvalue problem are completely determined via the transfer matrix method. Then these stationary measures can be divided into three classes, i.e., quadratic polynomial, bounded, and exponential types. In particular, we present an explicit necessary and sufficient condition for the bounded-type stationary measure to be periodic.


title: High-Performance Support Vector Machines and Its Applications

abstract: The support vector machines (SVM) algorithm is a popular classification technique in data mining and machine learning. In this paper, we propose a distributed SVM algorithm and demonstrate its use in a number of applications. The algorithm is named high-performance support vector machines (HPSVM). The major contribution of HPSVM is two-fold. First, HPSVM provides a new way to distribute computations to the machines in the cloud without shuffling the data. Second, HPSVM minimizes the inter-machine communications in order to maximize the performance. We apply HPSVM to some real-world classification problems and compare it with the state-of-the-art SVM technique implemented in R on several public data sets. HPSVM achieves similar or better results.


title: LS-SVR as a Bayesian RBF network

abstract: We show theoretical similarities between the Least Squares Support Vector Regression (LS-SVR) model with a Radial Basis Functions (RBF) kernel and maximum a posteriori (MAP) inference on Bayesian RBF networks with a specific Gaussian prior on the regression weights. Although previous works have pointed out similar expressions between those learning approaches, we explicit and formally state the existing correspondences. We empirically demonstrate our result by performing computational experiments with standard regression benchmarks. Our findings open a range of possibilities to improve LS-SVR by borrowing strength from well-established developments in Bayesian methodology.


title: A convex cover for closed unit curves has area at least 0.0975

abstract: We combine geometric methods with numerical box search algorithm to show that the minimal area of a convex set on the plane which can cover every closed plane curve of unit length is at least 0.0975. This improves the best previous lower bound of 0.096694. In fact, we show that the minimal area of convex hull of circle, equilateral triangle, and rectangle of perimeter $1$ is between 0.0975 and 0.09763.


title: Homogeneous and Heterogeneous Response of Quorum-Sensing Bacteria in an Evolutionary Context

abstract: To explain the stability of cooperation is a central task of evolutionary theory. We investigate this question in the case of quorum sensing (QS) bacteria, which regulate cooperative traits in response to population density. Cooperation is modeled by the prisoner's dilemma, where individuals produce a costly public good (PG) that equally benefits all members of a community divided into multiple, distinct patches (multilevel selection). Cost and benefit are non-linear functions of the PG production. The analysis of evolutionary stability yields an optimization problem for the expression of PG in dependency on the number of QS individuals within a colony. We find that the optimal total PG production of the QS population mainly depends on the shape of the benefit. A graded and a switch-like response is possible, in accordance with earlier results. Interestingly, at the level of the individual cell, the QS response is determined by the shape of the costs. All QS individuals respond either homogeneously if cost are a convex function of the PG production rate, or they respond heterogeneously with distinct ON/OFF responses if the costs are concave. The latter finding is consistent with recent experimental findings, and contradicts the usual interpretation of QS as a mechanism to establish a uniform, synchronized response of a bacterial population.


title: Scalable repeater architectures for multi-party states

abstract: The vision to develop quantum networks entails multi-user applications, which require the generation of long-distance multi-party entangled states. The current rapid experimental progress in building prototype-networks calls for new design concepts to guide future developments. Here we describe an experimentally feasible scheme implementing a two-dimensional repeater network for robust distribution of three-party entangled states of GHZ type in the presence of excitation losses and detector dark counts --- the main sources of errors in real-world hardware. Our approach is based on atomic or solid state ensembles and employs built-in error filtering mechanisms peculiar to intrinsically two-dimensional networks. This allows us to overcome the performance limitation of conventional one-dimensional ensemble-based networks distributing multi-party entangled states and provides an efficient design for future experiments with a clear perspective in terms of scalability.


title: Bean Split Ratio for Dry Bean Canning Quality and Variety Analysis

abstract: Splits on canned beans appear in the process of preparation and canning. Researchers are studying how they are influenced by cooking environment and genotype. However, there is no existing method to automatically quantify or to characterize the severity of splits. To solve this, we propose two measures: the Bean Split Ratio (BSR) that quantifies the overall severity of splits, and the Bean Split Histogram (BSH) that characterizes the size distribution of splits. We create a pixel-wise segmentation method to automatically estimate these measures from images. We also present a bean dataset of recombinant inbred lines of two genotypes, use the BSR and BSH to assess canning quality, and explore heritability of these properties.


title: On the energetics of a possible relativistic jet associated with the binary neutron star merger candidate S190425z

abstract: Advanced LIGO and Virgo detectors reported the first binary neutron star merger candidate in the third observing run, S190425z, on 25th April 2019. A weak $\gamma$-ray excess was reported nearly coincidentally by the INTEGRAL satellite which accidentally covered the entire localization region of AdvLIGO/VIRGO. Electromagnetic follow-up in longer wavelengths has not lead to the detection of any associated counterparts. Here we combine the available information from gravitational-wave measurements and upper limits of fluence from \textit{INTEGRAL} to show that the observations are completely consistent with a relativistic Gaussian structured jet and a typical short duration Gamma-Ray Burst (GRB) being produced in the merger. We obtain posterior bounds on the on-axis isotropic equivalent energy of the associated GRB under different prior distributions. This study demonstrates that even limited GW and EM information could be combined to produce valuable insights about outflows from mergers. Future follow-ups may help constrain the jet structure further, especially if there is an orphan afterglow detection associated with the candidate.


title: Starburst and post-starburst high-redshift protogalaxies: The feedback impact of high energy cosmic rays

abstract: Quenching of star-formation has been identified in many starburst and post-starburst galaxies, indicating burst-like star-formation histories (SFH) in the primordial Universe. We have investigated the role of high energy cosmic rays (CRs) in such environments, particularly how they could contribute to this burst-like SFH via quenching and feedback. These high energy particles interact with the baryon and radiation fields of their host via hadronic processes to produce secondary leptons. The secondary particles then also interact with ambient radiation fields to generate X-rays through inverse-Compton scattering. In addition, they can thermalise directly with the semi-ionised medium via Coulomb processes. Heating at a rate of $\sim 10^{-25} \; \text{erg}~\text{cm}^{-3}~\text{s}^{-1}$ can be attained by Coulomb processes in a star-forming galaxy with one core-collapse SN event per decade, and this is sufficient to cause quenching of star-formation. At high-redshift, a substantial amount of CR secondary electron energy can be diverted into inverse-Compton X-ray emission. This yields an X-ray luminosity of above $10^{41}~\text{erg}~\text{s}^{-1}$ by redshift $z=7$ which drives a further heating effect, operating over larger scales. This would be able to halt inflowing cold gas filaments, strangulating subsequent star-formation. We selected a sample of 16 starburst and post-starburst galaxies at $7\lesssim z \lesssim 9$ and determine the star-formation rates they could have sustained. We applied a model with CR injection, propagation and heating to calculate energy deposition rates in these 16 sources. Our calculations show that CR feedback cannot be neglected as it has the strength to suppress star-formation in these systems. We also show that their currently observed quiescence is consistent with the suffocation of cold inflows, probably by a combination of X-ray and CR heating.


title: Class Imbalance Techniques for High Energy Physics

abstract: A common problem in a high energy physics experiment is extracting a signal from a much larger background. Posed as a classification task, there is said to be an imbalance in the number of samples belonging to the signal class versus the number of samples from the background class. In this work we provide a brief overview of class imbalance techniques in a high energy physics setting. Two case studies are presented: (1) the measurement of the longitudinal polarization fraction in same-sign $WW$ scattering, and (2) the decay of the Higgs boson to charm-quark pairs.


title: Independent Set Reconfiguration Parameterized by Modular-Width

abstract: Independent Set Reconfiguration is one of the most well-studied problems in the setting of combinatorial reconfiguration. It is known that the problem is PSPACE-complete even for graphs of bounded bandwidth. This fact rules out the tractability of parameterizations by most well-studied structural parameters as most of them generalize bandwidth. In this paper, we study the parameterization by modular-width, which is not comparable with bandwidth. We show that the problem parameterized by modular-width is fixed-parameter tractable under all previously studied rules TAR, TJ, and TS. The result under TAR resolves an open problem posed by Bonsma [WG 2014, JGT 2016].


title: Estimates on the tail probabilities of subordinators and applications to general time fractional equations

abstract: In this paper, we study estimates on tail probabilities $\mathbb{P}(S_r \ge t)$ of several classes of subordinators under mild assumptions on the tail of its L\'evy measure. As an application of that result, we obtain two-sided estimates for fundamental solutions of general homogeneous time fraction equations including those with Dirichlet boundary conditions.


title: How to Color a French Flag--Biologically Inspired Algorithms for Scale-Invariant Patterning

abstract: In the French flag problem, initially uncolored cells on a grid must differentiate to become blue, white or red. The goal is for the cells to color the grid as a French flag, i.e., a three-colored triband, in a distributed manner. To solve a generalized version of the problem in a distributed computational setting, we consider two models: a biologically-inspired version that relies on morphogens (diffusing proteins acting as chemical signals) and a more abstract version based on reliable message passing between cellular agents. Much of developmental biology research has focused on concentration-based approaches using morphogens, since morphogen gradients are thought to be an underlying mechanism in tissue patterning. We show that both our model types easily achieve a French ribbon - a French flag in the 1D case. However, extending the ribbon to the 2D flag in the concentration model is somewhat difficult unless each agent has additional positional information. Assuming that cells are are identical, it is impossible to achieve a French flag or even a close approximation. In contrast, using a message-based approach in the 2D case only requires assuming that agents can be represented as constant size state machines. We hope that our insights may lay some groundwork for what kind of message passing abstractions or guarantees, if any, may be useful in analogy to cells communicating at long and short distances to solve patterning problems. In addition, we hope that our models and findings may be of interest in the design of nano-robots.


title: Approximation simultan\'ee des valeurs de la fonction exponentielle dans les ad\`eles

abstract: We show that Hermite's approximations to values of the exponential function at given algebraic numbers are nearly optimal when considered from an adelic perspective. We achieve this by taking into account the ratio of these values whenever they make sense in the various completions (Archimedean or $p$-adic) of a number field containing these algebraic numbers.


title: Efficient and environmental-friendly perovskite solar cells via embedding plasmonic nanoparticles: an optical simulation study on realistic device architecture

abstract: Solution-processed, lead halide-based perovskite solar cells have overcome important challenges over the recent years, offering low-cost and high solar power conversion efficiencies. However, they still undergo unoptimized light collection due mainly to the thin (~350 nm) polycrystalline absorber layers. Moreover, their high toxicity (due to the presence of lead in the perovskite crystalline structure) makes it necessary that the thickness of the absorber layers to be further reduced, for their future commercialization, without reducing the device performance. Here we aim to address these issues via embedding spherical plasmonic nanoparticles of various sizes, composition, concentrations, and vertical positions, for the first time in realistic halide-based perovskite solar cells architecture, and to clarify their effect on the absorption properties and enhancement. We theoretically show that plasmon-enhanced near-field effects and scattering leads to a device photocurrent enhancement of up to ~7.3% when silver spheres are embedded inside the perovskite layer. Interestingly, the combination of silver spheres in perovskite and aluminum spheres inside the hole transporting layer (PEDOT:PSS) of the solar cell leads to an even further enhancement, of up to ~12%. This approach allows the employment of much thinner perovskite layers in PSCs (up to 150 nm) to reach the same photocurrent as the nanoparticles-free device and reducing thus significantly the toxicity of the device. Providing the requirements related to the size, shape, position, composition, and concentration of nanoparticles for the PSCs photocurrent enhancement, our study establishes guidelines for a future development of highly-efficient, environmentally friendly and low-cost plasmonic perovskite solar cells.


title: Soft supersymmetry breaking of 4d $\mathcal{N}=2$ SCFT

abstract: A classification of soft SUSY breaking deformation of general four dimensional $\mathcal{N}=2$ SCFT is provided. Given the large class of newly discovered $\mathcal{N}=2$ SCFTs and their known properties such as the central charges and full information of BPS operators, it is possible to get a huge number of new $\mathcal{N}=1$ SCFTs and non-supersymmetric CFTs. Many properties of these new $\mathcal{N}=1$ SCFTs such as central charges, chiral spectrum and Seiberg duality can be derived from known information of parent $\mathcal{N}=2$ SCFT.


title: Flopping-mode electric dipole spin resonance

abstract: Traditional approaches to controlling single spins in quantum dots require the generation of large electromagnetic fields to drive many Rabi oscillations within the spin coherence time. We demonstrate "flopping-mode" electric dipole spin resonance, where an electron is electrically driven in a Si/SiGe double quantum dot in the presence of a large magnetic field gradient. At zero detuning, charge delocalization across the double quantum dot enhances coupling to the drive field and enables low power electric dipole spin resonance. Through dispersive measurements of the single electron spin state, we demonstrate a nearly three order of magnitude improvement in driving efficiency using flopping-mode resonance, which should facilitate low power spin control in quantum dot arrays.


title: On the non-degeneracy of radial vortex solutions for a coupled Ginzburg-Landau system

abstract: For the following Ginzburg-Landau system in ${\mathbb R}^2$ \begin{align*} \begin{cases} -\Delta w^+ +\Big[A_+\big(|w^+|^2-{t^+}^2\big)+B\big(|w^-|^2-{t^-}^2\big)\Big]w^+=0, \\[3mm] -\Delta w^- +\Big[A_-\big(|w^-|^2-{t^-}^2\big)+B\big(|w^+|^2-{t^+}^2\big)\Big]w^-=0, \end{cases} \end{align*} with constraints $ A_+, A_->0$, $B<0$, $B^2<A_+A_-$ and $t^+, t^->0$, we will concern its linearized operator ${\mathcal L}$ around the radially symmetric solution $w(x)=(w^+, w^-): {\mathbb R}^2 \rightarrow\mathbb{C}^2$ of degree pair $(1, 1)$ and prove the non-degeneracy result: the kernel of ${\mathcal L}$ is spanned by $\big\{\frac{\partial w}{\partial{x_1}}, \frac{\partial w}{\partial{x_2}}\big\}$ in a natural Hilbert space. As an application of the non-degeneracy result, a solvability theory for the linearized operator ${\mathcal L}$ will be given.


title: Self-duality of the 6j-symbol and Fisher zeros for the Tetrahedron

abstract: The relation between the 2d Ising partition function and spin network evaluations, reflecting a bulk-boundary duality between the 2d Ising model and 3d quantum gravity, promises an exchange of results and methods between statistical physics and quantum geometry. We apply this relation to the case of the tetrahedral graph. First, we find that the high/low temperature duality of the 2d Ising model translates into a new self-duality formula for Wigner's 6j-symbol from the theory of spin recoupling. Second, we focus on the duality between the large spin asymptotics of the 6j-symbol and Fisher zeros. Using the Ponzano-Regge formula for the asymptotics for the 6j-symbol at large spins in terms of the tetrahedron geometry, we obtain a geometric formula for the zeros of the (inhomogeneous) Ising partition function in terms of triangle angles and dihedral angles in the tetrahedron. While it is well-known that the 2d intrinsic geometry can be used to parametrize the critical point of the Ising model, e.g. on isoradial graphs, it is the first time to our knowledge that the extrinsic geometry is found to also be relevant.This outlines a method towards a more general geometric parametrization of the Fisher zeros for the 2d Ising model on arbitrary graphs.


title: Rethinking Modulation and Detection for High Doppler Channels

abstract: We present two modulation and detection techniques that are designed to allow for efficient equalization for channels that exhibit an arbitrary Doppler spread but no delay spread. These techniques are based on principles similar to techniques designed for time-invariant delay spread channels (e.g., Orthogonal Frequency Division Multiplexing or OFDM) and have the same computational complexity. Through numerical simulations, we show that effective equalization is possible for channels that exhibit a high Doppler spread and even a modest delay spread, whereas equalized OFDM exhibits a strictly worse performance in these environments. Our results indicate that, in rapidly time-varying channels, such as those found in high-mobility or mmWave deployments, new modulation coupled with appropriate channel estimation and equalization techniques may significantly outperform modulation and detection schemes that are designed for static or slowly time varying multipath channels.


title: Coordinatizing Data With Lens Spaces and Persistent Cohomology

abstract: We introduce here a framework to construct coordinates in \emph{finite} Lens spaces for data with nontrivial 1-dimensional $\mathbb{Z}_q$ persistent cohomology, $q\geq 3$. Said coordinates are defined on an open neighborhood of the data, yet constructed with only a small subset of landmarks. We also introduce a dimensionality reduction scheme in $S^{2n-1}/\mathbb{Z}_q$ (Lens-PCA: $\mathsf{LPCA}$), and demonstrate the efficacy of the pipeline $PH^1(\;\cdot\; ; \mathbb{Z}_q)$ class $\Rightarrow$ $S^{2n-1}/\mathbb{Z}_q$ coordinates $\Rightarrow$ $\mathsf{LPCA}$, for nonlinear (topological) dimensionality reduction.


title: Complete energy conversion between light beams carrying orbital angular momentum using coherent population trapping for a coherently driven double-\Lambda atom-light coupling

abstract: We propose a procedure to achieve a complete energy conversion between laser pulses carrying orbital angular momentum (OAM) in a cloud of cold atoms characterized by a double-\Lambda atom-light coupling scheme. A pair of resonant spatially dependent control fields prepare atoms in a position-dependent coherent population trapping state, while a pair of much weaker vortex probe beams propagate in the coherently driven atomic medium. Using the adiabatic approximation we derive the propagation equations for the probe beams. We consider a situation where the second control field is absent at the entrance to the atomic cloud and the first control field goes to zero at the end of the atomic medium. In that case the incident vortex probe beam can transfer its OAM to a generated probe beam. We show that the efficiency of such an energy conversion approaches the unity under the adiabatic condition. On the other hand, by using spatially independent profiles of the control fields, the maximum conversion efficiency is only 1/2.


title: First digit law from Laplace transform

abstract: The occurrence of digits 1 through 9 as the leftmost nonzero digit of numbers from real-world sources is distributed unevenly according to an empirical law, known as Benford's law or the first digit law. It remains obscure why a variety of data sets generated from quite different dynamics obey this particular law. We perform a study of Benford's law from the application of the Laplace transform, and find that the logarithmic Laplace spectrum of the digital indicator function can be approximately taken as a constant. This particular constant, being exactly the Benford term, explains the prevalence of Benford's law. The slight variation from the Benford term leads to deviations from Benford's law for distributions which oscillate violently in the inverse Laplace space. We prove that the whole family of completely monotonic distributions can satisfy Benford's law within a small bound. Our study suggests that Benford's law originates from the way that we write numbers, thus should be taken as a basic mathematical knowledge.


title: Prevalence of international migration: an alternative for small area estimation

abstract: This paper introduces an alternative procedure for estimating the prevalence of international migration at the municipal level in Colombia. The new methodology uses the empirical best linear unbiased predictor based on a Fay-Herriot model with target and auxiliary variables available from census studies and from the Demographic and Health Survey. The proposed alternative produces prevalence estimates which are consistent with sample sizes and demographic dynamics in Colombia. Additionally, the estimated coefficients of variation are lower than 20% for municipalities and large demographically-relevant capital cities and therefore estimates may be considered as reliable.