title: On a Sufficient Condition for Planar Graphs of Maximum Degree 6 to be Totally 7-Colorable

abstract: A total $k$-coloring of a graph is an assignment of $k$ colors to its vertices and edges such that no two adjacent or incident elements receive the same color. The Total Coloring Conjecture (TCC) states that every simple graph $G$ has a total ($\Delta(G)+2$)-coloring, where $\Delta(G)$ is the maximum degree of $G$. This conjecture has been confirmed for planar graphs with maximum degree at least 7 or at most 5, i.e., the only open case of TCC is that of maximum degree 6. It is known that every planar graph $G$ of $\Delta(G) \geq 9$ or $\Delta(G) \in \{7, 8\}$ with some restrictions has a total $(\Delta(G) + 1)$-coloring. In particular, in [Shen and Wang, "On the 7 total colorability of planar graphs with maximum degree 6 and without 4-cycles", Graphs and Combinatorics, 25: 401-407, 2009], the authors proved that every planar graph with maximum degree 6 and without 4-cycles has a total 7-coloring. In this paper, we improve this result by showing that every diamond-free and house-free planar graph of maximum degree 6 is totally 7-colorable if every 6-vertex is not incident with two adjacent 4-cycles or not incident with three cycles of size $p,q,\ell$ for some $\{p,q,\ell\}\in \{\{3,4,4\},\{3,3,4\}\}$.


title: Semi-Online Bipartite Matching

abstract: In this paper we introduce the \emph{semi-online} model that generalizes the classical online computational model. The semi-online model postulates that the unknown future has a predictable part and an adversarial part; these parts can be arbitrarily interleaved. An algorithm in this model operates as in the standard online model, i.e., makes an irrevocable decision at each step. We consider bipartite matching in the semi-online model, for both integral and fractional cases. Our main contributions are competitive algorithms for this problem that are close to or match a hardness bound. The competitive ratio of the algorithms nicely interpolates between the truly offline setting (no adversarial part) and the truly online setting (no predictable part).


title: Validation approaches for satellite-based PM2.5 estimation: Assessment and a new approach

abstract: Satellite-derived aerosol optical depth (AOD) has been increasingly employed for the estimation of ground-level PM2.5, which is often achieved by modeling the relationship between AOD and PM2.5. To evaluate the accuracy of PM2.5 estimation, the cross-validation (CV) technique has been widely used. There have been several CV-based validation approaches applied for the AOD-PM2.5 models. However, the applicable conditions of these validation approaches still remain unclear. Additionally, is there space to develop better validation approaches for the AOD-PM2.5 models? The contributions of this study can be summarized as two aspects. Firstly, we comprehensively analyze and assess the existing validation approaches, and give the suggestions for applicable conditions of them. Then, the existing validation approaches do not take the distance to monitoring station into consideration. A new validation approach considering the distance to monitoring station is proposed in this study. Among the existing validation approaches, the sample-based CV is used to reflect the overall prediction ability; the site-based CV and the region-based CV have the potentials to evaluate spatial prediction performance; the time-based CV and the historical validation are capable of evaluating temporal prediction accuracy. In addition, the validation results indicate that the proposed validation approach has shown great potentials to better evaluate the accuracy of PM2.5 estimation. This study provides application implications and new perspectives for the validation of AOD-PM2.5 models.


title: Theory of Cognitive Relativity: A Promising Paradigm for True AI

abstract: The rise of deep learning has brought artificial intelligence (AI) to the forefront. The ultimate goal of AI is to realize machines with human mind and consciousness, but existing achievements mainly simulate intelligent behavior on computer platforms. These achievements all belong to weak AI rather than strong AI. How to achieve strong AI is not known yet in the field of intelligence science. Currently, this field is calling for a new paradigm, especially Theory of Cognitive Relativity (TCR). The TCR aims to summarize a simple and elegant set of first principles about the nature of intelligence, at least including the Principle of World's Relativity and the Principle of Symbol's Relativity. The Principle of World's Relativity states that the subjective world an intelligent agent can observe is strongly constrained by the way it perceives the objective world. The Principle of Symbol's Relativity states that an intelligent agent can use any physical symbol system to express what it observes in its subjective world. The two principles are derived from scientific facts and life experience. Thought experiments show that they are important to understand high-level intelligence and necessary to establish a scientific theory of mind and consciousness. Rather than brain-like intelligence, the TCR indeed advocates a promising change in direction to realize true AI, i.e. artificial general intelligence or artificial consciousness, particularly different from humans' and animals'. Furthermore, a TCR creed has been presented and extended to reveal the secrets of consciousness and to guide realization of conscious machines. In the sense that true AI could be diversely implemented in a brain-different way, the TCR would probably drive an intelligence revolution in combination with some additional first principles.


title: Automated segmentaiton and classification of arterioles and venules using Cascading Dilated Convolutional Neural Networks

abstract: The change of retinal vasculature is an early sign of many vascular and systematic diseases, such as diabetes and hypertension. Different behaviors of retinal arterioles and venules form an important metric to measure the disease severity. Therefore, an accurate classification of arterioles and venules is of great necessity. In this work, we propose a novel architecture of deep convolutional neural network for segmenting and classifying arterioles and venules on retinal fundus images. This network takes the original color fundus image as inputs and multi-class labels as outputs. We adopt the encoding-decoding structure (Unet) as the backbone network of our proposed model. To improve the classification accuracy, we develop a special encoding path that couples InceptionV4 modules and Cascading Dilated Convolutions (CDCs) on top of the backbone network. The model is thus able to extract and fuse high-level semantic features from multi-scale receptive fields. The proposed method has outperformed the previous state-of-the-art method on DRIVE dataset with an accuracy of 0.955 $\pm$ 0.002.


title: Tensor pomeron, vector odderon and diffractive production of meson and baryon pairs in proton-proton collisions

abstract: We review some selected results of the tensor-pomeron and vector-odderon model of soft high-energy proton-proton scattering and central exclusive production of meson and baryon pairs in proton-proton collisions. We discuss the theoretical aspects of this approach and consider the phenomenological implications in a variety of processes at high energies, comparing to existing experimental data. We consider the diffractive dipion and dikaon production including the continuum and the dominant scalar and tensor resonance contributions as well as the photoproduction processes. The theoretical results are compared with existing CDF experimental data and predictions for planned or current LHC experiments, ALICE, ATLAS, CMS, LHCb are presented.


title: Number of Connected Components in a Graph: Estimation via Counting Patterns

abstract: Due to the limited resources and the scale of the graphs in modern datasets, we often get to observe a sampled subgraph of a larger original graph of interest, whether it is the worldwide web that has been crawled or social connections that have been surveyed. Inferring a global property of the original graph from such a sampled subgraph is of a fundamental interest. In this work, we focus on estimating the number of connected components. It is a challenging problem and, for general graphs, little is known about the connection between the observed subgraph and the number of connected components of the original graph. In order to make this connection, we propose a highly redundant and large-dimensional representation of the subgraph, which at first glance seems counter-intuitive. A subgraph is represented by the counts of patterns, known as network motifs. This representation is crucial in introducing a novel estimator for the number of connected components for general graphs, under the knowledge of the spectral gap of the original graph. The connection is made precise via the Schatten $k$-norms of the graph Laplacian and the spectral representation of the number of connected components. We provide a guarantee on the resulting mean squared error that characterizes the bias variance tradeoff. Experiments on synthetic and real-world graphs suggest that we improve upon competing algorithms for graphs with spectral gaps bounded away from zero.


title: The Art, Science, and Engineering of Fuzzing: A Survey

abstract: Among the many software vulnerability discovery techniques available today, fuzzing has remained highly popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of empirical evidence in discovering real-world software vulnerabilities. At a high level, fuzzing refers to a process of repeatedly running a program with generated inputs that may be syntactically or semantically malformed. While researchers and practitioners alike have invested a large and diverse effort towards improving fuzzing in recent years, this surge of work has also made it difficult to gain a comprehensive and coherent view of fuzzing. To help preserve and bring coherence to the vast literature of fuzzing, this paper presents a unified, general-purpose model of fuzzing together with a taxonomy of the current fuzzing literature. We methodically explore the design decisions at every stage of our model fuzzer by surveying the related literature and innovations in the art, science, and engineering that make modern-day fuzzers effective.


title: A Dynamic Network and Representation LearningApproach for Quantifying Economic Growth fromSatellite Imagery

abstract: Quantifying the improvement in human living standard, as well as the city growth in developing countries, is a challenging problem due to the lack of reliable economic data. Therefore, there is a fundamental need for alternate, largely unsupervised, computational methods that can estimate the economic conditions in the developing regions. To this end, we propose a new network science- and representation learning-based approach that can quantify economic indicators and visualize the growth of various regions. More precisely, we first create a dynamic network drawn out of high-resolution nightlight satellite images. We then demonstrate that using representation learning to mine the resulting network, our proposed approach can accurately predict spatial gross economic expenditures over large regions. Our method, which requires only nightlight images and limited survey data, can capture city-growth, as well as how people's living standard is changing; this can ultimately facilitate the decision makers' understanding of growth without heavily relying on expensive and time-consuming surveys.


title: On the mod-$\ell$ homology of the classifying space for commutativity

abstract: We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an idea of Adem and G\'omez. We also study the relationship between the mod-$\ell$ type of a Lie group $G(\mathbb{C})$ and the locally finite group $G(\bar{\mathbb{F}}_p)$ where $G$ is a Chevalley group. We see that the na\"ive analogue for $B(\mathbb{Z}, G)$ of the celebrated Friedlander--Mislin result cannot hold, but we show that it does hold after taking the homotopy quotient of a $G$ action on $B(\mathbb{Z}, G)$.


title: The Extended Evolutionary Synthesis Facilitates Evolutionary Models of Culture Change

abstract: The Extended Evolutionary Synthesis (EES) is beginning to fulfill the whole promise of Darwinian insight through its extension of evolutionary understanding from the biological domain to include cultural information evolution. Several decades of important foundation-laying work took a social Darwinist approach and exhibited and ecologically-deterministic elements. This is not the case with more recent developments to the evolutionary study of culture, which emphasize non-Darwinian processes such as self-organization, potentiality, and epigenetic change.


title: Impact of final state interactions on neutrino-nucleon pion production cross sections extracted from neutrino-deuteron reaction data

abstract: The current and near-future neutrino oscillation experiments require significantly improved neutrino-nucleus reaction models. Neutrino-nucleon pion production data play a crucial role to validate corresponding elementary amplitudes that go into such neutrino-nucleus models. Thus the currently available data extracted from charged-current neutrino-deuteron reaction data ($\nu_\mu d\to \mu^-\pi NN$) must be corrected for nuclear effects such as the Fermi motion and final state interactions (FSI). We study $\nu_\mu d\to \mu^-\pi NN$ with a theoretical model including the impulse mechanism supplemented by FSI from $NN$ and $\pi N$ rescatterings. An analysis of the spectator momentum distributions reveals that the FSI effects significantly reduce the spectra over the quasi-free peak region, and leads to a useful recipe to extract information of elementary $\nu_\mu N\to \mu^-\pi N$ processes using $\nu_\mu d\to \mu^-\pi NN$ data, with the important FSI corrections taken into account. We provide $\nu_\mu N\to \mu^-\pi N$ total cross sections by correcting the deuterium bubble chamber data for the FSI and Fermi motion. The results will bring a significant improvement on neutrino-nucleus reaction models for the near-future neutrino-oscillation experiments.


title: Adaptive QM/MM Coupling for Crystalline Defects

abstract: QM (quantum mechenics) and MM (molecular mechenics) coupling methods are widely used in simulations of crystalline defects. In this paper, we construct a residual based a posteriori error indicator for QM/MM coupling approximations. We prove the reliability of the error indicator (upper bound of the true approximation error) and develop some sampling techniques for its efficient calculation. Based on the error indicator and D\"{o}rfler marking strategy, we design an adaptive QM/MM algorithm for crystalline defects and demonstrate the efficiency with some numerical experiments.


title: Operator Splitting Performance Estimation: Tight contraction factors and optimal parameter selection

abstract: We propose a methodology for studying the performance of common splitting methods through semidefinite programming. We prove tightness of the methodology and demonstrate its value by presenting two applications of it. First, we use the methodology as a tool for computer-assisted proofs to prove tight analytical contraction factors for Douglas--Rachford splitting that are likely too complicated for a human to find bare-handed. Second, we use the methodology as an algorithmic tool to computationally select the optimal splitting method parameters by solving a series of semidefinite programs.


title: On the Nevanlinna problem - Characterization of all Schur-Agler class solutions

abstract: Given a domain $\Omega$ in $\mathbb{C}^m$, and a finite set of points $z_1,\ldots, z_n\in \Omega$ and $w_1,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the $Pick\, interpolation\, problem$ asks when there is a holomorphic function $f:\Omega \rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $\Omega=\mathbb{D}$. Nevanlinna characterized all possible functions $f$ that $interpolate$ the data. We generalize Nevanlinna's result to an arbitrary set $\Omega$. In this case, the function $f$ comes from the Schur-Agler class. The abstract result is then applied to three examples - the bidisc, the symmetrized bidisc and the annulus. In these examples, the Schur-Agler class is the same as the Schur class.


title: Conversations for Vision: Remote Sighted Assistants Helping People with Visual Impairments

abstract: People with visual impairment (PVI) must interact with a world they cannot see. Remote sighted assistance has emerged as a conversational/social support system. We interviewed participants who either provide or receive assistance via a conversational/social prosthetic called Aira (https://aira.io/). We identified four types of support provided: scene description, performance, social interaction, and navigation. We found that conversational style is context-dependent. Sighted assistants make intentional efforts to elicit PVI's personal knowledge and leverage it in the guidance they provide. PVI used non-verbal behaviors (e.g. hand gestures) as a parallel communication channel to provide feedback or guidance to sighted assistants. We also discuss implications for design.


title: SwishNet: A Fast Convolutional Neural Network for Speech, Music and Noise Classification and Segmentation

abstract: Speech, Music and Noise classification/segmentation is an important preprocessing step for audio processing/indexing. To this end, we propose a novel 1D Convolutional Neural Network (CNN) - SwishNet. It is a fast and lightweight architecture that operates on MFCC features which is suitable to be added to the front-end of an audio processing pipeline. We showed that the performance of our network can be improved by distilling knowledge from a 2D CNN, pretrained on ImageNet. We investigated the performance of our network on the MUSAN corpus - an openly available comprehensive collection of noise, music and speech samples, suitable for deep learning. The proposed network achieved high overall accuracy in clip (length of 0.5-2s) classification (>97% accuracy) and frame-wise segmentation (>93% accuracy) tasks with even higher accuracy (>99%) in speech/non-speech discrimination task. To verify the robustness of our model, we trained it on MUSAN and evaluated it on a different corpus - GTZAN and found good accuracy with very little fine-tuning. We also demonstrated that our model is fast on both CPU and GPU, consumes a low amount of memory and is suitable for implementation in embedded systems.


title: Controlled weaving frames in Hilbert spaces

abstract: In this paper, we first introduce the notion of controlled weaving K-g-frames in Hilbert spaces. Then, we present sufficient conditions for controlled weaving K-g-frames in separable Hilbert spaces. Also, a characterization of controlled weaving K-g-frames is given in terms of an operator. Finally, we show that if bounds of frames associated with atomic spaces are positively confined, then controlled K-g-woven frames gives ordinary weaving K-frames and vice-versa.


title: Discrete Adversarial Attacks and Submodular Optimization with Applications to Text Classification

abstract: Adversarial examples are carefully constructed modifications to an input that completely change the output of a classifier but are imperceptible to humans. Despite these successful attacks for continuous data (such as image and audio samples), generating adversarial examples for discrete structures such as text has proven significantly more challenging. In this paper we formulate the attacks with discrete input on a set function as an optimization task. We prove that this set function is submodular for some popular neural network text classifiers under simplifying assumption. This finding guarantees a $1-1/e$ approximation factor for attacks that use the greedy algorithm. Meanwhile, we show how to use the gradient of the attacked classifier to guide the greedy search. Empirical studies with our proposed optimization scheme show significantly improved attack ability and efficiency, on three different text classification tasks over various baselines. We also use a joint sentence and word paraphrasing technique to maintain the original semantics and syntax of the text. This is validated by a human subject evaluation in subjective metrics on the quality and semantic coherence of our generated adversarial text.


title: Two-photon decay of P-wave positronium: a tutorial

abstract: A detailed exposition of two-photon decays of P-wave positronium is given to fill an existing gap in the pedagogical literature. Annihilation decay rates of P-wave positronium are negligible compared to the rates of radiative electric dipole transitions to the ground state. This circumstance makes such decays experimentally inaccessible. However the situation is different for quarkonium and the experimental and theoretical research of two-photon and two-gluon decays of P-wave quarkonia is a still flourishing field.


title: On the Hardy--Littlewood maximal functions in high dimensions: Continuous and discrete perspective

abstract: This is a survey article about recent developments in dimension-free estimates for maximal functions corresponding to the Hardy--Littlewood averaging operators associated with convex symmetric bodies in $\mathbb R^d$ and $\mathbb Z^d$.


title: On discrete Hardy-Littlewood maximal functions over the balls in $\mathbb Z^d$: dimension-free estimates

abstract: We show that the discrete Hardy-Littlewood maximal functions associated with the Euclidean balls in $\mathbb Z^d$ with dyadic radii have bounds independent of the dimension on $\ell^p(\mathbb Z^d)$ for $p\in[2, \infty]$.


title: Learning RoI Transformer for Detecting Oriented Objects in Aerial Images

abstract: Object detection in aerial images is an active yet challenging task in computer vision because of the birdview perspective, the highly complex backgrounds, and the variant appearances of objects. Especially when detecting densely packed objects in aerial images, methods relying on horizontal proposals for common object detection often introduce mismatches between the Region of Interests (RoIs) and objects. This leads to the common misalignment between the final object classification confidence and localization accuracy. Although rotated anchors have been used to tackle this problem, the design of them always multiplies the number of anchors and dramatically increases the computational complexity. In this paper, we propose a RoI Transformer to address these problems. More precisely, to improve the quality of region proposals, we first designed a Rotated RoI (RRoI) learner to transform a Horizontal Region of Interest (HRoI) into a Rotated Region of Interest (RRoI). Based on the RRoIs, we then proposed a Rotated Position Sensitive RoI Align (RPS-RoI-Align) module to extract rotation-invariant features from them for boosting subsequent classification and regression. Our RoI Transformer is with light weight and can be easily embedded into detectors for oriented object detection. A simple implementation of the RoI Transformer has achieved state-of-the-art performances on two common and challenging aerial datasets, i.e., DOTA and HRSC2016, with a neglectable reduction to detection speed. Our RoI Transformer exceeds the deformable Position Sensitive RoI pooling when oriented bounding-box annotations are available. Extensive experiments have also validated the flexibility and effectiveness of our RoI Transformer. The results demonstrate that it can be easily integrated with other detector architectures and significantly improve the performances.


title: M-Channel Critically Sampled Spectral Graph Filter Banks With Symmetric Structure

abstract: This paper proposes a class of $M$-channel spectral graph filter banks with a symmetric structure, that is, the transform has sampling operations and spectral graph filters on both the analysis and synthesis sides. The filter banks achieve maximum decimation, perfect recovery, and orthogonality. Conventional spectral graph transforms with decimation have significant limitations with regard to the number of channels, the structures of the underlying graph, and their filter design. The proposed transform uses sampling in the graph frequency domain. This enables us to use any variation operators and apply the transforms to arbitrary graphs even when the filter banks have symmetric structures. We clarify the perfect reconstruction conditions and show design examples. An experiment on graph signal denoising conducted to examine the performance of the proposed filter bank is described.


title: Extrinsic n-type semiconductor transition in ZrSe2 with the metallic character through hafnium substitution

abstract: Two dimensional layered materials exhibit versatile electronic properties in their different phases. The intrinsic electronic properties of these materials can be modulated through doping or intercalation. In this study, we investigated the electronic properties of Hf doped ZrSe2 single crystals using angle-resolved photoemission spectroscopy (ARPES) combined with first principles density functional theory (DFT) calculations. It is observed that the valence band maxima of ZrSe2, located below the Fermi level, undergo a significant change with the introduction of Hf substitution. Hf can introduce extra charges into the conduction band, rather than making a mixed structure of HfSe2 and ZrSe2 band structure, which can cross the Fermi level. Compared to the semiconducting band structure of ZrSe2, we observed that the conduction band crosses the Fermi level at the high symmetry M point in Hf-doped ZrSe2. This suggests an increase of electron type carriers around the Fermi level, resulting in an extrinsic charge carrier density in the conduction band, which can form a metallic behaviour. It can be noticed that the Hf cations can create disorder in the form of excess atoms of Zr, which yields more carriers in the conduction band in the shape of smeared bands. The tails of the smeared band occupied the d-orbitals extended into the Fermi level and left the d band below. Similarly, the electrical resistance measurements further confirm the metallic-like character of Hf doped ZrSe2 compared to the semiconductor ZrSe2, indicating increased carriers. This metallic like behavior is suggested to be predisposed by the extrinsic electrons induced by the substitutional disorder. This study further demonstrates the possibility of band gap engineering through heavy metal doping in 2D materials.


title: Approximating Categorical Similarity in Sponsored Search Relevance

abstract: Sponsored Search is a major source of revenue for web search engines. Since sponsored search follows a pay-per-click model, showing relevant ads for receiving clicks is crucial. Matching categories of a query and its ad candidates have been explored in modeling relevance of query-ad pairs. The approach involves matching cached categories of queries seen in the past to categories of candidate ads. Since queries have a heavy tail distribution, the approach has limited coverage. In this work, we propose approximating categorical similarity of a query-ad pairs using neural networks, particularly CLSM. Embedding of a query (or document) is generated using its tri-letter representation which allows coverage of tail queries. Offline experiments of incorporating this feature as opposed to using the categories directly show a 5.23% improvement in AUC ROC. A/B testing results show an improvement of 8.2% in relevance.


title: A method for simulating level anti-crossing spectra of diamond crystals containing NV$^-$ color centers

abstract: We propose an efficient method for calculating level anti-crossing spectra (LAC spectra) of interacting paramagnetic defect centers in crystals. By LAC spectra we mean the magnetic field dependence of the photoluminescence intensity of paramagnetic color centers: such field dependences often exhibit sharp features, such as peaks or dips, originating from LACs in the spin system. Our approach takes into account the electronic Zeeman interaction with the external magnetic field, dipole-dipole interaction of paramagnetic centers, hyperfine coupling of paramagnetic defects to magnetic nuclei and zero-field splitting. By using this method, we can not only obtain the positions of lines in LAC spectra, but also reproduce their shapes as well as the relative amplitudes of different lines. As a striking example, we present a calculation of LAC spectra in diamond crystals containing negatively charged NV centers.


title: A Proof of Non-stationary Channel Polarization

abstract: In this letter, we consider the proof of non-stationary channel polarization theory. First we construct a multi-channel stochastic process for the non-stationary channel polarization operation. Then based on this stochastic process, we extend Ar{\i}kan's standard martingale proof method on the average channel capacity and average channel Bhattacharyya parameter, by which we have proved the non-stationary channel polarization theory.


title: QADiver: Interactive Framework for Diagnosing QA Models

abstract: Question answering (QA) extracting answers from text to the given question in natural language, has been actively studied and existing models have shown a promise of outperforming human performance when trained and evaluated with SQuAD dataset. However, such performance may not be replicated in the actual setting, for which we need to diagnose the cause, which is non-trivial due to the complexity of model. We thus propose a web-based UI that provides how each model contributes to QA performances, by integrating visualization and analysis tools for model explanation. We expect this framework can help QA model researchers to refine and improve their models.


title: Customizing optical patterns via feedback-based wavefront shaping

abstract: We show that customized optical patterns can be generated by employing feedback-based wavefront shaping without prior knowledge of the transmission matrix of optical systems. To control the spatial distribution of intensity within the target region, the overlap coefficient is employed as the key feedback signal for wavefront shaping, and the optimal phase pattern for generating the customized optical pattern is reached when the overlap coefficient converges to unity. By using the overlap-coefficient optimized wavefront shaping, we generate customized optical patterns such as multiple focused spots of different intensity, cat image, and speckle patterns of tailored intensity distribution. Besides, we also show that a sharp focusing spot can be generated in highly scattering systems with the overlap-coefficient optimized wavefront shaping, and the achieved signal-to-background ratio is much higher than that achieved with the conventional wavefront shaping. Our method provides new possibilities to control the interference of light for many applications, such as optical imaging, quantum interference, and optical trapping and manipulation.


title: A theoretical study on the dynamics of a compound vesicle in linear shear flow

abstract: The dynamics of a nucleate cell in shear flow is of great relevance in cancer cells and circulatory tumor cells where they dominate the dynamics of blood. Buoyed by the success of Giant Unilamellar vesicles in explaining the dynamics of anucleate cells such as Red Blood cells, compound vesicles have been suggested as a simple model for nucleate cells. In this work, a theoretical model is presented to study the deformation and dynamics of a compound vesicle in linear shear flow using small deformation theory and spherical harmonics with higher order approximation to the membrane forces. The results indicate that size of the inner vesicle does not affect the tank-treading dynamics of the outer vesicle. The inner vesicle admits a greater inclination angle than the outer vesicle. However, the transition to trembling-swinging and tumbling is significantly affected. The inner and outer vesicle exhibit identical dynamics in most of the modified viscosity-shear rate parameter space. At moderate size of the inner vesicle, a swinging mode is observed for the inner vesicle while the outer vesicle exhibits tumbling. The inner vesicle also exhibits modification of the TU mode to IUS-Intermediate Tumbling Swinging mode. Moreover, synchronization of the two vesicles at higher inner vesicle size and a capillary number sensitive motion at small inner vesicle size is observed in the tumbling regime. These results are in accordance with the few experimental observations reported by Levant and Steinberg2014. A reduction in the inclination angle is observed with an increase in size of the inner vesicle when the inner vesicle is a solid inclusion. Additionally a very elaborate phase diagram is presented in the modified viscosity-shear rate parameter space, which could be tested in future experiments or numerical simulations


title: Parallelism in Hilbert $K(\mathcal{H})$-modules

abstract: Let $(\mathcal{H}, [\cdot, \cdot ])$ be a Hilbert space and $K(\mathcal{H})$ be the $C^*$-algebra of compact operators on $\mathcal{H}$. In this paper, we present some characterizations of the norm-parallelism for elements of a Hilbert $K(\mathcal{H})$-module $\mathcal{E}$ by employing the minimal projections on $\mathcal{H}$. Let $T,S\in \mathcal{L(\mathcal{E})}$. We show that $T \| S$ if and only if there exists a sequence of basic vectors $\{x_n\}^{\xi_n}$ in $\mathcal{E}$ such that $\lim_n [\langle Tx_n, Sx_n \rangle \xi_n, \xi_n ] = \lambda\| T\| \| S\|$ for some $\lambda \in \mathbb{T}$. In addition, we give some equivalence assertions about the norm-parallelism of "compact" operators on a Hilbert $C^*$-module.


title: Integrated Stabilization Policy over a Software Defined Network

abstract: In this paper, we mainly investigate an integrated system operating under a software defined network (SDN) protocol. SDN is a new networking paradigm in which network intelligence is centrally administered and data is communicated via channels that are physically separated from those conveying user data. Under the SDN architecture, it is feasible to set up multiple flows for transmitting control signals to an actuator with high priority for each individual application. While each flow may suffer random transmission delay, we focus on the stabilization problem under the joint design of the event-driven strategy in actuator and the control policy in decision-maker. By introducing a predefined application time, the integrated system can be reformulated as the form of stochastic system with input delay and multiplicative noise. For such system, we propose a set of necessary and sufficient stabilization conditions. Specifically, for the scalar system, we derive the allowable sampling period bound that can guarantee stabilization in terms of the probability distributions of the random transmission delays. A simple example is included to show the performance of our theoretic results.


title: Tensor network study of two dimensional lattice $\phi^{4}$ theory

abstract: The tensor renormalization group attracts great attention as a new numerical method that is free of the sign problem. In addition to this striking feature, it also has an attractive aspect as a coarse-graining of space-time; the computational cost scales logarithmically with the space-time volume. This fact allows us to aggressively approach the thermodynamic limit. While taking this advantage, we study the critical coupling of the two dimensional $\phi^{4}$ theory on large and fine lattices. We present the numerical results along with the extrapolation procedure to the continuum limit and compare them with the previous ones by Monte Carlo simulations.


title: The operator--valued parallelism and norm-parallelism in matrices

abstract: Let $\mathcal{H}$ be a Hilbert space, and let $K(\mathcal{H})$ be the $C^*$-algebra of compact operators on $\mathcal{H}$. In this paper, we present some characterizations of the norm-parallelism for elements of a Hilbert $K(\mathcal{H})$-module by employing the Birkhoff--James orthogonality. Among other things, we present a characterization of transitive relation of the norm-parallelism for elements in a certain Hilbert $K(\mathcal{H})$-module. We also give some characterizations of the Schatten $p$-norms and the operator norm-parallelism for matrices.


title: $\eta$ photoproduction off the deuteron and low-energy $\eta$-nucleon interaction

abstract: We study $\eta$ photoproduction off the deuteron ($\gamma d\to\eta pn$) at a special kinematics: $\sim 0.94$ GeV of the photon beam energy and $\sim 0^\circ$ of the scattering angle of the proton. This kinematics is ideal to extract the low-energy $\eta$-nucleon scattering parameters such as $a_{\eta N}$ (scattering length) and $r_{\eta N}$ (effective range) because the $\eta$-nucleon elastic scattering is significantly enhanced. We show that if a ratio $R$, the $\gamma d\to\eta pn$ cross section divided by the $\gamma p\to\eta p$ cross section convoluted with the proton momentum distribution in the deuteron, is measured with 5% error, ${\rm Re}[a_{\eta N}]$ (${\rm Re}[r_{\eta N}]$) can be determined at the precision of $\sim\pm$0.1 fm ($\sim\pm$0.5 fm), significantly narrowing down the currently estimated range of the parameters. The measurement is ongoing at the Research Center for Electron Photon Science (ELPH), Tohoku University.


title: Vision-Based Gait Analysis for Senior Care

abstract: As the senior population rapidly increases, it is challenging yet crucial to provide effective long-term care for seniors who live at home or in senior care facilities. Smart senior homes, which have gained widespread interest in the healthcare community, have been proposed to improve the well-being of seniors living independently. In particular, non-intrusive, cost-effective sensors placed in these senior homes enable gait characterization, which can provide clinically relevant information including mobility level and early neurodegenerative disease risk. In this paper, we present a method to perform gait analysis from a single camera placed within the home. We show that we can accurately calculate various gait parameters, demonstrating the potential for our system to monitor the long-term gait of seniors and thus aid clinicians in understanding a patient's medical profile.


title: $q$-deformed rationals and $q$-continued fractions

abstract: We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.


title: Bounds on rare decays of $\eta$ and $\eta^\prime$ mesons from the neutron EDM

abstract: We provide model-independent bounds on the rates of rare decays $\eta (\eta^\prime) \to \pi\pi$ based on experimental limits on the neutron electric dipole moment (nEDM). Starting from phenomenological $\eta(\eta^\prime) \pi\pi$ couplings, the nEDM arises at two loop level. The leading-order relativistic ChPT calculation with the minimal photon coupling to charged pions and a proton inside the loops leads to a finite, counter term-free result. This is an improvement upon previous estimates which used approximations in evaluating the two loop contribution and were plagued by divergences. While constraints on the $\eta(\eta^\prime) \pi\pi$ couplings in our phenomenological approach are somewhat milder than in the picture with the QCD $\theta$-term, our calculation means that whatever the origin of these couplings, The decays $\eta (\eta') \to 2 \pi$ will remain unobservable in the near future.


title: Rank Projection Trees for Multilevel Neural Network Interpretation

abstract: A variety of methods have been proposed for interpreting nodes in deep neural networks, which typically involve scoring nodes at lower layers with respect to their effects on the output of higher-layer nodes (where lower and higher layers are closer to the input and output layers, respectively). However, we may be interested in picking out a prioritized collection of subsets of the inputs across a range of scales according to their importance for an output node, and not simply a prioritized ranking across the inputs as singletons. Such a situation may arise in biological applications, for instance, where we are interested in epistatic effects between groups of genes in determining a trait of interest. Here, we outline a flexible framework which may be used to generate multiscale network interpretations, using any previously defined scoring function. We demonstrate the ability of our method to pick out biologically important genes and gene sets in the domains of cancer and psychiatric genomics.


title: A Nonstationary Designer Space-Time Kernel

abstract: In spatial statistics, kriging models are often designed using a stationary covariance structure; this translation-invariance produces models which have numerous favorable properties. This assumption can be limiting, though, in circumstances where the dynamics of the model have a fundamental asymmetry, such as in modeling phenomena that evolve over time from a fixed initial profile. We propose a new nonstationary kernel which is only defined over the half-line to incorporate time more naturally in the modeling process.


title: Stochastic Training of Residual Networks: a Differential Equation Viewpoint

abstract: During the last few years, significant attention has been paid to the stochastic training of artificial neural networks, which is known as an effective regularization approach that helps improve the generalization capability of trained models. In this work, the method of modified equations is applied to show that the residual network and its variants with noise injection can be regarded as weak approximations of stochastic differential equations. Such observations enable us to bridge the stochastic training processes with the optimal control of backward Kolmogorov's equations. This not only offers a novel perspective on the effects of regularization from the loss landscape viewpoint but also sheds light on the design of more reliable and efficient stochastic training strategies. As an example, we propose a new way to utilize Bernoulli dropout within the plain residual network architecture and conduct experiments on a real-world image classification task to substantiate our theoretical findings.


title: Minor loops of the Dahl and LuGre models

abstract: Hysteresis is a special type of behavior encountered in physical systems: in a hysteretic system, when the input is periodic and varies slowly, the steady-state part of the output-versus-input graph becomes a loop called hysteresis loop. In the presence of perturbed inputs, this hysteresis loop presents small lobes called minor loops that are located inside a larger curve called major loop. The study of minor loops is being increasingly popular since it leads to a quantification of the loss of energy. The aim of the present paper is to give an explicit analytic expression of the minor loops of the LuGre and the Dahl models of dynamic dry friction.


title: A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues

abstract: Discourse structures are beneficial for various NLP tasks such as dialogue understanding, question answering, sentiment analysis, and so on. This paper presents a deep sequential model for parsing discourse dependency structures of multi-party dialogues. The proposed model aims to construct a discourse dependency tree by predicting dependency relations and constructing the discourse structure jointly and alternately. It makes a sequential scan of the Elementary Discourse Units (EDUs) in a dialogue. For each EDU, the model decides to which previous EDU the current one should link and what the corresponding relation type is. The predicted link and relation type are then used to build the discourse structure incrementally with a structured encoder. During link prediction and relation classification, the model utilizes not only local information that represents the concerned EDUs, but also global information that encodes the EDU sequence and the discourse structure that is already built at the current step. Experiments show that the proposed model outperforms all the state-of-the-art baselines.


title: Robust Optimal Energy and Reserve Management of Multiple-Microgrids via Cooperative Bidding

abstract: This work proposes a cooperative trading scheme for the robust optimal energy and reserve management in a multiple-microgrid (MMG) system comprising four microgrids (MGs). This scheme includes a robust optimization (RO) model which accounts for the uncertainties in the renewable energy source (RES) generation, the load demand and the energy market prices using a scenario based worst-case exploration technique. A coordinating entity in the MMG system called a power sharing operator manages the day-ahead energy and reserve trading between the MGs and also with the main grid, thereby enabling market clearing within the MMG system. The proposed scheme is based on the iterative sub-gradient method. The results showcase the convergence characteristics of the proposed scheme. Moreover, the tradeoff between the energy and reserve costs in each MG are also analysed. Finally, the economic benefits gained by the MMG system under the proposed RO based cooperative trading scheme are evaluated.


title: Non-perverse parity sheaves on the flag variety

abstract: We give examples of non-perverse parity sheaves on Schubert varieties for all primes.


title: Coupled-Channel-Induced $S-D$ mixing of Charmonia and Testing Possible Assignments for $Y(4260)$ and $Y(4360)$

abstract: The mass spectrum and the two-body open-charm decays of the $J^{PC}=1^{--}$ charmonium states are studied with the coupled-channel effects taken into account. The coupled-channel-induced mixing effects among the excited vector charmonia are studied. Based on our calculations of the masses and the decay widths, we find that the tension between the observed properties of $Y(4260)/Y(4360)$ and their conventional charmonia interpretations could be softened.


title: The collisional atomic processes of Rydberg alkali atoms in Geo-cosmical plasmas

abstract: The chemi-ionization (CI) processes in atom-Rydberg-atom collisions are investigated in this contribution. The rate coefficients for CI processes in $\textrm{Li}^{*}(n) + \textrm{Na}$, $\textrm{Li}^{*}(n) + \textrm{Li}$, $\textrm{Na}^{*}(n) + \textrm{Na}$ and $\textrm{H}^{*}(n)+\textrm{Li}$ collisions are calculated for wide region of temperatures $T \le 4000$ K and the principal quantum numbers $4 \le n\le 25$. These processes are investigated, with a particular accent on the possibility of involving alkali metals as the factors which may influence optical properties and modeling of weakly ionized layers of different stellar atmospheres. The obtained rate coefficients are applied to models of the Io atmosphere. Moreover, we present here further development of investigation of CI processes for other possible applications in spectroscopy such as in low temperature laboratory plasma created in gas discharges, for example in microwave-induced discharges at atmospheric pressure, where such plasma conditions may be favorable.


title: Effects of Loss Functions And Target Representations on Adversarial Robustness

abstract: Understanding and evaluating the robustness of neural networks under adversarial settings is a subject of growing interest. Attacks proposed in the literature usually work with models trained to minimize cross-entropy loss and output softmax probabilities. In this work, we present interesting experimental results that suggest the importance of considering other loss functions and target representations, specifically, (1) training on mean-squared error and (2) representing targets as codewords generated from a random codebook. We evaluate the robustness of neural networks that implement these proposed modifications using existing attacks, showing an increase in accuracy against untargeted attacks of up to 98.7\% and a decrease of targeted attack success rates of up to 99.8\%. Our model demonstrates more robustness compared to its conventional counterpart even against attacks that are tailored to our modifications. Furthermore, we find that the parameters of our modified model have significantly smaller Lipschitz bounds, an important measure correlated with a model's sensitivity to adversarial perturbations.


title: NTX: An Energy-efficient Streaming Accelerator for Floating-point Generalized Reduction Workloads in 22nm FD-SOI

abstract: Specialized coprocessors for Multiply-Accumulate (MAC) intensive workloads such as Deep Learning are becoming widespread in SoC platforms, from GPUs to mobile SoCs. In this paper we revisit NTX (an efficient accelerator developed for training Deep Neural Networks at scale) as a generalized MAC and reduction streaming engine. The architecture consists of a set of 32 bit floating-point streaming co-processors that are loosely coupled to a RISC-V core in charge of orchestrating data movement and computation. Post-layout results of a recent silicon implementation in 22 nm FD-SOI technology show the accelerator's capability to deliver up to 20 Gflop/s at 1.25 GHz and 168 mW. Based on these results we show that a version of NTX scaled down to 14 nm can achieve a 3x energy efficiency improvement over contemporary GPUs at 10.4x less silicon area, and a compute performance of 1.4 Tflop/s for training large state-of-the-art networks with full floating-point precision. An extended evaluation of MAC-intensive kernels shows that NTX can consistently achieve up to 87% of its peak performance across general reduction workloads beyond machine learning. Its modular architecture enables deployment at different scales ranging from high-performance GPU-class to low-power embedded scenarios.


title: A Scheme to Verify Services with Unboundedly many Clients using NuSMV

abstract: We study model checking of client - server systems, where the servers offer several types of services that may depend, at any time, on how many clients of specific types are active at that time. Since there are unboundedly many clients, the state space of such systems is infinite, rendering specification and verification hard. This problem can be circumvented by using a specification language which has monadic first-order (MFO) sentences closed with standard temporal modalities. The MFO sentences throw up a bound which can, in turn, be used to bound the state space of the input client - server system, thereby making the verification problem decidable. This scheme is implemented using the NuSMV tool.


title: Multilayered Maxwell's fisheye lens as waveguide crossing

abstract: The Maxwell's fisheye (MFE) lens, due to its focusing properties, is an interesting candidate for implementing the crossing of multiple waveguides. The MFE lens is implemented by two different structures: concentric cylindrical multilayer and radially diverging gourd-shaped rods. Realization of the refractive index profile of the lens is achieved by controlling the thickness ratio of the alternating Si and SiO2 layers determined by effective medium theory. Both structures are optimized to cover the entire C-band in the single mode implementation. The transmission efficiency of the ring-based structure is superior to the radial-based implementation, however, the radial-based structure almost covers the entire U-band as well. Other communication bands are partially covered in both cases.Full-wave simulations prove that the performance of multimode waveguide crossing based on the MFE lens with a radius of 2.23 \mu m is promising with the average insertion loss of 0.17dB and crosstalk levels below -24.2dB in the C-band for TM0 and TM1 modes. The multimode intersection almost covers the entire C, L, and U bands of optical communication.


title: A coarse-grid incremental pressure-projection method for accelerating low Reynolds-number incompressible flow simulations

abstract: Coarse grid projection (CGP) multigrid techniques are applicable to sets of equations that include at least one decoupled linear elliptic equation. In CGP, the linear elliptic equation is solved on a coarsened grid compared to the other equations, leading to savings in computations time and complexity. One of the most important applications of CGP is when a pressure correction scheme is used to obtain a numerical solution to the Navier-Stokes equations. In that case there is an elliptic pressure Poisson equation. Depending on the pressure correction scheme used, the CGP method and its performance in terms of acceleration rate and accuracy level vary. The CGP framework has been established for non-incremental pressure projection techniques. In this article, we apply CGP methodology for the first time to incremental pressure correction schemes. Both standard and rotational forms of the incremental algorithms are considered. The influence of velocity Dirichlet and natural homogenous boundary conditions in regular and irregular domains with structured and unstructured triangular finite element meshes is investigated. $L^2$ norms demonstrate that the level of accuracy of the velocity and the pressure fields is preserved for up to three levels of coarsening. For the test cases investigated, the speedup factors range from 1.248 to 102.715.


title: Properties of Chromatin in Human Cells as Characteristics of the State of Human Organism: A Review

abstract: The state of chromatin in individual cells is directly related to the state of the whole organism and may be used for assessment of the state of the whole organism. Many hereditary diseases are connected with chromatin rearrangements. Chromatin distribution in cell nucleus is an important characteristic which may be applied for determination of disease gravity. The method of determination of the quantity of heterochromatin granules in buccal epithelium cells may be applied in the assessment of the state of human organism during sportive trainings and medical treatment.


title: Distinguishing general relativity from Chern-Simons gravity using gravitational wave polarizations

abstract: Quasi-normal modes (QNMs) uniquely characterize the final black-hole. Till now, only the QNM frequency and damping time are used to test General relativity. In this work, we show explicitly that another property of the QNMs --- their polarization --- can be a reliable tool for probing gravity. We provide a consistent test for General relativity by considering Chern-Simons gravity. Distinguishing Chern-Simons gravity from General relativity using only template matching is highly challenging. Thus a parameter that can differentiate between Chern-Simons gravity and GR will be a suitable candidate for any modified theories of gravity. We discuss the implications of our result for the future gravitational wave detectors.


title: Thin set theorems and cone avoidance

abstract: The thin set theorem $\mathsf{RT}^n_{<\infty,\ell}$ asserts the existence, for every $k$-coloring of the subsets of natural numbers of size $n$, of an infinite set of natural numbers, all of whose subsets of size $n$ use at most $\ell$ colors. Whenever $\ell = 1$, the statement corresponds to Ramsey's theorem. From a computational viewpoint, the thin set theorem admits a threshold phenomenon, in that whenever the number of colors $\ell$ is sufficiently large with respect to the size $n$ of the tuples, then the thin set theorem admits strong cone avoidance. Let $d_0, d_1, \dots$ be the sequence of Catalan numbers. For $n \geq 1$, $\mathsf{RT}^n_{<\infty, \ell}$ admits strong cone avoidance if and only if $\ell \geq d_n$ and cone avoidance if and only if $\ell \geq d_{n-1}$. We say that a set $A$ is $\mathsf{RT}^n_{<\infty, \ell}$-encodable if there is an instance of $\mathsf{RT}^n_{<\infty, \ell}$ such that every solution computes $A$. The $\mathsf{RT}^n_{<\infty, \ell}$-encodable sets are precisely the hyperarithmetic sets if and only if $\ell < 2^{n-1}$, the arithmetic sets if and only if $2^{n-1} \leq \ell < d_n$, and the computable sets if and only if $d_n \leq \ell$.


title: Parametric Resonance in a dissipative system \'a la Kronig-Penney

abstract: The competition between parametric resonance (PR) and dissipation is studied in the damped Kronig-Penney model, with time-dependent dissipation rate gamma(t). In the classical case, it is shown that dissipation leaves just a finite number of PR-bands at most, suppressing those at higher frequencies. An analysis of the Lewis-Reisenfeld invariant I(q,p,rho) is performed, showing that, in the PR regime, the auxiliary function rho(t) can be chosen bounded or unbounded, depending on the initial conditions.


title: Deep Learning Application in Security and Privacy -- Theory and Practice: A Position Paper

abstract: Technology is shaping our lives in a multitude of ways. This is fuelled by a technology infrastructure, both legacy and state of the art, composed of a heterogeneous group of hardware, software, services and organisations. Such infrastructure faces a diverse range of challenges to its operations that include security, privacy, resilience, and quality of services. Among these, cybersecurity and privacy are taking the centre-stage, especially since the General Data Protection Regulation (GDPR) came into effect. Traditional security and privacy techniques are overstretched and adversarial actors have evolved to design exploitation techniques that circumvent protection. With the ever-increasing complexity of technology infrastructure, security and privacy-preservation specialists have started to look for adaptable and flexible protection methods that can evolve (potentially autonomously) as the adversarial actor changes its techniques. For this, Artificial Intelligence (AI), Machine Learning (ML) and Deep Learning (DL) were put forward as saviours. In this paper, we look at the promises of AI, ML, and DL stated in academic and industrial literature and evaluate how realistic they are. We also put forward potential challenges a DL based security and privacy protection technique has to overcome. Finally, we conclude the paper with a discussion on what steps the DL and the security and privacy-preservation community have to take to ensure that DL is not just going to be hype, but an opportunity to build a secure, reliable, and trusted technology infrastructure on which we can rely on for so much in our lives.


title: Expected Density of Cooperative Bacteria in a 2D Quorum Sensing Based Molecular Communication System

abstract: The exchange of small molecular signals within microbial populations is generally referred to as quorum sensing (QS). QS is ubiquitous in nature and enables microorganisms to respond to fluctuations in living environments by working together. In this study, a QS-based molecular communication system within a microbial population in a two-dimensional (2D) environment is analytically modeled. Microorganisms are randomly distributed on a 2D circle where each one releases molecules at random times. The number of molecules observed at each randomly-distributed bacterium is first derived by characterizing the diffusion and degradation of signaling molecules within the population. Using the derived result and some approximation, the expected density of cooperative bacteria is derived. Our model captures the basic features of QS. The analytical results for noisy signal propagation agree with simulation results where the Brownian motion of molecules is simulated by a particle-based method. Therefore, we anticipate that our model can be used to predict the density of cooperative bacteria in a variety of QS-coordinated activities, e.g., biofilm formation and antibiotic resistance.


title: Strategy-Proof Spectrum Allocation among Multiple Operators

abstract: To address the demand of exponentially increasing end users efficient use of limited spectrum is a necessity. For this, spectrum allocation among co-existing operators in licensed and unlicensed spectrum band is required to cater to the temporal and spatial traffic variations in the wireless network. In this paper, we consider multiple operator spectrum allocation problem via auctions. The classical Vickrey-Clarke-Grooves (VCG) approach provides a strategy-proof and social welfare maximizing auction at the cost of high computational complexity which makes it intractable for practical implementation. We propose a sealed bid auction for spectrum allocation, which is computationally tractable and can hence be applied as per the dynamic load variations of the network. We show that the proposed algorithm is strategy-proof. Simulation results are presented to exhibit the performance comparison of the proposed algorithm and the VCG mechanism.


title: Circuit Complexity for Fermionic Thermofield Double states

abstract: Motivated by the holographic complexity proposals, in this paper, we investigate the time dependence of the complexity for the Fermionic thermofield double state (TFD) using the Nielsen approach and Fubini-Study (FS) approach separately. In both two approaches, we discuss the results for different reference states: the Dirac vacuum state and the Gaussian state which has no spatial entanglement (NSE). For Dirac vacuum reference state, we find that the complexity by both two approaches is time independent and the circuit complexity shares the same expression for both methods with the $L^2$ norm. For the NSE reference state, the complexity by the Nielsen approach is time-dependent while it by the FS approach is time-independent. Further, we find our dynamical results are in good agreement with the bosonic case, where the complexity evolves in time and saturates after a time at the order of the inverse temperature. And we show that the complexity of formation is also shared same similar behaviors with the holographic complexity.


title: Racial Faces in-the-Wild: Reducing Racial Bias by Information Maximization Adaptation Network

abstract: Racial bias is an important issue in biometric, but has not been thoroughly studied in deep face recognition. In this paper, we first contribute a dedicated dataset called Racial Faces in-the-Wild (RFW) database, on which we firmly validated the racial bias of four commercial APIs and four state-of-the-art (SOTA) algorithms. Then, we further present the solution using deep unsupervised domain adaptation and propose a deep information maximization adaptation network (IMAN) to alleviate this bias by using Caucasian as source domain and other races as target domains. This unsupervised method simultaneously aligns global distribution to decrease race gap at domain-level, and learns the discriminative target representations at cluster level. A novel mutual information loss is proposed to further enhance the discriminative ability of network output without label information. Extensive experiments on RFW, GBU, and IJB-A databases show that IMAN successfully learns features that generalize well across different races and across different databases.


title: One for All: Neural Joint Modeling of Entities and Events

abstract: The previous work for event extraction has mainly focused on the predictions for event triggers and argument roles, treating entity mentions as being provided by human annotators. This is unrealistic as entity mentions are usually predicted by some existing toolkits whose errors might be propagated to the event trigger and argument role recognition. Few of the recent work has addressed this problem by jointly predicting entity mentions, event triggers and arguments. However, such work is limited to using discrete engineering features to represent contextual information for the individual tasks and their interactions. In this work, we propose a novel model to jointly perform predictions for entity mentions, event triggers and arguments based on the shared hidden representations from deep learning. The experiments demonstrate the benefits of the proposed method, leading to the state-of-the-art performance for event extraction.


title: Optimality conditions for an exhausterable function on an exhausterable set

abstract: Exhausters are families of convex compact sets that allow one to represent directional derivative of the studied function at the considered point in the form of InfMax or SupMin of linear functions. Functions for which such a representation is valid we call exhausterable. The class of these functions is quite wide and contains many nonsmooth ones. The set which is given by exhausterable function is also called exhausterable. In the present paper we describe optimality conditions for an exhausterable function on an exhausterable set. These conditions can be used for solving of many nondifferentiable optimization problems. An example that illustrate obtained results is provided.


title: When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs

abstract: In this paper, we take a deep dive into microarchitectural security from a hardware designer's perspective by reviewing the existing approaches to detect hardware vulnerabilities during the design phase. We show that a protection gap currently exists in practice that leaves chip designs vulnerable to software-based attacks. In particular, existing verification approaches fail to detect specific classes of vulnerabilities, which we call HardFails: these bugs evade detection by current verification techniques while being exploitable from software. We demonstrate such vulnerabilities in real-world SoCs using RISC-V to showcase and analyze concrete instantiations of HardFails. Patching these hardware bugs may not always be possible and can potentially result in a product recall. We base our findings on two extensive case studies: the recent Hack@DAC 2018 hardware security competition, where 54 independent teams of researchers competed world-wide over a period of 12 weeks to catch inserted security bugs in SoC RTL designs, and an in-depth systematic evaluation of state-of-the-art verification approaches. Our findings indicate that even combinations of techniques will miss high-impact bugs due to the large number of modules with complex interdependencies and fundamental limitations of current detection approaches. We also craft a real-world software attack that exploits one of the RTL bugs from Hack@DAC that evaded detection and discuss novel approaches to mitigate the growing problem of cross-layer bugs at design time.


title: The Origins of Young Stars in the Direction of the Leading Arm of the Magellanic Stream: Abundances, Kinematics, and Orbits

abstract: We explore the origins of the young B-type stars found by Casetti-Dinescu et al.(2014) at the outskirts of the Milky-Way disk in the sky region of Leading Arm of the Magellanic Stream. High-resolution spectroscopic observations made with the MIKE instrument on the Magellan Clay 6.5m telescope for nine stars are added to the previous sample analyzed by Zhang et al. (2017). We compile a sample of fifteen young stars with well-determined stellar types, ages, abundances and kinematics. With proper motions from Gaia DR2 we also derive orbits in a realistic Milky-Way potential. We find that our previous radial-velocity selected LA candidates have substantial orbital angular momentum. The substantial amount of rotational component for these stars is in contrast with the near-polar Magellanic orbit, thus rendering these stars unlikely members of the LA. There are four large orbital-energy stars in our sample. The highest orbital-energy one has an age shorter than the time to disk crossing, with a birthplace $z=2.5$~kpc and $R_{\rm GC}\sim 28$~kpc. Therefore, the origin of this star is uncertain. The remaining three stars have disk runaway origin with birthplaces between 12 and 25 kpc from the Galactic center. Also, the most energetic stars are more metal poor ([Mg/H] =$-0.50\pm0.07$) and with larger He scatter ($\sigma_{\rm [He/H]} = 0.72$) than the inner disk ones ([Mg/H] $=0.12\pm0.36$, $\sigma_{\rm [He/H]} = 0.15$). While the former group's abundance is compatible with that of the Large Magellanic Cloud, it could also reflect the metallicity gradient of the MW disk and their runaway status via different runaway mechanisms.


title: Exact Pollard-like internal water waves

abstract: In this paper we construct a new solution which represents Pollard-like three-dimensional nonlinear geophysical internal water waves. The Pollard-like solution includes the effects of the rotation of Earth and describes the internal water wave which exists at all latitudes across Earth and propagates above the thermocline. The solution is provided in Lagrangian coordinates. In the process we derive the appropriate dispersion relation for the internal water waves in a stable stratification and discuss the particles paths. An analysis of the dispersion relation for the constructed model identifies one mode of the internal water waves.


title: Classification of stacked central configurations in R^3

abstract: We classify the extensions of n-body central configurations to (n + 1)-body central configurations in R3, in both the collinear case and the non-collinear case. We completely solve the two open questions posed by Hampton (Nonlinearity 18: 2299- 2304, 2005). This classification is related with study on co-circular and co-spherical central configurations. We also obtain a general property of co-circular central configurations.


title: Online Estimation of Power System Inertia Using Dynamic Regressor Extension and Mixing

abstract: The increasing penetration of power-electronic-interfaced devices is expected to have a significant effect on the overall system inertia and a crucial impact on the system dynamics. In the future, the reduction of inertia will have drastic consequences on protection and real-time control and will play a crucial role in the system operation. Therefore, in a highly deregulated and uncertain environment, it is necessary for Transmission System Operators to be able to monitor the system inertia in real time. We address this problem by developing and validating an online inertia estimation algorithm. The estimator is derived using the recently proposed dynamic regressor extension and mixing procedure. The performance of the estimator is demonstrated via several test cases using the 1013-machine ENTSO-E dynamic model.


title: Traversing the Continuous Spectrum of Image Retrieval with Deep Dynamic Models

abstract: We introduce the first work to tackle the image retrieval problem as a continuous operation. While the proposed approaches in the literature can be roughly categorized into two main groups: category- and instance-based retrieval, in this work we show that the retrieval task is much richer and more complex. Image similarity goes beyond this discrete vantage point and spans a continuous spectrum among the classical operating points of category and instance similarity. However, current retrieval models are static and incapable of exploring this rich structure of the retrieval space since they are trained and evaluated with a single operating point as a target objective. Hence, we introduce a novel retrieval model that for a given query is capable of producing a dynamic embedding that can target an arbitrary point along the continuous retrieval spectrum. Our model disentangles the visual signal of a query image into its basic components of categorical and attribute information. Furthermore, using a continuous control parameter our model learns to reconstruct a dynamic embedding of the query by mixing these components with different proportions to target a specific point along the retrieval simplex. We demonstrate our idea in a comprehensive evaluation of the proposed model and highlight the advantages of our approach against a set of well-established discrete retrieval models.


title: Scheduling multiple agile Earth observation satellites with multiple observations

abstract: The Earth observation satellites (EOSs) are specially designed to collect images according to user requirements. The agile EOSs (AEOS), with stronger attitude maneuverability, greatly improve the observation capability, while increasing the complexity in scheduling. We address a multiple AEOSs scheduling with multiple observations for the first time}, where the objective function aims to maximize the entire observation profit over a fixed horizon. The profit attained by multiple observations for each target is nonlinear to the number of observations. We model the multiple AEOSs scheduling as a specific interval scheduling problem with each satellite orbit respected as machine. Then A column generation based framework is developed to solve this problem, in which we deal with the pricing problems with a label-setting algorithm. Extensive simulations are conducted on the basis of a China's AEOS constellation, and the results indicate the optimality gap is less than 3% on average, which validates the performance of the scheduling solution obtained by the proposed framework. We also compare the framework in the conventional EOS scheduling.


title: On compressions of self-adjoint extensions of a symmetric linear relation

abstract: Let $A$ be a symmetric linear relation in the Hilbert space $\gH$ with equal deficiency indices $n_\pm (A)\leq\infty$. A self-adjoint linear relation $\wt A\supset A$ in some Hilbert space $\wt\gH\supset \gH$ is called an exit space extension of $A$; such an extension is called finite-codimensional if $\dim (\wt\gH\ominus\gH)< \infty$. We study the compressions $C (\wt A)=P_\gH\wt A\up\gH$ of exit space extensions $\wt A=\wt A^*$. For a certain class of extensions $\wt A$ we parameterize the compressions $C (\wt A)$ by means of abstract boundary conditions. This enables us to characterize various properties of $C (\wt A)$ (in particular, self-adjointness) in terms of the parameter for $\wt A$ in the Krein formula for resolvents. We describe also the compressions of a certain class of finite-codimensional extensions. These results develop the results by A. Dijksma and H. Langer obtained for a densely defined symmetric operator $A$ with finite deficiency indices.


title: Finer Distribution of Quantum Correlations among Multiqubit Systems

abstract: We study the distribution of quantum correlations characterized by monogamy relations in multipartite systems. By using the Hamming weight of the binary vectors associated with the subsystems, we establish a class of monogamy inequalities for multiqubit entanglement based on the $\alpha$th ($\alpha\geq 2$) power of concurrence, and a class of polygamy inequalities for multiqubit entanglement in terms of the $\beta$th ($0\leq \beta\leq2$) power of concurrence and concurrence of assistance. Moveover, we give the monogamy and polygamy inequalities for general quantum correlations. Application of these results to quantum correlations like squared convex-roof extended negativity (SCREN), entanglement of formation and Tsallis-$q$ entanglement gives rise to either tighter inequalities than the existing ones for some classes of quantum states or less restrictions on the quantum states. Detailed examples are presented.


title: Quantitative quantum mechanical approach to SABRE hyperpolarization at high magnetic fields

abstract: A theoretical approach is proposed for quantitative modeling of SABRE (Signal Amplification By Reversible Exchange) experiments performed at a high magnetic field of an NMR spectrometer. SABRE is a method, which exploits the spin order of parahydrogen (the H$_2$ molecule in its nuclear singlet state) for hyper-polarizing the spins of various substrates to enhance their NMR signals. An important feature of SABRE is that the substrate is not modified chemically: instead spin order transfer takes place in a transient complex with parahydrogen. In high-field SABRE experiments, such a transfer is achieved by using suitable NMR excitation schemes. The approach presented here can explicitly treat the spin dynamics in the SABRE complex as well as the kinetics of substrate exchange (between the free and bound form) and complex interplay of spin evolution and chemical processes. One more important effect included in the model is the alteration of the spin state of parahydrogen giving rise to the formation of anti-phase spin order from the initial singlet order. Such a treatment enables a detailed analysis of known high-field SABRE schemes, quantitative comparison with experiments and elucidation of the key factors that limit the resulting NMR signal enhancement.


title: On the Lambda-cotorsion subgroup of the Selmer group

abstract: Let $E$ be an elliptic curve defined over a number field $K$ with supersingular reduction at all primes of $K$ above $p$. If $K_{\infty}/K$ is a $\mathbb{Z}_p$-extension such that $E(K_{\infty})[p^{\infty}]$ is finite and $H^2(G_S(K_{\infty}), E[p^{\infty}])=0$, then we prove that the $\Lambda$-torsion subgroup of the Pontryagin dual of $\text{Sel}_{p^{\infty}}(E/K_{\infty})$ is pseudo-isomorphic to the Pontryagin dual of the fine Selmer group of $E$ over $K_{\infty}$. This is the Galois-cohomological analog of a flat-cohomological result of Wingberg.


title: Constraining the non-Einsteinian polarizations of gravitational waves by pulsar timing array

abstract: Pulsar timing array (PTA) provides an excellent opportunity to detect the gravitational waves (GWs) in nanoHertz frequency band. In particular, due to the larger number of "arms" in PTA, it can be used to test gravity by probing the non-Einsteinian polarization modes of GWs, including two spin-1 shear modes labeled by "$sn$" and "$se$", the spin-0 transverse mode labeled by "$b$" and the longitudinal mode labeled by "$l$". In this paper, we investigate the capabilities of the current and potential future PTAs, which are quantified by the constraints on the amplitudes parameters $(c_b,c_{sn},c_{se},c_{l})$, by observing an individual supermassive black hole binary in Virgo cluster. We find that for binary with chirp mass $M_{c}=8.77 \times 10^{8} \mathrm{M_{\odot}}$ and GW frequency $f=10^{-9}\mathrm{Hz}$, the PTA at current level can detect these GW modes if $c_b > 0.00106$, $c_l > 0.00217$, $c_{se} > 0.00271$, $c_{sn} > 0.00141$, which will be improved by about two orders if considering the potential PTA in SKA era. Interesting enough, due to effects of the geometrical factors, we find that in SKA era, the constraints on the $l$, $sn$, $se$ modes of GWs are purely dominated by several pulsars, instead of the full pulsars in PTA.


title: A Probabilistic Model of Cardiac Physiology and Electrocardiograms

abstract: An electrocardiogram (EKG) is a common, non-invasive test that measures the electrical activity of a patient's heart. EKGs contain useful diagnostic information about patient health that may be absent from other electronic health record (EHR) data. As multi-dimensional waveforms, they could be modeled using generic machine learning tools, such as a linear factor model or a variational autoencoder. We take a different approach:~we specify a model that directly represents the underlying electrophysiology of the heart and the EKG measurement process. We apply our model to two datasets, including a sample of emergency department EKG reports with missing data. We show that our model can more accurately reconstruct missing data (measured by test reconstruction error) than a standard baseline when there is significant missing data. More broadly, this physiological representation of heart function may be useful in a variety of settings, including prediction, causal analysis, and discovery.


title: Measuring the Stability of EHR- and EKG-based Predictive Models

abstract: Databases of electronic health records (EHRs) are increasingly used to inform clinical decisions. Machine learning methods can find patterns in EHRs that are predictive of future adverse outcomes. However, statistical models may be built upon patterns of health-seeking behavior that vary across patient subpopulations, leading to poor predictive performance when training on one patient population and predicting on another. This note proposes two tests to better measure and understand model generalization. We use these tests to compare models derived from two data sources: (i) historical medical records, and (ii) electrocardiogram (EKG) waveforms. In a predictive task, we show that EKG-based models can be more stable than EHR-based models across different patient populations.


title: Gravitational production of super-Hubble-mass particles: an analytic approach

abstract: Through a mechanism similar to perturbative particle scattering, particles of mass $m_\chi$ larger than the Hubble expansion rate $H_\mathrm{inf}$ during inflation can be gravitationally produced at the end of inflation without the exponential suppression powers of $\exp(-m_\chi/H_\mathrm{inf})$. Here we develop an analytic formalism for computing particle production for such massive particles. We apply our formalism to specific models that have been previously been studied only numerically, and we find that our analytical approximations reproduce those numerical estimates well.


title: Continuity of composition operators in Sobolev spaces

abstract: We prove that all the composition operators $T_f(g):= f\circ g$, which take the Adams-Frazier space $W^{m}_{p}\cap \dot{W}^{1}_{mp}(\mathbb{R}^n)$ to itself, are continuous mappings from $W^{m}_{p}\cap \dot{W}^{1}_{mp}(\mathbb{R}^n)$ to itself, for every integer $m\geq 2$ and every real number $1\leq p<+\infty$. The same automatic continuity property holds for Sobolev spaces $W^m_p(\mathbb{R}^n)$ for $m\geq 2$ and $1\leq p<+\infty$.


title: Four identities related to third order mock theta functions

abstract: Ramanujan presented four identities for third order mock theta functions in his Lost Notebook. In 2005, with the aid of complex analysis, Yesilyurt first proved these four identities. Recently, Andrews et al. provided different proofs by using $q$-series. In this paper, in view of some identities of a universal mock theta function \begin{align*} g(x;q)=x^{-1}\left(-1+\sum_{n=0}^{\infty}\frac{q^{n^{2}}}{(x;q)_{n+1}(qx^{-1};q)_{n}}\right), \end{align*} we establish new proofs of these four identities. In particular, by means of an identity of $g(x;q)$ given by Ramanujan and some theta function identities due to Mortenson, we find a new simple proof of the fourth identity.


title: NLO Effects in EFT Fits to $W^+W^-$ Production at the LHC

abstract: We study the impact of anomalous gauge boson and fermion couplings on the production of $W^+W^-$ pairs at potential future LHC upgrades and estimate the sensitivity at $\sqrt{S}=14$ TeV with $3~ab^{-1}$ and $\sqrt{S}=27$ TeV with $15~ab^{-1}$. A general technique for including NLO QCD effects in effective field theory (EFT) fits to kinematic distributions is presented, and numerical results are given for $\sqrt{S}=13$ TeV $W^+W^-$ production. Our method allows fits to anomalous couplings at NLO accuracy in any EFT basis and has been implemented in a publicly available version of the POWHEG-BOX. Analytic expressions for the $K$-factors relevant for $13$ TeV total cross sections are given for the HISZ and Warsaw EFT bases and differential $K$-factors can be obtained using the supplemental material. Our study demonstrates the necessity of including anomalous $Z$- fermion couplings in the extraction of limits on anomalous 3-gauge-boson couplings.


title: A calibrated sensitivity analysis for matched observational studies with application to the effect of second-hand smoke exposure on blood lead levels in U.S. children

abstract: Matched observational studies are commonly used to study treatment effects in non-randomized data. After matching for observed confounders, there could remain bias from unobserved confounders. A standard way to address this problem is to do a sensitivity analysis. A sensitivity analysis asks how sensitive the result is to a hypothesized unmeasured confounder U. One method, known as simultaneous sensitivity analysis, has two sensitivity parameters: one relating U to treatment assignment and the other to response. This method assumes that in each matched set, U is distributed to make the bias worst. This approach has two concerning features. First, this worst case distribution of U in each matched set does not correspond to a realistic distribution of U in the population. Second, sensitivity parameters are in absolute scales which are hard to compare to observed covariates. We address these concerns by introducing a method that endows U with a probability distribution in the population and calibrates the unmeasured confounder to the observed covariates. We compare our method to simultaneous sensitivity analysis in simulations and in a study of the effect of second-hand smoke exposure on blood lead levels in U.S. children.


title: Analysis of a space--time hybridizable discontinuous Galerkin method for the advection--diffusion problem on time-dependent domains

abstract: This paper presents the first analysis of a space--time hybridizable discontinuous Galerkin method for the advection--diffusion problem on time-dependent domains. The analysis is based on non-standard local trace and inverse inequalities that are anisotropic in the spatial and time steps. We prove well-posedness of the discrete problem and provide a priori error estimates in a mesh-dependent norm. Convergence theory is validated by a numerical example solving the advection--diffusion problem on a time-dependent domain for approximations of various polynomial degree.


title: Wigner function approach to polarization-vorticity coupling and hydrodynamics with spin

abstract: Newly introduced equilibrium Wigner functions for particles with spin one-half are used in the semi-classical kinetic equations to study a possible relation between thermal vorticity and spin polarization. It is shown that in global equilibrium both the thermal-vorticity and spin polarization tensors are constant but not necessarily equal. In the case of local equilibrium, we define a procedure leading to hydrodynamic equations with spin. We introduce such equations for the de~Groot, van~Leeuwen, and van~Weert (GLW) formalism as well as for the canonical scheme (these two frameworks differ by the definitions of the energy-momentum and spin tensors). It is found that the GLW and canonical versions are connected by a pseudo-gauge transformation.


title: A locally conservative and energy-stable finite element for the Navier--Stokes problem on time-dependent domains

abstract: We present a finite element method for the incompressible Navier--Stokes problem that is locally conservative, energy-stable and pressure-robust on time-dependent domains. To achieve this, the space--time formulation of the Navier--Stokes problem is considered. The space--time domain is partitioned into space--time slabs which in turn are partitioned into space--time simplices. A combined discontinuous Galerkin method across space--time slabs, and space--time hybridized discontinuous Galerkin method within a space--time slab, results in an approximate velocity field that is $H({\rm div})$-conforming and exactly divergence-free, even on time-dependent domains. Numerical examples demonstrate the convergence properties and performance of the method.


title: Dipolar Collisions of Ultracold Ground-state Bosonic Molecules

abstract: The dipolar collision between ultracold polar molecules is an important topic both by its own right from the fundamental point of view and for the successful exploration of many-body physics with strong and long-range dipolar interactions. Here, we report the investigation of collisions between ultracold ground-state sodium-rubidium molecules in electric fields with induced electric dipole moments as large as 0.7$\;$D. We observe a step-wise enhancement of losses due to the coupling between different partial waves induced by the increasingly stronger anisotropic dipolar interactions. Varying the temperature of our sample, we find good agreement with theoretical loss rates assuming complex formation as the main loss process. Our results shed new light on the understanding of complex molecular collisions in the presence of strong dipolar interactions and also demonstrate the versatility of modifying molecular interactions with electric fields.


title: On the Hohenberg-Mermin-Wagner theorem and its limitations

abstract: Just over fifty years ago, Pierre Hohenberg developed a rigorous proof of the non-existence of long-range order in a two-dimensional superfluid or superconductor at finite temperatures. The proof was immediately extended by N. D. Mermin and H. Wagner to the Heisenberg ferromagnet and antiferromagnet, and shortly thereafter, by Mermin to prove the absence of translational long-range order in a two-dimensional crystal, whether in quantum or classical mechanics. In this paper, we present an extension of the Hohenberg-Mermin-Wagner theorem to give a rigorous proof of the impossibility of long-range ferromagnetic order in an itinerant electron system without spin-orbit coupling or magnetic dipole interactions. We also comment on some situations where there are compelling arguments that long-range order is impossible but no rigorous proof has been given, as well as situations, such as a magnet with long range interactions, or orientational order in a two-dimensional crystal, where long-range order can occur that breaks a continuous symmetry.


title: On n-quasi left m-invertible operators

abstract: A Hilbert space operator $S\in\B$ is $n$-quasi left $m$-invertible (resp., left $m$-invertible) by $T\in\B$, $m,n \geq 1$ some integers, if $S^{*n}p(S,T)S^n=0$ (resp., $p(S,T)=0$), where $p(S,T)=\sum_{j=0}^m{(-1)^{m-j}\left(\begin{array}{clcr}m\\j\end{array}\right)T^jS^j}$. Left $m$-invertible and $n$-quasi left $m$-invertible operators share a number of properties. Thus, if $S$ is $n$-quasi left $m$-invertible, then $S^n$ is the perturbation by a nilpotent of the direct sum of a left $m$-invertible with the $0$ operator. In particular, if $T=S^*$ (so that $S$ is $n$-quasi $m$-isomertric) and $|(S|_{\overline{S^n(\H)}})^n|$ is not the identity operator, then $S^n$ is similar to an $m$-isometry. For a power bounded $n$-quasi left $m$-invertible operator $S$ such that $T$ is (also) power bounded. and $ST^*-T^*S=0$, $S$ is polaroid (i.e., isolated points of the spectrum are poles); the product of an $n$-quasi left $m_1$-invertible operator with a left $m_2$-invertible operator, given certain commutativity properties, is $n$-quasi left $(m_1+m_2-1)$-invertible; again, if $ST^*-T^*S=0$ and $N$ is an $n_1$-nilpotent which commutes with $S$, then $T$ is an $(n+n_1-1)$-quasi left $(m+n_1-1)$-inverse of $S+N_1$. These results have applications to $n$-quasi $m$-isometries \cite{AS}, $[m,C]$-isometries \cite{CKL}, and (left invertible) $m$-symmetric \cite{CLM} and $m$-selfadjoint \cite{L} operators.


title: A note on abelian subgroups of maximal order

abstract: In a recent paper of the first author and I. M. Isaacs it was shown that if m = m(G) is the maximal order of an abelian subgroup of the finite group G, then |G| divides m! ([AI18, Thm. 5.2]). The purpose of this brief note is to improve on the m! bound (see Theorem 2.1 below). We shall then take up the task of determining when the (implicit) inequality of our theorem becomes an equality. Despite, perhaps, first appearances this determination is not trivial. To accomplish it we shall establish a result (Theorem 2.3) of independent interest and we shall then see that Theorems 2.1 and 2.3 combine to further strengthen Theorem 2.1 (see Theorem 3.4).


title: Time Asymptotic expansions of solution for fourth-order Schr\"odinger equation with zero resonance or eigenvalue

abstract: In this paper, we first deduce the asymptotic expansions of resolvent of $H=(-\Delta)^2+V$ with the presence of resonance or eigenvalue at the degenerate zero threshold for $d\geq5$. In particular, we identify these resonance spaces for full kinds of zero resonances. As a consequence, we then establish the {\it time asymptotic expansions} and {\it Kato-Jensen estimates} for the solution of fourth-order Schr\"odinger equation under the presence of zero resonance or eigenvalue.


title: Classical simulation of quantum circuits by half Gauss sums

abstract: We give an efficient algorithm to evaluate a certain class of exponential sums, namely the periodic, quadratic, multivariate half Gauss sums. We show that these exponential sums become $\#\mathsf{P}$-hard to compute when we omit either the periodicity or quadraticity condition. We apply our results about these exponential sums to the classical simulation of quantum circuits, and give an alternative proof of the Gottesman-Knill theorem. We also explore a connection between these exponential sums and the Holant framework. In particular, we generalize the existing definition of affine signatures to arbitrary dimensions, and use our results about half Gauss sums to show that the Holant problem for the set of affine signatures is tractable.


title: Discovering hierarchies using Imitation Learning from hierarchy aware policies

abstract: Learning options that allow agents to exhibit temporally higher order behavior has proven to be useful in increasing exploration, reducing sample complexity and for various transfer scenarios. Deep Discovery of Options (DDO) is a generative algorithm that learns a hierarchical policy along with options directly from expert trajectories. We perform a qualitative and quantitative analysis of options inferred from DDO in different domains. To this end, we suggest different value metrics like option termination condition, hinge value function error and KL-Divergence based distance metric to compare different methods. Analyzing the termination condition of the options and number of time steps the options were run revealed that the options were terminating prematurely. We suggest modifications which can be incorporated easily and alleviates the problem of shorter options and a collapse of options to the same mode.


title: Leibniz's well-founded fictions and their interpretations

abstract: Leibniz used the term fiction in conjunction with infinitesimals. What kind of fictions they were exactly is a subject of scholarly dispute. The position of Bos and Mancosu contrasts with that of Ishiguro and Arthur. Leibniz's own views, expressed in his published articles and correspondence, led Bos to distinguish between two methods in Leibniz's work: (A) one exploiting classical `exhaustion' arguments, and (B) one exploiting inassignable infinitesimals together with a law of continuity. Of particular interest is evidence stemming from Leibniz's work Nouveaux Essais sur l'Entendement Humain as well as from his correspondence with Arnauld, Bignon, Dagincourt, Des Bosses, and Varignon. A careful examination of the evidence leads us to the opposite conclusion from Arthur's. We analyze a hitherto unnoticed objection of Rolle's concerning the lack of justification for extending axioms and operations in geometry and analysis from the ordinary domain to that of infinitesimal calculus, and reactions to it by Saurin and Leibniz. A newly released 1705 manuscript by Leibniz (Puisque des personnes...) currently in the process of digitalisation, sheds light on the nature of Leibnizian inassignable infinitesimals. In a pair of 1695 texts Leibniz made it clear that his incomparable magnitudes violate Euclid's Definition V.4, a.k.a. the Archimedean property, corroborating the non-Archimedean construal of the Leibnizian calculus. Keywords: Archimedean property; assignable vs inassignable quantity; Euclid's Definition V.4; infinitesimal; law of continuity; law of homogeneity; logical fiction; Nouveaux Essais; pure fiction; quantifier-assisted paraphrase; syncategorematic; transfer principle; Arnauld; Bignon; Des Bosses; Rolle; Saurin; Varignon


title: Quantum dynamics and spectroscopy of dihalogens in solid matrices. I. Efficient simulation of the photodynamics of the embedded $\mathrm{I_2 Kr_{18}}$ cluster using the G-MCTDH method

abstract: The molecular dynamics following the electronic $B\ ^3\Pi_u\left(0^+\right) \longleftarrow X\ ^1\Sigma_g^+$ photoexcitation of the iodine molecule embedded in solid krypton are studied quantum mechanically using the Gaussian variant of the multiconfigurational time-dependent Hartree method (G-MCTDH). The accuracy of the Gaussian wave packet approximation is validated against numerically exact MCTDH simulations for a fully anharmonic seven-dimensional model of the $\mathrm{I_2 Kr_{18}}$ cluster in a crystal Kr cage. The linear absorption spectrum, time-evolving vibrational probability densities, and $\mathrm{I_2}$ energy expectation value are accurately reproduced by the numerically efficient G-MCTDH approach. The reduced density matrix of the chromophore is analyzed in the coordinate, Wigner and energy representations, so as to obtain a multifaceted dynamical view of the guest-host interactions. Vibrational coherences extending over the bond distance range $ 2.7\,\mbox{\AA} < R_\mathrm{I-I} < 4.0\,\mbox{\AA}$ are found to survive for several vibrational periods, despite extensive dissipation. The present results prepare the ground for the simulation of time-resolved coherent Raman spectroscopy of the $\mathrm{I_2}$-krypton system addressed in a companion paper.