title: Polypolar spherical harmonic decomposition of galaxy correlators in redshift space: Toward testing cosmic rotational symmetry

abstract: We propose an efficient way to test rotational invariance in the cosmological perturbations by use of galaxy correlation functions. In symmetry-breaking cases, the galaxy power spectrum can have extra angular dependence in addition to the usual one due to the redshift-space distortion, $ \hat{k} \cdot \hat{n}$. We confirm that, via the decomposition into not the usual Legendre basis ${\cal L}_\ell(\hat{k} \cdot \hat{n})$ but the bipolar spherical harmonic one $\{Y_{\ell}(\hat{k}) \otimes Y_{\ell'}(\hat{n})\}_{LM}$, the symmetry-breaking signal can be completely distinguished from the usual isotropic one since the former yields nonvanishing $L \geq 1$ modes but the latter is confined to the $L = 0$ one. As a demonstration, we analyze the signatures due to primordial-origin symmetry breakings such as the well-known quadrupolar-type and dipolar-type power asymmetries and find nonzero $L = 2$ and $1$ modes, respectively. Fisher matrix forecasts of their constraints indicate that the $Planck$-level sensitivity could be achieved by the SDSS or BOSS-CMASS data, and an order-of-magnitude improvement is expected in a near future survey as PFS or Euclid by virtue of an increase in accessible Fourier mode. Our methodology is model-independent and hence applicable to the searches for various types of statistically anisotropic fluctuations.


title: Learning Video Object Segmentation from Static Images

abstract: Inspired by recent advances of deep learning in instance segmentation and object tracking, we introduce video object segmentation problem as a concept of guided instance segmentation. Our model proceeds on a per-frame basis, guided by the output of the previous frame towards the object of interest in the next frame. We demonstrate that highly accurate object segmentation in videos can be enabled by using a convnet trained with static images only. The key ingredient of our approach is a combination of offline and online learning strategies, where the former serves to produce a refined mask from the previous frame estimate and the latter allows to capture the appearance of the specific object instance. Our method can handle different types of input annotations: bounding boxes and segments, as well as incorporate multiple annotated frames, making the system suitable for diverse applications. We obtain competitive results on three different datasets, independently from the type of input annotation.


title: Comparison of max-plus automata and joint spectral radius of tropical matrices

abstract: Weighted automata over the max-plus semiring S are closely related to finitely generated semigroups of matrices over S. In this paper, we use results in automata theory to study two quantities associated with sets of matrices: the joint spectral radius and the ultimate rank. We prove that these two quantities are not computable over the tropical semiring, i.e. there is no algorithm that takes as input a finite set of matrices M and provides as output the joint spectral radius (resp. the ultimate rank) of M. On the other hand, we prove that the joint spectral radius is nevertheless approximable and we exhibit restricted cases in which the joint spectral radius and the ultimate rank are computable. To reach this aim, we study the problem of comparing functions computed by weighted automata over the tropical semiring. This problem is known to be undecidable and we prove that it remains undecidable in some specific subclasses of automata.


title: Constraints and prospects on GW and neutrino emissions using GW150914

abstract: Recently, the LIGO observatory reported the first direct observation of gravitational waves, with a signal consistent with a binary black hole merger. This detection triggered several follow-up searches for coincident emission in electromagnetic waves as well as neutrinos, but no such emission was found. In this article, the implications of the non-detection of counterpart neutrinos are investigated using general arguments. The results are interpreted with a parameter denoting the energy emitted in neutrinos relative to the energy emitted in gravitational waves. The bound on this parameter from the diffuse astrophysical neutrino flux detected by the IceCube Neutrino Observatory is discussed. It is found that, currently, the non-detection of counterpart neutrinos puts a bound comparable to the one from the diffuse astrophysical neutrino flux. This bound is then used to constrain the amount of matter in the black hole binary environment. Finally, the sensitivity to this parameter in future gravitational wave observation runs is investigated. It is shown how the detection of one or more neutrinos from a single merger would strongly constrain the source population and evolution.


title: FCNs in the Wild: Pixel-level Adversarial and Constraint-based Adaptation

abstract: Fully convolutional models for dense prediction have proven successful for a wide range of visual tasks. Such models perform well in a supervised setting, but performance can be surprisingly poor under domain shifts that appear mild to a human observer. For example, training on one city and testing on another in a different geographic region and/or weather condition may result in significantly degraded performance due to pixel-level distribution shift. In this paper, we introduce the first domain adaptive semantic segmentation method, proposing an unsupervised adversarial approach to pixel prediction problems. Our method consists of both global and category specific adaptation techniques. Global domain alignment is performed using a novel semantic segmentation network with fully convolutional domain adversarial learning. This initially adapted space then enables category specific adaptation through a generalization of constrained weak learning, with explicit transfer of the spatial layout from the source to the target domains. Our approach outperforms baselines across different settings on multiple large-scale datasets, including adapting across various real city environments, different synthetic sub-domains, from simulated to real environments, and on a novel large-scale dash-cam dataset.


title: Uniform rectifiability, elliptic measure, square functions, and $\varepsilon$-approximability via an ACF monotonicity formula

abstract: Let $\Omega\subset\mathbb{R}^{n+1}$, $n\geq2$, be an open set with Ahlfors-David regular boundary that satisfies the corkscrew condition. We consider a uniformly elliptic operator $L$ in divergence form associated with a matrix $A$ with real, merely bounded and possibly non-symmetric coefficients, which are also locally Lipschitz and satisfy suitable Carleson type estimates. In this paper we show that if $L^*$ is the operator in divergence form associated with the transpose matrix of $A$, then $\partial\Omega$ is uniformly $n$-rectifiable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $\Omega$ is $\varepsilon$-approximmable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $\Omega$ satisfies a suitable square-function Carleson measure estimate. Moreover, we obtain two additional criteria for uniform rectifiability. One is given in terms of the so-called $S<N$ estimates, and another in terms of a suitable corona decomposition involving $L$-harmonic and $L^*$-harmonic measures. We also prove that if $L$-harmonic measure and $L^*$-harmonic measure satisfy a weak $A_\infty$-type condition, then $\partial \Omega$ is $n$-uniformly rectifiable. In the process we obtain a version of Alt-Caffarelli-Friedman monotonicity formula for a fairly wide class of elliptic operators which is of independent interest and plays a fundamental role in our arguments.


title: Random nilpotent groups, polycyclic presentations, and Diophantine problems

abstract: We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid [a_i, a_j]= \prod_t {\scriptstyle c_t^{\scriptscriptstyle \lambda_{t,i,j}}} \ (i< j), \ [A,C]=[C,C]=1\rangle,$ where $A=\{a_1, \dots, a_n\}$, and $C=\{c_1, \dots, c_m\}$. Hence, one may select a random $\tau_2$-group $G$ by fixing $A$ and $C$, and then randomly choosing exponents $\lambda_{t,i,j}$ with $|\lambda_{t,i,j}|\leq \ell$, for some $\ell$. We prove that, if $m\geq n-1\geq 1$, then the following holds asymptotically almost surely, as $\ell\to \infty$: The ring of integers $\mathbb{Z}$ is e-definable in $G$, systems of equations over $\mathbb{Z}$ are reducible to systems over $G$ (and hence they are undecidable), the maximal ring of scalars of $G$ is $\mathbb{Z}$, $G$ is indecomposable as a direct product of non-abelian factors, and $Z(G)=\langle C \rangle$. If, additionally, $m \leq n(n-1)/2$, then $G$ is regular (i.e. $Z(G)\leq {\it Is}(G')$). This is not the case if $m > n(n-1)/2$. In the last section of the paper we introduce similar models of random polycyclic groups and random f.g. nilpotent groups of any nilpotency step, possibly with torsion. We quickly see, however, that the latter yields finite groups a.a.s.


title: Operations in the era of large distributed telescopes

abstract: The previous generation of astronomical instruments tended to consist of single receivers in the focal point of one or more physical reflectors. Because of this, most astronomical data sets were small enough that the raw data could easily be downloaded and processed on a single machine. In the last decade, several large, complex Radio Astronomy instruments have been built and the SKA is currently being designed. Many of these instruments have been designed by international teams, and, in the case of LOFAR span an area larger than a single country. Such systems are ICT telescopes and consist mainly of complex software. This causes the main operational issues to be related to the ICT systems and not the telescope hardware. However, it is important that the operations of the ICT systems are coordinated with the traditional operational work. Managing the operations of such telescopes therefore requires an approach that significantly differs from classical telescope operations. The goal of this session is to bring together members of operational teams responsible for such large-scale ICT telescopes. This gathering will be used to exchange experiences and knowledge between those teams. Also, we consider such a meeting as very valuable input for future instrumentation, especially the SKA and its regional centres.


title: Are Chinese transport policies effective? A new perspective from direct pollution rebound effect, and empirical evidence from road transport sector

abstract: The air pollution has become a serious challenge in China. Emissions from motor vehicles have been found as one main source of air pollution. Although the Chinese government has taken numerous policies to mitigate the harmful emissions from road transport sector, it is still uncertain for both policy makers and researchers to know to what extent the policies are effective in the short and long terms. Inspired by the concept and empirical results from current literature on energy rebound effect (ERE), we first propose a new concept of pollution rebound effect (PRE). Then, we estimate direct air PRE as a measure for the effectiveness of the policies of reducing air pollution from transport sector based on time-series data from the period 1986-2014. We find that the short-term direct air PRE is -1.4105, and the corresponding long-run PRE is -1.246. The negative results indicate that the direct air PRE does not exist in road passenger transport sector in China, either in the short term or in the long term during the period 1986-2014. This implies that the Chinese transport policies are effective in terms of harmful emissions reduction in the transport sector. This research, to the best of our knowledge, is the first attempt to quantify the effectiveness of the transport policies in the transitional China.


title: China building energy consumption: definitions and measures from an operational perspective

abstract: There is an increasing awareness of the significance of Chinese building energy consumption(BEC). However, something worth discussing is that estimate the building energy consumption adopting the definition of life cycle or operation. In the existing studies with various evaluation methods, the issue about the amount of energy consumed by China buildings has not been understood. In order to settle the disputes over the calculation of BEC, this paper establish an appropriate accounting method of building energy to present BEC situation in China and lay the foundation for building energy efficiency. Adopting the conception of building operational energy consumption, we find that the energy consumption of buildings just accounts for 15% - 16% of the final total energy consumption in China; by contrast, the previous calculations usually have double accounting through top-down approach if central heat-supply of buildings was given into additional consideration.


title: What sparks the radio-loud phase of nearby quasars?

abstract: To better constrain the hypotheses proposed to explain why only a few quasars are radio loud (RL), we compare the characteristics of 1958 nearby $(z\le 0.3)$ SDSS quasars, covered by the FIRST and NVSS radio surveys. Only 22\% are RL with $\log(L_{1.4{\rm GHz}}) \ge 22.5$ W Hz$^{-1}$, the majority being compact (C), weak radio sources (WRS), with $\log(L_{1.4{\rm GHz}}) < 24.5$ W Hz$^{-1}$. 15\% of the RL quasars have extended radio morphologies: 3\% have a core and a jet (J), 2\% have a core with one lobe (L), and 10\% have a core with two lobes (T), the majority being powerful radio sources (PRS), with $\log(L_{1.4{\rm GHz}}) \ge 24.5$ W Hz$^{-1}$. In general, RL quasars have higher bolometric luminosities and ionisation powers than radio quiet (RQ) quasars. The WRS have comparable black hole (BH) masses as the RQ quasars, but higher accretion rates or radiative efficiencies. The PRS have higher BH masses than the WRS, but comparable accretion rates or radiative efficiencies. The WRS also have higher $FWHM_{\rm [OIII]}$ than the PRS, consistent with a coupling of the spectral characteristics of the quasars with their radio morphologies. Inspecting the SDSS images and applying a neighbour search algorithm reveal no difference between the RQ and RL quasars of their host galaxies, environments, and interaction. Our results prompt the conjecture that the phenomenon that sparks the radio-loud phase in quasars is transient, intrinsic to the AGN, and stochastic, due to the chaotic nature of the accretion process of matter onto the BHs.


title: The demand for road transport in China: imposing theoretical regularity and flexible functional forms selection

abstract: Road transport sector is found to be one of the major emitters, and responsible for serious air pollution and huge pubic health losses. One important parameter for determining the consequences of transport demand shocks for the macroeconomy, air pollution and public health is the elasticity of the demand for transport. Most published studies that use flexible functional forms have ignored the theoretical regularity conditions implied by microeconomic theories. Moreover, even a few studies have checked and/or imposed regularity conditions, most of them equate curvature alone with regularity, thus ignoring or minimizing the importance of other regularities. And then, the results appear biased and may in fact be biased. Therefore, we select three of the most widely used flexible functional forms, the Rotterdam model, the Almost Ideal Demand System (AIDS), and the quadratic AIDS (QUAIDS) to investigate the demand for road transport in China using recent annual expenditure data, over a 13 year period from 2002 to 2014, on three expenditure categories in the transportation sector: private transportation, local transportation and intercity transportation. Estimation shows that the AIDS model is the only model that is able to provide theoretically consistent estimates of the residents demand for road transport in China. Our estimates show that the private transportation is a luxury among the transportation goods, and is elastic in price changes relatively. The empirical results imply that the private and the local transportation, the local and intercity transportation are gross complements. And, the private transportation is a substitute for the inter-city transportation, while the intercity transportation is a complement of the private transportation.


title: How do Chinese cities grow? A distribution dynamics approach

abstract: This paper examines the dynamic behavior of city size using a distribution dynamics approach with Chinese city data for the period 1984-2010. Instead of convergence, divergence or paralleled growth, multimodality and persistence are the dominant characteristics in the distribution dynamics of Chinese prefectural cities. Moreover, initial city size matters, initially small and medium-sized cities exhibit strong tendency of convergence, while large cities show significant persistence and multimodality in the sample period. Examination on the regional city groups shows that locational fundamentals have important impact on the distribution dynamics of city size.


title: The distribution dynamics of Carbon Dioxide Emission intensity across Chinese provinces: A weighted Approach

abstract: This paper examines the distribution dynamics of carbon dioxide (CO2) emission intensity across 30 Chinese provinces using a weighted distribution dynamics approach. The results show that CO2 emission intensity tends to diverge during the sample period of 1995-2014. However, convergence clubs are found in the ergodic distributions of the full sample and two sub-sample periods. Divergence, polarization and stratification are the dominant characteristics in the distribution dynamics. Weightings with economic and population sizes have important impacts on current distributions and hence long run steady distributions. Neglecting economic size may under-estimate the deterioration in the long run steady state. The result also shows that conditioning on space and income cannot eliminate the multimodality in the long run distribution. However, capital intensity has important impact on the formation of convergence clubs. Our findings have contributions in the understanding of the spatial dynamic behaviours of CO2 emissions across Chinese provinces, and have important policy implications for CO2 emissions reduction in China.


title: SU(3) flavor symmetry breaking in large $N_c$ excited hyperons

abstract: The $1/N_c$ expansion method for studying the mass spectrum of excited baryons is shortly reviewed together with applications to mixed symmetric states. The $[{\bf 70, \ell^+}]$ multiplet, belonging to the $N$ = 2 band, is reanalyzed, with emphasis on hyperons and the SU(3) symmetry breaking operators entering the mass formula to first order. An important result is that the hierarchy of masses as a function of strangeness is correctly reproduced for all multiplets. Predictions for unknown excited hyperons to SU(6) $\times$ O(3) multiplets are made.


title: Decision Theory in an Algebraic Setting

abstract: In decision theory an act is a function from a set of conditions to the set of real numbers. The set of conditions is a partition in some algebra of events. The expected value of an act can be calculated when a probability measure is given. We adopt an algebraic point of view by substituting the algebra of events with a finite distributive lattice and the probability measure with a lattice valuation. We introduce a partial order on acts that generalizes the dominance relation and show that the set of acts is a lattice with respect to this order. Finally we analyze some different kinds of comparison between acts, without supposing a common set of conditions for the acts to be compared.


title: Dark Matter, Leptogenesis, and Neutrino Mass in the Minimal Extension of the SM with $U(1)_{B-L}\otimes Z_{2}$

abstract: I suggest a minimal extension of the SM with $U(1)_{B-L}\otimes Z_{2}$. It can simultaneously accommodate the tiny neutrino mass, cold dark mater and baryon asymmetry besides the SM. All of the new physics arise from the $U(1)_{B-L}$ violation at the energy scale about 1000 TeV. The model can naturally explain the "WIMP Miracle" and elegantly achieve the leptogenesis, in addition, some predictions of the model are possible and promising to be tested in near future experiments.


title: Relativistic Approximate Solutions for a Two-Term Potential: Riemann-Type Equation

abstract: Approximate analytical solutions of a two-term potential are studied for the relativistic wave equations, namely, for the Klein-Gordon and Dirac equations. The results are obtained by solving of a Riemann-type equation whose solution can be written in terms of hypergeometric function $\,_{2}F_{1}(a,b;c;z)$. The energy eigenvalue equations and the corresponding normalized wave functions are given both for two wave equations. The results for some special cases including the Manning-Rosen potential, the Hulth\'{e}n potential and the Coulomb potential are also discussed by setting the parameters as required.


title: A constructive algorithm for the LLL on permutations

abstract: While there has been significant progress on algorithmic aspects of the Lov\'{a}sz Local Lemma (LLL) in recent years, a noteworthy exception is when the LLL is used in the context of random permutations. The breakthrough algorithm of Moser & Tardos only works in the setting of independent variables, and does not apply in this context. We resolve this by developing a randomized polynomial-time algorithm for such applications. A noteworthy application is for Latin transversals: the best-known general result here (Bissacot et al., improving on Erd\H{o}s and Spencer), states that any $n \times n$ matrix in which each entry appears at most $(27/256)n$ times, has a Latin transversal. We present the first polynomial-time algorithm to construct such a transversal. We also develop RNC algorithms for Latin transversals, rainbow Hamiltonian cycles, strong chromatic number, and hypergraph packing. In addition to efficiently finding a configuration which avoids bad-events, the algorithm of Moser & Tardos has many powerful extensions and properties. These include a well-characterized distribution on the output distribution, parallel algorithms, and a partial resampling variant. We show that our algorithm has nearly all of the same useful properties as the Moser-Tardos algorithm, and present a comparison of this aspect with recent works on the LLL in general probability spaces.


title: A Proof of the Riemann Hypothesis and Determination of the Relationship Between Non- Trivial Zeros of Zeta Functions and Prime Numbers

abstract: This analysis which uses new mathematical methods aims at proving the Riemann hypothesis and figuring out an approximate base for imaginary non-trivial zeros of zeta function at very large numbers, in order to determine the path that those numbers would take. This analysis will prove that there is a relation links the non-trivial zeros of zeta with the prime numbers, as well as approximately pointing out the shape of this relationship, which is going to be a totally valid one at numbers approaching infinity.


title: Laser beam shaping for enhanced Zero-Group Velocity Lamb modes generation

abstract: Optimization of Lamb modes induced by laser can be achieved by adjusting the spatial source distribution to the mode wavelength ($\lambda$). The excitability of Zero-Group Velocity (ZGV) resonances in isotropic plates is investigated both theoretically and experimentally for axially symmetric sources. Optimal parameters and amplitude gains are derived analytically for spot and annular sources of either Gaussian or rectangular energy profiles. For a Gaussian spot source, the optimal radius is found to be $\lambda_{ZGV}/\pi$. Annular sources increase the amplitude by at least a factor of 3 compared to the optimal Gaussian source. Rectangular energy profiles provide higher gain than Gaussian ones. These predictions are confirmed by semi-analytical simulation of the thermoelastic generation of Lamb waves, including the effect of material attenuation. Experimentally, Gaussian ring sources of controlled width and radius are produced with an axicon-lens system. Measured optimal geometric parameters obtained for Gaussian and annular beams are in good agreement with theoretical predictions. A ZGV resonance amplification factor of 2.1 is obtained with the Gaussian ring. Such source should facilitate the inspection of highly attenuating plates made of low ablation threshold materials like composites.


title: Evaluating the Performance of ANN Prediction System at Shanghai Stock Market in the Period 21-Sep-2016 to 11-Oct-2016

abstract: This research evaluates the performance of an Artificial Neural Network based prediction system that was employed on the Shanghai Stock Exchange for the period 21-Sep-2016 to 11-Oct-2016. It is a follow-up to a previous paper in which the prices were predicted and published before September 21. Stock market price prediction remains an important quest for investors and researchers. This research used an Artificial Intelligence system, being an Artificial Neural Network that is feedforward multi-layer perceptron with error backpropagation for prediction, unlike other methods such as technical, fundamental or time series analysis. While these alternative methods tend to guide on trends and not the exact likely prices, neural networks on the other hand have the ability to predict the real value prices, as was done on this research. Nonetheless, determination of suitable network parameters remains a challenge in neural network design, with this research settling on a configuration of 5:21:21:1 with 80% training data or 4-year of training data as a good enough model for stock prediction, as already determined in a previous research by the author. The comparative results indicate that neural network can predict typical stock market prices with mean absolute percentage errors that are as low as 1.95% over the ten prediction instances that was studied in this research.


title: Cohomological Laplace transform on non-convex cones and Hardy spaces of $\bar{\partial}$-cohomology on non-convex tube domains

abstract: We consider a class of non-convex cones $V$ in $\mathbb{R}^n$ which can be presented as (not unique) union of convex cones of some codimension $q$ which we call the index of non-convexity. This class contains non-convex symmetric homogeneous cones studied by the first author and his collaborators. For these cones we consider a construction of dual non-convex cones $V^*$ and corresponding non-convex tubes $T$ and define a cohomological Laplace transform from functions at $V$ to $q$-dimensional cohomology of $T$ using the language of smoothly parameterized \u{C}ech cohomology. We give a construction of Hardy space of $q$-dimensional cohomolgy at $T$.


title: Mesoscopic scales in hierarchical configuration models

abstract: To understand mesoscopic scaling in networks, we study the hierarchical configuration model (HCM), a random graph model with community structure. The connections between the communities are formed as in a configuration model. We study the component sizes of the hierarchical configuration model at criticality when the inter-community degrees have a finite third moment. We find the conditions on the community sizes such that the critical component sizes of the HCM behave similarly as in the configuration model. Furthermore, we study critical bond percolation on the HCM. We show that the ordered components of a critical HCM on $N$ vertices are of sizes $O(N^{2/3})$. More specifically, the rescaled component sizes converge to the excursions of a Brownian motion with parabolic drift, as for the scaling limit for the configuration model under a finite third moment condition.


title: Magnetic field structure in single late-type giants: The weak G-band giant 37 Comae from 2008 to 2011

abstract: This work studies the magnetic activity of the late-type giant 37 Com. This star belongs to the group of weak G-band stars that present very strong carbon deficiency in their photospheres. The paper is a part of a global investigation into the properties and origin of magnetic fields in cool giants. We use spectropolarimetric data, which allows the simultaneous measurement of the longitudinal magnetic field $B_{l}$, line activity indicators (H$\alpha$, Ca\,{\sc ii} IRT, S-index) and radial velocity of the star, and consequently perform a direct comparison of their time variability. Mean Stokes V profiles are extracted using the least squares deconvolution (LSD) method. One map of the surface magnetic field of the star is reconstructed via the Zeeman Doppler imaging (ZDI) inversion technique. A periodogram analysis is performed on our dataset and it reveals a rotation period of 111 days. We interpret this period to be the rotation period of 37 Com. The reconstructed magnetic map reveals that the structure of the surface magnetic field is complex and features a significant toroidal component. The time variability of the line activity indicators, radial velocity and magnetic field $B_{l}$ indicates a possible evolution of the surface magnetic structures in the period from 2008 to 2011. For completeness of our study, we use customized stellar evolutionary models suited to a weak G-band star. Synthetic spectra are also calculated to confirm the peculiar abundance of 37 Com. We deduce that 37 Com is a 6.5~$M_{\odot}$ weak G-band star located in the Hertzsprung gap, whose magnetic activity is probably due to dynamo action.


title: Lov\'asz-Schrijver PSD-operator on Claw-Free Graphs

abstract: The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lov\'asz-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs.


title: Epsilon-noncrossing partitions and cumulants in free probability

abstract: Motivated by recent work on mixtures of classical and free probabilities, we introduce and study the notion of $\epsilon$-noncrossing partitions. It is shown that the set of such partitions forms a lattice, which interpolates as a poset between the poset of partitions and the one of noncrossing partitions. Moreover, $\epsilon$-cumulants are introduced and shown to characterize the notion of $\epsilon$-independence.


title: Convergence rate of the data-independent $P$-greedy algorithm in kernel-based approximation

abstract: Kernel-based methods provide flexible and accurate algorithms for the reconstruction of functions from meshless samples. A major question in the use of such methods is the influence of the samples locations on the behavior of the approximation, and feasible optimal strategies are not known for general problems. Nevertheless, efficient and greedy point-selection strategies are known. This paper gives a proof of the convergence rate of the data-independent \textit{$P$-greedy} algorithm, based on the application of the convergence theory for greedy algorithms in reduced basis methods. The resulting rate of convergence is shown to be near-optimal in the case of kernels generating Sobolev spaces. As a consequence, this convergence rate proves that, for kernels of Sobolev spaces, the points selected by the algorithm are asymptotically uniformly distributed, as conjectured in the paper where the algorithm has been introduced.


title: Deformation quantization and the action of Poisson vector fields

abstract: As one knows, for every Poisson manifold $M$ there exists a formal noncommutative deformation of the algebra of functions on it; it is determined in a unique way (up to an equivalence relation) by the given Poisson bivector. Let a Lie algebra $\mathfrak g$ act by derivations on the functions on $M$. The main question, which we shall address in this paper is whether it is possible to lift this action to the derivations on the deformed algebra. It is easy to see, that when dimension of $\mathfrak g$ is $1$, the only necessary and sufficient condition for this is that the given action is by Poisson vector fields. However, when dimension of $\mathfrak g$ is greater than $1$, the previous methods do not work. In this paper we show how one can obtain a series of homological obstructions for this problem, which vanish if there exists the necessary extension.


title: Simulation of Dynamical Systems with Interval Analysis: A case study of RLC Circuit

abstract: Differences between computer simulation of dynamical systems and laboratory experiments are common in teaching and research in engineering. Normally, numerical inaccuracy and the non-ideal behaviour of the devices involved in the experiment are the most common explanations. With the application of interval analysis, it is possible to incorporate the numerical and parametric uncertainties in the simulation, allowing a better understanding of the play between simulation and experiment. This article presents a case study in which an step input is applied to an RLC circuit. Using the toolbox Intlab for Matlab, it was possible to present a computer simulation with the range that encompasses the experimental results . Comparison of simulation with experimental data show the success of the technique and indicates a potential content to be delivered to undergraduate engineering courses.


title: Domain knowledge assisted cyst segmentation in OCT retinal images

abstract: 3D imaging modalities are becoming increasingly popular and relevant in retinal imaging owing to their effectiveness in highlighting structures in sub-retinal layers. OCT is one such modality which has great importance in the context of analysis of cystoid structures in subretinal layers. Signal to noise ratio(SNR) of the images obtained from OCT is less and hence automated and accurate determination of cystoid structures from OCT is a challenging task. We propose an automated method for detecting/segmenting cysts in 3D OCT volumes. The proposed method is biologically inspired and fast aided by the domain knowledge about the cystoid structures. An ensemble learning methodRandom forests is learnt for classification of detected region into cyst region. The method achieves detection and segmentation in a unified setting. We believe the proposed approach with further improvements can be a promising starting point for more robust approach. This method is validated against the training set achieves a mean dice coefficient of 0.3893 with a standard deviation of 0.2987


title: Formation of Hubbard-like bands as a fingerprint of strong electron-electron interactions in FeSe

abstract: We use angle-resolved photo-emission spectroscopy (ARPES) to explore the electronic structure of single crystals of FeSe over a wide range of binding energies and study the effects of strong electron-electron correlations. We provide evidence for the existence of "Hubbard-like bands" at high binding energies consisting of incoherent many-body excitations originating from Fe $3d$ states in addition to the renormalized quasiparticle bands near the Fermi level. Many high energy features of the observed ARPES data can be accounted for when incorporating effects of strong local Coulomb interactions in calculations of the spectral function via dynamical mean-field theory, including the formation of a Hubbard-like band. This shows that over the energy scale of several eV, local correlations arising from the on-site Coulomb repulsion and Hund's coupling are essential for a proper understanding of the electronic structure of FeSe and other related iron based superconductors.


title: Quasi-periodic pulsations with periods that change depending on whether the pulsations have thermal or nonthermal components

abstract: Context. Quasi-periodic pulsations (QPPs) typically display periodic and regular peaks in the light curves during the flare emissions. Sometimes, QPPs show multiple periods at the same wavelength. However, changing periods in various channels are rare. Aims. We report QPPs in a solar flare on 2014 October 27. They showed a period change that depended on whether thermal or nonthermal components were included. The flare was simultaneously observed by many instruments. Methods. Using the fast Fourier transform (FFT), we decomposed the light curves at multiple wavelengths into slowly varying and rapidly varying signals. Then we identified the QPPs as the regular and periodic peaks from the rapidly varying signals. The periods are derived with the wavelet method and confirmed based on the FFT spectra of the rapidly varying signals. Results. We find a period of 50 s from the thermal emissions during the impulsive phase of the flare, that is, in the soft X-ray bands. At the same time, a period of about 100 s is detected from the nonthermal emissions, such as hard X-ray and microwave channels. The period ratio is exactly 2.0, which might be due to the modulations of the magnetic reconnection rate by the fundamental and harmonic modes of magnetohydrodynamic waves. Our results further show that the 100 s period is present over a broad wavelength, such as hard X-rays, extreme-UV/UV, and microwave emissions, indicating the periodic magnetic reconnection in this flare. Conclusions. To our knowledge, this is the first report about period changes from thermal to nonthermal components in a single flare that occur at almost the same time. This new observational finding could be a challenge to the theory of flare QPPs.


title: QCD Vacuum as Domain Wall Network

abstract: Domain model of confinement, chiral symmetry breaking and hadronization is based on description of QCD vacuum gluon configurations as an ensemble of almost everywhere homogeneous Abelian (anti-)self-dual fields. The ensemble can be explicitly constructed as domain wall network. We shortly overview this approach and within this framework discuss the effects of QCD vacuum polarization by strong electromagnetic fields. It is stressed that such polarization effects can play the role of trigger for deconfinement.


title: Global attractor of the three dimensional primitive equations of large-scale ocean and atmosphere dynamics in an unbounded domain

abstract: This paper is concerned with the long-time behavior of solutions for the three dimensional primitive equations of large-scale ocean and atmosphere dynamics in an unbounded domain. Since the Sobolev embedding is no longer compact in an unbounded domain, we cannot obtain the asymptotical compactness of the semigroup generated by problem (2.4)-(2.6) by the Sobolev compactness embedding theorem even if we obtain the existence of an absorbing set in more regular phase space. To overcome this difficulty, we first prove the asymptotical compactness in a weak phase space of the semigroup generated by problem (2.4)-(2.6) by combining the tail-estimates and the energy methods. Thanks to the existence of an absorbing set in more regular phase space, we establish the existence of a global attractor of problem (2.4)-(2.6) by virtue of Sobolev interpolation inequality.


title: The unspeakable why

abstract: For years, the biggest unspeakable in quantum theory has been why quantum theory and what is quantum theory telling us about the world. Recent efforts are unveiling a surprisingly simple answer. Here we show that two characteristic limits of quantum theory, the maximum violations of Clauser-Horne-Shimony-Holt and Klyachko-Can-Binicio\u{g}lu-Shumovsky inequalities, are enforced by a simple principle. The effectiveness of this principle suggests that non-realism is the key that explains why quantum theory.


title: Power Spectrum Identification for Quantum Linear Systems

abstract: In this paper we investigate system identification for general quantum linear systems. We consider the situation where the input field is prepared as stationary (squeezed) quantum noise. In this regime the output field is characterised by the power spectrum, which encodes covariance of the output state. We address the following two questions: (1) Which parameters can be identified from the power spectrum? (2) How to construct a system realisation from the power spectrum? The power spectrum depends on the system parameters via the transfer function. We show that the transfer function can be uniquely recovered from the power spectrum, so that equivalent systems are related by a symplectic transformation.


title: Isometries of virtual quadratic spaces

abstract: In this article, we introduce a new object, a virtual quadratic space, and its group of isometries. They are presented as natural generalizations of quadratic spaces and orthogonal groups. It is then shown that by replacing quadratic spaces with virtual quadratic spaces, we can unify certain enumerative properties of finite fields, without distinguishing between even and odd characteristics, such as the number of non-isomorphic non-degenerate quadratic forms, and the order of groups of isometries.


title: Clustered Cell Decomposition in P-Minimal Structures

abstract: We prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and Mourgues, which were dependent on the existence of definable Skolem functions. Clustered cells have the same geometric structure as classical, Denef-type cells, but do not have a definable function as center. Instead, the center is given by a definable set whose fibers are finite unions of balls.


title: Fixpoint Approximation of Strategic Abilities under Imperfect Information

abstract: Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise setup of the problem. No less importantly, fixpoint equivalences do not generally hold for imperfect information strategies, which seriously hampers incremental synthesis of winning strategies. In this paper, we propose translations of ATLir formulae that provide lower and upper bounds for their truth values, and are cheaper to verify than the original specifications. That is, if the expression is verified as true then the corresponding formula of ATLir should also hold in the given model. We begin by showing where the straightforward approach does not work. Then, we propose how it can be modified to obtain guaranteed lower bounds. To this end, we alter the next-step operator in such a way that traversing one's indistinguishability relation is seen as atomic activity. Most interestingly, the lower approximation is provided by a fixpoint expression that uses a nonstandard variant of the next-step ability operator. We show the correctness of the translations, establish their computational complexity, and validate the approach by experiments with a scalable scenario of Bridge play.


title: Nonlinear 1-Bit Precoding for Massive MU-MIMO with Higher-Order Modulation

abstract: Massive multi-user (MU) multiple-input multiple- output (MIMO) is widely believed to be a core technology for the upcoming fifth-generation (5G) wireless communication standards. The use of low-precision digital-to-analog converters (DACs) in MU-MIMO base stations is of interest because it reduces the power consumption, system costs, and raw baseband data rates. In this paper, we develop novel algorithms for downlink precoding in massive MU-MIMO systems with 1-bit DACs that support higher-order modulation schemes such as 8-PSK or 16-QAM. Specifically, we present low-complexity nonlinear precoding algorithms that achieve low error rates when combined with blind or training-based channel-estimation algorithms at the user equipment. These results are in stark contrast to linear-quantized precoding algorithms, which suffer from a high error floor if used with high-order modulation schemes and 1-bit DACs.


title: Effects of online group exercises for older adults on physical, psychological and social wellbeing: a pilot trial

abstract: Background. There are many factors that can make of group exercises a challenging setting for older adults. A major one in the elderly population is the difference in the level of skills. In this paper we report on the physical, psychological and social wellbeing outcomes of a novel virtual gym that enables online group-exercises in older adults with different levels of skills. Methods. A total of 37 older adults (65-87 years old) followed a personalized exercise program based on the OTAGO program for fall prevention, for a period of eight weeks. Participants could join online group exercises using a tablet-based application. Participants were assigned either to a Control group (individual training) or Social group (online group-exercising). Pre- and post- measurements were taken to analyze the physical, psychological and social wellbeing outcomes. The study received ethical approval from the CREATE-NET Ethics Committee on ICT Research Involving Human Beings (Application N. 2014-001). Results. There were improvements in both the Social and Control groups in terms of physical outcomes. Interestingly though, while in the Control group fitter individuals tended to adhere more to the training, this was not the case for the Social group, where the initial level had no effect on adherence. For psychological and social wellbeing outcomes there were improvements on both groups, regardless of the application used. Conclusion. Group exercising in a virtual gym can be effective in motivating and enabling individuals who are less fit to train as much as fitter individuals. This not only indicates the feasibility of training together despite differences in physical skills but also suggests that online exercise can reduce the effect of skills on adherence in a social context. Longer term interventions with more participants are instead recommended to assess impacts on wellbeing.


title: Pion transition form factor in the Domain model of QCD vacuum

abstract: Domain model of QCD allows for description of wide range of meson observables, dynamical chiral symmetry breaking, and resolution of $U_A(1)$ and strong $CP$ problems. The purpose of the present study is transition form-factor of neutral pseudoscalar mesons, and how they are influenced by the typical vacuum configurations of the model -- almost everywhere homogeneous Abelian (anti-)self-dual fields. Asymptotic behavior of the calculated pion form-factor supports Belle trend, but the asymptotic value of $Q^2F_{\pi\gamma^*\gamma}$ differs from the prediction of factorization theorems.


title: Search for Interstellar monohydric Thiols

abstract: It has been pointed out by various astronomers that very interesting relationship exists between interstellar alcohols and the corresponding thiols (sulfur analogue of alcohols) as far as the spectroscopic properties and chemical abundances are concerned. Monohydric alcohols such as methanol and ethanol are widely observed and 1-propanol is recently claimed to have been seen in Orion KL. Among the monohydric thiols, methanethiol (chemical analogue of methanol), has been firmly detected in Orion KL and Sgr B2(N2) and ethanethiol (chemical analogue of ethanol) has been claimed to be observed in Sgr B2(N2) though the confirmation of this detection is yet to come. It is very likely that higher order thiols could be observed in these regions. In this paper, we study the formation of monohydric alcohols and their thiol analogues. Based on our quantum chemical calculation and chemical modeling, we find that `Tg' conformer of 1-propanethiol is a good candidate of astronomical interest. We present various spectroscopically relevant parameters of this molecule to assist its future detection in the Interstellar medium (ISM).


title: Shorter gate sequences for quantum computing by mixing unitaries

abstract: Fault-tolerant quantum computers compose elements of a discrete gate set in order to approximate a target unitary. The problem of minimising the number of gates is known as gate-synthesis. The approximation error is a form of coherent noise, which can be significantly more damaging than comparable incoherent noise. We show how mixing over different gate sequences can convert this coherent noise into an incoherent form. As measured by diamond distance, the post-mixing noise is quadratically smaller than before mixing, with no additional resource cost. Equivalently, we can use a shorter gate sequence to achieve the same precision as unitary gate-synthesis, with a factor 1/2 reduction for a broad class of problems.


title: Joint remote state preparation (JRSP) of two-qubit equatorial state in quantum noisy channels

abstract: This letter reports the influence of noisy channels on JRSP of two-qubit equatorial state. We present a scheme for JRSP of two-qubit equatorial state. We employ two tripartite Greenberger-Horne-Zeilinger (GHZ) entangled states as the quantum channel linking the parties. We find the success probability to be $1/4$. However, this probability can be ameliorated to $3/4$ if the state preparers assist by transmitting individual partial information through classical channel to the receiver non-contemporaneously. Afterward, we investigate the effects of five quantum noises: the bit-flip noise, bit-phase flip noise, amplitude-damping noise, phase-damping noise and depolarizing noise on the JRSP process. We obtain the analytical derivation of the fidelities corresponding to each quantum noisy channel, which is a measure of information loss as the qubits are being distributed in these quantum channels. We find that the system loses some of its properties as a consequence of unwanted interactions with environment. For instance, within the domain $0<\lambda<0.65$, the information lost via transmission of qubits in amplitude channel is most minimal, while for $0.65<\lambda\leq1$, the information lost in phase flip channel becomes the most minimal. Also, for any given $\lambda$, the information transmitted through depolarizing channel has the least chance of success.


title: Exotic Dual of Type II Double Field Theory

abstract: We perform an exotic dualization of the Ramond-Ramond fields in type II double field theory, in which they are encoded in a Majorana-Weyl spinor of O(D,D). Starting from a first-order master action, the dual theory in terms of a tensor-spinor of O(D,D) is determined. This tensor-spinor is subject to an exotic version of the (self-)duality constraint needed for a democratic formulation. We show that in components, reducing O(D,D) to GL(D), one obtains the expected exotically dual theory in terms of mixed Young tableaux fields. To this end, we generalize exotic dualizations to self-dual fields, such as the 4-form in type IIB string theory.


title: Synthesis and pressure and field dependent magnetic properties of the Kagome-bilayer spin liquid Ca$_{10}$Cr$_7$O$_{28}$

abstract: We report synthesis of polycrystalline samples of the recently discovered spin liquid material Ca$_{10}$Cr$_7$O$_{28}$ and present measurements of the ambient and high pressure magnetic susceptibility $\chi$ versus temperature $T$, magnetization $M$ versus magnetic field $H$ at various $T$, and heat capacity $C$ versus $T$ at various $H$. The ambient pressure magnetic measurements indicate the presence of both ferromagnetic and antiferromagnetic exchange interactions with dominant ferromagnetic interactions and with the largest magnetic energy scale $\sim 10$~K\@. The $\chi(T)$ measurements under externally applied pressure of up to $P \approx 1$~GPa indicate the robust nature of the spin-liquid state despite relative increase in the ferromagnetic exchanges. $C(T)$ shows a broad anomaly at $T\approx 2.5$~K which moves to higher temperatures in a magnetic field. The evolution of the low temperature $C(T,H)$ and the magnetic entropy is consistent with frustrated magnetism in Ca$_{10}$Cr$_7$O$_{28}$.


title: Highly inclined and eccentric massive planets. II. Planet-planet interactions during the disc phase

abstract: We aim to investigate the influence of the eccentricity and inclination damping due to planet-disc interactions on the final configurations of the systems, generalizing previous studies on the combined action of the gas disc and planet-planet scattering during the disc phase. Instead of the simplistic $K$-prescription, our n-body simulations adopt the damping formulae for eccentricity and inclination provided by the hydrodynamical simulations of our companion paper. We follow the evolution of $11000$ numerical experiments of three giant planets in the late stage of the gas disc, exploring different initial configurations, planetary mass ratios and disc masses. The dynamical evolutions of the planetary systems are studied along the simulations, with emphasis on the resonance captures and inclination-growth mechanisms. Most of the systems are found with small inclinations ($\le10^{\circ}$) at the dispersal of the disc. Even though many systems enter an inclination-type resonance during the migration, the disc usually damps the inclinations on a short timescale. Although the majority of the multiple systems in our results are quasi-coplanar, $\sim5\%$ of them end up with high mutual inclinations ($\ge10^{\circ}$). Half of these highly mutually inclined systems result from two- or three-body MMR captures, the other half being produced by orbital instability and/or planet-planet scattering. When considering the long-term evolution over $100$ Myr, destabilization of the resonant systems is common, and the percentage of highly mutually inclined systems still evolving in resonance drops to $30\%$. Finally, the parameters of the final system configurations are in very good agreement with the semi-major axis and eccentricity distributions in the observations, showing that planet-planet interactions during the disc phase could have played an important role in sculpting planetary systems.


title: The $v_n$-periodic Goodwillie tower on Wedges and Cofibres

abstract: We introduce general methods to analyse the Goodwillie tower of the identity functor on a wedge $X \vee Y$ of spaces (using the Hilton-Milnor theorem) and on the cofibre $\mathrm{cof}(f)$ of a map $f: X \rightarrow Y$. We deduce some consequences for $v_n$-periodic homotopy groups: whereas the Goodwillie tower is finite and converges in periodic homotopy when evaluated on spheres (Arone-Mahowald), we show that neither of these statements remains true for wedges and Moore spaces.


title: Towards better decoding and language model integration in sequence to sequence models

abstract: The recently proposed Sequence-to-Sequence (seq2seq) framework advocates replacing complex data processing pipelines, such as an entire automatic speech recognition system, with a single neural network trained in an end-to-end fashion. In this contribution, we analyse an attention-based seq2seq speech recognition system that directly transcribes recordings into characters. We observe two shortcomings: overconfidence in its predictions and a tendency to produce incomplete transcriptions when language models are used. We propose practical solutions to both problems achieving competitive speaker independent word error rates on the Wall Street Journal dataset: without separate language models we reach 10.6% WER, while together with a trigram language model, we reach 6.7% WER.


title: A note on the triangle inequality for the Jaccard distance

abstract: Two simple proofs of the triangle inequality for the Jaccard distance in terms of nonnegative, monotone, submodular functions are given and discussed.


title: Difference between two species of emu hides a test for lepton flavour violation

abstract: We argue that an LHC measurement of some simple quantities related to the ratio of rates of e+mu- to e-mu+ events is surprisingly sensitive to as-yet unexcluded R-parity violating supersymmetric models with non-zero lambda-prime 231 couplings. The search relies upon the approximate lepton universality in the Standard Model, the sign of the charge of the proton, and a collection of favourable detector biases. The proposed search is unusual because: it does not require any of the displaced vertices, hadronic neutralino decay products, or squark/gluino production relied upon by existing LHC RPV searches; it could work in cases in which the only light sparticles were smuons and neutralinos; and it could make a discovery (though not necessarily with optimal significance) without requiring the computation of a leading-order Monte Carlo estimate of any background rate. The LHC has shown no strong hints of post-Higgs physics and so precision Standard Model measurements are becoming ever more important. We argue that in this environment growing profits are to be made from searches that place detector biases and symmetries of the Standard Model at their core - searches based around `controls' rather than around signals.


title: Solvability of multidimensional quadratic BSDEs

abstract: We consider multidimensional quadratic BSDEs with bounded and unbounded terminal conditions. We provide sufficient conditions which guarantee existence and uniqueness of solutions. In particular, these conditions are satisfied if the terminal condition or the dependence in the system are small enough.


title: Deep Supervision with Shape Concepts for Occlusion-Aware 3D Object Parsing

abstract: Monocular 3D object parsing is highly desirable in various scenarios including occlusion reasoning and holistic scene interpretation. We present a deep convolutional neural network (CNN) architecture to localize semantic parts in 2D image and 3D space while inferring their visibility states, given a single RGB image. Our key insight is to exploit domain knowledge to regularize the network by deeply supervising its hidden layers, in order to sequentially infer intermediate concepts associated with the final task. To acquire training data in desired quantities with ground truth 3D shape and relevant concepts, we render 3D object CAD models to generate large-scale synthetic data and simulate challenging occlusion configurations between objects. We train the network only on synthetic data and demonstrate state-of-the-art performances on real image benchmarks including an extended version of KITTI, PASCAL VOC, PASCAL3D+ and IKEA for 2D and 3D keypoint localization and instance segmentation. The empirical results substantiate the utility of our deep supervision scheme by demonstrating effective transfer of knowledge from synthetic data to real images, resulting in less overfitting compared to standard end-to-end training.


title: Domain wall network as QCD vacuum: confinement, chiral symmetry, hadronization

abstract: An approach to QCD vacuum as a medium describable in terms of statistical ensemble of almost everywhere homogeneous Abelian (anti-)self-dual gluon fields is reviewed. These fields play the role of the confining medium for color charged fields as well as underline the mechanism of realization of chiral $SU_{\mathrm L}(N_f)\times SU_{\mathrm R}(N_f)$ and $U_{\mathrm A}(1)$ symmetries. Hadronization formalism based on this ensemble leads to manifestly defined quantum effective meson action. Strong, electromagnetic and weak interactions of mesons are represented in the action in terms of nonlocal $n$-point interaction vertices given by the quark-gluon loops averaged over the background ensemble. Systematic results for the mass spectrum and decay constants of radially excited light, heavy-light mesons and heavy quarkonia are presented. Relationship of this approach to the results of functional renormalization group and Dyson-Schwinger equations, and the picture of harmonic confinement is briefly outlined.


title: Stream Clustering using Probabilistic Data Structures

abstract: Most density based stream clustering algorithms separate the clustering process into an online and offline component. Exact summarized statistics are being employed for defining micro-clusters or grid cells during the online stage followed by macro-clustering during the offline stage. This paper proposes a novel alternative to the traditional two phase stream clustering scheme, introducing sketch-based data structures for assessing both stream density and cluster membership with probabilistic accuracy guarantees. A count-min sketch using a damped window model estimates stream density. Bloom filters employing a variation of active-active buffering estimate cluster membership. Instances of both types of sketches share the same set of hash functions. The resulting stream clustering algorithm is capable of detecting arbitrarily shaped clusters while correctly handling outliers and making no assumption on the total number of clusters. Experimental results over a number of real and synthetic datasets illustrate the proposed algorithm quality and efficiency.


title: Discretization of quaternionic continuous wavelet transforms

abstract: A scheme to form a basis and a frame for a Hilbert space of quaternion valued square integrable function from a basis and a frame, respectively, of a Hilbert space of complex valued square integrable functions is introduced. Using the discretization techniques for 2D-continuous wavelet transform of the $SIM(2)$ group, the quaternionic continuous wavelet transform, living in a complex valued Hilbert space of square integrable functions, of the quaternion wavelet group is discretized, and thereby, a discrete frame for quaternion valued Hilbert space of square integrable functions is obtained.


title: Embedding Words and Senses Together via Joint Knowledge-Enhanced Training

abstract: Word embeddings are widely used in Natural Language Processing, mainly due to their success in capturing semantic information from massive corpora. However, their creation process does not allow the different meanings of a word to be automatically separated, as it conflates them into a single vector. We address this issue by proposing a new model which learns word and sense embeddings jointly. Our model exploits large corpora and knowledge from semantic networks in order to produce a unified vector space of word and sense embeddings. We evaluate the main features of our approach both qualitatively and quantitatively in a variety of tasks, highlighting the advantages of the proposed method in comparison to state-of-the-art word- and sense-based models.


title: Renormalized Energy for Dislocations in Quasi-Crystals

abstract: Anti-plane shear deformations of a hexagonal quasi-crystal with multiple screw dislocations are considered. Using a variational formulation, the elastic equilibrium is characterized via limit of minimizers of a core-regularized energy functional. A sharp estimate of the asymptotic energy when the core radius tends to zero is obtained using higher-order $\Gamma$-convergence. Also, the interaction between dislocations and the Peach-K\"{o}hler force at each dislocation are analyzed.


title: A Nonparametric Bayesian Basket Trial Design

abstract: Targeted therapies on the basis of genomic aberrations analysis of the tumor have shown promising results in cancer prognosis and treatment. Regardless of tumor type, trials that match patients to targeted therapies for their particular genomic aberrations have become a mainstream direction of therapeutic management of patients with cancer. Therefore, finding the subpopulation of patients who can most benefit from an aberration-specific targeted therapy across multiple cancer types is important. We propose an adaptive Bayesian clinical trial design for patient allocation and subpopulation identification. We start with a decision theoretic approach, including a utility function and a probability model across all possible subpopulation models. The main features of the proposed design and population finding methods are that we allow for variable sets of covariates to be recorded by different patients, adjust for missing data, allow high order interactions of covariates, and the adaptive allocation of each patient to treatment arms using the posterior predictive probability of which arm is best for each patient. The new method is demonstrated via extensive simulation studies.


title: Entity Identification as Multitasking

abstract: Standard approaches in entity identification hard-code boundary detection and type prediction into labels (e.g., John/B-PER Smith/I-PER) and then perform Viterbi. This has two disadvantages: 1. the runtime complexity grows quadratically in the number of types, and 2. there is no natural segment-level representation. In this paper, we propose a novel neural architecture that addresses these disadvantages. We frame the problem as multitasking, separating boundary detection and type prediction but optimizing them jointly. Despite its simplicity, this architecture performs competitively with fully structured models such as BiLSTM-CRFs while scaling linearly in the number of types. Furthermore, by construction, the model induces type-disambiguating embeddings of predicted mentions.


title: CrowdMI: Multiple Imputation via Crowdsourcing

abstract: Can humans impute missing data with similar proficiency as machines? This is the question we aim to answer in this paper. We present a novel idea of converting observations with missing data in to a survey questionnaire, which is presented to crowdworkers for completion. We replicate a multiple imputation framework by having multiple unique crowdworkers complete our questionnaire. Experimental results demonstrate that using our method, it is possible to generate valid imputations for qualitative and quantitative missing data, with results comparable to imputations generated by complex statistical models.


title: Landau Singularities from the Amplituhedron

abstract: We propose a simple geometric algorithm for determining the complete set of branch points of amplitudes in planar N=4 super-Yang-Mills theory directly from the amplituhedron, without resorting to any particular representation in terms of local Feynman integrals. This represents a step towards translating integrands directly into integrals. In particular, the algorithm provides information about the symbol alphabets of general amplitudes. We illustrate the algorithm applied to the one- and two-loop MHV amplitudes.


title: Predicting Ground-Level Scene Layout from Aerial Imagery

abstract: We introduce a novel strategy for learning to extract semantically meaningful features from aerial imagery. Instead of manually labeling the aerial imagery, we propose to predict (noisy) semantic features automatically extracted from co-located ground imagery. Our network architecture takes an aerial image as input, extracts features using a convolutional neural network, and then applies an adaptive transformation to map these features into the ground-level perspective. We use an end-to-end learning approach to minimize the difference between the semantic segmentation extracted directly from the ground image and the semantic segmentation predicted solely based on the aerial image. We show that a model learned using this strategy, with no additional training, is already capable of rough semantic labeling of aerial imagery. Furthermore, we demonstrate that by finetuning this model we can achieve more accurate semantic segmentation than two baseline initialization strategies. We use our network to address the task of estimating the geolocation and geoorientation of a ground image. Finally, we show how features extracted from an aerial image can be used to hallucinate a plausible ground-level panorama.


title: Monte Carlo profile confidence intervals

abstract: Monte Carlo methods to evaluate and maximize the likelihood function enable the construction of confidence intervals and hypothesis tests, facilitating scientific investigation using models for which the likelihood function is intractable. When Monte Carlo error can be made small, by sufficiently exhaustive computation, then the standard theory and practice of likelihood-based inference applies. As data become larger, and models more complex, situations arise where no reasonable amount of computation can render Monte Carlo error negligible. We develop profile likelihood methodology to provide frequentist inferences that take into account Monte Carlo uncertainty. We investigate the role of this methodology in facilitating inference for computationally challenging dynamic latent variable models. We present three examples arising in the study of infectious disease transmission. These three examples demonstrate our methodology for inference on nonlinear dynamic models using genetic sequence data, panel time series data, and spatiotemporal data. We also discuss applicability to nonlinear time series analysis.


title: Current-induced switching of magnetic molecules on topological insulator surfaces

abstract: Electrical currents at the surface or edge of a topological insulator are intrinsically spin-polarized. We show that such surface/edge currents can be used to switch the orientation of a molecular magnet weakly coupled to the surface or edge of a topological insulator. For the edge of a two-dimensional topological insulator as well as for the surface of a three-dimensional topological insulator the application of a well-chosen surface/edge current can lead to a complete polarization of the molecule if the molecule's magnetic anisotropy axis is appropriately aligned with the current direction. For a generic orientation of the molecule a nonzero but incomplete polarization is obtained. We calculate the probability distribution of the magnetic states and the switching rates as a function of the applied current.


title: Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks

abstract: A typical viral marketing model identifies influential users in a social network to maximize a single product adoption assuming unlimited user attention, campaign budgets, and time. In reality, multiple products need campaigns, users have limited attention, convincing users incurs costs, and advertisers have limited budgets and expect the adoptions to be maximized soon. Facing these user, monetary, and timing constraints, we formulate the problem as a submodular maximization task in a continuous-time diffusion model under the intersection of a matroid and multiple knapsack constraints. We propose a randomized algorithm estimating the user influence in a network ($|\mathcal{V}|$ nodes, $|\mathcal{E}|$ edges) to an accuracy of $\epsilon$ with $n=\mathcal{O}(1/\epsilon^2)$ randomizations and $\tilde{\mathcal{O}}(n|\mathcal{E}|+n|\mathcal{V}|)$ computations. By exploiting the influence estimation algorithm as a subroutine, we develop an adaptive threshold greedy algorithm achieving an approximation factor $k_a/(2+2 k)$ of the optimal when $k_a$ out of the $k$ knapsack constraints are active. Extensive experiments on networks of millions of nodes demonstrate that the proposed algorithms achieve the state-of-the-art in terms of effectiveness and scalability.


title: NbN/AlN/NbN Josephson junctions on sapphire for receiver applications

abstract: The most developed integrated receivers for THz radiation nowadays are based on Josephson junction SIS devices. In this kind of devices, the highest receivable frequency is determined by the energy gap of the superconducting electrodes and limited to approximately 700 GHz in case of Nb/AlOx/Nb multilayers. We have developed a technology for NbN/AlN/NbN Josephson junctions on sapphire substrates which allow operation at frequencies above 1 THz. The trilayers are deposited in-situ in a 3-chamber DC-magnetron sputtering system at temperatures as high as 775 {\deg}C. Each layer is reactively sputtered in an argon and nitrogen atmosphere. By variation of the partial gas pressures and discharge current of the plasma, optimum deposition conditions for the tri-layers were found. So far, gap voltages as high as 5.1 mV at 4.2 K have been achieved which allows the operation frequency of the JJ devices to exceed 1 THz.


title: Many-body effects in nonlinear optical responses of 2D layered semiconductors

abstract: We performed ultrafast degenerate pump-probe spectroscopy on monolayer WSe2 near its exciton resonance. The observed differential reflectance signals exhibit signatures of strong many-body interactions including the exciton-exciton interaction and free carrier induced band gap renormalization. The exciton-exciton interaction results in a resonance blue shift which lasts for the exciton lifetime (several ps), while the band gap renormalization manifests as a resonance red shift with several tens ps lifetime. Our model based on the many-body interactions for the nonlinear optical susceptibility fits well the experimental observations. The power dependence of the spectra shows that with the increase of pump power, the exciton population increases linearly and then saturates, while the free carrier density increases superlinearly, implying that exciton Auger recombination could be the origin of these free carriers. Our model demonstrates a simple but efficient method for quantitatively analyzing the spectra, and indicates the important role of Coulomb interactions in nonlinear optical responses of such 2D materials.


title: A Thermodynamically consistent model of the post-translational Kai circadian clock

abstract: The principal pacemaker of the circadian clock of the cyanobacterium S. elongatus is a protein phosphorylation cycle consisting of three proteins, KaiA, KaiB and KaiC. KaiC forms a homohexamer, with each monomer consisting of two domains, CI and CII. Both domains can bind and hydrolyze ATP, but only the CII domain can be phosphorylated, at two residues, in a well-defined sequence. While this system has been studied extensively, how the clock is driven thermodynamically has remained elusive. Inspired by recent experimental observations and building on ideas from previous mathematical models, we present a new, thermodynamically consistent, statistical-mechanical model of the clock. At its heart are two main ideas: i) ATP hydrolysis in the CI domain provides the thermodynamic driving force for the clock, switching KaiC between an active conformational state in which its phosphorylation level tends to rise and an inactive one in which it tends to fall; ii) phosphorylation of the CII domain provides the timer for the hydrolysis in the CI domain. The model also naturally explains how KaiA, by acting as a nucleotide exchange factor, can stimulate phosphorylation of KaiC, and how the differential affinity of KaiA for the different KaiC phosphoforms generates the characteristic temporal order of KaiC phosphorylation. As the phosphorylation level in the CII domain rises, the release of ADP from CI slows down, making the inactive conformational state of KaiC more stable. In the inactive state, KaiC binds KaiB, which not only stabilizes this state further, but also leads to the sequestration of KaiA, and hence to KaiC dephosphorylation. Using a dedicated kinetic Monte Carlo algorithm, we show that the model can describe a wealth of experimental data.

categories: physics.bio-ph q-bio.MN q-bio.QM q-bio.SC


title: Anisotropies in the linear polarization of vacancy photoluminescence in diamond induced by crystal rotations and strong magnetic fields

abstract: We study the linear polarization properties of the photoluminescence of the neutral and negatively charged nitrogen vacancies and neutral vacancies in diamond crystals as function of their symmetry and their response to strong external magnetic fields. The linear polarization degree, which exceeds 10% at room temperature, and rotation of the polarization plane of their zero-phonon lines significantly depend on the crystal rotation around specific axes demonstrating anisotropic angular evolutions. The sign of the polarization plane rotation is changed periodically through the crystal rotation, which indicates a switching between electron excited states of orthogonal linear polarizations. At external magnetic fields of up to 10 T, the angular dependences of the linear polarization degree experience a remarkable phase shift. Moreover, the rotation of the linear polarization plane increases linearly with rising magnetic field at 6 K and room temperature, for the negatively charged nitrogen vacancies, which is attributed to magneto-optical Faraday rotation.


title: Neighborhood reconstruction and cancellation of graphs

abstract: We connect two seemingly unrelated problems in graph theory. Any graph $G$ has an associated neighborhood multiset $\mathscr{N}(G)= \{N(x) \mid x\in V(G)\}$ whose elements are precisely the open vertex-neighborhoods of $G$. In general there exist non-isomorphic graphs $G$ and $H$ for which $\mathscr{N}(G)=\mathscr{N}(H)$. The neighborhood reconstruction problem asks the conditions under which $G$ is uniquely reconstructible from its neighborhood multiset, that is, the conditions under which $\mathscr{N}(G)=\mathscr{N}(H)$ implies $G\cong H$. Such a graph is said to be neighborhood-reconstructible. The cancellation problem for the direct product of graphs seeks the conditions under which $G\times K\cong H\times K$ implies $G\cong H$. Lovasz proved that this is indeed the case if $K$ is not bipartite. A second instance of the cancellation problem asks for conditions on $G$ that assure $G\times K\cong H\times K$ implies $G\cong H$ for any bipartite graph $K$ with $E(K)\neq \emptyset$. A graph $G$ for which this is true is called a cancellation graph. We prove that the neighborhood-reconstructible graphs are precisely the cancellation graphs. We also present some new results on cancellation graphs, which have corresponding implications for neighborhood reconstruction.


title: Testing Higgs Coupling Precision and New Physics Scales at Lepton Colliders

abstract: The next-generation lepton colliders, such as CEPC, FCC-ee, and ILC will make precision measurement of the Higgs boson properties. We first extract the Higgs coupling precision from Higgs observables at CEPC to illustrate the potential of future lepton colliders. Depending on the related event rates, the precision can reach percentage level for most couplings. Then, we try to estimate the new physics scales that can be indirectly probed with Higgs and electroweak precision observables. The Higgs observables, together with the existing electroweak precision observables, can probe new physics up to 10TeV (40TeV for the gluon-related operator $\mathcal O_g$) at 95% C.L. Including the $Z/W$ mass measurements and $Z$-pole observables at CEPC further pushes the limit up to 35TeV. Although $Z$-pole running is originally for the purpose of machine calibration, it can be as important as the Higgs observables for probing the new physics scales indirectly. The indirect probe of new physics scales at lepton colliders can mainly cover the energy range to be explored by the following hadron colliders of pp (50-100TeV), such as SPPC and FCC-hh.


title: A short proof of Rudnev's point-plane incidence bound

abstract: In this note we give a shortened proof of a theorem of Rudnev, which bounds the number of incidences between points and planes over an arbitrary field. Rudnev's proof uses a map that goes via the four-dimensional Klein quadric to a three-dimensional space, where it applies a bound of Guth and Katz on intersection points of lines. We describe a simple geometric map that directly sends point-plane incidences to line-line intersections in space, allowing us to reprove Rudnev's theorem with fewer technicalities.


title: Creation and manipulation of stable dark solitons and vortices in microcavity polariton condensates

abstract: Solitons and vortices obtain widespread attention in different physical systems as they offer potential use in information storage, processing, and communication. In exciton-polariton condensates in semiconductor microcavities, solitons and vortices can be created optically. However, dark solitons are unstable and vortices cannot be spatially controlled. In the present work we demonstrate the existence of stable dark solitons and vortices under non-resonant incoherent excitation of a polariton condensate with a simple spatially periodic pump. In one dimension, we show that an additional coherent light pulse can be used to create or destroy a dark soliton in a controlled manner. In two dimensions we demonstrate that a coherent light beam can be used to move a vortex to a specific position on the lattice or be set into motion by simply switching the periodic pump structure from two-dimensional (lattice) to one-dimensional (stripes). Our theoretical results open up exciting possibilities for optical on-demand generation and control of dark solitons and vortices in polariton condensates.


title: Flexible and compact hybrid metasurfaces for enhanced ultra high field in vivo magnetic resonance imaging

abstract: Developments in metamaterials and related structures such as metasurfaces have opened up new possibilities in designing materials and devices with unique properties. The main progress related to electromagnetic waves applications was done in optical and microwave spectra. Here we report about a new hybrid metasurface structure, comprising a two-dimensional metamaterial surface and a very high permittivity dielectric substrate that was designed to enhance the performance of an ultra-high field MRI scanner. This new flexible and compact resonant structure is the first one which can be integrated into a multi-element close-fitting receive coil array used for all clinical MRI. We successfully demonstrated the operation of the metasurface in acquiring vivo human brain images and spectra with enhanced local sensitivity on a commercial 7 Tesla system. These experimental findings prove the feasibility of real clinical applications of metasurfaces in MRI.


title: Area bounds for minimal surfaces in geodesic ball of hyperbolic space

abstract: In hyperbolic space $H^n$ we set a geodesic ball of radius $\rho$. Consider a $k$ dimensional minimal submanifold passing through the origin of the geodesic ball with boundary lies on the boundary of that geodesic ball. We prove that its area is no less than the totally geodesic $k$ dimensional submanifold passing through the origin in that geodesic ball. This is a partial generalization of the corresponding problem in $R^n$.


title: The trace of the canonical module

abstract: The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar definitions can be made for positively graded Cohen--Macaulay $K$-algebras. We study the canonical trace for tensor products and Segre products of algebras, as well as of (squarefree) Veronese subalgebras. The results are used to classify the nearly Gorenstein Hibi rings. We study connections between the class of nearly Gorenstein rings and that of almost Gorenstein rings. We show that in dimension one, the former class includes the latter.


title: Elucidating the Voltage Controlled Magnetic Anisotropy

abstract: Voltage controlled magnetic anisotropy (VCMA) is an efficient way to manipulate the magnetization states in nanomagnets, promising for low-power spintronic applications. The underlying physical mechanism for VCMA is known to involve a change in the d-orbital occupation on the transition metal interface atoms with an applied electric field. However, a simple qualitative picture of how this occupation controls the magnetocrystalline anisotropy (MCA) and even why in certain cases the MCA has opposite sign still remains elusive. In this paper, we exploit a simple model of orbital populations to elucidate a number of features typical for the interface MCA and the effect of electric field on it, for 3d transition metal thin films used in magnetic tunnel junctions. We find that in all considered cases including the Fe (001) surface, clean Fe1-xCox(001)/MgO interface and oxidized Fe(001)/MgO interface, the effects of alloying and electric field enhance the MCA energy with electron depletion which is largely explained by the occupancy of the minority-spin dxz,yz orbitals. On the other hand, the hole doped Fe(001) exhibits an inverse VCMA, where the MCA enhancement is achieved when electrons are accumulated at the Fe (001)/MgO interface with applied electric field. In this regime we predict a significantly enhanced VCMA which exceeds 1pJ/Vm. Realizing this regime experimentally may be favorable for a practical purpose of voltage driven magnetization reversal.


title: An Empirical Fitting Method for Type Ia Supernova Light Curves. II. Estimating the First-Light Time and Rise Time

abstract: We investigate a new empirical fitting method for the optical light curves of Type Ia supernovae (SNe~Ia) that is able to estimate the first-light time of SNe~Ia, even when they are not discovered extremely early. With an improved ability to estimate the time of first light for SNe Ia, we compute the rise times for a sample of 56 well-observed SNe~Ia. We find rise times ranging from 10.5 to 20.5 days, with a mean of 16.0 days, and confirm that the rise time is generally correlated with the decline rate $\Delta m_{15}(B)$, but with large scatter. The rise time could be an additional parameter to help classify SN~Ia subtypes.


title: Inverse scattering transform for the nonlocal nonlinear Schr\"{o}dinger equation with nonzero boundary conditions

abstract: In 2013 a new nonlocal symmetry reduction of the well-known AKNS scattering problem was found; it was shown to give rise to a new nonlocal $PT$ symmetric and integrable Hamiltonian nonlinear Schr\"{o}dinger (NLS) equation. Subsequently, the inverse scattering transform was constructed for the case of rapidly decaying initial data and a family of spatially localized, time periodic one soliton solution were found. In this paper, the inverse scattering transform for the nonlocal NLS equation with nonzero boundary conditions at infinity is presented in the four cases when the data at infinity have constant amplitudes. The direct and inverse scattering problems are analyzed. Specifically, the direct problem is formulated, the analytic properties of the eigenfunctions and scattering data and their symmetries are obtained. The inverse scattering problem is developed via a left-right Riemann-Hilbert problem in terms of a suitable uniformization variable and the time dependence of the scattering data is obtained. This leads to a method to linearize/solve the Cauchy problem. Pure soliton solutions are discussed and explicit 1-soliton solution and two 2-soliton solutions are provided for three of the four different cases corresponding to two different signs of nonlinearity and two different values of the phase difference between plus and minus infinity. In the one other case there are no solitons.


title: Fundamental theorem of Algebra - A Nevanlinna theoretic proof

abstract: There are several proofs of the Fundamental Theorem of Algebra, mainly using algebra, analysis and topology. In this article, we have shown that the Fundamental Theorem of Algebra can be proved using Nevanlinna's first fundamental theorem as well as second fundamental theorem also.


title: Sterile neutrino searches at future $e^-e^+$, $pp$, and $e^-p$ colliders

abstract: Sterile neutrinos are among the most attractive extensions of the SM to generate the light neutrino masses observed in neutrino oscillation experiments. When the sterile neutrinos are subject to a protective symmetry, they can have masses around the electroweak scale and potentially large neutrino Yukawa couplings, which makes them testable at planned future particle colliders. We systematically discuss the production and decay channels at electron-positron, proton-proton and electron-proton colliders and provide a complete list of the leading order signatures for sterile neutrino searches. Among other things, we discuss several novel search channels, and present a first look at the possible sensitivities for the active-sterile mixings and the heavy neutrino masses. We compare the performance of the different collider types and discuss their complementarity.


title: Smoothness and Poisson structures of Bridgeland moduli spaces on Poisson surfaces

abstract: Let X be a projective smooth holomorphic Poisson surface, in other words, whose anti-canonical divisor is effective. We show that moduli spaces of certain Bridgeland stable objects on X are smooth. Moreover, we construct Poisson structures on these moduli spaces.


title: Higher-order Weierstrass weights of branch points on superelliptic curves

abstract: In this paper we consider the problem of calculating the higher-order Weierstrass weight of the branch points of a superelliptic curve $C$. For any $q>1$, we give an exact formula for the $q$-weight of an affine branch point. We also find a formula for the $q$-weight of a point at infinity in the case where $n$ and $d$ are relatively prime. With these formulas, for any fixed $n$, we obtain an asymptotic formula for the ratio of the $q$-weight of the branch points, denoted $BW_q$, to the total $q$-weight of points on the curve: \[ \liminf_{d\to\infty}\frac{BW_q}{g(g-1)^2(2q-1)^2}\geq \frac{n+1}{3(n-1)^2(2q-1)^2},\] with equality when the limit is taken such that $\gcd(n,d)=1$.


title: Automatic Differentiation: a look through Tensor and Operational Calculus

abstract: In this paper we take a look at Automatic Differentiation through the eyes of Tensor and Operational Calculus. This work is best consumed as supplementary material for learning tensor and operational calculus by those already familiar with automatic differentiation. To that purpose, we provide a simple implementation of automatic differentiation, where the steps taken are explained in the language tensor and operational calculus.


title: TCP-aware Cross Layer Scheduling with Adaptive Modulation in IEEE 802.16 (WiMAX) Networks

abstract: In this paper, we propose Transmission Control Protocol (TCP)-aware cross layer scheduling algorithms in a multipoint-to-point network such as the uplink of an IEEE 802.16 (WiMAX) network. Inadequate bandwidth allocation to a TCP flow may lead to timeout and since TCP source drops its congestion window ($cwnd$) immediately after a timeout, it may affect the average throughput adversely. On the other hand, since the TCP source increases its $cwnd$ only linearly upon the availability of bandwidth, any excess assignment of bandwidth may remain underutilized. The proposed scheduling algorithms address this by allocating the resources based on $cwnd$ and TCP timeout. Moreover, since we focus on uplink scheduling, we consider that only {\em flow} level resource requirement is communicated to the Base Station ($BS$) instead of per {\em packet} information. The schedulers also take into account the wireless channel characteristics and are thus cross layer in nature. Through exhaustive simulations, we demonstrate that the proposed schedulers exhibit enhanced throughput and fairness properties when compared to that of Round Robin (RR) scheduler under different shadowing. We demonstrate a gain between 3.5 \% to 15 \% in throughput and 15 \% to 25 \% in channel utilization over RR scheduler under different shadowing.


title: Regular Dilation on Graph Products of $\mathbb{N}$

abstract: We extended the definition of regular dilation to graph products of $\mathbb{N}$, which is an important class of quasi-lattice ordered semigroups. Two important results in dilation theory are unified under our result: namely, Brehmer's regular dilation on $\mathbb{N}^k$ and Frazho-Bunce-Popescu's dilation of row contractions. We further show that a representation of a graph product has an isometric Nica-covariant dilation if and only if it is $\ast$-regular. A special case of our result was considered by Popescu, and we studied the connection with Popescu's work.


title: Learning in the Machine: Random Backpropagation and the Deep Learning Channel

abstract: Random backpropagation (RBP) is a variant of the backpropagation algorithm for training neural networks, where the transpose of the forward matrices are replaced by fixed random matrices in the calculation of the weight updates. It is remarkable both because of its effectiveness, in spite of using random matrices to communicate error information, and because it completely removes the taxing requirement of maintaining symmetric weights in a physical neural system. To better understand random backpropagation, we first connect it to the notions of local learning and learning channels. Through this connection, we derive several alternatives to RBP, including skipped RBP (SRPB), adaptive RBP (ARBP), sparse RBP, and their combinations (e.g. ASRBP) and analyze their computational complexity. We then study their behavior through simulations using the MNIST and CIFAR-10 bechnmark datasets. These simulations show that most of these variants work robustly, almost as well as backpropagation, and that multiplication by the derivatives of the activation functions is important. As a follow-up, we study also the low-end of the number of bits required to communicate error information over the learning channel. We then provide partial intuitive explanations for some of the remarkable properties of RBP and its variations. Finally, we prove several mathematical results, including the convergence to fixed points of linear chains of arbitrary length, the convergence to fixed points of linear autoencoders with decorrelated data, the long-term existence of solutions for linear systems with a single hidden layer and convergence in special cases, and the convergence to fixed points of non-linear chains, when the derivative of the activation functions is included.


title: Harmonic analysis approach to Gromov--Hausdorff convergence for noncommutative tori

abstract: We show that the rotation algebras are limit of matrix algebras in a very strong sense of convergence for algebras with additional Lipschitz structure. Our results generalize to higher dimensional noncommutative tori and operator valued coefficients. In contrast to previous results by Rieffel, Li, Kerr, and Latr\'emoli\`ere we use Lipschitz norms induced by the `carr\'e du champ' of certain natural dynamical systems, including the heat semigroup.


title: An accelerated Poisson solver based on multidomain spectral discretization

abstract: This paper presents a numerical method for variable coefficient elliptic PDEs with mostly smooth solutions on two dimensional domains. The PDE is discretized via a multi-domain spectral collocation method of high local order (order 30 and higher have been tested and work well). Local mesh refinement results in highly accurate solutions even in the presence of local irregular behavior due to corner singularities, localized loads, etc. The system of linear equations attained upon discretization is solved using a direct (as opposed to iterative) solver with $O(N^{1.5})$ complexity for the factorization stage and $O(N \log N)$ complexity for the solve. The scheme is ideally suited for executing the elliptic solve required when parabolic problems are discretized via time-implicit techniques. In situations where the geometry remains unchanged between time-steps, very fast execution speeds are obtained since the solution operator for each implicit solve can be pre-computed.


title: A-infinity resolutions and the Golod property for monomial rings

abstract: Let R=S/I be a monomial ring whose minimal free resolution F is rooted. We describe an A-infinity algebra structure on F. Using this structure, we show that R is Golod if and only if the product on Tor^S(R,k) vanishes. Furthermore, we give a necessary and sufficient combinatorial condition for R to be Golod.


title: Global behavior of solutions to generalized Gross-Pitaevskii equation

abstract: This paper is concerned with time global behavior of solutions to nonlinear Schr\"odinger equation with a non-vanishing condition at the spatial infinity. Under a non-vanishing condition, it would be expected that the behavior is determined by the shape of the nonlinear term around the non-vanishing state. To observe this phenomenon, we introduce a generalized version of the Gross-Pitaevskii equation, which is a typical equation involving a non-vanishing condition, by modifying the shape of nonlinearity around the non-vanishing state. It turns out that, if the nonlinearity decays fast as a solution approaches to the non-vanishing state, then the equation admits a global solution which scatters to the non-vanishing element for both time directions.


title: Controlling Robot Morphology from Incomplete Measurements

abstract: Mobile robots with complex morphology are essential for traversing rough terrains in Urban Search & Rescue missions (USAR). Since teleoperation of the complex morphology causes high cognitive load of the operator, the morphology is controlled autonomously. The autonomous control measures the robot state and surrounding terrain which is usually only partially observable, and thus the data are often incomplete. We marginalize the control over the missing measurements and evaluate an explicit safety condition. If the safety condition is violated, tactile terrain exploration by the body-mounted robotic arm gathers the missing data.