title: Graham Higman's PORC theorem

abstract: Graham Higman published two important papers in 1960. In the first of these papers he proved that for any positive integer $n$ the number of groups of order $p^{n}$ is bounded by a polynomial in $p$, and he formulated his famous PORC conjecture about the form of the function $f(p^{n})$ giving the number of groups of order $p^{n}$. In the second of these two papers he proved that the function giving the number of $p$-class two groups of order $p^{n}$ is PORC. He established this result as a corollary to a very general result about vector spaces acted on by the general linear group. This theorem takes over a page to state, and is so general that it is hard to see what is going on. Higman's proof of this general theorem contains several new ideas and is quite hard to follow. However in the last few years several authors have developed and implemented algorithms for computing Higman's PORC formulae in special cases of his general theorem. These algorithms give perspective on what are the key points in Higman's proof, and also simplify parts of the proof. In this note I give a proof of Higman's general theorem written in the light of these recent developments.


title: Intraoperative robotic-assisted large-area high-speed microscopic imaging and intervention

abstract: Objective: Probe-based confocal endomicroscopy is an emerging high-magnification optical imaging technique that provides in vivo and in situ cellular-level imaging for real-time assessment of tissue pathology. Endomicroscopy could potentially be used for intraoperative surgical guidance, but it is challenging to assess a surgical site using individual microscopic images due to the limited field-of-view and difficulties associated with manually manipulating the probe. Methods: In this paper, a novel robotic device for large-area endomicroscopy imaging is proposed, demonstrating a rapid, but highly accurate, scanning mechanism with image-based motion control which is able to generate histology-like endomicroscopy mosaics. The device also includes, for the first time in robotic-assisted endomicroscopy, the capability to ablate tissue without the need for an additional tool. Results: The device achieves pre-programmed trajectories with positioning accuracy of less than 30 um, while the image-based approach demonstrated that it can suppress random motion disturbances up to 1.25 mm/s. Mosaics are presented from a range of ex vivo human and animal tissues, over areas of more than 3 mm^2, scanned in approximate 10 seconds. Conclusion: This work demonstrates the potential of the proposed instrument to generate large-area, high-resolution microscopic images for intraoperative tissue identification and margin assessment. Significance: This approach presents an important alternative to current histology techniques, significantly reducing the tissue assessment time, while simultaneously providing the capability to mark and ablate suspicious areas intraoperatively.


title: Probing New Physics From TXS 0506+056 Blazar Neutrinos

abstract: Supported by the recent detection of a TXS 0506+056 blazar neutrino with an energy in the TeV-PeV range detected by the IceCube experiment, a probe of a new physics scale LNP related to high-energy cosmic neutrinos is provided. At Standard Model energies, the effect of the underlying physics LNP is first investigated. Then, the recorded IceCube-170922A data is used to approach the scale of such a new physics which lies under the Grand Unified Theory scale 10^25eV.


title: On grounded L-graphs and their relatives

abstract: We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove that Grounded-L graphs admit an equivalent characterisation in terms of vertex ordering with forbidden patterns. We also compare this class to related intersection classes, such as the grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance graphs), or the outer-1-string graphs. We give constructions showing that these classes are all distinct and satisfy only trivial or previously known inclusions.


title: Hybrid Metabolic Network Completion

abstract: Metabolic networks play a crucial role in biology since they capture all chemical reactions in an organism. While there are networks of high quality for many model organisms, networks for less studied organisms are often of poor quality and suffer from incompleteness. To this end, we introduced in previous work an ASP-based approach to metabolic network completion. Although this qualitative approach allows for restoring moderately degraded networks, it fails to restore highly degraded ones. This is because it ignores quantitative constraints capturing reaction rates. To address this problem, we propose a hybrid approach to metabolic network completion that integrates our qualitative ASP approach with quantitative means for capturing reaction rates. We begin by formally reconciling existing stoichiometric and topological approaches to network completion in a unified formalism. With it, we develop a hybrid ASP encoding and rely upon the theory reasoning capacities of the ASP system clingo for solving the resulting logic program with linear constraints over reals. We empirically evaluate our approach by means of the metabolic network of Escherichia coli. Our analysis shows that our novel approach yields greatly superior results than obtainable from purely qualitative or quantitative approaches. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: A Predictive Model for Oil Market under Uncertainty: Data-Driven System Dynamics Approach

abstract: In recent years, there have been a lot of sharp changes in the oil price. These rapid changes cause the traditional models to fail in predicting the price behavior. The main reason for the failure of the traditional models is that they consider the actual value of parameters instead of their expectational ones. In this paper, we propose a system dynamics model that incorporates expectational variables in determining the oil price. In our model, the oil price is determined by the expected demand and supply vs. their actual values. Our core model is based upon regression analysis on several historic time series and adjusted by adding many casual loops in the oil market. The proposed model in simulated in different scenarios that have happened in the past and our results comply with the trends of the oil price in each of the scenarios.


title: Multi-Task Learning for Sequence Tagging: An Empirical Study

abstract: We study three general multi-task learning (MTL) approaches on 11 sequence tagging tasks. Our extensive empirical results show that in about 50% of the cases, jointly learning all 11 tasks improves upon either independent or pairwise learning of the tasks. We also show that pairwise MTL can inform us what tasks can benefit others or what tasks can be benefited if they are learned jointly. In particular, we identify tasks that can always benefit others as well as tasks that can always be harmed by others. Interestingly, one of our MTL approaches yields embeddings of the tasks that reveal the natural clustering of semantic and syntactic tasks. Our inquiries have opened the doors to further utilization of MTL in NLP.


title: Learning Discriminative Hashing Codes for Cross-Modal Retrieval based on Multi-view Features

abstract: Hashing techniques have been applied broadly in retrieval tasks due to their low storage requirements and high speed of processing. Many hashing methods based on a single view have been extensively studied for information retrieval. However, the representation capacity of a single view is insufficient and some discriminative information is not captured, which results in limited improvement. In this paper, we employ multiple views to represent images and texts for enriching the feature information. Our framework exploits the complementary information among multiple views to better learn the discriminative compact hash codes. A discrete hashing learning framework that jointly performs classifier learning and subspace learning is proposed to complete multiple search tasks simultaneously. Our framework includes two stages, namely a kernelization process and a quantization process. Kernelization aims to find a common subspace where multi-view features can be fused. The quantization stage is designed to learn discriminative unified hashing codes. Extensive experiments are performed on single-label datasets (WiKi and MMED) and multi-label datasets (MIRFlickr and NUS-WIDE) and the experimental results indicate the superiority of our method compared with the state-of-the-art methods.


title: Tetraquarks and pentaquarks

abstract: Greig Cowan and Tim Gershon describe new types of matter called tetraquarks and pentaquarks, and discuss the outlook for understanding these particles.


title: Topological terms in Composite Higgs Models

abstract: We apply a recent classification of topological action terms to Composite Higgs models based on a variety of coset spaces $G/H$ and discuss their phenomenology. The topological terms, which can all be obtained by integrating (possibly only locally-defined) differential forms, come in one of two types, with substantially differing consequences for phenomenology. The first type of term (which appears in the minimal model based on $SO(5)/SO(4)$) is a field theory generalization of the Aharonov-Bohm phase in quantum mechanics. The phenomenological effects of such a term arise only at the non-perturbative level, and lead to $P$ and $CP$ violation in the Higgs sector. The second type of term (which appears in the model based on $SO(6)/SO(5)$) is a field theory generalization of the Dirac monopole in quantum mechanics and has physical effects even at the classical level. Perhaps most importantly, measuring the coefficient of such a term can allow one to probe the structure of the underlying microscopic theory. A particularly rich topological structure, with 6 distinct terms, is uncovered for the model based on $SO(6)/SO(4)$, containing 2 Higgs doublets and a singlet. Of the corresponding couplings, one is an integer and one is a phase.


title: Relaxed Schedulers Can Efficiently Parallelize Iterative Algorithms

abstract: There has been significant progress in understanding the parallelism inherent to iterative sequential algorithms: for many classic algorithms, the depth of the dependence structure is now well understood, and scheduling techniques have been developed to exploit this shallow dependence structure for efficient parallel implementations. A related, applied research strand has studied methods by which certain iterative task-based algorithms can be efficiently parallelized via relaxed concurrent priority schedulers. These allow for high concurrency when inserting and removing tasks, at the cost of executing superfluous work due to the relaxed semantics of the scheduler. In this work, we take a step towards unifying these two research directions, by showing that there exists a family of relaxed priority schedulers that can efficiently and deterministically execute classic iterative algorithms such as greedy maximal independent set (MIS) and matching. Our primary result shows that, given a randomized scheduler with an expected relaxation factor of $k$ in terms of the maximum allowed priority inversions on a task, and any graph on $n$ vertices, the scheduler is able to execute greedy MIS with only an additive factor of poly($k$) expected additional iterations compared to an exact (but not scalable) scheduler. This counter-intuitive result demonstrates that the overhead of relaxation when computing MIS is not dependent on the input size or structure of the input graph. Experimental results show that this overhead can be clearly offset by the gain in performance due to the highly scalable scheduler. In sum, we present an efficient method to deterministically parallelize iterative sequential algorithms, with provable runtime guarantees in terms of the number of executed tasks to completion.


title: The Magnus expansion and Post-Lie algebras

abstract: We relate the classical and post-Lie Magnus expansions. Intertwining algebraic and geometric arguments allows to placing the classical Magnus expansion in the context of Lie group integrators.


title: A magnetic modular form

abstract: In this paper, we prove a conjecture of Broadhurst and Zudilin \cite{BZ17} concerning a divisibility property of the Fourier coefficients of a meromorphic modular form using the generalization of the Shimura lift by Borcherds \cite{Borcherds98} and Hecke operators on vector-valued modular forms developed by Bruinier and Stein \cite{BS10}. Furthermore, we construct a family of meromorphic modular forms with this property.


title: Correlation functions for a spin-$\frac{1}{2}$ Ising-XYZ diamond chain: Further evidence for quasi-phases and pseudo-transitions

abstract: One-dimensional systems with short-range interactions cannot exhibit a long-range order at nonzero temperature. However, there are some particular one-dimensional models, such as the Ising-Heisenberg spin models with a variety of lattice geometries, which exhibit unexpected behavior similar to the discontinuous or continuous temperature-driven phase transition. Although these pseudo-transitions are not true temperature-driven transitions showing only abrupt changes or sharp peaks in thermodynamic quantities, they may be confused while interpreting experimental data. Here we consider the spin-$\frac{1}{2}$ Ising-XYZ diamond chain in the regime when the model exhibits temperature-driven pseudo-transitions. We provide a detailed investigation of several correlation functions between distant spins that illustrates the properties of quasi-phases separated by pseudo-transitions. Inevitably, all correlation functions show the evidence of pseudo-transition, which are supported by the analytical solutions and, besides we provide a rigorous analytical investigation around the pseudo-critical temperature. It is worth to mention that the correlation functions between distant spins have an extremely large correlation length at pseudo-critical temperature.


title: Coordinates Adapted to Vector Fields II: Sharp Results

abstract: Given a finite collection of $C^1$ vector fields on a $C^2$ manifold which span the tangent space at every point, we consider the question of when there is locally a coordinate system in which these vector fields are $\mathscr{C}^{s+1}$ for $s\in (1,\infty]$, where $\mathscr{C}^s$ denotes the Zygmund space of order $s$. We give necessary and sufficient, coordinate-free conditions for the existence of such a coordinate system. Moreover, we present a quantitative study of these coordinate charts. This is the second part in a three-part series of papers. The first part, joint with Stovall, addressed the same question, though the results were not sharp, and showed how such coordinate charts can be viewed as scaling maps in sub-Riemannian geometry. When viewed in this light, these results can be seen as strengthening and generalizing previous works on the quantitative theory of sub-Riemannian geometry, initiated by Nagel, Stein, and Wainger, and furthered by Tao and Wright, the author, and others. In the third part, we prove similar results concerning real analyticity.


title: Magnetic properties and temperature variation of spectra in the Hubbard model

abstract: Using the strong coupling diagram technique, magnetic and spectral properties of the two-dimensional repulsive Hubbard model are investigated in the ranges of repulsions $t\leq U\leq 10t$, temperatures $0.1t\lesssim T\lesssim 4t$ and electron concentrations $0.6\lesssim\bar{n}\leq 1$ with $t$ the hopping constant. The approach takes into account interactions of electrons with spin and charge fluctuations of all ranges and fulfils the Mermin-Wagner theorem. Temperature and concentration dependencies of the uniform magnetic susceptibility, the variation of the double occupancy with the repulsion and the temperature dependence of the square of the site spin are in satisfactory agreement with Monte Carlo results. Three types of the temperature variation of the electron energy spectrum can be distinguished at half-filling. For $U\lesssim 3t$, at low temperatures, there are two nonintersecting bands, which approach each other on the boundary of the magnetic Brillouin zone. With increasing $T$ these bands merge into one band crossing the Fermi level. For $4t\lesssim U \lesssim 6t$, the low-temperature picture described above is supplemented with a low-intensity spin-polaron band located near the Fermi level. As its counterpart in the strong-correlation case, the band is formed by bound states of electrons and spin excitations. However, in contrast to the former case, the band exists even at half-filling and occupies the entire Brillouin zone. As for lower $U$, with increasing temperature, all bands coalesce into a single band. For $U\gtrsim 7t$ and low temperatures the spectrum has a pronounced four-band structure, which with increasing $T$ transforms into two Hubbard subbands.


title: Quantization effects and convergence properties of rigid formation control systems with quantized distance measurements

abstract: In this paper, we discuss quantization effects in rigid formation control systems when target formations are described by inter-agent distances. Because of practical sensing and measurement constraints, we consider in this paper distance measurements in their quantized forms. We show that under gradient-based formation control, in the case of uniform quantization, the distance errors converge locally to a bounded set whose size depends on the quantization error, while in the case of logarithmic quantization, all distance errors converge locally to zero. A special quantizer involving the signum function is then considered with which all agents can only measure coarse distances in terms of binary information. In this case, the formation converges locally to a target formation within a finite time. Lastly, we discuss the effect of asymmetric uniform quantization on rigid formation control.


title: A Forward-Backward Splitting Method for Monotone Inclusions Without Cocoercivity

abstract: In this work, we propose a simple modification of the forward-backward splitting method for finding a zero in the sum of two monotone operators. Our method converges under the same assumptions as Tseng's forward-backward-forward method, namely, it does not require cocoercivity of the single-valued operator. Moreover, each iteration only requires one forward evaluation rather than two as is the case for Tseng's method. Variants of the method incorporating a linesearch, relaxation and inertia, or a structured three operator inclusion are also discussed.


title: Approximation in FEM, DG and IGA: A Theoretical Comparison

abstract: In this paper we compare approximation properties of degree $p$ spline spaces with different numbers of continuous derivatives. We prove that, for a given space dimension, $\smooth {p-1}$ splines provide better a priori error bounds for the approximation of functions in $H^{p+1}(0,1)$. Our result holds for all practically interesting cases when comparing $\smooth {p-1}$ splines with $\smooth {-1}$ (discontinuous) splines. When comparing $\smooth {p-1}$ splines with $\smooth 0$ splines our proof covers almost all cases for $p\ge 3$, but we can not conclude anything for $p=2$. The results are generalized to the approximation of functions in $H^{q+1}(0,1)$ for $q<p$, to broken Sobolev spaces and to tensor product spaces.


title: Automatic Reference-Based Evaluation of Pronoun Translation Misses the Point

abstract: We compare the performance of the APT and AutoPRF metrics for pronoun translation against a manually annotated dataset comprising human judgements as to the correctness of translations of the PROTEST test suite. Although there is some correlation with the human judgements, a range of issues limit the performance of the automated metrics. Instead, we recommend the use of semi-automatic metrics and test suites in place of fully automatic metrics.


title: Equivariant motivic Hall algebras

abstract: We introduce a generalization of Joyce's motivic Hall algebra by combining it with Green's parabolic induction product, as well as a non-archimedean variant of it. In the construction, we follow Dyckerhoff-Kapranov's formalism of 2-Segal objects and their transferred algebra structures. Our main result is the existence of an integration map under any suitable transfer theory, of course including the (analytic) equivariant motivic one. This allows us to study Harder-Narasimhan recursion formulas in new cases.


title: On the Shannon entropy of the number of vertices with zero in-degree in randomly oriented hypergraphs

abstract: Suppose that you have $n$ colours and $m$ mutually independent dice, each of which has $r$ sides. Each dice lands on any of its sides with equal probability. You may colour the sides of each die in any way you wish, but there is one restriction: you are not allowed to use the same colour more than once on the sides of a die. Any other colouring is allowed. Let $X$ be the number of different colours that you see after rolling the dice. How should you colour the sides of the dice in order to maximize the Shannon entropy of $X$? In this article we investigate this question. We show that the entropy of $X$ is at most $\frac{1}{2} \log(n) + O(1)$ and that the bound is tight, up to a constant additive factor, in the case of there being equally many coins and colours. Our proof employs the differential entropy bound on discrete entropy, along with a lower bound on the entropy of binomial random variables whose outcome is conditioned to be an even integer. We conjecture that the entropy is maximized when the colours are distributed over the sides of the dice as evenly as possible.


title: Nano-molar to milli-molar level Ag (I) determination using absorption of light by ZnS QDs without organic ligand

abstract: Despite of useful applications of Ag, it is hazardous to health and environment and hence early detection is required. Crystal defects influencing optical property is less likely utilized for Ag detection using prevalent UV-Vis technique. Quantum dots (QDs) ZnS prepared by soft chemical route are exploited for the detection of Ag ions in aqueous solution for nM to mM concentrations. UV-Vis and photoluminescence (PL) measurements reveal quantum confinement effect and presence of defects in ZnS nanoparticles (NPs). Controlled synthesis of ZnS NPs allows appearance of defects related peak at 400-550 nm in UV-Vis spectra. A plausible mechanism is presented and elucidated by XRD and PL studies for chemical interaction between ZnS with Ag ion. The interaction affects prominently and defects related absorption of ZnS NPs and allows single step Ag ion detection in aqueous medium. This absorption method is extended to other ions (Na, K, Mg, Ca, Ba ions) including S prone heavy and toxic ions like Pb, Hg and Cd. Among them, Ag ion shows the best response with ZnS NPs. This demonstration using a portable and cost effective technique with no organic component opens up possibility for other inorganic materials.


title: Variable exponent Calder\'on's problem in one dimension

abstract: We consider one-dimensional Calder\'on's problem for the variable exponent $p(\cdot)$-Laplace equation and find out that more can be seen than in the constant exponent case. The problem is to recover an unknown weight (conductivity) in the weighted $p(\cdot)$-Laplace equation from Dirichlet and Neumann data of solutions. We give a constructive and local uniqueness proof for conductivities in $L^\infty$ restricted to the coarsest sigma-algebra that makes the exponent $p(\cdot)$ measurable.


title: Collider signature of $U_1$ Leptoquark and constraints from $b\to c$ observables

abstract: One of the most popular models that is known to be able to solve the lepton flavour universality violating charged ($b\to c$) and neutral current ($b\to s$) anomalies is the Leptoquark Model. In this work we examine the {\it multijet} + $\mET$ collider signature of a vector leptoquark ($U_1$) which has the potential to mediate both the charged and neutral current processes at tree level. From our collider analysis we derive the exclusion limits on mass for the $U_1$ leptoquark at 95\% C.L. at the current and future experiment of the Large Hadron Collider. We also calculate the effect of such a leptoquark in $b\to c$ observables.


title: Impact of perception models on friendship paradox and opinion formation

abstract: Topological heterogeneities of social networks have a strong impact on the individuals embedded in those networks. One of the interesting phenomena driven by such heterogeneities is the friendship paradox (FP), stating that the mean degree of one's neighbors is larger than the degree of oneself. Alternatively, one can use the median degree of neighbors as well as the fraction of neighbors having a higher degree than oneself. Each of these reflects on how people perceive their neighborhoods, i.e., their perception models, hence how they feel peer pressure. In our paper, we study the impact of perception models on the FP by comparing three versions of the perception model in networks generated with a given degree distribution and a tunable degree-degree correlation or assortativity. The increasing assortativity is expected to decrease network-level peer pressure, while we find a nontrivial behavior only for the mean-based perception model. By simulating opinion formation, in which the opinion adoption probability of an individual is given as a function of individual peer pressure, we find that it takes the longest time to reach consensus when individuals adopt the median-based perception model, compared to other versions. Our findings suggest that one needs to consider the proper perception model for better modeling human behaviors and social dynamics.


title: Exponential loss of memory for the 2-dimensional Allen-Cahn equation with small noise

abstract: We prove an asymptotic coupling theorem for the $2$-dimensional Allen--Cahn equation perturbed by a small space-time white noise. We show that with overwhelming probability two profiles that start close to the minimisers of the potential of the deterministic system contract exponentially fast in a suitable topology. In the $1$-dimensional case a similar result was shown in \cite{MS88,MOS89}. It is well-known that in more than one dimension solutions of this equation are distribution-valued, and the equation has to be interpreted in a renormalised sense. Formally, this renormalisation corresponds to moving the minima of the potential infinitely far apart and making them infinitely deep. We show that despite this renormalisation, solutions behave like perturbations of the deterministic system without renormalisation: they spend large stretches of time close to the minimisers of the (un-renormalised) potential and the exponential contraction rate of different profiles is given by the second derivative of the potential in these points. As an application we prove an Eyring--Kramers law for the transition times between the stable solutions of the deterministic system for fixed initial conditions.


title: Arc shift number and region arc shift number for virtual knots

abstract: In this paper, we formulate a new local move on virtual knot diagram, called arc shift move. Further, we extend it to another local move called region arc shift defined on a region of a virtual knot diagram. We establish that these arc shift and region arc shift moves are unknotting operations by showing that any virtual knot diagram can be turned into trivial knot using arc shift (region arc shift) moves. Based upon the arc shift move and region arc shift move, we define two virtual knot invariants, arc shift number and region arc shift number respectively.


title: Chiral 3d SU(3) SQCD and N=2 mirror duality

abstract: Recently a very interesting three-dimensional $\mathcal{N}=2$ supersymmetric theory with $SU(3)$ global symmetry was discussed by several authors. We denote this model by $T_x$. This was conjectured to have two dual descriptions, one with explicit supersymmetry and emergent flavor symmetry and the other with explicit flavor symmetry and emergent supersymmetry. We discuss a third description of the model which has both flavor symmetry and supersymmetry manifest. We then investigate models which can be constructed by using $T_x$ as a building block gauging the global symmetry and paying special attention to the global structure of the gauge group. We conjecture several cases of $\mathcal{N}=2$ mirror dualities involving such constructions with the dual being either a simple $\mathcal{N}=2$ Wess-Zumino model or a discrete gauging thereof.


title: Multi-wavelength study of the short term TeV flaring activity from the blazar Mrk 501 observed in June 2014

abstract: In this work, we study the short term flaring activity from the high synchrotron peaked blazar Mrk 501 detected by the FACT and H.E.S.S. telescopes in the energy range 2-20 TeV during June 23-24, 2014 (MJD 56831.86-56831.94). We revisit this major TeV flare of the source in the context of near simultaneous multi-wavelength observations of gamma-rays in MeV-GeV regime with Fermi-LAT, soft X-rays in 0.3-10 keV range with Swift-XRT, hard X-rays in 10-20 keV and 15-50 keV bands with MAXI and Swift-BAT respectively, UV-Optical with Swift-UVOT and 15 GHz radio with OVRO telescope. We have performed a detailed temporal and spectral analysis of the data from Fermi-LAT, Swift-XRT and Swift-UVOT during the period June 15-30, 2014 (MJD 56823-56838). Near simultaneous archival data available from Swift-BAT, MAXI and OVRO telescope along with the V-band optical polarization measurements from SPOL observatory are also used in the study of giant TeV flare of Mrk 501 detected by the FACT and H.E.S.S. telescopes. No significant change in the multi-wavelength emission from radio to high energy gamma-rays during the TeV flaring activity ofMrk 501 is observed except variation in soft X-rays. The varying soft X-ray emission is found to be correlated with the gamma-ray emission at TeV energies during the flaring activity of the source. The soft X-ray photon spectral index is observed to be anti-correlated with the integral flux showing harder-when-brighter behavior. An average value of 4.5% for V-band optical polarization is obtained during the above period whereas the corresponding electric vector position angle changes significantly. We have used the minimum variability timescale from the H.E.S.S. observations to estimate the Doppler factor of the emission region which is found to be consistent with the previous studies of the source.


title: A Review of Compact Interferometers

abstract: Compact interferometers, called phasemeters, make it possible to operate over a large range while ensuring a high resolution. Such performance is required for the stabilization of large instruments dedicated to experimental physics such as gravitational wave detectors. This paper aims at presenting the working principle of the different types of phasemeters developed in the literature. These devices can be classified into two categories: homodyne and heterodyne interferometers. Improvement of resolution and accuracy has been studied for both devices. Resolution is related to the noise sources that are added to the signal. Accuracy corresponds to distortion of the phase measured with respect to the real phase, called non-linearity. The solutions proposed to improve the device resolution and accuracy are discussed based on a comparison of the reached resolutions and of the residual non-linearities.


title: Predicate Specialization for Definitional Higher-order Logic Programs

abstract: Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as arguments and variables to be used where predicates typically occur. Higher-order characteristics are indeed desirable but on the other hand they are also usually more expensive to support. In this paper we propose a program specialization technique based on partial evaluation that can be applied to a modest but useful class of higher-order logic programs and can transform them into first-order programs without introducing additional data structures. The resulting first-order programs can be executed by conventional logic programming interpreters and benefit from other optimizations that might be available. We provide an implementation and experimental results that suggest the efficiency of the transformation.


title: Optical Properties of an IR-Transparent Prismatic Plate in Exposure to the Thermal Radiation and its Application as a Radiation Rectifier

abstract: Optical properties of a prismatic transparent plate and its effects on thermal radiation heat transfer are studied. A 3D ray-tracing numerical method is used to prove the bi-transmittance property of the prismatic sheet when it is exposed to thermal radiation in two opposite directions. It is shown that in the present of a prismatic window a thermal equilibrium with a temperature gradient between two sources is possible.


title: Path integrals, spontaneous localisation, and the classical limit

abstract: We recall that in order to obtain the classical limit of quantum mechanics one needs to take the $\hbar\rightarrow 0$ limit. In addition, one also needs an explanation for the absence of macroscopic quantum superposition of position states. One possible explanation for the latter is the Ghirardi-Rimini-Weber (GRW) model of spontaneous localisation. Here we describe how spontaneous localisation modifies the path integral formulation of density matrix evolution in quantum mechanics. (Such a formulation has been derived earlier by Pearle and Soucek; we provide two new derivations of their result). We then show how the von Neumann equation and the Liouville equation for the density matrix arise in the quantum and classical limit, respectively, from the GRW path integral. Thus we provide a rigorous demonstration of the quantum to classical transition.


title: Strange matter and kaon to pion ratio in SU(3) PNJL model

abstract: The behavior of strange matter in the frame of the SU(3)Polyakov-loop extended Nambu-Jona-Lasinio model including $U_A(1)$ anomaly is considered. We discuss the appearance of a peak in the ratio of the number of strange mesons to non-strange mesons known as the "horn". The PNJL model gives a schematic description of the chiral phase transition and meson properties at finite temperature and density. Using the model, we can show that the splitting of kaon and anti-kaon masses appears as a result of introduction of density. This may explain the difference in the $K^+/\pi^+$ ratio and $K^-/\pi^-$ ratio at low $\sqrt{s_{NN}}$ and their tendency to the same value at high $\sqrt{s_{NN}}$. We also show that the rise in the ratio $K^+/\pi^+$ appears near CEP when we build the $K^+/\pi^+$ ratio along the phase transition diagram and it can be considered as a critical region signal.


title: The contractivity of cone-preserving multilinear mappings

abstract: With the notion of mode-$j$ Birkhoff contraction ratio, we prove a multilinear version of the Birkhoff-Hopf and the Perron-Fronenius theorems, which provide conditions on the existence and uniqueness of a solution to a large family of systems of nonlinear equations of the type $f_i(x_1,\dots,x_\nu)= \lambda_i x_i$, being $x_i$ and element of a cone $C_i$ in a Banach space $V_i$. We then consider a family of nonlinear integral operators $f_i$ with positive kernel, acting on product of spaces of continuous real valued functions. In this setting we provide an explicit formula for the mode-$j$ contraction ratio which is particularly relevant in practice as this type of operators play a central role in numerous models and applications.

categories: math.SP cs.NA math-ph math.FA math.MP math.NA


title: Incremental Non-Rigid Structure-from-Motion with Unknown Focal Length

abstract: The perspective camera and the isometric surface prior have recently gathered increased attention for Non-Rigid Structure-from-Motion (NRSfM). Despite the recent progress, several challenges remain, particularly the computational complexity and the unknown camera focal length. In this paper we present a method for incremental Non-Rigid Structure-from-Motion (NRSfM) with the perspective camera model and the isometric surface prior with unknown focal length. In the template-based case, we provide a method to estimate four parameters of the camera intrinsics. For the template-less scenario of NRSfM, we propose a method to upgrade reconstructions obtained for one focal length to another based on local rigidity and the so-called Maximum Depth Heuristics (MDH). On its basis we propose a method to simultaneously recover the focal length and the non-rigid shapes. We further solve the problem of incorporating a large number of points and adding more views in MDH-based NRSfM and efficiently solve them with Second-Order Cone Programming (SOCP). This does not require any shape initialization and produces results orders of times faster than many methods. We provide evaluations on standard sequences with ground-truth and qualitative reconstructions on challenging YouTube videos. These evaluations show that our method performs better in both speed and accuracy than the state of the art.


title: On the Measurement of the Helicity of Intergalactic Magnetic Fields Using Ultra-High-Energy Cosmic Rays

abstract: The origin of the first magnetic fields in the Universe is a standing problem in cosmology. Intergalactic magnetic fields (IGMFs) may be an untapped window to the primeval Universe, providing further constrains on magnetogenesis. We demonstrate the feasibility of using ultra-high-energy cosmic rays (UHECRs) to constrain the helicity of IGMFs by performing simulations of cosmic-ray propagation in simple magnetic field configurations. We show that the first harmonic moments of the arrival distribution of UHECRs may be used to measure the absolute value of the helicity and its sign.


title: Thermoelectric determination of electronic entropy change in Ni-doped FeRh

abstract: The net entropy change corresponding to the charge carriers in a Ni-doped FeRh bulk polycrystal was experimentally evaluated in a single sample using low temperature heat capacity experiments with applied magnetic field, and using Seebeck effect and Hall coefficient measurements at high temperatures across the first order transition. From the heat capacity data a value for the electronic entropy change \(\Delta S_{el}\approx8.9\) J\ kg\(^{-1}\)K\(^{-1}\) was extracted, whereas a value of up to 4 J\ kg\(^{-1}\)K\(^{-1}\) was obtained form the Seebeck coefficient. Additionally, the analysis of the Seebeck coefficient allows tracing the evolution of the electronic entropy change with applied magnetic field. An increase of the electronic entropy with increasing applied magnetic field is evidenced, as high as 10 percent at 6 T.


title: Stealth Attacks on the Smart Grid

abstract: Random attacks that jointly minimize the amount of information acquired by the operator about the state of the grid and the probability of attack detection are presented. The attacks minimize the information acquired by the operator by minimizing the mutual information between the observations and the state variables describing the grid. Simultaneously, the attacker aims to minimize the probability of attack detection by minimizing the Kullback-Leibler (KL) divergence between the distribution when the attack is present and the distribution under normal operation. The resulting cost function is the weighted sum of the mutual information and the KL divergence mentioned above. The tradeoff between the probability of attack detection and the reduction of mutual information is governed by the weighting parameter on the KL divergence term in the cost function. The probability of attack detection is evaluated as a function of the weighting parameter. A sufficient condition on the weighting parameter is given for achieving an arbitrarily small probability of attack detection. The attack performance is numerically assessed on the IEEE 30-Bus and 118-Bus test systems.


title: Faster deterministic parameterized algorithm for k-Path

abstract: In the k-Path problem, the input is a directed graph $G$ and an integer $k\geq 1$, and the goal is to decide whether there is a simple directed path in $G$ with exactly $k$ vertices. We give a deterministic algorithm for k-Path with time complexity $O^*(2.554^k)$. This improves the previously best deterministic algorithm for this problem of Zehavi [ESA 2015] whose time complexity is $O^*(2.597^k)$. The technique used by our algorithm can also be used to obtain faster deterministic algorithms for k-Tree, r-Dimensional k-Matching, Graph Motif, and Partial Cover.


title: Existence of solution to a nonlocal conformable fractional thermistor problem

abstract: We study a nonlocal thermistor problem for fractional derivatives in the conformable sense. Classical Schauder's fixed point theorem is used to derive the existence of a tube solution.


title: Automatic Plaque Detection in IVOCT Pullbacks Using Convolutional Neural Networks

abstract: Coronary heart disease is a common cause of death despite being preventable. To treat the underlying plaque deposits in the arterial walls, intravascular optical coherence tomography can be used by experts to detect and characterize the lesions. In clinical routine, hundreds of images are acquired for each patient which requires automatic plaque detection for fast and accurate decision support. So far, automatic approaches rely on classic machine learning methods and deep learning solutions have rarely been studied. Given the success of deep learning methods with other imaging modalities, a thorough understanding of deep learning-based plaque detection for future clinical decision support systems is required. We address this issue with a new dataset consisting of in-vivo patient images labeled by three trained experts. Using this dataset, we employ state-of-the-art deep learning models that directly learn plaque classification from the images. For improved performance, we study different transfer learning approaches. Furthermore, we investigate the use of cartesian and polar image representations and employ data augmentation techniques tailored to each representation. We fuse both representations in a multi-path architecture for more effective feature exploitation. Last, we address the challenge of plaque differentiation in addition to detection. Overall, we find that our combined model performs best with an accuracy of 91.7%, a sensitivity of 90.9% and a specificity of 92.4%. Our results indicate that building a deep learning-based clinical decision support system for plaque detection is feasible.


title: Polytropic stars in Palatini gravity

abstract: We have derived a modified Lane-Emden equation for the Starobinsky model in Palatini gravity which is numerically solvable. Comparing the results to the ones provided by General Relativity we observe a significant difference depending on the theory parameter for the $M-R$ relations.


title: Rapid Adaptation of Neural Machine Translation to New Languages

abstract: This paper examines the problem of adapting neural machine translation systems to new, low-resourced languages (LRLs) as effectively and rapidly as possible. We propose methods based on starting with massively multilingual "seed models", which can be trained ahead-of-time, and then continuing training on data related to the LRL. We contrast a number of strategies, leading to a novel, simple, yet effective method of "similar-language regularization", where we jointly train on both a LRL of interest and a similar high-resourced language to prevent over-fitting to small LRL data. Experiments demonstrate that massively multilingual models, even without any explicit adaptation, are surprisingly effective, achieving BLEU scores of up to 15.5 with no data from the LRL, and that the proposed similar-language regularization method improves over other adaptation methods by 1.7 BLEU points average over 4 LRL settings. Code to reproduce experiments at https://github.com/neubig/rapid-adaptation


title: A prototype-based approach to object reclassification

abstract: We investigate, in the context of functional prototype-based lan- guages, a calculus of objects which might extend themselves upon receiving a message, a capability referred to by Cardelli as a self-inflicted operation. We present a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found runtime error. The resulting calculus is an attempt towards the definition of a language combining the safety advantage of static type checking with the flexibility normally found in dynamically typed languages.


title: Equidistributed statistics on Fishburn matrices and permutations

abstract: Recently, Jel\'inek conjectured that there exists a bijection between certain restricted permutations and Fishburn matrices such that the bijection verifies the equidistribution of several statistics. The main objective of this paper is to establish such a bijection.


title: Multi-time formulation of particle creation and annihilation via interior-boundary conditions

abstract: Interior-boundary conditions (IBCs) have been suggested as a possibility to circumvent the problem of ultraviolet divergences in quantum field theories. In the IBC approach, particle creation and annihilation is described with the help of linear conditions that relate the wave functions of two sectors of Fock space: $\psi^{(n)}(p)$ at an interior point $p$ and $\psi^{(n+m)}(q)$ at a boundary point $q$, typically a collision configuration. Here, we extend IBCs to the relativistic case. To do this, we make use of Dirac's concept of multi-time wave functions, i.e., wave functions $\psi(x_1,...,x_N)$ depending on $N$ space-time coordinates $x_i$ for $N$ particles. This provides the manifestly covariant particle-position representation that is required in the IBC approach. In order to obtain rigorous results, we construct a model for Dirac particles in 1+1 dimensions that can create or annihilate each other when they meet. Our main results are an existence and uniqueness theorem for that model, and the identification of a class of IBCs ensuring local probability conservation on all Cauchy surfaces. Furthermore, we explain how these IBCs relate to the usual formulation with creation and annihilation operators. The Lorentz invariance is discussed and it is found that apart from a constant matrix (which is required to transform in a certain way) the model is manifestly Lorentz invariant. This makes it clear that the IBC approach can be made compatible with relativity.


title: The Delta-framework

abstract: We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union. Strong proof-functional connectives take into account the shape of logical proofs, thus reflecting polymorphic features of proofs in formulae. This is in contrast to classical or intuitionistic connectives where the meaning of a compound formula depends only on the truth value or the provability of its subformulae. Our framework encompasses a wide range of type disciplines. Moreover, since relevant implication permits to express subtyping, LF-Delta subsumes also Pfenning's refinement types. We discuss the design decisions which have led us to the formulation of LF-Delta, study its metatheory, and provide various examples of applications. Our strong proof-functional type theory can be plugged in existing common proof assistants.


title: Aspects of Higher-Abelian Gauge Theories at zero and finite temperature: Topological Casimir effect, duality and Polyakov loops

abstract: Higher-abelian gauge theories associated with Cheeger-Simons differential characters are studied on compact manifolds without boundary. The paper consists of two parts: First the functional integral formulation based on zeta function regularization is revisited and extended in order to provide a general framework for further applications. A field theoretical model - called extended higher-abelian Maxwell theory - is introduced, which is a higher-abelian version of Maxwell theory of electromagnetism extended by a particular topological action. This action is parametrized by two non-dynamical harmonic forms and generalizes the $\theta$-term in usual gauge theories. In the second part the general framework is applied to study the topological Casimir effect in higher-abelian gauge theories at finite temperature at equilibrium. The extended higher-abelian Maxwell theory is discussed in detail and an exact expression for the free energy is derived. A non-trivial topology of the background space-time modifies the spectrum of both the zero-point fluctuations and the occupied states forming the thermal ensemble. The vacuum (Casimir) energy has two contributions: one related to the propagating modes and the second one related to the topologically inequivalent configurations of higher-abelian gauge fields. In the high temperature limit the leading term is of Stefan-Boltzmann type and the topological contributions are suppressed. With a particular choice of parameters extended higher-abelian Maxwell theories of different degrees are shown to be dual. On the $n$-dimensional torus we provide explicit expressions for the thermodynamic functions in the low- and high temperature regimes, respectively. Finally, the impact of the background topology on the two-point correlation function of a higher-abelian variant of the Polyakov loop operator is analyzed.


title: Giant non-linear susceptibility of hydrogenic donors in silicon and germanium

abstract: Implicit summation is a technique for the conversion of sums over intermediate states in multiphoton absorption and the high-order susceptibility in hydrogen into simple integrals. Here, we derive the equivalent technique for hydrogenic impurities in multi-valley semiconductors. While the absorption has useful applications, it is primarily a loss process; conversely, the non-linear susceptibility is a crucial parameter for active photonic devices. For Si:P, we predict the hyperpolarizability ranges from $\chi^{(3)}/n_{\text{3D}}=2.9 $ to $580 \times 10^{-38}$ $\text{m}^5/\text{V}^2$ depending on the frequency, even while avoiding resonance. Using samples of a reasonable density, $n_{\text{3D}}$, and thickness, $L$, to produce third-harmonic generation at 9 THz, a frequency that is difficult to produce with existing solid-state sources, we predict that $\chi^{(3)}$ should exceed that of bulk InSb and $\chi^{(3)}L$ should exceed that of graphene and resonantly enhanced quantum wells.


title: Critical neuronal models with relaxed timescales separation

abstract: Power laws in nature are considered to be signatures of complexity. The theory of self-organized criticality (SOC) was proposed to explain their origins. A longstanding principle of SOC is the \emph{separation of timescales} axiom. It dictates that external input is delivered to the system at a much slower rate compared to the timescale of internal dynamics. The statistics of neural avalanches in the brain was demonstrated to follow a power law, indicating closeness to a critical state. Moreover, criticality was shown to be a beneficial state for various computations leading to the hypothesis, that the brain is a SOC system. However, for neuronal systems that are constantly bombarded by incoming signals, separation of timescales assumption is unnatural. Recently it was experimentally demonstrated that a proper correction of the avalanche detection algorithm to account for the increased drive during task performance leads to a change of the power-law exponent from $1.5$ to approximately $1.3$, but there is so far no theoretical explanation for this change. Here we investigate the importance of timescales separation, by partly abandoning it in various models. We achieve it by allowing for external input during the avalanche, without compromising the separation of avalanches. We develop an analytic treatment and provide numerical simulations of a simple neuronal model.


title: Fourier Optics in the Classroom

abstract: Borrowing methods and formulas from Prof. Goodman's classic Introduction to Fourier Optics textbook [1], I have developed a software package [2] that has been used in both industrial research and classroom teaching [3]. This paper briefly describes a few optical system simulations that have been used over the past 30 years to convey the power and the beauty of Fourier Optics to our students at the University of Arizona's College of Optical Sciences.


title: Exact density matrix of a discrete quantum system immersed in a thermal reservoir

abstract: Quantum dissipation is studied for a discrete system that linearly interacts with a reservoir of harmonic oscillators at thermal equilibrium. Initial correlations between system and reservoir are assumed to be absent. The dissipative dynamics as determined by the unitary evolution of system and reservoir is described by a Kraus map consisting of an infinite number of matrices. For all Laplace-transformed Kraus matrices exact solutions are constructed in terms of continued fractions that depend on the pair correlation functions of the reservoir.


title: Passing through a stack $k$ times with reversals

abstract: We consider a stack sorting algorithm where only the appropriate output values are popped from the stack and then any remaining entries in the stack are run through the stack in reverse order. We identify the basis for the $2$-reverse pass sortable permutations and give computational results for some classes with larger maximal rev-tier. We also show all classes of $(t+1)$-reverse pass sortable permutations are finitely based. Additionally, a new Entringer family consisting of maximal rev-tier permutations of length $n$ was discovered along with a bijection between this family and the collection of alternating permutations of length $n-1$. We calculate generating functions for the number permutations of length $n$ and exact rev-tier $t$.


title: New optimal control problems in density functional theory motivated by photovoltaics

abstract: We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level of theory, with the control being given by the nuclear charge distribution. We prove that nuclear distributions exist which give rise to optimal HOMO-LUMO excitations, and present illustrative numerical simulations for 1D finite nanocrystals. We observe pronounced goal-dependent features such as large electron-hole separation, and a hierarchy of length scales: internal HOMO and LUMO wavelengths $<$ atomic spacings $<$ (irregular) fluctuations of the doping profiles $<$ system size.


title: On the Feasibility of FPGA Acceleration of Molecular Dynamics Simulations

abstract: Classical molecular dynamics (MD) simulations are important tools in life and material sciences since they allow studying chemical and biological processes in detail. However, the inherent scalability problem of particle-particle interactions and the sequential dependency of subsequent time steps render MD computationally intensive and difficult to scale. To this end, specialized FPGA-based accelerators have been repeatedly proposed to ameliorate this problem. However, to date none of the leading MD simulation packages fully support FPGA acceleration and a direct comparison of GPU versus FPGA accelerated codes has remained elusive so far. With this report, we aim at clarifying this issue by comparing measured application performance on GPU-dense compute nodes with performance and cost estimates of a FPGA-based single- node system. Our results show that an FPGA-based system can indeed outperform a similarly configured GPU-based system, but the overall application-level speedup remains in the order of 2x due to software overheads on the host. Considering the price for GPU and FPGA solutions, we observe that GPU-based solutions provide the better cost/performance tradeoff, and hence pure FPGA-based solutions are likely not going to be commercially viable. However, we also note that scaled multi-node systems could potentially benefit from a hybrid composition, where GPUs are used for compute intensive parts and FPGAs for latency and communication sensitive tasks.


title: Lower bounds for Dirichlet Laplacians and uncertainty principles

abstract: We prove lower bounds for the Dirichlet Laplacian on possibly unbounded domains in terms of natural geometric conditions. This is used to derive uncertainty principles for low energy functions of general elliptic second order divergence form operators with not necessarily continuous main part.


title: Xcos on Web as a promising learning tool for Bachelor's of Electromechanics modeling of technical objects

abstract: Research goals: to identify the perspective learning simulation tool for Bachelors of Electromechanics. Research objectives: to prove the feasibility of using the simulation system Xcos on Web as a tool of forming of future Bachelors of Electromechanics competence in modeling of technical objects. Research object: the use of imitative simulation systems to learning the Bachelors of Electromechanics. Research subject: the use Xcos on Web in learning modeling of technical objects the Bachelors of Electromechanics. Research methods used: the analysis of existing software usage experience. Research results. The imitative simulation system Xcos on Web is a promising cloud-based learning tool for Bachelor's of Electromechanics modeling of technical objects. The main conclusions and recommendations: 1. The use of simulation systems, such as Scilab Xcos, is a necessary part of Bachelor of Electromechanics professional training. 2. Cloud-based learning environment built on the integrative usage of mobile Internet devices promotes the forming of Bachelor's of Electromechanics professional competencies. 3. Implementation the full Scilab Xcos functionality at Xcos on Web creates conditions for transition in Bachelor's of Electromechanics learning the simulation of technical objects to the use of mobile Internet devices.


title: Resonant x-ray diffraction from chiral electric-polarization structures

abstract: Heterostructures of PbTiO$_3$/SrTiO$_3$ superlattices have shown the formation of "polar vortices", in which a continuous rotation of ferroelectric polarization spontaneously forms. Recently, Shafer {\it{et al.}} [Proc.\ Natl.\ Acad.\ Sci.\ (PNAS) {\bf{115}}, 915 (2018)] reported strong {\it{non-magnetic}} circular dichroism (CD) in resonant soft x-ray diffraction at the Ti $L_3$ edge from such superlattices. The authors ascribe the CD to the chiral rotation of a polar vector. However, a polar vector is invisible to the parity-even electric-dipole transition which governs absorption in the soft x-ray region. A realistic, non-magnetic explanation of the observed effect is found in Templeton-Templeton scattering. Following this route, the origin of the CD in Bragg diffraction is shown by us to be the chiral array of charge quadrupole moments that forms in these heterostructures. While there is no charge quadrupole moment in the spherically symmetric $3d^0$ valence state of Ti$^{4+}$, the excited state $2p_{3/2}3d(t_{2g})$ at the Ti $L_3$ resonance is known to have a quadrupole moment. Our expressions for intensities of satellite Bragg spots in resonance-enhanced diffraction of circularly polarized x-rays, including their harmonic content, account for all observations reported by Shafer {\it{et al.}} We predict both intensities of Bragg spots for the second harmonic of a chiral superlattice and circular polarization created from unpolarized x-rays, in order that our successful explanation of existing diffraction data can be further scrutinized through renewed experimental investigations. The increased understanding of chiral dipole arrangements could open the door to switchable optical polarization.


title: Partial Adversarial Domain Adaptation

abstract: Domain adversarial learning aligns the feature distributions across the source and target domains in a two-player minimax game. Existing domain adversarial networks generally assume identical label space across different domains. In the presence of big data, there is strong motivation of transferring deep models from existing big domains to unknown small domains. This paper introduces partial domain adaptation as a new domain adaptation scenario, which relaxes the fully shared label space assumption to that the source label space subsumes the target label space. Previous methods typically match the whole source domain to the target domain, which are vulnerable to negative transfer for the partial domain adaptation problem due to the large mismatch between label spaces. We present Partial Adversarial Domain Adaptation (PADA), which simultaneously alleviates negative transfer by down-weighing the data of outlier source classes for training both source classifier and domain adversary, and promotes positive transfer by matching the feature distributions in the shared label space. Experiments show that PADA exceeds state-of-the-art results for partial domain adaptation tasks on several datasets.


title: A presentation for the symplectic blob algebra

abstract: The symplectic blob algebra $b_n$ ($n \in \mathbb{N}$) is a finite dimensional algebra defined by a multiplication rule on a basis of certain diagrams. The rank $r(n)$ of $b_n$ is not known in general, but $r(n)/n$ grows unboundedly with $n$. For each $b_n$ we define an algebra by presentation, such that the number of generators and relations grows linearly with $n$. We prove that these algebras are isomorphic.


title: Modulations of the Cosmic Muon Signal in Ten Years of Borexino Data

abstract: We have measured the flux of cosmic muons in the Laboratori Nazionali del Gran Sasso at 3800\,m\,w.e. to be $(3.432 \pm 0.003)\cdot 10^{-4}\,\mathrm{{m^{-2}s^{-1}}}$ based on ten years of Borexino data acquired between May 2007 and May 2017. A seasonal modulation with a period of $(366.3 \pm 0.6)\,\mathrm{d}$ and a relative amplitude of $(1.36 \pm0.04)\%$ is observed. The phase is measured to be $(181.7 \pm 0.4)\,\mathrm{d}$, corresponding to a maximum at the 1$^\mathrm{st}$ of July. Using data inferred from global atmospheric models, we show the muon flux to be positively correlated with the atmospheric temperature and measure the effective temperature coefficient $\alpha_\mathrm{T} = 0.90 \pm 0.02$. The origin of cosmic muons from pion and kaon decays in the atmosphere allows to interpret the effective temperature coefficient as an indirect measurement of the atmospheric kaon-to-pion production ratio $r_{\mathrm{K}/\pi} = 0.11^{+0.11}_{-0.07}$ for primary energies above $18\,\mathrm{TeV}$. We find evidence for a long-term modulation of the muon flux with a period of $\sim 3000\,\mathrm{d}$ and a maximum in June 2012 that is not present in the atmospheric temperature data. A possible correlation between this modulation and the solar activity is investigated. The cosmogenic neutron production rate is found to show a seasonal modulation in phase with the cosmic muon flux but with an increased amplitude of $(2.6 \pm 0.4)\%$.


title: Neural Semi-Markov Conditional Random Fields for Robust Character-Based Part-of-Speech Tagging

abstract: Character-level models of tokens have been shown to be effective at dealing with within-token noise and out-of-vocabulary words. But these models still rely on correct token boundaries. In this paper, we propose a novel end-to-end character-level model and demonstrate its effectiveness in multilingual settings and when token boundaries are noisy. Our model is a semi-Markov conditional random field with neural networks for character and segment representation. It requires no tokenizer. The model matches state-of-the-art baselines for various languages and significantly outperforms them on a noisy English version of a part-of-speech tagging benchmark dataset. Our code and the noisy dataset are publicly available at http://cistern.cis.lmu.de/semiCRF.


title: Quantifying quantum reference frames in composed systems: local, global and mutual asymmetries

abstract: The Page-Wootters mechanism questioned the fundamental nature of time in quantum physics. The mechanism explored the notion that a given physical quantity is always defined and measured relative to a reference frame, in general, not explained in the theoretical description of quantum physical experiments. Recently, the resource theory of asymmetry deals explicitly with what are the physical conditions for a quantum system to serve as a good reference frame. Nonetheless, to quantify a quantum reference frame in relation to another one it is a important task to establish an internal description of quantum theory, i.e., without the need of a classical reference frame. In this work we address this issue by the concept of mutual asymmetry and use this machinery in the Page-Wootters mechanism by identifying the concept of mutual asymmetry as mutual or internal coherence. To do so, the notion of quantum coherence in relation of a quantum reference frame is revisited and a quantifier is proposed in this scenario. Also, this open space to investigate the link of internal coherence and correlations, as proposed by Page and Wootters, under a resource theory approach.


title: The collision of two-kinks revisited: the creation of kinks and lump-like defects as metastable states

abstract: We present a more detailed numerical investigation of the head-on collision of a two-kink/two-antikink system. We identified the escape of oscillon-like configurations as a pair of kinks of the standard $\phi^4$ model moving apart from each other. New pieces of evidence support that the lump-like defects can emerge from the two-kinks interaction to form metastable configurations. Moreover, these configurations signalize the windows of escape that have a fractal structure similar to the $n$-bounce sequence when the kinks of $\phi^4$ interact. As the last piece of the numerical experiment, we show that by perturbing conveniently a lump-like defect it is possible to recover another lump-like configuration as a metastable configuration.


title: The possibility of use of QR-codes in teaching physics

abstract: In the article discusses the possibility of using of QR-codes in teaching physics. It is noted that the technology of recognition of QR-codes can be attributed to elements of mobile information and education environment. On the basis of summarizing existing research discusses the advantages and disadvantages of using QR-codes, and the application of codes in the learning process. Examples of the use of QR-codes in teaching physics (of physical quests and web quests, of games, quizzes, polls, creating a virtual exhibition, creating applications to educational facilities, the creation and study of computer models of physical phenomena and processes, organization Self-Test) are described. Found that the mobile learning available to pupils (students), and elements of the mobile information-educational environment (including technology development and recognition of QR-codes) have sufficient capacity in teaching physics.


title: Methods of learning of computer simulation of physical processes and phenomena in university

abstract: To effectively prepare engineering students requires of formation of a system of fundamental physical knowledge together with the ability to apply them in specific productive activities, both on fundamental and on the profiled-oriented level. Accordingly the tasks of physics of high school is mastering the methodology of science knowledge and scientific way of thinking and generalize of experimental natural ability to conduct scientific research by methods of physical knowledge. In the process of teaching physics simulations simultaneously acts by scientific knowledge, is part of the content of educational material and effective means of experiment. It is possible to obtain special teaching methods of computer simulation, which include primarily computer experiment. The main methods of computer modeling learning in university are a multimedia lecture, telecommunications project and computer-oriented laboratory practice. The main tasks of teaching computer modeling in physics course are the overall development and formation of outlook of future engineers and development practical skills in computer simulation. The leading method of learning computer simulation in physics course is a project method. Those methods of learning are optimal in the context of developmental education. Computational experiment is a modeling methodology as a science, so it can be attributed to the principles of scientific methods of learning. Purposes of learning physics in university include the necessity of mastering a given set of scientific facts and methods of getting these facts. Computational experiment reflects the method of knowledge which applied in physics.


title: Algorithmic No-Cloning Theorem

abstract: We introduce the notions of algorithmic mutual information and rarity of quantum states. These definitions enjoy conservation inequalities over unitary transformations and partial traces. We show that a large majority of pure states have minute self algorithmic information. We provide an algorithmic variant to the no-cloning theorem, by showing that only a small minority of quantum pure states can clone a non negligible amount of algorithmic information. We also provide a chain rule inequality for quantum algorithmic entropy. We show that rarity does not increase under POVM measurements.


title: Data Analysis for Precision Spectroscopy: the ESPRESSO Case

abstract: ESPRESSO is an extremely stable high-resolution spectrograph which is currently being developed for the ESO VLT. With its groundbreaking characteristics it is aimed to be a "science machine", i.e. a fully-integrated instrument to directly extract science information from the observations. In particular, ESPRESSO will be the first ESO instrument to be equipped with a dedicated tool for the analysis of data, the Data Analysis Software (DAS), consisting in a number of recipes to analyze both stellar and quasar spectra. Through the new ESO Reflex GUI, the DAS (which will implement new algorithms to analyze quasar spectra) is aimed to get over the shortcomings of the existing software providing multiple iteration modes and full interactivity with the data.


title: Inverse design of large-area metasurfaces

abstract: We present a computational framework for efficient optimization-based "inverse design" of large-area "metasurfaces" (subwavelength-patterned surfaces) for applications such as multi-wavelength and multi-angle optimizations, and demultiplexers. To optimize surfaces that can be thousands of wavelengths in diameter, with thousands (or millions) of parameters, the key is a fast approximate solver for the scattered field. We employ a "locally periodic" approximation in which the scattering problem is approximated by a composition of periodic scattering problems from each unit cell of the surface, and validate it against brute-force Maxwell solutions. This is an extension of ideas in previous metasurface designs, but with greatly increased flexibility, e.g. to automatically balance tradeoffs between multiple frequencies, or to optimize a photonic device given only partial information about the desired field. Our approach even extends beyond the metasurface regime to non-subwavelength structures where additional diffracted orders must be included (but the period is not large enough to apply scalar diffraction theory).


title: Effective Unsupervised Author Disambiguation with Relative Frequencies

abstract: This work addresses the problem of author name homonymy in the Web of Science. Aiming for an efficient, simple and straightforward solution, we introduce a novel probabilistic similarity measure for author name disambiguation based on feature overlap. Using the researcher-ID available for a subset of the Web of Science, we evaluate the application of this measure in the context of agglomeratively clustering author mentions. We focus on a concise evaluation that shows clearly for which problem setups and at which time during the clustering process our approach works best. In contrast to most other works in this field, we are sceptical towards the performance of author name disambiguation methods in general and compare our approach to the trivial single-cluster baseline. Our results are presented separately for each correct clustering size as we can explain that, when treating all cases together, the trivial baseline and more sophisticated approaches are hardly distinguishable in terms of evaluation results. Our model shows state-of-the-art performance for all correct clustering sizes without any discriminative training and with tuning only one convergence parameter.


title: Unsupervised Learning of Sentence Representations Using Sequence Consistency

abstract: Computing universal distributed representations of sentences is a fundamental task in natural language processing. We propose ConsSent, a simple yet surprisingly powerful unsupervised method to learn such representations by enforcing consistency constraints on sequences of tokens. We consider two classes of such constraints -- sequences that form a sentence and between two sequences that form a sentence when merged. We learn sentence encoders by training them to distinguish between consistent and inconsistent examples, the latter being generated by randomly perturbing consistent examples in six different ways. Extensive evaluation on several transfer learning and linguistic probing tasks shows improved performance over strong unsupervised and supervised baselines, substantially surpassing them in several cases. Our best results are achieved by training sentence encoders in a multitask setting and by an ensemble of encoders trained on the individual tasks.


title: Android HIV: A Study of Repackaging Malware for Evading Machine-Learning Detection

abstract: Machine learning based solutions have been successfully employed for automatic detection of malware on Android. However, machine learning models lack robustness to adversarial examples, which are crafted by adding carefully chosen perturbations to the normal inputs. So far, the adversarial examples can only deceive detectors that rely on syntactic features (e.g., requested permissions, API calls, etc), and the perturbations can only be implemented by simply modifying application's manifest. While recent Android malware detectors rely more on semantic features from Dalvik bytecode rather than manifest, existing attacking/defending methods are no longer effective. In this paper, we introduce a new attacking method that generates adversarial examples of Android malware and evades being detected by the current models. To this end, we propose a method of applying optimal perturbations onto Android APK that can successfully deceive the machine learning detectors. We develop an automated tool to generate the adversarial examples without human intervention. In contrast to existing works, the adversarial examples crafted by our method can also deceive recent machine learning based detectors that rely on semantic features such as control-flow-graph. The perturbations can also be implemented directly onto APK's Dalvik bytecode rather than Android manifest to evade from recent detectors. We demonstrate our attack on two state-of-the-art Android malware detection schemes, MaMaDroid and Drebin. Our results show that the malware detection rates decreased from 96% to 0% in MaMaDroid, and from 97% to 0% in Drebin, with just a small number of codes to be inserted into the APK.


title: Characterization of Electric Fields for Perfect Conductivity Problems in 3D

abstract: In composite materials, the inclusions are frequently spaced very closely. The electric field concentrated in the narrow regions between two adjacent perfectly conducting inclusions will always become arbitrarily large. In this paper, we establish an asymptotic formula of the electric field in the zone between two spherical inclusions with different radii in three dimensions. An explicit blowup factor relying on radii is obtained, which also involves the digamma function and Euler-Mascheroni constant, and so the role of inclusions' radii played in such blowup analysis is identified.


title: Average Betti numbers of induced subcomplexes in triangulations of manifolds

abstract: We study a variation of Bagchi and Datta's $\sigma$-vector of a simplicial complex $C$, whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of $C$. We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of $C$. This interpretation implies, by a result of Adiprasito, that the Billera-Lee sphere maximizes these invariants among triangulated spheres with a given $f$-vector. For the first entry of $\sigma$, we extend this bound to the class of strongly connected pure complexes. As an application, we show how upper bounds on $\sigma$ can be used to obtain lower bounds on the $f$-vector of triangulated $4$-manifolds with transitive symmetry on vertices and prescribed vector of Betti numbers.


title: On criteria for rook equivalence of Ferrers boards

abstract: In [2] we introduced a new notion of Wilf equivalence of integer partitions and proved that rook equivalence implies Wilf equivalence. In the present paper we prove the converse and thereby establish a new criterion for rook equivalence. We also refine two of the standard criteria for rook equivalence and establish another new one involving what we call \emph{nested sequences of L's}.


title: Addressing Client Needs for Cloud Computing using Formal Foundations

abstract: Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The space and structure created by such technological advancements are immense sources of information and impose a high complexity and heterogeneity, which might lead to unexpected failures. In this chapter, we present a model that coordinates the multi-cloud interaction through the specification, validation, and verification of a middle-ware exploiting monitoring and adaptation processes. The monitoring processes handle collecting meaningful data and assessing the state of components, while the adaptation processes restore the system as dictated by the evolution needs and sudden changes in the operating environment conditions. We employ Abstract State Machines to specify the models and we further make use of the ASMETA framework to simulate and validate them. Desired properties of the system are defined and analysed with the aid of the Computation Tree Logic.


title: Formation of a planetary Laplace resonance through migration in an eccentric disk - The case of GJ876

abstract: Orbital mean motion resonances in planetary systems originate from dissipative processes in disk-planet interactions that lead to orbital migration. In multi-planet systems that host giant planets, the perturbation of the protoplanetary disk strongly affects the migration of companion planets. By studying the well-characterized resonant planetary system around GJ 876 we aim to explore which effects shape disk-driven migration in such a multi-planet system to form resonant chains. We modelled the orbital migration of three planets embedded in a protoplanetary disk using two-dimensional locally isothermal hydrodynamical simulations. We performed a parameter study by varying the disk thickness, $\alpha$ viscosity, mass as well as the initial position of the planets. Moreover, we have analysed and compared simulations with various boundary conditions at the disk's inner rim. We find that due to the high masses of the giant planets, substantial eccentricity can be excited in the disk. This results in large variations of the torque acting on the outer lower-mass planet, which we attribute to a shift of Lindblad and corotation resonances due to disk eccentricity. Depending on disk parameters, the migration of the outer planet can be stopped in a non-resonant state. In other models, the outer planet is able to open a partial gap and to circularize the disk again, later entering a 2:1 resonance with the most massive planet in the system to complete the observed Laplace resonance. Disk-mediated interactions between planets due to spiral waves and excitation of disk eccentricity cause deviations from smooth inward migration of exterior lower mass planets. Self-consistent modelling of the disk-driven migration of multi-planet systems is thus mandatory. Our results are compatible with a late migration of the outermost planet into the resonant chain, when the giant planet pair already is in resonance.


title: A Reference Architecture for Datacenter Scheduling: Extended Technical Report

abstract: Datacenters act as cloud-infrastructure to stakeholders across industry, government, and academia. To meet growing demand yet operate efficiently, datacenter operators employ increasingly more sophisticated scheduling systems, mechanisms, and policies. Although many scheduling techniques already exist, relatively little research has gone into the abstraction of the scheduling process itself, hampering design, tuning, and comparison of existing techniques. In this work, we propose a reference architecture for datacenter schedulers. The architecture follows five design principles: components with clearly distinct responsibilities, grouping of related components where possible, separation of mechanism from policy, scheduling as complex workflow, and hierarchical multi-scheduler structure. To demonstrate the validity of the reference architecture, we map to it state-of-the-art datacenter schedulers. We find scheduler-stages are commonly underspecified in peer-reviewed publications. Through trace-based simulation and real-world experiments, we show underspecification of scheduler-stages can lead to significant variations in performance.


title: Flux Backgrounds and Exceptional Generalised Geometry

abstract: The main topic of this thesis are flux compactifications. Firstly, we study dimensional reductions of type II and eleven-dimensional supergravities using exceptional generalised geometry. We start by presenting the needed mathematical tools, focusing on G-structures and their extension to generalised geometry. Then, we move our focus on compactifications. In particular, we mainly focus on type IIA, building the version of exceptional generalised geometry adapted to such supergravity and finding the right deformations of generalised Lie derivative to accomodate the Romans mass. We describe the generalised Scherk-Schwarz method to find consistent truncation ansatze preserving the maximal amount of supersymmetry. As further point, we study generalised calibrations on AdS backgrounds in type IIB and M-theory.


title: Visualization of Open and Closed String Worldsheets. Part I: Software Development

abstract: In bosonic string theory, the solutions to the string equations of motion may be expressed as two-dimensional manifolds in a relativistic spacetime. We develop MATLAB software for the generation of open and closed string solutions and for the convenient visualization of these solutions.


title: Miquel Dynamics, Clifford Lattices and the Dimer Model

abstract: Miquel dynamics were introduced by Ramassamy as a discrete time evolution of square grid circle patterns on the torus. In each time step every second circle in the pattern is replaced with a new one by employing Miquel's six circle theorem. Inspired by these dynamics we define the Miquel move, which changes the combinatorics and geometry of a circle pattern locally. We prove that the circle centers under Miquel dynamics are Clifford lattices, considered as an integrable system by Konopelchenko and Schief. Clifford lattices have the combinatorics of an octahedral lattice and every octahedron contains six intersection points of Clifford's four circle configuration. The Clifford move replaces one of these circle intersection points with the opposite one. We establish a new connection between circle patterns and the dimer model: If the distances between circle centers are interpreted as edge weights, the Miquel move preserves probabilities in the sense of of urban renewal.


title: DFTerNet: Towards 2-bit Dynamic Fusion Networks for Accurate Human Activity Recognition

abstract: Deep Convolutional Neural Networks (DCNNs) are currently popular in human activity recognition applications. However, in the face of modern artificial intelligence sensor-based games, many research achievements cannot be practically applied on portable devices. DCNNs are typically resource-intensive and too large to be deployed on portable devices, thus this limits the practical application of complex activity detection. In addition, since portable devices do not possess high-performance Graphic Processing Units (GPUs), there is hardly any improvement in Action Game (ACT) experience. Besides, in order to deal with multi-sensor collaboration, all previous human activity recognition models typically treated the representations from different sensor signal sources equally. However, distinct types of activities should adopt different fusion strategies. In this paper, a novel scheme is proposed. This scheme is used to train 2-bit Convolutional Neural Networks with weights and activations constrained to {-0.5,0,0.5}. It takes into account the correlation between different sensor signal sources and the activity types. This model, which we refer to as DFTerNet, aims at producing a more reliable inference and better trade-offs for practical applications. Our basic idea is to exploit quantization of weights and activations directly in pre-trained filter banks and adopt dynamic fusion strategies for different activity types. Experiments demonstrate that by using dynamic fusion strategy can exceed the baseline model performance by up to ~5% on activity recognition like OPPORTUNITY and PAMAP2 datasets. Using the quantization method proposed, we were able to achieve performances closer to that of full-precision counterpart. These results were also verified using the UniMiB-SHAR dataset. In addition, the proposed method can achieve ~9x acceleration on CPUs and ~11x memory saving.


title: Spin fluctuations in the light-induced high spin state of Cobalt valence tautomers

abstract: We present a study of the static magnetic properties and spin dynamics in Cobalt valence tautomers (VT), molecules where a low-spin (LS) to high-spin (HS) crossover driven by an intramolecular electron transfer can be controlled by the temperature, by the external pressure or by light irradiation. In the investigated complex, a LS-Co(III) ion bound to a dinegative organic ligand can be reversibly converted into the HS-Co(II) bound to a mononegative one. By combining magnetization measurements with Nuclear Magnetic Resonance (NMR) and Muon Spin Relaxation ({\mu}SR), we have investigated the static magnetic properties and the spin dynamics as a function of the temperature. Moreover, the effect of the external pressure as well as of the infrared light irradiation have been explored through magnetometry and NMR measurements to determine the spin dynamics of the HS state. The photoinduced HS state, which can have a lifetime of several hours below 30 K, is characterized by spin dynamics in the MHz range, which persist at least down to 10 K. The application of an external pressure causes a progressive increase of the LS-HS crossover, which reaches room temperature for pressures around 10 kbar.


title: All-optical magnetization switching by two-frequency pulses using the plasmon-induced inverse Faraday effect in a magneto-plasmonic structure

abstract: In this Letter we study the generation of quasi-static magnetic fields by the plasmon-induced inverse Faraday effect and propose a magneto-optical waveguide structure for achieving magnetization switching at sub-ps time in a nano-confined magneto-optical structure. In particular we show that the direction of the generated quasi-static field in a magneto-optical dielectric cavity side-coupled to a metal-insulator-metal (MIM) waveguide depends sensitively on the wavelength of the surface plasmon polaritions (SPP). This phenomenon could open up a new energy-efficient ultrafast method for nano-confined all-optical magnetization switching by two-frequency pulses.


title: GARCH(1,1) model of the financial market with the Minkowski metric

abstract: We solved a stylized fact on a long memory process of volatility cluster phenomena by using Minkowski metric for GARCH(1,1) under assumption that price and time can not be separated. We provide a Yang-Mills equation in financial market and anomaly on superspace of time series data as a consequence of the proof from the general relativity theory. We used an original idea in Minkowski spacetime embedded in Kolmogorov space in time series data with behavior of traders.The result of this work is equivalent to the dark volatility or the hidden risk fear field induced by the interaction of the behavior of the trader in the financial market panic when the market crashed.


title: Supernova PTF12glz: a possible shock breakout driven through an aspherical wind

abstract: We present visible-light and ultraviolet (UV) observations of the supernova PTF12glz. The SN was discovered and monitored in near-UV and R bands as part of a joint GALEX and Palomar Transient Factory campaign. It is among the most energetic Type IIn supernovae observed to date (~10^{51} erg). If the radiated energy mainly came from the thermalization of the shock kinetic energy, we show that PTF12glz was surrounded by ~1 solar mass of circumstellar material (CSM) prior to its explosive death. PTF12glz shows a puzzling peculiarity: at early times, while the freely expanding ejecta are presumably masked by the optically thick CSM, the radius of the blackbody that best fits the observations grows at ~7000 km/s. Such a velocity is characteristic of fast moving ejecta rather than optically thick CSM. This phase of radial expansion takes place before any spectroscopic signature of expanding ejecta appears in the spectrum and while both the spectroscopic data and the bolometric luminosity seem to indicate that the CSM is optically thick. We propose a geometrical solution to this puzzle, involving an aspherical structure of the CSM around PTF12glz. By modelling radiative diffusion through a slab of CSM, we show that an aspherical geometry of the CSM can result in a growing effective radius. This simple model also allows us to recover the decreasing blackbody temperature of PTF12glz. SLAB-Diffusion, the code we wrote to model the radiative diffusion of photons through a slab of CSM and evaluate the observed radius and temperature, is made available on-line.


title: Connecting Sharpe ratio and Student t-statistic, and beyond

abstract: Sharpe ratio is widely used in asset management to compare and benchmark funds and asset managers. It computes the ratio of the excess return over the strategy standard deviation. However, the elements to compute the Sharpe ratio, namely, the expected returns and the volatilities are unknown numbers and need to be estimated statistically. This means that the Sharpe ratio used by funds is subject to be error prone because of statistical estimation error. Lo (2002), Mertens (2002) derive explicit expressions for the statistical distribution of the Sharpe ratio using standard asymptotic theory under several sets of assumptions (independent normally distributed - and identically distributed returns). In this paper, we provide the exact distribution of the Sharpe ratio for independent normally distributed return. In this case, the Sharpe ratio statistic is up to a rescaling factor a non centered Student distribution whose characteristics have been widely studied by statisticians. The asymptotic behavior of our distribution provide the result of Lo (2002). We also illustrate the fact that the empirical Sharpe ratio is asymptotically optimal in the sense that it achieves the Cramer Rao bound. We then study the empirical SR under AR(1) assumptions and investigate the effect of compounding period on the Sharpe (computing the annual Sharpe with monthly data for instance). We finally provide general formula in this case of heteroscedasticity and autocorrelation.


title: Fast Video Shot Transition Localization with Deep Structured Models

abstract: Detection of video shot transition is a crucial pre-processing step in video analysis. Previous studies are restricted on detecting sudden content changes between frames through similarity measurement and multi-scale operations are widely utilized to deal with transitions of various lengths. However, localization of gradual transitions are still under-explored due to the high visual similarity between adjacent frames. Cut shot transitions are abrupt semantic breaks while gradual shot transitions contain low-level spatial-temporal patterns caused by video effects in addition to the gradual semantic breaks, e.g. dissolve. In order to address the problem, we propose a structured network which is able to detect these two shot transitions using targeted models separately. Considering speed performance trade-offs, we design a smart framework. With one TITAN GPU, the proposed method can achieve a 30\(\times\) real-time speed. Experiments on public TRECVID07 and RAI databases show that our method outperforms the state-of-the-art methods. In order to train a high-performance shot transition detector, we contribute a new database ClipShots, which contains 128636 cut transitions and 38120 gradual transitions from 4039 online videos. ClipShots intentionally collect short videos for more hard cases caused by hand-held camera vibrations, large object motions, and occlusion.


title: Role of Doping Ratio on The Sensing Properties of ZnO:SnO2 Thin Films

abstract: Thin films of ZnO:SnO2 were deposited on different substrates like glass and c-Si using spray pyrolysis method .The structures and morphology of the prepared samples films were cheeked using X-ray diffraction and atomic force microscope. Gas sensing measurements provided from resistance measurement in the absent and exposure to NO2 gas . The results showed that good enhancement of sensitivity take place after doping with tin oxide. Maximum sensitivity obtained at 9% doping ratio and operating temperature 200oC.


title: Lowest-order electron-electron and electron-muon scattering in a strong magnetic field

abstract: In this work we have investigated how the much studied scattering processes in vacuum at the lowest-order, {\em viz.} electron-muon ($e$-$\mu$) scattering in both $s$- and $t$-channel, Bhabha scattering, and M{\o}ller scattering, have been modified in the presence of a strong magnetic field ($|eB|>>m^2$, $m$ is the mass of electron or muon). For that purpose, we have first calculated the square of the matrix element by summing over the spin states, using the spinors in the presence of a strong magnetic field and then obtain the crosssection by integrating over the available phase space for the final states and averaging over the initial states. The first noticeable observation in the spin-summed of the matrix element squared is that the interference term between $s$- and $t$-channel and $t$- and $u$-channel in Bhabha and M{\o}ller scattering, respectively are missing in the presence of strong magnetic field. We have found that in the presence of strong magnetic field, the crosssection of $e^- e^+ \rightarrow \mu^- \mu^+$ annihilation process in the lowest order decreases inversely proportional to the fourth power of the center-of-mass energy ($\sqrt{s}$), compared to the inversely proportional to the square of center-of-mass energy in vacuum alone. Like in vacuum, the crosssection for $e$-$\mu$ scattering in ${\rm t}$ channel, {\em i.e.} for $e^- \mu^- \rightarrow e^- \mu^-$ process, even in a strong magnetic field too diverges but the finite part decreases with $\sqrt{s}$ much faster than in vacuum alone. Similarly the crosssections for both Bhabha and M{\o}ller scattering at the lowest-order diverges in the infrared limit. However, the finite term decreases with $\sqrt{s}$ much faster than the vacuum alone. In addition there is finite negative contribution, which is independent of $\sqrt{s}$ and decreases with the magnetic field.


title: Enumeration of rational curves in a moving family of $\mathbb{P}^2$

abstract: We obtain a recursive formula for the number of rational degree $d$ curves in $\mathbb{P}^3$, whose image lies in a $\mathbb{P}^2$, passing through $r$ lines and $s$ points, where $r + 2s = 3d+2$. This can be viewed as a family version of the classical question of counting rational curves in $\mathbb{P}^2$. We verify that our numbers are consistent with those obtained by T. Laarakker, where he studies the parallel question of counting $\delta$-nodal degree $d$ curves in $\mathbb{P}^3$ whose image lies inside a $\mathbb{P}^2$. Our numbers give evidence to support the conjecture, that the polynomials obtained by T. Laarakker are enumerative when $d \geq 1 + [\frac{\delta}{2}]$, which is analogous to the {G}\"ottsche threshold for counting nodal curves in $\mathbb{P}^2$.


title: Rook and Wilf equivalence of integer partitions

abstract: The subjects of rook equivalence and Wilf equivalence have both attracted considerable attention over the last half-century. In this paper we introduce a new notion of Wilf equivalence for integer partitions, and, using this notion, we prove that rook equivalence implies Wilf equivalence. We also prove that if we refine the notions of rook and Wilf equivalence in a natural way, then these two notions coincide. In [6] we prove that Wilf equivalence implies rook equivalence.