title: Maximal symmetry and mass generation of Dirac fermions and gravitational gauge field theory in six-dimensional spacetime

abstract: The relativistic Dirac equation in four-dimensional spacetime reveals a coherent relation between the dimensions of spacetime and the degrees of freedom of fermionic spinors. A massless Dirac fermion generates new symmetries corresponding to chirality spin and charge spin as well as conformal scaling transformations. With the introduction of intrinsic W-parity, a massless Dirac fermion can be treated as a Majorana-type or Weyl-type spinor in a six-dimensional spacetime that reflects the intrinsic quantum numbers of chirality spin. A generalized Dirac equation is obtained in the six-dimensional spacetime with a maximal symmetry. Based on the framework of gravitational quantum field theory proposed in Ref. \cite{YLWU} with the postulate of gauge invariance and coordinate independence, we arrive at a maximally symmetric gravitational gauge field theory for the massless Dirac fermion in six-dimensional spacetime. Such a theory is governed by the local spin gauge symmetry SP(1,5) and the global Poincar\'e symmetry P(1,5)= SO(1,5)$\ltimes P^{1,5} $ as well as the charge spin gauge symmetry SU(2). The theory leads to the prediction of doubly electrically charged bosons. A scalar field and conformal scaling gauge field are introduced to maintain both global and local conformal scaling symmetries. A generalized gravitational Dirac equation for the massless Dirac fermion is derived in the six-dimensional spacetime. The equations of motion for gauge fields are obtained with conserved currents in the presence of gravitational effects. The dynamics of the gauge-type gravifield as a Goldstone-like boson is shown to be governed by a conserved energy-momentum tensor, and its symmetric part provides a generalized Einstein equation of gravity. An alternative geometrical symmetry breaking mechanism for the mass generation of Dirac fermions is demonstrated.


title: Unitaries Permuting Two Orthogonal Projections

abstract: Let $P$ and $Q$ be two orthogonal projections on a separable Hilbert space, $\calH$. Wang, Du and Dou proved that there exists a unitary, $U$, with $UPU^{-1} =Q, \quad UQU^{-1} = P$ if and only if $\dim(\ker P \cap \ker(1-Q)) = \dim(\ker Q \cap \ker(1-P))$ (both may be infinite). We provide a new proof using the supersymmetric machinery of Avron, Seiler and Simon.


title: Distributed Kalman filtering with minimum-time consensus algorithm

abstract: Fueled by applications in sensor networks, these years have witnessed a surge of interest in distributed estimation and filtering. A new approach is hereby proposed for the Distributed Kalman Filter (DKF) by integrating a local covariance computation scheme. Compared to existing well-established DKF methods, the virtue of the present approach lies in accelerating the convergence of the state estimates to those of the Centralized Kalman Filter (CKF). Meanwhile, an algorithm is proposed that allows each node to compute the averaged measurement noise covariance matrix within a minimal discrete-time running steps in a distributed way. Both theoretical analysis and extensive numerical simulations are conducted to show the feasibility and superiority of the proposed method.


title: Existence and uniqueness results for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary time scales

abstract: Using a fixed point theorem in a proper Banach space, we prove existence and uniqueness results of positive solutions for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers.


title: Free electron lasers assisted by pseudo energy bands

abstract: We propose a new scheme for high gain harmonic generation free electron lasers (HGHG FELs), which is seeded by a pair of intersecting laser beams to interact with an electron beam in a modulator undulator located in a dispersive section. The interference of the laser beams gives rise to a two-dimensional modulation in the energy-time phase space because of a strong correlation between the electron energy and the position in the direction of dispersion. This eventually forms pseudo energy bands in the electron beam, which results in efficient harmonic generation in HGHG FELs in a similar manner to the well-known scheme using the echo effects, with the requirement on the energy modulation being much more relaxed.


title: Convergence of adaptive compression methods for Hartree-Fock-like equations

abstract: The adaptively compressed exchange (ACE) method provides an efficient way for solving Hartree-Fock-like equations in quantum physics, chemistry, and materials science. The key step of the ACE method is to adaptively compress an operator that is possibly dense and full-rank. In this paper, we present a detailed study of the adaptive compression operation and establish rigorous convergence properties of the adaptive compression method in the context of solving linear eigenvalue problems. Our analysis also elucidates the potential use of the adaptive compression method in a wide range of problems.


title: Relaxing state-access constraints in stateful programmable data planes

abstract: Supporting the programming of stateful packet forwarding functions in hardware has recently attracted the interest of the research community. When designing such switching chips, the challenge is to guarantee the ability to program functions that can read and modify data plane's state, while keeping line rate performance and state consistency. Current state-of-the-art designs are based on a very conservative all-or-nothing model: programmability is limited only to those functions that are guaranteed to sustain line rate, with any traffic workload. In effect, this limits the maximum time to execute state update operations. In this paper, we explore possible options to relax these constraints by using simulations on real traffic traces. We then propose a model in which functions can be executed in a larger but bounded time, while preventing data hazards with memory locking. We present results showing that such flexibility can be supported with little or no throughput degradation.


title: Detecting the Hate Code on Social Media

abstract: Social media has become an indispensable part of the everyday lives of millions of people around the world. It provides a platform for expressing opinions and beliefs, communicated to a massive audience. However, this ease with which people can express themselves has also allowed for the large scale spread of propaganda and hate speech. To prevent violating the abuse policies of social media platforms and also to avoid detection by automatic systems like Google's Conversation AI, racists have begun to use a code (a movement termed Operation Google). This involves substituting references to communities by benign words that seem out of context, in hate filled posts or Tweets. For example, users have used the words Googles and Bings to represent the African-American and Asian communities, respectively. By generating the list of users who post such content, we move a step forward from classifying tweets by allowing us to study the usage pattern of these concentrated set of users.


title: On Convergence Rate of a Continuous-Time Distributed Self-Appraisal Model with Time-Varying Relative Interaction Matrices

abstract: This paper studies a recently proposed continuous-time distributed self-appraisal model with time-varying interactions among a network of $n$ individuals which are characterized by a sequence of time-varying relative interaction matrices. The model describes the evolution of the social-confidence levels of the individuals via a reflected appraisal mechanism in real time. We first show by example that when the relative interaction matrices are stochastic (not doubly stochastic), the social-confidence levels of the individuals may not converge to a steady state. We then show that when the relative interaction matrices are doubly stochastic, the $n$ individuals' self-confidence levels will all converge to $1/n$, which indicates a democratic state, exponentially fast under appropriate assumptions, and provide an explicit expression of the convergence rate.


title: Tensor network and ($p$-adic) AdS/CFT

abstract: We use the tensor network living on the Bruhat-Tits tree to give a concrete realization of the recently proposed $p$-adic AdS/CFT correspondence (a holographic duality based on the $p$-adic number field $\mathbb{Q}_p$). Instead of assuming the $p$-adic AdS/CFT correspondence, we show how important features of AdS/CFT such as the bulk operator reconstruction and the holographic computation of boundary correlators are automatically implemented in this tensor network.


title: Look into Person: Self-supervised Structure-sensitive Learning and A New Benchmark for Human Parsing

abstract: Human parsing has recently attracted a lot of research interests due to its huge application potentials. However existing datasets have limited number of images and annotations, and lack the variety of human appearances and the coverage of challenging cases in unconstrained environment. In this paper, we introduce a new benchmark "Look into Person (LIP)" that makes a significant advance in terms of scalability, diversity and difficulty, a contribution that we feel is crucial for future developments in human-centric analysis. This comprehensive dataset contains over 50,000 elaborately annotated images with 19 semantic part labels, which are captured from a wider range of viewpoints, occlusions and background complexity. Given these rich annotations we perform detailed analyses of the leading human parsing approaches, gaining insights into the success and failures of these methods. Furthermore, in contrast to the existing efforts on improving the feature discriminative capability, we solve human parsing by exploring a novel self-supervised structure-sensitive learning approach, which imposes human pose structures into parsing results without resorting to extra supervision (i.e., no need for specifically labeling human joints in model training). Our self-supervised learning framework can be injected into any advanced neural networks to help incorporate rich high-level knowledge regarding human joints from a global perspective and improve the parsing results. Extensive evaluations on our LIP and the public PASCAL-Person-Part dataset demonstrate the superiority of our method.


title: Trace theorem for quasi-Fuchsian groups

abstract: We complete the proof of the Trace Theorem in the quantized calculus for quasi-Fuchsian group which was stated and sketched, but not fully proved, on pp. 322-325 in the book "Noncommutative Geometry" of the first author.


title: Lectures on the Infrared Structure of Gravity and Gauge Theory

abstract: This is a redacted transcript of a course given by the author at Harvard in spring semester 2016. It contains a pedagogical overview of recent developments connecting the subjects of soft theorems, the memory effect and asymptotic symmetries in four-dimensional QED, nonabelian gauge theory and gravity with applications to black holes. The lectures may be viewed online at https://goo.gl/3DJdOr. Please send typos or corrections to strominger@physics.harvard.edu.

categories: hep-th astro-ph.HE gr-qc hep-ph math-ph math.MP


title: Minimax Regret Bounds for Reinforcement Learning

abstract: We consider the problem of provably optimal exploration in reinforcement learning for finite horizon MDPs. We show that an optimistic modification to value iteration achieves a regret bound of $\tilde{O}( \sqrt{HSAT} + H^2S^2A+H\sqrt{T})$ where $H$ is the time horizon, $S$ the number of states, $A$ the number of actions and $T$ the number of time-steps. This result improves over the best previous known bound $\tilde{O}(HS \sqrt{AT})$ achieved by the UCRL2 algorithm of Jaksch et al., 2010. The key significance of our new results is that when $T\geq H^3S^3A$ and $SA\geq H$, it leads to a regret of $\tilde{O}(\sqrt{HSAT})$ that matches the established lower bound of $\Omega(\sqrt{HSAT})$ up to a logarithmic factor. Our analysis contains two key insights. We use careful application of concentration inequalities to the optimal value function as a whole, rather than to the transitions probabilities (to improve scaling in $S$), and we define Bernstein-based "exploration bonuses" that use the empirical variance of the estimated values at the next states (to improve scaling in $H$).


title: Standard Zero-Free Regions for Rankin--Selberg L-Functions via Sieve Theory

abstract: We give a simple proof of a standard zero-free region in the $t$-aspect for the Rankin--Selberg $L$-function $L(s,\pi \times \widetilde{\pi})$ for any unitary cuspidal automorphic representation $\pi$ of $\mathrm{GL}_n(\mathbb{A}_F)$ that is tempered at every nonarchimedean place outside a set of Dirichlet density zero.


title: Refining Image Categorization by Exploiting Web Images and General Corpus

abstract: Studies show that refining real-world categories into semantic subcategories contributes to better image modeling and classification. Previous image sub-categorization work relying on labeled images and WordNet's hierarchy is not only labor-intensive, but also restricted to classify images into NOUN subcategories. To tackle these problems, in this work, we exploit general corpus information to automatically select and subsequently classify web images into semantic rich (sub-)categories. The following two major challenges are well studied: 1) noise in the labels of subcategories derived from the general corpus; 2) noise in the labels of images retrieved from the web. Specifically, we first obtain the semantic refinement subcategories from the text perspective and remove the noise by the relevance-based approach. To suppress the search error induced noisy images, we then formulate image selection and classifier learning as a multi-class multi-instance learning problem and propose to solve the employed problem by the cutting-plane algorithm. The experiments show significant performance gains by using the generated data of our way on both image categorization and sub-categorization tasks. The proposed approach also consistently outperforms existing weakly supervised and web-supervised approaches.


title: Efficient Online Learning for Optimizing Value of Information: Theory and Application to Interactive Troubleshooting

abstract: We consider the optimal value of information (VoI) problem, where the goal is to sequentially select a set of tests with a minimal cost, so that one can efficiently make the best decision based on the observed outcomes. Existing algorithms are either heuristics with no guarantees, or scale poorly (with exponential run time in terms of the number of available tests). Moreover, these methods assume a known distribution over the test outcomes, which is often not the case in practice. We propose an efficient sampling-based online learning framework to address the above issues. First, assuming the distribution over hypotheses is known, we propose a dynamic hypothesis enumeration strategy, which allows efficient information gathering with strong theoretical guarantees. We show that with sufficient amount of samples, one can identify a near-optimal decision with high probability. Second, when the parameters of the hypotheses distribution are unknown, we propose an algorithm which learns the parameters progressively via posterior sampling in an online fashion. We further establish a rigorous bound on the expected regret. We demonstrate the effectiveness of our approach on a real-world interactive troubleshooting application and show that one can efficiently make high-quality decisions with low cost.


title: Minimal Representations of Lie Algebras With Non-Trivial Levi Decomposition

abstract: We obtain minimal dimension matrix representations for each of the Lie algebras of dimension five, six, seven, and eight obtained by Turkowski that have a non-trivial Levi decomposition. The Key technique involves using subspace associated to a particular representation of semi-simple Lie algebra to help in the construction of the radical in the putative Levi decomposition.


title: High-quality two-nucleon potentials up to fifth order of the chiral expansion

abstract: We present NN potentials through five orders of chiral effective field theory ranging from leading order (LO) to next-to-next-to-next-to-next-to-leading order (N4LO). The construction may be perceived as consistent in the sense that the same power counting scheme as well as the same cutoff procedures are applied in all orders. Moreover, the long-range parts of these potentials are fixed by the very accurate pi-N LECs as determined in the Roy-Steiner equations analysis by Hoferichter, Ruiz de Elvira and coworkers. In fact, the uncertainties of these LECs are so small that a variation within the errors leads to effects that are essentially negligible, reducing the error budget of predictions considerably. The NN potentials are fit to the world NN data below pion-production threshold of the year of 2016. The potential of the highest order (N4LO) reproduces the world NN data with the outstanding chi^2/datum of 1.15, which is the highest precision ever accomplished for any chiral NN potential to date. The NN potentials presented may serve as a solid basis for systematic ab initio calculations of nuclear structure and reactions that allow for a comprehensive error analysis. In particular, the consistent order by order development of the potentials will make possible a reliable determination of the truncation error at each order. Our family of potentials is non-local and, generally, of soft character. This feature is reflected in the fact that the predictions for the triton binding energy (from two-body forces only) converges to about 8.1 MeV at the highest orders. This leaves room for three-nucleon-force contributions of moderate size.


title: Ranking Based Locality Sensitive Hashing Enabled Cancelable Biometrics: Index-of-Max Hashing

abstract: In this paper, we propose a ranking based locality sensitive hashing inspired two-factor cancelable biometrics, dubbed "Index-of-Max" (IoM) hashing for biometric template protection. With externally generated random parameters, IoM hashing transforms a real-valued biometric feature vector into discrete index (max ranked) hashed code. We demonstrate two realizations from IoM hashing notion, namely Gaussian Random Projection based and Uniformly Random Permutation based hashing schemes. The discrete indices representation nature of IoM hashed codes enjoy serveral merits. Firstly, IoM hashing empowers strong concealment to the biometric information. This contributes to the solid ground of non-invertibility guarantee. Secondly, IoM hashing is insensitive to the features magnitude, hence is more robust against biometric features variation. Thirdly, the magnitude-independence trait of IoM hashing makes the hash codes being scale-invariant, which is critical for matching and feature alignment. The experimental results demonstrate favorable accuracy performance on benchmark FVC2002 and FVC2004 fingerprint databases. The analyses justify its resilience to the existing and newly introduced security and privacy attacks as well as satisfy the revocability and unlinkability criteria of cancelable biometrics.


title: Role of Kohn-Sham Kinetic Energy Density in Designing Asymptotically Correct Semilocal Exchange-Correlation Functionals in Two Dimensions

abstract: The positive definite Kohn-Sham kinetic energy(KS-KE) density plays crucial role in designing semilocal meta generalized gradient approximations(meta-GGAs) for low dimensional quantum systems. It has been rigorously shown that near nucleus and at the asymptotic region, the KE-KS differ from its von Weizs\"{a}cker(VW) counterpart as contributions from different orbitals (i.e., s and p orbitals) play important role. This has been explored using two dimensional isotropic quantum harmonic oscillator as a test case. Several meta-GGA ingredients with different physical behaviors are also constructed and further used to design an accurate semilocal functionals at meta-GGA level. In the asymptotic region, a new exchange energy functional is constructed using the meta-GGA ingredients with formally exact properties of the enhancement factor. Also, it has been shown that exact asymptotic behavior of the exchange energy density and potential can be attained by choosing accurately the enhancement factor as a functional of meta-GGA ingredients.


title: Machining of Spherical Component Fabricated by Selected Laser Melting: Strategies and Equipment

abstract: The machining process is the most common method for metal cutting, and especially in the finishing of machined parts. In modern industry the goal of production is to manufacture products at a low cost, with high quality in the shortest time. In this research different biomaterials, machinability properties, surface characteristics, cutting tools, cutting fluids and machining conditions for biomaterials with machinability capability are reviewed. In the first step prosthetic acetabular (PA) hip is designed and printed by using selective laser melting (SLM) process then current limitations on fabrication are analyzed to optimize production process and obtain samples with higher quality. The feasibility of artificial intelligence (AI) in machining is determined and In order to calculate dimensional deviation the effect of tool path on tool deflection is modelled. The main focus of this research is determining the machining conditions on surface quality and osseointegration, work hardening and force analyzing of PA. Also the effect of heat treatment on machinability and mechanical properties of produced parts is determined.


title: Multiobjective optimization to a TB-HIV/AIDS coinfection optimal control problem

abstract: We consider a recent coinfection model for Tuberculosis (TB), Human Immunodeficiency Virus (HIV) infection and Acquired Immunodeficiency Syndrome (AIDS) proposed in [Discrete Contin. Dyn. Syst. 35 (2015), no. 9, 4639--4663]. We introduce and analyze a multiobjective formulation of an optimal control problem, where the two conflicting objectives are: minimization of the number of HIV infected individuals with AIDS clinical symptoms and coinfected with AIDS and active TB; and costs related to prevention and treatment of HIV and/or TB measures. The proposed approach eliminates some limitations of previous works. The results of the numerical study provide comprehensive insights about the optimal treatment policies and the population dynamics resulting from their implementation. Some nonintuitive conclusions are drawn. Overall, the simulation results demonstrate the usefulness and validity of the proposed approach.


title: Uniqueness and Nondegeneracy of positive solutions to Kirchhoff equations and its applications in singular perturbation problems

abstract: In the present paper, we establish the uniqueness and nondegeneracy of positive energy solutions to the Kirchhoff equation \begin{eqnarray*} -\left(a+b\int_{\mathbb{R}^{3}}|\nabla u|^{2}\right)\Delta u+u=|u|^{p-1}u & & \text{in }\mathbb{R}^{3}, \end{eqnarray*} where $a,b>0$, $1<p<5$ are constants. Then, as applications, we derive the existence and local uniqueness of solutions to the perturbed Kirchhoff problem \begin{eqnarray*} -\left(\epsilon^2a+\epsilon b\int_{\mathbb{R}^{3}}|\nabla u|^{2}\right)\Delta u+V(x)u=|u|^{p-1}u & & \text{in }\mathbb{R}^{3} \end{eqnarray*} for $\epsilon>0$ sufficiently small, under some mild assumptions on the potential function $V:\mathbb{R}^3\to \mathbb{R}$. The existence result is obtained by applying the Lyapunov-Schmidt reduction method. It seems to be the first time to study singularly perturbed Kirchhoff problems by reduction method, as all the previous results were obtained by various variational methods. Another advantage of this approach is that it gives a unified proof to the perturbation problem for all $p\in (1,5)$, which is quite different from using variational methods in the literature. The local uniqueness result is totally new. It is obtained by using a type of local Pohozaev identity, which is developed quite recently by Deng, Lin and Yan in their work "On the prescribed scalar curvature problem in $\mathbb{R}^N$, local uniqueness and periodicity." (see J. Math. Pures Appl. (9) {\bf 104}(2015), 1013-1044).


title: The topology on Berkovich affine lines over complete valuation rings

abstract: In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the induced metric), when its field of fractions $K$ is algebraically closed. In particular, we show that $\mathbb{A}_R^1$ is both connected and locally path connected. Furthermore, $\mathbb{A}_R^1$ is the completion of $K\times (1,\infty)$ under a canonical uniform structure. As an application, we describe the Berkovich spectrum $\mathfrak{M}(\mathbb{Z}_p[G])$ of the Banach group ring $\mathbb{Z}_p[G]$ of a cyclic $p$-group $G$ over the ring $\mathbb{Z}_p$ of $p$-adic integers.


title: Renormalization of the two-dimensional stochastic nonlinear wave equations

abstract: We study the two-dimensional stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing. In particular, we introduce a time-dependent renor- malization and prove that SNLW is pathwise locally well-posed. As an application of the local well-posedness argument, we also establish a weak universality result for the renormalized SNLW.


title: Measuring Cognitive Conflict in Virtual Reality with Feedback-Related Negativity

abstract: As virtual reality (VR) emerges as a mainstream platform, designers have started to experiment new interaction techniques to enhance the user experience. This is a challenging task because designers not only strive to provide designs with good performance but also carefully ensure not to disrupt users' immersive experience. There is a dire need for a new evaluation tool that extends beyond traditional quantitative measurements to assist designers in the design process. We propose an EEG-based experiment framework that evaluates interaction techniques in VR by measuring intentionally elicited cognitive conflict. Through the analysis of the feedback-related negativity (FRN) as well as other quantitative measurements, this framework allows designers to evaluate the effect of the variables of interest. We studied the framework by applying it to the fundamental task of 3D object selection using direct 3D input, i.e. tracked hand in VR. The cognitive conflict is intentionally elicited by manipulating the selection radius of the target object. Our first behavior experiment validated the framework in line with the findings of conflict-induced behavior adjustments like those reported in other classical psychology experiment paradigms. Our second EEG-based experiment examines the effect of the appearance of virtual hands. We found that the amplitude of FRN correlates with the level of realism of the virtual hands, which concurs with the Uncanny Valley theory.


title: Using Human Brain Activity to Guide Machine Learning

abstract: Machine learning is a field of computer science that builds algorithms that learn. In many cases, machine learning algorithms are used to recreate a human ability like adding a caption to a photo, driving a car, or playing a game. While the human brain has long served as a source of inspiration for machine learning, little effort has been made to directly use data collected from working brains as a guide for machine learning algorithms. Here we demonstrate a new paradigm of "neurally-weighted" machine learning, which takes fMRI measurements of human brain activity from subjects viewing images, and infuses these data into the training process of an object recognition learning algorithm to make it more consistent with the human brain. After training, these neurally-weighted classifiers are able to classify images without requiring any additional neural data. We show that our neural-weighting approach can lead to large performance gains when used with traditional machine vision features, as well as to significant improvements with already high-performing convolutional neural network features. The effectiveness of this approach points to a path forward for a new class of hybrid machine learning algorithms which take both inspiration and direct constraints from neuronal data.


title: Circle actions on oriented manifolds with discrete fixed point sets and classification in dimension 4

abstract: In this paper, we study a circle action on a compact oriented manifold with a discrete fixed point set. The fixed point data consists of the weights of the $S^1$-representations at the fixed points. We prove various results and properties of the action, in terms of the fixed point data. We show that the manifold can be described by a multigraph associated to it. Specializing into the case of dimension 4, we classify the fixed point data. Moreover, we prove that there exist oriented $S^1$-manifolds with these fixed point data. Finally, we show that a certain multigraph behaves like a manifold.


title: Neobility at SemEval-2017 Task 1: An Attention-based Sentence Similarity Model

abstract: This paper describes a neural-network model which performed competitively (top 6) at the SemEval 2017 cross-lingual Semantic Textual Similarity (STS) task. Our system employs an attention-based recurrent neural network model that optimizes the sentence similarity. In this paper, we describe our participation in the multilingual STS task which measures similarity across English, Spanish, and Arabic.


title: Products of random walks on finite groups with moderate growth

abstract: In this article, we consider products of random walks on finite groups with moderate growth and discuss their cutoffs in the total variation. Based on several comparison techniques, we are able to identify the total variation cutoff of discrete time lazy random walks with the Hellinger distance cutoff of continuous time random walks. Along with the cutoff criterion for Laplace transforms, we derive a series of equivalent conditions on the existence of cutoffs, including the existence of pre-cutoffs, Peres' product condition and a formula generated by the graph diameters. For illustration, we consider products of Heisenberg groups and randomized products of finite cycles.


title: Global and Local Information Based Deep Network for Skin Lesion Segmentation

abstract: With a large influx of dermoscopy images and a growing shortage of dermatologists, automatic dermoscopic image analysis plays an essential role in skin cancer diagnosis. In this paper, a new deep fully convolutional neural network (FCNN) is proposed to automatically segment melanoma out of skin images by end-to-end learning with only pixels and labels as inputs. Our proposed FCNN is capable of using both local and global information to segment melanoma by adopting skipping layers. The public benchmark database consisting of 150 validation images, 600 test images and 2000 training images in the melanoma detection challenge 2017 at International Symposium Biomedical Imaging 2017 is used to test the performance of our algorithm. All large size images (for example, $4000\times 6000$ pixels) are reduced to much smaller images with $384\times 384$ pixels (more than 10 times smaller). We got and submitted preliminary results to the challenge without any pre or post processing. The performance of our proposed method could be further improved by data augmentation and by avoiding image size reduction.


title: Database Learning: Toward a Database that Becomes Smarter Every Time

abstract: In today's databases, previous query answers rarely benefit answering future queries. For the first time, to the best of our knowledge, we change this paradigm in an approximate query processing (AQP) context. We make the following observation: the answer to each query reveals some degree of knowledge about the answer to another query because their answers stem from the same underlying distribution that has produced the entire dataset. Exploiting and refining this knowledge should allow us to answer queries more analytically, rather than by reading enormous amounts of raw data. Also, processing more queries should continuously enhance our knowledge of the underlying distribution, and hence lead to increasingly faster response times for future queries. We call this novel idea---learning from past query answers---Database Learning. We exploit the principle of maximum entropy to produce answers, which are in expectation guaranteed to be more accurate than existing sample-based approximations. Empowered by this idea, we build a query engine on top of Spark SQL, called Verdict. We conduct extensive experiments on real-world query traces from a large customer of a major database vendor. Our results demonstrate that Verdict supports 73.7% of these queries, speeding them up by up to 23.0x for the same accuracy level compared to existing AQP systems.


title: Enhanced atomic layer etching of native aluminum oxide for ultraviolet optical applications

abstract: We report on the development and application of an atomic layer etching (ALE) procedure based on alternating exposures of trimethylaluminum and anhydrous hydrogen fluoride (HF) implemented to controllably etch aluminum oxide. Our ALE process utilizes the same chemistry previously demonstrated in the atomic layer deposition of aluminum fluoride thin films, and can therefore be exploited to remove the surface oxide from metallic aluminum and replace it with thin fluoride layers in order to improve the performance of ultraviolet aluminum mirrors. This ALE process is modified relative to existing methods through the use of a chamber conditioning film of lithium fluoride, which is shown to enhance the loss of fluorine surface species and results in conformal layer-by-layer etching of aluminum oxide films. Etch properties were explored over a temperature range of 225 to 300 {\deg}C with the Al2O3 etch rate increasing from 0.8 to 1.2 {\AA} per ALE cycle at a fixed HF exposure of 60 ms per cycle. The effective etch rate has a dependence on the total HF exposure, but the process is shown to be scalable to large area substrates with a post-etch uniformity of better than 2% demonstrated on 125 mm diameter wafers. The efficacy of the ALE process in reducing interfacial native aluminum oxide on evaporated aluminum mirrors is demonstrated with characterization by x-ray photoelectron spectroscopy and measurements of ultraviolet reflectance at wavelengths down to 120 nm.


title: Coding Polish spaces

abstract: We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions between Polish metric spaces.


title: Model selection and parameter inference in phylogenetics using Nested Sampling

abstract: Bayesian inference methods rely on numerical algorithms for both model selection and parameter inference. In general, these algorithms require a high computational effort to yield reliable estimates. One of the major challenges in phylogenetics is the estimation of the marginal likelihood. This quantity is commonly used for comparing different evolutionary models, but its calculation, even for simple models, incurs high computational cost. Another interesting challenge relates to the estimation of the posterior distribution. Often, long Markov chains are required to get sufficient samples to carry out parameter inference, especially for tree distributions. In general, these problems are addressed separately by using different procedures. Nested sampling (NS) is a Bayesian computation algorithm which provides the means to estimate marginal likelihoods together with their uncertainties, and to sample from the posterior distribution at no extra cost. The methods currently used in phylogenetics for marginal likelihood estimation lack in practicality due to their dependence on many tuning parameters and the inability of most implementations to provide a direct way to calculate the uncertainties associated with the estimates. To address these issues, we introduce NS to phylogenetics. Its performance is assessed under different scenarios and compared to established methods. We conclude that NS is a competitive and attractive algorithm for phylogenetic inference. An implementation is available as a package for BEAST 2 under the LGPL licence, accessible at https://github.com/BEAST2-Dev/nested-sampling.


title: Destructive Read by Wave Interference for Arbitration

abstract: With the advent of big data and deep learning, computation power has become a bottleneck for many applications. Network-on-Chip (NoC) has been proposed to enable multiprocessor acceleration for deep learning computation, and efficient arbitration is a key issue for high performance. In this paper, an arbitration scheme based on interference of wave is proposed. In this scheme, home node sends out multiple tokens in different frequencies, and nodes that are competing for bus can capture token by sending out wave that cancels its specific wave token. In this scheme, speed-of-light arbitration can be achieved, and full information is available to all nodes in arbitration.


title: Ultra-fast Vapor Generation by a Graphene Nano-ratchet

abstract: Vapor generation is of prime importance for a broad range of applications: domestic water heating, desalination and wastewater treatment, etc. However, the slow and low efficiency evaporation limits their development. In this paper, we proposed a nano-ratchet, multilayer graphene with cone-shaped nanopores (MGCN), to accelerate the vapor generation. By performing molecular dynamics simulations, we found that the air molecules spontaneously transport across MGCN and form a remarkable pressure difference, 21kPa, between the two sides of MGCN. Besides, we studied the dependence of pressure difference on the ambient temperature and the geometry of MGCN in detail. By further analysis of the diffusive transport, we identified that the pressure difference relates to the competition between ratchet transport and Knudsen diffusion. The significant pressure difference could lead to 15 times enhancement of vapor generation at least, which shows the wide applications of this nano-ratchet.


title: Multi-User Millimeter Wave Channel Estimation Using Generalized Block OMP Algorithm

abstract: In a multi-user millimeter (mm) wave communication system, we consider the problem of estimating the channel response between the central node (base station) and each of the user equipments (UE). We propose three different strategies: 1) Each UE estimates its channel separately, 2) Base station estimates all the UEs channels jointly, and 3) Two stage process with estimation done at both UE and base station. Exploiting the low rank nature of the mm wave channels, we propose a generalized block orthogonal matching pursuit (G.BOMP) framework for channel estimation in all the three strategies. Our simulation results show that, the average beamforming gain of the G.BOMP algorithm is higher than that of the conventional OMP algorithm and other existing works on the multi-user mm wave system.


title: A quest to unravel the metric structure behind perturbed networks

abstract: Graphs and network data are ubiquitous across a wide spectrum of scientific and application domains. Often in practice, an input graph can be considered as an observed snapshot of a (potentially continuous) hidden domain or process. Subsequent analysis, processing, and inferences are then performed on this observed graph. In this paper we advocate the perspective that an observed graph is often a noisy version of some discretized 1-skeleton of a hidden domain, and specifically we will consider the following natural network model: We assume that there is a true graph ${G^*}$ which is a certain proximity graph for points sampled from a hidden domain $\mathcal{X}$; while the observed graph $G$ is an Erd$\"{o}$s-R$\'{e}$nyi type perturbed version of ${G^*}$. Our network model is related to, and slightly generalizes, the much-celebrated small-world network model originally proposed by Watts and Strogatz. However, the main question we aim to answer is orthogonal to the usual studies of network models (which often focuses on characterizing / predicting behaviors and properties of real-world networks). Specifically, we aim to recover the metric structure of ${G^*}$ (which reflects that of the hidden space $\mathcal{X}$ as we will show) from the observed graph $G$. Our main result is that a simple filtering process based on the \emph{Jaccard index} can recover this metric within a multiplicative factor of $2$ under our network model. Our work makes one step towards the general question of inferring structure of a hidden space from its observed noisy graph representation. In addition, our results also provide a theoretical understanding for Jaccard-Index-based denoising approaches.


title: Magnetic Structure and Dielectric State in the Multiferroic Ca$_{2}$CoSi$_{2}$O$_{7}$

abstract: Magnetic structure of the multiferroic Ca$_{2}$CoSi$_{2}$O$_{7}$ was determined by neutron diffraction techniques. Combination of the polycrystalline and single-crystal samples experiments revealed a collinear antiferromagnetic structure with the easy axis along $<$100$>$ directions. The dielectric state was discussed in the framework of the spin-dependent $d$-$p$ hybridization mechanism, leading to the realization of the antiferroelectric structure. The origin of the magnetic anisotropy was discussed in comparison with the isostructural Ba$_{2}$CoGe$_{2}$O$_{7}$.


title: Best practices for the application of temperature- and illumination-dependent current density-voltage $J$($V$,$T$,$i$) and electron-beam induced current EBIC to novel thin film solar cells

abstract: As the photovoltaic community accelerates the development of new absorber candidate materials towards high-performing PV devices, it is essential to follow best practices and leverage deeper characterization tools. We have identified temperature- and illumination-dependent current density-voltage $J$($V$,$T$,$i$) and electron-beam induced current (EBIC) measurements as two powerful PV device characterization techniques to evaluate the potential of novel absorber candidate materials. Herein, we focus on the experimental methods and best practices for applying $J$($V$,$T$,$i$) and EBIC, addressing particular challenges in sample preparation and mounting. We demonstrate these on the example of tin monosulfide, a promising PV absorber candidate material that shares characteristics of many novel thin-film PV absorbers: mechanically soft, polycrystalline, and used in heterojunction thin-film PV devices.


title: Equivalence of Effective Medium and Random Resistor Network models for disorder-induced unsaturating linear magnetoresistance

abstract: A linear unsaturating magnetoresistance at high perpendicular magnetic fields, together with a quadratic positive magnetoresistance at low fields, has been seen in many different experimental materials, ranging from silver chalcogenides and thin films of InSb to topological materials like graphene and Dirac semimetals. In the literature, two very different theoretical approaches have been used to explain this classical magnetoresistance as a consequence of sample disorder. The phenomenological Random Resistor Network model constructs a grid of four-terminal resistors, each with a varying random resistance. The Effective Medium Theory model imagines a smoothly varying disorder potential that causes a continuous variation of the local conductivity. Here, we demonstrate numerically that both models belong to the same universality class and that a restricted class of the Random Resistor Network is actually equivalent to the Effective Medium Theory. Both models are also in good agreement with experiments on a diverse range of materials. Moreover, we show that in both cases, a single parameter, i.e. the ratio of the fluctuations in the carrier density to the average carrier density, completely determines the magnetoresistance profile.


title: Accretion Flow Properties of Swift J1753.5-0127 during its 2005 outburst

abstract: Galactic X-ray binary black hole candidate Swift~J1753.5-0127 was discovered on June 30 2005 by Swift/BAT instrument. In this paper, we make detailed analysis of spectral and timing properties of its 2005 outburst using RXTE/PCA archival data. We study evolution of spectral properties of the source from spectral analysis with the additive table model {\it fits} file of the Chakrabarti-Titarchuk two-components advective flow (TCAF) solution. From spectral fit, we extract physical flow parameters, such as, Keplerian disk accretion rate, sub-Keplerian halo rate, shock location and shock compression ratio, etc. We also study the evolution of temporal properties, such as observation of low frequency quasi-periodic oscillations (QPOs), variation of X-ray intensity throughout the outburst. From the nature of the variation of QPOs, and accretion rate ratios (ARRs=ratio of halo to disk rates), we classify entire 2005 outburst into two harder (hard-intermediate and hard) spectral states. No signature of softer (soft-intermediate and soft) spectral states are seen. This may be because of significant halo rate throughout the outburst. This behavior is similar to a class of other short orbital period sources, such as, MAXI~J1836-194, MAXI~J1659-152 and XTE~J1118+480. Here, we also estimate probable mass range of the source, to be in between $4.75 M_\odot$ to $5.90 M_\odot$ based on our spectral analysis.


title: A stable fast time-stepping method for fractional integral and derivative operators

abstract: A unified fast time-stepping method for both fractional integral and derivative operators is proposed. The fractional operator is decomposed into a local part with memory length $\Delta T$ and a history part, where the local part is approximated by the direct convolution method and the history part is approximated by a fast memory-saving method. The fast method has $O(n_0+\sum_{\ell}^L{q}_{\alpha}(N_{\ell}))$ active memory and $O(n_0n_T+ (n_T-n_0)\sum_{\ell}^L{q}_{\alpha}(N_{\ell}))$ operations, where $L=\log(n_T-n_0)$, $n_0={\Delta T}/\tau,n_T=T/\tau$, $\tau$ is the stepsize, $T$ is the final time, and ${q}_{\alpha}{(N_{\ell})}$ is the number of quadrature points used in the truncated Laguerre--Gauss (LG) quadrature. The error bound of the present fast method is analyzed. It is shown that the error from the truncated LG quadrature is independent of the stepsize, and can be made arbitrarily small by choosing suitable parameters that are given explicitly. Numerical examples are presented to verify the effectiveness of the current fast method.


title: Empirical Analysis on Comparing the Performance of Alpha Miner Algorithm in SQL Query Language and NoSQL Column-Oriented Databases Using Apache Phoenix

abstract: Process-Aware Information Systems (PAIS) is an IT system that support business processes and generate large amounts of event logs from the execution of business processes. An event log is represented as a tuple of CaseID, Timestamp, Activity and Actor. Process Mining is a new and emerging field that aims at analyzing the event logs to discover, enhance and improve business processes and check conformance between run time and design time business processes. The large volume of event logs generated are stored in the databases. Relational databases perform well for a certain class of applications. However, there are a certain class of applications for which relational databases are not able to scale. To handle such class of applications, NoSQL database systems emerged. Discovering a process model (workflow model) from event logs is one of the most challenging and important Process Mining task. The $\alpha$-miner algorithm is one of the first and most widely used Process Discovery technique. Our objective is to investigate which of the databases (Relational or NoSQL) performs better for a Process Discovery application under Process Mining. We implement the $\alpha$-miner algorithm on relational (row-oriented) and NoSQL (column-oriented) databases in database query languages so that our algorithm is tightly coupled to the database. We present a performance benchmarking and comparison of the $\alpha$-miner algorithm on row-oriented database and NoSQL column-oriented database so that we can compare which database can efficiently store massive event logs and analyze it in seconds to discover a process model.


title: Gauge dependence in the anomalous dimension of the gauge invariant canonical decomposition for proton momentum

abstract: The gauge dependence in the anomalous dimension of the gauge-invariant-canonical-energy-momentum tensor for proton is studied by the background field method. The naive calculation shows the problem, the absence of the counter term in the gluonic sectors. The analysis shows that the result [Chen et al., Phys. Rev. Lett. 103, 062001 (2009)] is derived from the background field method after we introduced a trick to avoid the problem except for the gluon-to-gluon sector; it is gauge dependent. The possible reason of this gauge-dependent result comes from the nontrivial treatment of the condition $F^{\mu\nu}_{pure}=0$ at a higher order. This result shows that one needs a further improvement in treating this condition with a covariant way at a higher order by the background field method. In particular, we have to focus on two checkpoints, the gauge independence and zero eigenvalue in the anomalous-dimension matrix, in order to test the validity of the gauge-invariant-canonical-energy-momentum tensor.


title: Stabilizing switching signals: a transition from point-wise to asymptotic conditions

abstract: Characterization of classes of switching signals that ensure stability of switched systems occupies a significant portion of the switched systems literature. This article collects a multitude of stabilizing switching signals under an umbrella framework. We achieve this in two steps: Firstly, given a family of systems, possibly containing unstable dynamics, we propose a new and general class of stabilizing switching signals. Secondly, we demonstrate that prior results based on both point-wise and asymptotic characterizations follow our result. This is the first attempt in the switched systems literature where these switching signals are unified under one banner.


title: Glassy swirls of active dumbbells

abstract: The dynamics of a dense binary mixture of soft dumbbells, each subject to an active propulsion force and thermal fluctuations, shows a sudden arrest, first to a translational then to a rotational glass, as one reduces temperature $T$ or the self-propulsion force $f$. Is the temperature-induced glass different from the activity-induced glass? To address this question, we monitor the dynamics along an iso-relaxation-time contour in the $(T-f)$ plane. We find dramatic differences both in the fragility and in the nature of dynamical heterogeneity which characterise the onset of glass formation - the activity-induced glass exhibits large swirls or vortices, whose scale is set by activity, and appears to diverge as one approaches the glass transition. This large collective swirling movement should have implications for collective cell migration in epithelial layers.


title: A modification to Hirsch index allowing comparisons across different scientific fields

abstract: The aim of this paper is to propose a simple modification to the original measure, the relative Hirsch index, which assigns each researcher a value between 0 (the bottom) and 1 (the top), expressing his/her distance to the top in a given field. By this normalization scholars from different scientific disciplines can be compared.


title: Using Reinforcement Learning for Demand Response of Domestic Hot Water Buffers: a Real-Life Demonstration

abstract: This paper demonstrates a data-driven control approach for demand response in real-life residential buildings. The objective is to optimally schedule the heating cycles of the Domestic Hot Water (DHW) buffer to maximize the self-consumption of the local photovoltaic (PV) production. A model-based reinforcement learning technique is used to tackle the underlying sequential decision-making problem. The proposed algorithm learns the stochastic occupant behavior, predicts the PV production and takes into account the dynamics of the system. A real-life experiment with six residential buildings is performed using this algorithm. The results show that the self-consumption of the PV production is significantly increased, compared to the default thermostat control.


title: Accelerated and Inexact Soft-Impute for Large-Scale Matrix and Tensor Completion

abstract: Matrix and tensor completion aim to recover a low-rank matrix / tensor from limited observations and have been commonly used in applications such as recommender systems and multi-relational data mining. A state-of-the-art matrix completion algorithm is Soft-Impute, which exploits the special "sparse plus low-rank" structure of the matrix iterates to allow efficient SVD in each iteration. Though Soft-Impute is a proximal algorithm, it is generally believed that acceleration destroys the special structure and is thus not useful. In this paper, we show that Soft-Impute can indeed be accelerated without comprising this structure. To further reduce the iteration time complexity, we propose an approximate singular value thresholding scheme based on the power method. Theoretical analysis shows that the proposed algorithm still enjoys the fast $O(1/T^2)$ convergence rate of accelerated proximal algorithms. We further extend the proposed algorithm to tensor completion with the scaled latent nuclear norm regularizer. We show that a similar "sparse plus low-rank" structure also exists, leading to low iteration complexity and fast $O(1/T^2)$ convergence rate. Extensive experiments demonstrate that the proposed algorithm is much faster than Soft-Impute and other state-of-the-art matrix and tensor completion algorithms.


title: Pretty $k$-clean monomial ideals and $k$-decomposable multicomplexes

abstract: We introduce pretty $k$-clean monomial ideals and $k$-decomposable multicomplexes, respectively, as the extensions of the notions of $k$-clean monomial ideals and $k$-decomposable simplicial complexes. We show that a multicomplex $\Gamma$ is $k$-decomposable if and only if its associated monomial ideal $I(\Gamma)$ is pretty $k$-clean. Also, we prove that an arbitrary monomial ideal $I$ is pretty $k$-clean if and only if its polarization $I^p$ is $k$-clean. Our results extend and generalize some results due to Herzog-Popescu, Soleyman Jahan and the current author.


title: Generation of droplet arrays with rational number spacing patterns driven by a periodic energy landscape

abstract: The generation of droplets at low Reynolds numbers is driven by non-linear dynamics that give rise to complex patterns concerning both the droplet-to-droplet spacing and the individual droplet sizes. Here we demonstrate an experimental system in which a time-varying energy landscape provides a periodic magnetic force that generates an array of droplets from an immiscible mixture of ferrofluid and silicone oil. The resulting droplet patterns are periodic, owing to the nature of the magnetic force, yet the droplet spacing and size can vary greatly by tuning a single bias pressure applied on the ferrofluid phase; for a given cycle period of the magnetic force, droplets can be generated either at integer multiples (1, 2, etc.), or at rational fractions (3/2, 5/3, 5/2, etc.) of this period with mono- or multidisperse droplet sizes. We develop a discrete-time dynamical systems model not only to reproduce the phenotypes of the observed patterns but also provide a framework for understanding systems driven by such periodic energy landscapes.


title: Biodiversity, extinctions and evolution of ecosystems with shared resources

abstract: We investigate the formation of stable ecological networks where many species share the same resource. We show that such stable ecosystem naturally occurs as a result of extinctions. We obtain an analytical relation for the number of coexisting species and find a relation describing how many species that may go extinct as a result of a sharp environmental change. We introduce a special parameter that is a combination of species traits and resource characteristics used in the model formulation. This parameter describes the pressure on system to converge, by extinctions. When that stress parameter is large we obtain that the species traits concentrate at some values. This stress parameter is thereby a parameter that determines the level of final biodiversity of the system. Moreover, we show that dynamics of this limit system can be described by simple differential equations.


title: Falling outer rotation curves of star-forming galaxies at 0.6 < z < 2.6 probed with KMOS^3D and SINS/ZC-SINF

abstract: We exploit the deep resolved Halpha kinematic data from the KMOS^3D and SINS/zC-SINF surveys to examine the largely unexplored outer disk kinematics of star-forming galaxies (SFGs) out to the peak of cosmic star formation. Our sample contains 101 SFGs representative of the more massive (9.3 < log(M*/Msun) < 11.5) main sequence population at 0.6<z<2.6. Through a novel stacking approach we are able to constrain a representative rotation curve extending out to ~4 effective radii. This average rotation curve exhibits a significant drop in rotation velocity beyond the turnover, with a slope of Delta(V)/Delta(R) = $-0.26^{+0.10}_{-0.09}$ in units of normalized coordinates V/V_max and R/R_turn. This result confirms that the fall-off seen previously in some individual galaxies is a common feature of our sample of high-z disks. We show that this outer fall-off strikingly deviates from the flat or mildly rising rotation curves of local spiral galaxies of similar masses. We furthermore compare our data with models including baryons and dark matter demonstrating that the falling stacked rotation curve can be explained by a high mass fraction of baryons relative to the total dark matter halo (m_d>~0.05) in combination with a sizeable level of pressure support in the outer disk. These findings are in agreement with recent studies demonstrating that star-forming disks at high redshift are strongly baryon dominated within the disk scale, and furthermore suggest that pressure gradients caused by large turbulent gas motions are present even in their outer disks. We demonstrate that these results are largely independent of our model assumptions such as the presence of a central stellar bulge, the effect of adiabatic contraction at fixed m_d, and variations in the concentration parameter.


title: Electrical, Thermal and Spectroscopic Characterization of Bulk Bi2Se3 Topological Insulator

abstract: We report electrical (angular magneto-resistance, and Hall), thermal (heat capacity) and spectroscopic (Raman, x-ray photo electron, angle resolved photo electron) characterization of bulk Bi2Se3 topological insulator, which is being is grown by self flux method through solid state reaction from high temperature (950C) melt and slow cooling (2C/hour) of constituent elements. Bi2Se3 exhibited metallic behaviour down to 5K. Magneto transport measurements revealed linear up to 400% and 30% MR at 5K under 14 Tesla field in perpendicular and parallel field direction respectively. We noticed that the magneto-resistance (MR) of Bi2Se3 is very sensitive to the angle of applied field. MR is maximum when the field is normal to the sample surface, while it is minimum when the field is parallel. Hall coefficient (RH) is seen nearly invariant with negative carrier sign down to 5K albeit having near periodic oscillations above 100K. Heat capacity (Cp) versus temperature plot is seen without any phase transitions down to 5K and is well fitted (Cp = gammaT + betaT3) at low temperature with calculated Debye temperature (ThetaD) value of 105.5K. Clear Raman peaks are seen at 72, 131 and 177 cm-1 corresponding to A1g1, Eg2 and A1g2 respectively. Though, two distinct asymmetric characteristic peak shapes are seen for Bi 4f7/2 and Bi 4f5/2, the Se 3d region is found to be broad displaying the overlapping of spin - orbit components of the same. Angle-resolved photoemission spectroscopy (ARPES) data of Bi2Se3 revealed distinctly the bulk conduction bands (BCB), surface state (SS), Dirac point (DP) and bulk valence bands (BVB) and 3D bulk conduction signatures are clearly seen. Summarily, host of physical properties for as grown Bi2Se3 crystal are reported here.


title: Definable Continuous Induction on Ordered Abelian Groups

abstract: As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.) Here, we first consider it on densely ordered abelian groups to prove Heine-Borel theorem (every closed and bounded interval is compact with respect to order topology) in those structures. Then, using the recently introduced notion of pseudo finite sets, we introduce a first order definable version of {\it continuous induction} in the language of ordered groups and we use it to prove a definable version of Heine-Borel theorem on densely ordered abelian groups.


title: Privileged Coordinates and Nilpotent Approximation for Carnot Manifolds, II. Carnot Coordinates

abstract: This paper is a sequel of arxiv:1709.09045 and deals with privileged coordinates and nilpotent approximation of Carnot manifolds. By a Carnot manifold it is meant a manifold equipped with a filtration by subbundles of the tangent bundle which is compatible with the Lie bracket of vector fields. In this paper, we single out a special class of privileged coordinates in which the nilpotent approximation at a given point of a Carnot manifold is given by its tangent group. We call these coordinates Carnot coordinates. Examples of Carnot coordinates include Darboux coordinates on contact manifolds and the canonical coordinates of the first kind of Goodman and Rothschild-Stein. By converting the privileged coordinate of Bella\"iche into Carnot coordinates we obtain an effective construction of Carnot coordinates, which we call $\varepsilon$-Carnot coordinates. They form the building block of all systems of Carnot coordinates. On a graded nilpotent Lie group they are given by the group law of the group. For general Carnot manifolds, they depend smoothly on the base point. Moreover, in Carnot coordinates at a given point, they are osculated in a very precise manner by the group law of the tangent group at the point.


title: Graph representations of surface flows

abstract: We construct a complete invariant for non-wandering surface flows with finitely many singular points but without locally dense orbits. Precisely, we show that a flow $v$ with finitely many singular points on a compact connected surface $S$ is a non-wandering flow without locally dense orbits if and only if $S/v_{\mathrm{ex}}$ is a non-trivial embedded multi-graph, where the extended orbit space $S/v_{\mathrm{ex}}$ is the quotient space defined by $x \sim y$ if they belong to either a same orbit or a same multi-saddle connection. Moreover, collapsing edges of the non-trivial embedded multi-graph $S/v_{\mathrm{ex}}$ into singletons, the quotient space $(S/v_{\mathrm{ex}})/\sim_E$ is an abstract multi-graph with the Alexandroff topology with respect to the specialization order. Therefore the non-wandering flow $v$ with finitely many singular points but without locally dense orbits can be reconstruct by finite combinatorial structures, which are the multi-saddle connection diagram and the abstract multi-graph $(S/v_{\mathrm{ex}})/\sim_E$ with labels. Moreover, though the set of topological equivalent classes of irrational rotations (i.e. minimal flows) on a torus is uncountable, the set of topological equivalent classes of non-wandering flows with finitely many singular points but without locally dense orbits on compact surfaces is enumerable by combinatorial structures algorithmically.


title: Data Delivery by Mobile Agents with Energy Constraints over a fixed path

abstract: We consider $k$ mobile agents of limited energy that are initially located at vertices of an edge-weighted graph $G$ and have to collectively deliver data from a source vertex $s$ to a target vertex $t$. The data are to be collected by an agent reaching $s$, who can carry and then hand them over another agent etc., until some agent with the data reaches $t$. The data can be carried only over a fixed $s-t$ path of $G$; each agent has an initial energy budget and each time it passes an edge, it consumes the edge's weights in energy units and stalls if its energy is not anymore sufficient to move. The main result of this paper is a 3-approximation polynomial time algorithm for the data delivery problem over a fixed $s-t$ path in the graph, for identical initial energy budgets and at most one allowed data hand-over per agent.


title: Exterior powers of representations of finite groups and integer-valued characters

abstract: For given representation of finite groups on a finite dimension complex vector space, we can define exterior powers of representations. In 1973, Knutson found one of methods of calculating the character of exterior powers of representations with properties of $\lambda$-rings. In this paper, we base this result of Knutson, and relate characters and elements of necklace rings, which were introduced by N.Metropolis and G-C.Rota in 1983, via a generating function of the character of exterior powers of representations. We focus on integer-valued characters and discuss a relation between integer-valued characters and element of necklace rings which has finite support and is contained in some images of truncated operations.


title: Girsanov reweighting for path ensembles and Markov state models

abstract: The sensitivity of molecular dynamics on changes in the potential energy function plays an important role in understanding the dynamics and function of complex molecules.We present a method to obtain path ensemble averages of a perturbed dynamics from a set of paths generated by a reference dynamics. It is based on the concept of path probability measure and the Girsanov theorem, a result from stochastic analysis to estimate a change of measure of a path ensemble. Since Markov state models (MSM) of the molecular dynamics can be formulated as a combined phase-space and path ensemble average, the method can be extended toreweight MSMs by combining it with a reweighting of the Boltzmann distribution. We demonstrate how to efficiently implement the Girsanov reweighting in a molecular dynamics simulation program by calculating parts of the reweighting factor "on the fly" during the simulation, and we benchmark the method on test systems ranging from a two-dimensional diffusion process to an artificial many-body system and alanine dipeptide and valine dipeptide in implicit and explicit water. The method can be used to study the sensitivity of molecular dynamics on external perturbations as well as to reweight trajectories generated by enhanced sampling schemes to the original dynamics.


title: Gr\"uneisen model for melts

abstract: The Gr\"uneisen relation is shown to be important for the thermodynamics of dense liquids.


title: Occupation times for the finite buffer fluid queue with phase-type ON-times

abstract: In this short communication we study a fluid queue with a finite buffer. The performance measure we are interested in is the occupation time over a finite time period, i.e., the fraction of time the workload process is below some fixed target level. We construct an alternating sequence of sojourn times $D_1,U_1,...$ where the pairs $(D_i,U_i)_{i\in\mathbb{N}}$ are i.i.d. random vectors. We use this sequence to determine the distribution function of the occupation time in terms of its double transform.


title: Decompositions of surface flows

abstract: Under a regularity condition for the singular point set, every flow on a compact surface can be constructed by glueing four kinds of invariant open subsets, which are flow boxes, transverse/periodic annuli, and locally dense Q-sets. In particular, Morse-Smale flows on compact surfaces can be constructed by glueing the boundaries of invariant flow boxes and invariant transverse annuli, and Hamiltonian flows on compact surfaces with finitely many singular points can be constructed by glueing the boundaries of invariant periodic annuli. Using the decompositions, we construct a finite complete invariant for surface flows of finite type. In fact, although degeneracy of singular points implies uncountably many local topological equivalence classes and the set of topological equivalence classes of minimal flows on a torus is uncountable, we enumerate the set of topological equivalence classes of flows with at most finitely many limit cycles but without non-closed recurrent orbits or degenerate singular points on compact surfaces using finite labelled graphs.


title: Steganographic Generative Adversarial Networks

abstract: Steganography is collection of methods to hide secret information ("payload") within non-secret information "container"). Its counterpart, Steganalysis, is the practice of determining if a message contains a hidden payload, and recovering it if possible. Presence of hidden payloads is typically detected by a binary classifier. In the present study, we propose a new model for generating image-like containers based on Deep Convolutional Generative Adversarial Networks (DCGAN). This approach allows to generate more setganalysis-secure message embedding using standard steganography algorithms. Experiment results demonstrate that the new model successfully deceives the steganography analyzer, and for this reason, can be used in steganographic applications.


title: Flatness-based control of a two-degree-of-freedom platform with pneumatic artificial muscles

abstract: Pneumatic artificial muscles are a quite interesting type of actuators which have a very high power-to-weight and power-to-volume ratio. However, their efficient use requires very accurate control methods which can take into account their complex dynamic, which is highly nonlinear. This paper consider a model of two-degree-of-freedom platform whose attitude is determined by three pneumatic muscles controlled by servovalves, which mimics a simplified version of a Stewart platform. For this testbed, a model-based control approach is proposed, based on accurate first principle modeling of the muscles and the platform and on a static model for the servovalve. The employed control method is the so-called flatness-based control introduced by Fliess. The paper first recalls the basics of this control technique and then it shows how it can be applied to the proposed experimental platform; being flatness-based control an open-loop kind of control, a proportional-integral controller is added on top of it in order to add robustness with respect to modelling errors and external perturbations. At the end of the paper, the effectiveness of the proposed approach is shown by means of experimental results. A clear improvement of the tracking performance is visible compared to a simple proportional-integral controller.


title: Transient sequences in a hypernetwork generated by an adaptive network of spiking neurons

abstract: We propose a model of an adaptive network of spiking neurons that gives rise to a hypernetwork of its dynamic states at the upper level of description. Left to itself, the network exhibits a sequence of transient clustering which relates to a traffic in the hypernetwork in the form of a random walk. Receiving inputs the system is able to generate reproducible sequences corresponding to stimulus-specific paths in the hypernetwork. We illustrate these basic notions by a simple network of discrete-time spiking neurons together with its FPGA realization and analyze their properties.


title: Dynamic Erd\H{o}s-R\'enyi graphs

abstract: We propose two classes of dynamic versions of the classical Erd\H{o}s-R\'enyi graph: one in which the transition rates are governed by an external regime process, and one in which the transition rates are periodically resampled. For both models we consider the evolution of the number of edges present, with explicit results for the corresponding moments, functional central limit theorems and large deviations asymptotics.


title: Hierarchical geometries and adhesion: Bio-inspired designs for stiff interfaces

abstract: Throughout biology, hierarchy is a recurrent theme in the geometry of structures where strength is achieved with minimal use of material. Acting over vast timescales, evolution has brought about beautiful solutions to problems of optimisation that are only now being understood and incorporated into engineering design. One particular example of this hierarchy is found in the junction between stiff keratinised material and the soft biological matter within the hooves of ungulates. Using this biological interface as a design motif, we investigate the role of hierarchy in the creation of a stiff, robust interface between two materials. We show that through hierarchical design one can manipulate the scaling laws relating constituent material stiffness and overall interface stiffness under both shear and tension loading. Furthermore, we uncover a cascade of scaling laws for the higher order structure and link their origin with competing deformation modes within the structure. We demonstrate that when joining two materials of different stiffness, under shear or tension, hierarchical geometries are linked with beneficial mechanical properties.


title: Polarized SERS of individual suspended carbon nanotubes by Pt-Re nanoantennas

abstract: We present optical nanoantennas designed for applications that require processing temperatures larger than 800{\deg}C. The antennas consist of arrays of Re/Pt bilayer strips fabricated with a lift-off-free technique on top of etched trenches. Reflectance measurements show a clear plasmonic resonance at approximately 670 nm for light polarized orthogonal to the strip axis. The functionality of the antennas is demonstrated by growing single-walled carbon nanotubes (CNTs) on top of the antenna arrays and measuring the corresponding Raman signal enhancement of individual CNTs. The results of the measurements are quantitatively discussed in light of numerical simulations which highlight the impact of the substrate.


title: Proof of Atiyah-Singer Index Theorem by Canonical Quantum Mechanics

abstract: We show that the Atiyah-Singer index theorem of Dirac operator can be directly proved in the canonical formulation of quantum mechanics, without using the path-integral technique. This proof takes advantage of an algebraic isomorphism between Clifford algebra and exterior algebra in small $\tau$ (high temperature) limit, together with simple properties of quantum mechanics of harmonic oscillator. Compared to the proof given by heat kernel, we try to prove this theorem more quantum mechanically.


title: VieM v1.00 -- Vienna Mapping and Sparse Quadratic Assignment User Guide

abstract: This paper severs as a user guide to the mapping framework VieM (Vienna Mapping and Sparse Quadratic Assignment). We give a rough overview of the techniques used within the framework and describe the user interface as well as the file formats used.


title: Morsifications of real plane curve singularities

abstract: A real morsification of a real plane curve singularity is a real deformation given by a family of real analytic functions having only real Morse critical points with all saddles on the zero level. We prove the existence of real morsifications for real plane curve singularities having arbitrary real local branches and pairs of complex conjugate branches satisfying some conditions. This was known before only in the case of all local branches being real (A'Campo, Gusein-Zade). We also discuss a relation between real morsifications and the topology of singularities, extending to arbitrary real morsifications the Balke-Kaenders theorem, which states that the A'Campo--Gusein-Zade diagram associated to a morsification uniquely determines the topological type of a singularity.


title: An Induced Natural Selection Heuristic for Finding Optimal Bayesian Experimental Designs

abstract: Bayesian optimal experimental design has immense potential to inform the collection of data so as to subsequently enhance our understanding of a variety of processes. However, a major impediment is the difficulty in evaluating optimal designs for problems with large, or high-dimensional, design spaces. We propose an efficient search heuristic suitable for general optimisation problems, with a particular focus on optimal Bayesian experimental design problems. The heuristic evaluates the objective (utility) function at an initial, randomly generated set of input values. At each generation of the algorithm, input values are "accepted" if their corresponding objective (utility) function satisfies some acceptance criteria, and new inputs are sampled about these accepted points. We demonstrate the new algorithm by evaluating the optimal Bayesian experimental designs for the previously considered death, pharmacokinetic and logistic regression models. Comparisons to the current "gold-standard" method are given to demonstrate the proposed algorithm as a computationally-efficient alternative for moderately-large design problems (i.e., up to approximately 40-dimensions).


title: Cohomologies of locally conformally symplectic manifolds and solvmanifolds

abstract: We study the Morse-Novikov cohomology and its almost-symplectic counterpart on manifolds admitting locally conformally symplectic structures. More precisely, we introduce lcs cohomologies and we study elliptic Hodge theory, dualities, Hard Lefschetz Condition. We consider solvmanifolds and Oeljeklaus-Toma manifolds. In particular, we prove that Oeljeklaus-Toma manifolds with precisely one complex place, and under an additional arithmetic condition, satisfy the Mostow property. This holds in particular for the Inoue surface of type $S^0$.


title: Finite dimensional quantum Teichm\"uller space from the quantum torus at root of unity

abstract: Representation theory of the quantum torus Hopf algebra, when the parameter $q$ is a root of unity, is studied. We investigate a decomposition map of the tensor product of two irreducibles into the direct sum of irreducibles, realized as a `multiplicity module' tensored with an irreducible representation. The isomorphism between the two possible decompositions of the triple tensor product yields a map ${\bf T}$ between the multiplicity modules, called the 6j-symbols. We study the left and right dual representations, and correspondingly, the left and right representations on the ${\rm Hom}$ spaces of linear maps between representations. Using the isomorphisms of irreducibles to left and right duals, we construct a map ${\bf A}$ on a multiplicity module, encoding the permutation of the roles of the irreducible representations in the identification of the multiplicity module as the space of intertwiners between representations. We show that ${\bf T}$ and ${\bf A}$ satisfy certain consistency relations, forming a Kashaev-type quantization of the Teichm\"uller spaces of bordered Riemann surfaces. All constructions and proofs in the present work uses only plain representation theoretic language with the help of the notions of the left and the right dual and Hom representations, and therefore can be applied easily to other Hopf algebras for future works.


title: On Cartan's second main theorems for holomorphic curves on M-punctured complex planes

abstract: In this paper, we give some extension of fundamental theorems in Nevanlinna - Cartan theory for holomorphic curve on M punctured complex planes. As an application, we establish a result for uniqueness problem of holomorphic curve by inverse image of a hypersurface, it is improvement of some results before [8, 14] in this trend.


title: The electrocaloric effect in BaTiO$_3$ at all three ferroelectric transitions: anisotropy and inverse caloric effects

abstract: We study the electrocaloric (EC) effect in bulk BaTiO$_3$ (BTO) using molecular dynamics simulations of a first principles-based effective Hamiltonian, combined with direct measurements of the adiabatic EC temperature change in BTO single crystals. We examine in particular the dependence of the EC effect on the direction of the applied electric field at all three ferroelectric transitions, and we show that the EC response is strongly anisotropic. Most strikingly, an inverse caloric effect, i.e., a temperature increase under field removal, can be observed at both ferroelectric-ferroelectric transitions for certain orientations of the applied field. Using the generalized Clausius-Clapeyron equation, we show that the inverse effect occurs exactly for those cases where the field orientation favors the higher temperature/higher entropy phase. Our simulations show that temperature changes of around 1 K can in principle be obtained at the tetragonal-orthorhombic transition close to room temperature, even for small applied fields, provided that the applied field is strong enough to drive the system across the first order transition line. Our direct EC measurements for BTO single crystals at the cubic-tetragonal and at the tetragonal-orthorhombic transitions are in good qualitative agreement with our theoretical predictions, and in particular confirm the occurrence of an inverse EC effect at the tetragonal-orthorhombic transition for electric fields applied along the [001] pseudo-cubic direction.


title: Properties of atomic pairs produced in the collision of Bose-Einstein condensates

abstract: Collisions of Bose-Einstein condensates can be used as a mean to generate correlated pairs of atoms. The scattered massive particles, in analogy to photon pairs in quantum optics, might be used in the violation of Bell's inequalities, demonstration of Einstein-Podolsky-Rosen correlations, or sub-shot noise atomic interferometry. Usually, a theoretical description of the collision relies either on stochastic numerical methods or on analytical treatments involving various approximations. Here, we investigate elastic scattering of atoms from colliding elongated Bose-Einstein condensates within Bogoliubov method, carefully controlling performed approximations at every stage of the analysis. We derive expressions for the one and two particle correlation functions. The obtained formulas, which relate the correlation functions with condensate wavefunction, are convenient for numerical calculations. We employ variational approach for condensate wavefunctions to obtain analytical expressions for the correlation functions, which properties we analyze in details. We also present a useful semiclassical model of the process, and compare its results with the quantum one. The results are relevant for recent experiments with excited helium atoms, as well as for planned experiments aimed at investigating the nonclassicality of the system.


title: Ionisation of H$_2$O by a strong ultrashort XUV pulse: a model within the single active electron approximation

abstract: We present and discuss a new computationally inexpensive method to study, within the single active electron approximation, the interaction of a complex system with an intense ultrashort laser pulse. As a first application, we consider the one photon single ionisation of the highest occupied molecular orbital of the water molecule by a laser pulse. The ionisation yield is calculated for different orientations of the molecule with respect to the field polarization axis and for different carrier envelope phases of the pulse, and compared against predictions of another single active electron approach.


title: Effective Maxwell's equations in general periodic microstructures

abstract: We study the time harmonic Maxwell equations in a meta-material consisting of perfect conductors and void space. The meta-material is assumed to be periodic with period $\eta > 0$; we study the behaviour of solutions $(E^{\eta}, H^{\eta})$ in the limit $\eta \to 0$ and derive an effective system. In geometries with a non-trivial topology, the limit system implies that certain components of the effective fields vanish. We identify the corresponding effective system and can predict, from topological properties of the meta-material, whether or not it permits the propagation of waves.


title: Arrovian Aggregation of Convex Preferences

abstract: We consider social welfare functions that satisfy Arrow's classic axioms of independence of irrelevant alternatives and Pareto optimality when the outcome space is the convex hull of some finite set of alternatives. Individual and collective preferences are assumed to be continuous and convex, which guarantees the existence of maximal elements and the consistency of choice functions that return these elements, even without insisting on transitivity. We provide characterizations of both the domains of preferences and the social welfare functions that allow for anonymous Arrovian aggregation. The domains admit arbitrary preferences over alternatives, which completely determine an agent's preferences over all mixed outcomes. On these domains, Arrow's impossibility turns into a complete characterization of a unique social welfare function, which can be readily applied in settings involving divisible resources such as probability, time, or money.


title: A new approximation to the geometric-arithmetic index

abstract: The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and characterize graphs extremal with respect to them.


title: Simple zero property of some holomorphic functions on the moduli space of tori

abstract: We prove that some holomorphic functions on the moduli space of tori have only simple zeros. Instead of computing the derivative with respect to the moduli parameter $\tau$, we introduce a conceptual proof by applying Painlev\'{e} VI\ equation. As an application of this simple zero property, we obtain the smoothness of all the degeneracy curves of trivial critical points for some multiple Green function.


title: Treating Smoothness and Balance during Data Exchange in Explicit Simulator Coupling or Cosimulation

abstract: Cosimulation methods allow combination of simulation tools of physical systems running in parallel to act as a single simulation environment for a big system. As data is passed across subsystem boundaries instead of solving the system as one single equation system, it is not ensured that systemwide balances are fulfilled. If the exchanged data is a flow of a conserved quantity, approximation errors can accumulate and make simulation results inaccurate. The problem of approximation errors is typically addressed with extrapolation of exchanged data. Nevertheless balance errors occur as extrapolation is approximation. This problem can be handled with balance correction methods which compensate these errors by adding corrections for the balances to the signal in next coupling time step. This work aims at combining extrapolation of exchanged data and balance correction in a way that the exchanged signal not only remains smooth, meaning the existence of continuous derivatives, but even in a way reducing the derivatives, in order to avoid unphysical dynamics caused by the coupling. To this end, suitable switch and hat functions are constructed and applied to the problem.


title: Behavioral an real-time verification of a pipeline in the COSMA environment

abstract: The case study analyzed in the paper illustrates the example of model checking in the COSMA environment. The system itself is a three-stage pipeline consisting of mutually concurrent modules which also compete for a shared resource. System components are specified in terms of Concurrent State Machines (CSM) The paper shows verification of behavioral properties, model reduction technique, analysis of counter-example and checking of real time properties.


title: New lower bounds for the Geometric-Arithmetic index

abstract: The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and characterize graphs extremal with respect to them. Our main results provide lower bounds $GA_1(G)$ involving just the minimum and the maximum degree of the graph $G$.


title: Thermoelectric Transport through SU(N) Kondo Impurity

abstract: We investigate thermoelectric transport through a SU(N) quantum impurity in the Kondo regime. The strong coupling fixed point theory is described by the local Fermi-liquid paradigm. Using Keldysh technique we analyse the electric current through the quantum impurity at both finite bias voltage and finite temperature drop across it. The theory of a steady state at zero-current provides a complete description of the Seebeck effect. We find pronounced non-linear effects in temperature drop at low temperatures. We illustrate the significance of the non-linearities for enhancement of thermopower by two examples of SU(4) symmetric regimes characterized by a filling factor m: i) particle-hole symmetric at m=2 and ii) particle-hole non-symmetric at m=1. We analyse the effects of potential scattering and coupling asymmetry on the transport coefficients. We discuss connections between the theory and transport experiments with coupled quantum dots and carbon nanotubes.


title: Optochemically Responsive 2D Nanosheets of a 3D Metal-Organic Framework Material

abstract: Outstanding functional tunability underpinning metal-organic framework (MOF) confers a versatile platform to contrive next-generation chemical sensors, optoelectronics, energy harvesters and converters. We report a rare exemplar of a porous 2D nanosheet material, constructed from an extended 3D MOF structure. We develop a rapid supramolecular self-assembly methodology at ambient conditions, to synthesize readily-exfoliatable MOF nanosheets, functionalized in situ by adopting the Guest@MOF (Host) strategy. Nanoscale confinement of light-emitting molecules (as functional guest) inside the MOF pores generates unusual combination of optical, electronic, and chemical properties, arising from the strong host-guest coupling effects. We show highly promising photonics based chemical sensing opened up by the new Guest@MOF composite systems. By harnessing host-guest optochemical interactions of functionalized MOF nanosheets, we have accomplished detection of an extensive range of volatile organic compounds (VOCs) and small molecules important for many practical applications.


title: Interpolation between $H^{p(\cdot)}(\mathbb R^n)$ and $L^\infty(\mathbb R^n)$: Real Method

abstract: Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-H\"older continuous condition. In this article, the authors first obtain a decomposition for any distribution of the variable weak Hardy space into "good" and "bad" parts and then prove the following real interpolation theorem between the variable Hardy space $H^{p(\cdot)}(\mathbb R^n)$ and the space $L^{\infty}(\mathbb R^n)$: \begin{equation*} (H^{p(\cdot)}(\mathbb R^n),L^{\infty}(\mathbb R^n))_{\theta,\infty} =W\!H^{p(\cdot)/(1-\theta)}(\mathbb R^n),\quad \theta\in(0,1), \end{equation*} where $W\!H^{p(\cdot)/(1-\theta)}(\mathbb R^n)$ denotes the variable weak Hardy space. As an application, the variable weak Hardy space $W\!H^{p(\cdot)}(\mathbb R^n)$ with $p_-:=\mathop\mathrm{ess\,inf}_{x\in\rn}p(x)\in(1,\infty)$ is proved to coincide with the variable Lebesgue space $W\!L^{p(\cdot)}(\mathbb R^n)$.


title: Fluctuations in percolation of sparse complex networks

abstract: We study the role of fluctuations in percolation of sparse complex networks. To this end we consider two random correlated realizations of the initial damage of the nodes and we evaluate the fraction of nodes that are expected to remain in the giant component of the network in both cases or just in one case. Our framework includes a message-passing algorithm able to predict the fluctuations in a single network, and an analytic prediction of the expected fluctuations in ensembles of sparse networks. This approach is applied to real ecological and infrastructure networks and it is shown to characterize the expected fluctuations in their response to external damage.


title: 3D magnetization currents, magnetization loop, and saturation field in superconducting rectangular prisms

abstract: Bulk superconductors are used in both many applications and material characterization experiments, being the bulk shape of rectangular prism very frequent. However the magnetization currents are still mostly unknown for this kind of three dimensional (3D) shape, specially below the saturation magnetic field. Knowledge of the magnetization currents in this kind of samples is needed to interpret the measurements and the development of bulk materials for applications. This article presents a systematic analysis of the magnetization currents in prisms of square base and several thicknesses. We make this study by numerical modeling using a variational principle that enables high number of degrees of freedom. We also compute the magnetization loops and the saturation magnetic field, using a definition that is more relevant for thin prisms than previous ones. The article presents a practical analytical fit for any aspect ratio. For applied fields below the saturation field, the current paths are not rectangular, presenting 3D bending. The thickness-average results are consistent with previous modeling and measurements for thin films. The 3D bending of the current lines indicates that there could be flux cutting effects in rectangular prisms. The component of the critical current density in the applied field direction may play a role, being the magnetization currents in a bulk and a stack of tapes not identical.


title: Convolutional Neural Network on Three Orthogonal Planes for Dynamic Texture Classification

abstract: Dynamic Textures (DTs) are sequences of images of moving scenes that exhibit certain stationarity properties in time such as smoke, vegetation and fire. The analysis of DT is important for recognition, segmentation, synthesis or retrieval for a range of applications including surveillance, medical imaging and remote sensing. Deep learning methods have shown impressive results and are now the new state of the art for a wide range of computer vision tasks including image and video recognition and segmentation. In particular, Convolutional Neural Networks (CNNs) have recently proven to be well suited for texture analysis with a design similar to a filter bank approach. In this paper, we develop a new approach to DT analysis based on a CNN method applied on three orthogonal planes x y , xt and y t . We train CNNs on spatial frames and temporal slices extracted from the DT sequences and combine their outputs to obtain a competitive DT classifier. Our results on a wide range of commonly used DT classification benchmark datasets prove the robustness of our approach. Significant improvement of the state of the art is shown on the larger datasets.


title: Concerning partition regular matrices

abstract: A finite or infinite matrix $A$ is image partition regular provided that whenever $\mathbb N$ is finitely colored, there must be some $\vec{x}$ with entries from $\mathbb N$ such that all entries of $A\vec{x}$ are in some color class. In [6] and [8], the notion of centrally image partition regular matrices were introduced to extend the results of finite image partition regular matrices to infinite image partition regular matrices. It was shown that centrally image partition regular matrices are closed under diagonal sum. In the present paper, we show that the diagonal sum of two matrices, one of which comes from the class of all Milliken-Taylor matrices and the other from a suitable subclass of the class of all centrally image partition regular matrices is also image partition regular. This will produce more image partition regular matrices. We also study the multiple structures within one cell of a finite partition of $\mathbb N$ $\cdot$


title: Clustering of Gamma-Ray bursts through kernel principal component analysis

abstract: We consider the problem related to clustering of gamma-ray bursts (from "BATSE" catalogue) through kernel principal component analysis in which our proposed kernel outperforms results of other competent kernels in terms of clustering accuracy and we obtain three physically interpretable groups of gamma-ray bursts. The effectivity of the suggested kernel in combination with kernel principal component analysis in revealing natural clusters in noisy and nonlinear data while reducing the dimension of the data is also explored in two simulated data sets.


title: Dynamic of the three dimensional viscous primitive equations of large-scale atmosphere

abstract: The main objective of this paper is to study the existence of a finite dimension global attractor for the three dimensional viscous primitive equations of large-scale atmosphere. Thanks to the shortage of the uniqueness of weak solutions, we prove the existence of a global attractor with finite fractal dimension for the three dimensional viscous primitive equations of large-scale atmosphere by using the method of $\ell$-trajectories.