title: Some Generalized Clifford-Jacobi Polynomials and Associated Spheroidal Wavelets

abstract: In the present paper, by extending some fractional calculus to the framework of Cliffors analysis, new classes of wavelet functions are presented. Firstly, some classes of monogenic polynomials are provided based on 2-parameters weight functions which extend the classical Jacobi ones in the context of Clifford analysis. The discovered polynomial sets are next applied to introduce new wavelet functions. Reconstruction formula as well as Fourier-Plancherel rules have been proved. The main tool reposes on the extension of fractional derivatives, fractional integrals and fractional Fourier transforms to Clifford analysis.


title: Diffusion on Fractal Ces\`aro Curve

abstract: In this paper, we apply F-calculus on fractal Koch and Ces\`aro curves with different dimensions. Generalized Newton's second law on the fractal Koch and Ces\`aro curves is suggested. Density of moving particles which absorbed on fractal Ces\`aro are derived. More, illustrative examples are given to present the details of F-integrals and F-derivatives.


title: Evaluations of Euler type sums of weight $\leq$ 5

abstract: Let $p,p_1,\ldots,p_m$ be positive integers with $p_1\leq p_2\leq\cdots\leq p_m$ and $x\in [-1,1)$, define the so-called Euler type sums ${S_{{p_1}{p_2} \cdots {p_m},p}}\left( x \right)$, which are the infinite sums whose general term is a product of harmonic numbers of index $n$, a power of $n^{-1}$ and variable $x^n$, by \[S_{p_1 p_2 \cdots p_m, p}(x) := \sum_{n = 1}^\infty \frac{H_n^{(p_1)} H_n^{(p_2)} \cdots H_n^{(p_m)}} {n^p} x^n \quad (m\in \mathbb{N} := \{1,2,3,\ldots\}), \] where $H_n^{(p)}$ is defined by the generalized harmonic number. Extending earlier work about classical Euler sums, we prove that whenever $p+p_1+\cdots+p_m \leq 5$, then all sums ${S_{{p_1}{p_2} \cdots {p_m},p}}\left( 1/2\right)$ can be expressed as a rational linear combination of products of zeta values, polylogarithms and $\log(2)$. The proof involves finding and solving linear equations which relate the different types of sums to each other.


title: Extreme isolation of WN3/O3 stars and implications for their evolutionary origin as the elusive stripped binaries

abstract: Recent surveys of the Magellanic Clouds have revealed a subtype of Wolf-Rayet (WR) star with peculiar properties. WN3/O3 spectra exhibit both WR-like emission and O3 V-like absorption - but at lower luminosity than O3 V or WN stars. We examine the projected spatial distribution of WN3/O3 stars in the LMC as compared to O-type stars. Surprisingly, WN3/O3 stars are among the most isolated of all classes of massive stars; they have a distribution similar to red supergiants dominated by initial masses of 10-15 $M_{\odot}$, and are far more dispersed than classical WR stars or luminous blue variables (LBVs). Their lack of association with clusters of O-type stars suggests strongly that WN3/O3 stars are not the descendants of single massive stars (30 $M_{\odot}$ or above). Instead, they are likely products of interacting binaries at lower initial mass (10-18 $M_{\odot}$). Comparison with binary models suggests a probable origin with primaries in this mass range that were stripped of their H envelopes through non-conservative mass transfer by a low-mass secondary. We show that model spectra and positions on the Hertzsprung-Russell diagram for binary stripped stars are consistent with WN3/O3 stars. Monitoring radial velocities with high-resolution spectra can test for low-mass companions or runaway velocities. With lower initial mass and environments that avoid very massive stars, the WN3/O3 stars fit expectations for progenitors of Type Ib and possibly Type Ibn supernovae.


title: Universal equilibrium scaling functions at short times after a quench

abstract: By analyzing spin-spin correlation functions at relatively short distances, we show that equilibrium near-critical properties can be extracted at short times after quenches into the vicinity of a quantum critical point. The time scales after which equilibrium properties can be extracted are sufficiently short so that the proposed scheme should be viable for quantum simulators of spin models based on ultracold atoms or trapped ions. Our results, analytic as well as numeric, are for one-dimensional spin models, either integrable or nonintegrable, but we expect our conclusions to be valid in higher dimensions as well.

categories: cond-mat.stat-mech cond-mat.quant-gas nlin.SI quant-ph


title: Analysis of mutual events of Galilean satellites observed from VBO during 2014-15

abstract: Results of analysis of 23 events of the 2014-2015 mutual event series from the Vainu Bappu Observatory are presented. Our intensity distribution model for the eclipsed/occulted satellite is based on the criterion that it simulates a rotational light curve that matches the ground based light curve. Dichotomy in the scattering characteristics of the leading and trailing sides explain the basic shape of the rotational light curves of Europa, Ganymede and Callisto. In case of Io the albedo map from USGS along with global values of scattering parameters work well. Mean values of residuals in $(O-C)$ along and perpendicular to the track are found to be -3.3 and -3.4 mas respectively compared to "L2" theory for the seven 2E1/2O1 events. The corresponding R.M.S values are 8.7 and 7.8 mas respectively. For the five 1E3/1O3 events, the along and perpendicular to the track mean residuals are 5.6 and 3.2 mas respectively. The corresponding R.M.S. residuals are 6.8 and 10.5 mas respectively. We compare the results using the chosen model (Model 1) with a uniform but limb darkened disk (Model 2). The residuals with Model 2 of the 2E1/2O1 and 1E3/1O3 events indicate a bias along the satellite track. The extent and direction of bias is consistent with the shift of the light center from the geometric center. Results using Model 1, which intrinsically takes into account the intensity distribution show no such bias.


title: On Codes over $\mathbb{F}_{q}+v\mathbb{F}_{q}+v^{2}\mathbb{F}_{q}$

abstract: In this paper we investigate linear codes with complementary dual (LCD) codes and formally self-dual codes over the ring $R=\F_{q}+v\F_{q}+v^{2}\F_{q}$, where $v^{3}=v$, for $q$ odd. We give conditions on the existence of LCD codes and present construction of formally self-dual codes over $R$. Further, we give bounds on the minimum distance of LCD codes over $\F_q$ and extend these to codes over $R$.


title: Unsupervised Event Abstraction using Pattern Abstraction and Local Process Models

abstract: Process mining analyzes business processes based on events stored in event logs. However, some recorded events may correspond to activities on a very low level of abstraction. When events are recorded on a too low level of granularity, process discovery methods tend to generate overgeneralizing process models. Grouping low-level events to higher level activities, i.e., event abstraction, can be used to discover better process models. Existing event abstraction methods are mainly based on common sub-sequences and clustering techniques. In this paper, we propose to first discover local process models and then use those models to lift the event log to a higher level of abstraction. Our conjecture is that process models discovered on the obtained high-level event log return process models of higher quality: their fitness and precision scores are more balanced. We show this with preliminary results on several real-life event logs.


title: Responsive Graphical User Interface (ReGUI) and its Implementation in MATLAB

abstract: In this paper we introduce the responsive graphical user interface (ReGUI) approach to creating applications, and demonstrate how this approach can be implemented in MATLAB. The same general technique can be used in other programming languages.


title: Improving Fitness Functions in Genetic Programming for Classification on Unbalanced Credit Card Datasets

abstract: Credit card fraud detection based on machine learning has recently attracted considerable interest from the research community. One of the most important tasks in this area is the ability of classifiers to handle the imbalance in credit card data. In this scenario, classifiers tend to yield poor accuracy on the fraud class (minority class) despite realizing high overall accuracy. This is due to the influence of the majority class on traditional training criteria. In this paper, we aim to apply genetic programming to address this issue by adapting existing fitness functions. We examine two fitness functions from previous studies and develop two new fitness functions to evolve GP classifier with superior accuracy on the minority class and overall. Two UCI credit card datasets are used to evaluate the effectiveness of the proposed fitness functions. The results demonstrate that the proposed fitness functions augment GP classifiers, encouraging fitter solutions on both the minority and the majority classes.


title: The core of a weakly group-theoretical braided fusion category

abstract: We show that the core of a weakly group-theoretical braided fusion category $\C$ is equivalent as a braided fusion category to a tensor product $\B \boxtimes \D$, where $\D$ is a pointed weakly anisotropic braided fusion category, and $\B \cong \vect$ or $\B$ is an Ising braided category. In particular, if $\C$ is integral, then its core is a pointed weakly anisotropic braided fusion category. As an application we give a characterization of the solvability of a weakly group-theoretical braided fusion category. We also prove that an integral modular category all of whose simple objects have Frobenius-Perron dimension at most 2 is necessarily group-theoretical.


title: Forensic Analysis of TomTom Navigation Application

abstract: In the forensic field of digital technology, there has been a great deal of investigation into the decoding of navigation systems of the brand TomTom. As TomTom is the market leader in navigation systems, a large number of these devices are investigated. These devices can hold an abundance of significant location information. Currently, it is possible with the use of multiple methods to make physical copies of mobile devices running Android. The next great forensic problem is all the various programs that can be installed on these devices. There is now an application available from the company TomTom in the Google Play Store. This application mimics a navigation system on your Android mobile device. Indeed, the TomTom application on Android can hold a great deal of information. In this paper, we present a process of forensic acquisition and analysis of the TomTom Android application. We focus on the following questions: Is there a possibility to find previously driven routes or GPS coordinates with timestamps in the memory of the mobile device? To investigate what is stored in these files, driving tests were performed. During these driving tests a copy was made of the most important file using a self-written program. The significant files were found and the data in these files was decoded. We show and analyse our results with Samsung mobile devices. We compare also these results with forensic acquisition from TomTom GPS devices.


title: Spatial gene drives and pushed genetic waves

abstract: Gene drives have the potential to rapidly replace a harmful wild-type allele with a gene drive allele engineered to have desired functionalities. However, an accidental or premature release of a gene drive construct to the natural environment could damage an ecosystem irreversibly. Thus, it is important to understand the spatiotemporal consequences of the super-Mendelian population genetics prior to potential applications. Here, we employ a reaction-diffusion model for sexually reproducing diploid organisms to study how a locally introduced gene drive allele spreads to replace the wild-type allele, even though it possesses a selective disadvantage $s>0$. Using methods developed by N. Barton and collaborators, we show that socially responsible gene drives require $0.5<s<0.697$, a rather narrow range. In this "pushed wave" regime, the spatial spreading of gene drives will be initiated only when the initial frequency distribution is above a threshold profile called "critical propagule", which acts as a safeguard against accidental release. We also study how the spatial spread of the pushed wave can be stopped by making gene drives uniquely vulnerable ("sensitizing drive") in a way that is harmless for a wild-type allele. Finally, we show that appropriately sensitized drives in two dimensions can be stopped even by imperfect barriers perforated by a series of gaps.


title: Rich-clubness test: how to determine whether a complex network has or doesn't have a rich-club?

abstract: The rich-club concept has been introduced in order to characterize the presence of a cohort of nodes with a large number of links (rich nodes) that tend to be well connected between each other, creating a tight group (club). Rich-clubness defines the extent to which a network displays a topological organization characterized by the presence of a node rich-club. It is crucial for the investigation of internal organization and function of networks arising in systems of disparate fields such as transportation, social, communication and neuroscience. Different methods have been proposed for assessing the rich-clubness and various null-models have been adopted for performing statistical tests. However, a procedure that assigns a unique value of rich-clubness significance to a given network is still missing. Our solution to this problem grows on the basis of three new pillars. We introduce: i) a null-model characterized by a lower rich-club coefficient; ii) a fair strategy to normalize the level of rich-clubness of a network in respect to the null-model; iii) a statistical test that, exploiting the maximum deviation of the normalized rich-club coefficient attributes a unique p-value of rich-clubness to a given network. In conclusion, this study proposes the first attempt to quantify, using a unique measure, whether a network presents a significant rich-club topological organization. The general impact of our study on engineering and science is that simulations investigating how the functional performance of a network is changing in relation to rich-clubness might be more easily tuned controlling one unique value: the proposed rich-clubness measure.


title: Toward a new approach for massive LiDAR data processing

abstract: Laser scanning (also known as Light Detection And Ranging) has been widely applied in various application. As part of that, aerial laser scanning (ALS) has been used to collect topographic data points for a large area, which triggers to million points to be acquired. Furthermore, today, with integrating full wareform (FWF) technology during ALS data acquisition, all return information of laser pulse is stored. Thus, ALS data are to be massive and complexity since the FWF of each laser pulse can be stored up to 256 samples and density of ALS data is also increasing significantly. Processing LiDAR data demands heavy operations and the traditional approaches require significant hardware and running time. On the other hand, researchers have recently proposed parallel approaches for analysing LiDAR data. These approaches are normally based on parallel architecture of target systems such as multi-core processors, GPU, etc. However, there is still missing efficient approaches/tools supporting the analysis of LiDAR data due to the lack of a deep study on both library tools and algorithms used in processing this data. In this paper, we present a comparative study of software libraries and algorithms to optimise the processing of LiDAR data. We also propose new method to improve this process with experiments on large LiDAR data. Finally, we discuss on a parallel solution of our approach where we integrate parallel computing in processing LiDAR data.


title: Computation of atomic astrophysical opacities

abstract: The revision of the standard Los Alamos opacities in the 1980-1990s by a group from the Lawrence Livermore National Laboratory (OPAL) and the Opacity Project (OP) consortium was an early example of collaborative big-data science, leading to reliable data deliverables (atomic databases, monochromatic opacities, mean opacities, and radiative accelerations) widely used since then to solve a variety of important astrophysical problems. Nowadays the precision of the OPAL and OP opacities, and even of new tables (OPLIB) by Los Alamos, is a recurrent topic in a hot debate involving stringent comparisons between theory, laboratory experiments, and solar and stellar observations in sophisticated research fields: the standard solar model (SSM), helio and asteroseismology, non-LTE 3D hydrodynamic photospheric modeling, nuclear reaction rates, solar neutrino observations, computational atomic physics, and plasma experiments. In this context, an unexpected downward revision of the solar photospheric metal abundances in 2005 spoiled a very precise agreement between the helioseismic indicators (the radius of the convection zone boundary, the sound-speed profile, and helium surface abundance) and SSM benchmarks, which could be somehow reestablished with a substantial opacity increase. Recent laboratory measurements of the iron opacity in physical conditions similar to the boundary of the solar convection zone have indeed predicted significant increases (30-400%), although new systematic improvements and comparisons of the computed tables have not yet been able to reproduce them. We give an overview of this controversy, and within the OP approach, discuss some of the theoretical shortcomings that could be impairing a more complete and accurate opacity accounting


title: An Optical Catalog of Galaxy Clusters Obtained from an Adaptive Matched Filter Finder Applied to SDSS DR9 Data

abstract: We present a new galaxy cluster catalog constructed from SDSS DR9 using an Adaptive Matched Filter technique. Our main catalog has 46,479 galaxy clusters with richness $\Lambda_{200} > 20$ in the redshift range 0.045 $\le z <$ 0.641 in $\sim$11,500 $deg^{2}$ of the sky. Angular position, richness, core and virial radii and redshift estimates for these clusters, as well as their error analysis are provided. We also provide an extended version with a lower richness cut, containing 79,368 clusters. This version, in addition to the clusters in the main catalog, also contains those clusters (with richness $<20$) which have a one-to-one match in the DR8 catalog developed by Wen et al (WHL). We obtain probabilities for cluster membership for each galaxy and implement several procedures for the identification and removal of false cluster detections. We compare our catalog with other SDSS-based ones such as the redMaPPer (26,350 clusters) and the WHL (132,684 clusters) in the same area of the sky and in the overlapping redshift range. We match 97$\%$ of the richest Abell clusters, the same as WHL, while redMaPPer matches $\sim 90\%$ of these clusters. Considering AMF DR9 richness bins, redMaPPer consistently does not possess one-to-one matches for $\sim$20$\%$ AMF DR9 clusters with $\Lambda_{200}>40$, while WHL matches $\geq$70$\%$ of these missed clusters on average. We also match the AMF catalog with the X-ray cluster catalogs BAX, MCXC and a combined catalog from NORAS and REFLEX. We consistently obtain a greater number of one-to-one matches for X-ray clusters across higher luminosity bins ($L_x>6 \times 10^{44}$ ergs/sec) than redMaPPer while WHL matches the most clusters overall. For the most luminous clusters ($L_x>8$), our catalog performs equivalently to WHL. This new catalog provides a wider sample than redMaPPer while retaining many fewer objects than WHL.


title: Feature Selection Parallel Technique for Remotely Sensed Imagery Classification

abstract: Remote sensing research focusing on feature selection has long attracted the attention of the remote sensing community because feature selection is a prerequisite for image processing and various applications. Different feature selection methods have been proposed to improve the classification accuracy. They vary from basic search techniques to clonal selections, and various optimal criteria have been investigated. Recently, methods using dependence-based measures have attracted much attention due to their ability to deal with very high dimensional datasets. However, these methods are based on Cramers V test, which has performance issues with large datasets. In this paper, we propose a parallel approach to improve their performance. We evaluate our approach on hyper-spectral and high spatial resolution images and compare it to the proposed methods with a centralized version as preliminary results. The results are very promising.


title: Decoherence and degradation of squeezed states in quantum filter cavities

abstract: Squeezed states of light have been successfully employed in interferometric gravitational-wave detectors to reduce quantum noise, thus becoming one of the most promising options for extending the astrophysical reach of the generation of detectors currently under construction worldwide. In these advanced instruments, quantum noise will limit sensitivity over the entire detection band. Therefore, to obtain the greatest benefit from squeezing, the injected squeezed state must be filtered using a long-storage-time optical resonator, or "filter cavity", so as to realise a frequency dependent rotation of the squeezed quadrature. Whilst the ultimate performance of a filter cavity is determined by its storage time, several practical decoherence and degradation mechanisms limit the experimentally achievable quantum noise reduction. In this paper we develop an analytical model to explore these mechanisms in detail. As an example, we apply our results to the 16 m filter cavity design currently under consideration for the Advanced LIGO interferometers.


title: Cascades and Dissipative Anomalies in Compressible Fluid Turbulence

abstract: We investigate dissipative anomalies in a turbulent fluid governed by the compressible Navier-Stokes equation. We follow an exact approach pioneered by Onsager, which we explain as a non-perturbative application of the principle of renormalization-group invariance. In the limit of high Reynolds and P\'eclet numbers, the flow realizations are found to be described as distributional or "coarse-grained" solutions of the compressible Euler equations, with standard conservation laws broken by turbulent anomalies. The anomalous dissipation of kinetic energy is shown to be due not only to local cascade, but also to a distinct mechanism called pressure-work defect. Irreversible heating in stationary, planar shocks with an ideal-gas equation of state exemplifies the second mechanism. Entropy conservation anomalies are also found to occur by two mechanisms: an anomalous input of negative entropy (negentropy) by pressure-work and a cascade of negentropy to small scales. We derive "4/5th-law"-type expressions for the anomalies, which allow us to characterize the singularities (structure-function scaling exponents) required to sustain the cascades. We compare our approach with alternative theories and empirical evidence. It is argued that the "Big Power-Law in the Sky" observed in electron density scintillations in the interstellar medium is a manifestation of a forward negentropy cascade, or an inverse cascade of usual thermodynamic entropy.

categories: physics.flu-dyn astro-ph.GA math-ph math.MP physics.plasm-ph


abstract: To predict a set of diverse and informative proposals with enriched representations, this paper introduces a differentiable Determinantal Point Process (DPP) layer that is able to augment the object detection architectures. Most modern object detection architectures, such as Faster R-CNN, learn to localize objects by minimizing deviations from the ground-truth but ignore correlation between multiple proposals and object categories. Non-Maximum Suppression (NMS) as a widely used proposal pruning scheme ignores label- and instance-level relations between object candidates resulting in multi-labeled detections. In the multi-class case, NMS selects boxes with the largest prediction scores ignoring the semantic relation between categories of potential election. In contrast, our trainable DPP layer, allowing for Learning Detection with Diverse Proposals (LDDP), considers both label-level contextual information and spatial layout relationships between proposals without increasing the number of parameters of the network, and thus improves location and category specifications of final detected bounding boxes substantially during both training and inference schemes. Furthermore, we show that LDDP keeps it superiority over Faster R-CNN even if the number of proposals generated by LDPP is only ~30% as many as those for Faster R-CNN.


title: SppC based energy frontier lepton-proton colliders: luminosity and physics

abstract: In this study, main parameters of Super proton-proton Collider (SppC) based lepton-proton colliders are estimated. For electron beam parameters, highest energy International Linear Collider (ILC) and Plasma Wake Field Accelerator-Linear Collider (PWFA-LC) options are taken into account. For muon beams, 1.5 TeV and 3 TeV center of mass energy Muon Collider parameters are used. In addition, ultimate $\mu$p collider which assumes construction of additional 50 TeV muon ring in the SppC tunnel is considered as well. It is shown that $L_{ep}$ $\sim$ $10^{32}$ $cm^{-2}s^{-1}$ can be achieved with moderate upgrade of the SppC proton beam parameters. Physics search potential of proposed lepton-proton colliders is illustrated by considering small Bjorken x region as an example of SM physics and resonant production of color octet leptons as an example of BSM physics.


title: On the Pervasiveness of Difference-Convexity in Optimization and Statistics

abstract: With the increasing interest in applying the methodology of difference-of-convex (dc) optimization to diverse problems in engineering and statistics, this paper establishes the dc property of many well-known functions not previously known to be of this class. Motivated by a quadratic programming based recourse function in two-stage stochastic programming, we show that the (optimal) value function of a copositive (thus not necessarily convex) quadratic program is dc on the domain of finiteness of the program when the matrix in the objective function's quadratic term and the constraint matrix are fixed. The proof of this result is based on a dc decomposition of a piecewise LC1 function (i.e., functions with Lipschitz gradients). Armed with these new results and known properties of dc functions existed in the literature, we show that many composite statistical functions in risk analysis, including the value-at-risk (VaR), conditional value-at-risk (CVaR), expectation-based, VaR-based, and CVaR-based random deviation functions are all dc. Adding the known class of dc surrogate sparsity functions that are employed as approximations of the l_0 function in statistical learning, our work significantly expands the family of dc functions and positions them for fruitful applications.


title: The GUP effect on Hawking Radiation of the 2+1 dimensional Black Hole

abstract: We investigate the Generalized Uncertainty Principle (GUP) effect on the Hawking radiation of the 2+1 dimensional Martinez-Zanelli black hole by using the Hamilton-Jacobi method. In this connection, we discuss the tunnelling probabilities and Hawking temperature of the spin-1/2 and spin-0 particles for the black hole. Therefore, we use the modified Klein-Gordon and Dirac equations based on the GUP. Then, we observe that the Hawking temperature of the scalar and Dirac particles depend on not only the black hole properties, but also the properties of the tunnelling particle, such as angular momentum, energy and mass. And, in this situation, we see that the tunnellig probability and the Hawking radiation of the Dirac particle is different from that of the scalar particle.


title: The GUP effect on tunnelling of massive vector bosons from the 2+1 dimensional black hole

abstract: In this study, the Generalized Uncertainty Principle (GUP) effect on the Hawking radiation formed by tunneling of a massive vector boson particle from the $2+1$ dimensional New-type Black Hole was investigated. We used modified massive vector boson equation based on the GUP. Then, the Hamilton-Jacobi quantum tunneling approach was used to work out the tunneling probability of the massive vector boson particle and, Hawking temperature of the black hole. Due to the GUP effect, the modified Hawking temperature was found to depend on the black hole properties, the AdS$_{3}$ radius, and on the energy, mass and total angular momentum of the tunneling massive vector boson. In the light of these results, we also observed that modified Hawking temperature increases by the total angular momentum the particle while it decreases by the energy and mass of the particle, and the graviton mass. Also, in the context of the GUP, we see that the Hawking temperature due to the tunnelling massive vector boson is completely different from both that of the spin-0 scalar and the spin-1/2 Dirac particles obtained in the previous study. We also calculate the heat capacity of the black hole using the modified Hawking temperature and then discuss influence of the GUP on the stability of the black hole.


title: Toward a Distributed Knowledge Discovery system for Grid systems

abstract: During the last decade or so, we have had a deluge of data from not only science fields but also industry and commerce fields. Although the amount of data available to us is constantly increasing, our ability to process it becomes more and more difficult. Efficient discovery of useful knowledge from these datasets is therefore becoming a challenge and a massive economic need. This led to the need of developing large-scale data mining (DM) techniques to deal with these huge datasets either from science or economic applications. In this chapter, we present a new DDM system combining dataset-driven and architecture-driven strategies. Data-driven strategies will consider the size and heterogeneity of the data, while architecture driven will focus on the distribution of the datasets. This system is based on a Grid middleware tools that integrate appropriate large data manipulation operations. Therefore, this allows more dynamicity and autonomicity during the mining, integrating and processing phases


title: Orthogonal polynomials and Smith normal form

abstract: Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schr\"oder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.


title: Distributed Proximal Gradient Algorithm for Partially Asynchronous Computer Clusters

abstract: With ever growing data volume and model size, an error-tolerant, communication efficient, yet versatile distributed algorithm has become vital for the success of many large-scale machine learning applications. In this work we propose m-PAPG, an implementation of the flexible proximal gradient algorithm in model parallel systems equipped with the partially asynchronous communication protocol. The worker machines communicate asynchronously with a controlled staleness bound $s$ and operate at different frequencies. We characterize various convergence properties of m-PAPG: 1) Under a general non-smooth and non-convex setting, we prove that every limit point of the sequence generated by m-PAPG is a critical point of the objective function; 2) Under an error bound condition, we prove that the function value decays linearly for every $s$ steps; 3) Under the Kurdyka-${\L}$ojasiewicz inequality, we prove that the sequences generated by m-PAPG converge to the same critical point, provided that a proximal Lipschitz condition is satisfied.


title: Cascades and Dissipative Anomalies in Relativistic Fluid Turbulence

abstract: We develop first-principles theory of relativistic fluid turbulence at high Reynolds and P\'eclet numbers. We follow an exact approach pioneered by Onsager, which we explain as a non-perturbative application of the principle of renormalization-group invariance. We obtain results very similar to those for non-relativistic turbulence, with hydrodynamic fields in the inertial-range described as distributional or "coarse-grained" solutions of the relativistic Euler equations. These solutions do not, however, satisfy the naive conservation-laws of smooth Euler solutions but are afflicted with dissipative anomalies in the balance equations of internal energy and entropy. The anomalies are shown to be possible by exactly two mechanisms, local cascade and pressure-work defect. We derive "4/5th-law"-type expressions for the anomalies, which allow us to characterize the singularities (structure-function scaling exponents) required for their non-vanishing. We also investigate the Lorentz covariance of the inertial-range fluxes, which we find is broken by our coarse-graining regularization but which is restored in the limit that the regularization is removed, similar to relativistic lattice quantum field theory. In the formal limit as speed of light goes to infinity, we recover the results of previous non-relativistic theory. In particular, anomalous heat input to relativistic internal energy coincides in that limit with anomalous dissipation of non-relativistic kinetic energy.

categories: physics.flu-dyn astro-ph.HE gr-qc math-ph math.MP


title: On distribution of points with conjugate algebraic integer coordinates close to planar curves

abstract: Let $\varphi:\mathbb{R}\rightarrow \mathbb{R}$ be a continuously differentiable function on an interval $J\subset\mathbb{R}$ and let $\boldsymbol{\alpha}=(\alpha_1,\alpha_2)$ be a point with algebraic conjugate integer coordinates of degree $\leq n$ and of height $\leq Q$. Denote by $\tilde{M}^n_\varphi(Q,\gamma, J)$ the set of points $\boldsymbol{\alpha}$ such that $|\varphi(\alpha_1)-\alpha_2|\leq c_1 Q^{-\gamma}$. In this paper we show that for a real $0<\gamma<1$ and any sufficiently large $Q$ there exist positive values $c_2<c_3$, which are independent of $Q$, such that $c_2\cdot Q^{n-\gamma}<# \tilde{M}^n_\varphi(Q,\gamma, J)< c_3\cdot Q^{n-\gamma}$.


title: Leveraging Term Banks for Answering Complex Questions: A Case for Sparse Vectors

abstract: While open-domain question answering (QA) systems have proven effective for answering simple questions, they struggle with more complex questions. Our goal is to answer more complex questions reliably, without incurring a significant cost in knowledge resource construction to support the QA. One readily available knowledge resource is a term bank, enumerating the key concepts in a domain. We have developed an unsupervised learning approach that leverages a term bank to guide a QA system, by representing the terminological knowledge with thousands of specialized vector spaces. In experiments with complex science questions, we show that this approach significantly outperforms several state-of-the-art QA systems, demonstrating that significant leverage can be gained from continuous vector representations of domain terminology.


title: Well-posedness of a Model for the Growth of Tree Stems and Vines

abstract: The paper studies a PDE model for the growth of a tree stem or a vine, having the form of a differential inclusion with state constraints. The equations describe the elongation due to cell growth, and the response to gravity and to external obstacles. The main theorem shows that the evolution problem is well posed, until a specific "breakdown configuration" is reached. A formula is proved, characterizing the reaction produced by unilateral constraints. At a.e. time t, this is determined by the minimization of an elastic energy functional under suitable constraints.


title: Jordan blocks of cuspidal representations of symplectic groups

abstract: Let $G$ be a symplectic group over a nonarchimedean local field of characteristic zero and odd residual characteristic. Given an irreducible cuspidal representation of G, we determine its Langlands parameter (equivalently, its Jordan blocks in the language of Moeglin) in terms of the local data from which the representation is explicitly constructed, up to a possible unramified twist in each block of the parameter. We deduce a Ramification Theorem for $G$, giving a bijection between the set of endo-parameters for $G$ and the set of restrictions to wild inertia of discrete Langlands parameters for $G$, compatible with the local Langlands correspondence. The main tool consists in analysing the intertwining Hecke algebra of a good cover, in the sense of Bushnell--Kutzko, for parabolic induction from a cuspidal representation of $G\times\mathrm{GL}_n$, seen as a maximal Levi subgroup of a bigger symplectic group, in order to determine its (ir)reducibility; a criterion of Moeglin then relates this to Langlands parameters.


title: Brill-Noether theory for curves on generic abelian surfaces

abstract: We completely describe the Brill-Noether theory for curves in the primitive linear system on generic abelian surfaces, in the following sense: given integers $d$ and $r$, consider the variety $V^r_d(|H|)$ parametrizing curves $C$ in the primitive linear system $|H|$ together with a torsion-free sheaf on $C$ of degree $d$ and $r+1$ global sections. We give a necessary and sufficient condition for this variety to be non-empty, and show that it is either a disjoint union of Grassmannians, or irreducible. Moreover, we show that, when non-empty, it is of expected dimension. This completes prior results by Knutsen, Lelli-Chiesa and Mongardi.


title: On Simultaneous Two-player Combinatorial Auctions

abstract: We consider the following communication problem: Alice and Bob each have some valuation functions $v_1(\cdot)$ and $v_2(\cdot)$ over subsets of $m$ items, and their goal is to partition the items into $S, \bar{S}$ in a way that maximizes the welfare, $v_1(S) + v_2(\bar{S})$. We study both the allocation problem, which asks for a welfare-maximizing partition and the decision problem, which asks whether or not there exists a partition guaranteeing certain welfare, for binary XOS valuations. For interactive protocols with $poly(m)$ communication, a tight 3/4-approximation is known for both [Fei06,DS06]. For interactive protocols, the allocation problem is provably harder than the decision problem: any solution to the allocation problem implies a solution to the decision problem with one additional round and $\log m$ additional bits of communication via a trivial reduction. Surprisingly, the allocation problem is provably easier for simultaneous protocols. Specifically, we show: 1) There exists a simultaneous, randomized protocol with polynomial communication that selects a partition whose expected welfare is at least $3/4$ of the optimum. This matches the guarantee of the best interactive, randomized protocol with polynomial communication. 2) For all $\varepsilon > 0$, any simultaneous, randomized protocol that decides whether the welfare of the optimal partition is $\geq 1$ or $\leq 3/4 - 1/108+\varepsilon$ correctly with probability $> 1/2 + 1/ poly(m)$ requires exponential communication. This provides a separation between the attainable approximation guarantees via interactive ($3/4$) versus simultaneous ($\leq 3/4-1/108$) protocols with polynomial communication. In other words, this trivial reduction from decision to allocation problems provably requires the extra round of communication.


title: Computational Approaches for Disease Gene Identification

abstract: Identifying disease genes from human genome is an important and fundamental problem in biomedical research. Despite many publications of machine learning methods applied to discover new disease genes, it still remains a challenge because of the pleiotropy of genes, the limited number of confirmed disease genes among whole genome and the genetic heterogeneity of diseases. Recent approaches have applied the concept of 'guilty by association' to investigate the association between a disease phenotype and its causative genes, which means that candidate genes with similar characteristics as known disease genes are more likely to be associated with diseases. However, due to the imbalance issues (few genes are experimentally confirmed as disease related genes within human genome) in disease gene identification, semi-supervised approaches, like label propagation approaches and positive-unlabeled learning, are used to identify candidate disease genes via making use of unknown genes for training - typically in the scenario of a small amount of confirmed disease genes (labeled data) with a large amount of unknown genome (unlabeled data). The performance of Disease gene prediction models are limited by potential bias of single learning models and incompleteness and noise of single biological data sources, therefore ensemble learning models are applied via combining multiple diverse biological sources and learning models to obtain better predictive performance. In this thesis, we propose three computational models for identifying candidate disease genes.


title: Attention-based Extraction of Structured Information from Street View Imagery

abstract: We present a neural network model - based on CNNs, RNNs and a novel attention mechanism - which achieves 84.2% accuracy on the challenging French Street Name Signs (FSNS) dataset, significantly outperforming the previous state of the art (Smith'16), which achieved 72.46%. Furthermore, our new method is much simpler and more general than the previous approach. To demonstrate the generality of our model, we show that it also performs well on an even more challenging dataset derived from Google Street View, in which the goal is to extract business names from store fronts. Finally, we study the speed/accuracy tradeoff that results from using CNN feature extractors of different depths. Surprisingly, we find that deeper is not always better (in terms of accuracy, as well as speed). Our resulting model is simple, accurate and fast, allowing it to be used at scale on a variety of challenging real-world text extraction problems.


title: Uhlenbeck's decomposition in Sobolev and Morrey-Sobolev spaces

abstract: We present a self-contained proof of Uhlenbeck's decomposition theorem for $\Omega\in L^p(\mathbb{B}^n,so(m)\otimes\Lambda^1\mathbb{R}^n)$ for $p\in (1,n)$ with Sobolev type estimates in the case $p \in[n/2,n)$ and Morrey-Sobolev type estimates in the case $p\in (1,n/2)$. We also prove an analogous theorem in the case when $\Omega\in L^p( \mathbb{B}^n, TCO_{+}(m) \otimes \Lambda^1\mathbb{R}^n)$, which corresponds to Uhlenbeck's theorem with conformal gauge group.


title: On the multicanonical systems of quasi-elliptic surfaces in characteristic 3

abstract: We consider the multicanonical systems $|mK_S|$ of quasi-elliptic surfaces with Kodaira dimension $1$ in characteristic 3. We show that for any $m \geq 5$ $|mK_S|$ gives the structure of quasi-elliptic fiber space, and the number $5$ is best possible to give the structure for any such surfaces.


title: Air-burst Generated Tsunamis

abstract: This paper examines the questions of whether smaller asteroids that burst in the air over water can generate tsunamis that could pose a threat to distant locations. Such air burst-generated tsunamis are qualitatively different than the more frequently studied earthquake-generated tsunamis, and differ as well from impact asteroids. Numerical simulations are presented using the shallow water equations in several settings, demonstrating very little tsunami threat from this scenario. A model problem with an explicit solution that demonstrates and explains the same phenomena found in the computations is analyzed. We discuss the question of whether compressibility and dispersion are important effects that should be included, and show results from a more sophisticated model problem using the linearized Euler equations that begins to addresses this.


title: Toward the description of fluid dynamical fluctuations in heavy-ion collisions

abstract: In this talk we present results obtained when fluid dynamical fluctuations are included in relativistic $3+1$ dimensional viscous fluid dynamics. We discuss effects of the interactions of fluctuations due to nonlinearities and the cutoff dependence.


title: Clarifying Trust in Social Internet of Things

abstract: A social approach can be exploited for the Internet of Things (IoT) to manage a large number of connected objects. These objects operate as autonomous agents to request and provide information and services to users. Establishing trustworthy relationships among the objects greatly improves the effectiveness of node interaction in the social IoT and helps nodes overcome perceptions of uncertainty and risk. However, there are limitations in the existing trust models. In this paper, a comprehensive model of trust is proposed that is tailored to the social IoT. The model includes ingredients such as trustor, trustee, goal, trustworthiness evaluation, decision, action, result, and context. Building on this trust model, we clarify the concept of trust in the social IoT in five aspects such as (1) mutuality of trustor and trustee, (2) inferential transfer of trust, (3) transitivity of trust, (4) trustworthiness update, and (5) trustworthiness affected by dynamic environment. With network connectivities that are from real-world social networks, a series of simulations are conducted to evaluate the performance of the social IoT operated with the proposed trust model. An experimental IoT network is used to further validate the proposed trust model.


title: Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods

abstract: We examine Lagrangian techniques for computing underapproximations of finite-time horizon, stochastic reach-avoid level-sets for discrete-time, nonlinear systems. We use the concept of reachability of a target tube in the control literature to define robust reach-avoid sets which are parameterized by the target set, safe set, and the set in which the disturbance is drawn from. We unify two existing Lagrangian approaches to compute these sets and establish that there exists an optimal control policy of the robust reach-avoid sets which is a Markov policy. Based on these results, we characterize the subset of the disturbance space whose corresponding robust reach-avoid set for the given target and safe set is a guaranteed underapproximation of the stochastic reach-avoid level-set of interest. The proposed approach dramatically improves the computational efficiency for obtaining an underapproximation of stochastic reach-avoid level-sets when compared to the traditional approaches based on gridding. Our method, while conservative, does not rely on a grid, implying scalability as permitted by the known computational geometry constraints. We demonstrate the method on two examples: a simple two-dimensional integrator, and a space vehicle rendezvous-docking problem.


title: CT dose reduction factors in the thousands using X-ray phase contrast

abstract: Phase-contrast X-ray imaging can improve the visibility of weakly absorbing objects (e.g. soft tissues) by an order of magnitude or more compared to conventional radiographs. Previously, it has been shown that combining phase retrieval with computed tomography (CT) can increase the signal-to-noise ratio (SNR) by up to two orders of magnitude over conventional CT at the same radiation dose, without loss of image quality. Our experiments reveal that as radiation dose decreases, the relative improvement in SNR increases. We discovered this enhancement can be traded for a reduction in dose greater than the square of the gain in SNR. Upon reducing the dose 300 fold, the phase-retrieved SNR was still almost 10 times larger than the absorption contrast data. This reveals the potential for dose reduction factors in the tens of thousands without loss in image quality, which would have a profound impact on medical and industrial imaging applications.


title: Cutting the Error by Half: Investigation of Very Deep CNN and Advanced Training Strategies for Document Image Classification

abstract: We present an exhaustive investigation of recent Deep Learning architectures, algorithms, and strategies for the task of document image classification to finally reduce the error by more than half. Existing approaches, such as the DeepDocClassifier, apply standard Convolutional Network architectures with transfer learning from the object recognition domain. The contribution of the paper is threefold: First, it investigates recently introduced very deep neural network architectures (GoogLeNet, VGG, ResNet) using transfer learning (from real images). Second, it proposes transfer learning from a huge set of document images, i.e. 400,000 documents. Third, it analyzes the impact of the amount of training data (document images) and other parameters to the classification abilities. We use two datasets, the Tobacco-3482 and the large-scale RVL-CDIP dataset. We achieve an accuracy of 91.13% for the Tobacco-3482 dataset while earlier approaches reach only 77.6%. Thus, a relative error reduction of more than 60% is achieved. For the large dataset RVL-CDIP, an accuracy of 90.97% is achieved, corresponding to a relative error reduction of 11.5%.


title: Set-theoretic solutions of the Yang-Baxter equation and new classes of R-matrices

abstract: We describe several methods of constructing R-matrices that are dependent upon many parameters, for example unitary R-matrices and R-matrices whose entries are functions. As an application, we construct examples of R-matrices with prescribed singular values. We characterise some classes of indecomposable set-theoretic solutions of the quantum Yang-Baxter equation (QYBE) and construct R-matrices related to such solutions. In particular, we establish a correspondence between one-generator braces and indecomposable, non-degenerate involutive set-theoretic solutions of the QYBE, showing that such solutions are abundant. We show that R-matrices related to involutive, non-degenerate solutions of the QYBE have special form. We also investigate some linear algebra questions related to R-matrices.


title: Calculating Kolmogorov Complexity from the Transcriptome Data

abstract: Information entropy is used to summarize transcriptome data, but ignoring zero count data contained them. Ignoring zero count data causes loss of information and sometimes it was difficult to distinguish between multiple transcriptomes. Here, we estimate Kolmogorov complexity of transcriptome treating zero count data and distinguish similar transcriptome data.


title: ConceptNet at SemEval-2017 Task 2: Extending Word Embeddings with Multilingual Relational Knowledge

abstract: This paper describes Luminoso's participation in SemEval 2017 Task 2, "Multilingual and Cross-lingual Semantic Word Similarity", with a system based on ConceptNet. ConceptNet is an open, multilingual knowledge graph that focuses on general knowledge that relates the meanings of words and phrases. Our submission to SemEval was an update of previous work that builds high-quality, multilingual word embeddings from a combination of ConceptNet and distributional semantics. Our system took first place in both subtasks. It ranked first in 4 out of 5 of the separate languages, and also ranked first in all 10 of the cross-lingual language pairs.


title: The Fundamental Theorem of Perfect Simulation

abstract: Here several perfect simulation algorithms are brought under a single framework, and shown to derive from the same probabilistic result, called here the Fundamental Theorem of Perfect Simulation (FTPS). An exact simulation algorithm has output according to an input distribution $\pi$. Perfect simulations are a subclass of exact simulations where recursion is used either explicitly or implicitly. The FTPS gives two simple criteria that, when satisfied, give a correct perfect simulation algorithm. First the algorithm must terminate in finite time with probability 1. Second, the algorithm must be locally correct in the sense that the algorithm can be proved correct given the assumption that any recursive call used returns an output from the correct distribution. This simple idea is surprisingly powerful. Like other general techniques such as Metropolis-Hastings for approximate simulation, the FTPS allows for the flexible construction of existing and new perfect simulation protocols. This theorem can be used to verify the correctness of many perfect simulation protocols, including Acceptance Rejection, Coupling From the Past, and Recursive Bernoulli factories.


title: Existence of solution for a class of quasilinear problem in Orlicz-Sobolev space without $\Delta_2$-condition

abstract: \noindent In this paper we study existence of solution for a class of problem of the type $$ \left\{ \begin{array}{ll} -\Delta_{\Phi}{u}=f(u), \quad \mbox{in} \quad \Omega u=0, \quad \mbox{on} \quad \partial \Omega, \end{array} \right. $$ where $\Omega \subset \mathbb{R}^N$, $N \geq 2$, is a smooth bounded domain, $f:\mathbb{R} \to \mathbb{R}$ is a continuous function verifying some conditions, and $\Phi:\mathbb{R} \to \mathbb{R}$ is a N-function which is not assumed to satisfy the well known $\Delta_2$-condition, then the Orlicz-Sobolev space $W^{1,\Phi}_0(\Omega)$ can be non reflexive. As main model we have the function $\Phi(t)=(e^{t^{2}}-1)/2$. Here, we study some situations where it is possible to work with global minimization, local minimization and mountain pass theorem, however some estimates are not standard for this type of problem.


title: Quasinonexpansive Iterations on the Affine Hull of Orbits: From Mann's Mean Value Algorithm to Inertial Methods

abstract: Fixed point iterations play a central role in the design and the analysis of a large number of optimization algorithms. We study a new iterative scheme in which the update is obtained by applying a composition of quasinonexpansive operators to a point in the affine hull of the orbit generated up to the current iterate. This investigation unifies several algorithmic constructs, including Mann's mean value method, inertial methods, and multi-layer memoryless methods. It also provides a framework for the development of new algorithms, such as those we propose for solving monotone inclusion and minimization problems.


title: Active classification with comparison queries

abstract: We study an extension of active learning in which the learning algorithm may ask the annotator to compare the distances of two examples from the boundary of their label-class. For example, in a recommendation system application (say for restaurants), the annotator may be asked whether she liked or disliked a specific restaurant (a label query); or which one of two restaurants did she like more (a comparison query). We focus on the class of half spaces, and show that under natural assumptions, such as large margin or bounded bit-description of the input examples, it is possible to reveal all the labels of a sample of size $n$ using approximately $O(\log n)$ queries. This implies an exponential improvement over classical active learning, where only label queries are allowed. We complement these results by showing that if any of these assumptions is removed then, in the worst case, $\Omega(n)$ queries are required. Our results follow from a new general framework of active learning with additional queries. We identify a combinatorial dimension, called the \emph{inference dimension}, that captures the query complexity when each additional query is determined by $O(1)$ examples (such as comparison queries, each of which is determined by the two compared examples). Our results for half spaces follow by bounding the inference dimension in the cases discussed above.


title: Probing the CP nature of the Higgs coupling in $t{\bar t}h$ events at the LHC

abstract: The determination of the CP nature of the Higgs coupling to top quarks is addressed in this paper, using $t{\bar t} h$ events produced in $\sqrt{s} = 13$ TeV proton-proton collisions at the LHC. Dileptonic final states are employed, with two oppositely charged leptons and four jets, corresponding to the decays $t\rightarrow bW^+ \rightarrow b \ell^+\nu_\ell$, $\bar{t}\rightarrow \bar{b}W^- \rightarrow \bar{b} \ell^-\bar{\nu}_\ell$ and $h\rightarrow b\bar{b}$. Pure scalar ($h=H$), pure pseudo-scalar ($h=A$) and CP-violating Higgs boson signal events, generated with MadGraph5_aMC@NLO, are fully reconstructed through a kinematic fit. We furthermore generate samples that have both a CP-even and a CP-odd component in the $t \bar t h$ coupling in order to probe the ratio of the two components. New angular distributions of the decay products, as well as CP angular asymmetries, are explored in order to separate the scalar from the pseudo-scalar components of the Higgs boson and reduce the contribution from the dominant irreducible background, $t{\bar t}b{\bar b}$. Significant differences between the angular distributions and asymmetries are observed, even after the full kinematic fit reconstruction of the events, allowing to define the best observables for a global fit of the Higgs couplings parameters.


title: Uniaxial strain control of spin-polarization in multicomponent nematic order of BaFe$_{2}$As$_{2}$

abstract: The iron-based high temperature superconductors exhibit a rich phase diagram reflecting a complex interplay between spin, lattice, and orbital degrees of freedom [1-4]. The nematic state observed in many of these compounds epitomizes this complexity, by entangling a real-space anisotropy in the spin fluctuation spectrum with ferro-orbital order and an orthorhombic lattice distortion [5-7]. A more subtle and much less explored facet of the interplay between these degrees of freedom arises from the sizable spin-orbit coupling present in these systems, which translates anisotropies in real space into anisotropies in spin space. Here, we present a new technique enabling nuclear magnetic resonance under precise tunable strain control, which reveals that upon application of a tetragonal symmetry-breaking strain field, the magnetic fluctuation spectrum in the paramagnetic phase of BaFe$_{2}$As$_{2}$ also acquires an anisotropic response in spin-space. Our results unveil a hitherto uncharted internal spin structure of the nematic order parameter, indicating that similar to liquid crystals, electronic nematic materials may offer a novel route to magneto-mechanical control.


title: Universal continuous transition to turbulence in a planar shear flow

abstract: We examine the onset of turbulence in Waleffe flow -- the planar shear flow between stress-free boundaries driven by a sinusoidal body force. By truncating the wall-normal representation to four modes, we are able to simulate system sizes an order of magnitude larger than any previously simulated, and thereby to attack the question of universality for a planar shear flow. We demonstrate that the equilibrium turbulence fraction increases continuously from zero above a critical Reynolds number and that statistics of the turbulent structures exhibit the power-law scalings of the (2+1)-D directed percolation universality class.


title: Beyond Planar Symmetry: Modeling human perception of reflection and rotation symmetries in the wild

abstract: Humans take advantage of real world symmetries for various tasks, yet capturing their superb symmetry perception mechanism with a computational model remains elusive. Motivated by a new study demonstrating the extremely high inter-person accuracy of human perceived symmetries in the wild, we have constructed the first deep-learning neural network for reflection and rotation symmetry detection (Sym-NET), trained on photos from MS-COCO (Microsoft-Common Object in COntext) dataset with nearly 11K consistent symmetry-labels from more than 400 human observers. We employ novel methods to convert discrete human labels into symmetry heatmaps, capture symmetry densely in an image and quantitatively evaluate Sym-NET against multiple existing computer vision algorithms. On CVPR 2013 symmetry competition testsets and unseen MS-COCO photos, Sym-NET significantly outperforms all other competitors. Beyond mathematically well-defined symmetries on a plane, Sym-NET demonstrates abilities to identify viewpoint-varied 3D symmetries, partially occluded symmetrical objects, and symmetries at a semantic level.


title: Local and global $\Lambda$ polarization in a vortical fluid

abstract: We compute the fermion spin distribution in the vortical fluid created in off-central high-energy heavy-ion collisions. We employ the event-by-event (3+1)D viscous hydrodynamic model. The spin polarization density is proportional to the local fluid vorticity in quantum kinetic theory. As a result of strong collectivity, the spatial distribution of the local vorticity on the freeze-out hyper-surface strongly correlates to the rapidity and azimuthal angle distribution of fermion spins. We investigate the sensitivity of the local polarization to the initial fluid velocity in the hydrodynamic model and compute the global polarization of {\Lambda} hyperons by the AMPT model. The energy dependence of the global polarization agrees with the STAR data.


title: q-Path entropy phenomenology for phase-space curves

abstract: We describe the phenomenology of the classical q-path entropy of a phase-space curve. This allows one to disclose an entropic force-like mechanism that is able to mimic some phenomenological aspects of the strong force, such as confinement, hard core, and asymptotic freedom.


title: Control and tuning of a suspended Fabry-Perot cavity using digitally-enhanced heterodyne interferometry

abstract: We present the first demonstration of real-time closed-loop control and deterministic tuning of an independently suspended Fabry-Perot optical cavity using digitally-enhanced heterodyne interferometry, realising a peak sensitivity of $\sim$10 pm$/\sqrt{\mathrm{Hz}}$ over the 10-1000 Hz frequency band. The methods presented are readily extensible to multiple coupled cavities. As such, we anticipate that refinements of this technique may find application in future interferometric gravitational-wave detectors.


title: Star formation rates and efficiencies in the Galactic Centre

abstract: The inner few hundred parsecs of the Milky Way harbours gas densities, pressures, velocity dispersions, an interstellar radiation field and a cosmic ray ionisation rate orders of magnitude higher than the disc; akin to the environment found in star-forming galaxies at high-redshift. Previous studies have shown that this region is forming stars at a rate per unit mass of dense gas which is at least an order of magnitude lower than in the disc, potentially violating theoretical predictions. We show that all observational star formation rate diagnostics - both direct counting of young stellar objects and integrated light measurements - are in agreement within a factor two, hence the low star formation rate is not the result of the systematic uncertainties that affect any one method. As these methods trace the star formation over different timescales, from $0.1 - 5$ Myr, we conclude that the star formation rate has been constant to within a factor of a few within this time period. We investigate the progression of star formation within gravitationally bound clouds on $\sim$ parsec scales and find $1 - 4$ per cent of the cloud masses are converted into stars per free-fall time, consistent with a subset of the considered "volumetric" star formation models. However, discriminating between these models is obstructed by the current uncertainties on the input observables and, most importantly and urgently, by their dependence on ill-constrained free parameters. The lack of empirical constraints on these parameters therefore represents a key challenge in the further verification or falsification of current star formation theories.


title: The Y-Type Brown Dwarfs: Estimates of Mass and Age from New Astrometry, Homogenized Photometry and Near-Infrared Spectroscopy

abstract: The survey of the mid-infrared sky by the Wide-field Infrared Survey Explorer (WISE) led to the discovery of extremely cold low-mass brown dwarfs, classified as Y dwarfs, which extend the T class to lower temperatures. Twenty-four Y dwarfs are known at the time of writing. Here we present improved parallaxes for four of these, determined using Spitzer images. We give new photometry for four late-type T and three Y dwarfs, and new spectra of three Y dwarfs, obtained at Gemini Observatory. We also present previously unpublished photometry taken from HST, ESO, Spitzer and WISE archives of 11 late-type T and 9 Y dwarfs. The near-infrared data are put on to the same photometric system, forming a homogeneous data set for the coolest brown dwarfs. We compare recent models to our photometric and spectroscopic data set. We confirm that non-equilibrium atmospheric chemistry is important for these objects. Non-equilibrium cloud-free models reproduce well the near-infrared spectra and mid-infrared photometry for the warmer Y dwarfs with 425 <= T_eff K <= 450. A small amount of cloud cover may improve the model fits in the near-infrared for the Y dwarfs with 325 <= T_eff K <= 375. Neither cloudy nor cloud-free models reproduce the near-infrared photometry for the T_eff = 250 K Y dwarf W0855. We use the mid-infrared region, where most of the flux originates, to constrain our models of W0855. We find that W0855 likely has a mass of 1.5 - 8 Jupiter masses and an age of 0.3 - 6 Gyr. The Y dwarfs with measured parallaxes are within 20 pc of the Sun and have tangential velocities typical of the thin disk. The metallicities and ages we derive for the sample are generally solar-like. We estimate that the known Y dwarfs are 3 to 20 Jupiter-mass objects with ages of 0.6 to 8.5 Gyr.


title: CASP Solutions for Planning in Hybrid Domains

abstract: CASP is an extension of ASP that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling mixed discrete-continuous dynamics. In this paper, we present CASP solutions for dealing with PDDL+ problems, i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the EZCSP CASP solver in order to solve CASP programs arising from PDDL+ domains. An experimental analysis, performed on well-known linear and non-linear variants of PDDL+ domains, involving various configurations of the EZCSP solver, other CASP solvers, and PDDL+ planners, shows the viability of our solution.


title: Izergin-Korepin analysis on the projected wavefunctions of the generalized free-fermion model

abstract: We apply the Izergin-Korepin analysis to the study of the projected wavefunctions of the generalized free-fermion model. We introduce a generalization of the $L$-operator of the six-vertex model by Bump-Brubaker-Friedberg and Bump-McNamara-Nakasuji. We make the Izergin-Korepin analysis to characterize the projected wavefunctions and show that they can be expressed as a product of factors and certain symmetric functions which generalizes the factorial Schur functions. This result can be seen as a generalization of the Tokuyama formula for the factorial Schur functions.


title: Collective flow from AA, pA to pp collisions - Toward a unified paradigm

abstract: I give an overview of the latest development in understanding collective phenomena in high-multiplicity hadronic final state from relativistic nucleus-nucleus, proton-nucleus and proton-proton collisions. Upon reviewing the experimental data and confronting them with theoretical models, a unified paradigm in describing the observed collectivity across all hadronic collision systems is emerging. Potential future paths toward addressing key open questions, especially on collectivity in small systems (pp, pA), are discussed.


title: Attractive force on atoms due to blackbody radiation

abstract: Objects at finite temperature emit thermal radiation with an outward energy-momentum flow, which exerts an outward radiation pressure. At room temperature, a cesium atom scatters on average less than one of these blackbody radiation photons every 10^8 years. Thus, it is generally assumed that any scattering force exerted on atoms by such radiation is negligible. However, atoms also interact coherently with the thermal electromagnetic field. In this work, we measure an attractive force induced by blackbody radiation between a cesium atom and a heated, centimeter-sized cylinder which is orders of magnitude stronger than the outward directed radiation pressure. Using atom interferometry, we find that this force scales with the fourth power of the cylinder`s temperature. The force is in good agreement with that predicted from an ac Stark shift gradient of the atomic ground state in the thermal radiation field. This observed force dominates over both gravity and radiation pressure, and does so for a large temperature range.


title: A Survey on Homomorphic Encryption Schemes: Theory and Implementation

abstract: Legacy encryption systems depend on sharing a key (public or private) among the peers involved in exchanging an encrypted message. However, this approach poses privacy concerns. Especially with popular cloud services, the control over the privacy of the sensitive data is lost. Even when the keys are not shared, the encrypted material is shared with a third party that does not necessarily need to access the content. Moreover, untrusted servers, providers, and cloud operators can keep identifying elements of users long after users end the relationship with the services. Indeed, Homomorphic Encryption (HE), a special kind of encryption scheme, can address these concerns as it allows any third party to operate on the encrypted data without decrypting it in advance. Although this extremely useful feature of the HE scheme has been known for over 30 years, the first plausible and achievable Fully Homomorphic Encryption (FHE) scheme, which allows any computable function to perform on the encrypted data, was introduced by Craig Gentry in 2009. Even though this was a major achievement, different implementations so far demonstrated that FHE still needs to be improved significantly to be practical on every platform. First, we present the basics of HE and the details of the well-known Partially Homomorphic Encryption (PHE) and Somewhat Homomorphic Encryption (SWHE), which are important pillars of achieving FHE. Then, the main FHE families, which have become the base for the other follow-up FHE schemes are presented. Furthermore, the implementations and recent improvements in Gentry-type FHE schemes are also surveyed. Finally, further research directions are discussed. This survey is intended to give a clear knowledge and foundation to researchers and practitioners interested in knowing, applying, as well as extending the state of the art HE, PHE, SWHE, and FHE systems.


title: Lie symmetry analysis of a class of time fractional nonlinear evolution systems

abstract: We study a class of nonlinear evolution systems of time fractional partial differential equations using Lie symmetry analysis. We obtain not only infinitesimal symmetries but also a complete group classification and a classification of group invariant solutions of this class of systems. We find that the class of systems of differential equations studied is naturally divided into two cases on the basis of the type of a function that they contain. In each case, the dimension of the Lie algebra generated by the infinitesimal symmetries is greater than 2, and for this reason we present the structures and one-dimensional optimal systems of these Lie algebras. The reduced systems corresponding to the optimal systems are also obtained. Explicit group invariant solutions are found for particular cases.


title: Symmetries of flat manifolds, Jordan property and the general Zimmer program

abstract: We obtain a sufficient and necessary condition for a finite group to act effectively on a closed flat manifold. Let \ $G=E_{n}(R)$, $EU_{n}(R,\Lambda ),$ $\mathrm{SAut}(F_{n})$ or $\mathrm{SOut}(F_{n}).$ As applications, we prove that when $n\geq 3$ every group action of $G$ on a closed flat manifold $M^{k}$ ($k<n$) by homeomorphisms is trivial. This confirms a conjecture related to Zimmer's program for flat manifolds. Moreover, it is also proved that the group of homeomorphisms of closed flat manifolds are Jordan with Jordan constants depending only on dimensions.


title: P\'olya Urn Latent Dirichlet Allocation: a doubly sparse massively parallel sampler

abstract: Latent Dirichlet Allocation (LDA) is a topic model widely used in natural language processing and machine learning. Most approaches to training the model rely on iterative algorithms, which makes it difficult to run LDA on big corpora that are best analyzed in parallel and distributed computational environments. Indeed, current approaches to parallel inference either don't converge to the correct posterior or require storage of large dense matrices in memory. We present a novel sampler that overcomes both problems, and we show that this sampler is faster, both empirically and theoretically, than previous Gibbs samplers for LDA. We do so by employing a novel P\'olya-urn-based approximation in the sparse partially collapsed sampler for LDA. We prove that the approximation error vanishes with data size, making our algorithm asymptotically exact, a property of importance for large-scale topic models. In addition, we show, via an explicit example, that - contrary to popular belief in the topic modeling literature - partially collapsed samplers can be more efficient than fully collapsed samplers. We conclude by comparing the performance of our algorithm with that of other approaches on well-known corpora.


title: Appearance of inaccurate results in the MUSIC algorithm with inappropriate wavenumber

abstract: MUltiple SIgnal Classification (MUSIC) is a well-known non-iterative location detection algorithm for small, perfectly conducting cracks in inverse scattering problems. However, when the applied wavenumbers are unknown, inaccurate locations of targets are extracted by MUSIC with inappropriate wavenumbers, a fact that has been confirmed by numerical simulations. To date, the reason behind this phenomenon has not been theoretically investigated. Motivated by this fact, we identify the structure of MUSIC-type imaging functionals with inappropriate wavenumbers by establishing a relationship with Bessel functions of order zero of the first kind. This result explains the reasons for inaccurate results. Various results of numerical simulations with noisy data support the identified structure of MUSIC.


title: Topological derivative-based technique for imaging thin inhomogeneities with few incident directions

abstract: Many non-iterative imaging algorithms require a large number of incident directions. Topological derivative-based imaging techniques can alleviate this problem, but lacks a theoretical background and a definite means of selecting the optimal incident directions. In this paper, we rigorously analyze the mathematical structure of a topological derivative imaging function, confirm why a small number of incident directions is sufficient, and explore the optimal configuration of these directions. To this end, we represent the topological derivative based imaging function as an infinite series of Bessel functions of integer order of the first kind. Our analysis is supported by the results of numerical simulations.


title: Existence and mass concentration of pseudo-relativistic Hartree equation

abstract: In this paper, we investigate the constrained minimization problem \begin{equation}\label{eq:0.1} e(a):=\inf_{\{u\in \mathcal{H},\|u\|_2^2=1\}}E_a(u), \end{equation} where the energy functional \begin{equation} \label{eq:0.2} E_a(u)=\int_{\mathbb{R}^3}(u\sqrt{-\Delta+m^2}\,u+Vu^2)\,dx -\frac{a}{2}\int_{\mathbb{R}^3}(|x|^{-1}*u^2)u^2\,dx \end{equation} with $m\in \mathbb{R}$, $a>0$, is defined on a Sobolev space $\mathcal{H}$. We show that there exists a threshold $a^*>0$ so that $e(a)$ is achieved if $0<a<a^*$, and has no minimizers if $a\geq a^*$. We also investigate the asymptotic behavior of nonnegative minimizers of $e(a)$ as $a\to a^*$.


title: Low Power Microwave Signal Detection With a Spin-Torque Nano-Oscillator in the Active Self-Oscillating Regime

abstract: A spin-torque nano-oscillator (STNO) driven by a ramped bias current can perform spectrum analysis quickly over a wide frequency bandwidth. The STNO spectrum analyzer operates by injection locking to external microwave signals and produces an output DC voltage $V_{\rm dc}$ that temporally encodes the input spectrum. We found, via numerical analysis with a macrospin approximation, that an STNO is able to scan a $10~\rm GHz$ bandwidth in less than $100~\rm ns$ (scanning rate $R$ exceeds $100~\rm MHz/ns$). In contrast to conventional quadratic microwave detectors, the output voltage of the STNO analyzer is proportional to the amplitude of the input microwave signal $I_{\rm rf}$ with sensitivity $S = dV_{\rm dc}/dI_{\rm rf} \approx 750~\rm mV/mA$. The minimum detectable signal of the analyzer depends on the scanning rate $R$ and, at low $R \approx 1~\rm MHz/ns$, is about $1~\rm pW$.


title: Bilinear Spherical Maximal Function

abstract: We obtain boundedness for the bilinear spherical maximal function in a range of exponents that includes the Banach triangle and a range of $L^p$ with $p<1$. We also obtain counterexamples that are asymptotically optimal with our positive results on certain indices as the dimension tends to infinity.


title: Damping parametric instabilities in future gravitational wave detectors by means of electrostatic actuators

abstract: It has been suggested that the next generation of interferometric gravitational wave detectors may observe spontaneously excited parametric oscillatory instabilities. We present a method of actively suppressing any such instability through application of electrostatic forces to the interferometers' test masses. Using numerical methods we quantify the actuation force required to damp candidate instabilities and find that such forces are readily achievable. Our predictions are subsequently verified experimentally using prototype Advanced LIGO hardware, conclusively demonstrating the effectiveness of our approach.


title: Ensemble Inequivalence and Maxwell Construction in the Self-Gravitating Ring Model

abstract: Equilibrium Statistical Mechanics is undoubtedly a cornerstone for the description of many particle systems. The common interpretation is based on ensemble theory as put forward by Gibbs, alongside the basic assumptions that different ensembles are equivalent, i.~e.\ the properties of the system can equally be obtained in any ensemble with the same results. However, the simplicity of the argument that provides such equivalence, mathematically grounded by the existence of Legendre transformation between the ensembles and the existence of its inverse, may break down for physical systems with long range interactions. In this paper we study the behavior of a simple toy model with a long range interaction and show from first principles, by solving numerically the mechanical equations of motion and Monte Carlo simulations, the inequivalence of ensembles, and discuss in what situations and how the Maxwell construction is applicable.


title: Noise Refocusing in a Five-blade Neutron Interferometer

abstract: We provide a quantum information description of a proposed five-blade neutron interferometer geometry and show that it is robust against low frequency mechanical vibrations and dephasing due to the dynamical phase. The extent to which the dynamical phase affects the contrast in a neutron interferometer is experimentally shown. In our model, we consider the coherent evolution of a neutron wavepacket in an interferometer crystal blade and simulate the effect of mechanical vibrations and momentum spread of the neutron through the interferometer. The standard three-blade neutron interferometer is shown to be immune to dynamical phase noise but prone to noise from mechanical vibrations, the decoherence free subspace four-blade neutron interferometer is shown to be immune to mechanical vibration noise but prone to noise from the dynamical phase, while the proposed five-blade neutron interferometer is shown to be immune to both low-frequency mechanical vibration noise and dynamical phase noise.


title: RLE Plots: Visualising Unwanted Variation in High Dimensional Data

abstract: Unwanted variation can be highly problematic and so its detection is often crucial. Relative log expression (RLE) plots are a powerful tool for visualising such variation in high dimensional data. We provide a detailed examination of these plots, with the aid of examples and simulation, explaining what they are and what they can reveal. RLE plots are particularly useful for assessing whether a procedure aimed at removing unwanted variation, i.e. a normalisation procedure, has been successful. These plots, while originally devised for gene expression data from microarrays, can also be used to reveal unwanted variation in many other kinds of high dimensional data, where such variation can be problematic.


title: Bayesian Optimal Data Detector for mmWave OFDM System with Low-Resolution ADC

abstract: Orthogonal frequency division multiplexing (OFDM) has been widely used in communication systems operating in the millimeter wave (mmWave) band to combat frequency-selective fading and achieve multi-Gbps transmissions, such as IEEE 802.15.3c and IEEE 802.11ad. For mmWave systems with ultra high sampling rate requirements, the use of low-resolution analog-to-digital converters (ADCs) (i.e., 1-3 bits) ensures an acceptable level of power consumption and system costs. However, orthogonality among sub-channels in the OFDM system cannot be maintained because of the severe non-linearity caused by low-resolution ADC, which renders the design of data detector challenging. In this study, we develop an efficient algorithm for optimal data detection in the mmWave OFDM system with low-resolution ADCs. The analytical performance of the proposed detector is derived and verified to achieve the fundamental limit of the Bayesian optimal design. On the basis of the derived analytical expression, we further propose a power allocation (PA) scheme that seeks to minimize the average symbol error rate. In addition to the optimal data detector, we also develop a feasible channel estimation method, which can provide high-quality channel state information without significant pilot overhead. Simulation results confirm the accuracy of our analysis and illustrate that the performance of the proposed detector in conjunction with the proposed PA scheme is close to the optimal performance of the OFDM system with infinite-resolution ADC.


title: Semidefinite Programming and Ramsey Numbers

abstract: Finding exact Ramsey numbers is a problem typically restricted to relatively small graphs. The flag algebra method was developed to find asymptotic results for very large graphs, so it seems that the method is not suitable for finding small Ramsey numbers. But this intuition is wrong, and we will develop a technique to do just that in this paper. We find new upper bounds for many small graph and hypergraph Ramsey numbers. As a result, we prove the exact values $R(K_4^-,K_4^-,K_4^-)=28$, $R(K_8,C_5)= 29$, $R(K_9,C_6)= 41$, $R(Q_3,Q_3)=13$, $R(K_{3,5},K_{1,6})=17$, $R(C_3, C_5, C_5)= 17$, and $R(K_4^-,K_5^-;3)= 12$. We hope that this technique will be adapted to address other questions for smaller graphs with the flag algebra method.


title: Reformulating Level Sets as Deep Recurrent Neural Network Approach to Semantic Segmentation

abstract: Variational Level Set (LS) has been a widely used method in medical segmentation. However, it is limited when dealing with multi-instance objects in the real world. In addition, its segmentation results are quite sensitive to initial settings and highly depend on the number of iterations. To address these issues and boost the classic variational LS methods to a new level of the learnable deep learning approaches, we propose a novel definition of contour evolution named Recurrent Level Set (RLS)} to employ Gated Recurrent Unit under the energy minimization of a variational LS functional. The curve deformation process in RLS is formed as a hidden state evolution procedure and updated by minimizing an energy functional composed of fitting forces and contour length. By sharing the convolutional features in a fully end-to-end trainable framework, we extend RLS to Contextual RLS (CRLS) to address semantic segmentation in the wild. The experimental results have shown that our proposed RLS improves both computational time and segmentation accuracy against the classic variations LS-based method, whereas the fully end-to-end system CRLS achieves competitive performance compared to the state-of-the-art semantic segmentation approaches.


title: Deep Contextual Recurrent Residual Networks for Scene Labeling

abstract: Designed as extremely deep architectures, deep residual networks which provide a rich visual representation and offer robust convergence behaviors have recently achieved exceptional performance in numerous computer vision problems. Being directly applied to a scene labeling problem, however, they were limited to capture long-range contextual dependence, which is a critical aspect. To address this issue, we propose a novel approach, Contextual Recurrent Residual Networks (CRRN) which is able to simultaneously handle rich visual representation learning and long-range context modeling within a fully end-to-end deep network. Furthermore, our proposed end-to-end CRRN is completely trained from scratch, without using any pre-trained models in contrast to most existing methods usually fine-tuned from the state-of-the-art pre-trained models, e.g. VGG-16, ResNet, etc. The experiments are conducted on four challenging scene labeling datasets, i.e. SiftFlow, CamVid, Stanford background and SUN datasets, and compared against various state-of-the-art scene labeling methods.


title: Scalable on-chip quantum state tomography

abstract: Quantum information systems are on a path to vastly exceed the complexity of any classical device. The number of entangled qubits in quantum devices is rapidly increasing and the information required to fully describe these systems scales exponentially with qubit number. This scaling is the key benefit of quantum systems, however it also presents a severe challenge. To characterize such systems typically requires an exponentially long sequence of different measurements, becoming highly resource demanding for large numbers of qubits. Here we propose a novel and scalable method to characterize quantum systems, where the complexity of the measurement process only scales linearly with the number of qubits. We experimentally demonstrate an integrated photonic chip capable of measuring two- and three-photon quantum states with reconstruction fidelity of 99.67%.


title: On Plane Constrained Bounded-Degree Spanners

abstract: Let $P$ be a finite set of points in the plane and $S$ a set of non-crossing line segments with endpoints in $P$. The visibility graph of $P$ with respect to $S$, denoted $Vis(P,S)$, has vertex set $P$ and an edge for each pair of vertices $u,v$ in $P$ for which no line segment of $S$ properly intersects $uv$. We show that the constrained half-$\theta_6$-graph (which is identical to the constrained Delaunay graph whose empty visible region is an equilateral triangle) is a plane 2-spanner of $Vis(P,S)$. We then show how to construct a plane 6-spanner of $Vis(P,S)$ with maximum degree $6+c$, where $c$ is the maximum number of segments of $S$ incident to a vertex.


title: Exploring the relationship between technological improvement and innovation diffusion: An empirical test

abstract: Different technological domains have significantly different rates of performance improvement. Prior theory indicates that such differing rates should influence the relative speed of diffusion of the products embodying the different technologies since improvement in performance during the diffusion process increases the desirability of the product diffusing. However, there has not been a broad empirical attempt to examine this effect and to clarify the underlying cause. Therefore, this paper reviews the theoretical basis and focuses upon empirical tests of this effect across multiple products and their underlying technologies. The results for 18 different diffusing products show the expected relationship-faster diffusion for products based on more rapidly improving technological domains- between technological improvement and diffusion with strong statistical significance. The empirical examination also demonstrates that technological improvement does not slow down in the latter parts of diffusion when penetration does slow down. This finding indicates that diffusion slow down in the latter stages is due to market saturation effects and is not due to slowdown of performance improvement.


title: Reconfigurable cluster state generation in specially poled nonlinear waveguide arrays

abstract: We present a new approach for generating cluster states on-chip, with the state encoded in the spatial component of the photonic wavefunction. We show that for spatial encoding, a change of measurement basis can improve the practicality of cluster state algorithm implementation, and demonstrate this by simulating Grover's search algorithm. Our state generation scheme involves shaping the wavefunction produced by spontaneous parametric down-conversion in on-chip waveguides using specially tailored nonlinear poling patterns. Furthermore the form of the cluster state can be reconfigured quickly by driving different waveguides in the array.


title: A Characterization of Oriented Hypergraphic Laplacian and Adjacency Matrix Coefficients

abstract: An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.


title: Thermal distortions of non-Gaussian beams in Fabry-Perot cavities

abstract: Thermal effects are already important in currently operating interferometric gravitational wave detectors. Planned upgrades of these detectors involve increasing optical power to combat quantum shot noise. We consider the ramifications of this increased power for one particular class of laser beams--wide, flat-topped, mesa beams. In particular we model a single mesa beam Fabry-Perot cavity having thermoelastically deformed mirrors. We calculate the intensity profile of the fundamental cavity eigenmode in the presence of thermal perturbations, and the associated changes in thermal noise. We also outline an idealized method of correcting for such effects. At each stage we contrast our results with those of a comparable Gaussian beam cavity. Although we focus on mesa beams the techniques described are applicable to any azimuthally symmetric system.


title: Single-neutron knockout from $^{20}\textrm{C}$ and the structure of $^{19}\textrm{C}$

abstract: The low-lying unbound level structure of the halo nucleus $^{19}\textrm{C}$ has been investigated using single-neutron knockout from $^{20}\textrm{C}$ on a carbon target at 280 MeV/nucleon. The invariant mass spectrum, derived from the momenta of the forward going beam velocity $^{18}\textrm{C}$ fragment and neutrons, was found to be dominated by a very narrow near threshold ($E_\textrm{rel}$ = 0.036(1) MeV) peak. Two less strongly populated resonance-like features were also observed at $E_\textrm{rel}$ = 0.84(4) and 2.31(3) MeV, both of which exhibit characteristics consistent with neutron $p$-shell hole states. Comparisons of the energies, measured cross sections and parallel momentum distributions to the results of shell-model and eikonal reaction calculations lead to spin-parity assignments of $5/2^+_1$ and $1/2^-_1$ for the levels at $E_x$ = 0.62(9) and 2.89(10) MeV with $S_n$ = 0.58(9) MeV. Spectroscopic factors were also deduced and found to be in reasonable accord with shell-model calculations. The valence neutron configuration of the $^{20}\textrm{C}$ ground state is thus seen to include, in addition to the known $1s^2_{1/2}$ component, a significant $0d^2_{5/2}$ contribution. The level scheme of $^{19}\textrm{C}$, including significantly the $1/2^-_1$ cross-shell state, is well accounted for by the YSOX shell-model interaction developed from the monopole-based universal interaction.


title: Linear Polarization, Circular Polarization, and Depolarization of Gamma-ray Bursts: A Simple Case of Jitter Radiation

abstract: Linear and circular polarizations of gamma-ray bursts (GRBs) have been detected during recent years. We adopt a simplified model to investigate GRB polarization characteristics in this paper. A compressed two-dimensional turbulent slab containing stochastic magnetic fields is considered, and jitter radiation can produce the linear polarization under this special magnetic field topology. Turbulent Faraday rotation measure (RM) of this slab makes strong wavelength-dependent depolarization. The jitter photons can also scatter with those magnetic clumps inside the turbulent slab, and a nonzero variance of the Stokes parameter $V$ can be generated. Furthermore, the linearly and circularly polarized photons in the optical and radio bands may suffer heavy absorptions from the slab. Thus we consider the polarized jitter radiation transfer processes. Finally, we compare our model results with the optical detections of GRB 091018, GRB 121024A, and GRB 131030A. We suggest simultaneous observations of GRB multi-wavelength polarization in the future.


title: NOMA based Calibration for Large-Scale Spaceborne Antenna Arrays

abstract: In the parallel calibration for transmitting phased arrays, the calibration receiver must separate the signals belonging to different antenna elements to avoid mutual interference. Existing algorithms encode different antenna elements' radiation with orthogonal signature codes, but these algorithms are far from desired for large-scale spaceborne antenna arrays. Considering the strictly limited resources on satellites, to improve hardware efficiency of large-scale spaceborne antenna arrays, in this work inspired by the idea of non-orthogonal multiple access (NOMA) we design a series of non-orthogonal signature codes for different antenna elements by Cyclically Shifting an m-Sequence (CSmS) with different offsets named as CSmS-NOMA signaling. This design can strike an elegant balance between the performance and complexity and is very suitable for large-scale spaceborne antenna arrays. It is shown that no matter how many antenna elements there are to be calibrated simultaneously, CSmS-NOMA signaling needs only one calibrating waveform generator and one matched filter. Hence it is much more efficient than the existing fully orthogonal schemes. In order to evaluate the achievable calibration accuracy, a unified theoretical framework is developed based on which the relationship between calibration accuracy and signal to noise ratio (SNR) has been clearly revealed. Furthermore, a hardware experiment platform is also built to assess the theoretical work. For all the considered scenarios, it can be concluded that the theoretical, simulated and experimental results coincide with each other perfectly.


title: Instance-Level Salient Object Segmentation

abstract: Image saliency detection has recently witnessed rapid progress due to deep convolutional neural networks. However, none of the existing methods is able to identify object instances in the detected salient regions. In this paper, we present a salient instance segmentation method that produces a saliency mask with distinct object instance labels for an input image. Our method consists of three steps, estimating saliency map, detecting salient object contours and identifying salient object instances. For the first two steps, we propose a multiscale saliency refinement network, which generates high-quality salient region masks and salient object contours. Once integrated with multiscale combinatorial grouping and a MAP-based subset optimization framework, our method can generate very promising salient object instance segmentation results. To promote further research and evaluation of salient instance segmentation, we also construct a new database of 1000 images and their pixelwise salient instance annotations. Experimental results demonstrate that our proposed method is capable of achieving state-of-the-art performance on all public benchmarks for salient region detection as well as on our new dataset for salient instance segmentation.