title: A Trolling Hierarchy in Social Media and A Conditional Random Field For Trolling Detection

abstract: An-ever increasing number of social media websites, electronic newspapers and Internet forums allow visitors to leave comments for others to read and interact. This exchange is not free from participants with malicious intentions, which do not contribute with the written conversation. Among different communities users adopt strategies to handle such users. In this paper we present a comprehensive categorization of the trolling phenomena resource, inspired by politeness research and propose a model that jointly predicts four crucial aspects of trolling: intention, interpretation, intention disclosure and response strategy. Finally, we present a new annotated dataset containing excerpts of conversations involving trolls and the interactions with other users that we hope will be a useful resource for the research community.


title: Pixelwise Instance Segmentation with a Dynamically Instantiated Network

abstract: Semantic segmentation and object detection research have recently achieved rapid progress. However, the former task has no notion of different instances of the same object, and the latter operates at a coarse, bounding-box level. We propose an Instance Segmentation system that produces a segmentation map where each pixel is assigned an object class and instance identity label. Most approaches adapt object detectors to produce segments instead of boxes. In contrast, our method is based on an initial semantic segmentation module, which feeds into an instance subnetwork. This subnetwork uses the initial category-level segmentation, along with cues from the output of an object detector, within an end-to-end CRF to predict instances. This part of our model is dynamically instantiated to produce a variable number of instances per image. Our end-to-end approach requires no post-processing and considers the image holistically, instead of processing independent proposals. Therefore, unlike some related work, a pixel cannot belong to multiple instances. Furthermore, far more precise segmentations are achieved, as shown by our state-of-the-art results (particularly at high IoU thresholds) on the Pascal VOC and Cityscapes datasets.


title: Periodic traveling interfacial hydroelastic waves with or without mass

abstract: We study the motion of an interface between two irrotational, incompressible fluids, with elastic bending forces present; this is the hydroelastic wave problem. We prove a global bifurcation theorem for the existence of families of spatially periodic traveling waves on infinite depth. Our traveling wave formulation uses a parameterized curve, in which the waves are able to have multi-valued height. This formulation and the presence of the elastic bending terms allows for the application of an abstract global bifurcation theorem of "identity plus compact" type. We furthermore perform numerical computations of these families of traveling waves, finding that, depending on the choice of parameters, the curves of traveling waves can either be unbounded, reconnect to trivial solutions, or end with a wave which has a self-intersection. Our analytical and computational methods are able to treat in a unified way the cases of positive or zero mass density along the sheet, the cases of single-valued or multi-valued height, and the cases of single-fluid or interfacial waves.


title: Evolution of Long Term Variability in Solar Analogs

abstract: Earth is the only planet known to harbor life, therefore we may speculate on how the nature of the Sun-Earth interaction is relevant to life on Earth, and how the behavior of other stars may influence the development of life on their planetary systems. We study the long-term variability of a sample of five solar analog stars using composite chromospheric activity records up to 50 years in length and synoptic visible-band photometry about 20 years long. This sample covers a large range of stellar ages which we use to represent the evolution in activity for solar mass stars. We find that young, fast rotators have an amplitude of variability many times that of the solar cycle, while old, slow rotators have very little variability. We discuss the possible impacts of this variability on young Earth and exoplanet climates.


title: Extracting quasi-steady Lagrangian transport patterns from the ocean circulation: An application to the Gulf of Mexico

abstract: We construct a climatology of Lagrangian coherent structures (LCSs), the concealed skeleton that shapes transport, with a twelve-year-long data-assimilative simulation of the sea-surface circulation in the Gulf of Mexico (GoM). Computed as time-mean Cauchy-Green strain tensorlines of the climatological velocity, the climatological LCSs (cLCSs) unveil recurrent Lagrangian circulation patterns. cLCSs strongly constrain the ensemble-mean Lagrangian circulation of the instantaneous model velocity, thus we show that a climatological velocity may preserve meaningful transport information. Also, the climatological transport patterns we report agree well with GoM kinematics and dynamics, as described in several previous observational and numerical studies. For example, cLCSs identify regions of persistent isolation, and suggest that coastal regions previously identified as high-risk for pollution impact, are regions of maximal attraction. Also, we show examples where cLCSs are remarkably similar to transport patterns observed during the Deepwater Horizon and Ixtoc oil spills, and during the Grand LAgrangian Deployment (GLAD) experiment. Thus, it is shown that cLCSs are an efficient way of synthesizing vast amounts of Lagrangian information. The cLCS method confirms previous GoM studies, and contributes to our understanding by revealing the persistent nature of the dynamics and kinematics treated therein.


title: The OSIRIS-REx Thermal Emission Spectrometer (OTES) Instrument

abstract: The OSIRIS-REx Thermal Emission Spectrometer (OTES) will provide remote measurements of mineralogy and thermophysical properties of Bennu to map its surface, help select the OSIRIS-REx sampling site, and investigate the Yarkovsky effect. OTES is a Fourier transform spectrometer covering the spectral range 5.71 - 100 {\mu}m (1750 - 100 cm-1) with a spectral sample interval of 8.66 cm-1 and a 6.5-mrad field of view. The OTES telescope is a 15.2-cm diameter Cassegrain telescope that feeds a flat-plate Michelson moving mirror mounted on a linear voice-coil motor assembly. A single uncooled deuterated L-alanine doped triglycine sulfate (DLATGS) pyroelectric detector is used to sample the interferogram every two seconds. Redundant ~0.855 {\mu}m laser diodes are used in a metrology interferometer to provide precise moving mirror control and IR sampling at 772 Hz. The beamsplitter is a 38-mm diameter, 1-mm thick chemical vapor deposited diamond with an antireflection microstructure to minimize surface reflection. An internal calibration cone blackbody target provides radiometric calibration. The radiometric precision in a single spectrum is <= 2.2 x 10-8 W cm-2 sr-1/cm-1 between 300 and 1350 cm-1. The absolute integrated radiance error is <1% for scene temperatures ranging from 150 to 380 K. The overall OTES envelope size is 37.5 x 28.9 x 52.2 cm, and the mass is 6.27 kg. The power consumption is 10.8 W average. The OTES was developed by Arizona State University with Moog Broad Reach developing the electronics. OTES was integrated, tested, and radiometrically calibrated on the Arizona State University campus in Tempe, AZ.


title: Real Tachyon Vacuum Solution without Square Roots

abstract: In this note we present a real tachyon vacuum solution for open bosonic string field theory which does not require computing square roots of states in the wedge algebra. We study its algebraic structure, prove the equation of motion and show that the solution supports no cohomology. Finally we show that its energy is in agreement with the value predicted by Sen's conjecture.


title: Market Crashes as Critical Phenomena? Explanation, Idealization, and Universality in Econophysics

abstract: We study the Johansen-Ledoit-Sornette (JLS) model of financial market crashes (Johansen, Ledoit, and Sornette [2000] "Crashes as Critical Points." Int. J. Theor. Appl. Finan. 3(2) 219-255). On our view, the JLS model is a curious case from the perspective of the recent philosophy of science literature, as it is naturally construed as a "minimal model" in the sense of Batterman and Rice (Batterman and Rice [2014] "Minimal Model Explanations." Phil. Sci. 81(3): 349-376) that nonetheless provides a causal explanation of market crashes, in the sense of Woodward's interventionist account of causation (Woodward [2003]. Making Things Happen. Oxford:Oxford University Press).


title: Learning Where to Look: Data-Driven Viewpoint Set Selection for 3D Scenes

abstract: The use of rendered images, whether from completely synthetic datasets or from 3D reconstructions, is increasingly prevalent in vision tasks. However, little attention has been given to how the selection of viewpoints affects the performance of rendered training sets. In this paper, we propose a data-driven approach to view set selection. Given a set of example images, we extract statistics describing their contents and generate a set of views matching the distribution of those statistics. Motivated by semantic segmentation tasks, we model the spatial distribution of each semantic object category within an image view volume. We provide a search algorithm that generates a sampling of likely candidate views according to the example distribution, and a set selection algorithm that chooses a subset of the candidates that jointly cover the example distribution. Results of experiments with these algorithms on SUNCG indicate that they are indeed able to produce view distributions similar to an example set from NYUDv2 according to the earth mover's distance. Furthermore, the selected views improve performance on semantic segmentation compared to alternative view selection algorithms.


title: Coherent Optomechanical State Transfer between Disparate Mechanical Resonators

abstract: Hybrid quantum systems have been developed with various mechanical, optical and microwave harmonic oscillators. The coupling produces a rich library of interactions including two mode squeezing, swapping interactions, back-action evasion and thermal control. In a multimode mechanical system, coupling resonators of different scales (both in frequency and mass) leverages the advantages of each resonance. For example: a high frequency, easily manipulated resonator could be entangled with a low frequency massive object for tests of gravitational decoherence. Here we demonstrate coherent optomechanical state swapping between two spatially and frequency separated resonators with a mass ratio of 4. We find that, by using two laser beams far detuned from an optical cavity resonance, efficient state transfer is possible through a process very similar to STIRAP (Stimulated Raman Adiabatic Passage) in atomic physics. Although the demonstration is classical, the same technique can be used to generate entanglement between oscillators in the quantum regime.


title: Nambu identity and collective modes in superconductors and superfluid $^3$He

abstract: Collective modes manifest themselves in a variety of different physical systems ranging from superconductors to superfluid $^{3}$He. The collective modes are generated via the Higgs-Anderson mechanism that is based on the symmetry breaking double well potential. Recently collective modes were explored in superconducting NbN and InO in the presence of a strong terahertz laser field. In both cases a single collective mode that oscillates with twice the frequency of the superconducting energy gap $\Delta$ was discovered. Superfluid $^{3}$He is the host for a whole variety of collective modes. In particular, in the superfluid $^{3}$He B-phase, two massive collective modes were found with masses $\sqrt{{8}/{5}}\Delta$ and $\sqrt{{12}/{5}}\Delta$. We show that for both cases of the superconducting films and for the superfluid $^{3}$He B-phase, the collective modes satisfy the Nambu identity that relates the masses of different collective modes to the energy gap parameter $\Delta$.


title: Nano-optical imaging of monolayer MoSe2 using tip-enhanced photoluminescence

abstract: Band gap tuning in two-dimensional transitional metal dichalcogenides (TMDs) is crucial in fabricating new optoelectronic devices. High resolution photoluminescence (PL) microscopy is needed for accurate band gap characterization. We performed tip-enhanced photoluminescence (TEPL) measurements of monolayer MoSe2 with nanoscale spatial resolution, providing an improved characterization of the band gap correlated with the topography compared with the conventional far field spectroscopy. We also observed PL shifts at the edges and investigated the spatial dependence of the TEPL enhancement factors.


title: Efficient Synchronous Byzantine Consensus

abstract: We present new protocols for Byzantine state machine replication and Byzantine agreement in the synchronous and authenticated setting. The celebrated PBFT state machine replication protocol tolerates $f$ Byzantine faults in an asynchronous setting using $3f+1$ replicas, and has since been studied or deployed by numerous works. In this work, we improve the Byzantine fault tolerance threshold to $n=2f+1$ by utilizing a relaxed synchrony assumption. We present a synchronous state machine replication protocol that commits a decision every 3 rounds in the common case. The key challenge is to ensure quorum intersection at one honest replica. Our solution is to rely on the synchrony assumption to form a post-commit quorum of size $2f+1$, which intersects at $f+1$ replicas with any pre-commit quorums of size $f+1$. Our protocol also solves synchronous authenticated Byzantine agreement in expected 8 rounds. The best previous solution (Katz and Koo, 2006) requires expected 24 rounds. Our protocols may be applied to build Byzantine fault tolerant systems or improve cryptographic protocols such as cryptocurrencies when synchrony can be assumed.


title: Analytic solution and pulse area theorem for three-level atoms

abstract: We report an analytic solution for a three-level atom driven by arbitrary time-dependent electromagnetic pulses. In particular, we consider far-detuned driving pulses and show an excellent match between our analytic result and the numerical simulations. We use our solution to derive a pulse area theorem for three--level $V$ and $\Lambda$ systems without making the rotating wave approximation. Formulated as an energy conservation law, this pulse area theorem provides a simple picture for a pulse propagation through a three--level media.


title: Stein Variational Policy Gradient

abstract: Policy gradient methods have been successfully applied to many complex reinforcement learning problems. However, policy gradient methods suffer from high variance, slow convergence, and inefficient exploration. In this work, we introduce a maximum entropy policy optimization framework which explicitly encourages parameter exploration, and show that this framework can be reduced to a Bayesian inference problem. We then propose a novel Stein variational policy gradient method (SVPG) which combines existing policy gradient methods and a repulsive functional to generate a set of diverse but well-behaved policies. SVPG is robust to initialization and can easily be implemented in a parallel manner. On continuous control problems, we find that implementing SVPG on top of REINFORCE and advantage actor-critic algorithms improves both average return and data efficiency.


title: Concentration of quantum states from quantum functional and transportation cost inequalities

abstract: Quantum functional inequalities (e.g. the logarithmic Sobolev- and Poincar\'e inequalities) have found widespread application in the study of the behavior of primitive quantum Markov semigroups. The classical counterparts of these inequalities are related to each other via a so-called transportation cost inequality of order 2 (TC2). The latter inequality relies on the notion of a metric on the set of probability distributions called the Wasserstein distance of order 2. (TC2) in turn implies a transportation cost inequality of order 1 (TC1). In this paper, we introduce quantum generalizations of the inequalities (TC1) and (TC2), making use of appropriate quantum versions of the Wasserstein distances, one recently defined by Carlen and Maas and the other defined by us. We establish that these inequalities are related to each other, and to the quantum modified logarithmic Sobolev- and Poincar\'e inequalities, as in the classical case. We also show that these inequalities imply certain concentration-type results for the invariant state of the underlying semigroup. We consider the example of the depolarizing semigroup to derive concentration inequalities for any finite dimensional full-rank quantum state. These inequalities are then applied to derive upper bounds on the error probabilities occurring in the setting of finite blocklength quantum parameter estimation.

categories: quant-ph math-ph math.FA math.MP math.OA


title: Third Cohomology and Fusion Categories

abstract: It was observed recently that for a fixed finite group $G$, the set of all Drinfeld centres of $G$ twisted by 3-cocycles form a group, the so-called group of modular extensions (of the representation category of $G$), which is isomorphic to the third cohomology group of $G$. We show that for an abelian $G$, pointed twisted Drinfeld centres of $G$ form a subgroup of the group of modular extensions. We identify this subgroup with a group of quadratic extensions containing $G$ as a Lagrangian subgroup, the so-called group of Lagrangian extensions of $G$. We compute the group of Lagrangian extensions, thereby providing an interpretation of the internal structure of the third cohomology group of an abelian $G$ in terms of fusion categories.


title: GoDP: Globally optimized dual pathway system for facial landmark localization in-the-wild

abstract: Facial landmark localization is a fundamental module for pose-invariant face recognition. The most common approach for facial landmark detection is cascaded regression, which is composed of two steps: feature extraction and facial shape regression. Recent methods employ deep convolutional networks to extract robust features for each step, while the whole system could be regarded as a deep cascaded regression architecture. In this work, instead of employing a deep regression network, a Globally Optimized Dual-Pathway (GoDP) deep architecture is proposed to identify the target pixels through solving a cascaded pixel labeling problem without resorting to high-level inference models or complex stacked architecture. The proposed end-to-end system relies on distance-aware softmax functions and dual-pathway proposal-refinement architecture. Results show that it outperforms the state-of-the-art cascaded regression-based methods on multiple in-the-wild face alignment databases. The model achieves 1.84 normalized mean error (NME) on the AFLW database, which outperforms 3DDFA by 61.8%. Experiments on face identification demonstrate that GoDP, coupled with DPM-headhunter, is able to improve rank-1 identification rate by 44.2% compared to Dlib toolbox on a challenging database.


title: Homoclinic points and Floer homology

abstract: A new relation between homoclinic points and Lagrangian Floer homology is presented: In dimension two, we construct a Floer homology generated by primary homoclinic points. We compute two examples and prove an invariance theorem. Moreover, we establish a link to the (absolute) flux and growth of symplectomorphisms.


title: An algorithm for quantum gravity phenomenology

abstract: Quantum gravity phenomenology is the strategy towards quantum gravity where the priority is to make contact with experiments. Here I describe what I consider to be the best procedure to do quantum gravity phenomenology. The key step is to have a generic parametrization which allows one to perform self-consistency checks and to deal with many different experiments. As an example I describe the role that the Standard Model Extension has played when looking for Lorentz violation.


title: Polynomially and Infinitesimally Injective Modules

abstract: The injective polynomial modules for a general linear group $G$ of degree $n$ are labelled by the partitions with at most $n$ parts. Working over an algebraically closed field of characteristic $p$, we consider the question of which partitions correspond to polynomially injective modules that are also injective as modules for the restricted enveloping algebra of the Lie algebra of $G$. The question is related to the "index of divisibility" of a polynomial module in general, and an explicit answer is given for $n=2$.


title: Impact of misinformation in temporal network epidemiology

abstract: We investigate the impact of misinformation about the contact structure on the ability to predict disease outbreaks. We base our study on 31 empirical temporal networks and tune the frequencies in errors in the node identities or timestamps of contacts. We find that for both these spreading scenarios, the maximal misprediction of both the outbreak size and time to extinction follows an stretched exponential convergence as a function of the error frequency. We furthermore determine the temporal-network structural factors influencing the parameters of this convergence.


title: More on additive triples of bijections

abstract: We study additive properties of the set $S$ of bijections (or permutations) $\{1,\dots,n\}\to G$, thought of as a subset of $G^n$, where $G$ is an arbitrary abelian group of order $n$. Our main result is an asymptotic for the number of solutions to $\pi_1 + \pi_2 + \pi_3 = f$ with $\pi_1,\pi_2,\pi_3\in S$, where $f:\{1,\dots,n\}\to G$ is an arbitary function satisfying $\sum_{i=1}^n f(i) = \sum G$. This extends recent work of Manners, Mrazovi\'c, and the author. Using the same method we also prove a less interesting asymptotic for solutions to $\pi_1 + \pi_2 + \pi_3 + \pi_4 = f$, and we also show that the distribution $\pi_1+\pi_2$ is close to flat in $L^2$. As in the previous paper, our method is based on Fourier analysis, and we prove our results by carefully carving up $\widehat{G}^n$ and bounding various character sums. This is most complicated when $G$ has even order, say when $G = \mathbf{F}_2^d$. At the end of the paper we explain two applications, one coming from the Latin squares literature (counting transversals in Latin hypercubes) and one from cryptography (PRP-to-PRF conversion).


title: Canonical correlation coefficients of high-dimensional Gaussian vectors: finite rank case

abstract: Consider a Gaussian vector $\mathbf{z}=(\mathbf{x}',\mathbf{y}')'$, consisting of two sub-vectors $\mathbf{x}$ and $\mathbf{y}$ with dimensions $p$ and $q$ respectively, where both $p$ and $q$ are proportional to the sample size $n$. Denote by $\Sigma_{\mathbf{u}\mathbf{v}}$ the population cross-covariance matrix of random vectors $\mathbf{u}$ and $\mathbf{v}$, and denote by $S_{\mathbf{u}\mathbf{v}}$ the sample counterpart. The canonical correlation coefficients between $\mathbf{x}$ and $\mathbf{y}$ are known as the square roots of the nonzero eigenvalues of the canonical correlation matrix $\Sigma_{\mathbf{x}\mathbf{x}}^{-1}\Sigma_{\mathbf{x}\mathbf{y}}\Sigma_{\mathbf{y}\mathbf{y}}^{-1}\Sigma_{\mathbf{y}\mathbf{x}}$. In this paper, we focus on the case that $\Sigma_{\mathbf{x}\mathbf{y}}$ is of finite rank $k$, i.e. there are $k$ nonzero canonical correlation coefficients, whose squares are denoted by $r_1\geq\cdots\geq r_k>0$. We study the sample counterparts of $r_i,i=1,\ldots,k$, i.e. the largest $k$ eigenvalues of the sample canonical correlation matrix $\S_{\mathbf{x}\mathbf{x}}^{-1}\S_{\mathbf{x}\mathbf{y}}\S_{\mathbf{y}\mathbf{y}}^{-1}\S_{\mathbf{y}\mathbf{x}}$, denoted by $\lambda_1\geq\cdots\geq \lambda_k$. We show that there exists a threshold $r_c\in(0,1)$, such that for each $i\in\{1,\ldots,k\}$, when $r_i\leq r_c$, $\lambda_i$ converges almost surely to the right edge of the limiting spectral distribution of the sample canonical correlation matrix, denoted by $d_{+}$. When $r_i>r_c$, $\lambda_i$ possesses an almost sure limit in $(d_{+},1]$. We also obtain the limiting distribution of $\lambda_i$'s under appropriate normalization. Specifically, $\lambda_i$ possesses Gaussian type fluctuation if $r_i>r_c$, and follows Tracy-Widom distribution if $r_i<r_c$. Some applications of our results are also discussed.


title: Endomorphism Algebras of Some Modules for Schur Algebras and Representation Dimension

abstract: We consider the representation dimension, for fixed $n\geq2$, of ordinary and quantised Schur algebras $S(n,r)$ over a field $k$. For $k$ of positive characteristic $p$ we give a lower bound valid for all $p$. We also give an upper bound in the quantum case, when $k$ has characteristic $0$.


title: Composition Factors of Tensor Products of Symmetric Powers

abstract: We determine the composition factors of the tensor product $S(E)\otimes S(E)$ of two copies of the symmetric algebra of the natural module $E$ of a general linear group over an algebraically closed field of positive characteristic. Our main result may be regarded as a substantial generalisation of the tensor product theorem of Krop and Sullivan, on composition factors of $S(E)$. We earlier answered the question of which polynomially injective modules are infinitesimally injective in terms of the "divisibility index". We are now able to give an explicit description of the divisibility index for polynomial modules for general linear groups of degree at most $3$.


title: Second order Lyapunov exponents for parabolic and hyperbolic Anderson models

abstract: In this article, we consider the hyperbolic and parabolic Anderson models in arbitrary space dimension $d$, with constant initial condition, driven by a Gaussian noise which is white in time. We consider two spatial covariance structures: (i) the Fourier transform of the spectral measure of the noise is a non-negative locally-integrable function; (ii) $d=1$ and the noise is a fractional Brownian motion in space with index $1/4<H<1/2$. In both cases, we show that there is striking similarity between the Laplace transforms of the second moment of the solutions to these two models. Building on this connection and the recent powerful results of Huang, Le and Nualart (2015) for the parabolic model, we compute the second order (upper) Lyapunov exponent for the hyperbolic model. In case (i), when the spatial covariance of the noise is given by the Riesz kernel, we present a unified method for calculating the second order Lyapunov exponents for the two models.


title: Invariants of Specht Modules

abstract: In [14] Hemmer conjectures that the module of fixed points for the symmetric group $\Sigma_m$ of a Specht module for $\Sigma_n$ (with $n>m$), over a field of positive characteristic $p$, has a Specht series, when viewed as a $\Sigma_{n-m}$-module. We provide a counterexample for each prime $p$. The examples have the same form for $p\geq 5$ and we treat the cases $p=3$ and $p=2$ separately.


title: Composition Factors of Tensor Products of Truncated Symmetric Powers

abstract: Let $G$ be the general linear group of degree $n$ over an algebraically closed field $K$ of characteristic $p>0$. We study the $m$-fold tensor product $\bar{S}(E)^{\otimes m}$ of the truncated symmetric algebra $\bar{S}(E)$ of the symmetric algebra $S(E)$ of the natural module $E$ for $G$. We are particularly interested in the set of partitions $\lambda$ occurring as the highest weight of a composition factor of $\bar{S}(E)^{\otimes m}$. We explain how the determination of these composition factors is related to the determination of the set of composition factors of the $m$-fold tensor product $S(E)^{\otimes m}$ of the symmetric algebra. We give a complete description of the composition factors of $\bar{S}(E)^{\otimes m}$ in terms of "distinguished" partitions. Our main interest is in the classical case, but since the quantised version is essentially no more difficult we express our results in the general context throughout.


title: Trace scaling automorphisms of the stabilized Razak-Jacelon algebra

abstract: We classify trace scaling automorphisms of $\mathcal{W}\otimes\mathbb{K}$ up to outer conjugacy, where $\mathcal{W}$ is a certain simple separable nuclear stably projectionless C$^*$-algebra having trivial $K$-groups. Also, we show that all automorphisms of $\mathcal{W}$ with the Rohlin property are outer conjugate to each other. Moreover, we show that the central sequence C$^*$-algebra $F(\mathcal{W})$ of $\mathcal{W}$ is infinitee, which answers a question of Kirchberg.


title: Powerful CMD: A Tool for Colour-Magnitude Diagram Studies

abstract: We present a new tool for colour-magnitude diagram (CMD) studies, $Powerful~CMD$. This tool is built on the basis of the advanced stellar population synthesis (ASPS) model, in which single stars, binary stars, rotating stars, and star formation history have been taken into account. Via $Powerful~CMD$, the distance modulus, colour excess, metallicity, age, binary fraction, rotating star fraction, and star formation history of star clusters can be determined simultaneously from observed CMDs. The new tool is tested via both simulated and real star clusters. Five parameters of clusters NGC6362, NGC6652, NGC6838 and M67 are determined and compared to other works. It is shown that this tool is useful for CMD studies, in particular for those with the data of the Hubble Space Telescope (HST). Moreover, we find that the inclusion of binaries in theoretical stellar population models may lead to smaller colour excess compared to the case of single star population models.


title: Injective Schur Modules

abstract: We determine the partitions $\lambda$ for which the corresponding induced module (or Schur module in the language of Buchsbaum et. al., [1]) $\nabla(\lambda)$ is injective in the category of polynomial modules for a general linear group over an infinite field, equivalently which Weyl modules are projective polynomial modules. Since the problem is essentially no more difficult in the quantised case we address it at this level of generality. Expressing our results in terms of the representation theory of Hecke algebras at the parameter $q$ we determine the partitions $\lambda$ for which the corresponding Specht module is a Young module, when $1+q\neq 0$. In the classical case this problem was addressed by D. Hemmer, [12]. The nature of the set of partitions appearing in our solution gives a new formulation of Carter's condition on regular partitions. On the other hand, we note, in Remark 2.22, that the result on irreducible Weyl modules for the quantised Schur algebra $S_q(n,n)$, [17], Theorem 5.39, given in terms of Carter partitions, may be also used to obtain the main result presented here.


title: First Degree Cohomology of Specht Modules and Extensions of Symmetric Powers

abstract: Let $\Sigma_d$ denote the symmetric group of degree $d$ and let $K$ be a field of positive characteristic $p$. For $p>2$ we give an explicit description of the first cohomology group $H^1(\Sigma_d,{\rm{Sp}}(\lambda))$, of the Specht module ${\rm{Sp}}(\lambda)$ over $K$, labelled by a partition $\lambda$ of $d$. We also give a sufficient condition for the cohomology to be non-zero for $p=2$ and we find a lower bound for the dimension. Our method is to proceed by comparison with the cohomology for the general linear group $G(n)$ over $K$ and then to reduce to the calculation of ${\rm{Ext}}^1_{B(n)}(S^d E,K_\lambda)$, where $B(n)$ is a Borel subgroup of $G(n)$, $S^dE$ denotes the $d$th symmetric power of the natural module $E$ for $G(n)$ and $K_\lambda$ denotes the one dimensional $B(n)$-module with weight $\lambda$. The main new input is the description of module extensions by: extensions sequences, coherent triples of extension sequences and coherent multi-sequences of extension sequences, and the detailed calculation of the possibilities for such sequences. These sequences arise from the action of divided powers elements in the negative part of the hyperalgebra of $G(n)$.


title: Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

abstract: PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2017 was held on 29th April in Uppsala, Sweden. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for both multi-core systems and large-scale distributed and/or service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms. This volume consists of the papers accepted for presentation at the workshop.


abstract: We justify rigorously an Isobe-Kakinuma model for water waves as a higher order shallow water approximation in the case of a flat bottom. It is known that the full water wave equations are approximated by the shallow water equations with an error of order $O(\delta^2)$, where $\delta$ is a small nondimensional parameter defined as the ratio of the mean depth to the typical wavelength. The Green-Naghdi equations are known as higher order approximate equations to the water wave equations with an error of order $O(\delta^4)$. In this paper we show that the Isobe-Kakinuma model is a much higher order approximation to the water wave equations with an error of order $O(\delta^6)$.


title: Average-radius list-recovery of random linear codes: it really ties the room together

abstract: We analyze the list-decodability, and related notions, of random linear codes. This has been studied extensively before: there are many different parameter regimes and many different variants. Previous works have used complementary styles of arguments---which each work in their own parameter regimes but not in others---and moreover have left some gaps in our understanding of the list-decodability of random linear codes. In particular, none of these arguments work well for list-recovery, a generalization of list-decoding that has been useful in a variety of settings. In this work, we present a new approach, which works across parameter regimes and further generalizes to list-recovery. Our main theorem can establish better list-decoding and list-recovery results for low-rate random linear codes over large fields; list-recovery of high-rate random linear codes; and it can recover the rate bounds of Guruswami, Hastad, and Kopparty for constant-rate random linear codes (although with large list sizes).


title: Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

abstract: Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. This volume contains papers describing new developments in this area, which were presented at the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis.


title: A Deep Cascade of Convolutional Neural Networks for Dynamic MR Image Reconstruction

abstract: Inspired by recent advances in deep learning, we propose a framework for reconstructing dynamic sequences of 2D cardiac magnetic resonance (MR) images from undersampled data using a deep cascade of convolutional neural networks (CNNs) to accelerate the data acquisition process. In particular, we address the case where data is acquired using aggressive Cartesian undersampling. Firstly, we show that when each 2D image frame is reconstructed independently, the proposed method outperforms state-of-the-art 2D compressed sensing approaches such as dictionary learning-based MR image reconstruction, in terms of reconstruction error and reconstruction speed. Secondly, when reconstructing the frames of the sequences jointly, we demonstrate that CNNs can learn spatio-temporal correlations efficiently by combining convolution and data sharing approaches. We show that the proposed method consistently outperforms state-of-the-art methods and is capable of preserving anatomical structure more faithfully up to 11-fold undersampling. Moreover, reconstruction is very fast: each complete dynamic sequence can be reconstructed in less than 10s and, for the 2D case, each image frame can be reconstructed in 23ms, enabling real-time applications.


title: Embeddings of operator ideals into $\mathcal{L}_p-$spaces on finite von Neumann algebras

abstract: Let $\mathcal{L}(H)$ be the $*$-algebra of all bounded operators on an infinite dimensional Hilbert space $H$ and let $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ be an ideal in $\mathcal{L}(H)$ equipped with a Banach norm which is distinct from the Schatten-von Neumann ideal $\mathcal{L}_p(\mathcal{H})$, $1\leq p<2$. We prove that $\mathcal{I}$ isomorphically embeds into an $L_p$-space $\mathcal{L}_p(\mathcal{R}),$ $1\leq p<2,$ (here, $\mathcal{R}$ is the hyperfinite II$_1$-factor) if its commutative core (that is, Calkin space for $\mathcal{I}$) isomorphically embeds into $L_p(0,1).$ Furthermore, we prove that an Orlicz ideal $\mathcal{L}_M(H)\neq\mathcal{L}_p(H)$ isomorphically embeds into $\mathcal{L}_p(\mathcal{R}),$ $1\leq p<2,$ if and only if it is an interpolation space for the Banach couple $(\mathcal{L}_p(H),\mathcal{L}_2(H)).$ Finally, we consider isomorphic embeddings of $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ into $L_p$-spaces associated with arbitrary finite von Neumann algebras.


title: Improved Parameter Estimation Techniques for Induction Motors using Hybrid Algorithms

abstract: The performance of Newton-Raphson, Levenberg-Marquardt, Damped Newton-Raphson and genetic algorithms are investigated for the estimation of induction motor equivalent circuit parameters from commonly available manufacturer data. A new hybrid algorithm is then proposed that combines the advantages of both descent and natural optimisation algorithms. Through computer simulation, the hybrid algorithm is shown to significantly outperform the conventional algorithms in terms of convergence and squared error rates. All of the algorithms are tested on a large data set of 6,380 IEC (50Hz) and NEMA (60Hz) motors.


title: Tests of Gravity Theories Using Supermassive Black Holes

abstract: Scalar-tensor theories of gravity generally violate the strong equivalence principle, namely compact objects have a suppressed coupling to the scalar force, causing them to fall slower. A black hole is the extreme example where such a coupling vanishes, i.e. black hole has no scalar hair. Following earlier work, we explore observational scenarios for detecting strong equivalence principle violation, focusing on galileon gravity as an example. For galaxies in-falling towards galaxy clusters, the supermassive black hole can be offset from the galaxy center away from the direction of the cluster. Hence, well resolved images of galaxies around nearby clusters can be used to identify the displaced black hole via the star cluster bound to it. We show that this signal is accessible with imaging surveys, both ongoing ones such as the Dark Energy Survey, and future ground and space based surveys. Already, the observation of the central black hole in M~87 places new constraints on the galileon parameters, which we present here. $\mathcal{O}(1)$ matter couplings are disfavored for a large region of the parameter space. We also find a novel phenomenon whereby the black hole can escape the galaxy completely in less than one billion years.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Towards Attack-Tolerant Networks: Concurrent Multipath Routing and the Butterfly Network

abstract: Targeted attacks against network infrastructure are notoriously difficult to guard against. In the case of communication networks, such attacks can leave users vulnerable to censorship and surveillance, even when cryptography is used. Much of the existing work on network fault-tolerance focuses on random faults and does not apply to adversarial faults (attacks). Centralized networks have single points of failure by definition, leading to a growing popularity in decentralized architectures and protocols for greater fault-tolerance. However, centralized network structure can arise even when protocols are decentralized. Despite their decentralized protocols, the Internet and World-Wide Web have been shown both theoretically and historically to be highly susceptible to attack, in part due to emergent structural centralization. When single points of failure exist, they are potentially vulnerable to non-technological (i.e., coercive) attacks, suggesting the importance of a structural approach to attack-tolerance. We show how the assumption of partial trust transitivity, while more realistic than the assumption underlying webs of trust, can be used to quantify the effective redundancy of a network as a function of trust transitivity. We also prove that the effective redundancy of the wrap-around butterfly topology increases exponentially with trust transitivity and describe a novel concurrent multipath routing algorithm for constructing paths to utilize that redundancy. When portions of network structure can be dictated our results can be used to create scalable, attack-tolerant infrastructures. More generally, our results provide a theoretical formalism for evaluating the effects of network structure on adversarial fault-tolerance.


title: Gathering in Dynamic Rings

abstract: The gathering problem requires a set of mobile agents, arbitrarily positioned at different nodes of a network to group within finite time at the same location, not fixed in advanced. The extensive existing literature on this problem shares the same fundamental assumption: the topological structure does not change during the rendezvous or the gathering; this is true also for those investigations that consider faulty nodes. In other words, they only consider static graphs. In this paper we start the investigation of gathering in dynamic graphs, that is networks where the topology changes continuously and at unpredictable locations. We study the feasibility of gathering mobile agents, identical and without explicit communication capabilities, in a dynamic ring of anonymous nodes; the class of dynamics we consider is the classic 1-interval-connectivity. We focus on the impact that factors such as chirality (i.e., a common sense of orientation) and cross detection (i.e., the ability to detect, when traversing an edge, whether some agent is traversing it in the other direction), have on the solvability of the problem. We provide a complete characterization of the classes of initial configurations from which the gathering problem is solvable in presence and in absence of cross detection and of chirality. The feasibility results of the characterization are all constructive: we provide distributed algorithms that allow the agents to gather. In particular, the protocols for gathering with cross detection are time optimal. We also show that cross detection is a powerful computational element. We prove that, without chirality, knowledge of the ring size is strictly more powerful than knowledge of the number of agents; on the other hand, with chirality, knowledge of n can be substituted by knowledge of k, yielding the same classes of feasible initial configurations.


title: Derivation of time-dependent transition probability for $2\mathrm{e}-2\mathrm{h}$ generation from $1\mathrm{e}-1\mathrm{h}$ state in the presence of external electromagnetic field

abstract: In this work, we investigate the effect of electromagnetic (EM) field on the generation of 2e-2h states from 1e-2h states. One of the fundamental ways by which electromagnetic (EM) waves interact with matter is by the generation of excited electronic states. The interaction of EM field with atoms and molecules is given by the field-dependent Hamiltonian. Excited states are intrinsically transient in nature because they are not stationary states of the field-dependent Hamiltonian. Consequently, the time-dependent dynamics of excited states depend strongly on the external electromagnetic field. Starting with the 1e-1h excitation in a general many-electron system, the system was propagated in time using time-dependent perturbation theory (TDPT). The expression for time-dependent transition probability of $(1\mathrm{e}-1\mathrm{h}) \rightarrow (2\mathrm{e}-2\mathrm{h})$ was evaluated for a given time $t$ up to second-order in TDPT using diagrammatic techniques. The derivation does not assume any a priori approximations to the electron-electron correlation operator and presents the derivation of a complete set of contributing diagrams associated with the full configuration interaction wave function. The result from this work show that the calculation of time-dependent transition probability can be factored into a time-independent and time-dependent components. This is a significant outcome for efficient computation of the time-dependent transition probability because it allows for pre-computation of time-independent components before the start of the calculations.


title: Asymptotic Formulas for Macdonald Polynomials and the Boundary of the $(q,t)$-Gelfand-Tsetlin Graph

abstract: We introduce Macdonald characters and use algebraic properties of Macdonald polynomials to study them. As a result, we produce several formulas for Macdonald characters, which are generalizations of those obtained by Gorin and Panova in [Ann. Probab. 43 (2015), 3052-3132, arXiv:1301.0634], and are expected to provide tools for the study of statistical mechanical models, representation theory and random matrices. As first application of our formulas, we characterize the boundary of the $(q,t)$-deformation of the Gelfand-Tsetlin graph when $t=q^{\theta}$ and $\theta$ is a positive integer.

categories: math.RT math-ph math.CA math.CO math.MP math.QA


title: Pieri Integral Formula and Asymptotics of Jack Unitary Characters

abstract: We introduce Jack (unitary) characters and prove two kinds of formulas that are suitable for their asymptotics, as the lengths of the signatures that parametrize them go to infinity. The first kind includes several integral representations for Jack characters of one variable. The second identity we prove is the Pieri integral formula for Jack characters which, in a sense, is dual to the well known Pieri rule for Jack polynomials. The Pieri integral formula can also be seen as a functional equation for irreducible spherical functions of virtual Gelfand pairs. As an application of our formulas, we study the asymptotics of Jack characters as the corresponding signatures grow to infinity in the sense of Vershik-Kerov. We prove the existence of a small $\delta > 0$ such that the Jack characters of $m$ variables have a uniform limit on the $\delta$-neighborhood of the $m$-dimensional torus. Our result specializes to a theorem of Okounkov and Olshanski.


title: Learning Cross-Modal Deep Representations for Robust Pedestrian Detection

abstract: This paper presents a novel method for detecting pedestrians under adverse illumination conditions. Our approach relies on a novel cross-modality learning framework and it is based on two main phases. First, given a multimodal dataset, a deep convolutional network is employed to learn a non-linear mapping, modeling the relations between RGB and thermal data. Then, the learned feature representations are transferred to a second deep network, which receives as input an RGB image and outputs the detection results. In this way, features which are both discriminative and robust to bad illumination conditions are learned. Importantly, at test time, only the second pipeline is considered and no thermal data are required. Our extensive evaluation demonstrates that the proposed approach outperforms the state-of- the-art on the challenging KAIST multispectral pedestrian dataset and it is competitive with previous methods on the popular Caltech dataset.


title: Dynamic Race Prediction in Linear Time

abstract: Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter-leavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport's happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact that they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races, while still remaining sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.


title: Prompt photon yield and elliptic flow from gluon fusion induced by magnetic fields in relativistic heavy-ion collisions

abstract: We compute photon production at early times in semi-central relativistic heavy-ion collisions from non-equilibrium gluon fusion induced by a magnetic field. The calculation accounts for the main features of the collision at these early times, namely, the intense magnetic field and the high gluon occupation number. The gluon fusion channel is made possible by the magnetic field and would otherwise be forbidden due to charge conjugation invariance. Thus, the photon yield from this process is an excess over calculations without magnetic field effects. We compare this excess to the difference between PHENIX data and recent hydrodynamic calculations for the photon transverse momentum distribution and elliptic flow coefficient $v_2$. We show that with reasonable values for the saturation scale and magnetic field strength, the calculation helps to better describe the experimental results obtained at RHIC energies for the lowest part of the transverse photon momentum.


title: Strong deflection gravitational lensing by a modified Hayward black hole

abstract: A modified Hayward black hole is a nonsingular black hole. It is proposed to form when the pressure generated by quantum gravity can stop matter's collapse as the matter reaches Planck density. Strong deflection gravitational lensing happening nearby its event horizon might provide some clues of these quantum effects in its central core. We investigate observables of the strong deflection lensing, including angular separations, brightness differences and time delays between its relativistic images, and estimate their values for the supermassive black hole in the Galactic center. We find that it is possible to distinguish the modified Hayward black hole from a Schwarzschild one, but it demands very high resolution beyond current stage.


title: On the weighted $L^2$ estimate for the $k$-Cauchy-Fueter operator and the weighted $k$-Bergman kernel

abstract: The $k$-Cauchy-Fueter operators, $k=0,1,\ldots$, are quaternionic counterparts of the Cauchy-Riemann operator in the theory of several complex variables. The weighted $L^2$ method to solve Cauchy-Riemann equation is applied to find the canonical solution to the non-homogeneous $k$-Cauchy-Fueter equation in a weighted $L^2$-space, by establishing the weighted $L^2$ estimate. The weighted $k$-Bergman space is the space of weighted $L^2$ integrable functions annihilated by the $k$-Cauchy-Fueter operator, as the counterpart of the Fock space of weighted $L^2$-holomorphic functions on $\mathbb{C}^n$. We introduce the $k$-Bergman orthogonal projection to this closed subspace, which can be nicely expressed in terms of the canonical solution operator, and its matrix kernel function. We also find the asymptotic decay for this matrix kernel function.


title: Approximation Algorithms for Barrier Sweep Coverage

abstract: Time-varying coverage, namely sweep coverage is a recent development in the area of wireless sensor networks, where a small number of mobile sensors sweep or monitor comparatively large number of locations periodically. In this article we study barrier sweep coverage with mobile sensors where the barrier is considered as a finite length continuous curve on a plane. The coverage at every point on the curve is time-variant. We propose an optimal solution for sweep coverage of a finite length continuous curve. Usually energy source of a mobile sensor is battery with limited power, so energy restricted sweep coverage is a challenging problem for long running applications. We propose an energy restricted sweep coverage problem where every mobile sensors must visit an energy source frequently to recharge or replace its battery. We propose a $\frac{13}{3}$-approximation algorithm for this problem. The proposed algorithm for multiple curves achieves the best possible approximation factor 2 for a special case. We propose a 5-approximation algorithm for the general problem. As an application of the barrier sweep coverage problem for a set of line segments, we formulate a data gathering problem. In this problem a set of mobile sensors is arbitrarily monitoring the line segments one for each. A set of data mules periodically collects the monitoring data from the set of mobile sensors. We prove that finding the minimum number of data mules to collect data periodically from every mobile sensor is NP-hard and propose a 3-approximation algorithm to solve it.


title: Classification of certain types of maximal matrix subalgebras

abstract: Let $M_n(K)$ denote the algebra of $n \times n$ matrices over a field $K$ of characteristic zero. A nonunital subalgebra $N \subset M_n(K)$ will be called a nonunital intersection if $N$ is the intersection of two unital subalgebras of $M_n(K)$. Appealing to recent work of Agore, we show that for $n \ge 3$, the dimension (over $K$) of a nonunital intersection is at most $(n-1)(n-2)$, and we completely classify the nonunital intersections of maximum dimension $(n-1)(n-2)$. We also classify the unital subalgebras of maximum dimension properly contained in a parabolic subalgebra of maximum dimension in $M_n(K)$.


title: Coordination game in bidirectional flow

abstract: We have introduced evolutionary game dynamics to a one-dimensional cellular-automaton to investigate evolution and maintenance of cooperative avoiding behavior of self-driven particles in bidirectional flow. In our model, there are two kinds of particles, which are right-going particles and left-going particles. They often face opponent particles, so that they swerve to the right or left stochastically in order to avoid conflicts. The particles reinforce their preferences of the swerving direction after their successful avoidance. The preference is also weakened by memory-loss effect. Result of our simulation indicates that cooperative avoiding behavior is achieved, i.e., swerving directions of the particles are unified, when the density of particles is close to 1/2 and the memory-loss rate is small. Furthermore, when the right-going particles occupy the majority of the system, we observe that their flow increases when the number of left-going particles, which prevent the smooth movement of right-going particles, becomes large. It is also investigated that the critical memory-loss rate of the cooperative avoiding behavior strongly depends on the size of the system. Small system can prolong the cooperative avoiding behavior in wider range of memory-loss rate than large system.


title: Non-thermalization in trapped atomic ion spin chains

abstract: Linear arrays of trapped and laser cooled atomic ions are a versatile platform for studying emergent phenomena in strongly-interacting many-body systems. Effective spins are encoded in long-lived electronic levels of each ion and made to interact through laser mediated optical dipole forces. The advantages of experiments with cold trapped ions, including high spatiotemporal resolution, decoupling from the external environment, and control over the system Hamiltonian, are used to measure quantum effects not always accessible in natural condensed matter samples. In this review we highlight recent work using trapped ions to explore a variety of non-ergodic phenomena in long-range interacting spin-models which are heralded by memory of out-of-equilibrium initial conditions. We observe long-lived memory in static magnetizations for quenched many-body localization and prethermalization, while memory is preserved in the periodic oscillations of a driven discrete time crystal state.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech physics.atom-ph


title: Audit Analysis Models, Security Frameworks and Their Relevance for VoIP

abstract: Voice over IP (VoIP) is the transmission of voice and multimedia content over Internet Protocol (IP) networks, this paper reviews models, frameworks and auditing standards proposed to this date to manage VoIP security through a literature review, with descriptions of both the historical and philosophical evolution reflecting an adequate knowledge of related research. Three research questions are raised here: RQ1. What are the requirements to be met by a model of security audit in VoIP systems to achieve their goals? RQ2. Today, are there additional attacks that previous works have not considered? RQ3. Which security requirements in the VoIP systems are covered (and which are not covered) by security frameworks? After some discussion about VoIP Protocols, Attacks on VoIP, Information Technology (IT) audit, IT security audits, Frameworks and auditing standards, we present a unified view of VoIP Security Requirements; as well as considering the contributions and disadvantages of frameworks and auditing standards toward achieving those requirements through a comparative evaluation. It was determined that there is no security framework which considers social engineering attacks in spite of being an important aspect to consider in security management VoIP; also there is no specific framework that covers all categories of security requirements for VoIP system, therefore, a more extensive model is needed.


title: Ontologies for Network Security and Future Challenges

abstract: Efforts have been recently made to construct ontologies for network security. The proposed ontologies are related to specific aspects of network security. Therefore, it is necessary to identify the specific aspects covered by existing ontologies for network security. A review and analysis of the principal issues, challenges, and the extent of progress related to distinct ontologies was performed. Each example was classified according to the typology of the ontologies for network security. Some aspects include identifying threats, intrusion detection systems (IDS), alerts, attacks, countermeasures, security policies, and network management tools. The research performed here proposes the use of three stages: 1. Inputs; 2. Processing; and 3. Outputs. The analysis resulted in the introduction of new challenges and aspects that may be used as the basis for future research. One major issue that was discovered identifies the need to develop new ontologies that relate to distinct aspects of network security, thereby facilitating management tasks.


title: Purity of reciprocity sheaves

abstract: The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations, reciprocity sheaves and cube-invariant sheaves in the context of theory of modulus (pre)sheave with transfers. The main results of this paper is expected to play a crucial role in deducing the main properties of the triangulated category of motives with modulus, which is a new triangulated category enlarging Voevodsky's triangulated category of motives to encompass non homotopy invariant motivic phenomena.


title: Thermal memory fading by heating to a lower temperature: experimental data on polycrystalline NiFeGa ribbons and 2D statistical model predictions

abstract: Shape memory alloys are known to memorise one -or several- temperatures at which the martensite-austenite transformation was stopped before completion in the past, the memory manifesting as specific dips in subsequent calorimetric scans. Previous studies have shown that this memory can be erased by heating to higher temperatures than the ones previously recorded. In this paper, we study a distinct memory fading effect which takes place by heating to a lower temperature. This effect is reported in NiFeGa as polycrystalline ribbons, the alloy being initially studied as bulk for which the thermal memory effect was not found. If, after an initial incomplete heating up to T1 one performs a second incomplete heating up to T2<T1, a new calorimetric dip appears at T2, as expected, while less expected was that the dip corresponding to T1 reduces in amplitude or even vanishes (if the arrest at T2 is repeated). The memory fading effect is more clear for small differences T1-T2 and less obvious or absent for large ones. The second part of the paper employs a statistical 2D model, which associates the memorized temperatures with a depletion of certain martensite plates sizes, and also supports the memory fading effect.


title: The curiously warped mean plane of the Kuiper belt

abstract: We measured the mean plane of the Kuiper belt as a function of semi-major axis. For the classical Kuiper belt as a whole (the non-resonant objects in the semi-major axis range 42--48~au), we find a mean plane of inclination $i_m=1.8^{\circ}$$^{+0.7^{\circ}}_{-0.4^{\circ}}$ and longitude of ascending node $\Omega_m=77^{\circ}$$^{+18^{\circ}}_{-14^{\circ}}$ (in the J2000 ecliptic-equinox coordinate system), in accord with theoretical expectations of the secular effects of the known planets. With finer semi-major axis bins, we detect a statistically significant warp in the mean plane near semi-major axes 40--42~au. Linear secular theory predicts a warp near this location due to the $\nu_{18}$ nodal secular resonance, however the measured mean plane for the 40.3-42~au semi-major axis bin (just outside the $\nu_{18}$) is inclined $\sim13^{\circ}$ to the predicted plane, a nearly 3-$\sigma$ discrepancy. For the more distant Kuiper belt objects of semi-major axes in the range 50--80~au, the expected mean plane is close to the invariable plane of the solar system, but the measured mean plane deviates greatly from this: it has inclination $i_m=9.1^{\circ}$$^{+6.6^{\circ}}_{-3.8^{\circ}}$ and longitude of ascending node $\Omega_m=227^{\circ}$$^{+18^{\circ}}_{-44^{\circ}}$. We estimate this deviation from the expected mean plane to be statistically significant at the $\sim97-99\%$ confidence level. We discuss several possible explanations for this deviation, including the possibility that a relatively close-in ($a\lesssim100$~au), unseen small planetary-mass object in the outer solar system is responsible for the warping.


title: Exact 3D seismic data reconstruction using Tubal-Alt-Min algorithm

abstract: Data missing is an common issue in seismic data, and many methods have been proposed to solve it. In this paper, we present the low-tubal-rank tensor model and a novel tensor completion algorithm to recover 3D seismic data. This is a fast iterative algorithm, called Tubal-Alt-Min which completes our 3D seismic data by exploiting the low-tubal-rank property expressed as the product of two much smaller tensors. TubalAlt-Min alternates between estimating those two tensor using least squares minimization. We evaluate its reconstruction performance both on synthetic seismic data and land data survey. The experimental results show that compared with the tensor nuclear norm minimization algorithm, Tubal-Alt-Min improves the reconstruction error by orders of magnitude.


title: Seismic facies recognition based on prestack data using deep convolutional autoencoder

abstract: Prestack seismic data carries much useful information that can help us find more complex atypical reservoirs. Therefore, we are increasingly inclined to use prestack seismic data for seis- mic facies recognition. However, due to the inclusion of ex- cessive redundancy, effective feature extraction from prestack seismic data becomes critical. In this paper, we consider seis- mic facies recognition based on prestack data as an image clus- tering problem in computer vision (CV) by thinking of each prestack seismic gather as a picture. We propose a convo- lutional autoencoder (CAE) network for deep feature learn- ing from prestack seismic data, which is more effective than principal component analysis (PCA) in redundancy removing and valid information extraction. Then, using conventional classification or clustering techniques (e.g. K-means or self- organizing maps) on the extracted features, we can achieve seismic facies recognition. We applied our method to the prestack data from physical model and LZB region. The re- sult shows that our approach is superior to the conventionals.


title: Towards 3D Human Pose Estimation in the Wild: a Weakly-supervised Approach

abstract: In this paper, we study the task of 3D human pose estimation in the wild. This task is challenging due to lack of training data, as existing datasets are either in the wild images with 2D pose or in the lab images with 3D pose. We propose a weakly-supervised transfer learning method that uses mixed 2D and 3D labels in a unified deep neutral network that presents two-stage cascaded structure. Our network augments a state-of-the-art 2D pose estimation sub-network with a 3D depth regression sub-network. Unlike previous two stage approaches that train the two sub-networks sequentially and separately, our training is end-to-end and fully exploits the correlation between the 2D pose and depth estimation sub-tasks. The deep features are better learnt through shared representations. In doing so, the 3D pose labels in controlled lab environments are transferred to in the wild images. In addition, we introduce a 3D geometric constraint to regularize the 3D pose prediction, which is effective in the absence of ground truth depth labels. Our method achieves competitive results on both 2D and 3D benchmarks.


title: Dissipative Quantum Electromagnetics

abstract: The dissipative quantum electromagnetics is introduced in a comprehensive manner as a field-matter-bath coupling problem. First, the matter is described by a cluster of Lorentz oscillators. Then the Maxwellian free field is coupled to the Lorentz oscillators to describe a frequency dispersive medium. The classical Hamiltonian is derived for such a coupled system, using Lorenz gauge and decoupled scalar and vector potential formulations. The classical equations of motion are derivable from the Hamiltonian using Hamilton equations. Then the Hamiltonian is quantized with all the pertinent variables with the introduction of commutators between the variables and their conjugate pairs. The quantum equations of motion can be derived using the quantum Hamilton equations. It can be shown that such a quantization scheme preserves the quantum commutators introduced. Then a noise bath consisting of simple harmonic oscillators is introduced and coupled to the matter consisting of Lorentz oscillators to induce quantum loss. Langevin source emerges naturally in such a procedure, and it can be shown that the results are consistent with the fluctuation dissipation theorem, and the quantization procedure of Welsch's group. The advantage of the present procedure is that no diagonalization of the Hamiltonian is necessary to arrive at the quantum equations of motion. Finally, we apply the quantization scheme to model spontaneous emission of a two-level polarized atom placed above a dielectric cylinder that supports a bound state in the continuum.


title: Growth of bulges in disc galaxies since $z\sim1$

abstract: We investigate the growth of bulges in bright ($M_B<-20$) disc galaxies since $z\sim1$, in rest-frame B and I-band, using images from HST ACS and WFC3 in GOODS-South for high redshifts ($0.4<z<1.0$) and SDSS for local ($0.02<z<0.05$). The growth history has been traced by performing two-component bulge-disc decomposition and further classifying the bulges into pseudos and classicals using Kormendy relation. We have about $27\%$ pseudo and $40\%$ classical bulges in our sample. Classical bulges are brighter than pseudo, in both rest-bands, at all redshifts probed here; in fact since $z\sim0.77$, classical are about $\sim1$ mag brighter than pseudo bulges. Both bulges have witnessed substantial growth, more than half of their present day stellar mass has been gained since $z\sim1$. Their host discs have grown concurrently, becoming progressively brighter in rest-frame I-band. The high redshift host discs of both pseudo and classical bulges are found to be equally clumpy in rest-frame B-band. In the same band, we found that the growth of classical bulges is accompanied by fading of their host discs - which might be an indication of secular processes in action. However, both host disc as well as the bulge have grown substantially in terms of stellar mass. Our analysis suggests that, clump migration and secular processes alone can not account for the bulge growth, since $z\sim1$, accretion and minor mergers would be required.


title: Coupled Deep Learning for Heterogeneous Face Recognition

abstract: Heterogeneous face matching is a challenge issue in face recognition due to large domain difference as well as insufficient pairwise images in different modalities during training. This paper proposes a coupled deep learning (CDL) approach for the heterogeneous face matching. CDL seeks a shared feature space in which the heterogeneous face matching problem can be approximately treated as a homogeneous face matching problem. The objective function of CDL mainly includes two parts. The first part contains a trace norm and a block-diagonal prior as relevance constraints, which not only make unpaired images from multiple modalities be clustered and correlated, but also regularize the parameters to alleviate overfitting. An approximate variational formulation is introduced to deal with the difficulties of optimizing low-rank constraint directly. The second part contains a cross modal ranking among triplet domain specific images to maximize the margin for different identities and increase data for a small amount of training samples. Besides, an alternating minimization method is employed to iteratively update the parameters of CDL. Experimental results show that CDL achieves better performance on the challenging CASIA NIR-VIS 2.0 face recognition database, the IIIT-D Sketch database, the CUHK Face Sketch (CUFS), and the CUHK Face Sketch FERET (CUFSF), which significantly outperforms state-of-the-art heterogeneous face recognition methods.


title: Revealing the cosmic web dependent halo bias

abstract: Halo bias is the one of the key ingredients of the halo models. It was shown at a given redshift to be only dependent, to the first order, on the halo mass. In this study, four types of cosmic web environments: clusters, filaments, sheets and voids are defined within a state of the art high resolution $N$-body simulation. Within those environments, we use both halo-dark matter cross-correlation and halo-halo auto correlation functions to probe the clustering properties of halos. The nature of the halo bias differs strongly among the four different cosmic web environments we describe. With respect to the overall population, halos in clusters have significantly lower biases in the {$10^{11.0}\sim 10^{13.5}h^{-1}\rm M_\odot$} mass range. In other environments however, halos show extremely enhanced biases up to a factor 10 in voids for halos of mass {$\sim 10^{12.0}h^{-1}\rm M_\odot$}. Such a strong cosmic web environment dependence in the halo bias may play an important role in future cosmological and galaxy formation studies. Within this cosmic web framework, the age dependency of halo bias is found to be only significant in clusters and filaments for relatively small halos $\la 10^{12.5}\msunh$.


title: Unravelling local spin polarization of Zhang-Rice singlet in lightly hole-doped cuprates using high-energy optical conductivity

abstract: Unrevealing local magnetic and electronic correlations in the vicinity of charge carriers is crucial in order to understand rich physical properties in correlated electron systems. Here, using high-energy optical conductivity (up to 35 eV) as a function of temperature and polarization, we observe a surprisingly strong spin polarization of the local spin singlet with enhanced ferromagnetic correlations between Cu spins near the doped holes in lightly hole-doped La$_{1.95}$Sr$_{0.05}$Cu$_{0.95}$Zn$_{0.05}$O$_{4}$. The changes of the local spin polarization manifest strongly in the temperature-dependent optical conductivity at ~7.2 eV, with an anomaly at the magnetic stripe phase (~25 K), accompanied by anomalous spectral-weight transfer in a broad energy range. Supported by theoretical calculations, we also assign high-energy optical transitions and their corresponding temperature dependence, particularly at ~2.5 ~8.7, ~9.7, ~11.3 and ~21.8 eV. Our result shows the importance of a strong mixture of spin singlet and triplet states in hole-doped cuprates and demonstrates a new strategy to probe local magnetic correlations using high- energy optical conductivity in correlated electron systems.


title: Consistent Approval-Based Multi-Winner Rules

abstract: This paper is an axiomatic study of consistent approval-based multi-winner rules, i.e., voting rules that select a fixed-size group of candidates based on approval ballots. We introduce the class of counting rules and provide an axiomatic characterization of this class based on the consistency axiom. Building upon this result, we axiomatically characterize three important consistent multi-winner rules: Proportional Approval Voting, Multi-Winner Approval Voting and the Approval Chamberlin--Courant rule. Our results demonstrate the variety of multi-winner rules and illustrate three different, orthogonal principles that multi-winner voting rules may represent: individual excellence, diversity, and proportionality.


title: Effect of Frustrated Exchange Interactions and Spin-half Impurity on the Electronic Structure of Strongly Correlated NiFe$_{2}$O$_{4}$

abstract: Spin-polarized density functional calculations, magnetization, and neutron diffraction measurements are carried out to investigate the magnetic exchange interactions and strong correlation effects in Yb substituted inverse spinel nickel ferrite. In the pristine form, the compound is found to be a mixed insulator under the Zaanen-Sawtazsky-Allen classification scheme as it features both charge transfer and Mott insulator mechanism. Estimation of magnetic exchange couplings reveals that both octahedral-octahedral and octahedral-tetrahedral spin-spin interactions are antiferromagnetic which is typical of a spin-frustrated triangular lattice. However, the latter is dominant compared to the former leading to a forced parallel alignment of the spins at the octahedral site which is in agreement with the results of neutron diffraction measurements. The substituent Yb is found to be settled in +3 charge state, as confirmed from the XPS measurements, to behave like a spin-half impurity carried by the localized $f_{z(x^2-y^2)}$ orbital. The impurity $f$ spin significantly weakens the antiferromagnetic coupling with the spins at the tetrahedral site, which explains the experimental observation of fall in Curie temperature with Yb substitution.


title: A New Pseudo-color Technique Based on Intensity Information Protection for Passive Sensor Imagery

abstract: Remote sensing image processing is so important in geo-sciences. Images which are obtained by different types of sensors might initially be unrecognizable. To make an acceptable visual perception in the images, some pre-processing steps (for removing noises and etc) are preformed which they affect the analysis of images. There are different types of processing according to the types of remote sensing images. The method that we are going to introduce in this paper is to use virtual colors to colorize the gray-scale images of satellite sensors. This approach helps us to have a better analysis on a sample single-band image which has been taken by Landsat-8 (OLI) sensor (as a multi-band sensor with natural color bands, its images' natural color can be compared to synthetic color by our approach). A good feature of this method is the original image reversibility in order to keep the suitable resolution of output images.


title: Homological properties of modules with finite weak injective and weak flat dimensions

abstract: In this paper, we define a class of relative derived functors in terms of left or right weak flat resolutions to compute the weak flat dimension of modules. Moreover, we investigate two classes of modules larger than that of weak injective and weak flat modules, study the existence of covers and preenvelopes, and give some applications.


title: BLASFEO: basic linear algebra subroutines for embedded optimization

abstract: BLASFEO is a dense linear algebra library providing high-performance implementations of BLAS- and LAPACK-like routines for use in embedded optimization. A key difference with respect to existing high-performance implementations of BLAS is that the computational performance is optimized for small to medium scale matrices, i.e., for sizes up to a few hundred. BLASFEO comes with three different implementations: a high-performance implementation aiming at providing the highest performance for matrices fitting in cache, a reference implementation providing portability and embeddability and optimized for very small matrices, and a wrapper to standard BLAS and LAPACK providing high-performance on large matrices. The three implementations of BLASFEO together provide high-performance dense linear algebra routines for matrices ranging from very small to large. Compared to both open-source and proprietary highly-tuned BLAS libraries, for matrices of size up to about one hundred the high-performance implementation of BLASFEO is about 20-30% faster than the corresponding level 3 BLAS routines and 2-3 times faster than the corresponding LAPACK routines.


title: A Generalization to the Rastall Theory and Cosmic Eras

abstract: A generalized version for the Rastall theory is proposed showing the agreement with the cosmic accelerating expansion. In this regard, a coupling between geometry and the pressureless matter fields is derived which may play the role of dark energy responsible for the current accelerating expansion phase. Moreover, our study also shows that the radiation field may not be coupled to the geometry in a non-minimal way which represents that the ordinary energy-momentum conservation law is respected by the radiation source. It is also shown that the primary inflationary era may be justified by the ability of the geometry to couple to the energy-momentum source in an empty flat FRW universe. In fact, this ability is independent of the existence of the energy-momentum source and may compel the empty flat FRW universe to expand exponentially. Finally, we consider a flat FRW universe field by a spatially homogeneous scalar field evolving in potential $\mathcal{V}(\phi)$, and study the results of applying the slow-roll approximation to the system which may lead to an inflationary phase for the universe expansion.


title: Mensuration of quadrilaterals in the L\={\i}l\=avat\={\i}

abstract: Mensuration with quadrilaterals had received attention in the Siddh\=anta tradition at least since Brahmagupta. However, in Bh\=askarac\=arya's L\={\i}l\=avat\={\i} we come across some distinctively new features. In this paper an attempt is made to put the development in historical perspective.


title: Graded Lie algebras and regular prehomogeneous vector spaces with one-dimensional scalar multiplication

abstract: The aim of this paper is to study relations between regular reductive PVs with one-dimensional scalar multiplication and the structure of graded Lie algebras. We will show that the regularity of such PVs is described by an $\mathfrak{sl}_2$-triplet of a graded Lie algebra.


title: Scalar Polynomial Curvature Invariant Vanishing on the Event Horizon of Any Black Hole Metric Conformal to a Static Spherical Metric

abstract: We construct a scalar polynomial curvature invariant that transforms covariantly under a conformal transformation from any spherically symmetric metric. This invariant has the additional property that it vanishes on the event horizon of any black hole that is conformal to a static spherical metric.


title: Existence and continuation of solutions of Hilfer fractional differential equations

abstract: In this paper we study the existence and continuation of solution to general fractional differential equation with Hilfer fractional derivative. First we establish new local existence theorems. Then we derive the continuation theorems. With the help of continuation theorems derived in this paper, several global existence results are constructed.


title: First-Person Hand Action Benchmark with RGB-D Videos and 3D Hand Pose Annotations

abstract: In this work we study the use of 3D hand poses to recognize first-person dynamic hand actions interacting with 3D objects. Towards this goal, we collected RGB-D video sequences comprised of more than 100K frames of 45 daily hand action categories, involving 26 different objects in several hand configurations. To obtain hand pose annotations, we used our own mo-cap system that automatically infers the 3D location of each of the 21 joints of a hand model via 6 magnetic sensors and inverse kinematics. Additionally, we recorded the 6D object poses and provide 3D object models for a subset of hand-object interaction sequences. To the best of our knowledge, this is the first benchmark that enables the study of first-person hand actions with the use of 3D hand poses. We present an extensive experimental evaluation of RGB-D and pose-based action recognition by 18 baselines/state-of-the-art approaches. The impact of using appearance features, poses, and their combinations are measured, and the different training/testing protocols are evaluated. Finally, we assess how ready the 3D hand pose estimation field is when hands are severely occluded by objects in egocentric views and its influence on action recognition. From the results, we see clear benefits of using hand pose as a cue for action recognition compared to other data modalities. Our dataset and experiments can be of interest to communities of 3D hand pose estimation, 6D object pose, and robotics as well as action recognition.


title: On existence and approximation of solution of nonlinear Hilfer fractional differential equation

abstract: This paper gives the existence and uniqueness results for solution of fractional differential equations with Hilfer derivative. Using some new techniques and generalizing the restrictive conditions imposed on considered function, the iterative scheme for uniformly approximating the solution is established.


title: On Weierstrass semigroup at $m$ points on curves of the type f(y) = g(x)

abstract: In this work we determine the so-called minimal generating set of the Weierstrass semigroup of certain $m$ points on curves $\mathcal{X}$ with plane model of the type $f(y) = g(x)$ over $\mathbb{F}_{q}$, where $f(T),g(T)\in \mathbb{F}_q[T]$. Our results were obtained using the concept of discrepancy, for given points $P$ and $Q$ on $\mathcal{X}$. This concept was introduced by Duursma and Park, in \cite{duursma}, and allows us to make a different and more general approach than that used to certain specific curves studied earlier.


title: Influence of magnetic field on evaporation of a ferrofluid droplet

abstract: Influence of magnitude and direction of static magnetic field applied on a drying drop of a laboratory synthesized water base ferrofluid placed on a plane glass plate is investigated. Like all other multi-component fluid this drop also exhibited familiar coffee ring pattern in absence of field while, this pattern is modulated by applying magnetic field and thickness of the ring modulated by the applied field and thickness of the ring decreases exponentially with increase in field when direction of field is normal to the plane of the substrate. Effect of the field on the evaporation rate and temporal variation of contact angle is also studied. Results are analysed in light of available models. The findings may be useful in applications like ink-jet printing, painting and display devices involving ferrofluids.


title: Generalized Rogers Ramanujan Identities for Twisted Affine Algebras

abstract: The characters of parafermionic conformal field theories are given by the string functions of affine algebras, which are either twisted or untwisted algebras. Expressions for these characters as generalized Rogers Ramanujan algebras have been established for the untwisted affine algebras. However, we study the identities for the string functions of twisted affine Lie algebras. Conjectures for the string functions was proposed by Hatayama et al., for the unit fields, which expresses the string functions as Rogers Ramanujan type sums. Here we propose to check the Hatayama et al. conjecture, using Lie algebraic theoretic methods. We use Freudenthal's formula, which we computerized, to verify the identities for all the algebras at low rank and low level. We find complete agreement with the conjecture.


title: Basic Formal Properties of A Relational Model of The Mathematical Theory of Evidence

abstract: The paper presents a novel view of the Dempster-Shafer belief function as a measure of diversity in relational data bases. It is demonstrated that under the interpretation The Dempster rule of evidence combination corresponds to the join operator of the relational database theory. This rough-set based interpretation is qualitative in nature and can represent a number of belief function operators. The interpretation has the property that Given a definition of the belief measure of objects in the interpretation domain we can perform operations in this domain and the measure of the resulting object is derivable from measures of component objects via belief operator. We demonstrated this property for Dempster rule of combination, marginalization, Shafer's conditioning, independent variables, Shenoy's notion of conditional independence of variables. The interpretation is based on rough sets (in connection with decision tables), but differs from previous interpretations of this type in that it counts the diversity rather than frequencies in a decision table.


title: Some models produced by 3D iterations

abstract: We construct models, by three-dimensional arrays of ccc posets, where many classical cardinal characteristics of the continuum are pairwise different.


title: DSLR-Quality Photos on Mobile Devices with Deep Convolutional Networks

abstract: Despite a rapid rise in the quality of built-in smartphone cameras, their physical limitations - small sensor size, compact lenses and the lack of specific hardware, - impede them to achieve the quality results of DSLR cameras. In this work we present an end-to-end deep learning approach that bridges this gap by translating ordinary photos into DSLR-quality images. We propose learning the translation function using a residual convolutional neural network that improves both color rendition and image sharpness. Since the standard mean squared loss is not well suited for measuring perceptual image quality, we introduce a composite perceptual error function that combines content, color and texture losses. The first two losses are defined analytically, while the texture loss is learned in an adversarial fashion. We also present DPED, a large-scale dataset that consists of real photos captured from three different phones and one high-end reflex camera. Our quantitative and qualitative assessments reveal that the enhanced image quality is comparable to that of DSLR-taken photos, while the methodology is generalized to any type of digital camera.


title: Difference bases in finite Abelian groups

abstract: A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $\Delta[G]$. The fraction $\eth[G]:=\frac{\Delta[G]}{\sqrt{|G|}}$ is called the difference characteristic of $G$. Using properies of the Galois rings, we prove recursive upper bounds for the difference sizes and characteristics of finite Abelian groups. In particular, we prove that for a prime number $p\ge 11$, any finite Abelian $p$-group $G$ has difference characteristic $\eth[G]<\frac{\sqrt{p}-1}{\sqrt{p}-3}\cdot\sup_{k\in\mathbb N}\eth[C_{p^k}]<\sqrt{2}\cdot\frac{\sqrt{p}-1}{\sqrt{p}-3}$. Also we calculate the difference sizes of all Abelian groups of cardinality $<96$.


title: Difference bases in dihedral groups

abstract: A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $\Delta[G]$. The fraction $\eth[G]:=\Delta[G]/{\sqrt{|G|}}$ is called the difference characteristic of $G$. We prove that for every $n\in\mathbb N$ the dihedral group $D_{2n}$ of order $2n$ has the difference characteristic $\sqrt{2}\le\eth[D_{2n}]\leq\frac{48}{\sqrt{586}}\approx1.983$. Moreover, if $n\ge 2\cdot 10^{15}$, then $\eth[D_{2n}]<\frac{4}{\sqrt{6}}\approx1.633$. Also we calculate the difference sizes and characteristics of all dihedral groups of cardinality $\le80$.


title: On Herman's Positive Entropy Conjecture

abstract: We show that any area-preserving $C^r$-diffeomorphism of a two-dimensional surface displaying an elliptic fixed point can be $C^r$-perturbed to one exhibiting a chaotic island whose metric entropy is positive, for every $1\le r\le \infty$. This proves a conjecture of Herman stating that the identity map of the disk can be $C^\infty$-perturbed to a conservative diffeomorphism with positive metric entropy. This implies also that the Chirikov standard map for large and small parameter values can be $C^\infty$-approximated by a conservative diffeomorphisms displaying a positive metric entropy (a weak version of Sinai's positive metric entropy conjecture). Finally, this sheds light onto a Herman's question on the density of $C^r$-conservative diffeomorphisms displaying a positive metric entropy: we show the existence of a dense set formed by conservative diffeomorphism which either are weakly stable (so, conjecturally, uniformly hyperbolic) or display a chaotic island of positive metric entropy.


title: Rational points on symmetric powers and categorical representability

abstract: In this paper we observe that for geometrically integral projective varieties $X$, admitting a full weak exceptional collection consisting of pure vector bundles, the existence of a $k$-rational point implies $\mathrm{rdim}(X)=0$. We also study the symmetric power $S^n(X)$ of Brauer--Severi and involution varieties over $\mathbb{R}$ and prove that the equivariant derived category $D^b_{S_n}(X^n)$ admits a full weak exceptional collection. As a consequence, we find $\mathrm{rdim}(X)=0$ if and only if $\mathrm{rdim}(D^b_{S_n}(X^n))=0$ for $1\leq n\leq 3$. If $X$ is Brauer--Severi, the existence of a $\mathbb{R}$-rational point on $X$ or $S^3(X)$ is equivalent to $\mathrm{rdim}(D^b_{S_3}(X^3))=0$.


title: Relationship between the methods of bounding time averages

abstract: The problem of finding bounds of time-averaged characteristics of dynamical systems, such as the bound on the mean energy dissipation rate in a turbulent flow governed by incompressible Navier-Stokes equations, is considered. It is shown that the direct method described by Seis (J. Fluid Mech., 777:591-603, 2015) and the auxiliary functional method by Chernyshenko et al. (Phil. Trans. R. Soc. B., 372:20130350, 2014) are related and can lead to the same bound. The well-known background flow method of Doering and Constantin is equivalent to the auxiliary functional method with a quadratic auxiliary functional. The known implementations of the direct method apparently also correspond to quadratic auxiliary functionals. The findings are illustrated by the analysis of the plane Couette flow. Three routes of further progress using non-quadratic auxiliary functionals and at the same time allowing to utilise the experience accumulated with the background flow method are proposed: making the balance parameter dependent on the energy, making the background flow time-dependent in a specific way, and adding helicity to the auxiliary functional.


title: Unions of admissible relations

abstract: We show that a variety $\mathcal V$ is congruence distributive if and only if there is some $h$ such that the inclusion (1) $\Theta \cap ( \sigma \circ \sigma ) \subseteq ( \Theta \cap \sigma ) \circ ( \Theta \cap \sigma ) \circ \dots $ ($h$ factors) holds in every algebra in $\mathcal V$, for every tolerance $\Theta$ and every U-admissible relation $\sigma$. By a U-admissible relation we mean a binary relation which is the set-theoretical union of a set of reflexive and admissible relations. For any fixed $h$, a Maltsev-type characterization is given for the inclusion (1). It is an open problem whether (1) is still equivalent to congruence distributivity when $\Theta$ is assumed to be a $U$-admissible relation, rather than a tolerance. In both cases many equivalent formulations for (1) are presented. The results suggest that it might be interesting to study the structure of the set of U-admissible relations on an algebra, as well as identities dealing with such relations.


title: On branches of positive solutions for p-Laplacian problems at the extreme value of Nehari manifold method

abstract: This paper is concerned with variational continuation of branches of solutions for nonlinear boundary value problems, which involve the p-Laplacian, the indefinite nonlinearity, and depend on the real parameter $\lambda$. A special focus is made on the extreme value of Nehari manifold $\lambda^*$, which determines the threshold of applicability of Nehari manifold method. In the main result the existence of two branches of positive solutions for the cases where parameter $\lambda$ lies above the threshold $\lambda^*$ is obtained.


title: Mid-infrared frequency comb generation with silicon nitride nano-photonic waveguides

abstract: Mid-infrared optical frequency combs are of significant interest for molecular spectroscopy due to the large absorption of molecular vibrational modes on one hand, and the ability to implement superior comb-based spectroscopic modalities with increased speed, sensitivity and precision on the other hand. Substantial advances in mid-infrared frequency comb generation have been made in recent years based on nonlinear frequency conversion, microresonator Kerr frequency combs, quantum cascade lasers and mode locking regimes. Here we demonstrate a simple, yet effective method for the direct generation of mid-infrared optical frequency combs in the region from ${2.5-4~\mu{\rm m}}$, i.e. ${2500-4000~{\rm cm}^{-1}}$ covering a large fraction of the functional group region, directly from a conventional and compact erbium-fiber-based femtosecond laser in the telecommunication band (i.e. ${1.55~\mu{\rm m}}$). The wavelength conversion is based on dispersive wave generation within the supercontinuum process in large-cross-section and dispersion-engineered silicon nitride (${\rm Si_3N_4}$) waveguides. The long-wavelength dispersive wave, with its position lithographically determined, performs as a mid-infrared frequency comb, whose coherence is demonstrated via optical heterodyne measurements. Such a simple and versatile approach to mid-infrared frequency comb generation is suitable for spectroscopic applications in the first mid-infrared atmospheric window. Moreover, the compactness and simplicity of the approach have the potential to realize compact dual-comb spectrometers. The generated combs have a fine teeth-spacing, making them also suitable for gas phase analysis.


title: Informed Bayesian T-Tests

abstract: Across the empirical sciences, few statistical procedures rival the popularity of the frequentist t-test. In contrast, the Bayesian versions of the t-test have languished in obscurity. In recent years, however, the theoretical and practical advantages of the Bayesian t-test have become increasingly apparent and various Bayesian t-tests have been proposed, both objective ones (based on general desiderata) and subjective ones (based on expert knowledge). Here we propose a flexible t-prior for standardized effect size that allows computation of the Bayes factor by evaluating a single numerical integral. This specification contains previous objective and subjective t-test Bayes factors as special cases. Furthermore, we propose two measures for informed prior distributions that quantify the departure from the objective Bayes factor desiderata of predictive matching and information consistency. We illustrate the use of informed prior distributions based on an expert prior elicitation effort.


title: Obituary: Walter Benz (1931-2017)

abstract: Emeritus Professor Dr. Dr. h.c. Walter Benz passed away on 13 January 2017.