title: Oscillating Modes of Driven Colloids in Overdamped Systems

abstract: Microscopic particles suspended in liquids are the prime example of an overdamped system because viscous forces dominate over inertial effects. Apart from their use as model systems, they receive considerable attention as sensitive probes from which forces on molecular scales can be inferred. The interpretation of such experiments rests on the assumption, that, even if the particles are driven, the liquid remains in equilibrium, and all modes are overdamped. Here, we experimentally demonstrate that this is no longer valid when a particle is forced through a viscoelastic fluid. Even at small driving velocities where Stokes law remains valid, we observe particle oscillations with periods up to several tens of seconds. We attribute these to non-equilibrium fluctuations of the fluid, which are excited by the particle's motion. The observed oscillatory dynamics is in quantitative agreement with an overdamped Langevin equation with negative friction-memory term and which is equivalent to the motion of a stochastically driven underdamped oscillator. This fundamentally new oscillatory mode will largely expand the variety of model systems but has also considerable implications on how molecular forces are determined by colloidal probe particles under natural viscoelastic conditions.


title: Learning the Synthesizability of Dynamic Texture Samples

abstract: A dynamic texture (DT) refers to a sequence of images that exhibit temporal regularities and has many applications in computer vision and graphics. Given an exemplar of dynamic texture, it is a dynamic but challenging task to generate new samples with high quality that are perceptually similar to the input exemplar, which is known to be {\em example-based dynamic texture synthesis (EDTS)}. Numerous approaches have been devoted to this problem, in the past decades, but none them are able to tackle all kinds of dynamic textures equally well. In this paper, we investigate the synthesizability of dynamic texture samples: {\em given a dynamic texture sample, how synthesizable it is by using EDTS, and which EDTS method is the most suitable to synthesize it?} To this end, we propose to learn regression models to connect dynamic texture samples with synthesizability scores, with the help of a compiled dynamic texture dataset annotated in terms of synthesizability. More precisely, we first define the synthesizability of DT samples and characterize them by a set of spatiotemporal features. Based on these features and an annotated dynamic texture dataset, we then train regression models to predict the synthesizability scores of texture samples and learn classifiers to select the most suitable EDTS methods. We further complete the selection, partition and synthesizability prediction of dynamic texture samples in a hierarchical scheme. We finally apply the learned synthesizability to detecting synthesizable regions in videos. The experiments demonstrate that our method can effectively learn and predict the synthesizability of DT samples.


title: Angle-dependent magic wavelengths for the $4s_{1/2}\to3d_{5/2,3/2}$ transitions of Ca$^{+}$ ions

abstract: The dynamic polarizabilities of the atomic states with angular momentum $j> \frac12$ are sensitive to the angle between the quantization axis $\hat{e}_z$ and the polarization vector $\hat{\mathbf{\epsilon}}$ owing to the contribution of anisotropic tensor polarizabilities. The magic wavelength, at which the differential Stark shift of an atomic transition nullifies, depends on this angle. We identified the magic wavelengths for the $4s_{\frac12}\to3d_{\frac32,\frac52}$ transitions of Ca$^{+}$ ions at different angles between $\hat{e}_z$ and $\hat{\mathbf{\epsilon}}$ in the case of linearly polarized light. We found that the magic wavelengths near 395.79 nm, which lie between the $4s_{\frac12}\to4p_{\frac12}$ and $4s_{\frac12}\to 4p_{\frac32}$ transition wavelengths, remain unsensitive to the angle, while the magic wavelengths, which are longer than the $3d_{\frac52}\to 4p_{\frac32}$ resonant transition wavelength (854.21 nm), are very sensitive to the angle.


title: Examples of nonalgebraic nilpotent Lie algebra

abstract: We describe some examples of non abelian nilpotent Lie algebras which are not algebraic.


title: Right-Handed Neutrinos: DM and LFV $vs$ Collider

abstract: In a class of neutrino mass models with a lepton flavor violation (LFV) Yukawa interaction term that involves a heavy right handed neutrino, a charged scalar and a charged lepton, we investigate at the ILC@500 GeV the possibility of observing news physics. These models can address neutrino mass and dark matter without being in conflict with different LFV constraints. By imposing DM relic density and LFV constraints, we recast the analysis done by L3 collaboration at LEP-II of monophoton searches on our space parameter and look for new physics in such channels like monophoton and $S S(\gamma)$, where we give different cuts and show the predicted distributions. We show also that using polarized beams could improve the statistical significance.


title: Type II Seesaw and tau lepton at the HL-LHC, HE-LHC and FCC-hh

abstract: The tau lepton plays important role in distinguishing neutrino mass patterns and determining the chirality nature in heavy scalar mediated neutrino mass models, in the light of the neutrino oscillation experiments and its polarization measurement. We investigate the lepton flavor signatures with tau lepton at LHC upgrades, i.e. HL-LHC, HE-LHC and FCC-hh, through leptonic processes from doubly charged Higgs in the Type II Seesaw. We find that for the channel with one tau lepton in final states, the accessible doubly charged Higgs mass at HL-LHC can reach 655 GeV and 695 GeV for the neutrino mass patterns of normal hierarchy (NH) and inverted hierarchy (IH) respectively, with the luminosity of 3000 fb$^{-1}$. Higher masses, 975-1930 GeV for NH and 1035-2070 GeV for IH, can be achieved at HE-LHC and FCC-hh.


title: Content based Weighted Consensus Summarization

abstract: Multi-document summarization has received a great deal of attention in the past couple of decades. Several approaches have been proposed, many of which perform equally well and it is becoming in- creasingly difficult to choose one particular system over another. An ensemble of such systems that is able to leverage the strengths of each individual systems can build a better and more robust summary. Despite this, few attempts have been made in this direction. In this paper, we describe a category of ensemble systems which use consensus between the candidate systems to build a better meta-summary. We highlight two major shortcomings of such systems: the inability to take into account relative performance of individual systems and overlooking content of candidate summaries in favour of the sentence rankings. We propose an alternate method, content-based weighted consensus summarization, which address these concerns. We use pseudo-relevant summaries to estimate the performance of individual candidate systems, and then use this information to generate a better aggregate ranking. Experiments on DUC 2003 and DUC 2004 datasets show that the proposed system outperforms existing consensus-based techniques by a large margin.


title: Ensembling Neural Networks for Digital Pathology Images Classification and Segmentation

abstract: In the last years, neural networks have proven to be a powerful framework for various image analysis problems. However, some application domains have specific limitations. Notably, digital pathology is an example of such fields due to tremendous image sizes and quite limited number of training examples available. In this paper, we adopt state-of-the-art convolutional neural networks (CNN) architectures for digital pathology images analysis. We propose to classify image patches to increase effective sample size and then to apply an ensembling technique to build prediction for the original images. To validate the developed approaches, we conducted experiments with \textit{Breast Cancer Histology Challenge} dataset and obtained 90\% accuracy for the 4-class tissue classification task.


title: Resset: A Recurrent Model for Sequence of Sets with Applications to Electronic Medical Records

abstract: Modern healthcare is ripe for disruption by AI. A game changer would be automatic understanding the latent processes from electronic medical records, which are being collected for billions of people worldwide. However, these healthcare processes are complicated by the interaction between at least three dynamic components: the illness which involves multiple diseases, the care which involves multiple treatments, and the recording practice which is biased and erroneous. Existing methods are inadequate in capturing the dynamic structure of care. We propose Resset, an end-to-end recurrent model that reads medical record and predicts future risk. The model adopts the algebraic view in that discrete medical objects are embedded into continuous vectors lying in the same space. We formulate the problem as modeling sequences of sets, a novel setting that have rarely, if not, been addressed. Within Resset, the bag of diseases recorded at each clinic visit is modeled as function of sets. The same hold for the bag of treatments. The interaction between the disease bag and the treatment bag at a visit is modeled in several, one of which as residual of diseases minus the treatments. Finally, the health trajectory, which is a sequence of visits, is modeled using a recurrent neural network. We report results on over a hundred thousand hospital visits by patients suffered from two costly chronic diseases -- diabetes and mental health. Resset shows promises in multiple predictive tasks such as readmission prediction, treatments recommendation and diseases progression.


title: A parallel-in-time fixed-stress splitting method for Biot's consolidation model

abstract: In this work, we study the parallel-in-time iterative solution of coupled flow and geomechanics in porous media, modelled by a two-field formulation of the Biot's equations. In particular, we propose a new version of the fixed stress splitting method, which has been widely used as solution method of these problems. This new approach forgets about the sequential nature of the temporal variable and considers the time direction as a further direction for parallelization. We present a rigorous convergence analysis of the method and a numerical experiment to demonstrate the robust behaviour of the algorithm.


title: Temperature-dependent magnetic properties of a magnetoactive elastomer: immobilization of the soft-magnetic filler

abstract: Magnetic properties of a magnetoactive elastomer (MAE) filled with {\mu}m-sized soft-magnetic iron particles have been experimentally studied in the temperature range between 150 K and 310 K. By changing the temperature, the elastic modulus of the elastomer matrix was modified and it was possible to obtain magnetization curves for an invariable arrangement of particles in the sample as well as in the case when the particles were able to change their position within the MAE under the influence of magnetic forces. At low (less than 220 K) temperatures, when the matrix becomes rigid, the magnetization of the MAE does not show a hysteresis behavior and it is characterized by a negative value of the Rayleigh constant. At room temperature, when the polymer matrix is compliant, a magnetic hysteresis exists and exhibits local maxima of the field dependence of the differential magnetic susceptibility. The appearance of these maxima is explained by the elastic resistance of the matrix to the displacement of particles under the action of magnetic forces.


title: Scheduling and Checkpointing optimization algorithm for Byzantine fault tolerance in Cloud Clusters

abstract: Among those faults Byzantine faults offers serious challenge to fault tolerance mechanism, because it often go undetected at the initial stage and it can easily propagate to other VMs before a detection is made. Consequently some of the mission critical application such as air traffic control, online baking etc still staying away from the cloud for such reasons. However if a Byzantine faults is not detected and tolerated at initial stage then applications such as big data analytics can go completely wrong in spite of hours of computations performed by the entire cloud. Therefore in the previous work a fool-proof Byzantine fault detection has been proposed, as a continuation this work designs a scheduling algorithm (WSSS) and checkpoint optimization algorithm (TCC) to tolerate and eliminate the Byzantine faults before it makes any impact. The WSSS algorithm keeps track of server performance which is part of Virtual Clusters to help allocate best performing server to mission critical application. WSSS therefore ranks the servers based on a counter which monitors every Virtual Nodes (VN) for time and performance failures. The TCC algorithm works to generalize the possible Byzantine error prone region through monitoring delay variation to start new VNs with previous checkpointing. Moreover it can stretch the state interval for performing and error free VNs in an effect to minimize the space, time and cost overheads caused by checkpointing. The analysis is performed with plotting state transition and CloudSim based simulation. The result shows TCC reduces fault tolerance overhead exponentially and the WSSS allots virtual resources effectively


title: A note on the folklore of free independence

abstract: It is shown that a Wishart matrix of standard complex normal random variables is asymptotically freely independent of an independent random matrix, under minimal conditions, in two different sense of asymptotic free independence.


title: Spatial Distribution of Gamma-Ray Burst Sources

abstract: The spatial distribution of sources of gamma-ray bursts (GRB) with known red shifts is analyzed by the conditional density and pairwise distance methods. The sample of GRB is based on data from the Swift mission and contains fluxes, coordinates, and red shifts for 384 GRB sources. Selection effects that distort the true source distribution are taken into account by comparing the observed distribution with fractal and uniform model catalogs. The Malmqvist effect is modeled using an approximation for the visible luminosity function of the GRB. The case of absorption in the galactic plane is also examined.This approach makes it possible to study the spatial structure of the entire sample at one time without artificial truncations. The estimated fractal dimensionality is $D=2.55\pm0.06$ on scales of $2\div6$ Gpc.


title: On logarithmic bounds of maximal sparse operators

abstract: Given sparse collections of measurable sets $\mathcal S_k$, $k=1,2,\ldots ,N$, in a general measure space $(X,\mathfrak M,\mu)$, let $ \Lambda_{\mathcal S_k}$ be the sparse operator, corresponding to $\mathcal S_k$. We show that the maximal sparse function $ \Lambda f = \max _{1\le k\le N} \Lambda_{\mathcal S_k} f $ satisfies \begin{align*} &\| \Lambda \| _{L^p(X) \mapsto L^{p,\infty}(X)} \lesssim \log N\cdot \|M_{\mathcal S}\|_{L^p(X) \mapsto L^{p,\infty}(X)},\,1\le p<\infty, \\ &\lVert \Lambda \rVert _{L^p(X) \mapsto L^p(X)} \lesssim (\log N)^{\max\{1,1/(p-1)\}}\cdot \|M_{\mathcal S}\|_{L^p(X) \mapsto L^p(X)},\, 1<p<\infty, \end{align*} where $M_{\mathcal S}$ is the maximal function corresponding to the collection of sets $\mathcal S=\cup_k\mathcal S_k$. As a consequence, one can derive norm bounds for maximal functions formed from taking measurable selections of one-dimensional Calder\'on-Zygmund operators in the plane. Prior results of this type had a fixed choice of Calder\'on-Zygmund operator for each direction.


title: Engineering Kondo state in two-dimensional semiconducting phosphorene

abstract: Correlated interaction between dilute localized impurity electrons with the itinerant host conduction electrons in metals gives rise to the conventional many-body Kondo effect below sufficiently low temperature. In sharp contrast to these conventional Kondo systems, we report an intrinsic, robust and high-temperature Kondo state in two-dimensional semiconducting phosphorene. While absorbed at a thermodynamically stable lattice defect, Cr impurity triggers an electronic phase transition in phosphorene to provide conduction electrons, which strongly interact with the localized moment generated at the Cr site. These manifests into intrinsic Kondo state, where the impurity moment is quenched at multi-stage and at temperatures in the 40-200 K range. Further, along with a much smaller extension of Kondo cloud, the predicted Kondo state is shown to be robust under uniaxial strain and layer thickness, which greatly simplifies its future experimental realization. We predict the present study will open up new avenues in Kondo physics and trigger further theoretical and experimental studies.


title: An exponential estimate for the square partial sums of multiple Fourier series

abstract: We prove an exponential integral estimate for the quadratic partial sums of multiple Fourier series on large sets that implies some new properties of Fourier series.


title: Structure-Aware Bayesian Compressive Sensing for Frequency-Hopping Spectrum Estimation with Missing Observations

abstract: In this paper, we address the problem of spectrum estimation of multiple frequency-hopping (FH) signals in the presence of random missing observations. The signals are analyzed within the bilinear time-frequency (TF) representation framework, where a TF kernel is designed by exploiting the inherent FH signal structures. The designed kernel permits effective suppression of cross-terms and artifacts due to missing observations while preserving the FH signal auto-terms. The kernelled results are represented in the instantaneous autocorrelation function domain, which are then processed using a re-designed structure-aware Bayesian compressive sensing algorithm to accurately estimate the FH signal TF spectrum. The proposed method achieves high-resolution FH signal spectrum estimation even when a large portion of data observations is missing. Simulation results verify the effectiveness of the proposed method and its superiority over existing techniques.


title: Arbitrarily accurate twin composite $\pi$ pulse sequences

abstract: We present three classes of symmetric broadband composite pulse sequences. The composite phases are given by analytic formulas (rational fractions of $\pi$) valid for any number of constituent pulses. The transition probability is expressed by simple analytic formulas and the order of pulse area error compensation grows linearly with the number of pulses. Therefore, any desired compensation order can be produced by an appropriate composite sequence; in this sense, they are arbitrarily accurate. These composite pulses perform equally well or better than previously published ones. Moreover, the current sequences are more flexible as they allow total pulse areas of arbitrary integer multiples of $\pi$.


title: Combinatorial proofs for identities related to generalizations of the mock theta functions $\omega(q)$ and $\nu(q)$

abstract: The two partition functions $p_\omega(n)$ and $p_\nu(n)$ were introduced by Andrews, Dixit and Yee, which are related to the third order mock theta functions $\omega(q)$ and $\nu(q)$, respectively. Recently, Andrews and Yee analytically studied two identities that connect the refinements of $p_\omega(n)$ and $p_\nu(n)$ with the generalized bivariate mock theta functions $\omega(z;q)$ and $\nu(z;q)$, respectively. However, they stated these identities cried out for bijective proofs. In this paper, we first define the generalized trivariate mock theta functions $\omega(y,z;q)$ and $\nu(y,z;q)$. Then by utilizing odd Ferrers graph, we obtain certain identities concerning to $\omega(y,z;q)$ and $\nu(y,z;q)$, which extend some early results of Andrews that are related to $\omega(z;q)$ and $\nu(z;q)$. In virtue of the combinatorial interpretations that arise from the identities involving $\omega(y,z;q)$ and $\nu(y,z;q)$, we finally present bijective proofs for the two identities of Andrews-Yee.


title: Injective Hulls In a Locally Finite Topos

abstract: We show that in a locally finite topos, every object has an essential extension that is injective, and that this extension is unique up to isomorphism. The construction was motivated by work on Bewl, a software project for doing topos-theoretic calculations.


title: Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach

abstract: We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $\lambda$-calculi; each of them features a specific communication mechanism, including broadcasting and cyclic message-exchange, and enhanced expressive power with respect to the $\lambda$-calculus. Moreover they all implement forms of code mobility. Our results provide a first concurrent computational interpretation for many propositional intermediate logics, classical logic included.


title: Recursive model for the fragmentation of polarized quarks

abstract: We present a model for Monte Carlo simulation of the fragmentation of a polarized quark. The model is based on string dynamics and the ${}^3P_0$ mechanism of quark pair creation at string breaking. The fragmentation is treated as a recursive process, where the splitting function of the subprocess $q \to h + q'$ depends on the spin density matrix of the quark $q$. The ${}^3P_0$ mechanism is parametrized by a complex mass parameter $\mu$, the imaginary part of which is responsible for single spin asymmetries. The model has been implemented in a Monte Carlo program to simulate jets made of pseudoscalar mesons. Results for single hadron and hadron pair transverse-spin asymmetries are found to be in agreement with experimental data from SIDIS and $e^+e^-$ annihilation. The model predictions on the jet-handedness are also discussed.


title: Coding Theory: the unit-derived methodology

abstract: The unit-derived method in coding theory is shown to be a unique optimal scheme for constructing and analysing codes. In many cases efficient and practical decoding methods are produced. Codes with efficient decoding algorithms at maximal distances possible are derived from unit schemes. In particular unit-derived codes from Vandermonde or Fourier matrices are particularly commendable giving rise to mds codes of varying rates with practical and efficient decoding algorithms. For a given rate and given error correction capability, explicit codes with efficient error correcting algorithms are designed to these specifications. An explicit constructive proof with an efficient decoding algorithm is given for Shannon's theorem. For a given finite field, codes are constructed which are `optimal' for this field.


title: Spin-specific heat determination of the ratio of competing first- and second-neighbor exchange interactions in frustrated spin-$\frac{1}{2}$ chains

abstract: The magnetic susceptibility $\chi(T)$ of spin-1/2 chains is widely used to quantify exchange interactions, even though $\chi(T)$ is similar for different combinations of ferromagnetic $J_1$ between first neighbors and antiferromagnetic $J_2$ between second neighbors. We point out that the spin specific heat $C(T)$ directly determines the ratio $\alpha = J_2/|J_1|$ of competing interactions. The $J_1-J_2$ model is used to fit the isothermal magnetization $M(T,H)$ and $C(T,H)$ of spin-1/2 Cu(II) chains in LiCuSbO$_4$. By fixing $\alpha$, $C(T)$ resolves the offsetting $J_1$, $\alpha$ combinations obtained from $M(T,H)$ in cuprates with frustrated spin chains.


title: Robustness of Optimal Energy Thresholds in Photon-counting Spectral CT

abstract: An important question when developing photon-counting detectors for computed tomography is how to select energy thresholds. In this work thresholds are optimized by maximizing signal-difference-to-noise ratio squared (SDNR2) in an optimally weighted image and signal-to-noise ratio squared (SNR2) in a gadolinium basis image in a silicon-strip detector and a cadmium zinc telluride (CZT) detector, factoring in pileup and imperfect energy response in both detectors. To investigate to what extent one single set of thresholds could be applied in various imaging tasks, the robustness of optimal thresholds with 2 to 8 bins is examined with the variation of phantom thicknesses and target materials. In contrast to previous studies, the optimal threshold locations don't always increase with increasing attenuation if pileup is included. Optimizing the thresholds for a 30 cm phantom yields near-optimal SDNR2 or SNR2 regardless of target tissue types and surrounding attenuation for both detectors. Having more than 3 bins reduces the need for changing the thresholds depending on anatomies and tissues. Using around 6 bins or 8 bins may give near-optimal SDNR2 or SNR2 without generating an unnecessarily large amount of data.


title: Persistence of perfect packing in twisted bundles of elastic filaments

abstract: It is generally understood that geometric frustration prevents maximal hexagonal packings in uniform filament bundles upon twist. We demonstrate that a hexagonal packed elastic filament bundle can preserve its order over a wide range of twist due to a subtle counteraction of geometric expansion with elastic contraction. Using x-ray scanning and by locating each filament in the bundle, we show the remarkable persistence of order even as the twist is increased well above 360 degrees, by measuring the spatial correlation function across the bundle crosssection. We introduce a model which analyzes the combined effects of elasticity including filament stretching, and radial and hoop compression necessary to explain this generic preservation of order observed with Hookean filaments.


title: Which Football Player Bears Most Resemblance to Messi? A Statistical Analysis

abstract: Many pundits and fans ask themselves the same question: Which football player bears most resemblance to Lionel Messi? Is it Chelsea's Eden Hazard? Is it Paulo Dybala, the heir to Messi in the national team of Argentina? Or is the most alike player to Messi someone completely else? In general, the research on the evaluation of players' performances originated in the context of baseball in the USA, but, currently, it is of great importance in almost every team sport on the planet. Specifically, football clubs' managers can use the data on player's similarity when looking for replacement of their players by other, presumably similar ones. Also, the research in the presented direction is certainly interesting both for football pundits and football fans. Therefore, the aim of this study is to answer the question from the title with the use of the statistical analysis based on the data from ongoing league season retrieved from WhoScored (WS) database. WS provides detailed data (up to 24 parameters such as goals scored, the number of assists, shots on goal, passes, dribbles or fouls) for players of TOP 5 European leagues, and ranks them with respect to their overall performance. For this study, 17 parameters (criteria) most relevant for an attacking player were used, and a set of 28 players, candidates to be 'most alike to Messi' from WS TOP 100 list were selected. After data normalization and application of a proper metric function the most similar player to Lionel Messi was found.


title: Possible gapless spin liquid in a rare-earth kagom\'{e} lattice magnet Tm$_{3}$Sb$_{3}$Zn$_{2}$O$_{14}$

abstract: We report the thermodynamic and muon spin relaxation ($\mu$SR) evidences for a possible gapless spin liquid in Tm$_{3}$Sb$_{3}$Zn$_{2}$O$_{14}$, with the rare-earth ions Tm$^{3+}$ forming a two-dimensional kagom\'{e} lattice. We extract the magnetic specific heat of Tm$_{3}$Sb$_{3}$Zn$_{2}$O$_{14}$ by subtracting the phonon contribution of the non-magnetic isostructural material La$_{3}$Sb$_{3}$Zn$_{2}$O$_{14}$. We obtain a clear linear-$T$ temperature dependence of magnetic specific heat at low temperatures, with the heat-capacity coefficient $\gamma$ = 26.6(1) mJ mol-Tm$^{-1}$ K$^{-2}$ in the zero temperature limit. No long-range magnetic order was observed down to 0.35 K in the heat capacity measurement. A broad hump around 9 K was observed in the zero field magnetic specific heat and is gradually suppressed in the magnetic fields that also create a spin gap in the specific heat. The absence of magnetic order is further confirmed by the $\mu$SR measurement down to 20 mK. We find that the spin-lattice relaxation time remains constant down to the lowest temperatures. We point out that the physics in Tm$_{3}$Sb$_{3}$Zn$_{2}$O$_{14}$ is fundamentally different from the Cu-based herbertsmithite and propose spin liquid ground states with non-Kramers doublets on the kagom\'{e} lattice to account for the experimental results.


title: Reconstruction of tensor categories from their structure invariants

abstract: In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the representation ring) $r(\mathcal{C})$ and the Auslander algebra $A(\mathcal{C})$ of $\mathcal{C}$. We show that a Krull-Schmit abelian tensor category $\mathcal{C}$ of finite rank is uniquely determined (up to tensor equivalences) by its two structure invariants and the associated associator system of $\mathcal{C}$. In fact, we can reconstruct the tensor category $\mathcal{C}$ from its two invarinats and the associator system. More general, given a quadruple $(R, A, \phi, a)$ satisfying certain conditions, where $R$ is a $\mathbb{Z}_+$-ring of rank $n$, $A$ is a finite dimensional $\mathbb F$-algebra with a complete set of $n$ primitive orthogonal idempotents, $\phi$ is an algebra map from $A\otimes_{\mathbb F}A$ to an algebra $M(R, A, n)$ constructed from $A$ and $R$, and $a=\{a_{i,j,l}|1< i,j,l<n\}$ is a family of "invertible" matrices over $A$, we can construct a Krull-Schmidt and abelian tensor category $\mathcal C$ over $\mathbb{F}$ such that $R$ is the Green ring of $\mathcal C$ and $A$ is the Auslander algebra of $\mathcal C$. In this case, $\mathcal C$ has finitely many indecomposable objects (up to isomorphisms) and finite dimensional Hom-spaces. Moreover, we will give a necessary and sufficient condition for such two tensor categories to be tensor equivalent.


title: Numerical verification of the microscopic time reversibility of Newton's equations of motion: Fighting exponential divergence

abstract: Numerical solutions to Newton's equations of motion for chaotic self gravitating systems of more than 2 bodies are often regarded to be irreversible. This is due to the exponential growth of errors introduced by the integration scheme and the numerical round-off in the least significant figure. This secular growth of error is sometimes attributed to the increase in entropy of the system even though Newton's equations of motion are strictly time reversible. We demonstrate that when numerical errors are reduced to below the physical perturbation and its exponential growth during integration the microscopic reversibility is retrieved. Time reversibility itself is not a guarantee for a definitive solution to the chaotic N-body problem. However, time reversible algorithms may be used to find initial conditions for which perturbed trajectories converge rather than diverge. The ability to calculate such a converging pair of solutions is a striking illustration which shows that it is possible to compute a definitive solution to a highly unstable problem. This works as follows: If you (i) use a code which is capable of producing a definitive solution (and which will therefore handle converging pairs of solutions correctly), (ii) use it to study the statistical result of some other problem, and then (iii) find that some other code produces a solution S with statistical properties which are indistinguishable from those of the definitive solution, then solution S may be deemed veracious.


title: Consistency and convergence of simulation schemes in Information field dynamics

abstract: We explore a new simulation scheme for partial differential equations (PDE's) called Information Field Dynamics (IFD). Information field dynamics attempts to improve on existing simulation schemes by incorporating Bayesian field inference, which seeks to preserve the maximum amount of information about the field being simulated. The field inference is truly Bayesian and thus depends on a notion of prior belief. Here, we analytically prove that a restricted subset of simulation schemes in IFD are consistent, and thus deliver valid predictions in the limit of high resolutions. This has not previously been done for any IFD schemes. This restricted subset is roughly analogous to traditional fixed-grid numerical PDE solvers, given the additional restriction of translational symmetry. Furthermore, given an arbitrary IFD scheme modelling a PDE, it is a-priori not obvious to what order the scheme is accurate in space and time. For this subset of models, we also derive an easy rule-of-thumb for determining the order of accuracy of the simulation. As with all analytic consistency analysis, an analysis for nontrivial systems is intractable, thus these results are intended as a general indicator of the validity of the approach, and it is hoped that the results will generalize.


title: Unveiling Relationships Between Crime and Property in England and Wales Via Density Scale-Adjusted Metrics and Network Tools

abstract: Scale-adjusted metrics (SAMs) are a significant achievement of the urban scaling hypothesis. SAMs remove the inherent biases of per capita measures computed in the absence of isometric allometries. However, this approach is limited to urban areas, while a large portion of the world's population still lives outside cities and rural areas dominate land use worldwide. Here, we extend the concept of SAMs to population density scale-adjusted metrics (DSAMs) to reveal relationships among different types of crime and property metrics. Our approach allows all human environments to be considered, avoids problems in the definition of urban areas, and accounts for the heterogeneity of population distributions within urban regions. By combining DSAMs, cross-correlation, and complex network analysis, we find that crime and property types have intricate and hierarchically organized relationships leading to some striking conclusions. Drugs and burglary had uncorrelated DSAMs and, to the extent property transaction values are indicators of affluence, twelve out of fourteen crime metrics showed no evidence of specifically targeting affluence. Burglary and robbery were the most connected in our network analysis and the modular structures suggest an alternative to "zero-tolerance" policies by unveiling the crime and/or property types most likely to affect each other.


title: Is molecular cloud turbulence driven by external supernova explosions?

abstract: We present high-resolution ($\sim$ 0.1 pc), hydrodynamical and magnetohydrodynamical simulations to investigate whether the observed level of molecular cloud (MC) turbulence can be generated and maintained by external supernova (SN) explosions. The MCs are formed self-consistently within their large-scale galactic environment following the non-equilibrium formation of H$_2$ and CO including (self-) shielding and important heating and cooling processes. The MCs inherit their initial level of turbulence from the diffuse ISM, where turbulence is injected by SN explosions. However, by systematically exploring the effect of individual SNe going off outside the clouds, we show that at later stages the importance of SN driven turbulence is decreased significantly. This holds for different MC masses as well as MCs with and without magnetic fields. The SN impact also decreases rapidly with larger distances. Nearby SNe ($d$ $\sim$ 25 pc) boost the turbulent velocity dispersions of the MC by up to 70 per cent (up to a few km s$^{-1}$). For $d$ $>$ 50 pc, however, their impact decreases fast with increasing $d$ and is almost negligible. For all probed distances the gain in velocity dispersion decays rapidly within a few 100 kyr. This is significantly shorter than the average timescale for a MC to be hit by a nearby SN under solar neighbourhood conditions ($\sim$ 2 Myr). Hence, at these conditions SNe are not able to sustain the observed level of MC turbulence. However, in environments with high gas surface densities and SN rates like the Central Molecular Zone, observed elevated MC dispersions could be triggered by external SNe.


title: Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

abstract: We consider an expansion of Presburger arithmetic which allows multiplication by $k$ parameters $t_1,\ldots,t_k$. A formula in this language defines a parametric set $S_\mathbf{t} \subseteq \mathbb{Z}^{d}$ as $\mathbf{t}$ varies in $\mathbb{Z}^k$, and we examine the counting function $|S_\mathbf{t}|$ as a function of $\mathbf{t}$. For a single parameter, it is known that $|S_t|$ can be expressed as an eventual quasi-polynomial (there is a period $m$ such that, for sufficiently large $t$, the function is polynomial on each of the residue classes mod $m$). We show that such a nice expression is impossible with 2 or more parameters. Indeed (assuming \textbf{P} $\neq$ \textbf{NP}) we construct a parametric set $S_{t_1,t_2}$ such that $|S_{t_1, t_2}|$ is not even polynomial-time computable on input $(t_1,t_2)$. In contrast, for parametric sets $S_\mathbf{t} \subseteq \mathbb{Z}^d$ with arbitrarily many parameters, defined in a similar language without the ordering relation, we show that $|S_\mathbf{t}|$ is always polynomial-time computable in the size of $\mathbf{t}$, and in fact can be represented using the gcd and similar functions.


title: Origin of the size-dependence of the equilibrium van der Waals binding between nanostructures

abstract: Nanostructures can be bound together at equilibrium by the van der Waals (vdW) effect, a small but ubiquitous many-body attraction that presents challenges to density functional theory. How does the binding energy depend upon the size or number of atoms in one of a pair of identical nanostructures? To answer this question, we treat each nanostructure properly as a whole object, not as a collection of atoms. Our calculations start from an accurate static dipole polarizability for each considered nanostructure, and an accurate equilibrium center-to-center distance for the pair (the latter from experiment, or from the vdW-DF-cx functional). We consider the competition in each term $-C_{2k}/d^{2k}$ ($k=3, 4, 5$) of the long-range vdW series for the interaction energy, between the size dependence of the vdW coefficient $C_{2k}$ and that of the $2k$-th power of the center-to-center distance $d$. The damping of these vdW terms can be negligible, but in any case it does not affect the size dependence for a given term in the absence of non-vdW binding. To our surprise, the vdW energy can be size-independent for quasi-spherical nanoclusters bound to one another by vdW interaction, even with strong nonadditivity of the vdW coefficient, as demonstrated for fullerenes. We also show that, for low-dimensional systems, the vdW interaction yields the strongest size-dependence, in stark contrast to that of fullerenes. We illustrate this with parallel planar polycyclic aromatic hydrocarbons. Other cases are between, as shown by sodium clusters.


title: Proceedings First Workshop on Architectures, Languages and Paradigms for IoT

abstract: The 1st workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017), was held in Turin on September 19th, 2017. ALP4IoT was a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017). The workshop aimed at critically reviewing the state-of-the-art and the state-of-the-practice of formal techniques and software methods for the IoT, presenting open problems and challenges and triggering a discussion among the participants with different views and backgrounds. The Internet of Things is ushering a dramatic increase in number and variety of interconnected and smart objects. Communication capabilities and computational power are growingly embedded in everyday devices, including personal smart devices, public displays, cars, drones, and electronic tags. This state of the things opens an unprecedented range of research opportunities: the inherent distribution, mobility, situatedness, and heterogeneity of such devices call for proper scientific understanding of the foundations of such systems as well as for novel software methods. The workshop solicited original contributions on architectures, languages, paradigms, and techniques with potential practical and theoretical impact on software systems targeting the IoT, welcoming inter-disciplinary approaches.


title: Pose Flow: Efficient Online Pose Tracking

abstract: Multi-person articulated pose tracking in unconstrained videos is an important while challenging problem. In this paper, going along the road of top-down approaches, we propose a decent and efficient pose tracker based on pose flows. First, we design an online optimization framework to build the association of cross-frame poses and form pose flows (PF-Builder). Second, a novel pose flow non-maximum suppression (PF-NMS) is designed to robustly reduce redundant pose flows and re-link temporal disjoint ones. Extensive experiments show that our method significantly outperforms best-reported results on two standard Pose Tracking datasets by 13 mAP 25 MOTA and 6 mAP 3 MOTA respectively. Moreover, in the case of working on detected poses in individual frames, the extra computation of pose tracker is very minor, guaranteeing online 10FPS tracking. Our source codes are made publicly available(https://github.com/YuliangXiu/PoseFlow).


title: A low-frequency variational model for energetic particle effects in the pressure-coupling scheme

abstract: Energetic particle effects in magnetic confinement fusion devices are commonly studied by hybrid kinetic-fluid simulation codes whose underlying continuum evolution equations often lack the correct energy balance. While two different kinetic-fluid coupling options are available (current-coupling and pressure-coupling), this paper applies the Euler-Poincar\'e variational approach to formulate a new conservative hybrid model in the pressure-coupling scheme. In our case the kinetics of the energetic particles are described by guiding center theory. The interplay between the Lagrangian fluid paths with phase space particle trajectories reflects an intricate variational structure which can be approached by letting the 4-dimensional guiding center trajectories evolve in the full 6-dimensional phase space. Then, the redundant perpendicular velocity is integrated out to recover a four-dimensional description. A second equivalent variational approach is also reported, which involves the use of phase space Lagrangians. Not only do these variational structures confer on the new model a correct energy balance, but also they produce a cross-helicity invariant which is lost in the other pressure-coupling schemes reported in the literature.


title: The Ramsey and the ordering property for classes of lattices and semilattices

abstract: The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Soki\'c have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.


title: The first-order flexibility of a crystal framework

abstract: Four sets of necessary and sufficient conditions are obtained for the first-order rigidity of a periodic bond-node framework \C in R^d which is of crystallographic type. In particular, an extremal rank characterisation is obtained which incorporates a multi-variable matrix-valued transfer function \Psi_\C(z) defined on the product space C^d_* = (C\{0})^d. In general the first-order flex space is shown to be the closed linear span of polynomially weighted geometric velocity fields whose geometric multi-factors in C^d_* lie in a finite set. Paradoxically, first-order rigid crystal frameworks may possess nontrivial nondifferentiable continuous motions. The examples given are associated with aperiodic displacive phase transitions between periodic states.


title: Contextual Bandit with Adaptive Feature Extraction

abstract: We consider an online decision making setting known as contextual bandit problem, and propose an approach for improving contextual bandit performance by using an adaptive feature extraction (representation learning) based on online clustering. Our approach starts with an off-line pre-training on unlabeled history of contexts (which can be exploited by our approach, but not by the standard contextual bandit), followed by an online selection and adaptation of encoders. Specifically, given an input sample (context), the proposed approach selects the most appropriate encoding function to extract a feature vector which becomes an input for a contextual bandit, and updates both the bandit and the encoding function based on the context and on the feedback (reward). Our experiments on a variety of datasets, and both in stationary and non-stationary environments of several kinds demonstrate clear advantages of the proposed adaptive representation learning over the standard contextual bandit based on "raw" input contexts.


title: Malliavin Derivative for the Unknown Parameter in surplus process with mixed fractional Brownian motion

abstract: In this paper, we will construct the Malliavin derivative and the stochastic integral with respect to the Mixed fractional Brownian motion (mfbm) for H > 1/2. As an application, we try to estimate the drift parameter via Malliavin derivative for surplus process with mixed fractional Brownian motion


title: The negative effects of citing with a national orientation in terms of recognition: national and international citations in natural-sciences papers from Germany, the Netherlands, and the UK

abstract: Nations can be distinguished in terms of whether domestic or international research is cited. We analyzed the research output in natural sciences of three leading European research economies (Germany, the Netherlands, and the UK) and ask where their researchers look for the knowledge that underpins their most highly-cited papers. Is one internationally oriented or is citation limited to national resources? Do the citation patterns reflect a growing differentiation between the domestic and international research enterprise? To evaluate change over time, we include natural-sciences papers published in the countries from three publication years: 2004, 2009, and 2014. The results show that articles co-authored by researchers from Germany or the Netherlands are less likely to be among the globally most highly-cited articles if they also cite "domestic" research (i.e. research authored by authors from the same country). To put this another way, less well-cited research is more likely to stand on domestic shoulders and research that becomes more highly-cited is more likely to stand on international shoulders. A possible reason for the results is that researchers "over-cite" the papers from their own country - lacking the focus on quality in citing. However, these differences between domestic and international shoulders are not visible for the UK.


title: Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

abstract: We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances with tens of thousands of solutions.


title: Modeling Text with Graph Convolutional Network for Cross-Modal Information Retrieval

abstract: Cross-modal information retrieval aims to find heterogeneous data of various modalities from a given query of one modality. The main challenge is to map different modalities into a common semantic space, in which distance between concepts in different modalities can be well modeled. For cross-modal information retrieval between images and texts, existing work mostly uses off-the-shelf Convolutional Neural Network (CNN) for image feature extraction. For texts, word-level features such as bag-of-words or word2vec are employed to build deep learning models to represent texts. Besides word-level semantics, the semantic relations between words are also informative but less explored. In this paper, we model texts by graphs using similarity measure based on word2vec. A dual-path neural network model is proposed for couple feature learning in cross-modal information retrieval. One path utilizes Graph Convolutional Network (GCN) for text modeling based on graph representations. The other path uses a neural network with layers of nonlinearities for image modeling based on off-the-shelf features. The model is trained by a pairwise similarity loss function to maximize the similarity of relevant text-image pairs and minimize the similarity of irrelevant pairs. Experimental results show that the proposed model outperforms the state-of-the-art methods significantly, with 17% improvement on accuracy for the best case.


title: Lipid-protein interaction induced domains: kinetics and conformational changes in multicomponent vesicles

abstract: The spatio-temporal organization of proteins and the associated morphological changes in membranes are of importance in cell signaling. Several mechanisms that promote the aggregation of proteins at low cell surface concentrations have been investigated in the past. We show, using Monte Carlo simulations, that the affinity of proteins for specific lipids can hasten its aggregation kinetics. The lipid membrane is modeled as a dynamically triangulated surface with the proteins defined as in-plane fields at the vertices. We show that, even at low protein concentrations, strong lipid-protein interactions can result in large protein clusters indicating a route to lipid mediated signal amplification. At high protein concentrations the domains form buds similar to that seen in lipid-lipid interaction induced phase separation. Protein interaction induced domain budding is suppressed when proteins act as anisotropic inclusions and exhibit nematic orientational order. The kinetics of protein clustering and resulting conformational changes are shown to be significantly different for the isotropic and anisotropic curvature inducing proteins.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech physics.chem-ph


title: On the formation of density filaments in the turbulent interstellar medium

abstract: This study is motivated by recent observations on the ubiquitous interstellar density filaments and guided by the modern theory of magnetohydrodynamic (MHD) turbulence. The interstellar turbulence shapes the observed density structure. The perpendicular turbulent mixing, as the fundamental dynamics of MHD turbulence, naturally entails parallel filaments presented in both the diffuse medium and molecular clouds (MCs). The minimum width is determined by the perpendicular neutral-ion decoupling scale in partially ionized media. Differently, dense perpendicular filaments arise in highly supersonic turbulence in MCs as a result of shock compression. Their width specifically depends on the turbulence properties. We demonstrate that different alignments of filaments with respect to the magnetic field originate from the varying turbulence properties in the multi-phase interstellar medium.


title: Quotients for sheets of conjugacy classes

abstract: We provide a description of the orbit space of a sheet S for the conjugation action of a complex simple simply connected algebraic group G. This is obtained by means of a bijection between S/G and the quotient of a shifted torus modulo the action of a subgroup of the Weyl group and it is the group analogue of a result due to Borho and Kraft. We also describe the normalisation of the categorical quotient \overline{S}//G for arbitrary simple G and give a necessary and sufficient condition for S//G to be normal in analogy to results of Borho, Kraft and Richardson. The example of G_2 is worked out in detail.


title: Cosmological Tests of Gravity

abstract: Modifications to gravity can provide attractive alternatives to the dark components of the standard model of cosmology. These modifications to general relativity (GR) must be hidden at small scales where theory is well tested, and so one naturally looks to the large scales in order to detect any deviations from GR. One particularly promising avenue in testing gravity at cosmological scales is within the anisotropy of galaxy clustering in redshift space. This thesis presents a framework for consistently constructing large scale structure observables in redshift space for gravitational theories that include an additional scalar degree of freedom, specifically, the Horndeski class of theories with a generalized potential term. The relevance of such a framework in the context of next generation spectroscopic surveys is then investigated using N-body simulations. The thesis concludes with ongoing and recently completed extensions to this framework, including interacting dark energy models and the effective field theory of large scale structure.


title: Renormalization-Group Equations of Neutrino Masses and Flavor Mixing Parameters in Matter

abstract: We borrow the general idea of renormalization-group equations (RGEs) to understand how neutrino masses and flavor mixing parameters evolve when neutrinos propagate in a medium, highlighting a meaningful possibility that the genuine flavor quantities in vacuum can be extrapolated from their matter-corrected counterparts to be measured in some realistic neutrino oscillation experiments. Taking the matter parameter $a \equiv 2\sqrt{2} \ G^{}_{\rm F} N^{}_e E$ to be an arbitrary scale-like variable with $N^{}_e$ being the net electron number density and $E$ being the neutrino beam energy, we derive a complete set of differential equations for the effective neutrino mixing matrix $V$ and the effective neutrino masses $\widetilde{m}^{}_i$ (for $i = 1, 2, 3$). Given the standard parametrization of $V$, the RGEs for $\{\widetilde{\theta}^{}_{12}, \widetilde{\theta}^{}_{13}, \widetilde{\theta}^{}_{23}, \widetilde{\delta}\}$ in matter are formulated for the first time. We demonstrate some useful differential invariants which retain the same form from vacuum to matter, including the well-known Naumov and Toshev relations. The RGEs of the partial $\mu$-$\tau$ asymmetries, the off-diagonal asymmetries and the sides of unitarity triangles of $V$ are also obtained as a by-product.


title: On the algebraic and arithmetic structure of the monoid of product-one sequences

abstract: Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals $1_G$, the identity element of the group. As usual, we consider sequences as elements of the free abelian monoid $\mathcal F (G)$ with basis $G$, and we study the submonoid $\mathcal B (G) \subset \mathcal F (G)$ of all product-one sequences. This is a finitely generated C-monoid, which is a Krull monoid if and only if $G$ is abelian. In case of abelian groups, $\mathcal B (G)$ is a well-studied object. In the present paper we focus on non-abelian groups, and we study the class semigroup and the arithmetic of $\mathcal B (G)$.


title: Determining JPEG Image Standard Quality Factor from the Quantization Tables

abstract: Identifying the quality factor of JPEG images is very useful for applications in digital image forensics. Though several command-line tools exist and are used in widely used software such as \emph{GIMP} (GNU Image Manipulation Program), the well-known image editing software, or the \emph{ImageMagick} suite, we have found that those may provide inaccurate or even wrong results. This paper presents a simple method for determining the exact quality factor of a JPEG image from its quantization tables. The method is presented briefly and a sample program, written in Unix/Linux Shell bash language is provided.


title: A two-parameter extension of the Urbanik semigroup

abstract: We prove that s_n(a,b)=\Gamma(an+b)/\Gamma(b), n=0,1,\ldots is an infinitely divisible Stieltjes moment sequence for arbitrary a,b>0. Its powers s_n(a,b)^c, c>0 are Stieltjes determinate if and only if ac\le 2. The latter was conjectured in a paper by Lin (ArXiv: 1711.01536) in the case b=1. We describe a product convolution semigroup \tau_c(a,b), c>0 of probability measures on the positive half-line with densities e_c(a,b) and having the moments s_n(a,b)^c. We determine the asymptotic behaviour of e_c(a,b)(t) for t\to 0 and for t\to\infty, and the latter implies the Stieltjes indeterminacy when ac>2. The results extend previous work of the author and J. L. L\'opez and lead to a convolution semigroup of probability densities (g_c(a,b)(x))_{c>0} on the real line. The special case (g_c(a,1)(x))_{c>0} are the convolution roots of the Gumbel distribution with scale parameter a>0. All the densities g_c(a,b)(x) lead to determinate Hamburger moment problems.


title: A new integer-valued AR(1) process based on power series thinning operator

abstract: In this paper, we introduce the first-order integer-valued autoregressive (INAR(1)) model, with Poisson-Lindley innovations based on power series thinning operator. Some mathematical features of this process are given and estimating the parameters is discussed by three methods; conditional least squares, Yule-Walker equations and conditional maximum likelihood.Then the results are studied for three special cases of power series operators. Finally, some numerical results are presented with a discussion to the obtained results and Four real data sets are used to show the potentially of the new process.


title: Comment on "Energy-time uncertainty relation for driven quantum systems" and "Quantum Speed Limit for Non-Markovian Dynamics"

abstract: Deffner and Lutz [J. Phys. A 46, 335302 (2013) and Phys. Rev. Lett. 111, 010402 (2013).] extended the Mandelstam-Tamm bound and the Margolus-Levitin bound to time-dependent and non-Markovian systems, respectively. Although the derivation of the Mandelstam-Tamm bound is correct, we point out that thier analysis of the Margolus-Levitin bound is incorrect. The Margolus-Levitin bound has not yet been established in time-dependent quantum systems, except for the adiabatic case.


title: Assessing Prediction Error at Interpolation and Extrapolation Points

abstract: Common model selection criteria, such as $AIC$ and its variants, are based on in-sample prediction error estimators. However, in many applications involving predicting at interpolation and extrapolation points, in-sample error cannot be used for estimating the prediction error. In this paper new prediction error estimators, $tAI$ and $Loss(w_{t})$ are introduced. These estimators generalize previous error estimators, however are also applicable for assessing prediction error in cases involving interpolation and extrapolation. Based on the prediction error estimators, two model selection criteria with the same spirit as $AIC$ are suggested. The advantages of our suggested methods are demonstrated in simulation and real data analysis of studies involving interpolation and extrapolation in a Linear Mixed Model framework.


title: Polynomial pseudomonads and dependent type theory

abstract: We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Working in the context of natural models of type theory, we prove that dependent type theories admitting a unit type and dependent sum types give rise to polynomial pseudomonads, and that those admitting dependent product types give rise to polynomial pseudoalgebras.


title: nflWAR: A Reproducible Method for Offensive Player Evaluation in Football

abstract: Unlike other major professional sports, American football lacks comprehensive statistical ratings for player evaluation that are both reproducible and easily interpretable in terms of game outcomes. Existing methods for player evaluation in football depend heavily on proprietary data, are not reproducible, and lag behind those of other major sports. We present four contributions to the study of football statistics in order to address these issues. First, we develop the R package nflscrapR to provide easy access to publicly available play-by-play data from the National Football League (NFL) dating back to 2009. Second, we introduce a novel multinomial logistic regression approach for estimating the expected points for each play. Third, we use the expected points as input into a generalized additive model for estimating the win probability for each play. Fourth, we introduce our nflWAR framework, using multilevel models to isolate the contributions of individual offensive skill players, and providing estimates for their individual wins above replacement (WAR). We estimate the uncertainty in each player's WAR through a resampling approach specifically designed for football, and we present these results for the 2017 NFL season. We discuss how our reproducible WAR framework, built entirely on publicly available data, can be easily extended to estimate WAR for players at any position, provided that researchers have access to data specifying which players are on the field during each play. Finally, we discuss the potential implications of this work for NFL teams.


title: Suppressed Far-UV Stellar Activity and Low Planetary Mass Loss in the WASP-18 System

abstract: WASP-18 hosts a massive, very close-in Jupiter-like planet. Despite its young age ($<$1 Gyr), the star presents an anomalously low stellar activity level: the measured logR'$_{\rm HK}$ activity parameter lies slightly below the basal level; there is no significant time-variability in the logR'$_{\rm HK}$ value; there is no detection of the star in the X-rays. We present results of far-UV observations of WASP-18 obtained with COS on board of Hubble Space Telescope aimed at explaining this anomaly. From the star's spectral energy distribution, we infer the extinction (E(B-V) $\approx$ 0.01 mag) and then the interstellar medium (ISM) column density for a number of ions, concluding that ISM absorption is not the origin of the anomaly. We measure the flux of the four stellar emission features detected in the COS spectrum (CII, CIII, CIV, SiIV). Comparing the CII/CIV flux ratio measured for WASP-18 with that derived from spectra of nearby stars with known age, we see that the far-UV spectrum of WASP-18 resembles that of old ($>$5 Gyr), inactive stars, in stark contrast with its young age. We conclude that WASP-18 has an intrinsically low activity level, possibly caused by star-planet tidal interaction, as suggested by previous studies. Re-scaling the solar irradiance reference spectrum to match the flux of the SiIV line, yields an XUV integrated flux at the planet orbit of 10.2 erg cm$^{-2}$ s$^{-1}$. We employ the rescaled XUV solar fluxes to models of the planetary upper atmosphere, deriving an extremely low thermal mass-loss rate of 10$^{-20}$ $M_{\rm J}$ Gyr$^{-1}$. For such high-mass planets, thermal escape is not energy limited, but driven by Jeans escape.


title: A Software Package for Rigorously Calculating Optical Plasma Spectra and Automatically Rtrieving Plasma Properties

abstract: In this article, a software package code named OPSIAL (Optical Plasma Spectral Calculation And Parameters Retrieval) for rigorously calculating optical plasma spectra and for automatically retrieving plasma parameters is presented. OPSIAL calculates the absolute spectral radiance caused by the bound-bound transitions of elemental species in the plasma by rigorously solving the equation of radiative transfer using an ultrafast line-by-line algorithm. OPSIAL supports both the local-thermodynamic-equilibrium (LTE) or partial LTE conditions and takes account of line broadenings due to the Doppler effect and collisions with electrons and other pseudo colliders in the plasma. An algorithm for fully automatically identifying elemental species and retrieving plasma parameters based on observed plasma emission spectra has been implemented into OPSIAL. The structure and theoretical framework of OPSIAL, together with a case study of using OPSIAL to analyze laser-induced breakdown spectral data of the ChemCam instrument onboard the Mars rover Curiosity, are presented.

categories: physics.comp-ph physics.atom-ph physics.data-an physics.plasm-ph


title: Equitable partitions of Latin-square graphs

abstract: We study equitable partitions of Latin-square graphs, and give a complete classification of those whose quotient matrix does not have an eigenvalue $-3$.


title: Modelling Lobbying Behaviour and Interdisciplinarity Dynamics in Academia

abstract: Disciplinary diversity is being recognized today as the key to establish a vibrant academic environment with bigger potential for breakthroughs in research and technology. However, the interaction of several factors including policies, and behavioral attitudes put significant barriers on advancing interdisciplinarity. A "cognitive rigidity" may rise due to reactive academic lobbying favouring inbreeding. Here, we address, analyse and discuss a mathematical model of lobbying and interdisciplinarity dynamics in Academia. The model consists of four coupled non-linear Ordinary Differential Equations simulating the interaction between three types of academic individuals and a state reflecting the rate of knowledge advancement which is related to the level of disciplinary diversity. Our model predicts a rich nonlinear behaviour including multiplicity of states and sustained periodic oscillations resembling the everlasting struggle between the "new" and the "old". The effect of a control policy that inhibits lobbying is also studied. By appropriate adjustment of the model parameters we approximated the jump/phase transitions in breakthroughs in mathematical and molecular biological sciences resulted by the increased flow of Russian scientists in the USA after the dissolution of the Soviet Union starting in 1989, the launch of the Human Genome Project in 1992 and the Internet diffusion starting in 2000.


title: Bernstein functions of several semigroup generators on Banach spaces under bounded perturbations. II

abstract: The paper deals with multidimensional Bochner-Phillips functional calculus. In the previous paper by the author bounded perturbations of Bernstein functions of several commuting semigroup generators on Banach spaces where considered, conditions for Lipschitzness and estimates for the norm of commutators of such functions where proved. Also in the one-dimensional case the Frechet differentiability of Bernstein functions of semigroup generators on Banach spaces where proved and a generalization of Livschits-Kre\u{i}n trace formula derived. The aim of the present paper is to prove the Frechet differentiability of operator Bernstein functions and the Livschits-Kre\u{i}n trace formula in the multidimensional setting.


title: Holomorphic curves in Shimura varieties

abstract: We prove an hyperbolic analogue of the Bloch-Ochiai theorem about the Zariski closure of holomorphic curves in abelian varieties. We consider the case of non compact Shimura varieties completing the proof of the result for all Shimura varieties. The statement analysed was first formulated and proven by Ullmo and Yafaev for compact Shimura varieties.


title: The leptophilic dark matter in the Sun: the minimum testable mass

abstract: The physics of the solar dark matter (DM) that are captured and thermalise through the DM-nucleon interaction has been extensively studied. In this work, we consider the leptophilic DM scenario where the DM particles interact exclusively with the electrons through the axial-vector coupling. We investigate relevant phenomenologies in the Sun, including its capture, evaporation and thermalisation, and we calculate the equilibrium distribution using the Monte Carlo methods, rather than adopting a semi-analytic approximation. Based on the analysis, we then determine the minimum testable mass for which the DM-electron coupling strength can be probed via the neutrino observation. Compared to the case of the DM-nucleon interaction, it turns out that minimum detectable mass of the DM-electron interaction is roughly 1 GeV smaller, and a cross section about two orders of magnitude larger is required for the saturation of the annihilation signal.


title: Deuterated silicon nitride photonic devices for broadband optical frequency comb generation

abstract: We report and characterize low-temperature, plasma-deposited deuterated silicon nitride thin films for nonlinear integrated photonics. With a peak processing temperature less than 300$^\circ$C, it is back-end compatible with pre-processed CMOS substrates. We achieve microresonators with a quality factor of up to $1.6\times 10^6 $ at 1552 nm, and $>1.2\times 10^6$ throughout $\lambda$ = 1510 -- 1600 nm, without annealing or stress management. We then demonstrate the immediate utility of this platform in nonlinear photonics by generating a 1 THz free spectral range, 900-nm-bandwidth modulation-instability microresonator Kerr comb and octave-spanning, supercontinuum-broadened spectra.


title: Reduced commutativity of moduli of operators

abstract: In this paper, we investigate the question of when the equations $A^{*s}A^{s}=(A^{*}A)^{s}$ for all $s \in S$, where $S$ is a finite set of positive integers, imply the quasinormality or normality of $A$. In particular, it is proved that if $S=\{p,m,m+p,n,n+p\}$, where $2\leq m < n$, then $A$ is quasinormal. Moreover, if $A$ is invertible and $S=\{m,n,n+m\}$, where $m \leq n$, then $A$ is normal. Furthermore, the case when $S=\{m,m+n\}$ and $A^{*n}A^n \leq (A^*A)^n$ is discussed.


title: Harnessing functional segregation across brain rhythms as a means to detect EEG oscillatory multiplexing during music listening

abstract: Music, being a multifaceted stimulus evolving at multiple timescales, modulates brain function in a manifold way that encompasses not only the distinct stages of auditory perception but also higher cognitive processes like memory and appraisal. Network theory is apparently a promising approach to describe the functional reorganization of brain oscillatory dynamics during music listening. However, the music induced changes have so far been examined within the functional boundaries of isolated brain rhythms. Using naturalistic music, we detected the functional segregation patterns associated with different cortical rhythms, as these were reflected in the surface EEG measurements. The emerged structure was compared across frequency bands to quantify the interplay among rhythms. It was also contrasted against the structure from the rest and noise listening conditions to reveal the specific components stemming from music listening. Our methodology includes an efficient graph-partitioning algorithm, which is further utilized for mining prototypical modular patterns, and a novel algorithmic procedure for identifying switching nodes that consistently change module during music listening. Our results suggest the multiplex character of the music-induced functional reorganization and particularly indicate the dependence between the networks reconstructed from the {\delta} and {\beta}H rhythms. This dependence is further justified within the framework of nested neural oscillations and fits perfectly within the context of recently introduced cortical entrainment to music. Considering its computational efficiency, and in conjunction with the flexibility of in situ electroencephalography, it may lead to novel assistive tools for real-life applications.


title: Image Posterization Using Fuzzy Logic and Bilateral Filter

abstract: Image posterization is converting images with a large number of tones into synthetic images with distinct flat areas and a fewer number of tones. In this technical report, we present the implementation and results of using fuzzy logic in order to generate a posterized image in a simple and fast way. The image filter is based on fuzzy logic and bilateral filtering; where, the given image is blurred to remove small details. Then, the fuzzy logic is used to classify each pixel into one of three specific categories in order to reduce the number of colors. This filter was developed during building the Specs on Face dataset in order to add a new level of difficulty to the original face images in the dataset. This filter does not hurt the human detection performance; however, it is considered a hindrance evading the face detection process. This filter can be used generally for posterizing images, especially those have a high contrast to get images with vivid colors.


title: Some regularity results for $p$-harmonic mappings between Riemannian manifolds

abstract: Let $M$ be a $C^2$-smooth Riemannian manifold with boundary and $N$ a complete $C^2$-smooth Riemannian manifold. We show that each stationary $p$-harmonic mapping $u\colon M\to N$, whose image lies in a compact subset of $N$, is locally $C^{1,\alpha}$ for some $\alpha\in (0,1)$, provided that $N$ is simply connected and has non-positive sectional curvature. We also prove similar results for each minimizing $p$-harmonic mapping $u\colon M\to N$ with $u(M)$ being contained in a regular geodesic ball. Moreover, when $M$ has non-negative Ricci curvature and $N$ is simply connected and has non-positive sectional curvature, we deduce a quantitative gradient estimate for each $C^1$-smooth weakly $p$-harmonic mapping $u\colon M\to N$. Consequently, we obtain a Liouville-type theorem for $C^1$-smooth weakly $p$-harmonic mappings in the same setting.


title: Realizing an exact entangling gate using Fibonacci anyons

abstract: Fibonacci anyons are attractive for use in topological quantum computation because any unitary transformation of their state space can be approximated arbitrarily accurately by braiding. However there is no known braid that entangles two qubits without leaving the space spanned by the two qubits. In other words, there is no known "leakage-free" entangling gate made by braiding. In this paper, we provide a remedy to this problem by supplementing braiding with measurement operations in order to produce an exact controlled rotation gate on two qubits.


title: A General Algorithm For Compensation Of Trajectory Errors: Application To Radial Imaging

abstract: Purpose: To reconstruct artifact-free images from measured k-space data, when the actual k-space trajectory deviates from the nominal trajectory due to gradient imperfections. Methods: Trajectory errors arising from eddy currents and gradient delays introduce phase inconsistencies in several fast scanning MR pulse sequences, resulting in image artifacts. The proposed algorithm provides a novel framework to compensate for this phase distortion. The algorithm relies on the construction of a multi-block Hankel matrix, where each block is constructed from k-space segments with the same phase distortion. In the presence of spatially smooth phase distortions between the segments, the complete block-Hankel matrix is known to be highly low-rank. Since each k-space segment is only acquiring part of the k-space data, the reconstruction of the phase compensated image from their partially parallel measurements is posed as a structured low-rank matrix optimization problem, assuming the coil sensitivities to be known. Results: The proposed formulation is tested on radial acquisitions in several settings including partial Fourier and golden-angle acquisitions. The experiments demonstrate the ability of the algorithm to successfully remove the artifacts arising from the trajectory errors, without the need for trajectory or phase calibration. The quality of the reconstruction was comparable to corrections achieved using the Trajectory Auto-Corrected Image Reconstruction (TrACR) for radial acquisitions. Conclusion: The proposed method provides a general framework for the recovery of artifact-free images from radial trajectories without the need for trajectory calibration.


title: Plan Explanations as Model Reconciliation -- An Empirical Study

abstract: Recent work in explanation generation for decision making agents has looked at how unexplained behavior of autonomous systems can be understood in terms of differences in the model of the system and the human's understanding of the same, and how the explanation process as a result of this mismatch can be then seen as a process of reconciliation of these models. Existing algorithms in such settings, while having been built on contrastive, selective and social properties of explanations as studied extensively in the psychology literature, have not, to the best of our knowledge, been evaluated in settings with actual humans in the loop. As such, the applicability of such explanations to human-AI and human-robot interactions remains suspect. In this paper, we set out to evaluate these explanation generation algorithms in a series of studies in a mock search and rescue scenario with an internal semi-autonomous robot and an external human commander. We demonstrate to what extent the properties of these algorithms hold as they are evaluated by humans, and how the dynamics of trust between the human and the robot evolve during the process of these interactions.


title: A Graph Theoretic Approach for Training Overhead Reduction in FDD Massive MIMO Systems

abstract: The overheads associated with feedback-based channel acquisition can greatly compromise the achievable rates of FDD based massive MIMO systems. Indeed, downlink (DL) training and uplink (UL) feedback overheads scale linearly with the number of base station (BS) antennas, in sharp contrast to TDD-based massive MIMO, where a single UL pilot trains the whole BS array. In this work, we propose a graph-theoretic approach to reducing DL training and UL feedback overheads in FDD massive MIMO systems. In particular, we consider a single-cell scenario involving a single BS with a massive antenna array serving to single-antenna mobile stations (MSs) in the DL. We assume the BS employs two-stage beamforming in the DL, comprising DFT pre-beamforming followed by MU-MIMO precoding. The proposed graph-theoretic approach exploits knowledge of the angular spectra of the BS-MS channels to construct DL training protocols with reduced overheads. Simulation results reveal that the proposed training-resources allocation method can provide approximately 35% sum-rate performance gain compared to conventional orthogonal training. Our analysis also sheds light into the impact of overhead reduction on channel estimation quality, and, in turn, achievable rates.


title: Positivity-preserving scheme for two-dimensional advection-diffusion equations including mixed derivatives

abstract: In this work, we propose a positivity-preserving scheme for solving two-dimensional advection-diffusion equations including mixed derivative terms, in order to improve the accuracy of lower-order methods. The solution to these equations, in the absence of mixed derivatives, has been studied in detail, while positivity-preserving solutions to mixed derivative terms have received much less attention. A two-dimensional diffusion equation, for which the analytical solution is known, is solved numerically to show the applicability of the scheme. It is further applied to the Fokker-Planck collision operator in two-dimensional cylindrical coordinates under the assumption of local thermal equilibrium. For a thermal equilibration problem, it is shown that the scheme conserves particle number and energy, while the preservation of positivity is ensured and the steady-state solution is the Maxwellian distribution.


title: An Area and Energy Efficient Design of Domain-Wall Memory-Based Deep Convolutional Neural Networks using Stochastic Computing

abstract: With recent trend of wearable devices and Internet of Things (IoTs), it becomes attractive to develop hardware-based deep convolutional neural networks (DCNNs) for embedded applications, which require low power/energy consumptions and small hardware footprints. Recent works demonstrated that the Stochastic Computing (SC) technique can radically simplify the hardware implementation of arithmetic units and has the potential to satisfy the stringent power requirements in embedded devices. However, in these works, the memory design optimization is neglected for weight storage, which will inevitably result in large hardware cost. Moreover, if conventional volatile SRAM or DRAM cells are utilized for weight storage, the weights need to be re-initialized whenever the DCNN platform is re-started. In order to overcome these limitations, in this work we adopt an emerging non-volatile Domain-Wall Memory (DWM), which can achieve ultra-high density, to replace SRAM for weight storage in SC-based DCNNs. We propose DW-CNN, the first comprehensive design optimization framework of DWM-based weight storage method. We derive the optimal memory type, precision, and organization, as well as whether to store binary or stochastic numbers. We present effective resource sharing scheme for DWM-based weight storage in the convolutional and fully-connected layers of SC-based DCNNs to achieve a desirable balance among area, power (energy) consumption, and application-level accuracy.


title: Mass - radius ratio bounds for compact objects in Lorentz-violating dRGT Massive Gravity theory

abstract: We consider the mass-radius bounds for spherically symmetric static compact objects in the de Rham-Gabadadze-Tolley (dRGT) Massive Gravity theories, free of ghosts. In this type of gravitational theories the graviton, the quantum of gravity, may have a small, but non-vanishing mass. We derive the hydrostatic equilibrium and mass continuity equations in the Lorentz-violating Massive gravity in the presence of a cosmological constant and for a non-zero graviton mass. The case of the constant density stars is also investigated by numerically solving the equilibrium equations. The influence of the graviton mass on the global parameters (mass and radius) of these stellar configurations is also considered. The generalized Buchdahl relations, giving the upper and lower bounds of the mass-radius ratio are obtained, and discussed in detail. As an application of our results we obtain gravitational redshift bounds for compact stellar type objects in the Lorentz-violating dRGT Massive Gravity, which may (at least in principle) be used for observationally testing this theory in an astrophysical context.


title: Randomization Tests that Condition on Non-Categorical Covariate Balance

abstract: A benefit of randomized experiments is that covariate distributions of treatment and control groups are balanced on average, resulting in simple unbiased estimators for treatment effects. However, it is possible that a particular randomization yields covariate imbalances that researchers want to address in the analysis stage through adjustment or other methods. Here we present a randomization test that conditions on covariate balance by only considering treatment assignments that are similar to the observed one in terms of covariate balance. Previous conditional randomization tests have only allowed for categorical covariates, while our randomization test allows for any type of covariate. Through extensive simulation studies, we find that our conditional randomization test is more powerful than unconditional randomization tests and other conditional tests. Furthermore, we find that our conditional randomization test is valid (1) unconditionally across levels of covariate balance, and (2) conditional on particular levels of covariate balance. Meanwhile, unconditional randomization tests are valid for (1) but not (2). Finally, we find that our conditional randomization test is similar to a randomization test that uses a model-adjusted test statistic.


title: Asymptotically Hyperbolic 3-Metric with Ricci flow foliation

abstract: In general relativity, there have been a number of successful constructions for asymptotically flat metrics with a certain background foliation. In particular, C. -Y. Lin used a foliation by the Ricci flow on 2-spheres to establish an asymptotically flat extension and C. Sormani and Lin proved useful results with this extension. In this paper, we construct asymptotically hyperbolic 3-metrics with the Ricci flow foliation. We also study the rigid case when the Hawking mass of the inner surface of the manifold agrees with its total mass.


title: On the Exact Asymptotic of Expected Sum of Displacement of Random Sensors for Covering a Unit Interval

abstract: In this note we essentially simplify the proof of the main result in one paper from leading computer science conference 25th ACM Symposium on Parallelism in Algorithms and Architectures (see [3].) We also present direct method and give exact asymptotic result.


title: DeepType: Multilingual Entity Linking by Neural Type System Evolution

abstract: The wealth of structured (e.g. Wikidata) and unstructured data about the world available today presents an incredible opportunity for tomorrow's Artificial Intelligence. So far, integration of these two different modalities is a difficult process, involving many decisions concerning how best to represent the information so that it will be captured or useful, and hand-labeling large amounts of data. DeepType overcomes this challenge by explicitly integrating symbolic information into the reasoning process of a neural network with a type system. First we construct a type system, and second, we use it to constrain the outputs of a neural network to respect the symbolic structure. We achieve this by reformulating the design problem into a mixed integer problem: create a type system and subsequently train a neural network with it. In this reformulation discrete variables select which parent-child relations from an ontology are types within the type system, while continuous variables control a classifier fit to the type system. The original problem cannot be solved exactly, so we propose a 2-step algorithm: 1) heuristic search or stochastic optimization over discrete variables that define a type system informed by an Oracle and a Learnability heuristic, 2) gradient descent to fit classifier parameters. We apply DeepType to the problem of Entity Linking on three standard datasets (i.e. WikiDisamb30, CoNLL (YAGO), TAC KBP 2010) and find that it outperforms all existing solutions by a wide margin, including approaches that rely on a human-designed type system or recent deep learning-based entity embeddings, while explicitly using symbolic information lets it integrate new entities without retraining.


title: On direct images of twisted pluricanonical sheaves on normal varieties

abstract: We study the depth properties of certain direct image sheaves on normal varieties. Let $f: Y\rightarrow X$ be a proper morphism of relative dimension $d$ from a smooth variety onto a normal variety such that the preimage $E$ of the singular locus of $X$ is a divisor. We show that for any integer $m>0$, the higher direct image $R^df_*\omega^{\otimes m}_Y(aE)$ modulo the torsion subsheaf is $S_2$, provided that $a$ is sufficiently large. In case $f$ is birational, we give criteria on $a$ for the direct image $f_*\omega_Y(aE)$ to coincide with $\omega_X$. We also introduce an index measuring the singularities of normal varieties.


title: A symplectic Kovacic's algorithm in dimension 4

abstract: Let $L$ be a $4$th order differential operator with coefficients in $\mathbb{K}(z)$, with $\mathbb{K}$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental matrix of solutions $X$ satisfies $X^t J X=J$ where $J$ is the standard symplectic matrix. It is called projectively symplectic when it is projectively equivalent to a symplectic operator. We design an algorithm to test if $L$ is projectively symplectic. Furthermore, based on Kovacic's algorithm, we design an algorithm that computes Liouvillian solutions of projectively symplectic operators of order $4$. Moreover, using Klein's Theorem, algebraic solutions are given as pullbacks of standard hypergeometric equations.


title: On mapping exoplanet atmospheres with high-dispersion spectro-polarimetry. Some model predictions

abstract: Planets reflect and linearly polarize the radiation that they receive from their host stars. The emergent polarization is sensitive to aspects of the planet atmosphere such as the gas composition and the occurrence of condensates and their optical properties. Extracting this information will represent a major step in the characterization of exoplanets. The numerical simulations presented here show that the polarization of a spatially-unresolved exoplanet may be detected by cross-correlating high-dispersion linear polarization and intensity (brightness) spectra of the planet-star system. The Doppler shift of the planet-reflected starlight facilitates the separation of this signal from the polarization introduced by the interstellar medium and the terrestrial atmosphere. The selection of the orbital phases and wavelengths at which to study the planet is critical. An optimal choice however will partly depend on information about the atmosphere that is a priori unknown. We elaborate on the cases of close-in giant exoplanets with non-uniform cloud coverage, an outcome of recent brightness phase curve surveys from space, and for which the hemispheres east and west of the sub-stellar point will produce different polarizations. With integration times on the order of hours at a 10-m telescope, the technique might distinguish amongst some proposed asymmetric cloud scenarios with fractional polarizations of 10 parts per million for one such planet orbiting a V-mag=5.5 host star. Future 30-40-m telescopes equipped with high-dispersion spectro-polarimeters will be able to investigate the linear polarization of smaller planets orbiting fainter stars and look for molecular features in their polarization spectra.


title: Lyapunov Design for Event-Triggered Exponential Stabilization

abstract: Control Lyapunov Functions (CLF) method gives a constructive tool for stabilization of nonlinear systems. To find a CLF, many methods have been proposed in the literature, e.g. backstepping for cascaded systems and sum of squares (SOS) programming for polynomial systems. Dealing with continuous-time systems, the CLF-based controller is also continuous-time, whereas practical implementation on a digital platform requires sampled-time control. In this paper, we show that if the continuous-time controller provides exponential stabilization, then an exponentially stabilizing event-triggered control strategy exists with the convergence rate arbitrarily close to the rate of the continuous-time system.


title: Free Fall in Gravitational Theory

abstract: Einstein's explanation of Mercury's perihelion motion has been verified by astronomical observations. His formula could also be obtained in Schwarzschild metric and was published already in 1898. Motion along a straight geodesic, however, namely, free fall into a gravitational center with vanishing angular momentum, is incorrectly described both by Einstein's and by Schwarzschild's equation of motion. A physical solution for free fall may be obtained by taking into account the dependence of mass on velocity in Newton's gravitational law as adopted in the physics of accelerators.


title: Stochastic dynamics of planar magnetic moments in a three-dimensional environment

abstract: We study the stochastic dynamics of a two-dimensional magnetic moment embedded in a three-dimensional environment, described by means of the stochastic Landau-Lifshitz-Gilbert (sLLG) equation. We define a covariant generalization of this equation, valid in the "generalized Stratonovich discretization prescription". We present a path integral formulation that allows to compute any $n-$point correlation function, independently of the stochastic calculus used. Using this formalism, we show the equivalence between the cartesian formulation with vectorial noise, with the polar formulation with just one scalar fluctuation term. In particular, we show that, for isotropic fluctuations, the system is represented by an {\em additive stochastic process}, despite of the multiplicative terms appearing in the original formulation of the sLLG equation, but, for anisotropic fluctuations the noise turns out to be truly multiplicative.


title: Structural, elastic, optoelectronic and transport properties of Sr3SnO under pressure

abstract: We have presented the structural, elastic, optoelectronic and transport properties of Sr3SnO under pressure by using first principles method. The application of hydrostatic pressure causes charge transfer from Sr(5s) orbital to Sn(5p) and O(2p) orbitals. The increasing trend of Pughs ratio under pressure implies that the material tends to be ductile at high pressure. The semiconductor-metal transition occurs at 14 GPa and the density of states at the Fermi level is significantly increased at this pressure. The refractive index, optical conductivity, and absorption of Sr3SnO have been found to be high and comparable to that for typical materials used in photovoltaic. The material becomes n-type from 12 GPa and Hall coefficient also confirm it. Large Seebeck coefficient obtained at 12 GPa. Thus, Sr3SnO is a potential thermoelectric material possessing both p- and n-type nature. The detail physics of these changes under pressure has been explained within the available theory.


title: Fairness and Accountability Design Needs for Algorithmic Support in High-Stakes Public Sector Decision-Making

abstract: Calls for heightened consideration of fairness and accountability in algorithmically-informed public decisions---like taxation, justice, and child protection---are now commonplace. How might designers support such human values? We interviewed 27 public sector machine learning practitioners across 5 OECD countries regarding challenges understanding and imbuing public values into their work. The results suggest a disconnect between organisational and institutional realities, constraints and needs, and those addressed by current research into usable, transparent and 'discrimination-aware' machine learning---absences likely to undermine practical initiatives unless addressed. We see design opportunities in this disconnect, such as in supporting the tracking of concept drift in secondary data sources, and in building usable transparency tools to identify risks and incorporate domain knowledge, aimed both at managers and at the 'street-level bureaucrats' on the frontlines of public service. We conclude by outlining ethical challenges and future directions for collaboration in these high-stakes applications.


title: JobPruner: A Machine Learning Assistant for Exploring Parameter Spaces in HPC Applications

abstract: High Performance Computing (HPC) applications are essential for scientists and engineers to create and understand models and their properties. These professionals depend on the execution of large sets of computational jobs that explore combinations of parameter values. Avoiding the execution of unnecessary jobs brings not only speed to these experiments, but also reductions in infrastructure usage---particularly important due to the shift of these applications to HPC cloud platforms. Our hypothesis is that data generated by these experiments can help users in identifying such jobs. To address this hypothesis we need to understand the similarity levels among multiple experiments necessary for job elimination decisions and the steps required to automate this process. In this paper we present a study and a machine learning-based tool called JobPruner to support parameter exploration in HPC experiments. The tool was evaluated with three real-world use cases from different domains including seismic analysis and agronomy. We observed the tool reduced 93% of jobs in a single experiment, while improving quality in most scenarios. In addition, reduction in job executions was possible even considering past experiments with low correlations.