title: Photons in the Quantum World

abstract: Einstein's photo-electric effect allows us to regard electromagnetic waves as massless particles. Then, how is the photon helicity translated into the electric and magnetic fields perpendicular to the direction of propagation? This is an issue of the internal space-time symmetries defined by Wigner's little group for massless particles. It is noted that there are three generators for the rotation group defining the spin of a particle at rest. The closed set of commutation relations is a direct consequence of Heisenberg's uncertainty relations. The rotation group can be generated by three two-by-two Pauli matrices for spin-half particles. This group of two-by-two matrices is called SU(2), with two-component spinors. The direct product of two spinors leads to four states leading to one spin-0 state and one spin-1 state with three sub-states. The SU(2) group can be expanded to another group of two-by-two matrices called SL(2,c), which serves as the covering group for the group of Lorentz transformations. In this Lorentz-covariant regime, it is possible to Lorentz-boost the particle at rest to its infinite-momentum or massless state. Also in this SL(2,c) regime, there are four spin states for each particle, as in the case of the Dirac equation. The direct product of two SL(2,c) spinors thus leads sixteen states. Among them, four of them can be used for the electromagnetic four-potential, and six for the Maxwell tensor. The gauge degree of freedom is shown to be a Lorentz-boosted rotation. The polarization of massless neutrinos is interpreted as a consequence of the gauge invariance.

categories: quant-ph math-ph math.MP physics.hist-ph


title: Computational Tools in Weighted Persistent Homology

abstract: In this paper, we study further properties and applications of weighted homology and persistent homology. We introduce the Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology. For applications, we show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. We also prove a theorem that allows us to calculate the mod $p^2$ weighted persistent homology given some information on the mod $p$ weighted persistent homology.


title: Large deformation electrohydrodynamics of a Skalak elastic capsule in AC electric field

abstract: The axisymmetric electrohydrodynamic deformation of an elastic capsule with capacitive membrane obeying Skalak law under uniform AC electric field is investigated using analytical and boundary integral theory. The low capillary number (the ratio of destabilizing shear or electric force to the stabilizing elastic force) regime shows time-averaged prolate and oblate spheroid deformations, and the time-periodic prolate-sphere, oblate-sphere breathing modes are commensurate with the time averaged-deformation. A novel prolate-oblate breathing mode is observed due to an interplay of finite membrane charging time and the field reversal of the AC field. The study, when extended to high capillary number, shows new breathing modes of cylinder-prolate, cylinder-oblate, and biconcave-prolate deformation. These are the results of highly compressive normal Maxwell stress at the poles and are aided by weak compressive equatorial stress, characteristic of a capacitive membrane. The findings of this work should form the basis for the understanding of more complex biological cells and synthetic capsules for industrial applications.


title: Optimal Control with Irregular Performance

abstract: In this paper, we solve the long-standing fundamental problem of irregular linear--quadratic (LQ) optimal control, which has received significant attention since the 1960s. We derive the optimal controllers via the key technique of finding the analytical solutions to two different forward and backward differential equations (FBDEs). We give a complete solution to the finite-horizon irregular LQ control problem using a new `two-layer optimization' approach. We also obtain the necessary and sufficient condition for the existence of optimal and stabilizing solutions in the infinite-horizon case in terms of solutions to two Riccati equations and the stabilization of one specific system. For the first time, we explore the essential differences between irregular and standard LQ control, making a fundamental contribution to classical LQ control theory. We show that irregular LQ control is totally different from regular control as the irregular controller must guarantee the terminal state constraint of $P_1(T)x(T)=0$.


title: Outage Analysis of Ambient Backscatter Communication Systems

abstract: This paper addresses the problem of outage characterization of an ambient backscatter communication system with a pair of passive tag and reader. In particular, an exact expression for the effective channel distribution is derived. Then, the outage probability at the reader is analyzed rigorously. Since the expression contains an infinite sum, a tight truncation error bound has been derived to facilitate precise numerical evaluations. Furthermore, an asymptotic expression is provided for high signal-to-noise ratio (SNR) regime.


title: Twisting short dsDNA with applied tension

abstract: The twisting deformation of mechanically stretched DNA molecules is studied by a coarse grained Hamiltonian model incorporating the fundamental interactions that stabilize the double helix and accounting for the radial and angular base pair fluctuations. The latter are all the more important at short length scales in which DNA fragments maintain an intrinsic flexibility. The presented computational method simulates a broad ensemble of possible molecule conformations characterized by a specific average twist and determines the energetically most convenient helical twist by free energy minimization. As this is done for any external load, the method yields the characteristic twist-stretch profile of the molecule and also computes the changes in the macroscopic helix parameters i.e. average diameter and rise distance. It is predicted that short molecules under stretching should first over-twist and then untwist by increasing the external load. Moreover, applying a constant load and simulating a torsional strain which over-twists the helix, it is found that the average helix diameter shrinks while the molecule elongates, in agreement with the experimental trend observed in kilo-base long sequences. The quantitative relation between percent relative elongation and superhelical density at fixed load is derived. The proposed theoretical model and computational method offer a general approach to characterize specific DNA fragments and predict their macroscopic elastic response as a function of the effective potential parameters of the mesoscopic Hamiltonian.

categories: cond-mat.soft physics.bio-ph physics.chem-ph q-bio.BM


title: On the Inverse of Forward Adjacency Matrix

abstract: During routine state space circuit analysis of an arbitrarily connected set of nodes representing a lossless LC network, a matrix was formed that was observed to implicitly capture connectivity of the nodes in a graph similar to the conventional incidence matrix, but in a slightly different manner. This matrix has only 0, 1 or -1 as its elements. A sense of direction (of the graph formed by the nodes) is inherently encoded in the matrix because of the presence of -1. It differs from the incidence matrix because of leaving out the datum node from the matrix. Calling this matrix as forward adjacency matrix, it was found that its inverse also displays useful and interesting physical properties when a specific style of node-indexing is adopted for the nodes in the graph. The graph considered is connected but does not have any closed loop/cycle (corresponding to closed loop of inductors in a circuit) as with its presence the matrix is not invertible. Incidentally, by definition the graph being considered is a tree. The properties of the forward adjacency matrix and its inverse, along with rigorous proof, are presented.


title: Multivariate Copula Spatial Dependency in One Bit Compressed Sensing

abstract: In this letter, the problem of sparse signal reconstruction from one bit compressed sensing measurements is investigated. To solve the problem, a variational Bayes framework with a new statistical multivariate model is used. The dependency of the wavelet decomposition coefficients is modeled with a multivariate Gaussian copula. This model can separate marginal structure of coefficients from their intra scale dependency. In particular, the drawable Gaussian vine copula multivariate double Lomax model is suggested. The reconstructed signal is derived by variational Bayes algorithm which can calculate closed forms for posterior of all unknown parameters and sparse signal. Numerical results illustrate the effectiveness of the proposed model and algorithm compared with the competing approaches in the literature.


title: On the infinite Prandtl number limit in two-dimensional magneto-convection

abstract: In this paper, the infinite limit of the Prandtl number is justified for the two-dimensional incompressible magneto-convection, which describes the nonlinear interaction between the Rayleigh-B$\rm\acute{e}$nard convection and an externally magnetic field. Both the convergence rates and the thickness of initial layer are obtained. Moreover, based on the method of formal asymptotic expansions, an effective dynamics is constructed to simulate the motion within the initial layer.


title: Stacked Kernel Network

abstract: Kernel methods are powerful tools to capture nonlinear patterns behind data. They implicitly learn high (even infinite) dimensional nonlinear features in the Reproducing Kernel Hilbert Space (RKHS) while making the computation tractable by leveraging the kernel trick. Classic kernel methods learn a single layer of nonlinear features, whose representational power may be limited. Motivated by recent success of deep neural networks (DNNs) that learn multi-layer hierarchical representations, we propose a Stacked Kernel Network (SKN) that learns a hierarchy of RKHS-based nonlinear features. SKN interleaves several layers of nonlinear transformations (from a linear space to a RKHS) and linear transformations (from a RKHS to a linear space). Similar to DNNs, a SKN is composed of multiple layers of hidden units, but each parameterized by a RKHS function rather than a finite-dimensional vector. We propose three ways to represent the RKHS functions in SKN: (1)nonparametric representation, (2)parametric representation and (3)random Fourier feature representation. Furthermore, we expand SKN into CNN architecture called Stacked Kernel Convolutional Network (SKCN). SKCN learning a hierarchy of RKHS-based nonlinear features by convolutional operation with each filter also parameterized by a RKHS function rather than a finite-dimensional matrix in CNN, which is suitable for image inputs. Experiments on various datasets demonstrate the effectiveness of SKN and SKCN, which outperform the competitive methods.


title: Fitting Jump Models

abstract: We describe a new framework for fitting jump models to a sequence of data. The key idea is to alternate between minimizing a loss function to fit multiple model parameters, and minimizing a discrete loss function to determine which set of model parameters is active at each data point. The framework is quite general and encompasses popular classes of models, such as hidden Markov models and piecewise affine models. The shape of the chosen loss functions to minimize determine the shape of the resulting jump model.


title: Constraint Coupled Distributed Optimization: a Relaxation and Duality Approach

abstract: In this paper we consider a general, challenging distributed optimization set-up arising in several important network control applications. Agents of a network want to minimize the sum of local cost functions, each one depending on a local variable, subject to local and coupling constraints, with the latter involving all the decision variables. We propose a novel fully distributed algorithm based on a relaxation of the primal problem and an elegant exploration of duality theory. Despite its complex derivation, based on several duality steps, the distributed algorithm has a very simple and intuitive structure. That is, each node finds a primal-dual optimal solution pair of a local, relaxed version of the original problem, and then updates suitable auxiliary local variables. We prove that agents asymptotically compute their portion of an optimal (feasible) solution of the original problem. This primal recovery property is obtained without any averaging mechanism typically used in dual decomposition methods. To corroborate the theoretical results, we show how the methodology applies to an instance of a Distributed Model Predictive Control scheme in a microgrid control scenario.


title: A novel hierarchy of two-family-parameter equations: Local, nonlocal, and mixed-local-nonlocal vector nonlinear Schrodinger equations

abstract: We use two families of parameters $\{(\epsilon_{x_j}, \epsilon_{t_j})\,|\,\epsilon_{x_j,t_j}=\pm1,\, j=1,2,...,n\}$ to first introduce a unified novel two-family-parameter system (simply called ${\mathcal Q}^{(n)}_{\epsilon_{x_{\vec{n}}},\epsilon_{t_{\vec{n}}}}$ system), connecting integrable local, nonlocal, novel mixed-local-nonlocal, and other nonlocal vector nonlinear Schr\"odinger (VNLS) equations. The ${\mathcal Q}^{(n)}_{\epsilon_{x_{\vec{n}}}, \epsilon_{t_{\vec{n}}}}$ system with $(\epsilon_{x_j}, \epsilon_{t_j})=(\pm 1, 1),\, j=1,2,...,n$ is shown to possess Lax pairs and infinite number of conservation laws. Moreover, we also analyze the ${\mathcal PT}$ symmetry of the Hamiltonians with self-induced potentials. The multi-linear forms and some symmetry reductions are also studied. In fact, the used two families of parameters can also be extended to the general case $\{(\epsilon_{x_j}, \epsilon_{t_j}) | \epsilon_{x_j} = e^{i\theta_{x_j}}, \epsilon_{t_j} = e^{i\theta_{t_j}},\, \theta_{x_j}, \theta_{t_j}\in [0, 2\pi),\, j=1,2,...,n\}$ to generate more types of nonlinear equations. The two-family-parameter idea used in this paper can also be applied to other local nonlinear evolution equations such that novel integrable and non-integrable nonlocal and mixed-local-nonlocal systems can also be found.

categories: nlin.SI math-ph math.AP math.MP quant-ph


title: Malaria Likelihood Prediction By Effectively Surveying Households Using Deep Reinforcement Learning

abstract: We build a deep reinforcement learning (RL) agent that can predict the likelihood of an individual testing positive for malaria by asking questions about their household. The RL agent learns to determine which survey question to ask next and when to stop to make a prediction about their likelihood of malaria based on their responses hitherto. The agent incurs a small penalty for each question asked, and a large reward/penalty for making the correct/wrong prediction; it thus has to learn to balance the length of the survey with the accuracy of its final predictions. Our RL agent is a Deep Q-network that learns a policy directly from the responses to the questions, with an action defined for each possible survey question and for each possible prediction class. We focus on Kenya, where malaria is a massive health burden, and train the RL agent on a dataset of 6481 households from the Kenya Malaria Indicator Survey 2015. To investigate the importance of having survey questions be adaptive to responses, we compare our RL agent to a supervised learning (SL) baseline that fixes its set of survey questions a priori. We evaluate on prediction accuracy and on the number of survey questions asked on a holdout set and find that the RL agent is able to predict with 80% accuracy, using only 2.5 questions on average. In addition, the RL agent learns to survey adaptively to responses and is able to match the SL baseline in prediction accuracy while significantly reducing survey length.


title: CondenseNet: An Efficient DenseNet using Learned Group Convolutions

abstract: Deep neural networks are increasingly used on mobile devices, where computational resources are limited. In this paper we develop CondenseNet, a novel network architecture with unprecedented efficiency. It combines dense connectivity with a novel module called learned group convolution. The dense connectivity facilitates feature re-use in the network, whereas learned group convolutions remove connections between layers for which this feature re-use is superfluous. At test time, our model can be implemented using standard group convolutions, allowing for efficient computation in practice. Our experiments show that CondenseNets are far more efficient than state-of-the-art compact convolutional networks such as MobileNets and ShuffleNets.


title: Ordinary K3 surfaces over a finite field

abstract: We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a finite field, and refines earlier work by N.O. Nygaard and J.-D. Yu. Our main result is conditional on a conjecture on potential semi-stable reduction of K3 surfaces over p-adic fields. We give unconditional versions for K3 surfaces of large Picard rank and for K3 surfaces of small degree.


title: Inferring the population properties of binary neutron stars with gravitational-wave measurements of spin

abstract: The recent LIGO-Virgo detection of gravitational waves from a binary neutron star inspiral event GW170817 and the discovery of its accompanying electromagnetic signals mark a new era for multimessenger astronomy. In the coming years, advanced gravitational-wave detectors are likely to detect tens to hundreds of similar events. Neutron stars in binaries can possess significant spin, which is imprinted on the gravitational waveform via the effective spin parameter $\chi_\text{eff}$. We explore the astrophysical inferences made possible by gravitational-wave measurements of $\chi_\text{eff}$. First, using a fiducial model informed by radio observations, we estimate that $\approx15-30\%$ of binary neutron stars should have spins measurable at $\gtrsim 90\%$ confidence level by advanced detectors assuming the spin axis of the recycled neutron star aligns with the total orbital angular momentum of the binary. Second, using Bayesian inference, we show that it is possible to tell whether or not the spin axis of the recycled neutron star tends to be aligned with the binary orbit using $\gtrsim 30$ detections. Finally, interesting constraints can be placed on neutron star magnetic field decay after $\gtrsim 300$ detections, if the spin periods and magnetic field strengths of Galactic binary neutron stars are representative of the merging population.


title: Correlated Eigenvalues Optical Communications

abstract: There is a fundamental limit on the capacity of fibre optical communication system (Shannon Limit). This limit can be potentially overcome via using Nonlinear Frequency Division Multiplexing. Dealing with noises in these systems is one of the most critical parts in implementing a practical system. In this paper, we discover and characterize the correlations among the NFT channels. It is demonstrated that the correlation is universal (i.e., independent of types of system noises) and can be exploited to maximize transmission throughput. We propose and experimentally confirm a noise model showing that end-to-end noise can be modeled as the accumulation of noise associated with each segment of optical communication which can be dealt with independently. Also, each point noise can be further decomposed into different components, some of which are more significant (and even dominating) than others. Hence, one can further approximate and simplify the noise model by focusing on the significant component.


title: The convergence of operational Tau method for solving a class of nonlinear Fredholm fractional integro-differential equations on Legendre basis

abstract: In this paper, we investigate approximate solutions for nonlinear Fredholm integro-differential equations of fractional order. We present an operational Tau method by obtaining the Tau matrix representation. We solve a special class of nonlinear Fredholm integro-differential equations based on Legendre-Tau method. By using the Sobolev inequality and some of Banach algebra properties, we prove that our proposed method converges to the exact solution in L^2-norm.


title: A-Evac: the evacuation simulator for stochastic environment

abstract: We introduce an open-source software Aamks for fire risk assessment. This article focuses on a component of Aamks - an evacuation simulator named a-evac. A-evac models evacuation of humans in the fire environment produced by CFAST fire simulator. In the article we discuss the probabilistic evacuation approach, automatic planning of exit routes, the interactions amongst the moving evacuees and the impact of smoke on the humans. The results consist of risk values based on FED, F-N curves and evacuation animations.


title: A general approximation approach for the simultaneous treatment of integral and discrete operators

abstract: In this paper we give a unitary approach for the simultaneous study of the convergence of discrete and integral operators described by means of a family of linear continuous functionals acting on functions defined on locally compact Hausdorff topological groups. The general family of operators introduced and studied includes very well-known operators in the literature. We give results of uniform convergence, and modular convergence in the general setting of Orlicz spaces.The latter result allow us to cover many other settings as the $L^p$-spaces, the interpolation spaces, the exponential spaces and many others.


title: Extrapolation-Based Super-Convergent Implicit-Explicit Peer Methods with A-stable Implicit Part

abstract: In this paper, we extend the implicit-explicit (IMEX) methods of Peer type recently developed in [Lang, Hundsdorfer, J. Comp. Phys., 337:203--215, 2017] to a broader class of two-step methods that allow the construction of super-convergent IMEX-Peer methods with A-stable implicit part. IMEX schemes combine the necessary stability of implicit and low computational costs of explicit methods to efficiently solve systems of ordinary differential equations with both stiff and non-stiff parts included in the source term. To construct super-convergent IMEX-Peer methods with favourable stability properties, we derive necessary and sufficient conditions on the coefficient matrices and apply an extrapolation approach based on already computed stage values. Optimised super-convergent IMEX-Peer methods of order s+1 for s=2,3,4 stages are given as result of a search algorithm carefully designed to balance the size of the stability regions and the extrapolation errors. Numerical experiments and a comparison to other IMEX-Peer methods are included.


title: The influence of the Coulomb interaction in electron bunch on the structural parameters determined by time-resolved electron diffraction

abstract: Transition to temporal resolution on the order of 1 ps or less raises a number of questions associated with estimation of the accuracy of the dynamic parameters based on the analysis of time-dependent scattering intensity. The use of ultrashort pulses leads to the necessity for increasing the total exposure time and lengthening the time of data acquisition. This can be to some extent mitigated by increasing the charge per pulse. Increasing in the number of electrons, however, is limited by the Coulomb repulsion between them, which leads on one hand, to distortion of the diffraction pattern, and the other hand to increase the duration of the pulse. The analytical technique for estimating the deformation of the diffraction pattern caused by the Coulomb repulsion of the electrons in the electron bunch with duration of less than 10 ps, and the influence of this effect on the accuracy of determination of the interatomic distances is developed.


title: Integrable ${\mathcal PT}$-symmetric local and nonlocal vector nonlinear Schr\"odinger equations: a unified two-parameter model

abstract: We introduce a new unified two-parameter $\{(\epsilon_x, \epsilon_t)\,|\epsilon_{x,t}=\pm1\}$ wave model (simply called ${\mathcal Q}_{\epsilon_x,\epsilon_t}^{(n)}$ model), connecting integrable local and nonlocal vector nonlinear Schr\"odinger equations. The two-parameter $(\epsilon_x, \epsilon_t)$ family also brings insight into a one-to-one connection between four points $(\epsilon_x, \epsilon_t)$ (or complex numbers $\epsilon_x+i\epsilon_t$) with $\{{\mathcal I}, {\mathcal P}, {\mathcal T}, {\mathcal PT}\}$ symmetries for the first time. The ${\mathcal Q}_{\epsilon_x,\epsilon_t}^{(n)}$ model with $(\epsilon_x, \epsilon_t)=(\pm 1, 1)$ is shown to possess a Lax pair and infinite number of conservation laws, and to be ${\mathcal PT}$ symmetric. Moreover, the Hamiltonians with self-induced potentials are shown to be ${\mathcal PT}$ symmetric only for ${\mathcal Q}_{-1,-1}^{(n)}$ model and to be ${\mathcal T}$ symmetric only for ${\mathcal Q}_{+1,-1}^{(n)}$ model. The multi-linear form and some self-similar solutions are also given for the ${\mathcal Q}_{\epsilon_x,\epsilon_t}^{(n)}$ model including bright and dark solitons, periodic wave solutions, and multi-rogue wave solutions.

categories: nlin.SI math-ph math.AP math.MP physics.class-ph physics.comp-ph


title: Assessment of sound spatialisation algorithms for sonic rendering with headsets

abstract: Given an input sound signal and a target virtual sound source, sound spatialisation algorithms manipulate the signal so that a listener perceives it as though it were emitted from the target source. There exist several established spatialisation approaches that deliver satisfactory results when loudspeakers are used to playback the manipulated signal. As headphones have a number of desirable characteristics over loudspeakers, such as portability, isolation from the surrounding environment, cost and ease of use, it is interesting to explore how a sense of acoustic space can be conveyed through them. This article first surveys traditional spatialisation approaches intended for loudspeakers, and then reviews them with regard to their adaptability to headphones.


title: Micropillars with a controlled number of site-controlled quantum dots

abstract: We report on the realization of micropillars with site-controlled quantum dots (SCQDs) in the active layer. The SCQDs are grown via the buried stressor approach which allows for the positioned growth and device integration of a controllable number of QDs with high optical quality. This concept is very powerful as the number and the position of SCQDs in the cavity can be simultaneously controlled by the design of the buried stressor. The fabricated micropillars exhibit a high degree of position control for the QDs above the buried stressor and $Q$-factors of up to 12000 at an emission wavelength around 930 nm. We experimentally analyze and numerically model the cavity $Q$-factor, the mode volume, the Purcell factor and the photon-extraction efficiency as a function of the aperture diameter of the buried stressor. Exploiting these SCQD micropillars, we experimentally observe the Purcell enhancement in the single-QD regime with $F_P$ = 4.3 $\pm$ 0.3.


title: Commutative/Non-Commutative Dualities

abstract: We show that it is in principle possible to construct dualities between commutative and non-commutative theories in a systematic way. This construction exploits a generalization of the exact renormalization group equation (ERG). We apply this to the simple case of the Landau problem and then generalize it to the free and interacting non-canonical scalar field theory. This constructive approach offers the advantage of tracking the implementation of the Lorentz symmetry in the non-commutative dual theory. In principle, it allows for the construction of completely consistent non-commutative and non-local theories where the Lorentz symmetry and unitarity are still respected, but may be implemented in a highly non-trivial and non-local manner.


title: Calculating the algebraic entropy of mappings with unconfined singularities

abstract: We present a method for calculating the dynamical degree of a mapping with unconfined singularities. It is based on a method introduced by Halburd for the computation of the growth of the iterates of a rational mapping with confined singularities. In particular, we show through several examples how simple calculations, based on the singularity patterns of the mapping, allow one to obtain the exact value of the dynamical degree for nonintegrable mappings that do not possess the singularity confinement property. We also study linearisable mappings with unconfined singularities to show that in this case our method indeed yields zero algebraic entropy.


title: Nova Ophiuchus 2017 as a probe of $^{13}$C nucleosynthesis and carbon monoxide formation and destruction in classical novae

abstract: We present a series of near-infrared spectra of Nova Ophiuchus 2017 in the $K$ band that record the evolution of the first overtone CO emission in unprecedented detail. Starting from 11.7d after maximum, when CO is first detected at great strength, the spectra track the CO emission to +25.6d by which time it is found to have rapidly declined in strength by almost a factor of $\sim$ 35. The cause for the rapid destruction of CO is examined in the framework of different mechanisms for CO destruction viz. an increase in photoionizating flux, chemical pathways of destruction or destruction by energetic non-thermal particles created in shocks. From LTE modelling of the CO emission, the $^{12}$C/$^{13}$C ratio is determined to be 1.6 $\pm$ 0.3. This is consistent with the expected value of this parameter from nucleosynthesis theory for a nova eruption occuring on a low mass ($\sim$ 0.6 M$_\odot$) carbon-oxygen core white dwarf. The present $^{12}$C/$^{13}$C estimate constitutes one of the most secure estimates of this ratio in a classical nova.


title: Axial $U(1)$ symmetry at high temperature in 2-flavor lattice QCD

abstract: We investigate the axial $U(1)_A$ symmetry breaking above the critical temperature in two-flavor lattice QCD. The ensembles are generated with dynamical M\"obius domain-wall or reweighted overlap fermions. The $U(1)_A$ susceptibility is extracted from the low-modes spectrum of the overlap Dirac eigenvalues. We show the quark mass and temperature dependences of $U(1)_A$ susceptibility. Our results at $T=220 \, \mathrm{MeV}$ imply that the $U(1)_A$ symmetry is restored in the chiral limit. Its coincidence with vanishing topological susceptibility is observed.


title: Particle Trajectories for Quantum Field Theory

abstract: The formulation of quantum mechanics developed by Bohm, which can generate well-defined trajectories for the underlying particles in the theory, can equally well be applied to relativistic Quantum Field Theories to generate dynamics for the underlying fields. However, it does not produce trajectories for the particles associated with these fields. Bell has shown that an extension of Bohm's approach can be used to provide dynamics for the fermionic occupation numbers in a relativistic Quantum Field Theory. In the present paper, Bell's formulation is adopted and elaborated on, with a full account of all technical detail required to apply his approach to a bosonic quantum field theory on a lattice. This allows an explicit computation of (stochastic) trajectories for massive and massless particles in this theory. Also particle creation and annihilation, and their impact on particle propagation, is illustrated using this model.


title: New closed analytical solutions for geometrically thick fluid tori around black holes: Numerical evolution and the onset of the magneto-rotational instability

abstract: When a black hole is accreting well below the Eddington rate, a geometrically thick, radiatively inefficient state of the accretion disk is established. There is a limited number of closed-form physical solutions for geometrically thick (non-selfgravitating) toroidal equilibria of perfect fluids orbiting a spinning black hole, and these are predominantly used as initial conditions for simulations of accretion in the aforementioned mode. However, different initial configurations might lead to different results and thus observational predictions drawn from such simulations. We expand the known equilibria by a number of closed multiparametric solutions with various possibilities of rotation curves and geometric shapes. Then, we ask whether choosing these as initial conditions influences the onset of accretion and the asymptotic state of the disk. We investigate a set of examples from the derived solutions in detail; we analytically estimate the growth of the magneto-rotational instability (MRI) from their rotation curves and evolve the analytically obtained tori using the 2D magneto-hydrodynamical code HARM. Properties of the evolutions are then studied through the mass, energy, and angular-momentum accretion rates. The rotation curve has a decisive role in the numerical onset of accretion in accordance with our analytical MRI estimates: In the first few orbital periods, the average accretion rate is linearly proportional to the initial MRI rate in the toroids. The final state obtained from any initial condition within the studied class after an evolution of $\gtrsim 10$ orbital periods is mostly qualitatively identical and the quantitative properties vary within a single order of magnitude. The average values of the energy of the accreted fluid have an irregular dependency on initial data, and in some cases fluid with energies many times its rest mass is systematically accreted.


title: Granular clustering of de novo protein models

abstract: Modern algorithms for de novo prediction of protein structures typically output multiple full-length models (decoys) rather than a single solution. Subsequent clustering of such decoys is used both to gauge the success of the modelling and to decide on the most native-like conformation. At the same time, partial protein models are sufficient for some applications such as crystallographic phasing by molecular replacement (MR) in particular, provided these models represent a certain part of the target structure with reasonable accuracy. Here we propose a novel clustering algorithm that natively operates in the space of partial models through an approach known as granular clustering (GC). The algorithm is based on growing local similarities found in a pool of initial decoys. We demonstrate that the resulting clusters of partial models provide a substantially more accurate structural detail on the target protein than those obtained upon a global alignment of decoys. As the result, the partial models output by our GC algorithm are also much more effective towards the MR procedure, compared to the models produced by existing software. The source code is freely available at https://github.com/biocryst/gc


title: On the Relations of Correlation Filter Based Trackers and Struck

abstract: In recent years, two types of trackers, namely correlation filter based tracker (CF tracker) and structured output tracker (Struck), have exhibited the state-of-the-art performance. However, there seems to be lack of analytic work on their relations in the computer vision community. In this paper, we investigate two state-of-the-art CF trackers, i.e., spatial regularization discriminative correlation filter (SRDCF) and correlation filter with limited boundaries (CFLB), and Struck, and reveal their relations. Specifically, after extending the CFLB to its multiple channel version we prove the relation between SRDCF and CFLB on the condition that the spatial regularization factor of SRDCF is replaced by the masking matrix of CFLB. We also prove the asymptotical approximate relation between SRDCF and Struck on the conditions that the spatial regularization factor of SRDCF is replaced by an indicator function of object bounding box, the weights of SRDCF in its loss item are replaced by those of Struck, the linear kernel is employed by Struck, and the search region tends to infinity. Extensive experiments on public benchmarks OTB50 and OTB100 are conducted to verify our theoretical results. Moreover, we explain how detailed differences among SRDCF, CFLB, and Struck would give rise to slightly different performances on visual sequences


title: Genericity and Universality for Operator Ideals

abstract: A bounded linear operator $U$ between Banach spaces is universal for the complement of some operator ideal $\mathfrak{J}$ if it is a member of the complement and it factors through every element of the complement of $\mathfrak{J}$. In the first part of this paper, we produce new universal operators for the complements of several ideals and give examples of ideals whose complements do not admit such operators. In the second part of the paper, we use Descriptive Set Theory to study operator ideals. After restricting attention to operators between separable Banach spaces, we call an operator ideal $\mathfrak{J}$ generic if anytime an operator $A$ has the property that every operator in $\mathfrak{J}$ factors through a restriction of $A$, then every operator between separable Banach spaces factors through a restriction of $A$. We prove that many of classical operator ideals are generic (i.e. strictly singular, weakly compact, Banach-Saks) and give a sufficient condition, based on the complexity of the ideal, for when the complement does not admit a universal operator. Another result is a new proof of a theorem of M. Girardi and W.B. Johnson which states that there is no universal operator for the complement of the ideal of completely continuous operators.


title: On piecewise expanding maps

abstract: We study the statistical properties of piecewise expanding maps in the general setting of metric measure spaces. We provide sufficient conditions for exponential mixing of such systems with explicit estimates on the constants. We also provide sufficient conditions for the existence of inducing schemes where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures can then be used to deduce finer statistical properties.


title: Weak disorder enhancing the production of entanglement in quantum walks

abstract: We find out a few ways to improve the realization of entanglement between the internal (spin) and external (position) degrees of freedom of a quantum particle, through the insertion of disordered time steps along a one-dimensional discrete time quantum walk. The disorder is introduced by a randomly chosen quantum coin obtained from a uniform distribution among infinite quantum coins or only between Hadamard and Fourier coins for all the time steps. We can also decrease the amount of disorder by alternating disordered and ordered time steps along a quantum walk or by establishing a probability $p<0.5$ to pick a Fourier coin instead of a Hadamard one for each time step. Our results show that both scenarios lead to maximal entanglement outperforming the ordered quantum walks. However, these last scenarios are more efficient to create entanglement, once they achieve high entanglement rates in fewer time steps than the former ones. In order to compare distinct disordered cases, we perform an average entanglement calculation along the time by averaging over a large set of initial spin states starting from local and Gaussian position states. Some transient behaviors from order to disorder in quantum walks are also evaluated and discussed. Experimental remarks based on available experimental platforms are made.


title: Solar flares and their associated processes

abstract: The evolution of the solar neutrino flux which is described by the wave function $\Psi^T=(\nu_{eL},\nu_{XL}, \overline{\nu}_{eL}, \overline{\nu}_{XL})$ is examined. Our treatment of the problem holds for any standard model (SM) extensions possessing nonzero dipole magnetic and anapole moments. When the solar neutrino flux moves through the solar flare (SF) region in the preflare period, then it undergoes the additional (compared with the SM) resonance conversions. As a result, the weakening the electron neutrinos flux takes place. On the other hand, existence of the additional resonances lead to appearance of the $\overline{\nu}_{eL}$ and $\overline{\nu}_{XL}$ neutrinos that could be detected by the terrestrial detectors. The hypothesis of the $\nu_e$-induced $\beta$-decays is also discussed. According to it, before the large SF, decreasing the $\beta$-decay rate for some elements takes place. The possible influence of the electron antineutrino flux produced in the superflares on the regime of the hypothetical georeactor is considered.


title: Domain decomposition and multiscale mortar mixed finite element methods for linear elasticity with weak stress symmetry

abstract: Two non-overlapping domain decomposition methods are presented for the mixed finite element formulation of linear elasticity with weakly enforced stress symmetry. The methods utilize either displacement or normal stress Lagrange multiplier to impose interface continuity of normal stress or displacement, respectively. By eliminating the interior subdomain variables, the global problem is reduced to an interface problem, which is then solved by an iterative procedure. The condition number of the resulting algebraic interface problem is analyzed for both methods. A multiscale mortar mixed finite element method for the problem of interest on non-matching multiblock grids is also studied. It uses a coarse scale mortar finite element space on the non-matching interfaces to approximate the trace of the displacement and impose weakly the continuity of normal stress. A priori error analysis is performed. It is shown that, with appropriate choice of the mortar space, optimal convergence on the fine scale is obtained for the stress, displacement, and rotation, as well as some superconvergence for the displacement. Computational results are presented in confirmation of the theory of all proposed methods.


title: Interfaces of high efficient kesterite Cu2ZnSnS(e)4 thin film solar cells

abstract: Cu2ZnSnS(e)4 (CZTS(e)) solar cells have attracted much attention due to the elemental abundance and the non-toxicity. However, the record efficiency of 12.6% for Cu2ZnSn(S,Se)4 (CZTSSe) solar cells is much lower than that of Cu(In,Ga)Se2 (CIGS) solar cells. One crucial reason is the recombination at interfaces. In recent years, large amount investigations have been done to analyze the interfacial problems and improve the interfacial properties via a variety of methods. This paper gives a review of progresses on interfaces of CZTS(e) solar cells, including: (1) the band alignment optimization at buffer/CZTS(e) interface, (2) tailoring the thickness of MoS(e)2 interfacial layers between CZTS(e) absorber and Mo back contact, (3) the passivation of rear interface, (4) the passivation of front interface, and (5) the etching of secondary phases.


title: Learning 3D Human Pose from Structure and Motion

abstract: 3D human pose estimation from a single image is a challenging problem, especially for in-the-wild settings due to the lack of 3D annotated data. We propose two anatomically inspired loss functions and use them with a weakly-supervised learning framework to jointly learn from large-scale in-the-wild 2D and indoor/synthetic 3D data. We also present a simple temporal network that exploits temporal and structural cues present in predicted pose sequences to temporally harmonize the pose estimations. We carefully analyze the proposed contributions through loss surface visualizations and sensitivity analysis to facilitate deeper understanding of their working mechanism. Our complete pipeline improves the state-of-the-art by 11.8% and 12% on Human3.6M and MPI-INF-3DHP, respectively, and runs at 30 FPS on a commodity graphics card.


title: When Do Users Change Their Profile Information on Twitter?

abstract: We can see profile information such as name, description and location in order to know the user on social media. However, this profile information is not always fixed. If there is a change in the user's life, the profile information will be changed. In this study, we focus on user's profile information changes and analyze the timing and reasons for these changes on Twitter. The results indicate that the peak of profile information change occurs in April among Japanese users, but there was no such trend observed for English users throughout the year. Our analysis also shows that English users most frequently change their names on their birthdays, while Japanese users change their names as their Twitter engagement and activities decrease over time.


title: Giant magnon-like solution in Sch_5 x S^5

abstract: In this paper we have found a classical giant magnon-like solution with both infinite and finite angular momentum moving in Sch_5 x S^5 with B-field, which is believed to be dual to dipole-deformed N=4 super Yang-Mills theory. This string state propagates as a point particle in non-trivial subspace of the Sch_5 space but shows a giant magnon-like property in the S^2 subspace. We derive the energy-momentum dispersion relations and their finite-size correction for the case of finite but large angular momentum.


title: Erland Samuel Bring's "Transformation of Algebraic Equations"

abstract: We translate Erland Samuel Bring's treatise Meletemata quaedam Mathematica circa Transformationem Aequationum Alebraicarum (Some selected mathematics on the Transformation of Algebraic Equations) written as his Promotionschrift at the University of Lund in 1786, from its Latin into English, with modern mathematical notation. Bring (1736 - 98) made important contributions to algebraic equations and obtained the canonical form x^5+px+q = 0 for quintics before Jerrard, Ruffini and Abel. In due course, he realized the significance of the projective curve which now bears his name: the complete intersection of the homogeneous Fermat polynomials of degrees 1,2,3 in CP^4.


title: Magnetism and the Invisible Man: The mysteries of coronal cavities

abstract: Magnetism defines the complex and dynamic solar corona. Twists and tangles in coronal magnetic fields build up energy and ultimately erupt, hurling plasma into interplanetary space. These coronal mass ejections (CMEs) are transient riders on the ever-outflowing solar wind, which itself possesses a three-dimensional morphology shaped by the global coronal magnetic field. Coronal magnetism is thus at the heart of any understanding of the origins of space weather at the Earth. However, we have historically been limited by the difficulty of directly measuring the magnetic fields of the corona, and have turned to observations of coronal plasma to trace out magnetic structure. This approach is complicated by the fact that plasma temperatures and densities vary among coronal magnetic structures, so that looking at any one wavelength of light only shows part of the picture. In fact, in some regimes it is the lack of plasma that is a significant indicator of the magnetic field. Such a case is the coronal cavity: a dark, elliptical region in which strong and twisted magnetism dwells. I will elucidate these enigmatic features by presenting observations of coronal cavities in multiple wavelengths and from a variety of observing vantages, including unprecedented coronal magnetic field measurements now being obtained by the Coronal Multichannel Polarimeter (CoMP). These observations demonstrate the presence of twisted magnetic fields within cavities, and also provide clues to how and why cavities ultimately erupt as CMEs.


title: An Energy Efficient Spectrum Sensing in Cognitive Radio Wireless Sensor Networks

abstract: The cognitive radio wireless sensor networks have become an integral part of communicating spectrum information to the fusion center, in a cooperative spectrum sensing environment. A group of battery operated sensors or nodes, sensing information about spectrum availability in the radio links, needs an energy efficient strategy to pass on the binary information. A proper routing method through intelligent decision making can be a good solution. In this paper, an energy efficient routing protocol has been introduced and a performance comparison is made with the existing system in terms of its energy consumption. The proposed routing technique considers both uniform and non-uniform clustering strategies and proves to be an energy efficient method of communication.


title: Expectation maximization transfer learning and its application for bionic hand prostheses

abstract: Machine learning models in practical settings are typically confronted with changes to the distribution of the incoming data. Such changes can severely affect the model performance, leading for example to misclassifications of data. This is particularly apparent in the domain of bionic hand prostheses, where machine learning models promise faster and more intuitive user interfaces, but are hindered by their lack of robustness to everyday disturbances, such as electrode shifts. One way to address changes in the data distribution is transfer learning, that is, to transfer the disturbed data to a space where the original model is applicable again. In this contribution, we propose a novel expectation maximization algorithm to learn linear transformations that maximize the likelihood of disturbed data after the transformation. We also show that this approach generalizes to discriminative models, in particular learning vector quantization models. In our evaluation on data from the bionic prostheses domain we demonstrate that our approach can learn a transformation which improves classification accuracy significantly and outperforms all tested baselines, if few data or few classes are available in the target domain.


title: The Partition Function Of Argyres-Douglas Theory On A Four-Manifold

abstract: Using the $u$-plane integral as a tool, we derive a formula for the partition function of the simplest nontrivial (topologically twisted) Argyres-Douglas theory on compact, oriented, simply connected, four-manifolds without boundary and with $b_2^+>0$. The result can be expressed in terms of classical cohomological invariants and Seiberg-Witten invariants. Our results hint at the existence of standard four-manifolds that are not of Seiberg-Witten simple type.


title: Optimal Gossip Algorithms for Exact and Approximate Quantile Computations

abstract: This paper gives drastically faster gossip algorithms to compute exact and approximate quantiles. Gossip algorithms, which allow each node to contact a uniformly random other node in each round, have been intensely studied and been adopted in many applications due to their fast convergence and their robustness to failures. Kempe et al. [FOCS'03] gave gossip algorithms to compute important aggregate statistics if every node is given a value. In particular, they gave a beautiful $O(\log n + \log \frac{1}{\epsilon})$ round algorithm to $\epsilon$-approximate the sum of all values and an $O(\log^2 n)$ round algorithm to compute the exact $\phi$-quantile, i.e., the the $\lceil \phi n \rceil$ smallest value. We give an quadratically faster and in fact optimal gossip algorithm for the exact $\phi$-quantile problem which runs in $O(\log n)$ rounds. We furthermore show that one can achieve an exponential speedup if one allows for an $\epsilon$-approximation. We give an $O(\log \log n + \log \frac{1}{\epsilon})$ round gossip algorithm which computes a value of rank between $\phi n$ and $(\phi+\epsilon)n$ at every node.% for any $0 \leq \phi \leq 1$ and $0 < \epsilon < 1$. Our algorithms are extremely simple and very robust - they can be operated with the same running times even if every transmission fails with a, potentially different, constant probability. We also give a matching $\Omega(\log \log n + \log \frac{1}{\epsilon})$ lower bound which shows that our algorithm is optimal for all values of $\epsilon$.


title: Curvature dependence of quantum gravity

abstract: We investigate the phase diagram of quantum gravity with a vertex expansion about constantly-curved backgrounds. The graviton two- and three-point function are evaluated with a spectral sum on a sphere. We obtain, for the first time, curvature-dependent UV fixed point functions of the dynamical fluctuation couplings $g^*(R)$, $\mu^*(R)$, and $\lambda_3^*(R)$, and the background $f(R)$-potential. Based on these fixed point functions we compute solutions to the quantum and the background equation of motion with and without Standard Model matter. We have checked that the solutions are robust against changes of the truncation.


title: Privacy Risks from Public Data Sources

abstract: In the fight against tax evaders and other cheats, governments seek to gather more information about their citizens. In this paper we claim that this increased transparency, combined with ineptitude, or corruption, can lead to widespread violations of privacy, ultimately harming law-abiding individuals while helping those engaged in criminal activities such as stalking, identity theft and so on. In this paper we survey a number of data sources administrated by the Greek state, offered as web services, to investigate whether they can lead to leakage of sensitive information. Our study shows that we were able to download significant portions of the data stored in some of these data sources (scraping). Moreover, for those data sources that were not amenable to scraping we looked at ways of extracting information for specific individuals that we had identified by looking at other data sources. The vulnerabilities we have discovered enable the collection of personal data and, thus, open the way for a variety of impersonation attacks, identity theft, confidence trickster attacks and so on. We believe that the lack of a big picture which was caused by the piecemeal development of these data sources hides the true extent of the threat. Hence, by looking at all these data sources together, we outline a number of mitigation strategies that can alleviate some of the most obvious attack strategies. Finally, we look at measures that can be taken in the longer term to safeguard the privacy of the citizens.


title: On Exact Sequences of the Rigid Fibrations

abstract: In 2002, Biss investigated on a kind of fibration which is called rigid covering fibration (we rename it by rigid fibration) with properties similar to covering spaces. In this paper, we obtain a relation between arbitrary topological spaces and its rigid fibrations. Using this relation we obtain a commutative diagram of homotopy groups and quasitopological homotopy groups and deduce some results in this field.


title: Hamiltonian Path in Split Graphs- a Dichotomy

abstract: In this paper, we investigate Hamiltonian path problem in the context of split graphs, and produce a dichotomy result on the complexity of the problem. Our main result is a deep investigation of the structure of $K_{1,4}$-free split graphs in the context of Hamiltonian path problem, and as a consequence, we obtain a polynomial-time algorithm to the Hamiltonian path problem in $K_{1,4}$-free split graphs. We close this paper with the hardness result: we show that, unless P=NP, Hamiltonian path problem is NP-complete in $K_{1,5}$-free split graphs by reducing from Hamiltonian cycle problem in $K_{1,5}$-free split graphs. Thus this paper establishes a "thin complexity line" separating NP-complete instances and polynomial-time solvable instances.


title: Optimal design with EGM approach in conjugate natural convection with surface radiation in a two-dimensional enclosure

abstract: Analysis of conjugate natural convection with surface radiation in a two-dimensional enclosure is carried out in order to search the optimal location of the heat source with entropy generation minimization (EGM) approach and conventional heat transfer parameters. The air as an incompressible fluid and transparent media is considered the fluid filling the enclosure with the steady and laminar regime. The enclosure internal surfaces are also gray, opaque and diffuse. The governing equations with stream function and vorticity formulation are solved using finite difference approach. Results include the effect of Rayleigh number and emissivity on the dimensionless average rate of entropy generation and its optimum location. The optimum location search with conventional heat transfer parameters including maximum temperature and Nusselt numbers are also examined.


title: Top-quark mass determination at the LHC: a theory overview

abstract: I briefly overview the methods employed at the LHC to extract the top-quark mass, taking particular care about the theory uncertainty and the dependence on the Monte Carlo hadronization parameters.


title: Predictive Learning: Using Future Representation Learning Variantial Autoencoder for Human Action Prediction

abstract: The unsupervised Pretraining method has been widely used in aiding human action recognition. However, existing methods focus on reconstructing the already present frames rather than generating frames which happen in future.In this paper, We propose an improved Variantial Autoencoder model to extract the features with a high connection to the coming scenarios, also known as Predictive Learning. Our framework lists as following: two steam 3D-convolution neural networks are used to extract both spatial and temporal information as latent variables. Then a resample method is introduced to create new normal distribution probabilistic latent variables and finally, the deconvolution neural network will use these latent variables generate next frames. Through this possess, we train the model to focus more on how to generate the future and thus it will extract the future high connected features. In the experiment stage, A large number of experiments on UT and UCF101 datasets reveal that future generation aids Prediction does improve the performance. Moreover, the Future Representation Learning Network reach a higher score than other methods when in half observation. This means that Future Representation Learning is better than the traditional Representation Learning and other state- of-the-art methods in solving the human action prediction problems to some extends.


title: IceCube's astrophysical neutrino energy spectrum from CPT violation

abstract: The 6-year dataset of high-energy starting events (HESE) at IceCube indicates a spectrum of astrophysical neutrinos much softer than expected from the Fermi shock acceleration mechanism. On the other hand, IceCube's up-going muon neutrino dataset and Fermi-LAT's gamma-ray spectrum point to an $E^{-2}$ neutrino spectrum. If the HESE data above 200 TeV are fit with the latter flux, an excess at lower energies ensues, which then suggests a multicomponent spectrum. We show that the HESE dataset can be explained by a single $E^{-2}$ power-law neutrino flux from a muon-damped $p\gamma$ source if neutrino interactions are modified by CPT violation. The low-energy excess is naturally explained by the pileup of events from superluminal neutrino decay, and there is no cutoff at high energies due to the contribution of subluminal antineutrinos. The best-fit scenario with CPT violation also predicts the observation of Glashow resonance events in the near future.


title: Maximum principles and Aleksandrov-Bakelman-Pucci type estimates for non-local Schr\"odinger equations with exterior conditions

abstract: We consider Dirichlet exterior value problems related to a class of non-local Schr\"odinger operators, whose kinetic terms are given in terms of Bernstein functions of the Laplacian. We prove elliptic and parabolic Aleksandrov-Bakelman-Pucci type estimates, and as an application obtain existence and uniqueness of weak solutions. Next we prove a refined maximum principle in the sense of Berestycki-Nirenberg-Varadhan, and a converse. Also, we prove a weak anti-maximum principle in the sense of Cl\'ement-Peletier, valid on compact subsets of the domain, and a full anti-maximum principle by restricting to fractional Schr\"odinger operators. Furthermore, we show a maximum principle for narrow domains, and a refined elliptic ABP-type estimate. Finally, we obtain Liouville-type theorems for harmonic solutions and for a class of semi-linear equations. Our approach is probabilistic, making use of the properties of subordinate Brownian motion.


title: Generalizing Hamiltonian Monte Carlo with Neural Networks

abstract: We present a general-purpose method to train Markov chain Monte Carlo kernels, parameterized by deep neural networks, that converge and mix quickly to their target distribution. Our method generalizes Hamiltonian Monte Carlo and is trained to maximize expected squared jumped distance, a proxy for mixing speed. We demonstrate large empirical gains on a collection of simple but challenging distributions, for instance achieving a 106x improvement in effective sample size in one case, and mixing when standard HMC makes no measurable progress in a second. Finally, we show quantitative and qualitative gains on a real-world task: latent-variable generative modeling. We release an open source TensorFlow implementation of the algorithm.


title: Tilted vortex cores and superconducting gap anisotropy in 2H-NbSe2

abstract: Superconducting vortex cores have been extensively studied for magnetic fields applied perpendicular to the surface by mapping the density of states (DOS) through Scanning Tunneling Microscopy (STM). Vortex core shapes are often linked to the superconducting gap anisotropy---quasiparticle states inside vortex cores extend along directions where the superconducting gap is smallest. The superconductor 2H-NbSe$_2$ crystallizes in a hexagonal structure and vortices give DOS maps with a sixfold star shape for magnetic fields perpendicular to the surface and the hexagonal plane. This has been associated to a hexagonal gap anisotropy located on quasi two-dimensional Fermi surface tubes oriented along the $c$ axis. The gap anisotropy in another, three-dimensional, pocket is unknown. However, the latter dominates the STM tunneling conductance. Here we measure DOS in magnetic fields parallel to the surface and perpendicular to the $c$ axis. We find patterns of stripes due to in-plane vortex cores running nearly parallel to the surface. The patterns change with the in-plane direction of the magnetic field, suggesting that the sixfold gap anisotropy is present over the whole Fermi surface. Due to a slight misalignment between the vector of the magnetic field and the surface, our images also show outgoing vortices. Their shape is successfully compared to detailed calculations of vortex cores in tilted fields. Their features merge with the patterns due to in plane vortices, suggesting that they exit at an angle with the surface. Measuring the DOS of vortex cores in highly tilted magnetic fields with STM can thus be used to study the superconducting gap structure.


title: Loop Quantum Cosmology Corrected Gauss-Bonnet Singular Cosmology

abstract: In this work we investigate which Loop Quantum Cosmology corrected Gauss-Bonnet $F(\mathcal{G})$ gravity can realize two singular cosmological scenarios, the intermediate inflation and the singular bounce scenarios. The intermediate inflation scenario has a Type III sudden singularity at $t=0$, while the singular bounce has a soft Type IV singularity. By using perturbative techniques, we find the holonomy corrected $F(\mathcal{G})$ gravities that generate at leading order the aforementioned cosmologies and we also argue that the effect of the holonomy corrections is minor to the power spectrum of the primordial curvature perturbations of the classical theory.


title: Acronym Disambiguation: A Domain Independent Approach

abstract: Acronyms are omnipresent. They usually express information that is repetitive and well known. But acronyms can also be ambiguous because there can be multiple expansions for the same acronym. In this paper, we propose a general system for acronym disambiguation that can work on any acronym given some context information. We present methods for retrieving all the possible expansions of an acronym from Wikipedia and AcronymsFinder.com. We propose to use these expansions to collect all possible contexts in which these acronyms are used and then score them using a paragraph embedding technique called Doc2Vec. This method collectively led to achieving an accuracy of 90.9% in selecting the correct expansion for given acronym, on a dataset we scraped from Wikipedia with 707 distinct acronyms and 14,876 disambiguations.


title: An Improved Roe Scheme for All Mach-Number Flows Simultaneously Curing Known Problems

abstract: Roe scheme is known for its good performance in moderate-Mach-number flows. However, this scheme and its extended versions suffers from many disastrous problems, such as non-physical behavior, global cut-off, and checkerboard problems, for incompressible flows; and shock instability, expansion shock, and positively non-conservative problems for hypersonic flows. In this paper, non-physical behavior problem, checkerboard problem, and main reason of shock instability problem are due to that the Roe scheme cannot identify multi-dimensional incompressible and compressible flows when normal Mach number on the cell face tends to zero, and then leads to incorrect cross modifications. Positively non-conservative problem is also identified as another important reason for shock instability. Therefore, Mach number and an assistant pressure-density-varying detector are introduced into the Roe scheme to judge compressibility, positivity condition is satisfied by a simple modification with minimal numerical dissipation increases and even with possible decreases in numerical dissipation, the mechanism of the preconditioned Roe scheme is introduced to suppress checkerboard problem, and modified entropy fix and the rotated Riemann solver is combined with complementary advantages as an assistant improvement for better robust. Based on above improvements and previous developments for global cut-off and expansion shock problems, an improvement Roe scheme for all Mach-number flow (Roe-AM) is proposed to simultaneously overcome nearly all well-known drawbacks of the classical Roe scheme. The Roe-AM scheme is simple, easy to implement, computationally low-cost, robust, good extensibility, and free of empirical parameters essentially, with increasing minimal numerical dissipation.


title: A General Optimal Control Model of Human Movement Patterns II: Rapid, Targeted Hand Movements (Fitts Law)

abstract: Rapid, targeted hand movements exhibit a regular movement pattern described by Fitts law. We develop a model of these movements in which this movement pattern results from an optimal control model describing rapid hand movements and a utility model describing the speed/accuracy trade-off between moving the hand rapidly to the target and hitting the target accurately. The optimal control model is constructed using principled approach in which we forbid the muscle forces to exhibit any discontinuities and require the cost to be expressed in terms of a psychophysical representation of the movement. This yields a yank-control or jerk-control model of the movement which exhibits two constants of the motion that are closely related to the energy and momentum in classical mechanics. We force the optimal control model to obey Fitts law by requiring a particular relationship hold between the constants of the motion and the size of the target and show that the resulting model compares well to a standard expression of Fitts law obtained empirically using observations of computer mouse movements. We then proceed to further show how this relationship may be obtained as the result of a simple models of the movement accuracy and the speed/accuracy trade-off. We use the movement accuracy model to analyze observed differences in computer mouse movement patterns between older adults with mild cognitive impairment and intact older adults. We conclude by looking at how a subject might carry out in practice the optimization implicit in resolving the speed/accuracy trade-off in our model.


title: Topological Sensitivity Based Far-Field Detection of Elastic Inclusions

abstract: The aim of this article is to present and rigorously analyze topological sensitivity based algorithms for detection of diametrically small inclusions in an isotropic homogeneous elastic formation using single and multiple measurements of the far-field scattering amplitudes. A $L^2-$cost functional is considered and a location indicator is constructed from its topological derivative. The performance of the indicator is analyzed in terms of the topological sensitivity for location detection and stability with respect to measurement and medium noises. It is established that the location indicator does not guarantee inclusion detection and achieves only a low resolution when there is mode-conversion in an elastic formation. Accordingly, a weighted location indicator is designed to tackle the mode-conversion phenomenon. It is substantiated that the weighted function renders the location of an inclusion stably with resolution as per Rayleigh criterion.


title: On geometry and mechanics

abstract: Our purpose in this article is first, following [14], to find the topological upper limits of projections of secant planes to $C^{1}$ surfaces and the topological upper limits of projections of secant hyperplanes to $C^{1}$ hypersurfaces and second to prove that every $C^{2}$ space curve can be the solution of the principle of stationary action.


title: Carleman estimate for linear viscoelasticity equations and an inverse source problem

abstract: We consider the linear system of viscoelasticity with the homogeneous Dirichlet boundary condition. First we prove a Carleman estimate with boundary values of solutions of viscoelasticity system. Since a solution $u$ under consideration is not assumed to have compact support, in the decoupling of the Lam\'e operator by introducing div $u$ and rot $u$, we have no boundary condition for them, so that we have to carry out arguments by a pseudodifferential operator. Second we apply the Carleman estimate to an inverse source problem of determining a spatially varying factor of the external source in the linear viscoelastitiy by extra Neumann data on the lateral subboundary over a sufficiently long time interval and establish the stability estimate.


title: HOMFLY for twist knots and exclusive Racah matrices in representation [333]

abstract: Next step is reported in the program of Racah matrices extraction from the differential expansion of HOMFLY polynomials for twist knots: from the double-column rectangular representations R=[rr] to a triple-column and triple-hook R=[333]. The main new phenomenon is the deviation of the particular coefficient $f_{[332]}^{[21]}$ from the corresponding skew dimension, what opens a way to further generalizations.


title: A sharp form of the Marcinkiewicz Interpolation Theorem for Orlicz spaces

abstract: An extension of Marcinkiewicz Interpolation Theorem, allowing intermediate spaces of Orlicz type, is proved. This generalization yields a necessary and sufficient condition so that every quasilinear operator, which maps the set, $S(X,\mu)$, of all $\mu$-measurable simple functions on $\sigma$- finite measure space $(X,\mu)$ into $M(Y,\nu)$, the class of $\nu$-measurable functions on $\sigma$- finite measure space $(Y,\nu)$, and satisfies endpoint estimates of type: $1 < p< \infty$, $1 \leq r < \infty$, \begin{equation*} \lambda \, \nu \left( \left\lbrace y \in Y : |(Tf)(y)| > \lambda \right\rbrace \right)^{\frac{1}{p}} \leq C_{p,r} \left( \int_{\mathbb{R_+}} \mu \left( \left\lbrace x \in X : |(f)(x)| > t \right\rbrace \right)^{\frac{r}{p}} t^{r-1}dt \right)^{\frac{1}{r}}, \end{equation*} for all $f \in S(X,\mu)$ and $\lambda \in \mathbb{R_+}$; is bounded from an Orlicz space into another.


title: A Big Data Analysis Framework Using Apache Spark and Deep Learning

abstract: With the spreading prevalence of Big Data, many advances have recently been made in this field. Frameworks such as Apache Hadoop and Apache Spark have gained a lot of traction over the past decades and have become massively popular, especially in industries. It is becoming increasingly evident that effective big data analysis is key to solving artificial intelligence problems. Thus, a multi-algorithm library was implemented in the Spark framework, called MLlib. While this library supports multiple machine learning algorithms, there is still scope to use the Spark setup efficiently for highly time-intensive and computationally expensive procedures like deep learning. In this paper, we propose a novel framework that combines the distributive computational abilities of Apache Spark and the advanced machine learning architecture of a deep multi-layer perceptron (MLP), using the popular concept of Cascade Learning. We conduct empirical analysis of our framework on two real world datasets. The results are encouraging and corroborate our proposed framework, in turn proving that it is an improvement over traditional big data analysis methods that use either Spark or Deep learning as individual elements.


title: Gradually Updated Neural Networks for Large-Scale Image Recognition

abstract: Depth is one of the keys that make neural networks succeed in the task of large-scale image recognition. The state-of-the-art network architectures usually increase the depths by cascading convolutional layers or building blocks. In this paper, we present an alternative method to increase the depth. Our method is by introducing computation orderings to the channels within convolutional layers or blocks, based on which we gradually compute the outputs in a channel-wise manner. The added orderings not only increase the depths and the learning capacities of the networks without any additional computation costs, but also eliminate the overlap singularities so that the networks are able to converge faster and perform better. Experiments show that the networks based on our method achieve the state-of-the-art performances on CIFAR and ImageNet datasets.


title: Refinement Types for Ruby

abstract: Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is built on top of RDL, a Ruby type checker that provides basic type information for the verification process. RTR works by encoding its verification problems into Rosette, a solver-aided host language. RTR handles mixins through assume-guarantee reasoning and uses just-in-time verification for metaprogramming. We formalize RTR by showing a translation from a core, Ruby-like language with refinement types into Rosette. We apply RTR to check a range of functional correctness properties on six Ruby programs. We find that RTR can successfully verify key methods in these programs, taking only a few minutes to perform verification.


title: Supersaturation of $C_4$: from Zarankiewicz towards Erd\H{o}s-Simonovits-Sidorenko

abstract: For a positive integer $n$, a graph $F$ and a bipartite graph $G\subseteq K_{n,n}$ let ${F(n+n, G)}$ denote the number of copies of $F$ in $G$, and let $F(n+n, m)$ denote the minimum number of copies of $F$ in all graphs $G\subseteq K_{n,n}$ with $m$ edges. The study of such a function is the subject of theorems of supersaturated graphs and closely related to the Sidorenko-Erd\H{o}s-Simonovits conjecture as well. In the present paper we investigate the case when $F= K_{2,t}$ and in particular the quadrilateral graph case. For $F=C_4$, we obtain exact results if $m$ and the corresponding Zarankiewicz number differ by at most $n$, by a finite geometric construction of almost difference sets. $F= K_{2,t}$ if $m$ and the corresponding Zarankiewicz number differs by $Cn\sqrt{n}$ we prove asymptotically sharp results. We also study stability questions and point out the connections to covering and packing block designs.


title: Pt-Bi Antibonding Interaction: The Key Factor for Superconductivity in Monoclinic BaPt2Bi2

abstract: In the search for superconductivity in BaAu2Sb2-type monoclinic structure, we have successfully synthesized a new compound BaPt2Bi2, which crystallizes in the space group P21/m (S.G. 11; Pearson symbol mP10) according to a combination of powder and single crystal X-ray diffraction and scanning electron microscopy. Sharp electrical resistivity drop and large diamagnetic magnetization below 2.0 K indicates it owns the superconducting ground state. This makes BaPt2Bi2 the first reported superconductor in mono-clinic BaAu2Sb2-type structure, a previously unappreciated structure for superconductivity. First-principles calculations considering the spin-orbit coupling indicate that Pt-Bi anti-bonding interaction plays a critical role in inducing superconductivity.


title: Self-contracted curves in CAT(0)-spaces and their rectifiability

abstract: We investigate self-contracted curves, arising as (discrete or continuous time) gradient curves of quasi-convex functions, and their rectifiability (finiteness of the lengths) in Euclidean spaces, Hadamard manifolds and CAT(0)-spaces. In the Hadamard case, we give a quantitative refinement of the original proof of the rectifiability of bounded self-contracted curves (in general Riemannian manifolds) by Daniilidis et al. Our argument leads us to a generalization to CAT(0)-spaces satisfying several uniform estimates on their local structures. Upon these conditions, we show the rectifiability of bounded self-contracted curves in trees, books and CAT(0)-simplicial complexes.


title: Experiential, Distributional and Dependency-based Word Embeddings have Complementary Roles in Decoding Brain Activity

abstract: We evaluate 8 different word embedding models on their usefulness for predicting the neural activation patterns associated with concrete nouns. The models we consider include an experiential model, based on crowd-sourced association data, several popular neural and distributional models, and a model that reflects the syntactic context of words (based on dependency parses). Our goal is to assess the cognitive plausibility of these various embedding models, and understand how we can further improve our methods for interpreting brain imaging data. We show that neural word embedding models exhibit superior performance on the tasks we consider, beating experiential word representation model. The syntactically informed model gives the overall best performance when predicting brain activation patterns from word embeddings; whereas the GloVe distributional method gives the overall best performance when predicting in the reverse direction (words vectors from brain images). Interestingly, however, the error patterns of these different models are markedly different. This may support the idea that the brain uses different systems for processing different kinds of words. Moreover, we suggest that taking the relative strengths of different embedding models into account will lead to better models of the brain activity associated with words.


title: Total Haskell is Reasonable Coq

abstract: We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell programs into Coq programs via a shallow embedding. We apply our tool in three case studies -- a lawful Monad instance, "Hutton's razor", and an existing data structure library -- and prove their correctness. These examples show that this approach is viable: both that hs-to-coq applies to existing Haskell code, and that the output it produces is amenable to verification.


title: Nonadiabatic rotational states of the hydrogen molecule

abstract: We present a new computational method for the determination of energy levels in four-particle systems like H$_2$, HD, and HeH$^+$ using explicitly correlated exponential basis functions and analytic integration formulas. In solving the Schr\"odinger equation, no adiabatic separation of the nuclear and electronic degrees of freedom is introduced. We provide formulas for the coupling between the rotational and electronic angular momenta, which enable calculations of arbitrary rotationally excited energy levels. To illustrate the high numerical efficiency of the method, we present results for various states of the hydrogen molecule. The relative accuracy to which we determined the nonrelativistic energy reached the level of $10^{-12}$-$10^{-13}$, which corresponds to an uncertainty of $10^{-7}$-$10^{-8}$ cm$^{-1}$.


title: Modular Remote Communication Protocol Interpreters

abstract: We present "endpoints", a library that provides consistent client implementation, server implementation and documentation from a user-defined communication protocol description. The library provides type safe remote invocations, and is modular and extensible. This paper shows how its usage looks like, highlights the Scala features that its implementation relies on, and compares it to other similar tools.


title: Left ideals in matrix rings over finite fields

abstract: It is well-known that each left ideals in a matrix rings over a finite field is generated by an idempotent matrix. In this work we compute the number of left ideals in these rings, the number of different idempotents generating each left ideal, and give explicitly a set of idempotent generators of all left ideals of a given rank.


title: Increased Prevalence of Bent Lobes for Double-Lobed Radio Galaxies in Dense Environments

abstract: Double-lobed radio galaxies (DLRGs) often have radio lobes which subtend an angle of less than 180 degrees, and these bent DLRGs have been shown to associate preferentially with galaxy clusters and groups. In this study, we utilize a catalog of DLRGs in SDSS quasars with radio lobes visible in VLA FIRST 20 cm radio data. We cross-match this catalog against three catalogs of galaxies over the redshift range $0 < z < 0.70$, obtaining 81 tentative matches. We visually examine each match and apply a number of selection criteria, eventually obtaining a sample of 44 securely detected DLRGs which are paired to a nearby massive galaxy, galaxy group, or galaxy cluster. Most of the DLRGs identified in this manner are not central galaxies in the systems to which they are matched. Using this sample, we quantify the projected density of these matches as a function of projected separation from the central galaxy, finding a very steep decrease in matches as the impact parameter increases (for $\Sigma \propto b^{-m}$ we find $m = 2.5^{+0.4}_{-0.3}$) out to $b \sim 2$ Mpc. In addition, we show that the fraction of DLRGs with bent lobes also decreases with radius, so that if we exclude DLRGs associated with the central galaxy in the system the bent fraction is 78\% within 1 Mpc and 56\% within 2 Mpc, compared to just 29\% in the field; these differences are significant at $3.6\sigma$ and $2.8\sigma$ respectively. This behavior is consistent with ram pressure being the mechanism that causes the lobes to bend.


title: Constraints On Dark Energy Models From Galaxy Clusters and Gravitational Lensing Data

abstract: The Sunyaev--Zel'dovich (SZ) effect is a global distortion of the Cosmic Microwave Background (CMB) spectrum as a result of its interaction with a hot electron plasma in the intracluster medium of large structures gravitationally viralized such as galaxy clusters (GC). Furthermore, this~hot gas of electrons emits X-rays due to its fall in the gravitational potential well of the GC. The~analysis of SZ and X-ray data provides a method for calculating distances to GC at high redshifts. On the other hand, many galaxies and GC produce a Strong Gravitational Lens (SGL) effect, which has become a useful astrophysical tool for cosmology. We use these cosmological tests in addition to more traditional ones to constrain some alternative dark energy (DE) models, including the study of the history of cosmological expansion through the cosmographic parameters. Using Akaike and Bayesian Information Criterion, we find that the $wCDM$ and $\Lambda CDM$ models are the most favoured by the observational data. In addition, we found at low redshift a peculiar behavior of slowdown of the universe, which occurs in dynamical DE models when we use data from GC.


title: Constrained Geometric Attitude Control on SO(3)

abstract: This paper presents a new geometric adaptive control system with state inequality constraints for the attitude dynamics of a rigid body. The control system is designed such that the desired attitude is asymptotically stabilized, while the controlled attitude trajectory avoids undesired regions defined by an inequality constraint. In addition, we develop an adaptive update law that enables attitude stabilization in the presence of unknown disturbances. The attitude dynamics and the proposed control systems are developed on the special orthogonal group such that singularities and ambiguities of other attitude parameterizations, such as Euler angles and quaternions are completely avoided. The effectiveness of the proposed control system is demonstrated through numerical simulations and experimental results.


title: Nuclear recoil effect on the g factor of middle-Z boronlike ions

abstract: The nuclear recoil correction to the g factor of boronlike ions is evaluated within the lowest-order relativistic (Breit) approximation. The interelectronic-interaction effects are taken into account to the first order of the perturbation theory in 1/Z. Higher orders in 1/Z are partly accounted for by means of the effective screening potential. The most accurate up-to-date values of this contribution are presented for the ions in the range Z=10-20.


title: An Adaptive Strategy for Active Learning with Smooth Decision Boundary

abstract: We present the first adaptive strategy for active learning in the setting of classification with smooth decision boundary. The problem of adaptivity (to unknown distributional parameters) has remained opened since the seminal work of Castro and Nowak (2007), which first established (active learning) rates for this setting. While some recent advances on this problem establish adaptive rates in the case of univariate data, adaptivity in the more practical setting of multivariate data has so far remained elusive. Combining insights from various recent works, we show that, for the multivariate case, a careful reduction to univariate-adaptive strategies yield near-optimal rates without prior knowledge of distributional parameters.


title: On weak Fraisse limits

abstract: Using the natural action of $S_\infty$ we show that a countable hereditary class $\mathcal C$ of finitely generated structures has the joint embedding property (JEP) and the weak amalgamation property (WAP) if and only if there is a structure $M$ whose isomorphism type is comeager in the space of all countable, infinitely generated structures with age in $\mathcal C$. In this case, $M$ is the weak Fra\"iss\'e limit of $\mathcal C$. This applies in particular to countable structures with generic automorphisms and recovers a result by Kechris and Rosendal [Proc. Lond. Math. Soc., 2007].


title: Binary Mixture of quasi one dimensional dipolar Bose Einstein Condensates with tilted dipoles

abstract: We consider a $^{168}$Er-$^{164}$Dy dipolar mixture, trapped by a cigar shaped harmonic potential. We derive the quasi-1D inter-species effective potential exhibiting the tilting angles and show that it is a quite natural generalization of the situation of a single dipolar gas. By solving the coupled Gross-Pitaevskii equations, we observe a transition from miscible to immiscible mixture as the orientations of the magnetic moments are varied. The atom numbers are also shown to lead to noticeable effects on the mixture.


title: A numerical procedure and unified formulation for the adjoint approach in hyperbolic PDE-constrained optimal control problems

abstract: The present paper aims at providing a numerical strategy to deal with PDE-constrained optimization problems solved with the adjoint method. It is done through out a unified formulation of the constraint PDE and the adjoint model. The resulting model is a non-conservative hyperbolic system and thus a finite volume scheme is proposed to solve it. In this form, the scheme sets in a single frame both constraint PDE and adjoint model. The forward and backward evolutions are controlled by a single parameter $\eta$ and a stable time step is obtained only once at each optimization iteration. The methodology requires the complete eigenstructure of the system as well as the gradient of the cost functional. Numerical tests evidence the applicability of the present technique


title: Chaos suppression of Lorenz Systems by means on the average of rounding modes

abstract: This work deals with chaos suppression based on average of the rounded modes to negative and positive infinite. The present procedure acts to reduce the rounding errors. It was observed that when the method proposed in this paper is applied to the chaotic Lorenz's system, it exhibits a periodic behaviour, characterized by a limit cycle and negative largest Lyapunov exponent. We tested our approach using three discretization schemes based on Runge-Kutta method


title: Adaptive Coding and Modulation for Large-Scale Antenna Array Based Aeronautical Communications in the Presence of Co-channel Interference

abstract: In order to meet the demands of `Internet above the clouds', we propose a multiple-antenna aided adaptive coding and modulation (ACM) for aeronautical communications. The proposed ACM scheme switches its coding and modulation mode according to the distance between the communicating aircraft, which is readily available with the aid of the airborne radar or the global positioning system. We derive an asymptotic closed-form expression of the signal-to-interference-plus-noise ratio (SINR) as the number of transmitting antennas tends to infinity, in the presence of realistic co-channel interference and channel estimation errors. The achievable transmission rates and the corresponding mode-switching distance-thresholds are readily obtained based on this closed-form SINR formula. Monte-Carlo simulation results are used to validate our theoretical analysis. For the specific example of 32 transmit antennas and 4 receive antennas communicating at a 5 GHz carrier frequency and using 6 MHz bandwidth, which are reused by multiple other pairs of communicating aircraft, the proposed distance-based ACM is capable of providing as high as 65.928 Mbps data rate when the communication distance is less than 25\,km.


title: Learning Less-Overlapping Representations

abstract: In representation learning (RL), how to make the learned representations easy to interpret and less overfitted to training data are two important but challenging issues. To address these problems, we study a new type of regulariza- tion approach that encourages the supports of weight vectors in RL models to have small overlap, by simultaneously promoting near-orthogonality among vectors and sparsity of each vector. We apply the proposed regularizer to two models: neural networks (NNs) and sparse coding (SC), and develop an efficient ADMM-based algorithm for regu- larized SC. Experiments on various datasets demonstrate that weight vectors learned under our regularizer are more interpretable and have better generalization performance.


title: Consensus State Gram Matrix Estimation for Stochastic Switching Networks from Spectral Distribution Moments

abstract: Reaching distributed average consensus quickly and accurately over a network through iterative dynamics represents an important task in numerous distributed applications. Suitably designed filters applied to the state values can significantly improve the convergence rate. For constant networks, these filters can be viewed in terms of graph signal processing as polynomials in a single matrix, the consensus iteration matrix, with filter response evaluated at its eigenvalues. For random, time-varying networks, filter design becomes more complicated, involving eigendecompositions of sums and products of random, time-varying iteration matrices. This paper focuses on deriving an estimate for the Gram matrix of error in the state vectors over a filtering window for large-scale, stationary, switching random networks. The result depends on the moments of the empirical spectral distribution, which can be estimated through Monte-Carlo simulation. This work then defines a quadratic objective function to minimize the expected consensus estimate error norm. Simulation results provide support for the approximation.


title: Evaluations of Series of Hyperbolic Functions

abstract: In this article we give evaluations of certain series of hyperbolic functions, using Jacobi elliptic functions theory. We also define some new functions that enable us to give characterization of not solvable class of series.


title: T1 theorem for Campanato spaces on domains

abstract: Given a Lipschitz domain $D\subset \mathbb{R}^d,$ a Calder\'on-Zygmund operator $T$ and a modulus of continuity $\omega(x),$ we solve a problem when the restricted operator $T_Df=T(f\chi_D)\chi_D$ sends the Campanato space $\mathcal{C}_\omega(D)$ into itself. The solution is a T1 type sufficient and necessary condition for the characteristic function $\chi_D$ of $D$: $$(T\chi_D)\chi_D \in \mathcal{C}_{\tilde{\omega}}(D),$$ assumed $\tilde{\omega}(x)= \omega(x)/\int_x^1 \omega(t)dt/t.$ To check the hypotheses of T1 theorem we need extra restrictions on both the boundary of $D$ and the operator $T.$ It is proved that the restricted Calder\'on-Zygmund operator $T_D$ with the even kernel is bounded on $\mathcal{C}_\omega(D),$ provided $D$ be $C^{1,\tilde{\omega}}-$smooth domain. This result is sharp.


title: Relativistic Voigt profile for unstable particles in high energy physics

abstract: The Voigt profile is one of the most used special function in optical spectroscopy. In particle physics a version of this profile which originates from relativistic Breit-Wigner resonance distribution often appears, however, in the literature there is no strict derivation of its properties. The purpose of this paper is to define properly relativistic Voigt profile and describe it along the same way as their standard nonrelativistic counterparts.


title: A Language for Probabilistically Oblivious Computation

abstract: An oblivious computation is one that is free of direct and indirect information leaks, e.g., due to observable differences in timing and memory access patterns. This paper presents Lambda Obliv, a core language whose type system enforces obliviousness. Prior work on type-enforced oblivious computation has focused on deterministic programs. Lambda Obliv is new in its consideration of programs that implement probabilistic algorithms, such as those involved in cryptography. Lambda Obliv employs a substructural type system and a novel notion of probability region to ensure that information is not leaked via the observed distribution of visible events. Probability regions support reasoning about probabilistic correlation and independence between values, and our use of probability regions is motivated by a source of unsoundness that we discovered in the type system of ObliVM, a language for implementing state of the art oblivious algorithms. We prove that Lambda Obliv's type system enforces obliviousness and show that it is expressive enough to typecheck advanced tree-based oblivious RAMs.


title: Inference of Spatio-Temporal Functions over Graphs via Multi-Kernel Kriged Kalman Filtering

abstract: Inference of space-time varying signals on graphs emerges naturally in a plethora of network science related applications. A frequently encountered challenge pertains to reconstructing such dynamic processes, given their values over a subset of vertices and time instants. The present paper develops a graph-aware kernel-based kriged Kalman filter that accounts for the spatio-temporal variations, and offers efficient online reconstruction, even for dynamically evolving network topologies. The kernel-based learning framework bypasses the need for statistical information by capitalizing on the smoothness that graph signals exhibit with respect to the underlying graph. To address the challenge of selecting the appropriate kernel, the proposed filter is combined with a multi-kernel selection module. Such a data-driven method selects a kernel attuned to the signal dynamics on-the-fly within the linear span of a pre-selected dictionary. The novel multi-kernel learning algorithm exploits the eigenstructure of Laplacian kernel matrices to reduce computational complexity. Numerical tests with synthetic and real data demonstrate the superior reconstruction performance of the novel approach relative to state-of-the-art alternatives.


title: Spectral Element Methods for Liquid Metal Reactors Applications

abstract: Funded by the U.S. Department of Energy, the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program aims to develop an integrated multiphysics simulation capability for the design and analysis of future generations of nuclear power plants. NEAMS embraces a multiresolution hierarchy designing the code suite structure to ultimately span the full range of length and time scales present in relevant reactor design and safety analyses. Advanced reactors, such as liquid metal reactors, rely on innovative component designs to meet cost and safety targets. In order to span a wider design range, advanced modeling and simulation capabilities that rely on minimal assumptions play an important role in optimizing the design. Over the past several years the NEAMS program has developed the integrated multiphysics code suite (thermal-hydraulics, structural analysis and neutronics) SHARP aimed at streamlining the prototyping of such components. For the simulation of fluid flow and heat transfer, SHARP focuses on the high-fidelity end, aiming primarily at turbulence-resolving techniques such large eddy simulation (LES) and direct numerical simulation (DNS). The computational fluid dynamics code (CFD) selected for SHARP is Nek5000, a state-of-the-art highly scalable tool employing the spectral element method (SEM). In this manuscript, to be published in a Von karman institute lecture series monograph on liquid metal reactors, we review the method and its implementation in Nek5000. We also examine several applications. We note that Nek5000 is also regularly employed for intermediate-fidelity approaches such as Reynolds-averaged Navier-Stokes (RANS) and for reduced-order models employing momentum sources or porous media, especially when coupled to neutronics modeling.