title: A further study on Palatini f(R)-theories for polytropic stars

abstract: After briefly reviewing the results about polytropic stars in Palatini f(R)-theories, we first show how these results rely on the assumption of a regular function f(R). In particular, singular models allow to extend the parameter interval in which no singularity is formed. Furthermore, we present how the conformal metric can be matched smoothly in the cases where the original metric generates a singularity. In fact, the singularity comes from a singular conformal factor which is continuous though not differentiable at the stellar surface. This suggests that the correct metric to be considered as physical is the conformal metric. This is relevant because, even also when matching the original metric is possible, the use of the conformal metric generates different stellar models.


title: Modelling the local and global cloud formation on HD 189733b

abstract: Context. Observations suggest that exoplanets such as HD 189733b form clouds in their atmospheres which have a strong feedback onto their thermodynamical and chemical structure, and overall appearance. Aims. Inspired by mineral cloud modelling efforts for Brown Dwarf atmospheres, we present the first spatially varying kinetic cloud model structures for HD 189733b. Methods. We apply a 2-model approach using results from a 3D global radiation-hydrodynamic simulation of the atmosphere as input for a detailed, kinetic cloud formation model. Sampling the 3D global atmosphere structure with 1D trajectories allows us to model the spatially varying cloud structure on HD 189733b. The resulting cloud properties enable the calculation of the scattering and absorption properties of the clouds. Results. We present local and global cloud structure and property maps for HD 189733b. The calculated cloud properties show variations in composition, size and number density of cloud particles which are strongest between the dayside and nightside. Cloud particles are mainly composed of a mix of materials with silicates being the main component. Cloud properties, and hence the local gas composition, change dramatically where temperature inversions occur locally. The cloud opacity is dominated by absorption in the upper atmosphere and scattering at higher pressures in the model. The calculated 8{\mu}m single scattering Albedo of the cloud particles are consistent with Spitzer bright regions. The cloud particles scattering properties suggest that they would sparkle/reflect a midnight blue colour at optical wavelengths.


title: Fundamental Limits to Cellular Sensing

abstract: In recent years experiments have demonstrated that living cells can measure low chemical concentrations with high precision, and much progress has been made in understanding what sets the fundamental limit to the precision of chemical sensing. Chemical concentration measurements start with the binding of ligand molecules to receptor proteins, which is an inherently noisy process, especially at low concentrations. The signaling networks that transmit the information on the ligand concentration from the receptors into the cell have to filter this noise extrinsic to the cell as much as possible. These networks, however, are also stochastic in nature, which means that they will also add noise to the transmitted signal. In this review, we will first discuss how the diffusive transport and binding of ligand to the receptor sets the receptor correlation time, and then how downstream signaling pathways integrate the noise in the receptor state; we will discuss how the number of receptors, the receptor correlation time, and the effective integration time together set a fundamental limit on the precision of sensing. We then discuss how cells can remove the receptor noise while simultaneously suppressing the intrinsic noise in the signaling network. We describe why this mechanism of time integration requires three classes of resources---receptors and their integration time, readout molecules, energy---and how each resource class sets a fundamental sensing limit. We also briefly discuss the scheme of maximum-likelihood estimation, the role of receptor cooperativity, and how cellular copy protocols differ from canonical copy protocols typically considered in the computational literature, explaining why cellular sensing systems can never reach the Landauer limit on the optimal trade-off between accuracy and energetic cost.


title: A Simple Yet Effective Improvement to the Bilateral Filter for Image Denoising

abstract: The bilateral filter has diverse applications in image processing, computer vision, and computational photography. In particular, this non-linear filter is quite effective in denoising images corrupted with additive Gaussian noise. The filter, however, is known to perform poorly at large noise levels. Several adaptations of the filter have been proposed in the literature to address this shortcoming, but often at an added computational cost. In this paper, we report a simple yet effective modification that improves the denoising performance of the bilateral filter at almost no additional cost. We provide visual and quantitative results on standard test images which show that this improvement is significant both visually and in terms of PSNR and SSIM (often as large as 5 dB). We also demonstrate how the proposed filtering can be implemented at reduced complexity by adapting a recent idea for fast bilateral filtering.


title: Zamolodchikov Tetrahedral Equation and Higher Hamiltonians of 2d Quantum Integrable Systems

abstract: The main aim of this work is to develop a method of constructing higher Hamiltonians of quantum integrable systems associated with the solution of the Zamolodchikov tetrahedral equation. As opposed to the result of V.V. Bazhanov and S.M. Sergeev the approach presented here is effective for generic solutions of the tetrahedral equation without spectral parameter. In a sense, this result is a two-dimensional generalization of the method by J.-M. Maillet. The work is a part of the project relating the tetrahedral equation with the quasi-invariants of 2-knots.


title: On numerical semigroups closed with respect to the action of affine maps

abstract: In this paper we study numerical semigroups containing a given positive integer and closed with respect to the action of an affine map. For such semigroups we find a minimal set of generators, their embedding dimension, their genus and their Frobenius number.


title: Simple permutations with order $4n + 2$ by means of Pasting and Reversing

abstract: The problem of genealogy of permutations has been solved partially by Stefan (odd order) and Acosta-Hum\'anez \& Bernhardt (power of two). It is well known that Sharkovskii's theorem shows the relationship between the cardinal of the set of periodic points of a continuous map, but simple permutations will show the behaviour of those periodic points. Recently Abdulla et al studied the structure of minimal $4n+2$-orbits of the continuous endomorphisms on the real line. This paper studies some combinatorial dynamics structures of permutations of mixed order $4n+2$, describing its genealogy, using Pasting and Reversing.


title: Implementing 64-bit Maximally Equidistributed $\mathbb{F}_2$-Linear Generators with Mersenne Prime Period

abstract: CPUs and operating systems are moving from 32 to 64 bits, and hence it is important to have good pseudorandom number generators designed to fully exploit these word lengths. However, existing 64-bit very long period generators based on linear recurrences modulo 2 are not completely optimized in terms of the equidistribution properties. Here we develop 64-bit maximally equidistributed pseudorandom number generators that are optimal in this respect and have speeds equivalent to 64-bit Mersenne Twisters. We provide a table of specific parameters with period lengths from $2^{607}-1$ to $2^{44497}-1$. (An online appendix is available at http://www.ritsumei.ac.jp/~harase/melg-64-app.pdf)


title: The neutrino-nucleon cross section at UHE and its astrophysical implications

abstract: We present a quantitative study of the $\nu N$ cross section in the neutrino energy range $10^4<E_{\nu}<10^{14}$ GeV within two transversal QCD approaches: NLO DGLAP evolution using different sets of PDFs and BK small-$x$ evolution with running coupling and kinematical corrections. We show that the non-linear effects embodied in the BK equation yield a slower raise in the cross section for $E_{\nu}\gtrsim 10^{8}$ GeV than the usual DGLAP based calculation. Finally, we translate this theoretical uncertainty into upper bounds for the ultra-high-energy neutrino flux for different experiments.


title: Self-consistent thermodynamics for the Tsallis statistics in the grand canonical ensemble: Nonrelativistic hadron gas

abstract: In the present paper, the Tsallis statistics in the grand canonical ensemble was reconsidered in a general form. The thermodynamic properties of the nonrelativistic ideal gas of hadrons in the grand canonical ensemble was studied numerically and analytically in a finite volume and the thermodynamic limit. It was proved that the Tsallis statistics in the grand canonical ensemble satisfies the requirements of the equilibrium thermodynamics in the thermodynamic limit if the thermodynamic potential is a homogeneous function of the first order with respect to the extensive variables of state of the system and the entropic variable $z=1/(q-1)$ is an extensive variable of state. The equivalence of canonical, microcanonical and grand canonical ensembles for the nonrelativistic ideal gas of hadrons was demonstrated.


title: Accelerating universe as a result of an adjustment mechanism

abstract: In this essay we propose that the theory of gravity's vacuum is described by a de Sitter geometry. Under this assumption we consider an adjustment mechanism able to screen any value of the vacuum energy of the matter fields. We discuss the most general scalar-tensor cosmological models with second order equations of motion that have a fixed de Sitter critical point for any kind of material content. These models give rise to interesting cosmological evolutions that we shall discuss.


title: Lieb-Liniger model: emergence of dark solitons in the course of measurements of particle positions

abstract: Lieb-Liniger model describes bosons with contact interactions in one-dimensional space. In the limit of weak repulsive particle interactions, there are two types of low lying excitation spectrum. The first is reproduced by the Bogoliubov dispersion relation, the other is believed to correspond to dark soliton excitations. While there are various evidences that the type II spectrum is related to dark solitons, it has not been shown that measurements of positions of particles reveal dark soliton density profiles. Here, we employ the Bethe ansatz approach and show that dark solitons emerge in the measurement process if the system is prepared in an eigenstate corresponding to the type II spectrum. We analyze single and double dark solitons as well as weak and strong interaction regime.


title: Dynamics of the two-dimensional directed Ising model: zero-temperature coarsening

abstract: We investigate the laws of coarsening of a two-dimensional system of Ising spins evolving under single-spin-flip irreversible dynamics at low temperature from a disordered initial condition. The irreversibility of the dynamics comes from the directedness, or asymmetry, of the influence of the neighbours on the flipping spin. We show that the main characteristics of phase ordering at low temperature, such as self-similarity of the patterns formed by the growing domains, and the related scaling laws obeyed by the observables of interest, which hold for reversible dynamics, are still present when the dynamics is directed and irreversible, but with different scaling behaviour. In particular the growth of domains, instead of being diffusive as is the case when dynamics is reversible, becomes ballistic. Likewise, the autocorrelation function and the persistence probability (the probability that a given spin keeps its sign up to time $t$) have still power-law decays but with different exponents.


title: Model Checking Parameterized Asynchronous Shared-Memory Systems

abstract: We characterize the complexity of liveness verification for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributor processes. Processes communicate through a shared, bounded-value register. While each operation on the register is atomic, there is no synchronization primitive to execute a sequence of operations atomically. We analyze the case in which processes are modeled by finite-state machines or pushdown machines and the property is given by a B\"uchi automaton over the alphabet of read and write actions of the leader. We show that the problem is decidable, and has a surprisingly low complexity: it is NP-complete when all processes are finite-state machines, and is PSPACE-hard and in NEXPTIME when they are pushdown machines. This complexity is lower than for the non-parameterized case: liveness verification of finitely many finite-state machines is PSPACE-complete, and undecidable for two pushdown machines. For finite-state machines, our proofs characterize infinite behaviors using existential abstraction and semilinear constraints. For pushdown machines, we show how contributor computations of high stack height can be simulated by computations of many contributors, each with low stack height. Together, our results characterize the complexity of verification for parameterized systems under the assumptions of anonymity and asynchrony.


title: Classification of Radial Solutions for Semilinear Elliptic Systems with Nonlinear Gradient Terms

abstract: We are concerned with the classification of positive radial solutions for the system $\Delta u=v^p$, $\Delta v=f(|\nabla u|)$, where $p>0$ and $f\in C^1[0,\infty)$ is a nondecreasing function such that $f(t)>0$ for all $t>0$. We show that in the case where the system is posed in the whole space $\mathbb{R}^N$ such solutions exist if and only if $\displaystyle\int_{1}^\infty \Big(\displaystyle \int_0^s F(t)dt \Big)^{-p/(2p+1)} ds =\infty$. This is the counterpart of the Keller-Osserman condition for the case of single semilinear equation. Similar optimal conditions are derived in case where the system is posed in a ball of $\mathbb{R}^N$. If $f(t)=t^q$, $q>1$, using dynamical system techniques we are able to describe the behaviour of solutions at infinity (in case where the system is posed in the whole $\mathbb{R}^N$) or around the boundary (in case of a ball).


title: Control of Power in Parity-Time -Symmetric Lattices

abstract: We investigate wave transport properties of Parity-Time (PT) symmetric lattices that are periodically modulated along the direction of propagation. We demonstrate that in the regime of unbroken PT-symmetry the system Floquet-Bloch modes may interfere constructively leading to either controlled oscillations or linear power absorption and amplification occurring exactly at the phase transition point. The differential power response is effected by the overlap of the gain and loss system distribution with wave intensity pattern that is formed through Rabi oscillations engaging the coupled Floquet-Bloch modes.


title: Magnetism in the three-dimensional layered Lieb lattice: Enhanced transition temperature via flat-band and Van Hove singularities

abstract: We describe the enhanced magnetic transition temperatures $T_c$ of two-component fermions in three-dimensional layered Lieb lattices, which are created in cold atom experiments. We determine the phase diagram at half-filling using the dynamical mean-field theory. The dominant mechanism of enhanced $T_c$ gradually changes from the (delta-functional) flat-band to the (logarithmic) Van Hove singularity as the interlayer hopping increases. We elucidate that the interaction induces an effective flat-band singularity from a dispersive flat (or narrow) band. We offer a general analytical framework for investigating the singularity effects, where a singularity is treated as one parameter in the density of states. This framework provides a unified description of the singularity-induced phase transitions, such as magnetism and superconductivity, where the weight of the singularity characterizes physical quantities. This treatment of the flat-band provides the transition temperature and magnetization as a universal form (i.e., including the Lambert function). We also elucidate a specific feature of the magnetic crossover in magnetization at finite temperatures.


title: Unavoidable Gapless Boundary State and Boundary Superfluidity of Trapped Bose Mott States in Two-Dimensional Optical Lattices

abstract: We study the boundary nature of trapped bosonic Mott insulators in optical square lattices, by performing quantum Monte Carlo simulation. We show that a finite superfluid density generally emerges in the incommensurate-filling (IC) boundary region around the bulk Mott state, irrespectively of the width of the IC region. Both off-diagonal and density correlation functions in the IC boundary region exhibit a nearly power-law decay. The power-law behavior and superfluidity are well developed below a characteristic temperature. These results indicate that a gapless boundary mode always emerges in any atomic Mott insulators on optical lattices. This further implies that if we consider a topological insulating state in Bose or Fermi atomic systems, its boundary possesses at least two gapless modes (or coupled modes) of an above IC edge state and the intrinsic topologically-protected edge state.


title: Towards a consistent description of in-medium parton branching

abstract: Ultra-relativistic heavy-ion collisions are a window of opportunity to study QCD matter under extreme conditions of temperature and density, such as the quark-gluon plasma. Among the several possibilities, the study of jet quenching - generic name given to in-medium energy loss modifications of the parton branching - is a powerful tool to assess the properties of this new state of matter. The description of the parton shower is very well understood in vacuum (controlled reference) and medium-induced modifications of this process can be experimentally accessed through jet measurements. Current experimental data, however, cannot be entirely described only with energy loss phenomena. Transverse momentum broadening and decoherence effects, both theoretically established by now, and their interplay are essential to build a consistent picture of the medium-modifications of the parton branching and to achieve a correct description of the current experimental data. In this write-up, we will present the latest developments that address such unified description.


title: Computational identification of irreducible state-spaces for stochastic reaction networks

abstract: Stochastic models of reaction networks are becoming increasingly important in Systems Biology. In these models, the dynamics is generally represented by a continuous-time Markov chain whose states denote the copy-numbers of the constituent species. The state-space on which this process resides is a subset of non-negative integer lattice and for many examples of interest, this state-space is countably infinite. This causes numerous problems in analyzing the Markov chain and understanding its long-term behavior. These problems are further confounded by the presence of conservation relations among species which constrain the dynamics in complicated ways. In this paper we provide a linear-algebraic procedure to disentangle these conservation relations and represent the state-space in a special decomposed form, based on the copy-number ranges of various species and dependencies among them. This decomposed form is advantageous for analyzing the stochastic model and for a large class of networks we demonstrate how this form can be used for finding all the closed communication classes for the Markov chain within the infinite state-space. Such communication classes are irreducible state-spaces for the dynamics and they support all the extremal stationary distributions for the Markov chain. Hence our results provide important insights into the long-term behavior and stability properties of stochastic models of reaction networks. We discuss how the knowledge of these irreducible state-spaces can be used in many ways such as speeding-up stochastic simulations of multiscale networks or in identifying the stationary distributions of complex-balanced networks. We illustrate our results with several examples of gene-expression networks from Systems Biology.


title: A combinatorial approach to knot recognition

abstract: This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.


title: Partial Gathering of Mobile Agents in Asynchronous Rings

abstract: In this paper, we consider the partial gathering problem of mobile agents in asynchronous unidirectional rings equipped with whiteboards on nodes. The partial gathering problem is a new generalization of the total gathering problem. The partial gathering problem requires, for a given integer $g$, that each agent should move to a node and terminate so that at least $g$ agents should meet at the same node. The requirement for the partial gathering problem is weaker than that for the (well-investigated) total gathering problem, and thus, we have interests in clarifying the difference on the move complexity between them. We propose three algorithms to solve the partial gathering problem. The first algorithm is deterministic but requires unique ID of each agent. This algorithm achieves the partial gathering in $O(gn)$ total moves, where $n$ is the number of nodes. The second algorithm is randomized and requires no unique ID of each agent (i.e., anonymous). This algorithm achieves the partial gathering in expected $O(gn)$ total moves. The third algorithm is deterministic and requires no unique ID of each agent. For this case, we show that there exist initial configurations in which no algorithm can solve the problem and agents can achieve the partial gathering in $O(kn)$ total moves for solvable initial configurations, where $k$ is the number of agents. Note that the total gathering problem requires $\Omega (kn)$ total moves, while the partial gathering problem requires $\Omega (gn)$ total moves in each model. Hence, we show that the move complexity of the first and second algorithms is asymptotically optimal.


title: The Carina Project. VIII. The {\alpha}-element abundances

abstract: We have performed a new abundance analysis of Carina Red Giant (RG) stars from spectroscopic data collected with UVES (high resolution) and FLAMES/GIRAFFE (high and medium resolution) at ESO/VLT. The former sample includes 44 RGs, while the latter consists of 65 (high) and ~800 (medium resolution) RGs, covering a significant fraction of the galaxy's RG branch (RGB), and red clump stars. To improve the abundance analysis at the faint magnitude limit, the FLAMES/GIRAFFE data were divided into ten surface gravity and effective temperature bins. The spectra of the stars belonging to the same gravity/temperature bin were stacked. This approach allowed us to increase by at least a factor of five the signal-to-noise ratio in the faint limit (V>20.5mag). We took advantage of the new photometry index cU,B,I introduced by Monelli et al. (2014), as an age and probably a metallicity indicator, to split stars along the RGB. These two stellar populations display distinct [Fe/H] and [Mg/H] distributions: their mean Fe abundances are -2.15$\pm$0.06dex (sig=0.28), and -1.75$\pm$0.03dex (sig=0.21), respectively. The two iron distributions differ at the 75% level. This supports preliminary results by Lemasle et al. (2012) and by Monelli et al. (2014). Moreover, we found that the old and intermediate-age stellar populations have mean [Mg/H] abundances of -1.91$\pm$0.05dex (sig=0.22) and -1.35$\pm$0.03dex (sig=0.22); these differ at the 83% level. Carina's {\alpha}-element abundances agree, within 1sigma, with similar abundances for field Halo stars and for cluster (Galactic, Magellanic) stars. The same outcome applies to nearby dwarf spheroidals and ultra-faint dwarf galaxies, in the iron range covered by Carina stars. Finally, we found evidence of a clear correlation between Na and O abundances, thus suggesting that Carina's chemical enrichment history is quite different than in the globular clusters.


title: Correlation effects on topological crystalline insulators

abstract: We study interaction effects on the topological crystalline insulators protected by time-reversal ($T$) and reflection symmetry ($R$) in two and three spatial dimensions. From the stability analysis of the edge states with bosonization, we find that the classification of the two-dimensional SPT phases protected by $Z_2\times[\mbox{U(1)}\rtimes T]$ symmetry is reduced from $\mathbb{Z}$ to $\mathbb{Z}_4$ by interactions, where the $Z_2$ symmetry denotes the reflection whose mirror plane is the two-dimensional plane itself. By extending the approach recently proposed by Isobe and Fu, we show that the classification of the three-dimensional SPT phases (i.e., topological crystalline insulators) protected by $R\times[\mbox{U(1)}\rtimes T]$ symmetry is reduced from $\mathbb{Z}$ to $\mathbb{Z}_8$ by interactions.


title: Testing left-right symmetric models

abstract: The difference between left- and right-handed particles is perhaps one of the most puzzling aspects of the Standard Model (SM). In left-right models (LRMs) the symmetry between left- and right-handed particles can be restored at high energy. Due to this symmetry these models are quite predictive with regards to experimental observables, making them interesting beyond the SM candidates. Here we discuss the more symmetric LRMs, the experimental constraints, and the fine-tuning present in the Higgs sector.


title: Fast Detection of Curved Edges at Low SNR

abstract: Detecting edges is a fundamental problem in computer vision with many applications, some involving very noisy images. While most edge detection methods are fast, they perform well only on relatively clean images. Indeed, edges in such images can be reliably detected using only local filters. Detecting faint edges under high levels of noise cannot be done locally at the individual pixel level, and requires more sophisticated global processing. Unfortunately, existing methods that achieve this goal are quite slow. In this paper we develop a novel multiscale method to detect curved edges in noisy images. While our algorithm searches for edges over a huge set of candidate curves, it does so in a practical runtime, nearly linear in the total number of image pixels. As we demonstrate experimentally, our algorithm is orders of magnitude faster than previous methods designed to deal with high noise levels. Nevertheless, it obtains comparable, if not better, edge detection quality on a variety of challenging noisy images.


title: Accuracy of the growth index in the presence of dark energy perturbations

abstract: We present the analytical solutions for the evolution of matter density perturbations, for a model with a constant dark energy equation of state $w$ but when the effects of the dark energy perturbations are properly taken into account. We consider two cases, the first when the sound speed of the perturbations is zero $c_s^2=0$ and the general case $0<c_s^2 \leq 1$. In the first case our solution is exact, while in the second case we found an approximate solution which works to better than $0.3\%$ accuracy for $k>10 H_0$ or equivalently $k/h>0.0033 \textrm{Mpc}^{-1}$. We also estimate the corrections to the growth index $\gamma(z)$, commonly used to parametrize the growth-rate. We find that these corrections due to the DE perturbations affect the growth index $\gamma$ at the $3\%$ level. We also compare our new expressions for the growth index with other expressions already present in the literature and we find that the latter are less accurate than the ones we propose here. Therefore, our analytical calculations are necessary as the theoretical predictions for the fundamental parameters to be constrained by the upcoming surveys need to be as accurate as possible, especially since we are entering in the precise cosmology era where parameters will be measured to the percent level.


title: Finite-dimensional half-integer weight modules over queer Lie superalgebras

abstract: We give a new interpretation of representation theory of the finite-dimensional half-integer weight modules over the queer Lie superalgebra $\mathfrak{q}(n)$. It is given in terms of Brundan's work of finite-dimensional integer weight $\mathfrak{q}(n)$-modules by means of Lusztig's canonical basis. Using this viewpoint we compute the characters of the finite-dimensional half-integer weight irreducible modules. For a large class of irreducible modules whose highest weights are of special types (i.e., totally connected or totally disconnected) we derive closed-form character formulas that are reminiscent of Kac-Wakimoto character formula for classical Lie superalgebras.


title: Simulating leaky integrate and fire neuron with integers

abstract: The leaky integrate and fire (LIF) neuron represents standard neuronal model used for numerical simulations. The leakage is implemented in the model as exponential decay of trans-membrane voltage towards its resting value. This makes inevitable the usage of machine floating point numbers in the course of simulation. It is known that machine floating point arithmetic is subjected to small inaccuracies, which prevent from exact comparison of floating point quantities. In particular, it is incorrect to decide whether two separate in time states of a simulated system composed of LIF neurons are exactly identical. However, decision of this type is necessary, e.g. to figure periodic dynamical regimes in a reverberating network. Here we offer a simulation paradigm of a LIF neuron, in which neuronal states are described by whole numbers. Within this paradigm, the LIF neuron behaves exactly the same way as does the standard floating point simulated LIF, although exact comparison of states becomes correctly defined.


title: The Dust Content and Radiation Fields of Sample of Galaxies in the ELAIS-N1 Field

abstract: The Mid-IR colors ($F_{8}/F_{24}$) of galaxies together with their IR-UV luminosity correlations can be used to get some insight into the relative abundance of the different dust grain populations present in them. The ELAIS-N1 field contains thousands of galaxies which do not have optical spectra but have been observed in the Mid-IR by {\it Spitzer} and UV by {\it GALEX} making it ideal for these studies. As part of this work we have selected a sample of galaxies from the ELAIS-N1 field which have photometric observations in the MIR and UV as well as photometric redshifts from the SDSS database. We put the constraint that the redshifts are $\le$ 0.1, thereby giving us a total of 309 galaxies. We find that the majority of the galaxies in the sample are PAH dominated due to their high MIR flux ratio. We also find a reasonable correlation between the Mid-IR and the UV luminosities out of which the Mid-IR emission from PAHs at 8 $\mu$m is marginally better correlated than the 24 $\mu$m VSG emission with the UV luminosities. However, if we divide the sample based on their $F_{8}/F_{24}$ ratios which is also an indicator of metallicity, the MIR-UV correlation seems to increase with the $F_{8}/F_{24}$ ratio. But the MIR-UV correlations are not very different for the PAHs and the VSG population within the individual metallicity groups.


title: Expresso : A user-friendly GUI for Designing, Training and Exploring Convolutional Neural Networks

abstract: With a view to provide a user-friendly interface for designing, training and developing deep learning frameworks, we have developed Expresso, a GUI tool written in Python. Expresso is built atop Caffe, the open-source, prize-winning framework popularly used to develop Convolutional Neural Networks. Expresso provides a convenient wizard-like graphical interface which guides the user through various common scenarios -- data import, construction and training of deep networks, performing various experiments, analyzing and visualizing the results of these experiments. The multi-threaded nature of Expresso enables concurrent execution and notification of events related to the aforementioned scenarios. The GUI sub-components and inter-component interfaces in Expresso have been designed with extensibility in mind. We believe Expresso's flexibility and ease of use will come in handy to researchers, newcomers and seasoned alike, in their explorations related to deep learning.


title: Robust Optimization for Deep Regression

abstract: Convolutional Neural Networks (ConvNets) have successfully contributed to improve the accuracy of regression-based methods for computer vision tasks such as human pose estimation, landmark localization, and object detection. The network optimization has been usually performed with L2 loss and without considering the impact of outliers on the training process, where an outlier in this context is defined by a sample estimation that lies at an abnormal distance from the other training sample estimations in the objective space. In this work, we propose a regression model with ConvNets that achieves robustness to such outliers by minimizing Tukey's biweight function, an M-estimator robust to outliers, as the loss function for the ConvNet. In addition to the robust loss, we introduce a coarse-to-fine model, which processes input images of progressively higher resolutions for improving the accuracy of the regressed values. In our experiments, we demonstrate faster convergence and better generalization of our robust loss function for the tasks of human pose estimation and age estimation from face images. We also show that the combination of the robust loss function with the coarse-to-fine model produces comparable or better results than current state-of-the-art approaches in four publicly available human pose estimation datasets.


title: Stochastic Block Coordinate Frank-Wolfe Algorithm for Large-Scale Biological Network Alignment

abstract: With increasingly "big" data available in biomedical research, deriving accurate and reproducible biology knowledge from such big data imposes enormous computational challenges. In this paper, motivated by recently developed stochastic block coordinate algorithms, we propose a highly scalable randomized block coordinate Frank-Wolfe algorithm for convex optimization with general compact convex constraints, which has diverse applications in analyzing biomedical data for better understanding cellular and disease mechanisms. We focus on implementing the derived stochastic block coordinate algorithm to align protein-protein interaction networks for identifying conserved functional pathways based on the IsoRank framework. Our derived stochastic block coordinate Frank-Wolfe (SBCFW) algorithm has the convergence guarantee and naturally leads to the decreased computational cost (time and space) for each iteration. Our experiments for querying conserved functional protein complexes in yeast networks confirm the effectiveness of this technique for analyzing large-scale biological networks.


title: Towards Optimal Adaptive Wireless Communications in Unknown Environments

abstract: Designing efficient channel access schemes for wireless communications without any prior knowledge about the nature of environments has been a very challenging issue, especially when the channel states distribution of all spectrum resources could be entirely or partially stochastic and/or adversarial at different time and locations. In this paper, we propose an adaptive channel access algorithm for wireless communications in unknown environments based on the theory of multi-armed bandits (MAB) problems. By automatically tuning two control parameters, i.e., learning rate and exploration probability, our algorithms are capable of finding the optimal channel access strategies and achieving the almost optimal learning performance over time under our defined four typical regimes for general unknown environments, e.g., the stochastic regime where channels follow some unknown i.i.d process, the adversarial regime where all channels are suffered by adversarial jamming attack, the mixed stochastic and adversarial regime where a subset of channels are attacked and the contaminated stochastic regime where occasionally adversarial events contaminate the stochastic channel process, etc. To reduce the implementation time and space complexity, we further develop an enhanced algorithm by exploiting the internal structure of the selection of channel access strategy. We conduct extensive simulations in all these regimes to validate our theoretical analysis. The quantitative performance studies indicate the superior throughput gain and the flexibility of our algorithm in practice, which is resilient to both oblivious and adaptive jamming attacks with different intelligence and any attacking strength that ranges from no-attack to the full-attack of all spectrum resources.


title: A guide to self-distributive quasigroups, or latin quandles

abstract: We present an overview of the theory of self-distributive quasigroups, both in the two-sided and one-sided cases, and relate the older results to the modern theory of quandles, to which self-distributive quasigroups are a special case. Most attention is paid to the representation results (loop isotopy, linear representation, homogeneous representation), as the main tool to investigate self-distributive quasigroups.


title: On the lower bound of the discrepancy of (t; s) sequences: I

abstract: We find the exact lower bound of the discrepancy of shifted Niedereiter's sequences.


title: Smooth PARAFAC Decomposition for Tensor Completion

abstract: In recent years, low-rank based tensor completion, which is a higher-order extension of matrix completion, has received considerable attention. However, the low-rank assumption is not sufficient for the recovery of visual data, such as color and 3D images, where the ratio of missing data is extremely high. In this paper, we consider "smoothness" constraints as well as low-rank approximations, and propose an efficient algorithm for performing tensor completion that is particularly powerful regarding visual data. The proposed method admits significant advantages, owing to the integration of smooth PARAFAC decomposition for incomplete tensors and the efficient selection of models in order to minimize the tensor rank. Thus, our proposed method is termed as "smooth PARAFAC tensor completion (SPC)." In order to impose the smoothness constraints, we employ two strategies, total variation (SPC-TV) and quadratic variation (SPC-QV), and invoke the corresponding algorithms for model learning. Extensive experimental evaluations on both synthetic and real-world visual data illustrate the significant improvements of our method, in terms of both prediction performance and efficiency, compared with many state-of-the-art tensor completion methods.


title: Unbeamed tidal disruption events at hard X-rays

abstract: Owing to their thermal emission, tidal disruption events (TDEs) were regularly detected in the soft X-rays and sometimes in the optical. Only a few TDEs have been detected at hard X-rays: two are high redshift beamed events, one of which occurred at the core of a nearby galaxy, and the most recent one is of a different nature, involving a compact object in the Milky Way. The aims of this work are to obtain a first sample of hard X-ray-selected unbeamed TDEs, to determine their frequency and to probe whether TDEs usually or exceptionally emit at hard X-ray energies. We performed extensive searches for hard X-ray flares at positions in over 53000 galaxies, up to a distance of 100 Mpc in the Swift BAT archive. Light curves were extracted and parametrized. The quiescent hard X-ray emission was used to exclude persistently active galactic nuclei. Significant flares from non-active galaxies were derived and checked for possible contamination. We found a sample of nine TDE candidates, which translates into a rate of $2 \times 10^{-5}\,{\rm galaxy}^{-1}\,{\rm yr}^{-1}$ above the BAT detection limit. This rate is consistent with those observed by XMM-Newton at soft X-rays and in the optical from SDSS observations, and is as expected from simulations. We conclude that hard X-ray emission should be ubiquitous in un-beamed TDEs and that electrons should be accelerated in their accretion flow.


title: Are gamma-ray bursts cosmological?

abstract: Gamma-ray burst sources are distributed with a high level of isotropy, which is compatible with either a cosmological origin or an extended Galactic halo origin. The brightness distribution is another indicator used to characterize the spatial distribution in distance. In this paper the author discusses detailed fits of the BATSE gamma-ray burst peak-flux distributions with Friedmann models taking into account possible density evolution and standard candle luminosity functions. A chi-square analysis is used to estimate the goodness of the fits and the author derives the significance level of limits on the density evolution and luminosity function parameters. Cosmological models provide a good fit over a range of parameter space which is physically reasonable


title: Electre Tri-Machine Learning Approach to the Record Linkage Problem

abstract: In this short paper, the Electre Tri-Machine Learning Method, generally used to solve ordinal classification problems, is proposed for solving the Record Linkage problem. Preliminary experimental results show that, using the Electre Tri method, high accuracy can be achieved and more than 99% of the matches and nonmatches were correctly identified by the procedure.


title: Energy Efficiency of Downlink Networks with Caching at Base Stations

abstract: Caching popular contents at base stations (BSs) can reduce the backhaul cost and improve the network throughput. Yet whether locally caching at the BSs can improve the energy efficiency (EE), a major goal for 5th generation cellular networks, remains unclear. Due to the entangled impact of various factors on EE such as interference level, backhaul capacity, BS density, power consumption parameters, BS sleeping, content popularity and cache capacity, another important question is what are the key factors that contribute more to the EE gain from caching. In this paper, we attempt to explore the potential of EE of the cache-enabled wireless access networks and identify the key factors. By deriving closed-form expression of the approximated EE, we provide the condition when the EE can benefit from caching, find the optimal cache capacity that maximizes the network EE, and analyze the maximal EE gain brought by caching. We show that caching at the BSs can improve the network EE when power efficient cache hardware is used. When local caching has EE gain over not caching, caching more contents at the BSs may not provide higher EE. Numerical and simulation results show that the caching EE gain is large when the backhaul capacity is stringent, interference level is low, content popularity is skewed, and when caching at pico BSs instead of macro BSs.


title: The Charmonium Potential at Non-Zero Temperature

abstract: The potential between charm and anti-charm quarks is calculated non-perturbatively using physical, rather than static quarks at temperatures on both sides of the deconfinement transition $T_{\rm C}$, using a lattice simulation with 2+1 dynamical quark flavours. We used the HAL QCD time-dependent method, originally developed for inter-nucleon potentials. Our lattices are anisotropic, with temporal lattice spacing less than the spatial one which enhances the information content of our correlators at each temperature. Local-extended charmonium correlators were calculated efficiently by contracting propagators in momentum rather than coordinate space. We find no significant variation in the central potential for temperatures in the confined phase. As the temperature increases into the deconfinement phase, the potential flattens, consistent with the expected weakening interaction. We fit the potential to both the (a) Cornell and (b) Debye-screened potential forms, with the latter better reproducing the data. The zero temperature string tension obtained from (a) agrees with results obtained elsewhere, and it decreases with temperature, but at a slower rate than from the static quark approximation. The Debye mass from (b) is close to zero for small temperatures, but starts to increase rapidly around $T_{\rm C}$. The spin-dependent potential is found to have a repulsive core and a distinct temperature dependence above $T_{\rm C}$ at distances $\sim 1$ fm.


title: Efficient computation of generalized Ising polynomials on graphs with fixed clique-width

abstract: Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast, graph polynomials which are definable in MSOL on the vocabulary of hypergraphs are fixed-parameter tractable with respect to tree-width, but not necessarily with respect to clique width. No algorithmic meta-theorem is known for the computation of graph polynomials definable in MSOL on the vocabulary of hypergraphs with respect to clique-width. We define an infinite class of such graph polynomials extending the class of graph polynomials definable in MSOL on the vocabulary of graphs and prove that they are Fixed-Parameter Polynomial Time (FPPT) computable, i.e. that they can be computed in time $O(n^{f(k)})$, where $n$ is the number of vertices and $k$ is the clique-width.


title: Storage of orbital angular momenta of light via coherent population oscillation

abstract: We report on the storage of Orbital Angular Momentum (OAM) of light via the phenomenon of Coherent Population Oscillation (CPO) in cold cesium atoms. The experiment is performed using a delayed four wave mixing configuration where the transverse optical information of a probe field carrying OAM associated with its azimuthal phase dependence is stored in the CPO of Zeeman sublevels of the hyperfine transition $F=3\rightarrow F^{\prime}=2$ of cesium $D_{2}$ line. We also demonstrate experimentally the simultaneous storage and retrieval of different OAM states propagating along different directions in space, leading to algebric operations with OAM and therefore opening the possibility of multiplexing OAM states.


title: Emerging Hawking-like Radiation from Gravitational Bremsstrahlung Beyond the Planck Scale

abstract: We argue that, as a consequence of the graviton's spin-2, its bremsstrahlung in trans-planckian-energy ($E\gg M_P$) gravitational scattering at small deflection angle can be nicely expressed in terms of helicity-transformation phases and their transfer within the scattering process. The resulting spectrum exhibits deeply sub-planckian characteristic energies of order $M_P^2/E \ll M_P$ (reminiscent of Hawking radiation), a suppressed fragmentation region, and a reduced rapidity plateau, in broad agreement with recent classical estimates.


title: On self-intersection local times for generalized Brownian bridges and the distance between step functions

abstract: In the paper $k$-multiple self-intersection local time for planar Gaussian integrators generated by linear operator with nontrivial kernel is studied. In this case additional singularities arise in its formal Fourier--Wiener transform. In case $k=2$ the set of singularities is the finite number of points. In case $k>2$ it contains intervals and hyperplanes. In the first and the second cases using two different approaches related on structure of set of singularities we show that "new" singularities do not imply on the convergence of integral corresponding to the formal Fourier--Wiener transform and regularization consist of compensation of impact of diagonals as for the Wiener process.


title: Machine learning based data mining for Milky Way filamentary structures reconstruction

abstract: We present an innovative method called FilExSeC (Filaments Extraction, Selection and Classification), a data mining tool developed to investigate the possibility to refine and optimize the shape reconstruction of filamentary structures detected with a consolidated method based on the flux derivative analysis, through the column-density maps computed from Herschel infrared Galactic Plane Survey (Hi-GAL) observations of the Galactic plane. The present methodology is based on a feature extraction module followed by a machine learning model (Random Forest) dedicated to select features and to classify the pixels of the input images. From tests on both simulations and real observations the method appears reliable and robust with respect to the variability of shape and distribution of filaments. In the cases of highly defined filament structures, the presented method is able to bridge the gaps among the detected fragments, thus improving their shape reconstruction. From a preliminary "a posteriori" analysis of derived filament physical parameters, the method appears potentially able to add a sufficient contribution to complete and refine the filament reconstruction.


title: Monadic second order finite satisfiability and unbounded tree-width

abstract: The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second order logic sentence $\alpha$, and (ii) a sentence $\beta$ in the two-variable fragment of first order logic extended with counting quantifiers. The vocabularies of $\alpha$ and $\beta$ may intersect. Output: Is there a finite structure which satisfies $\alpha\land\beta$ such that the restriction of the structure to the vocabulary of $\alpha$ has bounded tree-width? (The tree-width of the desired structure is not bounded.) As a consequence, we prove the decidability of the satisfiability problem by a finite structure of bounded tree-width of a logic extending monadic second order logic with linear cardinality constraints of the form $|X_{1}|+\cdots+|X_{r}|<|Y_{1}|+\cdots+|Y_{s}|$, where the $X_{i}$ and $Y_{j}$ are monadic second order variables. We prove the decidability of a similar extension of WS1S.


title: Recognition Confidence Analysis of Handwritten Chinese Character with CNN

abstract: In this paper, we present an effective method to analyze the recognition confidence of handwritten Chinese character, based on the softmax regression score of a high performance convolutional neural networks (CNN). Through careful and thorough statistics of 827,685 testing samples that randomly selected from total 8836 different classes of Chinese characters, we find that the confidence measurement based on CNN is an useful metric to know how reliable the recognition results are. Furthermore, we find by experiments that the recognition confidence can be used to find out similar and confusable character-pairs, to check wrongly or cursively written samples, and even to discover and correct mis-labelled samples. Many interesting observations and statistics are given and analyzed in this study.


title: Asymmetry of the parallel momentum distribution of (p,pN) reaction residues

abstract: The parallel momentum distribution (PMD) of the residual nuclei of the 14O(p,pn)13O and 14O(p,2p)13N reactions at 100 and 200 MeV/nucleon in inverse kinematics is investigated with the framework of the distorted wave impulse approximation. The PMD shows an asymmetric shape characterized by a steep fall-off on the high momentum side and a long-ranged tail on the low momentum side. The former is found to be due to the phase volume effect reflecting the energy and momentum conservation, and the latter is to the momentum shift of the outgoing two nucleons inside an attractive potential caused by the residual nucleus. Dependence of these effects on the nucleon separation energy of the projectile and the incident energy is also discussed.


title: Protection zone in a diffusive predator-prey model with Beddington-DeAngelis functional response

abstract: In any reaction-diffusion system of predator-prey models, the population densities of species are determined by the interactions between them, together with the influences from the spatial environments surrounding them. Generally, the prey species would die out when their birth rate is too low, the habitat size is too small, the predator grows too fast, or the predation pressure is too high. To save the endangered prey species, some human interference is useful, such as creating a protection zone where the prey could cross the boundary freely but the predator is prohibited from entering. This paper studies the existence of positive steady states to a predator-prey model with reaction-diffusion terms, Beddington-DeAngelis type functional response and non-flux boundary conditions. It is shown that there is a threshold value $\theta_0$ which characterizes the refuge ability of prey such that the positivity of prey population can be ensured if either the prey's birth rate satisfies $\theta\geq\theta_0$ (no matter how large the predator's growth rate is) or the predator's growth rate satisfies $\mu\le 0$, while a protection zone $\Omega_0$ is necessary for such positive solutions if $\theta<\theta_0$ with $\mu>0$ properly large. The more interesting finding is that there is another threshold value $\theta^*=\theta^*(\mu,\Omega_0)<\theta_0$, such that the positive solutions do exist for all $\theta\in(\theta^*,\theta_0)$. Letting $\mu\rightarrow\infty$, we get the third threshold value $\theta_1=\theta_1(\Omega_0)$ such that if $\theta>\theta_1(\Omega_0)$, prey species could survive no matter how large the predator's growth rate is. In addition, we get the fourth threshold value $\theta_*$ for negative $\mu$ such that the system admits positive steady states if and only if $\theta>\theta_*$.


title: What determines static force chains in stressed granular media?

abstract: The determination of the normal and transverse (frictional) inter-particle forces within a granular medium is a long standing, taunting, and yet unresolved problem. We present a new formalism which employs the knowledge of the external forces and the orientations of contacts between particles (of any given sizes), to compute all the inter-particle forces. Having solved this problem we exemplify the efficacy of the formalism showing that the force chains in such systems are determined by an expansion in the eigenfunctions of a newly defined operator.


title: The Prime Spectrum of Quantum $SL_3$ and the Poisson-prime Spectrum of its Semi-classical Limit

abstract: A bijection $\psi$ is defined between the prime spectrum of quantum $SL_3$ and the Poisson prime spectrum of $SL_3$, and we verify that $\psi$ and $\psi^{-1}$ both preserve inclusions of primes, i.e. that $\psi$ is in fact a homeomorphism between these two spaces. This is accomplished by developing a Poisson analogue of Brown and Goodearl's framework for describing the Zariski topology of spectra of quantum algebras, and then verifying directly that in the case of $SL_3$ these give rise to identical pictures on both the quantum and Poisson sides. As part of this analysis, we study the Poisson primitive spectrum of $\mathcal{O}(SL_3)$ and obtain explicit generating sets for all of the Poisson primitive ideals.


title: Stratification and $\pi$-cosupport: Finite groups

abstract: We introduce the notion of $\pi$-cosupport as a new tool for the stable module category of a finite group scheme. In the case of a finite group, we use this to give a new proof of the classification of tensor ideal localising subcategories. In a sequel to this paper, we carry out the corresponding classification for finite group schemes.


title: Dark matter at the LHC

abstract: I briefly discuss recent theoretical advances in the description of mono-X signals at the LHC.


title: Supercharge me: Boost Router Convergence with SDN

abstract: Software Defined Networking (SDN) is a promising approach for improving the performance and manageability of future network architectures. However, little work has gone into using SDN to improve the performance and manageability of existing networks without requiring a major overhaul of the existing network infrastructure. In this paper, we show how we can dramatically improve, or supercharge, the performance of existing IP routers by combining them with SDN-enabled equipment in a novel way. More particularly, our supercharged solution substantially reduces the convergence time of an IP router upon link or node failure without inducing any reconfiguration of the IP router itself. Our key insight is to use the SDN controller to precompute backup forwarding entries and immediately activate them upon failure, enabling almost immediate data-plane recovery, while letting the router converge at its typical slow pace. By boosting existing equipment's performance, we not only increase their lifetime but also provide new incentives for network operators to kickstart SDN deployment. We implemented a fully functional "supercharger" and use it to boost the convergence performance of a Cisco Nexus 7k router. Using a FPGA-based traffic generator, we show that our supercharged router systematically converges within ~150ms, a 900x reduction with respect to its normal convergence time under similar conditions.


title: The protoMIRAX Hard X-ray Imaging Balloon Experiment

abstract: The protoMIRAX hard X-ray imaging telescope is a balloon-borne experiment developed as a pathfinder for the MIRAX satellite mission. The experiment consists essentially in a coded-aperture hard X-ray (30-200 keV) imager with a square array (13$\times$13) of 2mm-thick planar CZT detectors with a total area of 169 cm$^2$. The total, fully-coded field-of-view is $21^{\circ}\times 21^{\circ}$ and the angular resolution is 1$^{\circ}$43'. In this paper we describe the protoMIRAX instrument and all the subsystems of its balloon gondola, and we show simulated results of the instrument performance. The main objective of protoMIRAX is to carry out imaging spectroscopy of selected bright sources to demonstrate the performance of a prototype of the MIRAX hard X-ray imager. Detailed background and imaging simulations have been performed for protoMIRAX balloon flights. The 3$\sigma$ sensitivity for the 30-200 keV range is ~1.9 $\times$ 10$^{-5}$ photons cm$^{-2}$ s$^{-1}$ for an integration time of 8 hs at an atmospheric depth of 2.7 g cm$^{-2}$ and an average zenith angle of 30$^{\circ}$. We have developed an attitude control system for the balloon gondola and new data handling and ground systems that also include prototypes for the MIRAX satellite. We present the results of Monte Carlo simulations of the camera response at balloon altitudes, showing the expected background level and the detailed sensitivity of protoMIRAX. We also present the results of imaging simulations of the Crab region. The results show that protoMIRAX is capable of making spectral and imaging observations of bright hard X-ray source fields. Furthermore, the balloon observations will carry out very important tests and demonstrations of MIRAX hardware and software in a near space environment.


title: Is the small-scale magnetic field correlated with the dynamo cycle?

abstract: The small-scale magnetic field is ubiquitous at the solar surface---even at high latitudes. From observations we know that this field is uncorrelated (or perhaps even weakly anticorrelated) with the global sunspot cycle. Our aim is to explore the origin, and particularly the cycle dependence of such a phenomenon using three-dimensional dynamo simulations. We adopt a simple model of a turbulent dynamo in a shearing box driven by helically forced turbulence. Depending on the dynamo parameters, large-scale (global) and small-scale (local) dynamos can be excited independently in this model. Based on simulations in different parameter regimes, we find that, when only the large-scale dynamo is operating in the system, the small-scale magnetic field generated through shredding and tangling of the large-scale magnetic field is positively correlated with the global magnetic cycle. However, when both dynamos are operating, the small-scale field is produced from both the small-scale dynamo and the tangling of the large-scale field. In this situation, when the large-scale field is weaker than the equipartition value of the turbulence, the small-scale field is almost uncorrelated with the large-scale magnetic cycle. On the other hand, when the large-scale field is stronger than the equipartition value, we observe an anticorrelation between the small-scale field and the large-scale magnetic cycle. This anticorrelation can be interpreted as a suppression of the small-scale dynamo. Based on our studies we conclude that the observed small-scale magnetic field in the Sun is generated by the combined mechanisms of small-scale dynamo and tangling of the large-scale field.


title: Ergodic invariant states and irreducible representations of crossed product $C^*$-algebras

abstract: Motivated by reformulating Furstenberg's $\times p,\times q$ conjecture via representations of a crossed product $C^*$-algebra, we show that in a discrete $C^*$-dynamical system $(A,\Gamma)$, the space of (ergodic) $\Gamma$-invariant states on $A$ is homeomorphic to a subspace of (pure) state space of $A\rtimes\Gamma$. Various applications of this in topological dynamical systems and representation theory are obtained. In particular, we prove that the classification of ergodic $\Gamma$-invariant regular Borel probability measures on a compact Hausdorff space $X$ is equivalent to the classification a special type of irreducible representations of $C(X)\rtimes \Gamma$.


title: Loop groups in Yang-Mills theory

abstract: We consider the Yang-Mills equations with a matrix gauge group $G$ on the de Sitter dS$_4$, anti-de Sitter AdS$_4$ and Minkowski $R^{3,1}$ spaces. On all these spaces one can introduce a doubly warped metric in the form $d s^2 =-d u^2 + f^2 d v^2 +h^2 d s^2_{H^2}$, where $f$ and $h$ are the functions of $u$ and $d s^2_{H^2}$ is the metric on the two-dimensional hyperbolic space $H^2$. We show that in the adiabatic limit, when the metric on $H^2$ is scaled down, the Yang-Mills equations become the sigma-model equations describing harmonic maps from a two-dimensional manifold (dS$_2$, AdS$_2$ or $R^{1,1}$, respectively) into the based loop group $\Omega G=C^\infty (S^1, G)/G$ of smooth maps from the boundary circle $S^1=\partial H^2$ of $H^2$ into the gauge group $G$. From this correspondence and the implicit function theorem it follows that the moduli space of Yang-Mills theory with a gauge group $G$ in four dimensions is bijective to the moduli space of two-dimensional sigma model with $\Omega G$ as the target space. The sigma-model field equations can be reduced to equations of geodesics on $\Omega G$, solutions of which yield magnetic-type configurations of Yang-Mills fields. The group $\Omega G$ naturally acts on their moduli space.


title: An Orthogonality Property of the Legendre Polynomials

abstract: We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function.


title: Bandwidth and Electron Correlation-Tuned Superconductivity in Rb$_{0.8}$Fe$_{2}$(Se$_{1-z}$S$_z$)$_2$

abstract: We present a systematic angle-resolved photoemission spectroscopy study of the substitution-dependence of the electronic structure of Rb$_{0.8}$Fe$_{2}$(Se$_{1-z}$S$_z$)$_2$ (z = 0, 0.5, 1), where superconductivity is continuously suppressed into a metallic phase. Going from the non-superconducting Rb$_{0.8}$Fe$_{2}$(Se$_{1-z}$S$_z$)$_2$ to superconducting Rb$_{0.8}$Fe$_{2}$Se$_2$, we observe little change of the Fermi surface topology, but a reduction of the overall bandwidth by a factor of 2 as well as an increase of the orbital-dependent renormalization in the $d_{xy}$ orbital. Hence for these heavily electron-doped iron chalcogenides, we have identified electron correlation as explicitly manifested in the quasiparticle bandwidth to be the important tuning parameter for superconductivity, and that moderate correlation is essential to achieving high $T_C$.


title: A positive Bondi--type mass in asymptotically de Sitter spacetimes

abstract: The general structure of the conformal boundary $\mathscr{I}^+$ of asymptotically de Sitter spacetimes is investigated. First we show that Penrose's quasi-local mass, associated with a cut ${\cal S}$ of the conformal boundary, can be zero even in the presence of outgoing gravitational radiation. On the other hand, following a Witten--type spinorial proof, we show that an analogous expression based on the Nester--Witten form is finite only if the Witten spinor field solves the 2-surface twistor equation on ${\cal S}$, and it yields a positive functional on the 2-surface twistor space on ${\cal S}$, provided the matter fields satisfy the dominant energy condition. Moreover, this functional is vanishing if and only if the domain of dependence of the spacelike hypersurface which intersects $\mathscr{I}^+$ in the cut ${\cal S}$ is locally isometric to the de Sitter spacetime. For non-contorted cuts this functional yields an invariant analogous to the Bondi mass.


title: An historical prolegomenon to the occurrence of the resonance dual models: the Watson-Sommerfeld transform

abstract: We would like to discuss, within the inherent historical context, upon one of the main works of fundamental physics which has led to the formulation of the early resonance dual models prior to string theory. In fact, we shall focus on certain aspects of the fundamental Tullio Regge work of 1959, to be precise, on certain mathematical methods handled by him to pursue his original intentions mainly motivated to prove some double dispersion relations into the framework of non-relativistic potential scattering.


title: \Delta S=2 and \Delta C=2 bag parameters in the SM and beyond from Nf=2+1+1 twisted-mass LQCD

abstract: We present unquenched lattice QCD results for the matrix elements of four-fermion operators relevant to the description of the neutral K and D mixing in the Standard Model and its extensions. We have employed simulations with Nf = 2 + 1 + 1 dynamical sea quarks at three values of the lattice spacings in the interval 0.06 - 0.09 fm and pseudoscalar meson masses in the range 210 - 450 MeV. Our results are extrapolated to the continuum limit and to the physical pion mass. Renormalization constants have been determined non-perturbatively in the RI-MOM scheme. In particular, for the Kaon bag-parameter, which is relevant for the \overline{K}^0-K^0 mixing in the Standard Model, we obtain B_K^{RGI} = 0.717(24).


title: Continuous voting by approval and participation

abstract: In finding the adequate way to prioritize proposals, the Brazilian participation community agreed about the measurement of two indexes, one of approval and one of participation. Both practice and literature is constantly handled by the experts involved, and the formalization of such model and metrics seems novel. Also, the relevance of this report is strengthened by the nearby use of these indexes by the Brazilian General Secretariat of the Republic to raise and prioritize proposals about public health care in open processes.


title: Electronic Structure of Transition Metal Dichalcogenides PdTe2 and Cu0.05PdTe2 Superconductors Obtained by Angle-Resolved Photoemission Spectroscopy

abstract: The layered transition metal chalcogenides have been a fertile land in solid state physics for many decades. Various MX2-type transition metal dichalcogenides, such as WTe2, IrTe2, and MoS2, have triggered great attention recently, either for the discovery of novel phenomena or some extreme or exotic physical properties, or for their potential applications. PdTe2 is a superconductor in the class of transition metal dichalcogenides, and superconductivity is enhanced in its Cu-intercalated form, Cu0.05PdTe2. It is important to study the electronic structures of PdTe2 and its intercalated form in order to explore for new phenomena and physical properties and understand the related superconductivity enhancement mechanism. Here we report systematic high resolution angle-resolved photoemission (ARPES) studies on PdTe2 and Cu0.05$PdTe2 single crystals, combined with the band structure calculations. We present for the first time in detail the complex multi-band Fermi surface topology and densely-arranged band structure of these compounds. By carefully examining the electronic structures of the two systems, we find that Cu-intercalation in PdTe2 results in electron-doping, which causes the band structure to shift downwards by nearly 16 meV in Cu0.05PdTe2. Our results lay a foundation for further exploration and investigation on PdTe2 and related superconductors.


title: Identification of Topological Surface State in PdTe2 Superconductor by Angle-Resolved Photoemission Spectroscopy

abstract: High resolution angle-resolved photoemission measurements have been carried out on transition metal dichalcogenide PdTe2 that is a superconductor with a Tc at 1.7 K. Combined with theoretical calculations, we have discovered for the first time the existence of topologically nontrivial surface state with Dirac cone in PbTe2 superconductor. It is located at the Brillouin zone center and possesses helical spin texture. Distinct from the usual three-dimensional topological insulators where the Dirac cone of the surface state lies at the Fermi level, the Dirac point of the surface state in PdTe2 lies deep below the Fermi level at ~1.75 eV binding energy and is well separated from the bulk states. The identification of topological surface state in PdTe2 superconductor deep below the Fermi level provides a unique system to explore for new phenomena and properties and opens a door for finding new topological materials in transition metal chalcogenides.


title: Possible existence of a meson ($s\bar s$) S = 0 at M $\approx$ 762 MeV

abstract: The possible existence of a ($ s\bar s$) S = 0 meson at M $\approx$ 762 MeV is discussed through a critical analysis of the existing data. Different experimental results are considered and show the possibility that the presence of such meson is not excluded by the data, but may be hidden by more excited mesons at nearby masses.


title: Optimal Two-Sided Tests for Instrumental Variables Regression with Heteroskedastic and Autocorrelated Errors

abstract: This paper considers two-sided tests for the parameter of an endogenous variable in an instrumental variable (IV) model with heteroskedastic and autocorrelated errors. We develop the finite-sample theory of weighted-average power (WAP) tests with normal errors and a known long-run variance. We introduce two weights which are invariant to orthogonal transformations of the instruments; e.g., changing the order in which the instruments appear. While tests using the MM1 weight can be severely biased, optimal tests based on the MM2 weight are naturally two-sided when errors are homoskedastic. We propose two boundary conditions that yield two-sided tests whether errors are homoskedastic or not. The locally unbiased (LU) condition is related to the power around the null hypothesis and is a weaker requirement than unbiasedness. The strongly unbiased (SU) condition is more restrictive than LU, but the associated WAP tests are easier to implement. Several tests are SU in finite samples or asymptotically, including tests robust to weak IV (such as the Anderson-Rubin, score, conditional quasi-likelihood ratio, and I. Andrews' (2015) PI-CLC tests) and two-sided tests which are optimal when the sample size is large and instruments are strong. We refer to the WAP-SU tests based on our weights as MM1-SU and MM2-SU tests. Dropping the restrictive assumptions of normality and known variance, the theory is shown to remain valid at the cost of asymptotic approximations. The MM2-SU test is optimal under the strong IV asymptotics, and outperforms other existing tests under the weak IV asymptotics.


title: Line Identifications of Type I Supernovae: On the Detection of Si II for these Hydrogen-poor Events

abstract: Here we revisit line identifications of type I supernovae and highlight trace amounts of unburned hydrogen as an important free parameter for the composition of the progenitor. Most 1-dimensional stripped-envelope models of supernovae indicate that observed features near 6000-6400 Ang in type I spectra are due to more than Si II 6355. However, while an interpretation of conspicuous Si II 6355 can approximate 6150 Ang absorption features for all type Ia supernovae during the first month of free expansion, similar identifications applied to 6250 Ang features of type Ib and Ic supernovae have not been as successful. When the corresponding synthetic spectra are compared to high quality time-series observations, the computed spectra are frequently too blue in wavelength. Some improvement can be achieved with Fe II lines that contribute red-ward of 6150 Ang, however the computed spectra either remain too blue, or the spectrum only reaches fair agreement when the rise-time to peak brightness of the model conflicts with observations by a factor of two. This degree of disagreement brings into question the proposed explosion scenario. Similarly, a detection of strong Si II 6355 in the spectra of broad-lined Ic and super-luminous events of type I/R is less convincing despite numerous model spectra used to show otherwise. Alternatively, we suggest 6000-6400 Ang features are possibly influenced by either trace amounts of hydrogen, or blue-shifted absorption and emission in Halpha, the latter being an effect which is frequently observed in the spectra of hydrogen-rich, type II supernovae.


title: A Survey on Retrieval of Mathematical Knowledge

abstract: We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.


title: Generalised complex geometry in thermodynamical fluctuation theory

abstract: We present a brief overview of some key concepts in the theory of generalised complex manifolds. This new geometry interpolates, so to speak, between symplectic geometry and complex geometry. As such it provides an ideal framework to analyse thermodynamical fluctuation theory in the presence of gravitational fields. To illustrate the usefulness of generalised complex geometry, we examine a simplified version of the Unruh effect: the thermalising effect of gravitational fields on the Schroedinger wavefunction.


title: Observational signatures of convectively driven waves in massive stars

abstract: We demonstrate observational evidence for the occurrence of convectively driven internal gravity waves (IGW) in young massive O-type stars observed with high-precision CoRoT space photometry. This evidence results from a comparison between velocity spectra based on 2D hydrodynamical simulations of IGW in a differentially-rotating massive star and the observed spectra.We also show that the velocity spectra caused by IGW may lead to detectable line-profile variability and explain the occurrence of macroturbulence in the observed line profiles of OB stars. Our findings provide predictions that can readily be tested by including a sample of bright slowly and rapidly rotating OB-type stars in the scientific programme of the K2 mission accompanied by high-precision spectroscopy and their confrontation with multi-dimensional hydrodynamic simulations of IGW for various masses and ages.


title: Ore's theorem for cyclic subfactor planar algebras and applications

abstract: This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O. Ore states that a finite group is cyclic if and only if its subgroups lattice is distributive, and on the other hand, every subgroup of a cyclic group is normal. Then, a subfactor planar algebra is called cyclic if all the biprojections are normal and form a distributive lattice. The main result shows in what sense a cyclic subfactor is singly generated, by generalizing one side of Ore's theorem as follows: if a subfactor planar algebra is cyclic then it is weakly cyclic (or w-cyclic), i.e. there is a minimal 2-box projection generating the identity biprojection. Some extensions of this result are discussed, and some applications of it are given in subfactors, quantum groups and finite group theories, for example, a non-trivial upper bound for the minimal number of irreducible complex representations generating the left regular representation.


title: Sun's log-concavity conjecture on the Catalan-Larcombe-French sequence

abstract: Let $\{P_n\}_{n\geq 0}$ denote the Catalan-Larcombe-French sequence, which naturally came up from the series expansion of the complete elliptic integral of the first kind. In this paper, we prove the strict log-concavity of the sequence $\{\sqrt[n]{P_n}\}_{n\geq 1}$, which was originally conjectured by Sun. We also obtain the strict log-concavity of the sequence $\{\sqrt[n]{V_n}\}_{n\geq 1}$, where $\{V_n\}_{n\geq 0}$ is the Fennessey-Larcombe-French sequence arising in the series expansion of the complete elliptic integral of the second kind.


title: A Logic of Knowing How

abstract: In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning. We first define a modal language to express "I know how to guarantee phi given psi" with a semantics not based on standard epistemic models but labelled transition systems that represent the agent's knowledge of his own abilities. A sound and complete proof system is given to capture the valid reasoning patterns about "knowing how" where the most important axiom suggests its compositional nature.


title: Compactness of the space of minimal hypersurfaces with bounded volume and p-th Jacobi eigenvalue

abstract: Given a closed Riemannian manifold of dimenion less than eight, we prove a compactness result for the space of closed, embedded minimal hypersurfaces satisfying a volume bound and a uniform lower bound on the first eigenvalue of the stability operator. When the latter assumption is replaced by a uniform lower bound on the p-th Jacobi eigenvalue for p greater or equal than 2 one gains strong convergence to a smooth limit submanifold away from at most p-1 points.


title: Solving simultaneously Thue equations in the almost totally imaginary case

abstract: Let $\alpha$ be an algebraic number of degree $d\ge 3$ having at most one real conjugate and let $K$ be the algebraic number field ${\mathbf Q}(\alpha)$. For any unit $\epsilon$ of $K$ such that ${\mathbf Q}(\alpha\epsilon)=K$, we consider the irreducible polynomial $f_\epsilon(X)\in{\mathbf Z}[X]$ such that $f_\epsilon(\alpha\epsilon)=0$. Let $F_\epsilon(X,Y)\ = Y^df_\epsilon(X/Y)\in{\mathbf Z}[X,Y]$ be the associated binary form. For each positive integer $m$, we exhibit an effectively computable bound for the solutions $(x,y,\epsilon)$ of the diophantine equation $|F_\epsilon(x,y)|\leq m$.


title: Neutron spectrometer for fast nuclear reactors

abstract: In this paper we describe the development and first tests of a neutron spectrometer designed for high flux environments, such as the ones found in fast nuclear reactors. The spectrometer is based on the conversion of neutrons impinging on $^6$Li into $\alpha$ and $t$ whose total energy comprises the initial neutron energy and the reaction $Q$-value. The $^6$LiF layer is sandwiched between two CVD diamond detectors, which measure the two reaction products in coincidence. The spectrometer was calibrated at two neutron energies in well known thermal and 3 MeV neutron fluxes. The measured neutron detection efficiency varies from 4.2$\times 10^{-4}$ to 3.5$\times 10^{-8}$ for thermal and 3 MeV neutrons, respectively. These values are in agreement with Geant4 simulations and close to simple estimates based on the knowledge of the $^6$Li(n,$\alpha$)$t$ cross section. The energy resolution of the spectrometer was found to be better than 100 keV when using 5 m cables between the detector and the preamplifiers.


title: Heavy Baryons with Strangeness in a Soliton Model

abstract: We present results from a chiral soliton model calculation for the spectrum of baryons with a single heavy quark (charm or bottom) and non-zero strangeness. We treat the strange components within a three flavor collective coordinate quantization of the soliton that fully accounts for light flavor symmetry breaking. Heavy baryons emerge by binding a heavy meson to the soliton. The dynamics of this heavy meson is described by the heavy quark effective theory with finite mass effects included.


title: Familles d'\'equations de Thue associ\'ees \`a un sous-groupe de rang 1 d'unit\'es totalement r\'eelles d'un corps de nombres

abstract: Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $\epsilon\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $\epsilon^a$ of $\epsilon$, ($a\in{\mathbf Z}$), we obtain an infinite family $F_a$ of binary forms. Let $m\in{\mathbf Z}$. We give an effective bound for $\max\{|a|, \log|x|, \log|y|\}$ when $a,x,y$ are rational integers satisfying $F_a(x,y)=m$ with $xy\not=0$.


title: Invariant manifolds for the porous medium equation

abstract: In this paper, we investigate the speed of convergence and higher-order asymptotics of solutions to the porous medium equation posed in $\mathbf{R}^N$. Applying a nonlinear change of variables, we rewrite the equation as a diffusion on a fixed domain with quadratic nonlinearity. The degeneracy is cured by viewing the dynamics on a hypocycloidic manifold. It is in this framework that we can prove a differentiable dependency of solutions on the initial data, and thus, dynamical systems methods are applicable. Our main result is the construction of invariant manifolds in the phase space of solutions which are tangent at the origin to the eigenspaces of the linearized equation. We show how these invariant manifolds can be used to extract information on the higher-order long-time asymptotic expansions of solutions to the porous medium equation.


title: PopED lite: an optimal design software for preclinical pharmacokinetic and pharmacodynamic studies

abstract: Optimal experimental design approaches are seldom used in pre-clinical drug discovery. Main reasons for this lack of use are that available software tools require relatively high insight in optimal design theory, and that the design-execution cycle of in vivo experiments is short, making time-consuming optimizations infeasible. We present the publicly available software PopED lite in order to increase the use of optimal design in pre-clinical drug discovery. PopED lite is designed to be simple, fast and intuitive. Simple, to give many users access to basic optimal design calculations. Fast, to fit the short design-execution cycle and allow interactive experimental design (test one design, discuss proposed design, test another design, etc). Intuitive, so that the input to and output from the software can easily be understood by users without knowledge of the theory of optimal design. In this way, PopED lite is highly useful in practice and complements existing tools. Key functionality of PopED lite is demonstrated by three case studies from real drug discovery projects.


title: Statistical and Algorithmic Perspectives on Randomized Sketching for Ordinary Least-Squares -- ICML

abstract: We consider statistical and algorithmic aspects of solving large-scale least-squares (LS) problems using randomized sketching algorithms. Prior results show that, from an \emph{algorithmic perspective}, when using sketching matrices constructed from random projections and leverage-score sampling, if the number of samples $r$ much smaller than the original sample size $n$, then the worst-case (WC) error is the same as solving the original problem, up to a very small relative error. From a \emph{statistical perspective}, one typically considers the mean-squared error performance of randomized sketching algorithms, when data are generated according to a statistical linear model. In this paper, we provide a rigorous comparison of both perspectives leading to insights on how they differ. To do this, we first develop a framework for assessing, in a unified manner, algorithmic and statistical aspects of randomized sketching methods. We then consider the statistical prediction efficiency (PE) and the statistical residual efficiency (RE) of the sketched LS estimator; and we use our framework to provide upper bounds for several types of random projection and random sampling algorithms. Among other results, we show that the RE can be upper bounded when $r$ is much smaller than $n$, while the PE typically requires the number of samples $r$ to be substantially larger. Lower bounds developed in subsequent work show that our upper bounds on PE can not be improved.


title: Particle-Hole Asymmetry in Gapped Topological Insulator Surface States

abstract: We consider the combined effect of a gap and a Zeeman interaction on the helical Dirac fermions which exist on the surface of a topological insulator. Magneto-optical properties, the magnetization, Hall effect and the density of states are considered with emphasis on the particle-hole asymmetry which arises when a subdominant Schr\"odinger piece is included along with the dominant Dirac part of the Hamiltonian. When appropriate, we compare our results with those of a single valley gapped graphene system for which Zeeman splitting behaves differently. We provide a derivation of the phase offset in the magnetic oscillations brought about by the combined effect of the gap and Schr\"odinger term without requiring the semiclassical Onsager quantization condition. Our results agree with previous discussions based on semiclassical arguments.


title: Towards Realistic Team Formation in Social Networks based on Densest Subgraphs

abstract: Given a task $\mathcal{T}$, a set of experts $V$ with multiple skills and a social network $G(V, W)$ reflecting the compatibility among the experts, team formation is the problem of identifying a team $C \subseteq V$ that is both competent in performing the task $\mathcal{T}$ and compatible in working together. Existing methods for this problem make too restrictive assumptions and thus cannot model practical scenarios. The goal of this paper is to consider the team formation problem in a realistic setting and present a novel formulation based on densest subgraphs. Our formulation allows modeling of many natural requirements such as (i) inclusion of a designated team leader and/or a group of given experts, (ii) restriction of the size or more generally cost of the team (iii) enforcing locality of the team, e.g., in a geographical sense or social sense, etc. The proposed formulation leads to a generalized version of the classical densest subgraph problem with cardinality constraints (DSP), which is an NP hard problem and has many applications in social network analysis. In this paper, we present a new method for (approximately) solving the generalized DSP (GDSP). Our method, FORTE, is based on solving an equivalent continuous relaxation of GDSP. The solution found by our method has a quality guarantee and always satisfies the constraints of GDSP. Experiments show that the proposed formulation (GDSP) is useful in modeling a broader range of team formation problems and that our method produces more coherent and compact teams of high quality. We also show, with the help of an LP relaxation of GDSP, that our method gives close to optimal solutions to GDSP.


title: Filtered expansions in general relativity and one BKL-bounce

abstract: When the vacuum Einstein equations are formulated in terms of a frame, rather than a metric, can one perturb solutions with a degenerate frame into ones with a nondegenerate frame? In examples we point out that one can encounter issues already at the level of formal perturbative expansions; namely the cohomological, so-called space of obstructions is nonzero. In this paper we propose a perturbative expansion based on filtrations. We construct and prove properties of a specific filtration, intended to make mathematical sense of one BKL-bounce, a building block of a well-known but very heuristic conjecture due to Belinskii, Khalatnikov and Lifshitz (which would involve sticking together an infinite sequence of single bounces). It seems possible that now the space of obstructions is zero, but this question is left open.


title: Adiabatic approximation and fluctuations in exciton-polariton condensates

abstract: We study the relation between the models commonly used to describe the dynamics of nonresonantly pumped exciton-polariton condensates, namely the ones described by the complex Ginzburg-Landau equation, and by the open-dissipative Gross-Pitaevskii equation including a separate equation for the reservoir density. In particular, we focus on the validity of the adiabatic approximation that allows to reduce the coupled condensate-reservoir dynamics to a single partial differential equation. We find that the adiabatic approximation consists of three independent analytical conditions that have to be fulfilled simultaneously. By investigating stochastic versions of the two corresponding models, we verify that the breakdown of the adiabatic approximation can lead to discrepancies in correlation lengths and distributions of fluctuations. Additionally, we consider the phase diffusion and number fluctuations of a condensate in a box, and show that self-consistent description requires treatment beyond the typical Bogoliubov approximation.


title: Quantifying the robustness of metro networks

abstract: Metros (heavy rail transit systems) are integral parts of urban transportation systems. Failures in their operations can have serious impacts on urban mobility, and measuring their robustness is therefore critical. Moreover, as physical networks, metros can be viewed as network topological entities, and as such they possess measurable network properties. In this paper, by using network science and graph theoretical concepts, we investigate both theoretical and experimental robustness metrics (i.e., the robustness indicator, the effective graph conductance, and the critical thresholds) and their performance in quantifying the robustness of metro networks under random failures or targeted attacks. We find that the theoretical metrics quantify different aspects of the robustness of metro networks. In particular, the robustness indicator captures the number of alternative paths and the effective graph conductance focuses on the length of each path. Moreover, the high positive correlation between the theoretical metrics and experimental metrics and the negative correlation within the theoretical metrics provide significant insights for planners to design more robust system while accommodating for transit specificities (e.g., alternative paths, fast transferring).


title: Solovay model and duality principle between the measure and the Baire category in a Polish topological vector space $H(X,S,\mu)$

abstract: In Solovay model it is shown that the duality principle between the measure and the Baire category holds true with respect to the sentence - "The domain of an arbitrary generalized integral for a vector-function is of first category."


title: Identifying the invariants for classical knots and links from the Yokonuma-Hecke algebras

abstract: In this paper we announce the existence of a family of new $2$-variable polynomial invariants for oriented classical links defined via a Markov trace on the Yokonuma-Hecke algebra of type $A$. Yokonuma-Hecke algebras are generalizations of Iwahori-Hecke algebras, and this family contains the Homflypt polynomial, the famous $2$-variable invariant for classical links arising from the Iwahori-Hecke algebra of type $A$. We show that these invariants are topologically equivalent to the Homflypt polynomial on knots, but not on links, by providing pairs of Homflypt-equivalent links that are distinguished by our invariants. In order to do this, we prove that our invariants can be defined diagrammatically via a special skein relation involving only crossings between different components. We further generalize this family of invariants to a new $3$-variable skein link invariant which is stronger than the Homflypt polynomial. Finally, we present a closed formula for this invariant, by W.B.R. Lickorish, which uses Homflypt polynomials of sublinks and linking numbers of a given oriented link.


title: On the link invariants from the Yokonuma-Hecke algebras

abstract: In this paper we study properties of the Markov trace ${\rm tr}_d$ and the specialized trace ${\rm tr}_{d,D}$ on the Yokonuma-Hecke algebras, such as behaviour under inversion of a word, connected sums and mirror imaging. We then define invariants for framed, classical and singular links through the trace ${\rm tr}_{d,D}$ and also invariants for transverse links through the trace ${\rm tr}_d$. In order to compare the invariants for classical links with the Homflypt polynomial we develop computer programs and we evaluate them on several Homflypt-equivalent pairs of knots and links. Our computations lead to the result that these invariants are topologically equivalent to the Homflypt polynomial on knots. However, they do not demonstrate the same behaviour on links.


title: Effective Theory of Large-Scale Structure with Primordial Non-Gaussianity

abstract: We develop the effective theory of large-scale structure for non-Gaussian initial conditions. The effective stress tensor in the dark matter equations of motion contains new operators, which originate from the squeezed limit of the primordial bispectrum. Parameterizing the squeezed limit by a scaling and an angular dependence, captures large classes of primordial non-Gaussianity. Within this parameterization, we classify the possible contributions to the effective theory. We show explicitly how all terms consistent with the symmetries arise from coarse graining the dark matter equations of motion and its initial conditions. We also demonstrate that the system is closed under renormalization and that the basis of correction terms is therefore complete. The relevant corrections to the matter power spectrum and bispectrum are computed numerically and their relative importance is discussed.


title: The Destruction of the Circumstellar Ring of SN 1987A

abstract: We present imaging and spectroscopic observations with HST and VLT of the ring of SN 1987A from 1994 to 2014. After an almost exponential increase of the shocked emission from the hotspots up to day ~8,000 (~2009), both this and the unshocked emission are now fading. From the radial positions of the hotspots we see an acceleration of these up to 500-1000 km/s, consistent with the highest spectroscopic shock velocities from the radiative shocks. In the most recent observations (2013 and 2014), we find several new hotspots outside the inner ring, excited by either X-rays from the shocks or by direct shock interaction. All of these observations indicate that the interaction with the supernova ejecta is now gradually dissolving the hotspots. We predict, based on the observed decay, that the inner ring will be destroyed by ~2025.


title: The Compositional Nature of Event Representations in the Human Brain

abstract: How does the human brain represent simple compositions of constituents: actors, verbs, objects, directions, and locations? Subjects viewed videos during neuroimaging (fMRI) sessions from which sentential descriptions of those videos were identified by decoding the brain representations based only on their fMRI activation patterns. Constituents (e.g., "fold" and "shirt") were independently decoded from a single presentation. Independent constituent classification was then compared to joint classification of aggregate concepts (e.g., "fold-shirt"); results were similar as measured by accuracy and correlation. The brain regions used for independent constituent classification are largely disjoint and largely cover those used for joint classification. This allows recovery of sentential descriptions of stimulus videos by composing the results of the independent constituent classifiers. Furthermore, classifiers trained on the words one set of subjects think of when watching a video can recognise sentences a different subject thinks of when watching a different video.


title: Singularities of the geodesic flow on surfaces with pseudo-Riemannian metrics

abstract: We consider a pseudo-Riemannian metric that changes signature along a smooth curve on a surface, called the discriminant curve. The discriminant curve separates the surface locally into a Riemannian and a Lorentzian domain. We study the local behaviour and properties of geodesics at a point on the discriminant where the isotropic direction is tangent to the discriminant curve.


title: The Upsilon function of L-space knots is a Legendre transform

abstract: Given an L-space knot we show that its Upsilon function is the Legendre transform of a counting function equivalent to the d-invariants of its large surgeries. The unknotting obstruction obtained for the Upsilon function is, in the case of L-space knots, contained in the d-invariants of large surgeries. Generalizations apply for connected sums of L-space knots, which imply that the slice obstruction provided by Upsilon on the subgroup of concordance generated by L-space knots is no finer than that provided by the d-invariants.