title: Super Heat Kernel of General Second Order Operators in $N=1$ Superspace and One-Loop Divergence of Dilaton-coupled SYM Theory

abstract: We shall develop a general technique to obtain the super heat kernel coefficients of an arbitrary second order operator in $N=1$ superspace. We focus on the space of conformal supergravity here but the method presented is equally applicable for other types of superspace. The first three coefficients which determine the one-loop divergence of the corresponding quantum theory will be calculated. As an application we shall present the one-loop logarithmic divergence of super Yang-Mills theory coupled to a string dilaton $S$. This is the first superfield calculation for SYM with a non-trivial gauge kinetic function, which generalize the previous result with a constant coupling strength. We also demonstrate that the method presented can be extended to the case of third order operators, with the restriction that its third order part is composed of only spinor derivatives.


title: Local Deep-Feature Alignment for Unsupervised Dimension Reduction

abstract: This paper presents an unsupervised deep-learning framework named Local Deep-Feature Alignment (LDFA) for dimension reduction. We construct neighbourhood for each data sample and learn a local Stacked Contractive Auto-encoder (SCAE) from the neighbourhood to extract the local deep features. Next, we exploit an affine transformation to align the local deep features of each neighbourhood with the global features. Moreover, we derive an approach from LDFA to map explicitly a new data sample into the learned low-dimensional subspace. The advantage of the LDFA method is that it learns both local and global characteristics of the data sample set: the local SCAEs capture local characteristics contained in the data set, while the global alignment procedures encode the interdependencies between neighbourhoods into the final low-dimensional feature representations. Experimental results on data visualization, clustering and classification show that the LDFA method is competitive with several well-known dimension reduction techniques, and exploiting locality in deep learning is a research topic worth further exploring.


title: Enumeration of Flats of the Extended Catalan and Shi Arrangements with Species

abstract: The number of flats of a hyperplane arrangement is considered as a generalization of the Bell number and the Stirling number of the second kind. Robert Gill gave the exponential generating function of the number of flats of the extended Catalan arrangements, using species. In this article, we introduce the species of flats of the extended Catalan and Shi arrangements and they are given by iterated substitution of species of sets and lists. Moreover, we enumerate the flats of these arrangements in terms of infinite matrices.


title: Equivalence between the phase-integral and worldline-instanton methods

abstract: The phase-integral and worldline-instanton methods are two widely used methods to calculate Schwinger pair-production densities in electric fields of fixed direction that depend on just one time or space coordinate in the same fixed plane of the electromagnetic field tensor. We show that for charged spinless bosons the leading results of the phase-integral method integrated up through quadratic momenta are equivalent to those of the worldline-instanton method including prefactors. We further apply the phase-integral method to fermion production and time-dependent electric fields parallel to a constant magnetic field.


title: On Parameter Estimation of the Hidden Gaussian Process in perturbed SDE

abstract: We present results on parameter estimation and non-parameter estimation of the linear partially observed Gaussian system of stochastic differential equations. We propose new one-step estimators which have the same asymptotic properties as the MLE, but much more simple to calculate, the estimators are so-called "estimator-processes". The construction of the estimators is based on the equations of Kalman-Bucy filtration and the asymptotic corresponds to the small noises in the observations and state (hidden process) equations. We propose conditions which provide the consistency and asymptotic normality and asymptotic efficiency of the estimators.


title: The Curious Case of Neural Text Degeneration

abstract: Despite considerable advancements with deep neural language models, the enigma of neural text degeneration persists when these models are tested as text generators. The counter-intuitive empirical observation is that even though the use of likelihood as training objective leads to high quality models for a broad range of language understanding tasks, using likelihood as a decoding objective leads to text that is bland and strangely repetitive. In this paper, we reveal surprising distributional differences between human text and machine text. In addition, we find that decoding strategies alone can dramatically effect the quality of machine text, even when generated from exactly the same neural language model. Our findings motivate Nucleus Sampling, a simple but effective method to draw the best out of neural generation. By sampling text from the dynamic nucleus of the probability distribution, which allows for diversity while effectively truncating the less reliable tail of the distribution, the resulting text better demonstrates the quality of human text, yielding enhanced diversity without sacrificing fluency and coherence.


title: Energy dissipation in van der Waals two-dimensional devices

abstract: Understanding the physics underlying energy dissipation is necessary for the effective thermal management of devices based on two-dimensional (2D) materials and requires insights into the interplay between heat generation and diffusion in such materials. We review the microscopic mechanisms that govern Joule heating and energy dissipation processes in 2D materials such as graphene, black phosphorus and semiconducting transition metal dichalcogenides. We discuss the processes through which non-equilibrium charge carriers, created either transiently through photoexcitation or at steady state by a large electric field, undergo energy relaxation with the lattice and the substrate We also discuss how these energy dissipation processes are affected by the device configuration (heterostructure, substrate material including hexagonal boron nitride, etc) as the use of different substrates, encapsulation, disorder, etc can introduce or remove scattering processes that change the energy relaxation pathways. Finally, we discuss how the unique carrier scattering dynamics in graphene-based vdW heterostructures can be exploited for optoelectronic applications in light emission and photodetection.


title: Fast orbital shrinkage of black hole X-ray binaries driven by circumbinary disks

abstract: Recently, the black hole X-ray binary (BHXB) Nova Muscae 1991 has been reported to be experiencing an extremely rapid orbital decay. So far, three BHXBs have anomalously high orbital period derivatives, which can not be interpreted by the standard stellar evolution theory. In this work, we investigate whether the resonant interaction between the binary and a surrounding circumbinary (CB) disk could produce the observed orbital period derivatives. Analytical calculations indicate that the observed orbital period derivatives of XTE J1118+480 and A0620-00 can originate from the tidal torque between the binary and a CB disk with a mass of $10^{-9}~\rm M_{\odot}$, which is approximately in agreement with the dust disk mass detected in these two sources. However, Nova Muscae 1991 was probably surrounded by a heavy CB disk with a mass of $10^{-7}~\rm M_{\odot}$. Based on the CB disk model and the anomalous magnetic braking theory, we simulate the evolution of the three BHXBs with intermediate-mass donor stars by using the MESA code. Our simulated results are approximately consistent with the observed donor star masses, orbital periods, and orbital-period derivatives. However, the calculated effective temperatures of the donor stars are higher than indicated by the observed spectral types of two sources.


title: On the multiple holomorph of a finite almost simple group

abstract: Let $G$ be a group. Let $\mathrm{Perm}(G)$ denote its symmetric group and write $\mathrm{Hol}(G)$ for the normalizer of the subgroup of left translations in $\mathrm{Perm}(G)$. The multiple holomorph $\mathrm{NHol}(G)$ of $G$ is in turn defined to be the normalizer of $\mathrm{Hol}(G)$ in $\mathrm{Perm}(G)$. In this paper, we shall show that the quotient group $\mathrm{NHol}(G)/\mathrm{Hol}(G)$ has order two when $G$ is finite and almost simple. As an application of our techniques, we shall also develop a method to count the number of Hopf-Galois structures of isomorphic type on a finite almost simple extension in terms of fixed point free endomorphisms.


title: MyShake: Detecting and characterizing earthquakes with a global smartphone seismic network

abstract: MyShake harnesses private/personal smartphones to build a global seismic network. It uses the accelerometers embedded in all smartphones to record ground motions induced by earthquakes, returning recorded waveforms to a central repository for analysis and research. A demonstration of the power of citizen science, MyShake expanded to 6 continents within days of being launched, and has recorded 757 earthquakes in the first 2 years of operation. The data recorded by MyShake phones has the potential to be used in scientific applications, thereby complementing current seismic networks. In this paper: (1) we report the capabilities of smartphone sensors to detect earthquakes by analyzing the earthquake waveforms collected by MyShake. (2) We determine the maximum epicentral distance at which MyShake phones can detect earthquakes as a function of magnitude. (3) We then determine the capabilities of the MyShake network to estimate the location, origin time, depth and magnitude of earthquakes. In the case of earthquakes for which MyShake has provided 4 or more phases (21 events), either P- or S-wave signals, and has an azimuthal gap less than 180 degrees, the median location, origin time and depth errors are 2.7 km, 0.2 s, and 0.1 km respectively relative to USGS global catalog locations. Magnitudes are also estimated and have a mean error of 0.0 and standard deviation 0.2. These preliminary results suggest that MyShake could provide basic earthquake catalog information in regions that currently have no traditional networks. With an expanding MyShake network, we expect the event detection capabilities to improve and provide useful data on seismicity and hazards.


title: Neural Network Study of Hidden-Charm Pentaquark Resonances

abstract: Very recently, LHCb experiment announced the observation of hidden-charm pentaquark states $P_c(4312)$, $P_c(4440)$, and $P_c(4457)$ near the $ \Sigma_c \bar{D}$ and $ \Sigma_c \bar{D}^\ast$ thresholds, respectively. In this present work, we studied thesepentaquarks in the framework of the nonrelativistic quark model with four types of potential. We solved 5-body Schr\"odinger equation by using artificial neural network method and made predictions of parities for these states which are not determined in the experiment yet. The mass of another possible pentaquark state near the $\bar{D}^\ast \Sigma_c^\ast$ with $J^P=5/2^-$ is also calculated.


title: Non-local Attention Optimized Deep Image Compression

abstract: This paper proposes a novel Non-Local Attention Optimized Deep Image Compression (NLAIC) framework, which is built on top of the popular variational auto-encoder (VAE) structure. Our NLAIC framework embeds non-local operations in the encoders and decoders for both image and latent feature probability information (known as hyperprior) to capture both local and global correlations, and apply attention mechanism to generate masks that are used to weigh the features for the image and hyperprior, which implicitly adapt bit allocation for different features based on their importance. Furthermore, both hyperpriors and spatial-channel neighbors of the latent features are used to improve entropy coding. The proposed model outperforms the existing methods on Kodak dataset, including learned (e.g., Balle2019, Balle2018) and conventional (e.g., BPG, JPEG2000, JPEG) image compression methods, for both PSNR and MS-SSIM distortion metrics.


title: FoxNet: A Multi-face Alignment Method

abstract: Multi-face alignment aims to identify geometry structures of multiple faces in an image, and its performance is essential for the many practical tasks, such as face recognition, face tracking, and face animation. In this work, we present a fast bottom-up multi-face alignment approach, which can simultaneously localize multi-person facial landmarks with high precision.In more detail, our bottom-up architecture maps the landmarks to the high-dimensional space with which landmarks of all faces are represented. By clustering the features belonging to the same face, our approach can align the multi-person facial landmarks synchronously.Extensive experiments show that our method can achieve high performance in the multi-face landmark alignment task while our model is extremely fast. Moreover, we propose a new multi-face dataset to compare the speed and precision of bottom-up face alignment method with top-down methods. Our dataset is publicly available at https://github.com/AISAResearch/FoxNet


title: Morse-Novikov cohomology of almost nonnegatively curved manifolds

abstract: Let $M^n$ be a closed manifold of almost nonnegative sectional curvature and nonzero first de Rham cohomology group. For any $[\theta] \in H^1_{dR}(M^n), [\theta] \neq 0$, we show that the Morse- Novikov cohomology group $H^p(M^n, \theta)$ vanishes for any $p$. A similar result holds for a closed manifold of almost nonnegative Ricci curvature under the additional assumption that its curvature operator is uniformly bounded from below.


title: Invariants of PSL(n,R)-Fuchsian representations and a slice of Hitchin components

abstract: In this paper we show some properties of triangle invariants and shearing invariants of PSL(n,R)-Fuchsian representations. Moreover, using the Bonahon-Dreyer parameterization, we show that the Fuchsian locus of Hitchin components corresponds to a slice.


title: Finite dimensional approximations for Nica-Pimsner algebras

abstract: We give necessary and sufficient conditions for nuclearity of Cuntz-Nica-Pimsner algebras for a variety of quasi-lattice ordered groups. First we deal with the free abelian lattice case. We use this as a stepping stone to tackle product systems over quasi-lattices that are controlled by the free abelian lattice and satisfy a minimality property. Our setting accommodates examples like the Baumslag-Solitar lattice for $n=m>0$ and the right-angled Artin groups. More generally the class of quasi-lattices for which our results apply is closed under taking semi-direct and graph products. In the process we accomplish more. Our arguments tackle Nica-Pimsner algebras that admit a faithful conditional expectation on a small fixed point algebra and a faithful copy of the co-efficient algebra. This is the case for CNP-relative quotients in-between the Toeplitz-Nica-Pimsner algebra and the Cuntz-Nica-Pimsner algebra. We complete this study with the relevant results on exactness.


title: Chandra, MDM, Swift, and NuSTAR observations confirming the SFXT nature of AX J1949.8+2534

abstract: AX J1949.8+2534 is a candidate supergiant fast X-ray transient (SFXT) observed in outburst by INTEGRAL (IGR J19498+2534). We report on the results of six Neil Gehrels Swift-XRT, one Chandra, and one NuSTAR observation of the source. We find evidence of rapid X-ray variability on a few ks timescales. Fortunately, Chandra observed the source in a relatively bright state, allowing us to confidently identify the optical/NIR counterpart of the source. We also obtained an optical spectrum of this counterpart, which shows an H$\alpha$ emission line and He I absorption features. The photometry and spectrum of the source allow us to constrain its distance, $\sim7-8$ kpc, and reddening, $A_V=8.5-9.5$. We find that the star is likely an early B-type Ia supergiant, confirming that AX J1949.8+2534 is indeed an SFXT.


title: Water-Filling: An Efficient Algorithm for Digitized Document Shadow Removal

abstract: In this paper, we propose a novel algorithm to rectify illumination of the digitized documents by eliminating shading artifacts. Firstly, a topographic surface of an input digitized document is created using luminance value of each pixel. Then the shading artifact on the document is estimated by simulating an immersion process. The simulation of the immersion process is modeled using a novel diffusion equation with an iterative update rule. After estimating the shading artifacts, the digitized document is reconstructed using the Lambertian surface model. In order to evaluate the performance of the proposed algorithm, we conduct rigorous experiments on a set of digitized documents which is generated using smartphones under challenging lighting conditions. According to the experimental results, it is found that the proposed method produces promising illumination correction results and outperforms the results of the state-of-the-art methods.


title: Deep Anchored Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) have been proven to be extremely successful at solving computer vision tasks. State-of-the-art methods favor such deep network architectures for its accuracy performance, with the cost of having massive number of parameters and high weights redundancy. Previous works have studied how to prune such CNNs weights. In this paper, we go to another extreme and analyze the performance of a network stacked with a single convolution kernel across layers, as well as other weights sharing techniques. We name it Deep Anchored Convolutional Neural Network (DACNN). Sharing the same kernel weights across layers allows to reduce the model size tremendously, more precisely, the network is compressed in memory by a factor of L, where L is the desired depth of the network, disregarding the fully connected layer for prediction. The number of parameters in DACNN barely increases as the network grows deeper, which allows us to build deep DACNNs without any concern about memory costs. We also introduce a partial shared weights network (DACNN-mix) as well as an easy-plug-in module, coined regulators, to boost the performance of our architecture. We validated our idea on 3 datasets: CIFAR-10, CIFAR-100 and SVHN. Our results show that we can save massive amounts of memory with our model, while maintaining a high accuracy performance.


title: hf0: A hybrid pitch extraction method for multimodal voice

abstract: Pitch or fundamental frequency (f0) extraction is a fundamental problem studied extensively for its potential applications in speech and clinical applications. In literature, explicit mode specific (modal speech or singing voice or emotional/ expressive speech or noisy speech) signal processing and deep learning f0 extraction methods that exploit the quasi periodic nature of the signal in time, harmonic property in spectral or combined form to extract the pitch is developed. Hence, there is no single unified method which can reliably extract the pitch from various modes of the acoustic signal. In this work, we propose a hybrid f0 extraction method which seamlessly extracts the pitch across modes of speech production with very high accuracy required for many applications. The proposed hybrid model exploits the advantages of deep learning and signal processing methods to minimize the pitch detection error and adopts to various modes of acoustic signal. Specifically, we propose an ordinal regression convolutional neural networks to map the periodicity rich input representation to obtain the nominal pitch classes which drastically reduces the number of classes required for pitch detection unlike other deep learning approaches. Further, the accurate f0 is estimated from the nominal pitch class labels by filtering and autocorrelation. We show that the proposed method generalizes to the unseen modes of voice production and various noises for large scale datasets. Also, the proposed hybrid model significantly reduces the learning parameters required to train the deep model compared to other methods. Furthermore,the evaluation measures showed that the proposed method is significantly better than the state-of-the-art signal processing and deep learning approaches.


title: Noise-robust preparation contextuality shared between any number of observers via unsharp measurements

abstract: Multiple observers who independently harvest nonclassical correlations from a single physical system share the system's ability to enable quantum correlations. We show that any number of independent observers can share the preparation contextual outcome statistics enabled by state ensembles in quantum theory. Furthermore, we show that even in the presence of any amount of white noise, there exists quantum ensembles that enable such shared preparation contextuality. The findings are experimentally realised by applying sequential unsharp measurements to an optical qubit ensemble which reveals three shared demonstrations of preparation contextuality.


title: Quantum Complexity and Chaos in Young Black Holes

abstract: We argue the problem of calculating retention time scales in young black holes is a problem of relative state complexity. In particular, we suggest that Alice's ability to estimate the time scale for a perturbed black hole to release the extra $n$ qubits comes down to her decoding the Hilbert space of the Hawking radiation. We then demonstrate the decoding task Alice faces is very difficult, and in order to calculate the relative state complexity she would either need to act with an exponentially complex unitary operator or apply an extremely fine-tuned future precursor operator to the perturbed state in $SU(2^{K})$.


title: BePT: A Behavior-based Process Translator for Interpreting and Understanding Process Models

abstract: Sharing process models on the web has emerged as a common practice. Users can collect and share their experimental process models with others. However, some users always feel confused about the shared process models for lack of necessary guidelines or instructions. Therefore, several process translators have been proposed to explain the semantics of process models in natural language (NL). We find that previous studies suffer from information loss and generate semantically erroneous descriptions that diverge from original model behaviors. In this paper, we propose a novel process translator named BePT (Behavior-based Process Translator) based on the encoder-decoder paradigm, encoding a process model into a middle representation and decoding the representation into NL descriptions. Our theoretical analysis demonstrates that BePT satisfies behavior correctness, behavior completeness and description minimality. The qualitative and quantitative experiments show that BePT outperforms the state-of-the-art baselines.


title: Statistical distribution of quantum correlation induced by multiple scattering in the disordered medium

abstract: For the quantum correlations between scattered modes in the disordered media, the previous works focus mainly on the cases where the inputs are non-superposed states, for instance, products of Fock states [Phys. Rev. Letts. 105 (2010) 090501]. A natural question that arises is how the superpositions affect the quantum correlations. Following this trail, the comparison between superpositions and products of Fock states is performed. It is found an interesting phenomenon that for the superposition and the corresponding product of Fock state (non-Gaussian states), their averaged quantum correlations are nearly same, whereas the distributions of their quantum correlations might be different. Therefore, superpositions may affect the distributions of the quantum correlations. In addition, to examine how the Gaussian states affect the quantum correlations, we compare the typical Gaussian states with the non-Gaussian states (superpositions and products of Fock states). It is discovered that the non-Gaussian-state input could result in the quantum correlation that is either positive or negative, depending on the number of the input modes and the number of the photons in each mode, whereas the Gaussian-state input always leads to the non-negative quantum correlation. Besides, it is demonstrated that with the increase of the disorder strength, the mean strength of the quantum correlation increases for multi-mode-state inputs (except for multi-mode-coherent-state inputs). These results may be useful to control and adjust the quantum properties of scattered modes after the quantized lights propagating through the disordered medium.


title: Learning Non-Convergent Non-Persistent Short-Run MCMC Toward Energy-Based Model

abstract: This paper studies a curious phenomenon in learning energy-based model (EBM) using MCMC. In each learning iteration, we generate synthesized examples by running a non-convergent, non-mixing, and non-persistent short-run MCMC toward the current model, always starting from the same initial distribution such as uniform noise distribution, and always running a fixed number of MCMC steps. After generating synthesized examples, we then update the model parameters according to the maximum likelihood learning gradient, as if the synthesized examples are fair samples from the current model. We treat this non-convergent short-run MCMC as a learned generator model or a flow model. We provide arguments for treating the learned non-convergent short-run MCMC as a valid model. We show that the learned short-run MCMC is capable of generating realistic images. More interestingly, unlike traditional EBM or MCMC, the learned short-run MCMC is capable of reconstructing observed images and interpolating between images, like generator or flow models. The code can be found in the Appendix.


title: Extremal properties of the Colless balance index for rooted binary trees

abstract: Measures of tree balance play an important role in various research areas, for example in phylogenetics. There they are for instance used to test whether an observed phylogenetic tree differs significantly from a tree generated by the Yule model of speciation. One of the most popular indices in this regard is the Colless index, which measures the degree of balance for rooted binary trees. While many statistical properties of the Colless index (e.g. asymptotic results for its mean and variance under different models of speciation) have already been discussed in different contexts, we focus on its extremal properties. While it is relatively straightforward to characterize trees with maximal Colless index, the analysis of the minimal value of the Colless index and the characterization of trees that achieve it, are much more involved. In this note, we therefore focus on the minimal value of the Colless index for any given number of leaves. We derive both a recursive formula for this minimal value, as well as an explicit expression, which shows a surprising connection between the Colless index and the so-called Blancmange curve, a fractal curve that is also known as the Takagi curve. Moreover, we characterize two classes of trees that have minimal Colless index, consisting of the set of so-called \emph{maximally balanced trees} and a class of trees that we call \emph{greedy from the bottom trees}. Furthermore, we derive an upper bound for the number of trees with minimal Colless index by relating these trees with trees with minimal Sackin index (another well-studied index of tree balance).


title: Existence of a positive solution for a logarithmic Schr\"{o}dinger equation with saddle-like potential

abstract: In this article we use the variational method developed by Szulkin \cite{szulkin} to prove the existence of a positive solution for the following logarithmic Schr\"{o}dinger equation $$ \left\{ \begin{array}{lc} -{\epsilon}^2\Delta u+ V(x)u=u \log u^2, & \mbox{in} \quad \mathbb{R}^{N}, \\ %u(x)>0, & \mbox{in} \quad \mathbb{R}^{N} \\ u \in H^1(\mathbb{R}^{N}), & \; \\ \end{array} \right. $$ where $\epsilon >0, N \geq 1$ and $V$ is a saddle-like potential.


title: Einstein sticks out his tongue

abstract: arXiv admin note: This submission has been withdrawn by arXiv administrators due to inflammatory content and unprofessional language


title: Nano radiation detector: A possibility Making Physically Useful Nanostructures With Focused Ion Beam: A study of Nano Gaps

abstract: Child-Langmuir law expresses the IV relation between two parallel plates. It has been found that in reality the ordinary Child Langmuir Law does not hold true. It shows some geometric dependence on the system.In this report capacitors of various thickness and septation has been studied both in macro and nano scale to propose a geometrical correction to the law. More over from the studies, a new type of radiation detector was prepared which can detect radiation in small volumes as compared with normal radiation detectors.


title: Training generative networks using random discriminators

abstract: In recent years, Generative Adversarial Networks (GANs) have drawn a lot of attentions for learning the underlying distribution of data in various applications. Despite their wide applicability, training GANs is notoriously difficult. This difficulty is due to the min-max nature of the resulting optimization problem and the lack of proper tools of solving general (non-convex, non-concave) min-max optimization problems. In this paper, we try to alleviate this problem by proposing a new generative network that relies on the use of random discriminators instead of adversarial design. This design helps us to avoid the min-max formulation and leads to an optimization problem that is stable and could be solved efficiently. The performance of the proposed method is evaluated using handwritten digits (MNIST) and Fashion products (Fashion-MNIST) data sets. While the resulting images are not as sharp as adversarial training, the use of random discriminator leads to a much faster algorithm as compared to the adversarial counterpart. This observation, at the minimum, illustrates the potential of the random discriminator approach for warm-start in training GANs.


title: Finite $N$ Corrections to the Superconformal Index of S-fold Theories

abstract: We study the superconformal index of S-fold theories by using AdS/CFT correspondence. It has been known that the index in the large $N$ limit is reproduced as the contribution of bulk Kaluza-Klein modes. For finite $N$ D3-branes wrapped around the non-trivial cycle in $\boldsymbol{S}^5/\mathbb{Z}_k$, which corresponds to Pfaffian-like operators, give the corrections of order $q^N$ to the index. We calculate the finite $N$ corrections by analyzing the fluctuations of wrapped D3-branes. Comparisons to known results show that our formula correctly reproduces the corrections up to errors of order $q^{2N}$.


title: Generation and measurement of a squeezed vacuum up to 100 MHz at 1550 nm with a semi-monolithic optical parametric oscillator designed towards direct coupling with waveguide modules

abstract: We report generation and measurement of a squeezed vacuum from a semi-monolithic Fabry-Perot optical parametric oscillator (OPO) up to 100 MHz at 1550 nm. The output coupler of the OPO is a flat surface of a nonlinear crystal with partially reflecting coating, which enables direct coupling with waveguide modules. Using the OPO, we observed 6.2dB of squeezing at 2 MHz and 3.0 dB of squeezing at 100 MHz. The OPO operates at the optimal wavelength to minimize propagation losses in silica waveguides and looks towards solving a bottleneck of downsizing these experiments: that of coupling between a squeezer and a waveguide.


title: Universal scrambling in gapless quantum spin chains

abstract: Information scrambling, characterized by the out-of-time-ordered correlator (OTOC), has attracted much attention, as it sheds new light on chaotic dynamics in quantum many-body systems. The scale invariance, which appears near the quantum critical region in condensed matter physics, is considered to be important for the fast decay of the OTOC. In this paper, we focus on the one-dimensional spin-1/2 XXZ model, which exhibits quantum criticality in a certain parameter region, and investigate the relationship between scrambling and the scale invariance. We quantify scrambling by the averaged OTOC over the Pauli operator basis, which is related to the operator space entanglement entropy (OSEE). Using the infinite time-evolving block decimation (iTEBD) method, we numerically calculate time dependence of the OSEE in the early time region in the thermodynamic limit. We show that the averaged OTOC decays faster in the gapless region than in the gapped region. In the gapless region, the averaged OTOC behaves in the same manner regardless of the anisotropy parameter. This result is consistent with the fact that the low energy excitations of the gapless region belong to the same universality class as the Tomonaga-Luttinger liquid with the central charge c = 1. Furthermore, we estimate c by fitting the numerical data of the OSEE with an analytical result of the two-dimensional conformal field theory, and confirmed that c is close to unity. Thus, our numerical results suggest that the scale invariance is crucial for the universal behavior of the OTOC.


title: Reduced Chandrasekhar mass limit due to the fine-structure constant

abstract: The electromagnetic interaction alters the Chandrasekhar mass limit by a factor which depends, as computed in the literature, on the atomic number of the positively charged nuclei present within the degenerate matter. Unfortunately, the methods employed for such computations break Lorentz invariance ab initio. By employing the methods of finite temperature relativistic quantum field theory, we show that in the leading order, the effect of electromagnetic interaction reduces the Chandrasekhar mass limit for non-general-relativistic, spherically symmetric white dwarfs by a universal factor of $(1-3\alpha/4\pi)$, $\alpha$ being the fine-structure constant.


title: Inducing Multi-Convexity in Path Constrained Trajectory Optimization for Mobile Manipulators

abstract: In this paper, we propose a novel trajectory optimization algorithm for mobile manipulators under end-effector path, collision avoidance and various kinematic constraints. Our key contribution lies in showing how this highly non-linear and non-convex problem can be solved as a sequence of convex unconstrained quadratic programs (QPs). This is achieved by reformulating the non-linear constraints that arise out of manipulator kinematics and its coupling with the mobile base in a multi-affine form. We then use techniques from Alternating Direction Method of Multipliers (ADMM) to formulate and solve the trajectory optimization problem. The proposed ADMM has two similar non-convex steps. Importantly, a convex surrogate can be derived for each of them. We show how large parts of our optimization can be solved in parallel providing the possibility of exploiting multi-core CPUs/GPUs. We validate our trajectory optimization on different benchmark examples. Specifically, we highlight how it solves the cyclicity bottleneck and provides a holistic approach where diverse set of trajectories can be obtained by trading-off different aspects of manipulator and mobile base motion.


title: Detecting retail products in situ using CNN without human effort labeling

abstract: CNN is a powerful tool for many computer vision tasks, achieving much better result than traditional methods. Since CNN has a very large capacity, training such a neural network often requires many data, but it is often expensive to obtain labeled images in real practice, especially for object detection, where collecting bounding box of every object in training set requires many human efforts. This is the case in detection of retail products where there can be many different categories. In this paper, we focus on applying CNN to detect 324-categories products in situ, while requiring no extra effort of labeling bounding box for any image. Our approach is based on an algorithm that extracts bounding box from in-vitro dataset and an algorithm to simulate occlusion. We have successfully shown the effectiveness and usefulness of our methods to build up a Faster RCNN detection model. Similar idea is also applicable in other scenarios.


title: Interval Algorithm for Random Number Generation: Information Spectrum Approach

abstract: The problem of exactly generating a general random process (target process) by using another general random process (coin process) is studied. The performance of the interval algorithm, introduced by Han and Hoshi, is analyzed from the perspective of information spectrum approach. When either the coin process or the target process has one point spectrum, the asymptotic optimality of the interval algorithm among any random number generation algorithms is proved, which demonstrates utility of the interval algorithm beyond the ergodic process. Furthermore, the feasibility condition of exact random number generation is also elucidated. Finally, the obtained general results are illustrated by the case of generating a Markov process from another Markov process.


title: A finite element method for Dirichlet boundary control of elliptic partial differential equations

abstract: This paper introduces a new variational formulation for Dirichlet boundary control problem of elliptic partial differential equations, based on observations that the state and adjoint state are related through the control on the boundary of the domain, and that such a relation may be imposed in the variational formulation of the adjoint state. Well-posedness (unique solvability and stability) of the variational problem is established in the $H^{1}(\Omega)\times H_{0}^{1}(\Omega)$ space for the respective state and adjoint state. A finite element method based on this formulation is analyzed. It is shown that the conforming $k-$th order finite element approximations to the state and the adjoint state, in the respective $L^{2}$ and $H^{1}$ norms converge at the rate of order $k-1/2$ on quasi-uniform mesh for conforming element of order $k$. Numerical examples are presented to validate the theory.


title: Local normal forms of dynamical systems with a singular underlying geometric structure

abstract: In this paper we prove the existence of a simultaneous local normalization for couples $(X,\mathcal{G})$, where $X$ is a vector field which vanishes at a point and $\mathcal{G}$ is a singular underlying geometric structure which is invariant with respect to $X$, in many different cases: singular volume forms, singular symplectic and Poisson structures, and singular contact structures. Similarly to Birkhoff normalization for Hamiltonian vector fields, our normalization is also only formal, in general. However, when $\mathcal{G}$ and $X$ are (real or complex) analytic and $X$ is analytically integrable or Darboux-integrable then our simultaneous normalization is also analytic. Our proofs are based on the toric approach to normalization of dynamical systems, the toric conservation law, and the equivariant path method. We also consider the case when $\mathcal{G}$ is singular but $X$ does not vanish at the origin.


title: Direct detections of Majorana dark matter in vector portal

abstract: In this paper we investigate the direct detections of Majorana dark matter (MDM) in vector portal. Taking into account that the tree-level scattering cross sections in these models are either dark matter velocity suppressed or spin-dependent, we calculate radiative corrections to the spin-independent cross section in effective field theory approach. Wilson coefficients of effective MDM-quark interactions are calculated at the one-loop level, and the Wilson coefficient of the effective MDM-gluon interaction is derived at the two-loop level. Numerical results show that current constraints can rule out a narrow mass range of MDM when tree-level contributions are considered, and the spin-independent cross section from radiative corrections is reachable by the current direct detection technique for light MDM.


title: Security bound of continuous-variable measurement-device-independent quantum key distribution with imperfect phase reference calibration

abstract: Phase reference calibration is a necessary procedure in practical continuous-variable measurement-device-independent quantum key distribution (CV-MDI-QKD) for the need of Bell-State Measurement (BSM). However, the phase reference calibration may become imperfect in practical applications. We explored the practical security of CV-MDI-QKD with imperfect phase reference calibration under realistic conditions of lossy and noisy quantum channel. Specifically, a comprehensive framework is developed to model and characterize the imperfection of practical phase reference calibration operation, which is mainly caused by the non-synchronization of two remote lasers in senders. Security analysis shows that the imperfect phase reference calibration has significant side effects on the performance and security of the CV-MDI-QKD protocol. A tight security bound to excess noise introduced by imperfect phase reference calibration is derived for reverse reconciliation against arbitrary collective attacks in the asymptotic limit, and the tolerance of the CV-MDI-QKD protocol to this excess noise is also obtained. This security analysis framework can eliminate the security hazards caused by imperfect phase reference calibration without changing the existing CV-MDI-QKD system structure.


title: Spatial Point Pattern and Urban Morphology: Perspectives from Entropy, Complexity and Networks

abstract: Spatial organisation of physical form of an urban system, or city, both manifests and influences the way its social form functions. Mathematical quantification of the spatial pattern of a city is, therefore, important for understanding various aspects of the system. In this work, a framework to characterise the spatial pattern of urban locations based on the idea of entropy maximisation is proposed. Three spatial length scales in the system with discerning interpretations in terms of the spatial arrangement of the locations are calculated. Using these length scales, two quantities are introduced to quantify the system's spatial pattern, namely mass decoherence and space decoherence, whose combination enables the comparison of different cities in the world. The comparison reveals different types of urban morphology that could be attributed to the cities' geographical background and development status.


title: Probability representation of quantum states as a renaissance of hidden variables -- God plays coins

abstract: We develop an approach where the quantum system states and quantum observables are described as in classical statistical mechanics -- the states are identified with probability distributions and observables, with random variables. An example of the spin-1/2 state is considered. We show that the triada of Malevich's squares can be used to illustrate the qubit state. We formulate the superposition principle of quantum states in terms of probabilities determining the quantum states. New formulas for nonlinear addition rules of probabilities providing the probabilities associated with the interference of quantum states are obtained. The evolution equation for quantum states is given in the form of a kinetic equation for the probability distribution identified with the state.


title: A Se vacancy induced localized Raman mode in two-dimensional MoSe2 grown by CVD

abstract: Defects play a significant role in optical properties of semiconducting two-dimensional transition metal dichalcogenides (TMDCs). In ultra-thin MoSe2, a remarkable feature at ~250 cm-1 in Raman spectra is ascribed to be a defect-related mode. Recent attempts failed to explain the origin of this peak, leaving it being a mystery. Here in this work, we demonstrate that this peak is a Se vacancy induced defect mode. Heat effect and hydrogen etching are two main factors to introduce Se vacancies in CVD process of growing MoSe2. A phonon confinement model can well explain the behaviors of intrinsic Raman modes. Density functional theory (DFT) calculation reveals that single Se vacancy (VSe) is responsible for the appearance of Raman peak at ~250 cm-1 and this mode is an A1g-like localized mode which is also confirmed by polarized Raman scattering experiment. The relative strength of this mode can be a characterization of the quality of 2D MoSe2. This work may offer a simple method to tailor chalcogenide vacancies in 2D TMDCs and provide a way to study their vibrational properties.


title: Coherence quantifiers from the viewpoint of their decreases in the measurement process

abstract: Measurements can be considered as a genuine example of processes that crush quantum coherence. In the case of an observable with degeneracy, the formulations of L\"{u}ders and von Neumann are known. These pictures postulate the two different states of a system immediately following the act of measurement. Hence, they are associated with divers variants of coherence losses during the measurement. Recent studies have focused on several ways to characterize quantum coherence appropriately. One of the existing types of quantifier is based on quantum $\alpha$-divergences of the Tsallis type. In this paper, we introduce coherence quantifiers associated with the L\"{u}ders picture of quantum measurements. The are shown to satisfy the same properties as coherence $\alpha$-quantifiers related to some orthonormal basis. Further, we consider losses of quantum coherence during a generalized measurement. The proposed approach is exemplified with unambiguous state discrimination; extreme properties of the states to be discriminated are clearly shown.


title: Fast User-Guided Video Object Segmentation by Interaction-and-Propagation Networks

abstract: We present a deep learning method for the interactive video object segmentation. Our method is built upon two core operations, interaction and propagation, and each operation is conducted by Convolutional Neural Networks. The two networks are connected both internally and externally so that the networks are trained jointly and interact with each other to solve the complex video object segmentation problem. We propose a new multi-round training scheme for the interactive video object segmentation so that the networks can learn how to understand the user's intention and update incorrect estimations during the training. At the testing time, our method produces high-quality results and also runs fast enough to work with users interactively. We evaluated the proposed method quantitatively on the interactive track benchmark at the DAVIS Challenge 2018. We outperformed other competing methods by a significant margin in both the speed and the accuracy. We also demonstrated that our method works well with real user interactions.


title: A Unified Framework for Structured Graph Learning via Spectral Constraints

abstract: Graph learning from data represents a canonical problem that has received substantial attention in the literature. However, insufficient work has been done in incorporating prior structural knowledge onto the learning of underlying graphical models from data. Learning a graph with a specific structure is essential for interpretability and identification of the relationships among data. Useful structured graphs include the multi-component graph, bipartite graph, connected graph, sparse graph, and regular graph. In general, structured graph learning is an NP-hard combinatorial problem, therefore, designing a general tractable optimization method is extremely challenging. In this paper, we introduce a unified graph learning framework lying at the integration of Gaussian graphical models and spectral graph theory. To impose a particular structure on a graph, we first show how to formulate the combinatorial constraints as an analytical property of the graph matrix. Then we develop an optimization framework that leverages graph learning with specific structures via spectral constraints on graph matrices. The proposed algorithms are provably convergent, computationally efficient, and practically amenable for numerous graph-based tasks. Extensive numerical experiments with both synthetic and real data sets illustrate the effectiveness of the proposed algorithms. The code for all the simulations is made available as an open source repository.


title: PCAN: 3D Attention Map Learning Using Contextual Information for Point Cloud Based Retrieval

abstract: Point cloud based retrieval for place recognition is an emerging problem in vision field. The main challenge is how to find an efficient way to encode the local features into a discriminative global descriptor. In this paper, we propose a Point Contextual Attention Network (PCAN), which can predict the significance of each local point feature based on point context. Our network makes it possible to pay more attention to the task-relevent features when aggregating local features. Experiments on various benchmark datasets show that the proposed network can provide outperformance than current state-of-the-art approaches.


title: A syntactic approach to continuity of T-definable functionals

abstract: We give a new proof of the well-known fact that all functions $(\mathbb{N} \to \mathbb{N}) \to \mathbb{N}$ which are definable in G\"odel's System T are continuous via a syntactic approach. Differing from the usual syntactic method, we firstly perform a translation of System T into itself in which natural numbers are translated to functions $(\mathbb{N} \to \mathbb{N}) \to \mathbb{N}$. Then we inductively define a continuity predicate on the translated elements and show that the translation of any term in System T satisfies the continuity predicate. We obtain the desired result by relating terms and their translations via a parametrized logical relation. Our constructions and proofs have been formalized in the Agda proof assistant. Because Agda is also a programming language, we can execute our proof to compute moduli of continuity of T-definable functions.


title: Amplitude dynamics of charge density wave in LaTe$_3$: theoretical description of pump-probe experiments

abstract: We formulate a dynamical model to describe a photo-induced charge density wave (CDW) quench transition and apply it to recent multi-probe experiments on LaTe$_3$ [A. Zong et al., Nat. Phys. 15, 27 (2019)]. Our approach relies on coupled time-dependent Ginzburg-Landau equations tracking two order parameters that represent the modulations of the electronic density and the ionic positions. We aim at describing the amplitude of the order parameters under the assumption that they are homogeneous in space. This description is supplemented by a three-temperature model, which treats separately the electronic temperature, temperature of the lattice phonons with stronger couplings to the electronic subsystem, and temperature of all other phonons. The broad scope of available data for LaTe$_3$ and similar materials as well as the synergy between different time-resolved spectroscopies allow us to extract model parameters. The resulting calculations are in good agreement with ultra-fast electron diffraction experiments, reproducing qualitative and quantitative features of the CDW amplitude evolution during the initial few picoseconds after photoexcitation.


title: First principles prediction of the solar cell efficiency of chalcopyrite materials AgMX2 (M=In,Al; X=S, Se,Te)

abstract: Using the Spectroscopic Limited Maximum Efficiency, and Shockley and Queisser predictor models, we compute the solar efficiency of the chalcopyrites AgMX2(M=In,Al;X=S,Se,Te). The results presented are based on the estimation of the electronic and optical properties obtained from first principles density functional theory as well as the many-body perturbation theory calculations. The results from this report were consistent with the experimental data. The optical bandgap was accurately estimated from the absorption spectra, obtained by solving the Bethe and Salpeter equation. Fitting the Tauc's plot on the absorption spectra, we also predicted that the materials studied have a direct allowed optical transition. The theoretical estimations of the solar cell performance showed that the efficiencies from the Shockley and Queisser model are higher than those from the spectroscopic limited maximum efficiency model. This improvement is attributed to the absorption.


title: Gorenstein dimension of abelian categories

abstract: Let C be triangulated category and X a cluster tilting subcategory of C. Koenig and Zhu showed that the quotient category C/X is Gorenstein of Gorenstein dimension at most one. The notion of an extriangulated category was introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. Now let C be extriangulated category with enough projectives and enough injectives, and X a cluster tilting subcategory of C. In this article, we show that under certain conditions the quotient category C/X is Gorenstein of Gorenstein dimension at most one. As an application, this result generalizes work by Koenig and Zhu.


title: The weak separation in higher dimensions

abstract: For an odd integer $r>0$ and an integer $n>r$, we introduce a notion of weakly $r$-separated collections of subsets of $[n]=\{1,2,\ldots,n\}$. When $r=1$, this corresponds to the concept of weak separation introduced by Leclerc and Zelevinsky. In this paper, extending results due to Leclerc-Zelevinsky, we develop a geometric approach to establish a number of nice combinatorial properties of maximal weakly r-separated collections. As a supplement, we also discuss an analogous concept when $r$ is even.


title: Prediction Law of Mixed Gaussian Volterra Processes

abstract: We study the regular conditional law of mixed Gaussian Volterra processes under the influence of model disturbances. More precisely, we study prediction of Gaussian Volterra processes driven by a Brownian motion in a case where the Brownian motion is not observable, but only a noisy version is observed. As an application, we discuss how our result can be applied to variance reduction in the presence of measurement errors.


title: Stabilized Partitioning of Metapopulations Networks

abstract: A metapopulations network is a multi-patch habitat system, where populations live and interact in the habitat patches, and individuals disperse from one patch to the other via dispersal connections. The loss of dispersal connections among the habitat patches can impact the stability of the system. In this work, we determine if there exist(s) set(s) of dispersal connections removal of which causes partitioning(s) of the metapopulations network into dynamically stable sub-networks. Our study finds that there exists a lower bound threshold Fiedler value which guarantees the dynamical stability of the network dynamics. Necessary and sufficient mathematical conditions for finding partitions that result in sub-networks with the desired threshold Fiedler values have been derived and illustrated with examples. Although posed and discussed in the ecological context, it may be pointed out that such partitioning problems exist across any spatially discrete but connected dynamical systems with reaction-diffusion. Non-ecological examples are power distribution grids, intra-cellular reaction pathway networks and high density nano-fluidic lab-on-chip applications.


title: Bootstrapping mixed correlators in the 2D Ising model

abstract: Bootstrapping mixed correlators in three dimensional conformal field theories with a $\mathbb Z_2$ global symmetry has previously led to a closed allowed region in ($\Delta_\sigma$, $\Delta_\epsilon$) space surrounding the 3D Ising model. We repeat that analysis in two dimensions. By further assuming a gap in the spin-2 sector, we also find a closed allowed region in ($\Delta_\sigma$, $\Delta_\epsilon$) space surrounding the 2D Ising model.


title: GLS and VNS Based Heuristics for Conflict-Free Minimum-Latency Aggregation Scheduling in WSN

abstract: We consider a conflict-free minimum latency data aggregation problem that occurs in different wireless networks. Given a network that is presented as an undirected graph with one selected vertex (a sink), the goal is to find a spanning aggregation tree rooted in the sink and to define a conflict-free aggregation minimum length schedule along the arcs of the tree directed to the sink. Herewith, at the same time slot, each element of the network can either send or receive at most one message. Only one message should be sent by each network element during the whole aggregation session, and the conflicts caused by signal interference should be excluded. This problem is NP-hard and remains NP-hard even in the case when the aggregation tree is given. Therefore, the development of efficient approximate algorithms is very essential for this problem. In this paper, we present new heuristic algorithms based on the genetic local search and the variable neighborhood search metaheuristics. We conducted an extensive simulation that demonstrates the superiority of our algorithms compared with the best of the previous approaches.


title: Capture of Leptophilic Dark Matter in Neutron Stars

abstract: Dark matter particles will be captured in neutron stars if they undergo scattering interactions with nucleons or leptons. These collisions transfer the dark matter kinetic energy to the star, resulting in appreciable heating that is potentially observable by forthcoming infrared telescopes. While previous work considered scattering only on nucleons, neutron stars contain small abundances of other particle species, including electrons and muons. We perform a detailed analysis of the neutron star kinetic heating constraints on leptophilic dark matter. We also estimate the size of loop induced couplings to quarks, arising from the exchange of photons and Z bosons. Despite having relatively small lepton abundances, we find that an observation of an old, cold, neutron star would provide very strong limits on dark matter interactions with leptons, with the greatest reach arising from scattering off muons. The projected sensitivity is orders of magnitude more powerful than current dark matter-electron scattering bounds from terrestrial direct detection experiments.


title: blessing in disguise: Designing Robust Turing Test by Employing Algorithm Unrobustness

abstract: Turing test was originally proposed to examine whether machine's behavior is indistinguishable from a human. The most popular and practical Turing test is CAPTCHA, which is to discriminate algorithm from human by offering recognition-alike questions. The recent development of deep learning has significantly advanced the capability of algorithm in solving CAPTCHA questions, forcing CAPTCHA designers to increase question complexity. Instead of designing questions difficult for both algorithm and human, this study attempts to employ the limitations of algorithm to design robust CAPTCHA questions easily solvable to human. Specifically, our data analysis observes that human and algorithm demonstrates different vulnerability to visual distortions: adversarial perturbation is significantly annoying to algorithm yet friendly to human. We are motivated to employ adversarially perturbed images for robust CAPTCHA design in the context of character-based questions. Three modules of multi-target attack, ensemble adversarial training, and image preprocessing differentiable approximation are proposed to address the characteristics of character-based CAPTCHA cracking. Qualitative and quantitative experimental results demonstrate the effectiveness of the proposed solution. We hope this study can lead to the discussions around adversarial attack/defense in CAPTCHA design and also inspire the future attempts in employing algorithm limitation for practical usage.


title: On equilibrium properties of the replicator-mutator equation in deterministic and random games

abstract: In this paper, we study the number of equilibria of the replicator-mutator dynamics for both deterministic and random multi-player two-strategy evolutionary games. For deterministic games, using Decartes' rule of signs, we provide a formula to compute the number of equilibria in multi-player games via the number of change of signs in the coefficients of a polynomial. For two-player social dilemmas (namely, the Prisoner's Dilemma, Snowdrift, Stag Hunt, and Harmony), we characterize (stable) equilibrium points and analytically calculate the probability of having a certain number of equilibria when the payoff entries are uniformly distributed. For multi-player random games whose payoffs are independently distributed according to a normal distribution, by employing techniques from random polynomial theory, we compute the expected or average number of internal equilibria. In addition, we perform extensive simulations by sampling and averaging over a large number of possible payoff matrices to compare with and illustrate analytical results. Numerical simulations also suggest several interesting behaviour of the average number of equilibria when the number of players is sufficiently large or when the mutation is sufficiently small. In general, we observe that introducing mutation results in a larger average number of internal equilibria than when mutation is absent, implying that mutation leads to larger behavioural diversity in dynamical systems. Interestingly, this number is largest when mutation is rare rather than when it is frequent.


title: Confining D-Instanton Background in an External Electric Field

abstract: Using holography, we discuss the effects of an external static electric field on the D3/D-instanton theory at zero-temperature, which is a quasi-confining theory, with confined quarks and deconfined gluons. We introduce the quarks to the theory by embedding a probe D7-brane in the gravity side, and turn on an appropriate $U(1)$ gauge field on the flavor brane to describe the electric field. Studying the embedding of the D7-brane for different values of the electric field, instanton density and quark masses, we thoroughly explore the possible phases of the system. We find two critical points in our considerations. We show that beside the usual critical electric field present in deconfined theories, there exists another critical field, with smaller value, below which no quark pairs even the ones with zero mass are produced and thus the electric current is zero in this (insulator) phase. At the same point, the chiral symmetry, spontaneously broken due to the gluon condensate, is restored which shows a first order phase transition. Finally, we obtain the full decay rate calculating the imaginary part of the DBI action of the probe brane and find that it becomes nonzero only when the critical value of the electric field is reached.


title: Revisiting Multi-Step Nonlinearity Compensation with Machine Learning

abstract: For the efficient compensation of fiber nonlinearity, one of the guiding principles appears to be: fewer steps are better and more efficient. We challenge this assumption and show that carefully designed multi-step approaches can lead to better performance-complexity trade-offs than their few-step counterparts.


title: Convergence of diffusions and their discretizations: from continuous to discrete processes and back

abstract: In this paper, we establish new quantitative convergence bounds for a class of functional autoregressive models in weighted total variation metrics. To derive our results, we show that under mild assumptions, explicit minorization and Foster-Lyapunov drift conditions hold. The main applications and consequences of the bounds we obtain concern the geometric convergence of Euler-Maruyama discretizations of diffusions with identity covariance matrix. Second, as a corollary, we provide a new approach to establish quantitative convergence of these diffusion processes by applying our conclusions in the discrete-time setting to a well-suited sequence of discretizations whose associated stepsizes decrease towards zero.


title: Multimedia Crowdsourcing with Bounded Rationality: A Cognitive Hierarchy Perspective

abstract: In multimedia crowdsourcing, the requester's quality requirements and reward decisions will affect the workers' task selection strategies and the quality of their multimedia contributions. In this paper, we present a first study on how the workers' bounded cognitive rationality interacts with and affects the decisions and performance of a multimedia crowdsourcing system. Specifically, we consider a two-stage model, where a requester first determines the reward and the quality requirement for each task, and the workers select the tasks to accomplish accordingly. First, we consider the benchmark case where users are fully rational, and derive the requester's optimal rewards and quality requirements for the tasks. Next, we focus on the more practical bounded rational case by modeling the workers' task selection behaviors using the cognitive hierarchy theory. Comparing with the fully rational benchmark, we show that the requester can increase her profit by taking advantage of the workers' bounded cognitive rationality, especially when the workers' population is large or the workers' average cognitive level is low. When the workers' average cognitive level is very high, however, the equilibrium under the practical bounded rational model converges to that under the benchmark fully rational model. It is because workers at different levels make decisions sequentially and high cognitive level workers can accurately predict other users' strategies. Under both the fully and bounded rational models, we show that if workers are heterogeneous but one type of workers (either the high or the low quality) dominates the platform, the requester cannot make a higher profit by setting different quality requirements for different tasks.


title: The Scott model of PCF in univalent type theory

abstract: We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map classifier monad) from topos theory, which has been extended to univalent type theory by Escard\'o and Knapp. Our results show that lifting is a viable approach to partiality in univalent type theory. Moreover, we show that the Scott model can be constructed in a predicative and constructive setting. Other approaches to partiality either require some form of choice or quotient inductive-inductive types. We show that one can do without these extensions.


title: Machine Learning Based Analysis of Finnish World War II Photographers

abstract: In this paper, we demonstrate the benefits of using state-of-the-art machine learning methods in the analysis of historical photo archives. Specifically, we analyze prominent Finnish World War II photographers, who have captured high numbers of photographs in the publicly available Finnish Wartime Photograph Archive, which contains 160,000 photographs from Finnish Winter, Continuation, and Lapland Wars captures in 1939-1945. We were able to find some special characteristics for different photographers in terms of their typical photo content and framing (e.g., close-ups vs. overall shots, number of people). Furthermore, we managed to train a neural network that can successfully recognize the photographer from some of the photos, which shows that such photos are indeed characteristic for certain photographers. We further analyzed the similarities and differences between the photographers using the features extracted from the photographer classifier network. We make our annotations and analysis pipeline publicly available, in an effort to introduce this new research problem to the machine learning and computer vision communities and facilitate future research in historical and societal studies over the photo archives.


title: Hausdorff Dimension of Planar Self-Affine Sets and Measures with Overlaps

abstract: We prove that if $\mu$ is a self-affine measure in the plane whose defining IFS acts totally irreducibly on $\mathbb{RP}^1$ and satisfies an exponential separation condition, then its dimension is equal to its Lyapunov dimension. We also treat a class of reducible systems. This extends our previous work on the subject with B\'ar\'any to the overlapping case.


title: Algorithm Portfolio for Individual-based Surrogate-Assisted Evolutionary Algorithms

abstract: Surrogate-assisted evolutionary algorithms (SAEAs) are powerful optimisation tools for computationally expensive problems (CEPs). However, a randomly selected algorithm may fail in solving unknown problems due to no free lunch theorems, and it will cause more computational resource if we re-run the algorithm or try other algorithms to get a much solution, which is more serious in CEPs. In this paper, we consider an algorithm portfolio for SAEAs to reduce the risk of choosing an inappropriate algorithm for CEPs. We propose two portfolio frameworks for very expensive problems in which the maximal number of fitness evaluations is only 5 times of the problem's dimension. One framework named Par-IBSAEA runs all algorithm candidates in parallel and a more sophisticated framework named UCB-IBSAEA employs the Upper Confidence Bound (UCB) policy from reinforcement learning to help select the most appropriate algorithm at each iteration. An effective reward definition is proposed for the UCB policy. We consider three state-of-the-art individual-based SAEAs on different problems and compare them to the portfolios built from their instances on several benchmark problems given limited computation budgets. Our experimental studies demonstrate that our proposed portfolio frameworks significantly outperform any single algorithm on the set of benchmark problems.


title: Power and Thermal Analysis of Commercial Mobile Platforms: Experiments and Case Studies

abstract: State-of-the-art mobile processors can deliver fast response time and high throughput to maximize the user experience. However, high performance comes at the expense of larger power density, which leads to higher skin temperatures. Since this can degrade the user experience, there is a strong need for power consumption and thermal analysis in mobile processors. In this paper, we first perform experiments on the Nexus 6P phone to study the power, performance and thermal behavior of modern smartphones. Using the insight from these experiments, we propose a control algorithm that throttles select applications without affecting other apps. We demonstrate our governor on the Exynos 5422 processor employed in the Odroid-XU3 board.


title: Chern-Simons-Matter Theories at Large Baryon Number

abstract: We study $SU(2)$ Chern-Simons theories at level $k$ coupled to a scalar on $T^2\times \mathbb{R}$ at large baryon number. We find a homogeneous but anisotropic ground state configuration for any values of $k$ on the IR fixed-point of those models. This classical analysis is valid as long as we take the baryon number large. As a corollary, by comparing the symmetry breaking pattern at large chemical potential, we find that the theory does not reduce to the singlet sector of the $O(4)$ Wilson-Fisher fixed-point at large-$k$, as expected from general grounds. This paper will be one primitive step towards quantitative analysis of Chern-Simons-matter dualities using the large charge expansion.


title: Adversarial Dropout for Recurrent Neural Networks

abstract: Successful application processing sequential data, such as text and speech, requires an improved generalization performance of recurrent neural networks (RNNs). Dropout techniques for RNNs were introduced to respond to these demands, but we conjecture that the dropout on RNNs could have been improved by adopting the adversarial concept. This paper investigates ways to improve the dropout for RNNs by utilizing intentionally generated dropout masks. Specifically, the guided dropout used in this research is called as adversarial dropout, which adversarially disconnects neurons that are dominantly used to predict correct targets over time. Our analysis showed that our regularizer, which consists of a gap between the original and the reconfigured RNNs, was the upper bound of the gap between the training and the inference phases of the random dropout. We demonstrated that minimizing our regularizer improved the effectiveness of the dropout for RNNs on sequential MNIST tasks, semi-supervised text classification tasks, and language modeling tasks.


title: Uniform versus Zipf distribution in a mixing collection process

abstract: We consider the following variant of the classic collector's problem: The family of coupon probabilities is the mixing of two subfamilies one of which is the \textit{uniform} family, while the other belongs to the well known \textit{Zipf family}. We obtain asymptotics for the expectation, the second rising moment, and the variance of the random variable $T_N$, namely the number of trials needed for all the $N$ types of coupons to be collected (at least once, with replacement) as $N \rightarrow \infty$. It is interesting that the effect of the uniform subcollection on the asymptotics of the expectation of $T_N$ (at least up to the sixth term) appears only in the leading factor of the expectation of $T_N$. The limiting distribution of $T_N$ is derived as well. These results answer a question placed in a recent work of ours [\textit{Electron. J. Probab.} \textbf{18} (2012) 1--15].


title: One DSL to Rule Them All: IDE-Assisted Code Generation for Agile Data Analysis

abstract: Data analysis is at the core of scientific studies, a prominent task that researchers and practitioners typically undertake by programming their own set of automated scripts. While there is no shortage of tools and languages available for designing data analysis pipelines, users spend substantial effort in learning the specifics of such languages/tools and often design solutions too project specific to be reused in future studies. Furthermore, users need to put further effort into making their code scalable, as parallel implementations are typically more complex. We address these problems by proposing an advanced code recommendation tool which facilitates developing data science scripts. Users formulate their intentions in a human-readable Domain Specific Language (DSL) for dataframe manipulation and analysis. The DSL statements can be converted into executable Python code during editing. To avoid the need to learn the DSL and increase user-friendliness, our tool supports code completion in mainstream IDEs and editors. Moreover, DSL statements can generate executable code for different data analysis frameworks (currently we support Pandas and PySpark). Overall, our approach attempts to accelerate programming of common data analysis tasks and to facilitate the conversion of the implementations between frameworks. In a preliminary assessment based on a popular data processing tutorial, our tool was able to fully cover 9 out of 14 processing steps for Pandas and 10 out of 16 for PySpark, while partially covering 4 processing steps for each of the frameworks.


title: A Versatile Stochastic Duel Game

abstract: This paper deals with a standard stochastic game model with a continuum of states under the duel-type setup. It newly proposes a hybrid model of game theory and the fluctuation process, which could be applied for various practical decision making situations. The unique theoretical stochastic game model is targeted to analyze a two-person duel-type game in the time domain. The parameters for strategic decisions including the moments of crossings, prior crossings, and the optimal number of iterations to get the highest winning chance are obtained by the compact closed joint functional. This paper also demonstrates the usage of a new time based stochastic game model by analyzing a conventional duel game model in the distance domain and briefly explains how to build strategies for an atypical business case to show how this theoretical model works.


title: On Gender, Ethnicity, and Culture in Empirical Software Engineering Research

abstract: This note highlights the importance of investigating diversity aspects in combination in empirical research. It draws on the psychological discourse and suggests why and how software engineering scholars can use the aspect of diversity in all their research endeavors.


title: A Review on Energy Consumption Optimization Techniques in IoT Based Smart Building Environments

abstract: In recent years, due to the unnecessary wastage of electrical energy in residential buildings, the requirement of energy optimization and user comfort has gained vital importance. In the literature, various techniques have been proposed addressing the energy optimization problem. The goal of each technique was to maintain a balance between user comfort and energy requirements such that the user can achieve the desired comfort level with the minimum amount of energy consumption. Researchers have addressed the issue with the help of different optimization algorithms and variations in the parameters to reduce energy consumption. To the best of our knowledge, this problem is not solved yet due to its challenging nature. The gap in the literature is due to the advancements in the technology and drawbacks of the optimization algorithms and the introduction of different new optimization algorithms. Further, many newly proposed optimization algorithms which have produced better accuracy on the benchmark instances but have not been applied yet for the optimization of energy consumption in smart homes. In this paper, we have carried out a detailed literature review of the techniques used for the optimization of energy consumption and scheduling in smart homes. The detailed discussion has been carried out on different factors contributing towards thermal comfort, visual comfort, and air quality comfort. We have also reviewed the fog and edge computing techniques used in smart homes.


title: Quantum tunneling of Davydov solitons through massive barriers

abstract: Protein clamps provide the cell with effective mechanisms for sensing of environmental changes and triggering adaptations that maintain homeostasis. The general physical mechanism behind protein clamping action, however, is poorly understood. Here, we explore the Davydov model for quantum transport of amide I energy, which is self-trapped in soliton states that propagate along the protein {\alpha}-helix spines and preserve their shape upon reflection from the {\alpha}-helix ends. We study computationally whether the Davydov solitons are able to reflect from massive barriers that model the presence of external protein clamps acting on a portion of the {\alpha}-helix, and characterize the range of barrier conditions for which the Davydov solitons are capable of tunneling through the barrier. The simulations showed that the variability of amino acid masses in proteins has a negligible effect on Davydov soliton dynamics, but a massive barrier that is a hundred times the mass of a single amino acid presents an obstacle for the soliton propagation. The greater width of Davydov solitons stabilizes the soliton upon reflection from such a massive barrier and increases the probability of tunneling through it, whereas the greater isotropy of the exciton-lattice coupling suppresses the tunneling efficiency by increasing the interaction time between the Davydov soliton and the barrier, thereby prolonging the tunneling time through the barrier and enhancing the probability for reflection from the latter. The results as presented, demonstrate the feasibility of Davydov solitons reflecting from or tunneling through massive barriers, and suggest a general physical mechanism underlying the action of protein clamps through local enhancement of an effective protein {\alpha}-helix mass.


title: Ship Instance Segmentation From Remote Sensing Images Using Sequence Local Context Module

abstract: The performance of object instance segmentation in remote sensing images has been greatly improved through the introduction of many landmark frameworks based on convolutional neural network. However, the object densely issue still affects the accuracy of such segmentation frameworks. Objects of the same class are easily confused, which is most likely due to the close docking between objects. We think context information is critical to address this issue. So, we propose a novel framework called SLCMASK-Net, in which a sequence local context module (SLC) is introduced to avoid confusion between objects of the same class. The SLC module applies a sequence of dilation convolution blocks to progressively learn multi-scale context information in the mask branch. Besides, we try to add SLC module to different locations in our framework and experiment with the effect of different parameter settings. Comparative experiments are conducted on remote sensing images acquired by QuickBird with a resolution of $0.5m-1m$ and the results show that the proposed method achieves state-of-the-art performance.


title: Judging Chemical Reaction Practicality From Positive Sample only Learning

abstract: Chemical reaction practicality is the core task among all symbol intelligence based chemical information processing, for example, it provides indispensable clue for further automatic synthesis route inference. Considering that chemical reactions have been represented in a language form, we propose a new solution to generally judge the practicality of organic reaction without considering complex quantum physical modeling or chemistry knowledge. While tackling the practicality judgment as a machine learning task from positive and negative (chemical reaction) samples, all existing studies have to carefully handle the serious insufficiency issue on the negative samples. We propose an auto-construction method to well solve the extensively existed long-term difficulty. Experimental results show our model can effectively predict the practicality of chemical reactions, which achieves a high accuracy of 99.76\% on real large-scale chemical lab reaction practicality judgment.


title: Contraction and regularizing properties of heat flows in metric measure spaces

abstract: We illustrate some novel contraction and regularizing properties of the Heat flow in metric-measure spaces that emphasize an interplay between Hellinger-Kakutani, Kantorovich-Wasserstein and Hellinger-Kantorvich distances. Contraction properties of Hellinger-Kakutani distances and general Csisz\'ar divergences hold in arbitrary metric-measure spaces and do not require assumptions on the linearity of the flow. When weaker transport distances are involved, we will show that contraction and regularizing effects rely on the dual formulations of the distances and are strictly related to lower Ricci curvature bounds in the setting of $RCD(K,\infty)$ metric measure spaces.


title: Invariance of distributional chaos for backward shifts

abstract: A sufficient and necessary condition ensuring that the backward shift operator on the K\"{o}the sequence space admits an invariant distributionally $\varepsilon$-scrambled set for some $\varepsilon>0$ is obtained, improving the main results in [F. Mart\'{\i}nez-Gim\'{e}nez, P. Oprocha, A. Peris, J. Math. Anal. Appl., {\bf 351} (2009), 607--615].


title: Maximum Lifetime Analytics in IoT Networks

abstract: This paper studies the problem of allocating bandwidth and computation resources to data analytics tasks in Internet of Things (IoT) networks. IoT nodes are powered by batteries, can process (some of) the data locally, and the quality grade or performance of how data analytics tasks are carried out depends on where these are executed. The goal is to design a resource allocation algorithm that jointly maximizes the network lifetime and the performance of the data analytics tasks subject to energy constraints. This joint maximization problem is challenging with coupled resource constraints that induce non-convexity. We first show that the problem can be mapped to an equivalent convex problem, and then propose an online algorithm that provably solves the problem and does not require any a priori knowledge of the time-varying wireless link capacities and data analytics arrival process statistics. The algorithm's optimality properties are derived using an analysis which, to the best of our knowledge, proves for the first time the convergence of the dual subgradient method with time-varying sets. Our simulations seeded by real IoT device energy measurements, show that the network connectivity plays a crucial role in network lifetime maximization, that the algorithm can obtain both maximum network lifetime and maximum data analytics performance in addition to maximizing the joint objective, and that the algorithm increases the network lifetime by approximately 50% compared to an algorithm that minimizes the total energy consumption.


title: Magic: The Gathering is Turing Complete

abstract: $\textit{Magic: The Gathering}$ is a popular and famously complicated trading card game about magical combat. In this paper we show that optimal play in real-world $\textit{Magic}$ is at least as hard as the Halting Problem, solving a problem that has been open for a decade. To do this, we present a methodology for embedding an arbitrary Turing machine into a game of $\textit{Magic}$ such that the first player is guaranteed to win the game if and only if the Turing machine halts. Our result applies to how real $\textit{Magic}$ is played, can be achieved using standard-size tournament-legal decks, and does not rely on stochasticity or hidden information. Our result is also highly unusual in that all moves of both players are forced in the construction. This shows that even recognising who will win a game in which neither player has a non-trivial decision to make for the rest of the game is undecidable. We conclude with a discussion of the implications for a unified computational theory of games and remarks about the playability of such a board in a tournament setting.


title: First steps to a constructor theory of cognition

abstract: This article applies the conceptual framework of constructor theory of information to cognition theory. The main result of this work is that cognition theory, in specific situations concerning for example the conjunction fallacy heuristic, requires the use of superinformation media, just as quantum theory. This result entails that quantum and cognition theories can be considered as elements of a general class of superinformation-based subsidiary theories.


title: About One Interesting and Important Model in Quantum Mechanics II. Thermodynamic Description

abstract: In this paper the detailed investigation of one of the most interesting models in the non relativistic quantum mechanics of one massive particle i.e., introduced by G. Poeschl and E. Teller in 1933 is continued; the starting point of dynamic analysis for potentials, wave functions and energy spectrum was carried on by the same authors in the paper. The generalization of these results on the case of nonzero temperature includes the approximate calculation of the partition function of the model and then also the Massieu Planck thermodynamic potential and its most important derivatives, i.e. internal energy, heat capacity and pressure. The analysis of the results is carried on separately for low and high temperature regions because of the lack of exact unifying expressions of the potential at all temperatures.


title: Computing weighted Szeged and PI indices from quotient graphs

abstract: The weighted Szeged index and the weighted vertex-PI index of a connected graph $G$ are defined as $wSz(G) = \sum_{e=uv \in E(G)} (deg (u) + deg (v))n_u(e)n_v(e)$ and $wPI_v(G) = \sum_{e=uv \in E(G)} (deg(u) + deg(v))( n_u(e) + n_v(e))$, respectively, where $n_u(e)$ denotes the number of vertices closer to $u$ than to $v$ and $n_v(e)$ denotes the number of vertices closer to $v$ than to $u$. Moreover, the weighted edge-Szeged index and the weighted PI index are defined analogously. As the main result of this paper, we prove that if $G$ is a connected graph, then all these indices can be computed in terms of the corresponding indices of weighted quotient graphs with respect to a partition of the edge set that is coarser than the $\Theta^*$-partition. If $G$ is a benzenoid system or a phenylene, then it is possible to choose a partition of the edge set in such a way that the quotient graphs are trees. As a consequence, it is shown that for a benzenoid system the mentioned indices can be computed in sub-linear time with respect to the number of vertices. Moreover, closed formulas for linear phenylenes are also deduced. However, our main theorem is proved in a more general form and therefore, we present how it can be used to compute some other topological indices.


title: NNLO charmed-meson fragmentation functions and their uncertainties in the presence of meson mass corrections

abstract: The main aim of this paper is to present new sets of non-perturbative fragmentation functions (FFs) for $D^0$ and $D^+$ mesons at next-to-leading (NLO) and, for the first time, at next-to-next-to-leading order (NNLO) in the $\overline{\mathrm{MS}}$ factorization scheme with five massless quark flavors. This new determination of FFs is based on the QCD fit to the {\tt OPAL} experimental data for hadron production in the electron-positron single-inclusive annihilation (SIA). We discuss in detail the novel aspects of the methodology used in our analysis and the validity of obtained FFs by comparing with previous works in literature which have been carried out up to NLO accuracy. We will also incorporate the effect of charmed meson mass corrections into our QCD analysis and discuss the improvements upon inclusion of these effects. The uncertainties in the extracted FFs as well as in the corresponding observables are estimated using the "Hessian" approach. For a typical application, we use our new FFs to make theoretical predictions for the energy distributions of charmed mesons inclusively produced through the decay of unpolarized top quarks, to be measured at the CERN LHC. As a result of this analysis, suggestions are discussed for possible future studies on the current topic to consider any theory improvements and other available experimental observables.


title: Spectral Analysis, Model Theory and Applications of Finite-Rank Perturbations

abstract: This survey focuses on two main types of finite-rank perturbations: self-adjoint and unitary. We describe both classical and more recent spectral results. We pay special attention to singular self-adjoint perturbations and model representations of unitary perturbations.


title: Calculation of distributed system imbalance in condition of multifractal load

abstract: The method of calculating a distributed system imbalance based on the calculation of node system load was proposed in the work. Calculation of node system load is carried out by calculating the average coefficient of utilization of CPU, memory, bandwidth of each system node, taking into account multifractal properties of input data flows. The simulation of the proposed method for different multifractal parameters was conducted. The simulation showed that the characteristics of multifractal traffic have a considerable effect on the system imbalance. Using the proposed method allows to distribute requests across the servers so that the deviation of the load servers from the average value was minimal, which allows to get higher system performance metrics and faster processing flows.


title: The Theory of ramification

abstract: In this paper we introduce and develop the concept of ramification in a given modulus. We study some properties in relation to this concept and it's connection to some important problems in mathematics, particularly the Goldbach conjecture.


title: Problematic nature of plasmoid theory of magnetic reconnection

abstract: Plasmoid theory uses two-coordinate models to explain fast magnetic reconnection, which occurs on an Alfv\'enic, not a resistive time scale, in plasmas that are evolving in the near-ideal limit. The primary application has been to three-dimensional naturally-occurring plasmas. A magnetic field representation that applies to all magnetic fields allows features of magnetic evolution in toroidal and natural plasmas to be compared. This comparison illustrates why plasmoid models of magnetic field evolution are not robust solutions to Maxwell's equations. Despite five-hundred papers on plasmoid models, they provide a problematic description of fast magnetic reconnection.


title: Resilient Supplier Selection in Logistics 4.0 with Heterogeneous Information

abstract: Supplier selection problem has gained extensive attention in the prior studies. However, research based on Fuzzy Multi-Attribute Decision Making (F-MADM) approach in ranking resilient suppliers in logistic 4 is still in its infancy. Traditional MADM approach fails to address the resilient supplier selection problem in logistic 4 primarily because of the large amount of data concerning some attributes that are quantitative, yet difficult to process while making decisions. Besides, some qualitative attributes prevalent in logistic 4 entail imprecise perceptual or judgmental decision relevant information, and are substantially different than those considered in traditional suppler selection problems. This study develops a Decision Support System (DSS) that will help the decision maker to incorporate and process such imprecise heterogeneous data in a unified framework to rank a set of resilient suppliers in the logistic 4 environment. The proposed framework induces a triangular fuzzy number from large-scale temporal data using probability-possibility consistency principle. Large number of non-temporal data presented graphically are computed by extracting granular information that are imprecise in nature. Fuzzy linguistic variables are used to map the qualitative attributes. Finally, fuzzy based TOPSIS method is adopted to generate the ranking score of alternative suppliers. These ranking scores are used as input in a Multi-Choice Goal Programming (MCGP) model to determine optimal order allocation for respective suppliers. Finally, a sensitivity analysis assesses how the Suppliers Cost versus Resilience Index (SCRI) changes when differential priorities are set for respective cost and resilience attributes.


title: GPS-Based Vehicle Tracking System-on-Chip

abstract: Modern powerful reconfigurable systems are suited in the implementation of various data-stream, data-parallel, and other applications. An application that needs real-time, fast, and reliable data processing is the global positioning system (GPS)-based vehicle tracking system (VTS). In this paper, we build on a recently produced VTS (The Aram Locator) offering a system-on-chip (SOC) replacement of the current microcontroller-based implementation. The proposed SOC is built on a field programmable gate array (FPGA) promising a cheaper design, a more cohesive architecture, a faster processing time and an enhanced system interaction. Different designs, and their hardware implementations, are proposed with different levels of integration. Performance analysis and evaluation of the investigated designs are included.


title: Committee Selection is More Similar Than You Think: Evidence from Avalanche and Stellar

abstract: Increased interest in scalable and high-throughput blockchains has led to an explosion in the number of committee selection methods in the literature. Committee selection mechanisms allow consensus protocols to safely select a committee, or a small subset of validators that is permitted to vote and verify a block of transactions, in a distributed ledger. There are many such mechanisms, each with substantially different methodologies and guarantees on communication complexity, resource usage, and fairness. In this paper, we illustrate that, despite these implementation-level differences, there are strong statistical similarities between committee selection mechanisms. We concretely show this by proving that the committee selection of the Avalanche consensus protocol can be used to choose committees in the Stellar Consensus Protocol that satisfy the necessary and sufficient conditions for Byzantine agreement. We also verify these claims using simulations and numerically observe sharp phase transitions as a function of protocol parameters. Our results suggest the existence of a "statistical taxonomy" of committee selection mechanisms in distributed consensus algorithms.


title: Euler-Lagrange equations for full topology optimization of the Q-factor in leaky cavities

abstract: We derive Euler-Lagrange equations for the topology optimization of decay rate in 3-d lossy optical cavities. This leads to a new class of time-harmonic differential or integro-differential equations, which can be written as nonlinear Maxwell systems with switching functions of special types. Our approach is based on the notion of Pareto optimal frontier and on the multi-parameter perturbation theory for eigenfrequencies. Parallels with optimal control theory are discussed.