title: Planck Scale from Broken Local Conformal Invariance in Weyl Geometry

abstract: It is shown that in the quadratic gravity based on Weyl's conformal geometry, the Planck mass scale can be generated from quantum effects of the gravitational field and the Weyl gauge field via the Coleman-Weinberg mechanism where a local scale symmetry, that is, conformal symmetry, is broken. At the same time, the Weyl gauge field acquires mass less than the Planck mass by absorbing the dilaton. The shape of the effective potential is almost flat owing to a gravitational character and high symmetries, so our model would provide an attractive model for the inflationary universe. We also present a toy model showing spontaneous symmetry breakdown of a scale symmetry by moving from the Jordan frame to the Einstein one, and point out its problem.


title: Construction of wavelet dictionaries for ECG modelling

abstract: The purpose of sparse modelling of ECG signals is to represent an ECG record, given by sample points, as a linear combination of as few elementary components as possible. This can be achieved by creating a redundant set, called a dictionary, from where the elementary components are selected. The success in sparsely representing an ECG record depends on the nature of the dictionary being considered. In this paper we focus on the construction of different families of wavelet dictionaries, which are appropriate for the purpose of reducing dimensionality of ECG signals through sparse representation modelling. The suitability of wavelet dictionaries for ECG modelling, applying the Optimized Orthogonal Matching Pursuit approach for the selection process, was demonstrated in a previous work on the MIT-BIH Arrhythmia database consisting of 48 records each of which of 30 min length. This paper complements the previous one by presenting the technical details, methods, algorithms, and MATLAB software facilitating the construction of different families of wavelet dictionaries. The implementation allows for straightforward further extensions to include additional wavelet families. The sparsity in the representation of an ECG record significantly improves in relation to the sparsity produced by the corresponding wavelet basis. This result holds true for the 17 wavelet families considered here.


title: Efficient Surface-Aware Semi-Global Matching with Multi-View Plane-Sweep Sampling

abstract: Online augmentation of an oblique aerial image sequence with structural information is an essential aspect in the process of 3D scene interpretation and analysis. One key aspect in this is the efficient dense image matching and depth estimation. Here, the Semi-Global Matching (SGM) approach has proven to be one of the most widely used algorithms for efficient depth estimation, providing a good trade-off between accuracy and computational complexity. However, SGM only models a first-order smoothness assumption, thus favoring fronto-parallel surfaces. In this work, we present a hierarchical algorithm that allows for efficient depth and normal map estimation together with confidence measures for each estimate. Our algorithm relies on a plane-sweep multi-image matching followed by an extended SGM optimization that allows to incorporate local surface orientations, thus achieving more consistent and accurate estimates in areasmade up of slanted surfaces, inherent to oblique aerial imagery. We evaluate numerous configurations of our algorithm on two different datasets using an absolute and relative accuracy measure. In our evaluation, we show that the results of our approach are comparable to the ones achieved by refined Structure-from-Motion (SfM) pipelines, such as COLMAP, which are designed for offline processing. In contrast, however, our approach only considers a confined image bundle of an input sequence, thus allowing to perform an online and incremental computation at 1Hz-2Hz.


title: Curlicues generated by circle homeomorphisms

abstract: We investigate the curves in the complex plane which are generated by sequences of real numbers being the lifts of the points on the orbit of an orientation preserving circle homeomorphism. Geometrical properties of these curves such as boundedness, superficiality, local discrete radius of curvature are linked with dynamical properties of the circle homeomorphism which generates them: rotation number and its continued fraction expansion, existence of a continuous solution of the corresponding cohomological equation and displacement sequence along the orbit.


title: Internal DLA on cylinder graphs: fluctuations and mixing

abstract: We use coupling ideas introduced in \cite{levine2018long} to show that an IDLA process on a cylinder graph $G\times \mathbb{Z}$ forgets a typical initial profile in $\mathcal{O}( N\sqrt{\tau_N} (\log \! N)^2 )$ steps for large $N$, where $N$ is the size of the base graph $G$, and $\tau_N$ is the total variation mixing time of a simple random walk on $G$. The main new ingredient is a maximal fluctuations bound for IDLA on $G\times \mathbb{Z}$ which only relies on the mixing properties of the base graph $G$ and the Abelian property.


title: Incompressible and fast rotation limit for barotropic Navier-Stokes equations at large Mach numbers

abstract: In the present paper we study the incompressible and fast rotation limit for the barotropic Navier-Stokes equations with Coriolis force, in the case when the Mach number $\rm Ma$ is large with respect to the Rossby number $\rm Ro$: namely, we focus on the regime ${\rm Ro}\ll{\rm Ma}$. For this, we follow a recent approach by Danchin and Mucha in \cite{D-M} and take also a large bulk viscosity coefficient. We prove that the limit dynamics is described by an incompressible Navier-Stokes type equation, recasted in the vorticy formulation, where however an additional unknown, linked to density oscillations around a fixed constant reference state, comes into play. The proof of the convergence is based on a compensated compactness argument and on the derivation of sharp decay estimates for solutions to a heat equation with fast diffusion in time.


title: Efficient Learning of Distributed Linear-Quadratic Controllers

abstract: In this work, we propose a robust approach to design distributed controllers for unknown-but-sparse linear and time-invariant systems. By leveraging modern techniques in distributed controller synthesis and structured linear inverse problems as applied to system identification, we show that near-optimal distributed controllers can be learned with sub-linear sample complexity and computed with near-linear time complexity, both measured with respect to the dimension of the system. In particular, we provide sharp end-to-end guarantees on the stability and the performance of the designed distributed controller and prove that for sparse systems, the number of samples needed to guarantee robust and near optimal performance of the designed controller can be significantly smaller than the dimension of the system. Finally, we show that the proposed optimization problem can be solved to global optimality with near-linear time complexity by iteratively solving a series of small quadratic programs.


title: Superposition principle for qubit states in spin-projection mean representation

abstract: The superposition principle of two qubit states is formulated as nonlinear addition rule of mean spinprojection onto three perpendicular directions. The explicit expression for the mean value determining the superposition state in term of the two initial pure states of the qubit is obtained. Possibility to check the superposition expression in experiments is discussed.


title: Topological entropy and metric entropy for regular impulsive semiflows

abstract: In arXiv:1801.01238 a variation of Bowen's topological entropy that can be applied to the study of discontinuous semiflows on compact metric spaces was introduced. The main novetly is the use of certain family of pseudosemimetrics associated to the semiflow, in a such a way that in the continuous case they coincide with the classical Bowen's entropies. It was proved that regular impulsive semiflow can be semiconjugated by uniformly continuous bijection to certain continuous semiflow defined in a compact metric space. In the cited paper, the entropy is defined by the growth rate of separated sets. The main results of the present work is show that, for regular impulsive semiflows, the entropy defined by using spanning sets agrees with the entropy using separated sets. Moreover, this notion of entropy satisfy a variational principle. This results are obtained introducing a little change on the family of pseudosemimetrics associated to.


title: A theory for undercompressive shocks in tears of wine

abstract: We revisit the tears of wine problem for thin films in water-ethanol mixtures and present a new model for the climbing dynamics. The new formulation includes a Marangoni stress balanced by both the normal and tangential components of gravity as well as surface tension which lead to distinctly different behavior. The prior literature did not address the wine tears but rather the behavior of the film at earlier stages and the behavior of the meniscus. In the lubrication limit we obtain an equation that is already well-known for rising films in the presence of thermal gradients. Such models can exhibit non-classical shocks that are undercompressive. We present basic theory that allows one to identify the signature of an undercompressive (UC) wave. We observe both compressive and undercompressive waves in new experiments and we argue that, in the case of a pre-coated glass, the famous "wine tears" emerge from a reverse undercompressive shock originating at the meniscus.


title: Wormhole solutions with a polynomial equation-of-state and minimal violation of the null energy condition

abstract: This paper discusses wormholes supported by general equation-of-state , resulting in a significant combination of the linear equation-of-state and some other models. Wormhole with a quadratic equation-of-state is studied as a particular example. It is shown that the violation of null energy condition is restricted to some regions in the vicinity of the throat. The combination of barotropic and polytropic equation-of-state has been studied. We consider fluid near the wormhole throat in an exotic regime which at some $r=r_{1}$, the exotic regime is connected to a distribution of asymptotically dark energy regime with $-1<\omega<-1/3$. We have presented wormhole solutions with small amount of exotic matter. We have shown that using different forms of equation-of-state has a considerable effect on the minimizing violation of the null energy condition. The effect of many parameters such as redshift as detected by a distant observer and energy density at the throat on the $r_1$ is investigated. The solutions are asymptotically flat and compatible with presently available observational data at the large cosmic scale.


title: Exceptional autonomous components of Goldbach factorization graphs

abstract: We introduce a concept of a Goldbach factorization graph (GFG) $F_n$, which can be constructed for each even integer $n$ greater than 2. We prove that, if $n$ does not satisfy the binary Goldbach conjecture (BGC), then $F_n$ contains a special source strongly connected component (exceptional autonomous component, EAC). We analyse existence and properties of EACs using deductive and computational approaches. In particular, we prove that there exists exactly one EAC induced by two vertices. Using computer-aided search, we show that for $n \leq 10^8$ there are 6 EACs, each inside a different GFG, and they are located at the relative beginning of the checked range, namely, for $n\in\{128,1718,1862,1928,2200,6142\}$. Using classic graph algorithms, the constraint programming method, and metaheuristic approaches, we have prepared a repository of drawings and some selected properties of the found EACs and GFGs which contain them. The concept of EAC relates to the BGC, but more generally, it represents interesting self-conjugation of prime numbers under a relation which combines addition and multiplication.


title: Learning a Fixed-Length Fingerprint Representation

abstract: We present DeepPrint, a deep network, which learns to extract fixed-length fingerprint representations of only 200 bytes. DeepPrint incorporates fingerprint domain knowledge, including alignment and minutiae detection, into the deep network architecture to maximize the discriminative power of its representation. The compact, DeepPrint representation has several advantages over the prevailing variable length minutiae representation which (i) requires computationally expensive graph matching techniques, (ii) is difficult to secure using strong encryption schemes (e.g. homomorphic encryption), and (iii) has low discriminative power in poor quality fingerprints where minutiae extraction is unreliable. We benchmark DeepPrint against two top performing COTS SDKs (Verifinger and Innovatrics) from the NIST and FVC evaluations. Coupled with a re-ranking scheme, the DeepPrint rank-1 search accuracy on the NIST SD4 dataset against a gallery of 1.1 million fingerprints is comparable to the top COTS matcher, but it is significantly faster (DeepPrint: 98.80% in 0.3 seconds vs. COTS A: 98.85% in 27 seconds). To the best of our knowledge, the DeepPrint representation is the most compact and discriminative fixed-length fingerprint representation reported in the academic literature.


title: Deep Reinforcement Learning with Modulated Hebbian plus Q Network Architecture

abstract: This paper presents a new neural architecture that combines a modulated Hebbian network (MOHN) with DQN, which we call modulated Hebbian plus Q network architecture (MOHQA). The hypothesis is that such a combination allows MOHQA to solve difficult partially observable Markov decision process (POMDP) problems which impair temporal difference (TD)-based RL algorithms such as DQN, as the TD error cannot be easily derived from observations. The key idea is to use a Hebbian network with bio-inspired neural traces in order to bridge temporal delays between actions and rewards when confounding observations and sparse rewards result in inaccurate TD errors. In MOHQA, DQN learns low level features and control, while the MOHN contributes to the high-level decisions by associating rewards with past states and actions. Thus the proposed architecture combines two modules with significantly different learning algorithms, a Hebbian associative network and a classical DQN pipeline, exploiting the advantages of both. Simulations on a set of POMDPs and on the MALMO environment show that the proposed algorithm improved DQN's results and even outperformed control tests with A2C, QRDQN+LSTM and REINFORCE algorithms on some POMDPs with confounding stimuli and sparse rewards.


title: A Multi-Strategy Approach to Overcoming Bias in Community Detection Evaluation

abstract: Community detection is key to understand the structure of complex networks. However, the lack of appropriate evaluation strategies for this specific task may produce biased and incorrect results that might invalidate further analyses or applications based on such networks. In this context, the main contribution of this paper is an approach that supports a robust quality evaluation when detecting communities in real-world networks. In our approach, we use multiple strategies that capture distinct aspects of the communities. The conclusion on the quality of these communities is based on the consensus among the strategies adopted for the structural evaluation, as well as on the comparison with communities detected by different methods and with their existing ground truths. In this way, our approach allows one to overcome biases in network data, detection algorithms and evaluation metrics, thus providing more consistent conclusions about the quality of the detected communities. Experiments conducted with several real and synthetic networks provided results that show the effectiveness of our approach.


title: Graph Model Implementation of Attribute-Based Access Control Policies

abstract: Attribute-based access control (ABAC) promises a powerful way of formalizing access policies in support of a wide range of access management scenarios. Efficient implementation of ABAC in its general form is still a challenge, especially when addressing the complexity of privacy regulations and access management required to support the explosive growth of social and IoT networks. In this paper, we introduce a graph model implementation for expressing and evaluating access policies and illustrate a sample use-case implementation over Neo4 Graph Database. Graph databases excel at querying connected data and hence can evaluate complex policies efficiently via graph traversal algorithms.


title: Modeling photon--induced reactions on $^{233-238}$U actinide targets

abstract: Comprehensive calculations of cross sections of photon induced reactions on $^{233-238}$U targets for incident photon energies from 3 up to 30 MeV are undertaken with the statistical model code EMPIRE-3.2 Malta. Results are compared with the experimental data from EXFOR and with the current evaluations. The differences and the similarities between the models and parameters used in calculations of photon- and neutron-induced reactions on the same nuclei are discussed with focus on fission. The role of the extended optical model for fission in improving the description of the measured data and in determining consistent sets of barrier parameters is pointed out.


title: Leveraging Human Guidance for Deep Reinforcement Learning Tasks

abstract: Reinforcement learning agents can learn to solve sequential decision tasks by interacting with the environment. Human knowledge of how to solve these tasks can be incorporated using imitation learning, where the agent learns to imitate human demonstrated decisions. However, human guidance is not limited to the demonstrations. Other types of guidance could be more suitable for certain tasks and require less human effort. This survey provides a high-level overview of five recent learning frameworks that primarily rely on human guidance other than conventional, step-by-step action demonstrations. We review the motivation, assumption, and implementation of each framework. We then discuss possible future research directions.


title: Generating Timelines by Modeling Semantic Change

abstract: Though languages can evolve slowly, they can also react strongly to dramatic world events. By studying the connection between words and events, it is possible to identify which events change our vocabulary and in what way. In this work, we tackle the task of creating timelines - records of historical "turning points", represented by either words or events, to understand the dynamics of a target word. Our approach identifies these points by leveraging both static and time-varying word embeddings to measure the influence of words and events. In addition to quantifying changes, we show how our technique can help isolate semantic changes. Our qualitative and quantitative evaluations show that we are able to capture this semantic change and event influence.


title: Making a Case for MLNs for Data-Driven Analysis: Modeling, Efficiency, and Versatility

abstract: Datasets of real-world applications are characterized by entities of different types, which are defined by multiple features and connected via varied types of relationships. A critical challenge for these datasets is developing models and computations to support flexible analysis, i.e., the ability to compute varied types of analysis objectives in an efficient manner. To address this problem, in this paper, we make a case for modeling such complex data sets as multilayer networks (or MLNs), and argue that MLNs provide a more informative model than the currently popular simple and attribute graphs. Through analyzing communities and hubs on homogeneous and heterogeneous MLNs, we demonstrate the flexibility of the chosen model. We also show that compared to current analysis approaches, a network decoupling-based analysis of MLNs is more efficient and also preserves the structure and result semantics. We use three diverse data sets to showcase the effectiveness of modeling them as MLNs and analyzing them using the decoupling-based approach. We use both homogeneous and heterogeneous MLNs for modeling and community and hub computations for analysis. The data sets are from US commercial airlines and IMDb, a large international movie data set. Our experimental analysis validate modeling, efficiency of computation, and versatility of the approach. Correctness of results are verified using independently available ground truth. For the data sets used, efficiency improvement is in the range of 64% to 98%.


title: Log-optimal (d+2)-configurations in d-dimensions

abstract: We enumerate and classify all stationary logarithmic configurations of d+2 points on the unit (d-1)-sphere in d-dimensions. In particular, we show that the logarithmic energy attains its relative minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality m and n. The global minimum occurs when m=n if d is even and m=n+1 otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on the (d-1)-sphere for all d. The other two classes known in the literature, the regular simplex and the cross polytope, are both universally optimal configurations.


title: Deep learning approach to control of prosthetic hands with electromyography signals

abstract: Natural muscles provide mobility in response to nerve impulses. Electromyography (EMG) measures the electrical activity of muscles in response to a nerve's stimulation. In the past few decades, EMG signals have been used extensively in the identification of user intention to potentially control assistive devices such as smart wheelchairs, exoskeletons, and prosthetic devices. In the design of conventional assistive devices, developers optimize multiple subsystems independently. Feature extraction and feature description are essential subsystems of this approach. Therefore, researchers proposed various hand-crafted features to interpret EMG signals. However, the performance of conventional assistive devices is still unsatisfactory. In this paper, we propose a deep learning approach to control prosthetic hands with raw EMG signals. We use a novel deep convolutional neural network to eschew the feature-engineering step. Removing the feature extraction and feature description is an important step toward the paradigm of end-to-end optimization. Fine-tuning and personalization are additional advantages of our approach. The proposed approach is implemented in Python with TensorFlow deep learning library, and it runs in real-time in general-purpose graphics processing units of NVIDIA Jetson TX2 developer kit. Our results demonstrate the ability of our system to predict fingers position from raw EMG signals. We anticipate our EMG-based control system to be a starting point to design more sophisticated prosthetic hands. For example, a pressure measurement unit can be added to transfer the perception of the environment to the user. Furthermore, our system can be modified for other prosthetic devices.


title: Extensions of Expansive Dynamical Systems

abstract: We characterize and describe the extensions of expansive and Anosov homeomorphisms on compact spaces. As an application we obtain a stability result for extensions of Anosov systems, and show a construction that embeds any expansive system inside an expansive system having the shadowing property for the pseudo orbits of the original space.


title: Optimal Learning of Joint Alignments with a Faulty Oracle

abstract: We consider the following problem, which is useful in applications such as joint image and shape alignment. The goal is to recover $n$ discrete variables $g_i \in \{0, \ldots, k-1\}$ (up to some global offset) given noisy observations of a set of their pairwise differences $\{(g_i - g_j) \bmod k\}$; specifically, with probability $\frac{1}{k}+\delta$ for some $\delta > 0$ one obtains the correct answer, and with the remaining probability one obtains a uniformly random incorrect answer. We consider a learning-based formulation where one can perform a query to observe a pairwise difference, and the goal is to perform as few queries as possible while obtaining the exact joint alignment. We provide an easy-to-implement, time efficient algorithm that performs $O\big(\frac{n \lg n}{k \delta^2}\big)$ queries, and recovers the joint alignment with high probability. We also show that our algorithm is optimal by proving a general lower bound that holds for all non-adaptive algorithms. Our work improves significantly recent work by Chen and Cand\'{e}s \cite{chen2016projected}, who view the problem as a constrained principal components analysis problem that can be solved using the power method. Specifically, our approach is simpler both in the algorithm and the analysis, and provides additional insights into the problem structure.


title: Forces and Variational Compatibility for Equilibrium Liquid Crystal Director Models with Coupled Electric Fields

abstract: Expressions are obtained for force and couple densities and stress tensors in macroscopic models for nematic liquid crystals subjected to electric fields. The coupling between the liquid crystal orientational properties and the electric field is taken into account via a free energy of Oseen-Frank type expressed as an integral functional of the director field and the electric potential field. The variational model here also allows for a gravitational field and a magnetic field, and the differences among these three common types of force fields (gravitational, magnetic, and electric) are discussed. Also included in the free energy is a surface anchoring potential, and its effect on boundary traction and couple stress is explored. The electric field is assumed to arise from electrodes held at constant potential. Flexoelectric effects are included, and as a consequence, the material is no longer a linear dielectric medium. It is shown that the equilibrium solutions of the Euler-Lagrange equations satisfy appropriate expressions of force balance and torque balance, obtained from a virtual-work principle, and a connection is made between this and ideas related to Noether's Theorem. The development here builds from theories of Ericksen related to the notion of "variational compatibility," and this connection is made. Comparisons are also made to the extensive literature in physics and continuum mechanics on electromagnetic field/matter interaction.


title: Predicting consumers engagement on Facebook based on what and how companies write

abstract: Engaged costumers are a very import part of current social media marketing. Public figures and brands have to be very careful about what to post online. That is why the need for accurate strategies for anticipating the impact of a post written for an online audience is critical to any public brand. Therefore, in this paper, we propose a method to predict the impact of a given post by accounting for the content, style, and behavioral attributes as well as metadata information. For validating our method we collected Facebook posts from 10 public pages, we performed experiments with almost 14000 posts and found that the content and the behavioral attributes from posts provide relevant information to our prediction model.


title: Response solutions to the quasi-periodically forced systems with degenerate equilibrium: A simple proof of a result of W. Si and J. Si. and extensions

abstract: We give a simple proof of the existence of response solutions in some quasi-periodically forced systems with a degenerate fixed points. The same questions were answered in \cite{ss18} using two versions of KAM theory. Our method is based on reformulating the existence of response solutions as a fixed point problem in appropriate spaces of smooth functions. By algebraic manipulations, the fixed point problem is transformed into a contraction. Compared to the KAM method, the present method does not incur a loss of regularity. That is, the solutions we obtain have the same regularity as the forcing. Moreover, the method here applies when problems are only finitely differentiable. It also weakens slightly the non-degeneracy conditions. Since the method is based on the contraction mapping principle, we also obtain automatically smooth dependence on parameters and, when studying complex versions of the problem we discover the new phenomenon of monodromy. We also present results for higher dimensional systems, but for higher dimensional systems, the concept of degenerate fixed points is much more subtle than in one dimensional systems. To illustrate the power of the method, we also consider two problems not studied in \cite{ss18}: the forcing with zero average and second order oscillators. We show that in the zero average forcing case, the solutions are qualitatively different, but the second order oscillators is remarkably similar.


title: Surrounding cops and robbers on graphs of bounded genus

abstract: We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.


title: Hodge-Tate decomposition for non-smooth spaces

abstract: In this article, we generalize the Hodge-Tate decomposition of p-adic \'etale cohomology to non-smooth rigid spaces. Our strategy is to study pro-\'etale cohomology of rigid spaces introduced by Scholze, using the resolution of singularities and the simplicial method.


title: Moments of the ground state density for the $d$-dimensional Fermi gas in an harmonic trap

abstract: We consider properties of the ground state density for the $d$-dimensional Fermi gas in an harmonic trap. Previous work has shown that the $d$-dimensional Fourier transform has a very simple functional form. It is shown that this fact can be used to deduce that the density itself satisfies a third order linear differential equation, previously known in the literature but from other considerations. It is shown too how this implies a closed form expression for the $2k$-th non-negative integer moments of the density, and a second order recurrence. Both can be extended to general Re$\, k > -d/2$. The moments, and the smoothed density, permit expansions in $1/\tilde{M}^2$, where $\tilde{M} = M + (d+1)/2$, with $M$ denoting the shell label. The moment expansion substituted in the second order recurrence gives a generalisation of the Harer--Zagier recurrence, satisfied by the coefficients of the $1/N^2$ expansion of the moments of the spectral density for the Gaussian unitary ensemble in random matrix theory.


title: Tunable photon blockade in a whispering-gallery-mode microresonator coupled with two nanoparticles

abstract: We have theoretically studied the photon statistical properties in a nonlinear whispering-gallery-mode microresonator coupled with two nanoparticles. By tuning the relative position of two nanoparticles, the photon statistical features of the system can be modified remarkably. Interestingly, a controllable switching between unconventional and conventional photon blockade can be realized by manipulating the angular positions of two nanoparticles. We also investigate the influence of the Kerr effect on the second order correlation function and find that there is an optimal choice for the relative position of two nanoparticles and the strength of Kerr effect that can generate strong antibunching. Furthermore, under the strong driving, two photon blockade can be achieved when the system is close to an exceptional point. Our work may provide an effective way to control photon statistical characteristics and have potential applications in quantum information science.


title: Kaestner Brackets

abstract: We introduce \textit{Kaestner brackets}, a generalization of biquandle brackets to the case of parity biquandles. This infinite set of quantum enhancements of the biquandle counting invariant for oriented virtual knots and links includes the classical quantum invariants, the quandle and biquandle $2$-cocycle invariants and the classical biquandle brackets as special cases, coinciding with them for oriented classical knots and links but defining generally stronger invariants for oriented virtual knots and links. We provide examples to illustrate the computation of the new invariant and to show that it is stronger than the classical biquandle bracket invariant for virtual knots.


title: Constructing $p,n$-forms from $p$-forms via the Hodge star operator and the exterior derivative

abstract: In this paper, we aim to explore the properties and applications on the operators consisting of the Hodge star operator together with the exterior derivative, whose action on an arbitrary $p$-form field in $n$-dimensional spacetimes makes its form degree remain invariant. Such operations are able to generate a variety of $p$-forms with the even-order derivatives of the $p$-form. To do this, we first investigate the properties of the operators, such as the Laplace-de Rham operator, the codifferential and their combinations, as well as the applications of the operators in the construction of conserved currents. On basis of two general p-forms, then we construct a general n-form with higher-order derivatives. Finally, we propose that such an n-form could be applied to define a generalized Lagrangian with respect to a p-form field according to the fact that it incudes the ordinary Lagrangians for the $p$-form and scalar fields as special cases.


title: Using Chinese Glyphs for Named Entity Recognition

abstract: Most Named Entity Recognition (NER) systems use additional features like part-of-speech (POS) tags, shallow parsing, gazetteers, etc. Such kind of information requires external knowledge like unlabeled texts and trained taggers. Adding these features to NER systems have been shown to have a positive impact. However, sometimes creating gazetteers or taggers can take a lot of time and may require extensive data cleaning. In this paper for Chinese NER systems, we do not use these traditional features but we use lexicographic features of Chinese characters. Chinese characters are composed of graphical components called radicals and these components often have some semantic indicators. We propose CNN based models that incorporate this semantic information and use them for NER. Our models show an improvement over the baseline BERT-BiLSTM-CRF model. We set a new baseline score for Chinese OntoNotes v5.0 and show an improvement of +.64 F1 score. We present a state-of-the-art F1 score on Weibo dataset of 71.81 and show a competitive improvement of +0.72 over baseline on ResumeNER dataset.


title: Backpressure Flow Control

abstract: Effective congestion control for data center networks is becoming increasingly challenging with a growing amount of latency sensitive traffic, much fatter links, and extremely bursty traffic. Widely deployed algorithms, such as DCTCP and DCQCN, are still far from optimal in many plausible scenarios, particularly for tail latency. Many operators compensate by running their networks at low average utilization, dramatically increasing costs. In this paper, we argue that we have reached the practical limits of end-to-end congestion control. Instead, we propose, implement, and evaluate a new congestion control architecture called Backpressure Flow Control (BFC). BFC provides per-hop per-flow flow control, but with bounded state, constant-time switch operations, and careful use of buffers. We demonstrate BFC's feasibility by implementing it on Tofino2, a state-of-the-art P4-based programmable hardware switch. In simulation, we show that BFC achieves near optimal throughput and tail latency behavior even under challenging conditions such as high network load and incast cross traffic. Compared to existing end-to-end schemes, BFC achieves 2.3 - 60 X lower tail latency for short flows and 1.6 - 5 X better average completion time for long flows.


title: Non-displaceable Lagrangian links in four-manifolds

abstract: Let $\omega$ denote an area form on $S^2$. Consider the closed symplectic 4-manifold $M=(S^2\times S^2, A\omega \oplus a \omega)$ with $0<a<A$. We show that there are families of displaceable Lagrangian tori $L_{0,x},\, L_{1,x} \subset M$, for $x \in [0,1]$, such that the two-component link $L_{0,x} \cup L_{1,x}$ is non-displaceable for each $x$.


title: Techniques and Applications for Crawling, Ingesting and Analyzing Blockchain Data

abstract: As the public Ethereum network surpasses half a billion transactions and enterprise Blockchain systems becoming highly capable of meeting the demands of global deployments, production Blockchain applications are fast becoming commonplace across a diverse range of business and scientific verticals. In this paper, we reflect on work we have been conducting recently surrounding the ingestion, retrieval and analysis of Blockchain data. We describe the scaling and semantic challenges when extracting Blockchain data in a way that preserves the original metadata of each transaction by cross referencing the Smart Contract interface with the on-chain data. We then discuss a scientific use case in the area of Scientific workflows by describing how we can harvest data from tasks and dependencies in a generic way. We then discuss how crawled public blockchain data can be analyzed using two unsupervised machine learning algorithms, which are designed to identify outlier accounts or smart contracts in the system. We compare and contrast the two machine learning methods and cross correlate with public Websites to illustrate the effectiveness such approaches.


title: Levantamento de Requisitos para Jogos Educativos Infantis

abstract: The use of games within the classroom is in constant growing, however, there are still demands for better solutions to problems such as reconciling leisure with class or the lack of attention of children. This work demonstrates methodologies used to survey and analyze requirements for the development of children's educational games, with the target audience of children from 5 to 9 years old. A list of basic requirements that can improve the development of educational games and provide a basis for further development of a game is raised. It is possible to continue the work by addressing theories of education, the process of gamification of education and other requirements gathering methods.


title: Accelerating convolutional neural network by exploiting sparsity on GPUs

abstract: Convolutional neural network (CNN) is an important deep learning method. The convolution operation takes a large proportion of the total execution time for CNN. Feature maps for convolution operation are usually sparse. Multiplications and additions for zero values in the feature map are useless for convolution results. In addition, the convolution layer and pooling layer are computed separately in traditional methods, which leads to frequent data transfer between CPU and GPU. Based on these observations, we propose two new methods to accelerate CNN on GPUs. The first method focuses on accelerating convolution operation and reducing the calculation of zero values. The second method combines the operations of one convolution layer with the following pooling layer to effectively reduce traffic between CPU and GPU. For the first method, we extract some convolution layers from LeNet, AlexNet, and GoogLeNet, and can achieve up to 3.6X speedup over cuDNN for the single-layer convolution on GPU. Experiment on VGG-19 achieves 3.5X speedup over cuDNN for convolution operation on average. For the second method, the experiment on VGG-19 achieves 4.3X speedup over cuDNN on average.


title: Subspace Clustering for Panel Data with Interactive Effects

abstract: In this paper, a statistical model for panel data with unobservable grouped factor structures which are correlated with the regressors and the group membership can be unknown. The factor loadings are assumed to be in different subspaces and the subspace clustering for factor loadings are considered. A method called least squares subspace clustering estimate (LSSC) is proposed to estimate the model parameters by minimizing the least-square criterion and to perform the subspace clustering simultaneously. The consistency of the proposed subspace clustering is proved and the asymptotic properties of the estimation procedure are studied under certain conditions. A Monte Carlo simulation study is used to illustrate the advantages of the proposed method. Further considerations for the situations that the number of subspaces for factors, the dimension of factors and the dimension of subspaces are unknown are also discussed. For illustrative purposes, the proposed method is applied to study the linkage between income and democracy across countries while subspace patterns of unobserved factors and factor loadings are allowed.


title: MaLTESE: Large-Scale Simulation-Driven Machine Learning for Transient Driving Cycles

abstract: Optimal engine operation during a transient driving cycle is the key to achieving greater fuel economy, engine efficiency, and reduced emissions. In order to achieve continuously optimal engine operation, engine calibration methods use a combination of static correlations obtained from dynamometer tests for steady-state operating points and road and/or track performance data. As the parameter space of control variables, design variable constraints, and objective functions increases, the cost and duration for optimal calibration become prohibitively large. In order to reduce the number of dynamometer tests required for calibrating modern engines, a large-scale simulation-driven machine learning approach is presented in this work. A parallel, fast, robust, physics-based reduced-order engine simulator is used to obtain performance and emission characteristics of engines over a wide range of control parameters under various transient driving conditions (drive cycles). We scale the simulation up to 3,906 nodes of the Theta supercomputer at the Argonne Leadership Computing Facility to generate data required to train a machine learning model. The trained model is then used to predict various engine parameters of interest. Our results show that a deep-neural-network-based surrogate model achieves high accuracy for various engine parameters such as exhaust temperature, exhaust pressure, nitric oxide, and engine torque. Once trained, the deep-neural-network-based surrogate model is fast for inference: it requires about 16 micro sec for predicting the engine performance and emissions for a single design configuration compared with about 0.5 s per configuration with the engine simulator. Moreover, we demonstrate that transfer learning and retraining can be leveraged to incrementally retrain the surrogate model to cope with new configurations that fall outside the training data space.


title: Outer rotation curve of the Galaxy with VERA IV: Astrometry of IRAS 01123+6430 and the possibility of cloud-cloud collision

abstract: As part our investigation into the Galactic rotation curve, we carried out Very Long Baseline Interferometry (VLBI) observations towards the star-forming region IRAS 01123+6430 using VLBI Exploration of Radio Astrometry (VERA) to measure its annual parallax and proper motion. The annual parallax was measured to be 0.151+/-0.042 mas, which corresponds to a distance of D=6.61^{+2.55}_{-1.44} kpc, and the obtained proper motion components were ({\mu}_{\alpha}cos{\delta}, {\mu}_{\delta})=(-1.44+/-0.15, -0.27+/-0.16) mas yr^{-1} in equatorial coordinates. Assuming Galactic constants of (R_0, {\Theta}_0)=(8.05+/-0.45 kpc, 238+/-14 km s^{-1}), the Galactocentric distance and rotation velocity were measured to be (R, {\Theta})=(13.04+/-2.24 kpc, 239+/-22 km s^{-1}), which are consistent with a flat Galactic rotation curve. The newly estimated distance provides a more accurate bolometric luminosity of the central young stellar object, L_Bol=(3.11+/-2.86)\times 10^3 L_solar, which corresponds to a spectral type of B1-B2. The analysis of 12CO(J=1-0) survey data obtained with the Five College Radio Astronomical Observatory (FCRAO) 14 m telescope shows that the molecular cloud associated with IRAS 01123+6430 consists of arc-like and linear components, which well matches a structure predicted by numerical simulation of the cloud-cloud collision (CCC) phenomenon. The coexistence of arc-like and linear components implies that the relative velocity of initial two clouds was as slow as 3-5 km s^{-1}, which meets the expected criteria of massive star formation where the core mass is effectively increased in the presence of low relative velocity (~3-5 km s^{-1}), as suggested by Takahira et al.(2014).


title: Volume Preserving Image Segmentation with Entropic Regularization Optimal Transport and Its Applications in Deep Learning

abstract: Image segmentation with a volume constraint is an important prior for many real applications. In this work, we present a novel volume preserving image segmentation algorithm, which is based on the framework of entropic regularized optimal transport theory. The classical Total Variation (TV) regularizer and volume preserving are integrated into a regularized optimal transport model, and the volume and classification constraints can be regarded as two measures preserving constraints in the optimal transport problem. By studying the dual problem, we develop a simple and efficient dual algorithm for our model. Moreover, to be different from many variational based image segmentation algorithms, the proposed algorithm can be directly unrolled to a new Volume Preserving and TV regularized softmax (VPTV-softmax) layer for semantic segmentation in the popular Deep Convolution Neural Network (DCNN). The experiment results show that our proposed model is very competitive and can improve the performance of many semantic segmentation nets such as the popular U-net.


title: Nonlocal Patches based Gaussian Mixture Model for Image Inpainting

abstract: We consider the inpainting problem for noisy images. It is very challenge to suppress noise when image inpainting is processed. An image patches based nonlocal variational method is proposed to simultaneously inpainting and denoising in this paper. Our approach is developed on an assumption that the small image patches should be obeyed a distribution which can be described by a high dimension Gaussian Mixture Model. By a maximum a posteriori (MAP) estimation, we formulate a new regularization term according to the log-likelihood function of the mixture model. To optimize this regularization term efficiently, we adopt the idea of the Expectation Maximum (EM) algorithm. In which, the expectation step can give an adaptive weighting function which can be regarded as a nonlocal connections among pixels. Using this fact, we built a framework for non-local image inpainting under noise. Moreover, we mathematically prove the existence of minimizer for the proposed inpainting model. By using a spitting algorithm, the proposed model are able to realize image inpainting and denoising simultaneously. Numerical results show that the proposed method can produce impressive reconstructed results when the inpainting region is rather large.


title: Construction of a Compact, Fully Automatic non-linear Absorption Spectrometer to Measure the Two-Photon Absorption Coefficient

abstract: Using an Electrically Focus Tunable Lens (EFTL), an integrating sphere and a tunable femtosecond-pulse laser (Mai Tai HP), we were able to measure the degenerate two-photon absorption coefficient (in transmission) of CdS and ZnSe in a long range of wavelengths (690-1040 nm), with a 5 nm resolution, in less than 30 minutes. We compared our results with theoretical approaches for the dispersion relations of the non-linear properties of semiconductors, and found excellent agreement with the experimental results. The system has no moving parts, is highly compact, and is fully automated.


title: Structured Binary Neural Networks for Image Recognition

abstract: We propose methods to train convolutional neural networks (CNNs) with both binarized weights and activations, leading to quantized models that are specifically friendly to mobile devices with limited power capacity and computation resources. Previous works on quantizing CNNs often seek to approximate the floating-point information using a set of discrete values, which we call value approximation, typically assuming the same architecture as the full-precision networks. Here we take a novel "structure approximation" view of quantization -- it is very likely that different architectures designed for low-bit networks may be better for achieving good performance. In particular, we propose a "network decomposition" strategy, termed Group-Net, in which we divide the network into groups. Thus, each full-precision group can be effectively reconstructed by aggregating a set of homogeneous binary branches. In addition, we learn effective connections among groups to improve the representation capability. Moreover, the proposed Group-Net shows strong generalization to other tasks. For instance, we extend Group-Net for accurate semantic segmentation by embedding rich context into the binary structure. Furthermore, for the first time, we apply binary neural networks to object detection. Experiments on both classification, semantic segmentation and object detection tasks demonstrate the superior performance of the proposed methods over various quantized networks in the literature. Our methods outperform the previous best binary neural networks in terms of accuracy and computation efficiency.


title: Strapdown Attitude Computation: Functional Iterative Integration versus Taylor Series Expansion

abstract: This paper compares two basic approaches to solving ordinary differential equations, which form the basis for attitude computation in strapdown inertial navigation systems, namely, the Taylor series expansion approach that was used in its low-order form for deriving all mainstream algorithms and the functional iterative integration approach developed recently. They are respectively applied to solve the kinematic equations of major attitude parameters, including the quaternion, the Rodrigues vector and the rotation vector. Specifically, the mainstream algorithms, which have relied on the simplified rotation vector without exception, are considerably extended by the Taylor series expansion approach using the exact rotation vector and recursive calculation of high-order derivatives. The functional iterative integration approach is respectively implemented on both the normal polynomial and the Chebyshev polynomial. Numerical results under the classical coning motion are reported to assess all derived attitude algorithms. It is revealed that in the relative frequency range when the coning to sampling frequency ratio is below 0.05-0.1 (depending on the chosen polynomial truncation order), all algorithms have the same order of accuracy if the same number of samples are used to fit the angular velocity over the iteration interval; in the range of higher relative frequency, the group of Quat/Rod/RotFIter algorithms (by the functional iterative integration approach combined with the Chebyshev polynomial) perform the best in both accuracy and robustness, thanks to the excellent numerical stability and powerful functional representation capability of the Chebyshev polynomial.


title: Pushing Software-Defined Blockchain Components onto Edge Hosts

abstract: With the advent of blockchain technology, some management tasks of IoT networks can be moved from central systems to distributed validation authorities. Cloud-centric blockchain implementations for IoT have shown satisfactory performance. However, some features of blockchain are not necessary for IoT. For instance, a competitive consensus. This research presents the idea of customizing and encapsulating the features of blockchain into software-defined components to host them on edge devices. Thus, blockchain resources can be provisioned by edge devices (e-miners) working together closer to the things layer in a cooperative manner. This research uses Edison SoC as e-miners to test the software-defined blockchain components.


title: Distributed Dual Gradient Tracking for Resource Allocation in Unbalanced Networks

abstract: This paper proposes a distributed dual gradient tracking algorithm (DDGT) to solve resource allocation problems over an unbalanced network, where each node in the network holds a private cost function and computes the optimal resource by interacting only with its neighboring nodes. Our key idea is the novel use of the distributed push-pull gradient algorithm (PPG) to solve the dual problem of the resource allocation problem. To study the convergence of the DDGT, we first establish the sublinear convergence rate of PPG for non-convex objective functions, which advances the existing results on PPG as they require the strong-convexity of objective functions. Then we show that the DDGT converges linearly for strongly convex and Lipschitz smooth cost functions, and sublinearly without the Lipschitz smoothness. Finally, experimental results suggest that DDGT outperforms existing algorithms.


title: HAWKEYE: Adversarial Example Detector for Deep Neural Networks

abstract: Adversarial examples (AEs) are images that can mislead deep neural network (DNN) classifiers via introducing slight perturbations into original images. Recent work has shown that detecting AEs can be more effective against AEs than preventing them from being generated. However, the state-of-the-art AE detection still shows a high false positive rate, thereby rejecting a considerable amount of normal images. To address this issue, we propose HAWKEYE, which is a separate neural network that analyzes the output layer of the DNN, and detects AEs. HAWKEYE's AE detector utilizes a quantized version of an input image as a reference, and is trained to distinguish the variation characteristics of the DNN output on an input image from the DNN output on its reference image. We also show that cascading our AE detectors that are trained for different quantization step sizes can drastically reduce a false positive rate, while keeping a detection rate high.


title: Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach

abstract: This paper develops a controller synthesis approach for a multi-agent system (MAS) with intermittent communication. We adopt a leader-follower scheme, where a mobile leader with absolute position sensors switches among a set of followers without absolute position sensors to provide each follower with intermittent state information.We model the MAS as a switched system. The followers are to asymptotically reach a predetermined consensus state. To guarantee the stability of the switched system and the consensus of the followers, we derive maximum and minimal dwell-time conditions to constrain the intervals between consecutive time instants at which the leader should provide state information to the same follower. Furthermore, the leader needs to satisfy practical constraints such as charging its battery and staying in specific regions of interest. Both the maximum and minimum dwell-time conditions and these practical constraints can be expressed by metric temporal logic (MTL) specifications. We iteratively compute the optimal control inputs such that the leader satisfies the MTL specifications, while guaranteeing stability and consensus of the followers. We implement the proposed method on a case study with three mobile robots as the followers and one quadrotor as the leader.


title: Pseudo-invariant approach for a particle in a complex time-dependent linear potential

abstract: The Lewis and Riesenfeld method has been investigated, by Ramos et al in Ref.[1], for quantum systems governed by time-dependent PT symmetric Hamiltonians and particularly where the quantum system is a particle submitted to action of a complex time-dependent linear potential. We discuss the method they used and propose an alternative one which leads to physically acceptable uncertainty product and to complex x and p expectation values but describe the classical motion. We used, for this situation, a linear pseudo hermitian invariant operator which allow us to solve analytically the time-dependent Schr\"odinger equation for this problem and to construct a Gaussian wave packet solution. The normalization condition for the invariant eigenfunctions with the Dirac delta function is correctly obtained, contrary to what is stated in Ref.[1].


title: Apollonian coronas and a new Zeta function

abstract: We find a formula for the area of disks tangent to a given disk in an Apollonian disk packing (corona) in terms of a certain novel arithmetic Zeta function. The idea is based on "tangency spinors" defined for pairs of tangent disks.


title: From Data Disclosure to Privacy Nudges: A Privacy-aware and User-centric Personal Data Management Framework

abstract: Although there are privacy-enhancing tools designed to protect users' online privacy, it is surprising to see a lack of user-centric solutions allowing privacy control based on the joint assessment of privacy risks and benefits, due to data disclosure to multiple platforms. In this paper, we propose a conceptual framework to fill the gap: aiming at the user-centric privacy protection, we show the framework can not only assess privacy risks in using online services but also the added values earned from data disclosure. Through following a human-in-the-loop approach, it is expected the framework provides a personalized solution via preference learning, continuous privacy assessment, behavior monitoring and nudging. Finally, we describe a case study towards "leisure travelers" and several future areas to be studied in the ongoing project.


title: A Fractional Subgrid-scale Model for Turbulent Flows: Theoretical Formulation and a Priori Study

abstract: Coherent structures/motions in turbulence inherently give rise to intermittent signals with sharp peaks, heavy-skirt, and skewed distributions of velocity increments, highlighting the non-Gaussian nature of turbulence. That suggests that the spatial nonlocal interactions cannot be ruled out of the turbulence physics. Furthermore, filtering the Navier-Stokes equations in the large eddy simulation of turbulent flows would further enhance the existing nonlocality, emerging in the corresponding subgrid scale fluid motions. That urges the development of new nonlocal closure models, which respect the corresponding non-Gaussian statistics of the subgrid stochastic motions. To this end and starting from the filtered Boltzmann equation, we model the corresponding equilibrium distribution function with a \textit{L\'evy}-stable distribution, leading to the proposed fractional-order modeling of subgrid-scale stresses. We approximate the filtered equilibrium distribution function with a power-law term, and derive the corresponding filtered Navier-Stokes equations. Subsequently in our functional modeling, the divergence of subgrid-scale stresses emerges as a single-parameter fractional Laplacian, $(-\Delta)^{\alpha}(\cdot)$, $\alpha \in (0,1]$, of the filtered velocity field. The only model parameter, i.e., the fractional exponent, appears to be strictly depending on the filter-width and the flow Reynolds number. We furthermore explore the main physical and mathematical properties of the proposed model under a set of mild conditions. Finally, the introduced model undergoes \textit{a priori} evaluations based on the direct numerical simulation database of forced and decaying homogeneous isotropic turbulent flows at relatively high and moderate Reynolds numbers, respectively. Such analysis provides a comparative study of predictability and performance of the proposed fractional model.


title: Watch, Listen and Tell: Multi-modal Weakly Supervised Dense Event Captioning

abstract: Multi-modal learning, particularly among imaging and linguistic modalities, has made amazing strides in many high-level fundamental visual understanding problems, ranging from language grounding to dense event captioning. However, much of the research has been limited to approaches that either do not take audio corresponding to video into account at all, or those that model the audio-visual correlations in service of sound or sound source localization. In this paper, we present the evidence, that audio signals can carry surprising amount of information when it comes to high-level visual-lingual tasks. Specifically, we focus on the problem of weakly-supervised dense event captioning in videos and show that audio on its own can nearly rival performance of a state-of-the-art visual model and, combined with video, can improve on the state-of-the-art performance. Extensive experiments on the ActivityNet Captions dataset show that our proposed multi-modal approach outperforms state-of-the-art unimodal methods, as well as validate specific feature representation and architecture design choices.


title: To What Extent Does Downsampling, Compression, and Data Scarcity Impact Renal Image Analysis?

abstract: The condition of the Glomeruli, or filter sacks, in renal Direct Immunofluorescence (DIF) specimens is a critical indicator for diagnosing kidney diseases. A digital pathology system which digitizes a glass histology slide into a Whole Slide Image (WSI) and then automatically detects and zooms in on the glomeruli with a higher magnification objective will be extremely helpful for pathologists. In this paper, using glomerulus detection as the study case, we provide analysis and observations on several important issues to help with the development of Computer Aided Diagnostic (CAD) systems to process WSIs. Large image resolution, large file size, and data scarcity are always challenging to deal with. To this end, we first examine image downsampling rates in terms of their effect on detection accuracy. Second, we examine the impact of image compression. Third, we examine the relationship between the size of the training set and detection accuracy. To understand the above issues, experiments are performed on the state-of-the-art detectors: Faster R-CNN, R-FCN, Mask R-CNN and SSD. Critical findings are observed: (1) The best balance between detection accuracy, detection speed and file size is achieved at 8 times downsampling captured with a $40\times$ objective; (2) compression which reduces the file size dramatically, does not necessarily have an adverse effect on overall accuracy; (3) reducing the amount of training data to some extents causes a drop in precision but has a negligible impact on the recall; (4) in most cases, Faster R-CNN achieves the best accuracy in the glomerulus detection task. We show that the image file size of $40\times$ WSI images can be reduced by a factor of over 6000 with negligible loss of glomerulus detection accuracy.


title: Semi-supervised estimation of event temporal length for cell event detection

abstract: Cell event detection in cell videos is essential for monitoring of cellular behavior over extended time periods. Deep learning methods have shown great success in the detection of cell events for their ability to capture more discriminative features of cellular processes compared to traditional methods. In particular, convolutional long short-term memory (LSTM) models, which exploits the changes in cell events observable in video sequences, is the state-of-the-art for mitosis detection in cell videos. However, their limitations are the determination of the input sequence length, which is often performed empirically, and the need for a large annotated training dataset which is expensive to prepare. We propose a novel semi-supervised method of optimal length detection for mitosis detection with two key contributions: (i) an unsupervised step for learning the spatial and temporal locations of cells in their normal stage and approximating the distribution of temporal lengths of cell events and, (ii) a step of inferring, from that distribution, an optimal input sequence length and a minimal number of annotated frames for training a LSTM model for each particular video. We evaluated our method in detecting mitosis in densely packed stem cells in a phase-contrast microscopy videos. Our experimental data prove that increasing the input sequence length of LSTM can lead to a decrease in performance. Our results also show that by approximating the optimal input sequence length of the tested video, a model trained with only 18 annotated frames achieved F1-scores of 0.880-0.907, which are 10% higher than those of other published methods with a full set of 110 training annotated frames.


title: Error suppression in adiabatic quantum computing with qubit ensembles

abstract: Incorporating protection against quantum errors into adiabatic quantum computing (AQC) is an important task due to the inevitable presence of decoherence. Here we investigate an error-protected encoding of the AQC Hamiltonian, where qubit ensembles are used in place of qubits. Our Hamiltonian only involves total spin operators of the ensembles, offering a simpler route towards error-corrected quantum computing. Our scheme is particularly suited to neutral atomic gases where it is possible to realize large ensemble sizes and produce ensemble-ensemble entanglement. We identify a critical ensemble size $N_{\mathrm{c}}$ where the nature of the first excited state becomes a single particle perturbation of the ground state, and the gap energy is predictable by mean-field theory. For ensemble sizes larger than $N_{\mathrm{c}}$, the ground state becomes protected due to the presence of logically equivalent states and the AQC performance improves with $N$, as long as the decoherence rate is sufficiently low.


title: Pointwise persistence in full chemotaxis models with logistic source on bounded heterogeneous environments

abstract: The current paper is concerned with pointwise persistence in full chemotaxis models with local as well as nonlocal time and space dependent logistic source in bounded domains. We first prove the global existence and boundedness of nonnegative classical solutions under some conditions on the coefficients in the models. Next, under the same conditions on the coefficients, we show that pointwise { persistence} occurs, that is, any globally defined positive solution is bounded below by a positive constant independent of its initial condition when the time is large enough. It should be pointed out that in \cite{TaoWin15}, the authors established the persistence of mass for globally defined positive solutions, which indicates that any extinction phenomenon, if occurring at all, necessarily must be spatially local { in }nature, whereas the population as a whole always persists. The pointwise persistence proved in the current paper implies that not only the population as a whole persists, but also it persists at any location eventually. It also implies the existence of strictly positive entire solutions.


title: On $q$-poly-Bernoulli numbers arising from combinatorial interpretations

abstract: In this paper we present several natural $q$-analogues of the poly-Bernoulli numbers arising in combinatorial contexts. We also recall some relating analytical results and ask for combinatorial interpretations.


title: Ultrafast electron energy-loss spectroscopy in transmission electron microscopy

abstract: In the quest for dynamic multimodal probing of a material's structure and functionality, it is critical to be able to quantify the chemical state on the atomic and nanoscale using element specific electronic and structurally sensitive tools such as electron energy loss spectroscopy (EELS). Ultrafast EELF, with combined energy, time, and spatial resolution in a transmission electron microscope, has recently enabled transformative studies of photo excited nanostructure evolution and mapping of evanescent electromagnetic fields. This article aims to describe the state of the art experimental techniques in this emerging field and its major uses and future applications.


title: Essential dimension of the moduli stack of polarized K3 surfaces

abstract: We will calculate the essential dimension of the moduli stack of polarized K3 surfaces, including the positive char case.


title: On the simplest static and stationary vacuum quadrupolar metrics

abstract: In the present paper we argue that a special case of the Bach-Weyl metric describing a static configuration of two Schwarzschild black holes gives rise, after extending its parameter space to complex values, to a very simple 2-parameter model for the gravitational field of a static deformed mass. We compare this model, which has no restrictions on the quadrupole parameter, with the well-known Zipoy-Voorhees $\delta$-metric and show in particular that the mass quadrupole moment in the latter solution cannot take arbitrary negative values. We subsequently add an arbitrary angular momentum to our static model and study some properties of the resulting 3-parameter stationary solitonic spacetime, which permits us to introduce the notion of the Fodor-Hoenselaers-Perj\'es relativistic multipole moments.


title: Learning Visual Relation Priors for Image-Text Matching and Image Captioning with Neural Scene Graph Generators

abstract: Grounding language to visual relations is critical to various language-and-vision applications. In this work, we tackle two fundamental language-and-vision tasks: image-text matching and image captioning, and demonstrate that neural scene graph generators can learn effective visual relation features to facilitate grounding language to visual relations and subsequently improve the two end applications. By combining relation features with the state-of-the-art models, our experiments show significant improvement on the standard Flickr30K and MSCOCO benchmarks. Our experimental results and analysis show that relation features improve downstream models' capability of capturing visual relations in end vision-and-language applications. We also demonstrate the importance of learning scene graph generators with visually relevant relations to the effectiveness of relation features.


title: Stochastic model of business process decomposition

abstract: Decomposition is the basis of works dedicated to business process modelling at the stage of information and management systems analysis and design. The article shows that the business process decomposition can be represented as a Galton Watson branching stochastic process. This representation allows estimating the decomposition tree depth and the total amount of its elements, as well as explaining the empirical requirement for the business function decomposition (not more than 7 elements). The problem is deemed relevant as the obtained results allow objectively estimating the labor input in business process modelling.


title: On well-dominated graphs

abstract: A graph is \emph{well-dominated} if all of its minimal dominating sets have the same cardinality. We prove that at least one of the factors is well-dominated if the Cartesian product of two graphs is well-dominated. In addition, we show that the Cartesian product of two connected, triangle-free graphs is well-dominated if and only if both graphs are complete graphs of order $2$. Under the assumption that at least one of the connected graphs $G$ or $H$ has no isolatable vertices, we prove that the direct product of $G$ and $H$ is well-dominated if and only if either $G=H=K_3$ or $G=K_2$ and $H$ is either the $4$-cycle or the corona of a connected graph. Furthermore, we show that the disjunctive product of two connected graphs is well-dominated if and only if one of the factors is a complete graph and the other factor has domination number at most $2$.


title: Violations of the weak cosmic censorship conjecture in the higher dimensional $f(R)$ black holes with pressure

abstract: We adopt the energy momentum relation of charged particles to study the thermodynamics laws and weak cosmic censorship conjecture of $D$-dimensional $f(R)$ AdS black holes in different phase spaces by considering charged particle absorption. In the normal phase space, it turns out that the laws of thermodynamic and the weak cosmic censorship conjecture are valid. In the extended phase space, though the first law of thermodynamics is valid, the second law of thermodynamics is invalid. More interestingly, the weak cosmic censorship conjecture is shown to be violated only in higher-dimensional near-extremal $f(R)$ AdS black holes. In addition, the magnitudes of the violations for both the second law and weak cosmic censorship conjecture are dependent on the charge $Q$, constant scalar curvature $f'(R_0)$, AdS radius $l$, dimension parameters $p$, and their variations.


title: $\varepsilon$-regularity criteria in Lorentz spaces to the 3D Navier-Stokes equations

abstract: In this paper, we are concerned with regularity of suitable weak solutions of the 3D Navier-Stokes equations in Lorentz spaces. We obtain $\varepsilon$-regularity criteria in terms of either the velocity, the gradient of the velocity, the vorticity, or deformation tensor in Lorentz spaces. As an application, this allows us to extend the result involving Leray's blow up rate in time, and to show that the number of singular points of weak solutions belonging to $ L^{p,\infty}(-1,0;L^{q,l}(\mathbb{R}^{3})) $ and $ {2}/{p}+{3}/{q}=1$ with $3<q<\infty$ and $q\leq l <\infty$ is finite.


title: On the orthogonality and convolution orthogonality via the Kontorovich-Lebedev transform

abstract: Notions of the orthogonality and convolution orthogonality are explored with the use of the Kontorovich-Lebedev transform and its convolution. New classes of the corresponding orthogonal polynomials and functions are investigated. Integral representations, orthogonality relations and explicit expressions are established.


title: Polyharmonic Almost Complex Structures

abstract: In this paper we consider the existence and regularity of weakly polyharmonic almost complex structures on a compact almost Hermitian manifold $M^{2m}$. Such objects satisfy the elliptic system weakly $[J, \Delta^m J]=0$. We prove a very general regularity theorem for semilinear systems in critical dimensions (with \emph{critical growth nonlinearities}). In particular we prove that weakly biharmonic almost complex structures are smooth in dimension four.


title: New regularity criteria based on pressure or gradient of velocity in Lorentz spaces for the 3D Navier-Stokes equations

abstract: In this paper, we derive regular criteria via pressure or gradient of the velocity in Lorentz spaces to the 3D Navier-Stokes equations. It is shown that a Leray-Hopf weak solution is regular on $(0,T]$ provided that either the norm $\|\Pi\|_{L^{p,\infty}(0,T; L ^{q,\infty}(\mathbb{R}^{3}))} $ with $ {2}/{p}+{3}/{q}=2$ $({3}/{2}<q<\infty)$ or $\|\nabla\Pi\|_{L^{p,\infty}(0,T; L ^{q,\infty}(\mathbb{R}^{3}))} $ with $ {2}/{p}+{3}/{q}=3$ $(1<q<\infty)$ is small. This gives an affirmative answer to a question proposed by Suzuki in [26, Remark 2.4, p.3850]. Moreover, regular conditions in terms of $\nabla u$ obtained here generalize known ones to allow the time direction to belong to Lorentz spaces.


title: FlatteNet: A Simple Versatile Framework for Dense Pixelwise Prediction

abstract: In this paper, we focus on devising a versatile framework for dense pixelwise prediction whose goal is to assign a discrete or continuous label to each pixel for an image. It is well-known that the reduced feature resolution due to repeated subsampling operations poses a serious challenge to Fully Convolutional Network (FCN) based models. In contrast to the commonly-used strategies, such as dilated convolution and encoder-decoder structure, we introduce the Flattening Module to produce high-resolution predictions without either removing any subsampling operations or building a complicated decoder module. In addition, the Flattening Module is lightweight and can be easily combined with any existing FCNs, allowing the model builder to trade off among model size, computational cost and accuracy by simply choosing different backbone networks. We empirically demonstrate the effectiveness of the proposed Flattening Module through competitive results in human pose estimation on MPII, semantic segmentation on PASCAL-Context and object detection on PASCAL VOC. We hope that the proposed approach can serve as a simple and strong alternative of current dominant dense pixelwise prediction frameworks.


title: Adapting Language Models for Non-Parallel Author-Stylized Rewriting

abstract: Given the recent progress in language modeling using Transformer-based neural models and an active interest in generating stylized text, we present an approach to leverage the generalization capabilities of a language model to rewrite an input text in a target author's style. Our proposed approach adapts a pre-trained language model to generate author-stylized text by fine-tuning on the author-specific corpus using a denoising autoencoder (DAE) loss in a cascaded encoder-decoder framework. Optimizing over DAE loss allows our model to learn the nuances of an author's style without relying on parallel data, which has been a severe limitation of the previous related works in this space. To evaluate the efficacy of our approach, we propose a linguistically-motivated framework to quantify stylistic alignment of the generated text to the target author at lexical, syntactic and surface levels. The evaluation framework is both interpretable as it leads to several insights about the model, and self-contained as it does not rely on external classifiers, e.g. sentiment or formality classifiers. Qualitative and quantitative assessment indicates that the proposed approach rewrites the input text with better alignment to the target style while preserving the original content better than state-of-the-art baselines.


title: Constant sign solutions for double phase problems with superlinear nonlinearity

abstract: We study parametric double phase problems involving superlinear nonlinearities with a growth that need not necessarily be polynomial. Based on truncation and comparison methods the existence of two constant sign solutions is shown provided the parameter is larger than the first eigenvalue of the $p$-Laplacian. As a result of independent interest we prove a priori estimates for solutions for a general class of double phase problems with convection term.


title: On Controlled DeEntanglement for Natural Language Processing

abstract: Latest addition to the toolbox of human species is Artificial Intelligence(AI). Thus far, AI has made significant progress in low stake low risk scenarios such as playing Go and we are currently in a transition toward medium stake scenarios such as Visual Dialog. In my thesis, I argue that we need to incorporate controlled de-entanglement as first class object to succeed in this transition. I present mathematical analysis from information theory to show that employing stochasticity leads to controlled de-entanglement of relevant factors of variation at various levels. Based on this, I highlight results from initial experiments that depict efficacy of the proposed framework. I conclude this writeup by a roadmap of experiments that show the applicability of this framework to scalability, flexibility and interpretibility.


title: DHX36-mediated G-quadruplex unfolding is ATP-independent?

abstract: Chen et al. solved the crystal structure of bovine DHX36 bound to a DNA with a G-quadruplex (G4) and a single-stranded DNA segment. They believed that the mechanism they proposed may represent a general model for describing how a G4-unfolding helicase recognizes and unfolds G4 DNA. Their conclusion is interesting, however, we noticed that their linear DNA substrate (DNAMyc) that harbors a Myc-promoter-derived G4-forming sequence was directly used without pre-folding. This raises the question whether the structure they obtained really reflects DHX36-mediated G4 recognition and unfolding, or just only represents a DHX36-binding-induced quasi-folded G4 structure. By a combination of polymerase extension, DMS footprinting, stopped-flow, and smFRET assays, we obtained clear evidences that do not support their ATP-independent one-base translocation structural model. We further revealed that the oscillation of FRET signal they observed should correspond to a repetitive G4 binding, but not unfolding, by DHX36.


title: Regular Bernstein blocks

abstract: For a connected reductive group $G$ defined over a non-archimedean local field $F$, we consider the Bernstein blocks in the category of smooth representations of $G(F)$. Bernstein blocks whose cuspidal support involves a regular supercuspidal representation are called $\textit{regular}$ Bernstein blocks. Most Bernstein blocks are regular when the residual characteristic of $F$ is not too small. Under mild hypotheses on the residual characteristic, we show that the Bernstein center of a regular Bernstein block of $G(F)$ is isomorphic to the Bernstein center of a regular depth-zero Bernstein block of $G^{0}(F)$, where $G^{0}$ is a certain twisted Levi subgroup of $G$. In some cases, we show that the blocks themselves are equivalent, and as a consequence we prove the ABPS Conjecture in some new cases.


title: Statistical mechanics of integrable quantum spin systems

abstract: This script is based on the notes the author prepared to give a set of six lectures at the Les Houches School "Integrability in Atomic and Condensed Matter Physics" in the summer of 2018. The school had its focus on the application of integrability based methods to problems in non-equilibrium statistical mechanics. The lectures were meant to complement this subject with background material on the equilibrium statistical mechanics of quantum spin chains from a vertex model perspective. The author was asked to provide a minimal introduction to quantum spin systems including notions like the reduced density matrix and correlation functions of local observables. He was further asked to explain the graphical language of vertex models and to introduce the concepts of the Trotter decomposition and the quantum transfer matrix. This was basically the contents of the first four lectures presented at the school. In the remaining two lectures these notions were filled with life by deriving an integral representation of the free energy per lattice site for the Heisenberg-Ising chain (alias XXZ model) using techniques based on non-linear integral equations.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Phase Transition of the Horava-Lifshitz AdS black holes

abstract: Some ones have showed the first-order phase transition of the Horava-Lifshitz (HL) AdS black holes has unique characters from other AdS black holes. While the coexistence zone of the first-order phase transition was not exhibited. As well known the coexistence curve of a black hole carries a lot of information about black hole, which provides a powerful diagnostic of the thermodynamic properties on black hole. We study the first-order phase transition coexistence curves of the HL AdS black holes by the Maxwell's equal-area law, and give the boundary of two-phase coexistence zone. It is very interesting that the first-order phase transition point is determined by the pressure F on the surface of the HL AdS black hole's horizon, instead of only the pressure P (or the temperature T). This unique property distinguishes the HL AdS black hole from the other AdS black hole systems. Furthermore, this black hole system have the critical curves, and on which every point stands for a critical point.


title: Classification in asymmetric spaces via sample compression

abstract: We initiate the rigorous study of classification in quasi-metric spaces. These are point sets endowed with a distance function that is non-negative and also satisfies the triangle inequality, but is asymmetric. We develop and refine a learning algorithm for quasi-metrics based on sample compression and nearest neighbor, and prove that it has favorable statistical properties.


title: Experimental realization of nonadiabatic geometric gates with a superconducting Xmon qubit

abstract: Geometric phases are only dependent on evolution paths but independent of evolution details so that they own some intrinsic noise-resilience features. Based on different geometric phases, various quantum gates have been proposed, such as nonadiabatic geometric gates based on nonadiabatic Abelian geometric phases and nonadiabatic holonomic gates based on nonadiabatic non-Abelian geometric phases. Up to now, nonadiabatic holonomic one-qubit gates have been experimentally demonstrated with the supercondunting transmon, where three lowest levels with cascaded configuration are all applied in the operation. However, the second excited states of transmons have relatively short coherence time, which results in a lessened fidelity of quantum gates. Here, we experimentally realize Abelian-geometric-phase-based nonadiabatic geometric one-qubit gates with a superconducting Xmon qubit. The realization is performed on two lowest levels of an Xmon qubit and thus avoids the influence from the short coherence time of the second excited state. The experimental result indicates that the average fidelities of single-qubit gates can be up to 99.6% and 99.7% characterized by quantum process tomography and randomized benchmarking, respectively.


title: Contractivity of Runge-Kutta methods for convex gradient systems

abstract: We consider the application of Runge-Kutta (RK) methods to gradient systems $(d/dt)x = -\nabla V(x)$, where, as in many optimization problems, $V$ is convex and $\nabla V$ (globally) Lipschitz-continuous with Lipschitz constant $L$. Solutions of this system behave contractively, i.e. the Euclidean distance between two solutions $x(t)$ and $\widetilde{x}(t)$ is a nonincreasing function of $t$. It is then of interest to investigate whether a similar contraction takes place, at least for suitably small step sizes $h$, for the discrete solution. Dahlquist and Jeltsch results' imply that (1) there are explicit RK schemes that behave contractively whenever $Lh$ is below a scheme-dependent constant and (2) Euler's rule is optimal in this regard. We prove however, by explicit construction of a convex potential using ideas from robust control theory, that there exists RK schemes that fail to behave contractively for any choice of the time-step $h$.


title: The Chekanov torus in $S^2\times S^2$ is not real

abstract: We prove that the count of Maslov index 2 $J$-holomorphic discs passing through a generic point of a real Lagrangian submanifold in a closed spherically monotone symplectic manifold must be even. As a corollary, we exhibit a genuine real symplectic phenomenon in terms of involutions, namely that the Chekanov torus $\mathbb{T}_{\text{Chek}}$ in $S^2\times S^2$, which is a monotone Lagrangian torus not Hamiltonian isotopic to the Clifford torus $\mathbb{T}_{\text{Clif}}$, can be seen as the fixed point set of a smooth involution, but not of an antisymplectic involution.


title: Angular x-ray cross-correlation analysis (AXCCA): Basic concepts and recent applications to soft matter and nanomaterials

abstract: Angular x-ray cross-correlation analysis (AXCCA) is a technique which allows quantitative measurement of the angular anisotropy of x-ray diffraction patterns and provides insights into the orientational order in the system under investigation. This method is based on the evaluation of the angular cross-correlation function of the scattered intensity distribution on a two-dimensional (2D) detector and further averaging over many diffraction patterns for enhancement of the anisotropic signal. Over the last decade, AXCCA was successfully used to study the anisotropy in various soft matter systems, such as solutions of anisometric particles, liquid crystals, colloidal crystals, superlattices composed by nanoparticles, etc. This review provides an introduction to the technique and gives a survey of the recent experimental work in which AXCCA in combination with micro- or nanofocused x-ray microscopy was used to study the orientational order in various soft matter systems.


title: LoGANv2: Conditional Style-Based Logo Generation with Generative Adversarial Networks

abstract: Domains such as logo synthesis, in which the data has a high degree of multi-modality, still pose a challenge for generative adversarial networks (GANs). Recent research shows that progressive training (ProGAN) and mapping network extensions (StyleGAN) enable both increased training stability for higher dimensional problems and better feature separation within the embedded latent space. However, these architectures leave limited control over shaping the output of the network, which is an undesirable trait in the case of logo synthesis. This paper explores a conditional extension to the StyleGAN architecture with the aim of firstly, improving on the low resolution results of previous research and, secondly, increasing the controllability of the output through the use of synthetic class-conditions. Furthermore, methods of extracting such class conditions are explored with a focus on the human interpretability, where the challenge lies in the fact that, by nature, visual logo characteristics are hard to define. The introduced conditional style-based generator architecture is trained on the extracted class-conditions in two experiments and studied relative to the performance of an unconditional model. Results show that, whilst the unconditional model more closely matches the training distribution, high quality conditions enabled the embedding of finer details onto the latent space, leading to more diverse output.


title: Electrostatic shielding versus anode-proximity effect in large area field emitters

abstract: Field emisison of electrons crucially depends on the enhancement of the local electric field around nanotips. The enhancement is maximum when individual emitter-tips are well separated. As the distance between two or more nanotips decreases, the field enhancement at individual tips reduces due to the shielding effect. The anode-proximity effect acts in quite the opposite way, increasing the local field as the anode is brought closer to the emitter. For isolated emitters, this effect is pronounced when the anode is at a distance less than three times the height of the emitter. It is shown here that for a large area field emitter (LAFE), the anode proximity effect increases dramatically and can counterbalance shielding effects to a large extent. Also, it is significant even when the anode is far away. The apex field enhancement factor for a LAFE in the presence of an anode is derived using the line charge model. It is found to explain the observations well and can accurately predict the apex enhancement factors. The results are supported by numerical studies using COMSOL Multiphysics.


title: A discretized version of Krylov's estimate and its applications

abstract: In this paper we prove a discretized version of Krylov's estimate for discretized It\^o's processes. As applications, we study the weak and strong convergences for Euler's approximation of mean-field SDEs with measurable discontinuous and linear growth coefficients. Moreover, we also show the propagation of chaos for Euler's approximation of mean-field SDEs.


title: The Charge of Electron, Weak Gravity Conjecture and Black Hole Evolution

abstract: The charge of an electron is vastly larger than its mass. We found that black hole evolution under Hawking evaporation is very sensitive to the value of electron charge. If the electron charge is weakened by a mere one order of magnitude, then the evolutionary paths of Reissner-Nordstr\"om black holes under Hawking evaporation change substantially. In particular, weakening the electron charge causes some black holes that would otherwise immediately discharge towards Schwarzschild limit to first evolve towards extremality before turning around. We discuss the possible connections between the weak gravity conjecture, the cosmic censorship conjecture, and black hole evolution.


title: Minimal Learning Machine: Theoretical Results and Clustering-Based Reference Point Selection

abstract: The Minimal Learning Machine (MLM) is a nonlinear supervised approach based on learning a linear mapping between distance matrices computed in the input and output data spaces, where distances are calculated using a subset of points called reference points. Its simple formulation has attracted several recent works on extensions and applications. In this paper, we aim to address some open questions related to the MLM. First, we detail theoretical aspects that assure the interpolation and universal approximation capabilities of the MLM, which were previously only empirically verified. Second, we identify the task of selecting reference points as having major importance for the MLM's generalization capability. Several clustering-based methods for reference point selection in regression scenarios are then proposed and analyzed. Based on an extensive empirical evaluation, we conclude that the evaluated methods are both scalable and useful. Specifically, for a small number of reference points, the clustering-based methods outperformed the standard random selection of the original MLM formulation.


title: Variational Conditional GAN for Fine-grained Controllable Image Generation

abstract: In this paper, we propose a novel variational generator framework for conditional GANs to catch semantic details for improving the generation quality and diversity. Traditional generators in conditional GANs simply concatenate the conditional vector with the noise as the input representation, which is directly employed for upsampling operations. However, the hidden condition information is not fully exploited, especially when the input is a class label. Therefore, we introduce a variational inference into the generator to infer the posterior of latent variable only from the conditional input, which helps achieve a variable augmented representation for image generation. Qualitative and quantitative experimental results show that the proposed method outperforms the state-of-the-art approaches and achieves the realistic controllable images.


title: Complete Quantum-State Tomography with a Local Random Field

abstract: Single-qubit measurements are typically insufficient for inferring arbitrary quantum states of a multi-qubit system. We show that if the system can be fully controlled by driving a single qubit, then utilizing a local random pulse is almost always sufficient for complete quantum-state tomography. Experimental demonstrations of this principle are presented using a nitrogen-vacancy (NV) center in diamond coupled to a nuclear spin, which is not directly accessible. We report the reconstruction of a highly entangled state between the electron and nuclear spin with fidelity above 95%, by randomly driving and measuring the NV-center electron spin only. Beyond quantum-state tomography, we outline how this principle can be leveraged to characterize and control quantum processes in cases where the system model is not known.


title: The Attractor of Evaporating Reissner-Nordstr\"om Black Holes

abstract: Hiscock and Weems showed that there is an attractor behavior in the evolution of asymptotically flat Reissner-Nordstr\"om black hole under Hawking evaporation. If the initial charge-to-mass ratio $Q/M$ of the black hole is relatively small, then the ratio first increases until the black hole hits the attractor, and then starts to discharge towards the Schwarzschild limit. Sufficiently charged black holes, on the other hand, simply discharge steadily towards the Schwarzschild limit. In this work we further investigate the nature of the attractor, and found that it is characterized by the mass loss rate being equal to the charge loss rate. The attractor is not necessarily related to the specific heat in a general evaporating black hole spacetime, but for the Reissner-Nordstr\"om case part of the attractor lies very close to the boundary of the region where specific heat changes sign.


title: Incompressible Euler equations with stochastic forcing: a geometric approach

abstract: We consider stochastic versions of Euler--Arnold equations using the infinite-dimensional geometric approach as pioneered by Ebin and Marsden. For the Euler equation on a compact manifold (possibly with smooth boundary) we establish local existence and uniqueness of a strong solution (in the stochastic sense) in spaces of Sobolev mappings (of high enough regularity). Our approach combines techniques from stochastic analysis and infinite-dimensional geometry and provides a novel toolbox to establish local well-posedness of stochastic Euler--Arnold equations.


title: Multiplicative renormalizability of Yang-Mills theory with the background field method in the BV-formalism

abstract: Studying the gauge-invariant renormalizability of four-dimensional Yang-Mills theory using the background field method and the BV-formalism, we derive a classical master-equation homogeneous with respect to the antibracket by introducing antifield partners to the background fields and parameters. The constructed model can be renormalized by the standard method of introducing counterterms. This model does not have (exact) multiplicative renormalizability but it does have this property in the physical sector (quasimultiplicative renormalizability).


title: On the Characterization of $1$-sided error Strongly-Testable Graph Properties for bounded-degree graphs, including an appendix

abstract: We study property testing of (di)graph properties in bounded-degree graph models. The study of graph properties in bounded-degree models is one of the focal directions of research in property testing in the last 15 years. However, despite of the many results and the extensive research effort, there is no characterization of the properties that are strongly-testable (i.e., testable with constant query complexity) even for $1$-sided error tests. The bounded-degree model can naturally be generalized to directed graphs resulting in two models that were considered in the literature. The first contains the directed graphs in which the outdegree is bounded but the indegree is not restricted. In the other, both the outdegree and indegree are bounded. We give a characterization of the $1$-sided error strongly-testable {\em monotone} graph properties, and the $1$-sided error strongly-testable {\em hereditary} graph properties in all the bounded-degree directed and undirected graphs models.