title: Tight finite-key analysis for generalized high-dimensional quantum key distribution

abstract: Due to the capability of tolerating high error rate and generating more key bits per trial, high-dimensional quantum key distribution attracts wide interest. Despite great progresses in high-dimensional quantum key distribution, there are still some gaps between theory and experiment. One of these is that the security of the secret key heavily depends on the number of the emitted signals. So far, the existing security proofs are only suitable in the case with an infinite or unpractically large number of emitted signals. Here, by introducing the idea of "key classification" and developing relevant techniques based on the uncertainty relation for smooth entropies, we propose a tight finite-key analysis suitable for generalized high-dimensional quantum key distribution protocols. Benefitting from our theory, high-dimensional quantum key distribution protocols with finite resources become experimentally feasible.


title: Single-Shot Two-Pronged Detector with Rectified IoU Loss

abstract: In the CNN based object detectors, feature pyramids are widely exploited to alleviate the problem of scale variation across object instances. These object detectors, which strengthen features via a top-down pathway and lateral connections, are mainly to enrich the semantic information of low-level features, but ignore the enhancement of high-level features. This can lead to an imbalance between different levels of features, in particular a serious lack of detailed information in the high-level features, which makes it difficult to get accurate bounding boxes. In this paper, we introduce a novel two-pronged transductive idea to explore the relationship among different layers in both backward and forward directions, which can enrich the semantic information of low-level features and detailed information of high-level features at the same time. Under the guidance of the two-pronged idea, we propose a Two-Pronged Network (TPNet) to achieve bidirectional transfer between high-level features and low-level features, which is useful for accurately detecting object at different scales. Furthermore, due to the distribution imbalance between the hard and easy samples in single-stage detectors, the gradient of localization loss is always dominated by the hard examples that have poor localization accuracy. This will enable the model to be biased toward the hard samples. So in our TPNet, an adaptive IoU based localization loss, named Rectified IoU (RIoU) loss, is proposed to rectify the gradients of each kind of samples. The Rectified IoU loss increases the gradients of examples with high IoU while suppressing the gradients of examples with low IoU, which can improve the overall localization accuracy of model. Extensive experiments demonstrate the superiority of our TPNet and RIoU loss.


title: Hard Negative Samples Emphasis Tracker without Anchors

abstract: Trackers based on Siamese network have shown tremendous success, because of their balance between accuracy and speed. Nevertheless, with tracking scenarios becoming more and more sophisticated, most existing Siamese-based approaches ignore the addressing of the problem that distinguishes the tracking target from hard negative samples in the tracking phase. The features learned by these networks lack of discrimination, which significantly weakens the robustness of Siamese-based trackers and leads to suboptimal performance. To address this issue, we propose a simple yet efficient hard negative samples emphasis method, which constrains Siamese network to learn features that are aware of hard negative samples and enhance the discrimination of embedding features. Through a distance constraint, we force to shorten the distance between exemplar vector and positive vectors, meanwhile, enlarge the distance between exemplar vector and hard negative vectors. Furthermore, we explore a novel anchor-free tracking framework in a per-pixel prediction fashion, which can significantly reduce the number of hyper-parameters and simplify the tracking process by taking full advantage of the representation of convolutional neural network. Extensive experiments on six standard benchmark datasets demonstrate that the proposed method can perform favorable results against state-of-the-art approaches.


title: A Novel Method for Obtaining Diffuse Field Measurements for Microphone Calibration

abstract: We propose a straightforward and cost-effective method to perform diffuse soundfield measurements for calibrating the magnitude response of a microphone array. Typically, such calibration is performed in a diffuse soundfield created in reverberation chambers, an expensive and time-consuming process. A method is proposed for obtaining diffuse field measurements in untreated environments. First, a closed-form expression for the spatial correlation of a wideband signal in a diffuse field is derived. Next, we describe a practical procedure for obtaining the diffuse field response of a microphone array in the presence of a non-diffuse soundfield by the introduction of random perturbations in the microphone location. Experimental spatial correlation data obtained is compared with the theoretical model, confirming that it is possible to obtain diffuse field measurements in untreated environments with relatively few loudspeakers. A 30 second test signal played from 4-8 loudspeakers is shown to be sufficient in obtaining a diffuse field measurement using the proposed method. An Eigenmike is then successfully calibrated at two different geographical locations.


title: Direct photon emission and influence of dynamical wave packets in an extended quantum molecular dynamics model

abstract: Direct photon produced from first proton-neutron ($p$-$n$) collision during the early stage of heavy ion reaction is a sensitive probe to reflect energy and momentum distribution of nucleons. In this work, we embedded the hard photon production channel in an extended quantum molecular dynamics (EQMD) model, and took the direct photon as a possible probe to improve namely the Fermi motion in the EQMD model. A possible scheme is offered to handle the dynamical wave packet width within incoherent bremsstrahlung process. Direct photons calculated by our modified EQMD were compared with data of $^{14}$N + $^{12}$C at beam energies $E/A$ = 20, 30 and 40 MeV, and it is found that the yield, inverse slope and angular distribution of direct photons could be reasonably reproduced. In addition, asymmetric reaction systems of $^{4}$He + C and $^{4}$He + Zn at $E/A$ = 53 MeV are also simulated in this work. It is found that the symmetric angular distribution in the nucleon-nucleon ($N$-$N$) center-of-mass (c.m.) frame and the velocity of $ the \gamma$-emission source can be reasonably obtained from our method although there is some quantitative differences.


title: NASB: Neural Architecture Search for Binary Convolutional Neural Networks

abstract: Binary Convolutional Neural Networks (CNNs) have significantly reduced the number of arithmetic operations and the size of memory storage needed for CNNs, which makes their deployment on mobile and embedded systems more feasible. However, the CNN architecture after binarizing requires to be redesigned and refined significantly due to two reasons: 1. the large accumulation error of binarization in the forward propagation, and 2. the severe gradient mismatch problem of binarization in the backward propagation. Even though the substantial effort has been invested in designing architectures for single and multiple binary CNNs, it is still difficult to find an optimal architecture for binary CNNs. In this paper, we propose a strategy, named NASB, which adopts Neural Architecture Search (NAS) to find an optimal architecture for the binarization of CNNs. Due to the flexibility of this automated strategy, the obtained architecture is not only suitable for binarization but also has low overhead, achieving a better trade-off between the accuracy and computational complexity of hand-optimized binary CNNs. The implementation of NASB strategy is evaluated on the ImageNet dataset and demonstrated as a better solution compared to existing quantized CNNs. With the insignificant overhead increase, NASB outperforms existing single and multiple binary CNNs by up to 4.0% and 1.0% Top-1 accuracy respectively, bringing them closer to the precision of their full precision counterpart. The code and pretrained models will be publicly available.


title: Blocksequences of k-local Words

abstract: The locality of words is a relatively young structural complexity measure, introduced by Day et al. in 2017 in order to define classes of patterns with variables which can be matched in polynomial time. The main tool used to compute the locality of a word is called marking sequence: an ordering of the distinct letters occurring in the respective order. Once a marking sequence is defined, the letters of the word are marked in steps: in the ith marking step, all occurrences of the ith letter of the marking sequence are marked. As such, after each marking step, the word can be seen as a sequence of blocks of marked letters separated by blocks of non-marked letters. By keeping track of the evolution of the marked blocks of the word through the marking defined by a marking sequence, one defines the blocksequence of the respective marking sequence. We first show that the words sharing the same blocksequence are only loosely connected, so we consider the stronger notion of extended blocksequence, which stores additional information on the form of each single marked block. In this context, we present a series of combinatorial results for words sharing the extended blocksequence.


title: Context Dependent RNNLM for Automatic Transcription of Conversations

abstract: Conversational speech, while being unstructured at an utterance level, typically has a macro topic which provides larger context spanning multiple utterances. The current language models in speech recognition systems using recurrent neural networks (RNNLM) rely mainly on the local context and exclude the larger context. In order to model the long term dependencies of words across multiple sentences, we propose a novel architecture where the words from prior utterances are converted to an embedding. The relevance of these embeddings for the prediction of next word in the current sentence is found using a gating network. The relevance weighted context embedding vector is combined in the language model to improve the next word prediction, and the entire model including the context embedding and the relevance weighting layers is jointly learned for a conversational language modeling task. Experiments are performed on two conversational datasets - AMI corpus and the Switchboard corpus. In these tasks, we illustrate that the proposed approach yields significant improvements in language model perplexity over the RNNLM baseline. In addition, the use of proposed conversational LM for ASR rescoring results in absolute WER reduction of $1.2$\% on Switchboard dataset and $1.0$\% on AMI dataset over the RNNLM based ASR baseline.


title: Scalable FastMDP for Pre-departure Airspace Reservation and Strategic De-conflict

abstract: Pre-departure flight plan scheduling for Urban Air Mobility (UAM) and cargo delivery drones will require on-demand scheduling of large numbers of aircraft. We examine the scalability of an algorithm known as FastMDP which was shown to perform well in deconflicting many dozens of aircraft in a dense airspace environment with terrain. We show that the algorithm can adapted to perform first-come-first-served pre-departure flight plan scheduling where conflict free flight plans are generated on demand. We demonstrate a parallelized implementation of the algorithm on a Graphics Processor Unit (GPU) which we term FastMDP-GPU and show the level of performance and scaling that can be achieved. Our results show that on commodity GPU hardware we can perform flight plan scheduling against 2000-3000 known flight plans and with server-class hardware the performance can be higher. We believe the results show promise for implementing a large scale UAM scheduler capable of performing on-demand flight scheduling that would be suitable for both a centralized or distributed flight planning system


title: Learning abstract structure for drawing by efficient motor program induction

abstract: Humans flexibly solve new problems that differ qualitatively from those they were trained on. This ability to generalize is supported by learned concepts that capture structure common across different problems. Here we develop a naturalistic drawing task to study how humans rapidly acquire structured prior knowledge. The task requires drawing visual objects that share underlying structure, based on a set of composable geometric rules. We show that people spontaneously learn abstract drawing procedures that support generalization, and propose a model of how learners can discover these reusable drawing programs. Trained in the same setting as humans, and constrained to produce efficient motor actions, this model discovers new drawing routines that transfer to test objects and resemble learned features of human sequences. These results suggest that two principles guiding motor program induction in the model - abstraction (general programs that ignore object-specific details) and compositionality (recombining previously learned programs) - are key for explaining how humans learn structured internal representations that guide flexible reasoning and learning.


title: Towards Lossless Binary Convolutional Neural Networks Using Piecewise Approximation

abstract: Binary Convolutional Neural Networks (CNNs) can significantly reduce the number of arithmetic operations and the size of memory storage, which makes the deployment of CNNs on mobile or embedded systems more promising. However, the accuracy degradation of single and multiple binary CNNs is unacceptable for modern architectures and large scale datasets like ImageNet. In this paper, we proposed a Piecewise Approximation (PA) scheme for multiple binary CNNs which lessens accuracy loss by approximating full precision weights and activations efficiently and maintains parallelism of bitwise operations to guarantee efficiency. Unlike previous approaches, the proposed PA scheme segments piece-wisely the full precision weights and activations, and approximates each piece with a scaling coefficient. Our implementation on ResNet with different depths on ImageNet can reduce both Top-1 and Top-5 classification accuracy gap compared with full precision to approximately 1.0%. Benefited from the binarization of the downsampling layer, our proposed PA-ResNet50 requires less memory usage and two times Flops than single binary CNNs with 4 weights and 5 activations bases. The PA scheme can also generalize to other architectures like DenseNet and MobileNet with similar approximation power as ResNet which is promising for other tasks using binary convolutions. The code and pretrained models will be publicly available.


title: NPU Speaker Verification System for INTERSPEECH 2020 Far-Field Speaker Verification Challenge

abstract: This paper describes the NPU system submitted to Interspeech 2020 Far-Field Speaker Verification Challenge (FFSVC). We particularly focus on far-field text-dependent SV from single (task1) and multiple microphone arrays (task3). The major challenges in such scenarios are short utterance and cross-channel and distance mismatch for enrollment and test. With the belief that better speaker embedding can alleviate the effects from short utterance, we introduce a new speaker embedding architecture - ResNet-BAM, which integrates a bottleneck attention module with ResNet as a simple and efficient way to further improve the representation power of ResNet. This contribution brings up to 1% EER reduction. We further address the mismatch problem in three directions. First, domain adversarial training, which aims to learn domain-invariant features, can yield to 0.8% EER reduction. Second, front-end signal processing, including WPE and beamforming, has no obvious contribution, but together with data selection and domain adversarial training, can further contribute to 0.5% EER reduction. Finally, data augmentation, which works with a specifically-designed data selection strategy, can lead to 2% EER reduction. Together with the above contributions, in the middle challenge results, our single submission system (without multi-system fusion) achieves the first and second place on task 1 and task 3, respectively.


title: Unravelling Small Sample Size Problems in the Deep Learning World

abstract: The growth and success of deep learning approaches can be attributed to two major factors: availability of hardware resources and availability of large number of training samples. For problems with large training databases, deep learning models have achieved superlative performances. However, there are a lot of \textit{small sample size or $S^3$} problems for which it is not feasible to collect large training databases. It has been observed that deep learning models do not generalize well on $S^3$ problems and specialized solutions are required. In this paper, we first present a review of deep learning algorithms for small sample size problems in which the algorithms are segregated according to the space in which they operate, i.e. input space, model space, and feature space. Secondly, we present Dynamic Attention Pooling approach which focuses on extracting global information from the most discriminative sub-part of the feature map. The performance of the proposed dynamic attention pooling is analyzed with state-of-the-art ResNet model on relatively small publicly available datasets such as SVHN, C10, C100, and TinyImageNet.


title: Scission: Performance-driven and Context-aware Cloud-Edge Distribution of Deep Neural Networks

abstract: Partitioning and distributing deep neural networks (DNNs) across end-devices, edge resources and the cloud has a potential twofold advantage: preserving privacy of the input data, and reducing the ingress bandwidth demand beyond the edge. However, for a given DNN, identifying the optimal partition configuration for distributing the DNN that maximizes performance is a significant challenge. This is because the combination of potential target hardware resources that maximizes performance and the sequence of layers of the DNN that should be distributed across the target resources needs to be determined, while accounting for user-defined objectives/constraints for partitioning. This paper presents Scission, a tool for automated benchmarking of DNNs on a given set of target device, edge and cloud resources for determining optimal partitions that maximize DNN performance. The decision-making approach is context-aware by capitalizing on hardware capabilities of the target resources, their locality, the characteristics of DNN layers, and the network condition. Experimental studies are carried out on 18 DNNs. The decisions made by Scission cannot be manually made by a human given the complexity and the number of dimensions affecting the search space. The benchmarking overheads of Scission allow for responding to operational changes periodically rather than in real-time. Scission is available for public download at https://github.com/qub-blesson/Scission.


title: A note on some identities involving special functions from the hypergeometric solution of algebraic equations

abstract: From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these results, and applying other known reduction formulas of hypergeometric functions, we derive new reduction formulas of special functions as well as the calculation of some infinite integrals in terms of elementary functions.


title: Non-Adversarial Imitation Learning and its Connections to Adversarial Methods

abstract: Many modern methods for imitation learning and inverse reinforcement learning, such as GAIL or AIRL, are based on an adversarial formulation. These methods apply GANs to match the expert's distribution over states and actions with the implicit state-action distribution induced by the agent's policy. However, by framing imitation learning as a saddle point problem, adversarial methods can suffer from unstable optimization, and convergence can only be shown for small policy updates. We address these problems by proposing a framework for non-adversarial imitation learning. The resulting algorithms are similar to their adversarial counterparts and, thus, provide insights for adversarial imitation learning methods. Most notably, we show that AIRL is an instance of our non-adversarial formulation, which enables us to greatly simplify its derivations and obtain stronger convergence guarantees. We also show that our non-adversarial formulation can be used to derive novel algorithms by presenting a method for offline imitation learning that is inspired by the recent ValueDice algorithm, but does not rely on small policy updates for convergence. In our simulated robot experiments, our offline method for non-adversarial imitation learning seems to perform best when using many updates for policy and discriminator at each iteration and outperforms behavioral cloning and ValueDice.


title: Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More

abstract: Answer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-solve approach, however, requires ASP programs to be grounded upfront and thus suffers from the so-called grounding bottleneck (i.e., ASP programs easily exhaust all available memory and thus become unsolvable). As a remedy, lazy-grounding ASP solvers have been developed, but many state-of-the-art techniques for grounded ASP solving have not been available to them yet. In this work we present, for the first time, adaptions to the lazy-grounding setting for many important techniques, like restarts, phase saving, domain-independent heuristics, and learned-clause deletion. Furthermore, we investigate their effects and in general observe a large improvement in solving capabilities and also uncover negative effects in certain cases, indicating the need for portfolio solving as known from other solvers. Under consideration for acceptance in TPLP.


title: Axial and pseudoscalar form factors from charged current quasielastic neutrino-nucleon scattering

abstract: We study the scattering of neutrinos on polarized and unpolarized free nucleons, and also the polarization of recoil particles in these scatters. In contrast to electromagnetic processes, the parity-violating weak interaction gives rise to large spin asymmetries at leading order. Future polarization measurements could provide independent access to the proton axial structure and allow the first extraction of the pseudoscalar form factor from neutrino data without the conventional partially conserved axial current (PCAC) ansatz and assumptions about the pion-pole dominance. The pseudoscalar form factor can be accessed with precise measurements with muon (anti)neutrinos of a few hundreds $\mathrm{MeV}$ of energy or with tau (anti)neutrinos. The axial form factor can be extracted from scattering measurements using accelerator neutrinos of all energies.


title: Delayed transfer of entanglement to initially populated qubits

abstract: The transfer of entangled, quantum correlated, flying photons from a squeezed field to single-mode cavities is investigated. It is shown that, while the transfer of photons begins immediately after the input squeezed field is turned on, the time at which quantum correlations start to be transferred to the cavities is strongly dependent on the initial population of the cavities. For the initially empty cavities, the transfer of quantum correlations begins immediately after the squeezed field is turned on, but it is delayed by a certain time interval when the cavities are initially populated. We find that the transfer of the quantum correlations is postponed until the one-photon states of the system are almost completely depopulated. In other words, the system "waits" for the population of the single-photon states to decay out before starting to build up the quantum correlation between the cavities. The delay time interval is independent of the number of photons initially present in the system, but it is dependent on the decay rates of the cavities and can be varied (controlled) when the cavities decay with different rates. It is shown that the delayed transfer of the quantum correlation is directly related to the presence of quantum jumps, which transfer the population from the entangled to incoherent mixture states.


title: Multimodal Image-to-Image Translation via Mutual Information Estimation and Maximization

abstract: Multimodal image-to-image translation (I2IT) aims to learn a conditional distribution that explores multiple possible images in the target domain given an input image in the source domain. Conditional generative adversarial networks (cGANs) are often adopted for modeling such a conditional distribution. However, cGANs are prone to ignore the latent code and learn a unimodal distribution in conditional image synthesis, which is also known as the mode collapse issue of GANs. To solve the problem, we propose a simple yet effective method that explicitly estimates and maximizes the mutual information between the latent code and the output image in cGANs by using a deep mutual information neural estimator in this paper. Maximizing the mutual information strengthens the statistical dependency between the latent code and the output image, which prevents the generator from ignoring the latent code and encourages cGANs to fully utilize the latent code for synthesizing diverse results. Our method not only provides a new perspective from information theory to improve diversity for I2IT but also achieves disentanglement between the source domain content and the target domain style for free.


title: Extended Particle Swarm Optimization (EPSO) for Feature Selection of High Dimensional Biomedical Data

abstract: This paper proposes a novel Extended Particle Swarm Optimization model (EPSO) that potentially enhances the search process of PSO for optimization problem. Evidently, gene expression profiles are significantly important measurement factor in molecular biology that is used in medical diagnosis of cancer types. The challenge to certain classification methodologies for gene expression profiles lies in the thousands of features recorded for each sample. A modified Wrapper feature selection model is applied with the aim of addressing the gene classification challenge by replacing its randomness approach with EPSO and PSO respectively. EPSO is initializing the random size of the population and dividing them into two groups in order to promote the exploration and reduce the probability of falling in stagnation. Experimentally, EPSO has required less processing time to select the optimal features (average of 62.14 sec) than PSO (average of 95.72 sec). Furthermore, EPSO accuracy has provided better classification results (start from 54% to 100%) than PSO (start from 52% to 96%).


title: The chemical structure of young high-mass star-forming clumps: (II) parsec-scale CO depletion and deuterium fraction of $\rm HCO^+$

abstract: The physical and chemical properties of cold and dense molecular clouds are key to understanding how stars form. Using the IRAM 30 m and NRO 45 m telescopes, we carried out a Multiwavelength line-Imaging survey of the 70 $\mu$m dark and bright clOuds (MIAO). At a linear resolution of 0.1--0.5 pc, this work presents a detailed study of parsec-scale CO depletion and $\rm HCO^+$ deuterium (D-) fractionation toward four sources (G11.38+0.81, G15.22-0.43, G14.49-0.13, and G34.74-0.12) included in our full sample. In each source with $\rm T<20$ K and $n_{\rm H}\rm\sim10^4$--$\rm 10^5 cm^{-3}$, we compared pairs of neighboring 70 $\mu$m bright and dark clumps and found that (1) the $\rm H_2$ column density and dust temperature of each source show strong spatial anticorrelation; (2) the spatial distribution of CO isotopologue lines and dense gas tracers, such as 1--0 lines of $\rm H^{13}CO^+$ and $\rm DCO^+$, are anticorrelated; (3) the abundance ratio between $\rm C^{18}O$ and $\rm DCO^+$ shows a strong correlation with the source temperature; (4) both the $\rm C^{18}O$ depletion factor and D-fraction of $\rm HCO^+$ show a robust decrease from younger clumps to more evolved clumps by a factor of more than 3; and (5) preliminary chemical modeling indicates chemical ages of our sources are ${\sim}8\times10^4$ yr, which is comparable to their free-fall timescales and smaller than their contraction timescales, indicating that our sources are likely dynamically and chemically young.


title: Hinode/EIS measurements of active region magnetic fields

abstract: The present work illustrates the potential of a new diagnostic technique that allows the measurement of the coronal magnetic field strength in solar active regions utilizing a handful of bright \ion[Fe x] and \ion[Fe xi] lines commonly observed by the Hinode/EIS high-resolution spectrometer. The importance of this new diagnostic technique lies in two basic facts: 1) the coronal magnetic field is probably the most important quantity in coronal physics, as it is at the heart of the processes regulating Space Weather and the properties of the solar corona, and 2) this technique can be applied to the existing EIS archive spanning from 2007 to 2020, including more than one full solar cycle and covering a large number of active regions, flares, and even coronal mass ejections. This new diagnostic technique opens the door to a whole new field of studies, complementing the magnetic field measurements from the upcoming DKIST and UCoMP ground based observatories, and extending our reach to active regions observed on the disk and until now only sampled by radio measurements. In this work we present a few examples of the application of this technique to EIS observations taken at different times during the EIS mission, discuss its current limitations and the steps to improve its accuracy. We also present a list of EIS observing sequences whose data include all the lines necessary for the application of this diagnostic technique, to help the solar community navigate the immense set of EIS data and to find observations suitable to measure the coronal magnetic field.


title: How Trustworthy are Performance Evaluations for Basic Vision Tasks?

abstract: This paper examines performance evaluation criteria for basic vision tasks involving sets of objects namely, object detection, instance-level segmentation and multi-object tracking. The rankings of algorithms by an existing criterion can fluctuate with different choices of parameters, e.g. Intersection over Union (IoU) threshold, making their evaluations unreliable. More importantly, there is no means to verify whether we can trust the evaluations of a criterion. This work suggests a notion of trustworthiness for performance criteria, which requires (i) robustness to parameters for reliability, (ii) contextual meaningfulness in sanity tests, and (iii) consistency with mathematical requirements such as the metric properties. We observe that these requirements were overlooked by many widely-used criteria, and explore alternative criteria using metrics for sets of shapes. We also assess all these criteria based on the suggested requirements for trustworthiness.


title: A Fully Bayesian Gradient-Free Supervised Dimension Reduction Method using Gaussian Processes

abstract: Modern day engineering problems are ubiquitously characterized by sophisticated computer codes that map parameters or inputs to an underlying physical process. In other situations, experimental setups are used to model the physical process in a laboratory, ensuring high precision while being costly in materials and logistics. In both scenarios, only limited amount of data can be generated by querying the expensive information source at a finite number of inputs or designs. This problem is compounded further in the presence of a high-dimensional input space. State-of-the-art parameter space dimension reduction methods, such as active subspace, aim to identify a subspace of the original input space that is sufficient to explain the output response. These methods are restricted by their reliance on gradient evaluations or copious data, making them inadequate to expensive problems without direct access to gradients. The proposed methodology is gradient-free and fully Bayesian, as it quantifies uncertainty in both the low-dimensional subspace and the surrogate model parameters. This enables a full quantification of epistemic uncertainty and robustness to limited data availability. It is validated on multiple datasets from engineering and science and compared to two other state-of-the-art methods based on four aspects: a) recovery of the active subspace, b) deterministic prediction accuracy, c) probabilistic prediction accuracy, and d) training time. The comparison shows that the proposed method improves the active subspace recovery and predictive accuracy, in both the deterministic and probabilistic sense, when only few model observations are available for training, at the cost of increased training time.


title: How does filtering change the perspective on the scale-energetics of the near-wall cycle?

abstract: We investigate the flux of kinetic energy across length scales in a turbulent pipe flow. We apply explicit spatial filtering of DNS data and assess the effect of different filter kernels (Fourier, Gauss, box) on the local structure of the inter-scale energy flux ($\Pi$) and its statistics. Qualitatively, the mean energy flux at each wall-normal distance is robust with respect to the filter kernel, whereas there are significant differences in the estimated intensity and distribution of localised $\Pi$ events. We find conflicting correlations between typical flow structures in the buffer layer (streaks, vortices and different $Q$ events) and regions of forward/backward transfer in the instantaneous $\Pi$ field. In particular, cross-correlations are highly upstream-downstream symmetric for the Fourier kernel, but asymmetric for the Gauss and box kernel. We show that for the Gauss and box kernel, $\Pi$ events preferably sit on the inclined meander at the borders of streaks where strong shear layers occur, whereas they appear centred on top of the streaks for the Fourier kernel. Moreover, using the Fourier kernel we reveal a direct coincidence of backward scatter and fluid transport away from the wall ($Q_{1}$), which is absent for the Gauss and the box kernel. However, all kernels equally predict backward scatter directly downstream of $Q_{1}$ events. Our findings expand the common understanding of the wall cycle and might impact modelling and control strategies. Altogether, our results suggest that interpretations of the inter-scale energy flux relying on Fourier filters should be taken with caution, because Fourier filters act globally in physical space, whereas $\Pi$ events are strongly spatially localised. Our Python post-processing tool eFlux for scale separation and flux computations in pipe flows is freely available and can be easily adapted to other flow geometries.


title: Properties of the Poynting vector for invariant beams: negative propagation in Weber beams

abstract: Negative propagation is an uncommon response produced by the local sign change in Poynting vector components. We present a general Poynting vector expression for all invariant beams with cylindrical symmetry using scalar potentials in order to evaluate the possibility of negative propagation. We analyze the plausibility of negative propagation being independent of mode mixing; we study Weber beams as a particular case. The study of this negative effect allow us to advance in the field of micro manipulation and understanding of optical forces. Applications of these beams are discussed.


title: Photodynamic therapy of 4T1 tumors in NOD-SCID mice

abstract: Background: Promising results for mammary carcinoma treatment with photodynamic therapy (PDT) presuppose a careful selection of irradiation light wavelength. Methods: 4T1 tumors implanted in NOD-SCID mice were treated with Metvix-PDT under 625 nm, 660 nm and their combination light, for a fixed radiant exposure. The therapeutic outcome was assessed through Monte Carlo based computational simulations along with a preliminary in vivo study, where fluorescence, size and temperature measurements were conducted. Results: The light source combination protocol presents great potential, since it results in high cytotoxic products levels and reduced treatment times; while the in vivo findings, regarding the harvested tumor mass, also support this hypothesis. The irradiation with 625 nm beam alone presented better results for most of the in vivo measured parameters. The mouse treated with only the 660 nm light source had the highest un-photobleached photosensitizer (PS) signal, the lowest body temperature, the heaviest harvested tumor and the lowest estimated concentration of PDT cytotoxic products. Conclusions: The use of 625 nm irradiation light matches the PS excitation band but is preferable only for treatment of superficial tumors. For deeper laying masses, the simultaneous use of longer wavelengths enhances the therapeutic outcome due to their increased penetration depth.


title: Characterizations of modalities and lex modalities

abstract: A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of $\infty$-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse $L$: (1) the associated subuniverse $L'$ of $L$-separated types is a modality; (2) $L$ is a modality; (3) $L$ is a lex modality; and (4) $L$ is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to $L$, such as the $L$-\'etale maps, the $L$-equivalences, the $L$-local maps, the $L$-connected maps, the unit maps $\eta_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.


title: HASeparator: Hyperplane-Assisted Softmax

abstract: Efficient feature learning with Convolutional Neural Networks (CNNs) constitutes an increasingly imperative property since several challenging tasks of computer vision tend to require cascade schemes and modalities fusion. Feature learning aims at CNN models capable of extracting embeddings, exhibiting high discrimination among the different classes, as well as intra-class compactness. In this paper, a novel approach is introduced that has separator, which focuses on an effective hyperplane-based segregation of the classes instead of the common class centers separation scheme. Accordingly, an innovatory separator, namely the Hyperplane-Assisted Softmax separator (HASeparator), is proposed that demonstrates superior discrimination capabilities, as evaluated on popular image classification benchmarks.


title: Numerical study of the effect of mass of the background gas on the lateral interactions of two plasma plumes at high pressure

abstract: The characteristic of the lateral interaction of two plasma plumes in $Ar$ background gas at high pressures was reported in recent publication [Yadav {\it et. al.}, J. Phys. D: Appl. Phys. {\bf 50}, 053421 (2017)]. Further we have investigated the interaction characteristics of plumes in $He$, $Ne$, $Ar$ and $Xe$ background gases to see the effect of mass on the interaction. The present work illustrate the applicability of the present model for theoretical understanding of dynamics, structure, density variation, shock wave formations and their interactions of two propagating plasma plumes in a wide range of ambient conditions. The formation of interaction region, geometrical shape and strength of the shock fronts and subsequent regular and Mach reflections in accordance with the nature and pressure of ambient gas are successfully captured in the simulations. The observed results are supported by the reported experimental observations under identical conditions.


title: The perceptions of social and information privacy risks of Inflammatory Bowel Disease patients using social media platforms for health-related support

abstract: With hundreds of thousands of individuals using social media to discuss health concerns, sensitive personal data is self-disclosed on these platforms every day. Previous research indicates an understanding of social privacy concerns by patients with chronic illnesses, but there is a lack of understanding in the perception of information privacy concerns. Qualitative interviews were conducted with 38 patients with inflammatory bowel disease (IBD) using social media platforms to engage with online communities. Using thematic analysis, we identified that patients typically demonstrate the privacy and risk dual calculus for perceived social privacy concerns. Patients demonstrate mixed knowledge of what data is collected and how it is used by social media platforms and often described their platform use as a trade-off between the unknown information privacy risks and the therapeutic affordances of engaging with the online community (the privacy calculus). Our findings illustrate the different levels of understanding between social and information privacy and the impacts on how individuals take agency over their personal data. We conclude with the suggestion for future research to further understand the relationship between knowledge, information privacy concerns and mitigating actions in the online health community context.


title: Compiling single-qubit braiding gate for Fibonacci anyons topological quantum computation

abstract: Topological quantum computation is an implementation of a quantum computer in a way that radically reduces decoherence. Topological qubits are encoded in the topological evolution of two-dimensional quasi-particles called anyons and universal set of quantum gates can be constructed by braiding these anyons yielding to a topologically protected circuit model. In the present study we remind the basics of this emerging quantum computation scheme and illustrate how a topological qubit built with three Fibonacci anyons might be adopted to achieve leakage free braiding gate by exchanging the anyons composing it. A single-qubit braiding gate that approximates the Hadamard quantum gate to a certain accuracy is numerically implemented using a brute force search method. The algorithms utilized for that purpose are explained and the numerical programs are publicly shared for reproduction and further use.


title: A Novel Community Detection Based Genetic Algorithm for Feature Selection

abstract: The selection of features is an essential data preprocessing stage in data mining. The core principle of feature selection seems to be to pick a subset of possible features by excluding features with almost no predictive information as well as highly associated redundant features. In the past several years, a variety of meta-heuristic methods were introduced to eliminate redundant and irrelevant features as much as possible from high-dimensional datasets. Among the main disadvantages of present meta-heuristic based approaches is that they are often neglecting the correlation between a set of selected features. In this article, for the purpose of feature selection, the authors propose a genetic algorithm based on community detection, which functions in three steps. The feature similarities are calculated in the first step. The features are classified by community detection algorithms into clusters throughout the second step. In the third step, features are picked by a genetic algorithm with a new community-based repair operation. Nine benchmark classification problems were analyzed in terms of the performance of the presented approach. Also, the authors have compared the efficiency of the proposed approach with the findings from four available algorithms for feature selection. The findings indicate that the new approach continuously yields improved classification accuracy.


title: Maneuvering and robustness issues in undirected displacement-consensus-based formation control

abstract: In this paper, we first propose a novel maneuvering technique compatible with displacement-consensus-based formation controllers. We show that the formation can be translated with an arbitrary velocity by modifying the weights in the consensus Laplacian matrix. In fact, we demonstrate that the displacement-consensus-based formation control is a particular case of our more general method. We then uncover robustness issues with undesired steady-state motions and resultant distorted shapes in undirected displacement-consensus-based formation control. In particular, these issues are triggered when neighboring agents mismeasure their relative positions, e.g., their onboard sensors are misaligned and have different scale factors. We will show that if all the sensing is close to perfect but different among the agents, then the stability of the system is compromised. Explicit expressions for the eventual non-desired velocity and shape's distortion are given as functions of the scale factors and misalignments for formations based on tree graphs.


title: Mining and Analyzing Patron's Book-Loan Data and University Data to Understand Library Use Patterns

abstract: The purpose of this paper is to study the patron's usage behavior in an academic library. This study investigates on pattern of patron's books borrowing in Khunying Long Athakravisunthorn Learning Resources Center, Prince of Songkla University that influence patron's academic achievement during on academic year 2015-2018. The study collected and analyzed data from the libraries, registrar, and human resources. The students' performance data was obtained from PSU Student Information System and the rest from ALIST library information system. WEKA was used as the data mining tool employing data mining techniques of association rules and clustering. All data sets were mined and analyzed to identify characteristics of the patron's book borrowing, to discover the association rules of patron's interest, and to analyze the relationships between academic library use and undergraduate students' achievement. The results reveal patterns of patron's book loan behavior, patterns of book usage, patterns of interest rules with respect to patron's interest in book borrowing, and patterns of relationships between patron's borrowing and their grade. The ability to clearly identify and describe library patron's behavior pattern can help library in managing resources and services more effectively. This study provides a sample model as guideline or campus partnerships and for future collaborations that will take advantage of the academic library information and data mining to improve library management and library services.


title: Online Multi-modal Person Search in Videos

abstract: The task of searching certain people in videos has seen increasing potential in real-world applications, such as video organization and editing. Most existing approaches are devised to work in an offline manner, where identities can only be inferred after an entire video is examined. This working manner precludes such methods from being applied to online services or those applications that require real-time responses. In this paper, we propose an online person search framework, which can recognize people in a video on the fly. This framework maintains a multimodal memory bank at its heart as the basis for person recognition, and updates it dynamically with a policy obtained by reinforcement learning. Our experiments on a large movie dataset show that the proposed method is effective, not only achieving remarkable improvements over online schemes but also outperforming offline methods.


title: DR-Tools: a suite of lightweight open-source tools to measure and visualize Java source code

abstract: In Software Engineering, some of the most critical activities are maintenance and evolution. However, to perform both with quality, minimizing impacts and risks, developers need to analyze and identify where the main problems come from previously. In this paper, we introduce DR-Tools Suite, a set of lightweight open-source tools that analyze and calculate source code metrics, allowing developers to visualize the results in different formats and graphs. Also, we define a set of heuristics to help the code analysis. We conducted two case studies (one academic and one industrial) to collect feedback on the tools suite, on how we will evolve the tools, as well as insights to develop new tools that support developers in their daily work.


title: A Unified Framework for Shot Type Classification Based on Subject Centric Lens

abstract: Shots are key narrative elements of various videos, e.g. movies, TV series, and user-generated videos that are thriving over the Internet. The types of shots greatly influence how the underlying ideas, emotions, and messages are expressed. The technique to analyze shot types is important to the understanding of videos, which has seen increasing demand in real-world applications in this era. Classifying shot type is challenging due to the additional information required beyond the video content, such as the spatial composition of a frame and camera movement. To address these issues, we propose a learning framework Subject Guidance Network (SGNet) for shot type recognition. SGNet separates the subject and background of a shot into two streams, serving as separate guidance maps for scale and movement type classification respectively. To facilitate shot type analysis and model evaluations, we build a large-scale dataset MovieShots, which contains 46K shots from 7K movie trailers with annotations of their scale and movement types. Experiments show that our framework is able to recognize these two attributes of shot accurately, outperforming all the previous methods.


title: Learning CNN filters from user-drawn image markers for coconut-tree image classification

abstract: Identifying species of trees in aerial images is essential for land-use classification, plantation monitoring, and impact assessment of natural disasters. The manual identification of trees in aerial images is tedious, costly, and error-prone, so automatic classification methods are necessary. Convolutional Neural Network (CNN) models have well succeeded in image classification applications from different domains. However, CNN models usually require intensive manual annotation to create large training sets. One may conceptually divide a CNN into convolutional layers for feature extraction and fully connected layers for feature space reduction and classification. We present a method that needs a minimal set of user-selected images to train the CNN's feature extractor, reducing the number of required images to train the fully connected layers. The method learns the filters of each convolutional layer from user-drawn markers in image regions that discriminate classes, allowing better user control and understanding of the training process. It does not rely on optimization based on backpropagation, and we demonstrate its advantages on the binary classification of coconut-tree aerial images against one of the most popular CNN models.


title: A novel hand-held interface supporting the self-management of Type 1 diabetes

abstract: The paper describes the interaction design of a hand-held interface supporting the self-management of Type 1 diabetes. It addresses well-established clinical and human-computer interaction requirements. The design exploits three opportunities. One is associated with visible context, whether conspicuous or inconspicuous. A second arises from the design freedom made possible by the user's anticipated focus of attention during certain interactions. A third opportunity to provide valuable functionality arises from wearable sensors and machine learning algorithms. The resulting interface permits ``What if?'' questions: it allows a user to dynamically and manually explore predicted short-term (e.g., 2 hours) relationships between an intended meal, blood glucose level and recommended insulin dosage, and thereby readily make informed food and exercise decisions. Design activity has been informed throughout by focus groups comprising people with Type 1 diabetes in addition to experts in diabetes, interaction design and machine learning. The design is being implemented prior to a clinical trial.


title: Scalable model selection for spatial additive mixed modeling: application to crime analysis

abstract: A rapid growth in spatial open datasets has led to a huge demand for regression approaches accommodating spatial and non-spatial effects in big data. Regression model selection is particularly important to stably estimate flexible regression models. However, conventional methods can be slow for large samples. Hence, we develop a fast and practical model-selection approach for spatial regression models, focusing on the selection of coefficient types that include constant, spatially varying, and non-spatially varying coefficients. A pre-processing approach, which replaces data matrices with small inner products through dimension reduction dramatically accelerates the computation speed of model selection. Numerical experiments show that our approach selects the model accurately and computationally efficiently, highlighting the importance of model selection in the spatial regression context. Then, the present approach is applied to open data to investigate local factors affecting crime in Japan. The results suggest that our approach is useful not only for selecting factors influencing crime risk but also for predicting crime events. This scalable model selection will be key to appropriately specifying flexible and large-scale spatial regression models in the era of big data. The developed model selection approach was implemented in the R package spmoran.


title: Tuning interchain ferromagnetic instability in A2Cr3As3 ternary arsenides by chemical pressure and uniaxial strain

abstract: We analyze the effects of chemical pressure induced by alkali metal substitution and uniaxial strain on magnetism in the A2Cr3As3 (A = Na, K, Rb, Cs) family of ternary arsenides with quasi-one dimensional structure. Within the framework of the density functional theory, we predict that the non-magnetic phase is very close to a 3D collinear ferrimagnetic state, which realizes in the regime of moderate correlations, such tendency being common to all the members of the family with very small variations due to the different interchain ferromagnetic coupling. We uncover that the stability of such interchain ferromagnetic coupling has a non-monotonic behavior with increasing the cation size, being critically related to the degree of structural distortions which is parametrized by the Cr-As-Cr bonding angles along the chain direction. In particular, we demonstrate that it is boosted in the case of the Rb, in agreement with recent experiments. We also show that uniaxial strain is a viable tool to tune the non-magnetic phase towards an interchain ferromagnetic instability. The modifcation of the shape of the Cr triangles within the unit cell favors the formation of a net magnetization within the chain and of a ferromagnetic coupling among the chains. This study can provide relevant insights about the interplay between superconductivity and magnetism in this class of materials.


title: Forming Local Intersections of Projections for Classifying and Searching Histopathology Images

abstract: In this paper, we propose a novel image descriptor called Forming Local Intersections of Projections (FLIP) and its multi-resolution version (mFLIP) for representing histopathology images. The descriptor is based on the Radon transform wherein we apply parallel projections in small local neighborhoods of gray-level images. Using equidistant projection directions in each window, we extract unique and invariant characteristics of the neighborhood by taking the intersection of adjacent projections. Thereafter, we construct a histogram for each image, which we call the FLIP histogram. Various resolutions provide different FLIP histograms which are then concatenated to form the mFLIP descriptor. Our experiments included training common networks from scratch and fine-tuning pre-trained networks to benchmark our proposed descriptor. Experiments are conducted on the publicly available dataset KIMIA Path24 and KIMIA Path960. For both of these datasets, FLIP and mFLIP descriptors show promising results in all experiments.Using KIMIA Path24 data, FLIP outperformed non-fine-tuned Inception-v3 and fine-tuned VGG16 and mFLIP outperformed fine-tuned Inception-v3 in feature extracting.


title: Fighting Voice Spam with a Virtual Assistant Prototype

abstract: Mass robocalls affect millions of people on a daily basis. Unfortunately, most current defenses against robocalls rely on phone blocklists and are ineffective against caller ID spoofing. To enable the detection of spoofed robocalls, we propose a {\em virtual assistant} application that could be integrated on smartphones to automatically vet incoming calls. Similar to a human assistant, the virtual assistant can pick up an incoming call and screen it without user interruption to determine if the call is unwanted. Via a user study, we show that our virtual assistant is able to preserve the user experience of a typical phone call. At the same time, we show that our system can detect mass robocalls without negatively impacting legitimate callers.


title: Assisting Scene Graph Generation with Self-Supervision

abstract: Research in scene graph generation has quickly gained traction in the past few years because of its potential to help in downstream tasks like visual question answering, image captioning, etc. Many interesting approaches have been proposed to tackle this problem. Most of these works have a pre-trained object detection model as a preliminary feature extractor. Therefore, getting object bounding box proposals from the object detection model is relatively cheaper. We take advantage of this ready availability of bounding box annotations produced by the pre-trained detector. We propose a set of three novel yet simple self-supervision tasks and train them as auxiliary multi-tasks to the main model. While comparing, we train the base-model from scratch with these self-supervision tasks, we achieve state-of-the-art results in all the metrics and recall settings. We also resolve some of the confusion between two types of relationships: geometric and possessive, by training the model with the proposed self-supervision losses. We use the benchmark dataset, Visual Genome to conduct our experiments and show our results.


title: A simpler strong refutation of random $k$-XOR

abstract: Strong refutation of random CSPs is a fundamental question in theoretical computer science that has received particular attention due to the long-standing gap between the information-theoretic limit and the computational limit. This gap is recently bridged by Raghavendra, Rao and Schramm where they study sub-exponential algorithms for the regime between the two limits. In this work, we take a simpler approach to their algorithm and analysis.


title: Interspecies evolutionary dynamics mediated by public goods in bacterial quorum sensing

abstract: Bacterial quorum sensing is the communication that takes place between bacteria as they secrete certain molecules into the intercellular medium that later get absorbed by the secreting cells themselves and by others. Depending on cell density, this uptake has the potential to alter gene expression and thereby affect global properties of the community. We consider the case of multiple bacterial species coexisting, referring to each one of them as a genotype and adopting the usual denomination of the molecules they collectively secrete as public goods. A crucial problem in this setting is characterizing the coevolution of genotypes as some of them secrete public goods (and pay the associated metabolic costs) while others do not but may nevertheless benefit from the available public goods. We introduce a network model to describe genotype interaction and evolution when genotype fitness depends on the production and uptake of public goods. The model comprises a random graph to summarize the possible evolutionary pathways the genotypes may take as they interact genetically with one another, and a system of coupled differential equations to characterize the behavior of genotype abundance in time. We study some simple variations of the model analytically and more complex variations computationally. Our results point to a simple trade-off affecting the long-term survival of those genotypes that do produce public goods. This trade-off involves, on the producer side, the impact of producing and that of absorbing the public good. On the non-producer side, it involves the impact of absorbing the public good as well, now compounded by the molecular compatibility between the producer and the non-producer. Depending on how these factors turn out, producers may or may not survive.


title: Long range versus short range aerial transmission of SARS-CoV-2

abstract: We compare the quantitative risk of infection from short range airborne transmission of SARS-CoV-2 to the long-range risk from aerosol transmission in an enclosed space.


title: Convex Q-Learning, Part 1: Deterministic Optimal Control

abstract: It is well known that the extension of Watkins' algorithm to general function approximation settings is challenging: does the projected Bellman equation have a solution? If so, is the solution useful in the sense of generating a good policy? And, if the preceding questions are answered in the affirmative, is the algorithm consistent? These questions are unanswered even in the special case of Q-function approximations that are linear in the parameter. The challenge seems paradoxical, given the long history of convex analytic approaches to dynamic programming. The paper begins with a brief survey of linear programming approaches to optimal control, leading to a particular over parameterization that lends itself to applications in reinforcement learning. The main conclusions are summarized as follows: (i) The new class of convex Q-learning algorithms is introduced based on the convex relaxation of the Bellman equation. Convergence is established under general conditions, including a linear function approximation for the Q-function. (ii) A batch implementation appears similar to the famed DQN algorithm (one engine behind AlphaZero). It is shown that in fact the algorithms are very different: while convex Q-learning solves a convex program that approximates the Bellman equation, theory for DQN is no stronger than for Watkins' algorithm with function approximation: (a) it is shown that both seek solutions to the same fixed point equation, and (b) the ODE approximations for the two algorithms coincide, and little is known about the stability of this ODE. These results are obtained for deterministic nonlinear systems with total cost criterion. Many extensions are proposed, including kernel implementation, and extension to MDP models.


title: LPMNet: Latent Part Modification and Generation for 3D Point Clouds

abstract: In this paper, we focus on latent modification and generation of 3D point cloud object models with respect to their semantic parts. Different to the existing methods which use separate networks for part generation and assembly, we propose a single end-to-end Autoencoder model that can handle generation and modification of both semantic parts, and global shapes. The proposed method supports part exchange between 3D point cloud models and composition by different parts to form new models by directly editing latent representations. This holistic approach does not need part-based training to learn part representations and does not introduce any extra loss besides the standard reconstruction loss. The experiments demonstrate the robustness of the proposed method with different object categories and varying number of points. The method can generate new models by integration of generative models such as GANs and VAEs and can work with unannotated point clouds by integration of a segmentation module.


title: Cross-modal Center Loss

abstract: Cross-modal retrieval aims to learn discriminative and modal-invariant features for data from different modalities. Unlike the existing methods which usually learn from the features extracted by offline networks, in this paper, we propose an approach to jointly train the components of cross-modal retrieval framework with metadata, and enable the network to find optimal features. The proposed end-to-end framework is updated with three loss functions: 1) a novel cross-modal center loss to eliminate cross-modal discrepancy, 2) cross-entropy loss to maximize inter-class variations, and 3) mean-square-error loss to reduce modality variations. In particular, our proposed cross-modal center loss minimizes the distances of features from objects belonging to the same class across all modalities. Extensive experiments have been conducted on the retrieval tasks across multi-modalities, including 2D image, 3D point cloud, and mesh data. The proposed framework significantly outperforms the state-of-the-art methods on the ModelNet40 dataset.


title: Dynamical Wormholes in Higher Dimensions and the Emergent Universe

abstract: Dynamical wormholes in higher dimensions which admit flat emergent universe (EU) model is presented. The EU model is free from initial singularity with other observed features of the universe. The basic assumption of EU model was that the present universe emerged out from a static Einstein universe. EU model originates from a dynamical wormhole, its throat is the seed of Einstein Static universe. A class of cosmological solutions in a higher dimensional flat universe is presented. A new shape function for closed universe is determined. The non-linear equation of state (EoS) corresponds to three types of cosmic fluids. The EoS parameters determine the cosmic fluids. The space-time dimensions determines the rate of change of a particular fluid that varies with the scale factor of a dynamically evolving universe with non-interacting fluids. Considering interaction at time $t > t_0$, among the three types of fluids it is possible to describe the observed universe satisfactorily. In a higher dimensional universe it is found that near the throat null energy condition (NEC) is violated, but away from the throat NEC is found to obey admitting the observed universe for a flat case. Another interesting aspect of the EU model is that it permits late accelerating phase. However, in asymptotic closed or open universe, flat emergent universe can be accommodated with NEC which is obeyed right from the throat to the present epoch. The tension at the throat of the wormhole is estimated which is found to depend on the initial size of the Einstein static universe and dimensions of the universe. It is interesting to note that NEC is not violated to accommodate dynamical wormholes for closed or open universe. Although exotic matter is required at the throat for the flat universe, no exotic matter is required for closed or open universe which encompass the emergent universe.


title: eXpOS: A Simple Pedagogical Operating System for Undergraduate Instruction

abstract: An operating system project suitable for undergraduate computing/electrical sciences students is presented. The project can be used as a course project in a one semester course, or as a self-study project for motivated students. The course is organized such that a student with a basic background in programming and computer organization can follow the implementation road map available online, and build the OS from scratch on her personal machine/laptop, with minimal instructional supervision. The student is provided with a simulated abstract machine, an application interface specification, specification and design of the OS, and a step by step project implementation road map. The functionalities of the OS include multitasking, virtual memory, semaphores, shared memory, an elementary file system, interrupt driven disk and console I/O, and a limited multi-user support. The final stage of the project involves porting the OS to a two-core machine. An independent one semester compiler design project, where the student builds a compiler for a tiny object oriented programming language that generates target code that can be loaded and executed by the OS is also briefly discussed.


title: Online Nash Social Welfare Maximization with Predictions

abstract: We consider the problem of allocating a set of divisible goods to $N$ agents in an online manner, aiming to maximize the Nash social welfare, a widely studied objective which provides a balance between fairness and efficiency. The goods arrive in a sequence of $T$ periods and the value of each agent for a good is adversarially chosen when the good arrives. We first observe that no online algorithm can achieve a competitive ratio better than the trivial $O(N)$, unless it is given additional information about the agents' values. Then, in line with the emerging area of "algorithms with predictions", we consider a setting where for each agent, the online algorithm is only given a prediction of her monopolist utility, i.e., her utility if all goods were given to her alone (corresponding to the sum of her values over the $T$ periods). Our main result is an online algorithm whose competitive ratio is parameterized by the multiplicative errors in these predictions. The algorithm achieves a competitive ratio of $O(\log N)$ and $O(\log T)$ if the predictions are perfectly accurate. Moreover, the competitive ratio degrades smoothly with the errors in the predictions, and is surprisingly robust: the logarithmic competitive ratio holds even if the predictions are very inaccurate. We complement this positive result by showing that our bounds are essentially tight: no online algorithm, even if provided with perfectly accurate predictions, can achieve a competitive ratio of $O(\log^{1-\epsilon} N)$ or $O(\log^{1-\epsilon} T)$ for any constant $\epsilon>0$.


title: On the Influence of the Ionization-Recombination Processes on Hydrogen Plasma Polytropic Index

abstract: The polytropic (adiabatic) index for pure hydrogen plasma is analytically calculated as function of reciprocal temperature and degree of ionization. Additionally, the polytropic index is graphically represented as a function of temperature and density. It is concluded that the partially ionized hydrogen plasma cannot be exactly polytropic. The calculated deviations from the mono-atomic value 5/3 are measurable. The analytical result for pure hydrogen plasma is a test example how this approach can be extended for arbitrary gas cocktail.


title: The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables

abstract: In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $\mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a $C^1$-smooth foliation by convex caustics of rotation numbers in the interval (0; 1/4] then the boundary curve is an ellipse. In the language of first integrals one can assert that {if the billiard inside a centrally-symmetric $C^2$-smooth convex curve $\gamma$ admits a $C^1$-smooth first integral with non-vanishing gradient on $\mathcal A$, then the curve $\gamma$ is an ellipse.} The main ingredients of the proof are : (1) the non-standard generating function for convex billiards discovered in \cite{BM}, \cite{B}; (2) the remarkable structure of the invariant curve consisting of $4$-periodic orbits; and (3) the integral-geometry approach initiated in B0, B1 for rigidity results of circular billiards. Surprisingly, we establish a Hopf-type rigidity for billiard in ellipse.


title: 3D HR-EBSD characterization of the plastic zone around crack tips in tungsten single crystals at the micron scale

abstract: High angular resolution electron backscatter diffraction (HR-EBSD) was coupled with focused ion beam (FIB) slicing to characterize the shape of the plastic zone in terms of geometrically necessary dislocations (GNDs) in W single crystal in 3 dimensions. Cantilevers of similar size with a notch were fabricated by FIB and were deformed inside a scanning electron microscope at different temperatures (21$^{\circ}$C, 100$^{\circ}$C and 200$^{\circ}$C) just above the micro-scale brittle-to-ductile transition (BDT). J-integral testing was performed to analyse crack growth and determine the fracture toughness. At all three temperatures the plastic zone was found to be larger close to the free surface than inside the specimen, similar to macro-scale tension tests. However, at higher temperature, the 3D shape of the plastic zone changes from being localized in front of the crack tip to a butterfly-like distribution, shielding more efficiently the crack tip and inhibiting crack propagation. A comparison was made between two identically deformed samples, which were FIB-sliced from two different directions, to evaluate the reliability of the GND density estimation by HR-EBSD. The analysis of the distribution of the Nye tensor components was used to differentiate between the types of GNDs nucleated in the sample. The role of different types of dislocations in the plastic zone is discussed and we confirm earlier findings that the micro-scale BDT of W is mainly controlled by the nucleation of screw dislocations in front of the crack tip.


title: Chordality of locally semicomplete and weakly quasi-transitive digraphs

abstract: Chordal graphs are important in the structural and algorithmic graph theory. A digraph analogue of chordal graphs was introduced by Haskin and Rose in 1973 but has not been a subject of active studies until recently when a characterization of semicomplete chordal digraphs in terms of forbidden subdigraphs was found by Meister and Telle. Locally semicomplete digraphs, quasi-transitive digraphs, and extended semi-complete digraphs are amongst the most popular generalizations of semicomplete digraphs. We extend the forbidden subdigraph characterization of semicomplete chordal digraphs to locally semicomplete chordal digraphs. We introduce a new class of digraphs, called weakly quasi-transitive digraphs, which contains quasi-transitive digraphs, symmetric digraphs, and extended semicomplete digraphs, but is incomparable to the class of locally semicomplete digraphs. We show that weakly quasi-transitive digraphs can be recursively constructed by simple substitutions from transitive oriented graphs, semicomplete digraphs, and symmetric digraphs. This recursive construction of weakly quasi-transitive digraphs, similar to the one for quasi-transitive digraphs, demonstrates the naturalness of the new digraph class. As a by-product, we prove that the forbidden subdigraphs for semicomplete chordal digraphs are the same for weakly quasi-transitive chordal digraphs.


title: Exploring the Collective Phenomenon at the Electron-Ion Collider

abstract: Based on rare fluctuations in strong interactions, we argue that there is a strong physical resemblance between the high multiplicity events in photo-nuclear collisions and those in $pA$ collisions, in which interesting long range collective phenomena are discovered. This indicates that the collectivity can also be studied in certain kinematic region of the upcoming Electron-Ion Collider (EIC) where the incoming virtual photon has a sufficiently long lifetime. Using a model in the Color Glass Condensate formalism, we first show that the initial state interactions can explain the recent ATLAS azimuthal correlation results measured in the photo-nuclear collisions, and then we provide quantitative predictions for the long range correlations in $eA$ collisions in the EIC regime. With the unprecedented precision and the ability to change the size of the collisional system, the high luminosity EIC will open a new window to explore the physical mechanism responsible for the collective phenomenon.


title: Graphene-based topological insulator in the presence of a disclination submitted to a uniform magnetic field

abstract: In this paper we investigate quasiparticles in graphene-based topological insulator with a wedge disclination in the presence of a uniform magnetic field. In particular, we consider a massive spinless model. The Landau levels are analytically found for the described system. We show that the Landau levels are lifted for a specific range of the parameter {\nu}. In addition, we also show that, for appropriate parameter values, one finds gapless and gapped states.


title: Differential diffusion model with two equilibrium states

abstract: The difference diffusion model with two equilibrium states is given by a stochastic equation with two components: the predicted one, which is determined by the regression function of increments with two equilibriums, and the stochastic one, which is the martingale difference. We propose a classification of zones of influence of equilibriums according to asymptotic properties of trajectories of statistical experiments. We study asymptotic behavior of statistical experiments, determined by the sums of $N$ sample values, as $N\to\infty$.


title: Respecting One's Fellow: QBism's Analysis of Wigner's Friend

abstract: According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner's conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner's original thought experiment was central to the development of QBist thinking. The focus of this paper concerns two very instructive modifications to Wigner's puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner's action on his friend then becomes, from the friend's perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner's original paper, neither agent should be considered as in "suspended animation." In this light, QBism brings an entirely new perspective to understanding Wigner's friend thought experiments.


title: Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

abstract: The multi-agent path finding (MAPF) problem is a combinatorial search problem that aims at finding paths for multiple agents (e.g., robots) in an environment (e.g., an autonomous warehouse) such that no two agents collide with each other, and subject to some constraints on the lengths of paths. We consider a general version of MAPF, called mMAPF, that involves multi-modal transportation modes (e.g., due to velocity constraints) and consumption of different types of resources (e.g., batteries). The real-world applications of mMAPF require flexibility (e.g., solving variations of mMAPF) as well as explainability. Our earlier studies on mMAPF have focused on the former challenge of flexibility. In this study, we focus on the latter challenge of explainability, and introduce a method for generating explanations for queries regarding the feasibility and optimality of solutions, the nonexistence of solutions, and the observations about solutions. Our method is based on answer set programming. This paper is under consideration for acceptance in TPLP.


title: Kerker Effect, Superscattering, and Scattering Dark State in Atomic Antennas

abstract: We study scattering phenomena such as the Kerker effect, superscattering, and scattering dark states in a subwavelength atomic antenna consisting of atoms with only electric dipole transitions. We show that an atomic antenna can exhibit arbitrarily large or small scattering cross sections depending on the geometry of the structure and the direction of the impinging light. We also demonstrate that atoms with only an electric dipole transition can exhibit a directional radiation pattern with zero backscattering when placed in a certain configuration. This is a special case of a phenomenon known as the Kerker effect, which typically occurs in the presence of both electric and magnetic transitions. Our findings open a pathway to design highly directional emitters, nonradiating sources, and highly scattering objects based on individually controlled atoms.


title: Roots of Chebyshev Polynomials: a purely algebraic approach

abstract: By using purely algebraic tools, we establish well-known properties of roots of Chebyshev polynomials. Especially, we show that these zeros are simple and lie in $(-1,1)$ and we prove in two ways that they are mostly irrational.


title: First in-situ detection of the CN radical in comets and evidence for a distributed source

abstract: Although the debate regarding the origin of the cyano (CN) radical in comets has been ongoing for many decades, it has yielded no definitive answer to date. CN could previously only be studied remotely, strongly hampering efforts to constrain its origin because of very limited spatial information. Thanks to the European Space Agency's Rosetta spacecraft, which orbited comet 67P/Churyumov-Gerasimenko for two years, we can investigate, for the first time, CN around a comet at high spatial and temporal resolution. On board Rosetta's orbiter module, the high-resolution double-focusing mass spectrometer DFMS, part of the ROSINA instrument suite, analyzed the neutral volatiles (including HCN and the CN radical) in the inner coma of the comet throughout that whole two-year phase and at variable cometocentric distances. From a thorough analysis of the full-mission data, the abundance of CN radicals in the cometary coma has been derived. Data from a close flyby event in February 2015 indicate a distributed origin for the CN radical in comet 67P/Churyumov-Gerasimenko.


title: Potential Games for Distributed Constrained Consensus

abstract: The problem of computing a common point that lies in the intersection of a finite number of closed convex sets, each known to one agent in a network, is studied. This issue, known as the distributed convex feasibility problem or the distributed constrained consensus problem, constitutes an important research goal mainly due to the large number of possible applications. In this work, this issue is treated from a game theoretic viewpoint. In particular, we formulate the problem as a non-cooperative game for which a potential function exists and prove that all Nash equilibria of this game correspond to consensus states. Based upon this analysis, a best-response based distributed algorithm that solves the constrained consensus problem is developed. Furthermore, one more approach to solve the convex feasibility problem is studied based upon a projected gradient type algorithm that seeks the maximum of the considered potential function. A condition for the convergence of this scheme is derived and an exact distributed algorithm is given. Finally, simulation results for a source localization problem are given, that validate the theoretical results and demonstrate the applicability and performance of the derived algorithms.


title: TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests

abstract: Memory consistency models (MCMs) specify the legal ordering and visibility of shared memory accesses in a parallel program. Traditionally, instruction set architecture (ISA) MCMs assume that relevant program-visible memory ordering behaviors only result from shared memory interactions that take place between user-level program instructions. This assumption fails to account for virtual memory (VM) implementations that may result in additional shared memory interactions between user-level program instructions and both 1) system-level operations (e.g., address remappings and translation lookaside buffer invalidations initiated by system calls) and 2) hardware-level operations (e.g., hardware page table walks and dirty bit updates) during a user-level program's execution. These additional shared memory interactions can impact the observable memory ordering behaviors of user-level programs. Thus, memory transistency models (MTMs) have been coined as a superset of MCMs to additionally articulate VM-aware consistency rules. However, no prior work has enabled formal MTM specifications, nor methods to support their automated analysis. To fill the above gap, this paper presents the TransForm framework. First, TransForm features an axiomatic vocabulary for formally specifying MTMs. Second, TransForm includes a synthesis engine to support the automated generation of litmus tests enhanced with MTM features (i.e., enhanced litmus tests, or ELTs) when supplied with a TransForm MTM specification. As a case study, we formally define an estimated MTM for Intel x86 processors, called x86t_elt, that is based on observations made by an ELT-based evaluation of an Intel x86 MTM implementation from prior work and available public documentation. Given x86t_elt and a synthesis bound as input, TransForm's synthesis engine successfully produces a set of ELTs including relevant ELTs from prior work.


title: (k; l)-Colourings and Ferrers Diagram Representations of Cographs

abstract: For a pair of natural numbers $k, l$, a $(k,l)$-colouring of a graph $G$ is a partition of the vertex set of $G$ into (possibly empty) sets $S_1, S_2, \dots, S_k$, $C_1, C_2, \dots, C_l$ such that each set $S_i$ is an independent set and each set $C_j$ induces a clique in $G$. The $(k,l)$-colouring problem, which is NP-complete in general, has been studied for special graph classes such as chordal graphs, cographs and line graphs. Let $\hat{\kappa}(G) = (\kappa_0(G),\kappa_1(G),\dots,\kappa_{\theta(G)-1}(G))$ and $\hat{\lambda}(G) = (\lambda_0(G),\lambda_1(G),\dots,\lambda_{\chi(G)-1}(G))$ where $\kappa_l(G)$ (respectively, $\lambda_k(G)$) is the minimum $k$ (respectively, $l$) such that $G$ has a $(k,l)$-colouring. We prove that $\hat{\kappa}(G)$ and $\hat{\lambda}(G)$ are a pair of conjugate sequences for every graph $G$ and when $G$ is a cograph, the number of vertices in $G$ is equal to the sum of the entries in $\hat{\kappa}(G)$ or in $\hat{\lambda}(G)$. Using the decomposition property of cographs we show that every cograph can be represented by Ferrers diagram. We devise algorithms which compute $\hat{\kappa}(G)$ for cographs $G$ and find an induced subgraph in $G$ that can be used to certify the non-$(k,l)$-colourability of $G$.


title: From Rain Generation to Rain Removal

abstract: For the single image rain removal (SIRR) task, the performance of deep learning (DL)-based methods is mainly affected by the designed deraining models and training datasets. Most of current state-of-the-art focus on constructing powerful deep models to obtain better deraining results. In this paper, to further improve the deraining performance, we novelly attempt to handle the SIRR task from the perspective of training datasets by exploring a more efficient way to synthesize rainy images. Specifically, we build a full Bayesian generative model for rainy image where the rain layer is parameterized as a generator with the input as some latent variables representing the physical structural rain factors, e.g., direction, scale, and thickness. To solve this model, we employ the variational inference framework to approximate the expected statistical distribution of rainy image in a data-driven manner. With the learned generator, we can automatically and sufficiently generate diverse and non-repetitive training pairs so as to efficiently enrich and augment the existing benchmark datasets. User study qualitatively and quantitatively evaluates the realism of generated rainy images. Comprehensive experiments substantiate that the proposed model can faithfully extract the complex rain distribution that not only helps significantly improve the deraining performance of current deep single image derainers, but also largely loosens the requirement of large training sample pre-collection for the SIRR task.


title: All magnetic field values cancelling $D_1$ line transitions of alkali metal atoms

abstract: In this work, $\pi$, $\sigma^+$ and $\sigma^-$ transitions between magnetic sublevels of the $D_1$ line of all alkali atoms are considered analytically. General block Hamiltonian matrices in presence of a magnetic field for the ground and excited states are built in order to describe all the transitions. Eigenvalues and eigenkets describing ground and excited levels are calculated, "modified" and unperturbed transfer coefficients as a function of the nuclear spin $I$, the magnetic quantum number $m$ and the magnetic field magnitude $B$ are defined. Transition cancellations are observed only for some $\pi$ transitions of each isotope. The main result is that we obtain one single formula which expresses the magnetic field values cancelling these transitions. These values also correspond to the case when some of other transitions intensity have their maximum. In addition, we examine the derivative of $\pi$ transition "modified" transfer coefficients in order to find the magnetic field values which correspond to the intensities maximum. The accuracy of the magnetic field $B$ values is only limited by the uncertainty of the involved physical quantities.


title: Error Autocorrelation Objective Function for Improved System Modeling

abstract: Deep learning models are trained to minimize the error between the model's output and the actual values. The typical cost function, the Mean Squared Error (MSE), arises from maximizing the log-likelihood of additive independent, identically distributed Gaussian noise. However, minimizing MSE fails to minimize the residuals' cross-correlations, leading to over-fitting and poor extrapolation of the model outside the training set (generalization). In this paper, we introduce a "whitening" cost function, the Ljung-Box statistic, which not only minimizes the error but also minimizes the correlations between errors, ensuring that the fits enforce compatibility with an independent and identically distributed (i.i.d) gaussian noise model. The results show significant improvement in generalization for recurrent neural networks (RNNs) (1d) and image autoencoders (2d). Specifically, we look at both temporal correlations for system-id in simulated and actual mechanical systems. We also look at spatial correlation in vision autoencoders to demonstrate that the whitening objective functions lead to much better extrapolation--a property very desirable for reliable control systems.


title: Path-connected Closures of Unitary Orbits

abstract: Suppose A and B are unital C*-algebras and A is separable. Let Rep(A,B) denote the set of all unital *-homomorphisms from A to B with the topology of pointwise convergence. We consider the problem of when the closure of the unitary orbit of a single representation in Rep(A,B) is path-connected. An affirmative answer was given by the first author when A is singly generated and B is the algebra of all operators on a separable Hilbert space. We extend this result for all separable A. We also give an affirmative answer when A is AF or homogeneous and B is a von Neumann algebra or when A is ASH and B is a finite von Neumann algebra.


title: Quantum algorithmic randomness

abstract: Quantum Martin-L\"of randomness (q-MLR) for infinite qubit sequences was introduced by Nies and Scholz. We define a notion of quantum Solovay randomness which is equivalent to q-MLR. The proof of this goes through a purely linear algebraic result about approximating density matrices by subspaces. We then show that random states form a convex set. Martin-L\"of absolute continuity is shown to be a special case of q-MLR. Quantum Schnorr randomness is introduced. A quantum analogue of the law of large numbers is shown to hold for quantum Schnorr random states.


title: Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs

abstract: Android apps are GUI-based event-driven software and have become ubiquitous in recent years. Obviously, functional correctness is critical for an app's success. However, in addition to crash bugs, non-crashing functional bugs (in short as "non-crashing bugs" in this work) like inadvertent function failures, silent user data lost and incorrect display information are prevalent, even in popular, well-tested apps. These non-crashing functional bugs are usually caused by program logic errors and manifest themselves on the graphic user interfaces (GUIs). In practice, such bugs pose significant challenges in effectively detecting them because (1) current practices heavily rely on expensive, small-scale manual validation (the lack of automation); and (2) modern fully automated testing has been limited to crash bugs (the lack of test oracles). This paper fills this gap by introducing independent view fuzzing, a novel, fully automated approach for detecting non-crashing functional bugs in Android apps. Inspired by metamorphic testing, our key insight is to leverage the commonly-held independent view property of Android apps to manufacture property-preserving mutant tests from a set of seed tests that validate certain app properties. The mutated tests help exercise the tested apps under additional, adverse conditions. Any property violations indicate likely functional bugs for further manual confirmation. We have realized our approach as an automated, end-to-end functional fuzzing tool, Genie. Given an app, (1) Genie automatically detects non-crashing bugs without requiring human-provided tests and oracles (thus fully automated); and (2) the detected non-crashing bugs are diverse (thus general and not limited to specific functional properties), which set Genie apart from prior work.


title: A hybrid approach to excited-state-specific variational Monte Carlo and doubly excited states

abstract: We extend our hybrid linear-method/accelerated-descent variational Monte Carlo optimization approach to excited states and investigate its efficacy in double excitations. In addition to showing a superior statistical efficiency when compared to the linear method, our tests on the carbon dimer and cyclopentadiene show good energetic agreement with benchmark methods and experiment, respectively. We also demonstrate the ability to treat double excitations in systems that are too large for a full treatment by selective configuration interaction methods via an application to 4-aminobenzonitrile. Finally, we investigate the stability of state-specific variance optimization against collapse to other states' variance minima and find that symmetry, ansatz quality, and sample size all have roles to play in achieving stability.


title: A note on deterministic zombies

abstract: "Zombies and Survivor" is a variant of the well-studied game of "Cops and Robber" where the zombies (cops) can only move closer to the survivor (robber). We consider the deterministic version of the game where a zombie can choose their path if multiple options are available. The zombie number, like the cop number, of a graph is the minimum number of zombies, or cops, required to capture the survivor. In this short note, we solve a question by Fitzpatrick et al., proving that the zombie number of the Cartesian product of two graphs is at most the sum of their zombie numbers. We also give a simple graph family with cop number $2$ and an arbitrarily large zombie number.


title: On upper and lower bounds for probabilities of combinations of events

abstract: We derive new upper and lower bounds for probabilities that $r$ or at least $r$ from $n$ events occur. These bounds can turn to equalities. The method is discussed as well. It works for measurable space and measures with sign, too. We also discuss variants of the results for conditional probability of above events given $\sigma$-field. Taking expectations from both parts of inequalities for conditional probabilities can yield better bounds for unconditional ones.