title: Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications

abstract: The aim of this work is to introduce an efficient procedure for discrete multi-agent planning under local complex temporal logic behavior specifications. While the first part of an agent's behavior specification constraints the agent's trace and is independent, the second part of the specification expresses the agent's tasks in terms of the services to be provided along the trace and may impose requests for the other agents' collaborations. To fight the extreme computational complexity of centralized multi-agent planning, we propose a two-phase automata-based solution, where we systematically decouple the planning procedure for the two types of specifications. At first, we only consider the former specifications in a fully decentralized way and we compactly represent each agents' admissible traces by abstracting away the states that are insignificant for the satisfaction of their latter specifications. Second, the synchronized planning procedure uses only the compact representations. The satisfaction of the overall specification is guaranteed by construction for each agent. An illustrative example demonstrating the practical benefits of the solution is included.


title: Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization

abstract: We study the problem of plan synthesis for multi-agent systems, to achieve complex, high-level, long-term goals that are assigned to each agent individually. As the agents might not be capable of satisfying their respective goals by themselves, requests for other agents' collaborations are a part of the task descriptions. We consider that each agent is modeled as a discrete state-transition system and its task specification takes a form of a linear temporal logic formula, which may contain requirements and constraints on the other agent's behavior. A traditional automata-based approach to multi-agent plan synthesis from such specifications builds on centralized team planning and full team synchronization after each agents' discrete step, and thus suffers from extreme computational demands. We aim at reducing the computational complexity by decomposing the plan synthesis problem into finite horizon planning problems that are solved iteratively, upon the run of the agents. As opposed to full synchronization, we introduce an event-based synchronization that allows our approach to efficiently adapt to different time durations of different agents' discrete steps. We discuss the correctness of the solution and find assumptions, under which the proposed iterative algorithm leads to provable eventual satisfaction of the desired specifications.


title: Testing dust trapping in the circumbinary disk around GG Tau A

abstract: The protoplanetary disk around the GGTau A binary system is so far one of the most studied young circumbinary disk. Observations of the dust continuum emission at sub-mm/mm wavelengths detected a dust ring located between 200AU and 300AU from the center of mass of the system. If the disk and the binary orbit are coplanar, given the observed projected separation of the stars in the binary system, the classical theory of tidal interaction between a binary system and its circumbinary disk predicts a truncation radius which is significantly smaller than the measured inner radius of the mm-sized dust ring. We investigate the origin of this dust ring structure in the GG Tau A disk, test whether the interaction between the binary and the disk can produce a dust trap at the location of the observed ring, and discuss an alternative scenario which invokes a misalignment between the disk and the stellar orbital planes. We run a set of hydrodynamical simulations for an orbit consistent with the astrometric solutions for the GG Tau A stellar proper motions, and for different disk temperature and viscosities. We then apply a dust evolution model in post-processing in order to to retrieve the distribution of mm-sized grains. Comparing models and observations, we show that, if the binary orbit and the disk were coplanar,the tidal truncation of the circumbinary disk would occur at a radius that is too small compared to the inner edge inferred by the dust observations, and that the pressure bump and the dust ring in the models would be located at <150AU from the center of mass of the stellar system. This shows that the GG Tau A disk cannot be coplanar with the binary orbital plane. We also discuss the viability of the misaligned disk scenario, suggesting that in order for dust trapping to occur at the observed radius, the disk and orbital plane must be misaligned by an angle of about 25 degrees.


title: Tracing the gravitational potential using cosmic voids

abstract: The properties of large underdensities in the distribution of galaxies in the Universe, known as cosmic voids, are potentially sensitive probes of fundamental physics. We use data from the MultiDark suite of N-body simulations and multiple halo occupation distribution mocks to study the relationship between galaxy voids, identified using a watershed void-finding algorithm, and the gravitational potential $\Phi$. We find that the majority of galaxy voids correspond to local density minima in larger-scale overdensities, and thus lie in potential wells. However, a subset of voids can be identified that closely trace maxima of the gravitational potential and thus stationary points of the velocity field. We identify a new void observable, $\lambda_v$, which depends on a combination of the void size and the average galaxy density contrast within the void, and show that it provides a good proxy indicator of the potential at the void location. A simple linear scaling of $\Phi$ as a function of $\lambda_v$ is found to hold, independent of the redshift and properties of the galaxies used as tracers of voids. We provide an accurate fitting formula to describe the spherically averaged potential profile $\Phi(r)$ about void centre locations. We discuss the importance of these results for the understanding of the evolution history of voids, and for their use in precision measurements of the integrated Sachs-Wolfe effect, gravitational lensing and peculiar velocity distortions in redshift space.


title: Resonant inelastic X-ray scattering study of spin-wave excitations in the cuprate parent compound Ca$_{2}$CuO$_2$Cl$_2$

abstract: By means of resonant inelastic x-ray scattering at the Cu L$_3$ edge, we measured the spin wave dispersion along $\langle$100$\rangle$ and $\langle$110$\rangle$ in the undoped cuprate Ca$_2$CuO$_2$Cl$_2$. The data yields a reliable estimate of the superexchange parameter $J$ = 135 $\pm$ 4 meV using a classical spin-1/2 2D Heisenberg model with nearest-neighbor interactions and including quantum fluctuations. Including further exchange interactions increases the estimate to $J$ = 141 meV. The 40 meV dispersion between the magnetic Brillouin zone boundary points (1/2,\,0) and (1/4,\,1/4) indicates that next-nearest neighbor interactions in this compound are intermediate between the values found in La$_{2}$CuO$_4$ and Sr$_2$CuO$_2$Cl$_2$. Owing to the low-$Z$ elements composing Ca$_2$CuO$_2$Cl$_2$, the present results may enable a reliable comparison with the predictions of quantum many-body calculations, which would improve our understanding of the role of magnetic excitations and of electronic correlations in cuprates.


title: Existence and stability of viscous vortices

abstract: Vorticity plays a prominent role in the dynamics of incompressible viscous flows. In two-dimensional freely decaying turbulence, after a short transient period, evolution is essentially driven by interactions of viscous vortices, the archetype of which is the self-similar Lamb-Oseen vortex. In three dimensions, amplification of vorticity due to stretching can counterbalance viscous dissipation and produce stable tubular vortices. This phenomenon is illustrated in a famous model originally proposed by Burgers, where a straight vortex tube is produced by a linear uniaxial strain field. In real flows vortex lines are usually not straight, and can even form closed curves, as in the case of axisymmetric vortex rings which are very common in nature and in laboratory experiments. The aim of this chapter is to review a few rigorous results concerning existence and stability of viscous vortices in simple geometries.


title: On a new non-Boussinesq instability in stratified lakes and oceans

abstract: Lakes and many other geophysical flows are shallow, density stratified, and contain a free-surface. Conventional studies on stratified shear instabilities make Boussinesq approximation. Free-surface arising due to large density variations between air and water cannot be taken into consideration under this approximation. Hence the free-surface is usually replaced by a rigid-lid, and therefore has little effect on the stability of the fluid below it. In this paper we have performed non-Boussinesq linear stability analyses of a double circulation velocity profile prevalent in two-layered density stratified lakes. One of our analyses is performed by considering the presence of wind, while the other one considers quiescent air. Both analyses have shown similar growth rates and stability boundaries. We have compared our non-Boussinesq study with a corresponding Boussinesq one. The maximum non-Boussinesq growth rate is found to be an order of magnitude greater than the maximum Boussinesq growth rate. Furthermore, the stability curves in these two studies are very different. The non-Boussinesq instability as well as the Boussinseq one can become three dimensional in some sub-ranges of the bulk Richardson number. An analytical study has also been conducted on a simple broken-line profile representing double circulation in order to complement the numerical stability analysis. The analytical growth rates are in good agreement with the non-Boussinesq numerical growth rates observed in continuous profiles. The physical mechanism behind this non-Boussinesq instability is the resonant interaction between a surface vorticity-gravity wave existing at the free-surface (air-water interface), and an interfacial vorticity-gravity wave existing at the pycnocline (warm and cold water interface). We expect similar kind of non-Boussinesq instability to occur in the upper layer of oceans.


title: On the estimation of extreme directional multivariate quantiles

abstract: In multivariate extreme value theory (MEVT), the focus is on analysis outside of the observable sampling zone, which implies that the region of interest is associated to high risk levels. This work provides tools to include directional notions into the MEVT, giving the opportunity to characterize the recently introduced directional multivariate quantiles (DMQ) at high levels. Then, an out-sample estimation method for these quantiles is given. A bootstrap procedure carries out the estimation of the tuning parameter in this multivariate framework and helps with the estimation of the DMQ. Asymptotic normality for the proposed estimator is provided and the methodology is illustrated with simulated data-sets. Finally, a real-life application to a financial case is also performed.


title: A note on triangulated monads and categories of module spectra

abstract: Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially monadic', i.e. becomes monadic after performing the two evident necessary operations of taking the Verdier quotient by the kernel of the right adjoint and idempotent completion. In this sense, the monad itself is 'intrinsically monadic'. It follows that for any highly structured ring spectrum, its category of homotopy (a.k.a. naive) modules is triangulated if and only if it is equivalent to its category of highly structured (a.k.a. strict) modules.


title: Exact solution to integrable open multi-species SSEP and macroscopic fluctuation theory

abstract: We introduce a multi-species generalization of the symmetric simple exclusion process with open boundaries. This model possesses the property of being integrable and appears as physically relevant because the boundary conditions can be interpreted as the interaction with particles reservoirs with fixed densities of each species. The system is driven out-of-equilibrium by these reservoirs. The steady state is analytically computed in a matrix product form. This algebraic structure allows us to obtain exact expressions for the mean particle currents and for the one and two-point correlation functions. An additivity principle is also derived from the matrix ansatz and permits the computation of the large deviation functional of the density profile. We also propose a description of the model in the context of the macroscopic fluctuation theory and we check the consistency with the exact computations from the finite size lattice.


title: Stability results for graphs with a critical edge

abstract: The classical stability theorem of Erd\H{o}s and Simonovits states that, for any fixed graph with chromatic number $k+1 \ge 3$, the following holds: every $n$-vertex graph that is $H$-free and has within $o(n^2)$ of the maximal possible number of edges can be made into the $k$-partite Tur\'{a}n graph by adding and deleting $o(n^2)$ edges. In this paper, we prove sharper quantitative results for graphs $H$ with a critical edge, both for the Erd\H{o}s-Simonovits Theorem (distance to the Tur\'{a}n graph) and for the closely related question of how close an $H$-free graph is to being $k$-partite. In many cases, these results are optimal to within a constant factor.


title: Non-integrated defect relation for meromorphic maps from a K\"{a}hler manifold intersecting hypersurfaces in subgeneral of $\mathbb P^n(\mathbb C)$

abstract: In this article, we establish a truncated non-integrated defect relation for meromorphic mappings from an $m$-dimensional complete K\"{a}hler manifold into $\mathbb P^n(\mathbb C)$ intersecting $q$ hypersurfaces $Q_1,...,Q_q$ in $k$-subgeneral position of degree $d_i$, i.e., the intersection of any $k+1$ hypersurfaces is emptyset. We will prove that $$ \sum_{i=1}^q\delta_f^{[u-1]}(Q_i)\le (k-n+1)(n+1)+\epsilon+\frac{\rho u(u-1)}{d}, $$ where $u$ is explicitly estimated and $d$ is the least common multiple of $d_i'$s. Our result generalizes and improves previous results. In the last part of this paper we will apply this result to study the distribution of the Gauss map of minimal surfaces.


title: Schmidt's subspace theorem for moving hypersurface in subgeneral position

abstract: In this paper, we establish a Schmidt's subspace theorem for moving hypersurfaces in weakly subgeneral position. Our result generalizes the previous results on Schmidt's theorem for the case of moving hypersurfaces.


title: The compactness locus of a geometric functor and the formal construction of the Adams isomorphism

abstract: We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset of the tensor-triangular spectrum of the target category which, crudely speaking, measures the failure of the functor to satisfy Grothendieck-Neeman duality (or equivalently, to admit a left adjoint). We prove that any geometric functor --- even one which does not admit a left adjoint --- gives rise to a Wirthm\"uller isomorphism once one passes to a colocalization of the target category determined by the compactness locus. When applied to the inflation functor in equivariant stable homotopy theory, this produces the Adams isomorphism.


title: Perfect Isometry Groups for Cyclic Groups of Prime Order

abstract: A perfect isometry is an important relation between blocks of finite groups as many information about blocks are preserved by it. If we consider the group of all perfect isometries between a block to itself then this gives another information about the block that is also preserved by a perfect isometry. The structure of this group depends on the block and can be fairly simple or extremely complicated. In this paper we study the perfect isometry group for the block of $C_p$, the cyclic group of prime order, and completely describe the structure of this group. The result shows that any self perfect isometry for $C_p$ is essentially either induced by an element in $\mbox{Aut}(C_p)$, or obtained by multiplication by one of its linear characters, or a composition of both.


title: A general second order complete active space self-consistent-field solver for large-scale systems

abstract: We present a new second order complete active space self-consistent field implementation to converge wavefunctions for both large active spaces and large atomic orbital (AO) bases. Our algorithm decouples the active space wavefunction solver from the orbital optimization in the microiterations, and thus may be easily combined with various modern active space solvers. We also introduce efficient approximate orbital gradient and Hessian updates, and step size determination. We demonstrate its capabilities by calculating the low-lying states of the Fe(\Roman{2})-porphine complex with modest resources using a density matrix renormalization group solver in a CAS(22,27) active space and a 3000 AO basis.


title: Self-consistent solution of Hedin's equations: semiconductors/insulators

abstract: The band gaps of a few selected semiconductors/insulators are obtained from the self-consistent solution of the Hedin's equations. Two different schemes to include the vertex corrections are studied: (i) the vertex function of the first-order (in the screened interaction $W$) is applied in both the polarizability $P$ and the self-energy $\Sigma$, and (ii) the vertex function obtained from the Bethe-Salpeter equation is used in $P$ whereas the vertex of the first-order is used in $\Sigma$. Both schemes show considerable improvement in the accuracy of the calculated band gaps as compared to the self-consistent $GW$ approach (sc$GW$) and to the self-consistent quasi-particle $GW$ approach (QS$GW$). To further distinguish between the performances of two vertex-corrected schemes one has to properly take into account the effect of the electron-phonon interaction on the calculated band gaps which appears to be of the same magnitude as the difference between schemes i) and ii).


title: Structural and magnetic properties of two branches of the Tripod Kagome Lattice family A$_{2}$RE$_{3}$Sb$_{3}$O$_{14}$ (A = Mg, Zn; RE = Pr, Nd, Gd, Tb, Dy, Ho, Er, Yb)

abstract: We present a systematic study of the structural and magnetic properties of two branches of the rare earth Tripod Kagome Lattice (TKL) family A$_{2}$RE$_{3}$Sb$_{3}$O$_{14}$ (A = Mg, Zn; RE = Pr, Nd, Gd, Tb, Dy, Ho, Er, Yb; here, we use abbreviation \textit{A-RE}, as in \textit{MgPr} for Mg$_{2}$Pr$_{3}$Sb$_{3}$O$_{14}$), which complements our previously reported work on \textit{MgDy}, \textit{MgGd}, and \textit{MgEr} \cite{TKL}. The present susceptibility ($\chi_{dc}$, $\chi_{ac}$) and specific heat measurements reveal various magnetic ground states, including the non-magnetic singlet state for \textit{MgPr}, \textit{ZnPr}; long range orderings (LROs) for \textit{MgGd}, \textit{ZnGd}, \textit{MgNd}, \textit{ZnNd}, and \textit{MgYb}; a long range magnetic charge ordered state for \textit{MgDy}, \textit{ZnDy}, and potentially for \textit{MgHo}; possible spin glass states for \textit{ZnEr}, \textit{ZnHo}; the absence of spin ordering down to 80 mK for \textit{MgEr}, \textit{MgTb}, \textit{ZnTb}, and \textit{ZnYb} compounds. The ground states observed here bear both similarities as well as striking differences from the states found in the parent pyrochlore systems. In particular, while the TKLs display a greater tendency towards LRO, the lack of LRO in \textit{MgHo}, \textit{MgTb} and \textit{ZnTb} can be viewed from the standpoint of a balance among spin-spin interactions, anisotropies and non-Kramers nature of single ion state. While substituting Zn for Mg changes the chemical pressure, and subtly modifies the interaction energies for compounds with larger RE ions, this substitution introduces structural disorder and modifies the ground states for compounds with smaller RE ions (Ho, Er, Yb).


title: On the maximal cut of Feynman integrals and the solution of their differential equations

abstract: The standard procedure for computing scalar multi-loop Feynman integrals consists in reducing them to a basis of so-called master integrals, derive differential equations in the external invariants satisfied by the latter and, finally, try to solve them as a Laurent series in $\epsilon = (4-d)/2$, where $d$ are the space-time dimensions. The differential equations are, in general, coupled and can be solved using Euler's variation of constants, provided that a set of homogeneous solutions is known. Given an arbitrary differential equation of order higher than one, there exist no general method for finding its homogeneous solutions. In this paper we show that the maximal cut of the integrals under consideration provides one set of homogeneous solutions, simplifying substantially the solution of the differential equations.


title: Geometric Langlands correspondence for SL(2), PGL(2) over the pair of pants

abstract: We establish the Geometric Langlands correspondence for rank one groups over the projective line with three points of tame ramification.


title: Comparison of ultracold neutron sources for fundamental physics measurements

abstract: Ultracold neutrons (UCNs) are key for precision studies of fundamental parameters of the neutron and in searches for new CP violating processes or exotic interactions beyond the Standard Model of particle physics. The most prominent example is the search for a permanent electric dipole moment of the neutron (nEDM). We have performed an experimental comparison of the leading UCN sources currently operating. We have used a 'standard' UCN storage bottle with a volume of 32 liters, comparable in size to nEDM experiments, which allows us to compare the UCN density available at a given beam port.


title: Video Analysis of "YouTube Funnies" to Aid the Study of Human Gait and Falls - Preliminary Results and Proof of Concept

abstract: Because falls are funny, YouTube and other video sharing sites contain a large repository of real-life falls. We propose extracting gait and balance information from these videos to help us better understand some of the factors that contribute to falls. Proof-of-concept is explored in a single video containing multiple (n=14) falls/non-falls in the presence of an unexpected obstacle. The analysis explores: computing spatiotemporal parameters of gait in a video captured from an arbitrary viewpoint; the relationship between parameters of gait from the last few steps before the obstacle and falling vs. not falling; and the predictive capacity of a multivariate model in predicting a fall in the presence of an unexpected obstacle. Homography transformations correct the perspective projection distortion and allow for the consistent tracking of gait parameters as an individual walks in an arbitrary direction in the scene. A synthetic top view allows for computing the average stride length and a synthetic side view allows for measuring up and down motions of the head. In leave-one-out cross-validation, we were able to correctly predict whether a person would fall or not in 11 out of the 14 cases (78.6%), just by looking at the average stride length and the range of vertical head motion during the 1-4 most recent steps prior to reaching the obstacle.


title: Universal adversarial perturbations

abstract: Given a state-of-the-art deep neural network classifier, we show the existence of a universal (image-agnostic) and very small perturbation vector that causes natural images to be misclassified with high probability. We propose a systematic algorithm for computing universal perturbations, and show that state-of-the-art deep neural networks are highly vulnerable to such perturbations, albeit being quasi-imperceptible to the human eye. We further empirically analyze these universal perturbations and show, in particular, that they generalize very well across neural networks. The surprising existence of universal perturbations reveals important geometric correlations among the high-dimensional decision boundary of classifiers. It further outlines potential security breaches with the existence of single directions in the input space that adversaries can possibly exploit to break a classifier on most natural images.


title: Time-resolved measurements of surface spin-wave pulses at millikelvin temperatures

abstract: In this work, we experimentally investigate the propagation of pulsed magnetostatic surface spin-wave (magnon) signals in an yttrium iron garnet (YIG) waveguide at millikelvin temperatures. Our measurements are performed in a dilution refrigerator at microwave frequencies. The excellent signal-to-noise ratio afforded by the low-temperature environment allows the propagation of the pulses to be observed in detail. The work gives insight both into low-temperature magnon dynamics in YIG and the potential application of systems of propagating magnons to solid-state quantum information processing.


title: Local contributions to Donaldson-Thomas invariants

abstract: Let $C$ be a smooth curve embedded in a smooth quasi-projective threefold $Y$, and let $Q^n_C=\textrm{Quot}_n(\mathscr I_C)$ be the Quot scheme of length $n$ quotients of its ideal sheaf. We show the identity $\tilde\chi(Q^n_C)=(-1)^n\chi(Q^n_C)$, where $\tilde\chi$ is the Behrend weighted Euler characteristic. When $Y$ is a projective Calabi-Yau threefold, this shows that the DT contribution of a smooth rigid curve is the signed Euler characteristic of the moduli space. This can be rephrased as a DT/PT wall-crossing type formula, which can be formulated for arbitrary smooth curves. In general, the formula is shown to be equivalent to a certain Behrend function identity.


title: Geometric filling curves on surfaces

abstract: This note is about a type of quantitative density of closed geodesics on closed hyperbolic surfaces. The main results are upper bounds on the length of the shortest closed geodesic that $\varepsilon$-fills the surface.


title: Improved Rademacher symmetrization through a Wasserstein based measure of asymmetry

abstract: We propose of an improved version of the ubiquitous symmetrization inequality making use of the Wasserstein distance between a measure and its reflection in order to quantify the symmetry of the given measure. An empirical bound on this asymmetric correction term is derived through a bootstrap procedure and shown to give tighter results in practical settings than the original uncorrected inequality. Lastly, a wide range of applications are detailed including testing for data symmetry, constructing nonasymptotic high dimensional confidence sets, bounding the variance of an empirical process, and improving constants in Nemirovski style inequalities for Banach space valued random variables.


title: Hydrogen bonding in the protic ionic liquid triethylammonium nitrate explored by density functional tight binding simulations

abstract: The applicability of the density functional based tight binding (DFTB) method to the description of hydrogen bond dynamics and infrared spectroscopy is addressed for the exemplary protic ionic liquid triethylammonium nitrate. Potential energy curves for proton transfer in gas and liquid phase are shown to be comparable to high level coupled cluster theory in the thermally accessible range of bond lengths. Geometric correlations in the hydrogen bond dynamics are analyzed for a cluster of six ion pairs. Comparing DFTB and regular DFT data lends further support for the reliability of the DFTB method. Therefore, DFTB bulk simulations are performed to quantify the extent of geometric correlations in terms of Pauling's bond order model. Further, infrared (IR) absorption spectra are obtained and analyzed putting emphasis on the signatures of hydrogen bonding in the NH-stretching and far IR hydrogen bond range.


title: On the Exact Amount of Missing Information that makes Finding Possible Winners Hard

abstract: We consider election scenarios with incomplete information, a situation that arises often in practice. There are several models of incomplete information and accordingly, different notions of outcomes of such elections. In one well-studied model of incompleteness, the votes are given by partial orders over the candidates. In this context we can frame the problem of finding a possible winner, which involves determining whether a given candidate wins in at least one completion of a given set of partial votes for a specific voting rule. The possible winner problem is well-known to be NP-complete in general, and it is in fact known to be NP-complete for several voting rules where the number of undetermined pairs in every vote is bounded only by some constant. In this paper, we address the question of determining precisely the smallest number of undetermined pairs for which the possible winner problem remains NP-complete. In particular, we find the exact values of $t$ for which the possible winner problem transitions to being NP-complete from being in P, where $t$ is the maximum number of undetermined pairs in every vote. We demonstrate tight results for a broad subclass of scoring rules which includes all the commonly used scoring rules (such as plurality, veto, Borda, $k$-approval, and so on), Copeland$^\alpha$ for every $\alpha\in[0,1]$, maximin, and Bucklin voting rules. A somewhat surprising aspect of our results is that for many of these rules, the possible winner problem turns out to be hard even if every vote has at most one undetermined pair of candidates.


title: Sum-networks: Dependency on Characteristic of the Finite Field under Linear Network Coding

abstract: Sum-networks are networks where all the terminals demand the sum of the symbols generated at the sources. It has been shown that for any finite set/co-finite set of prime numbers, there exists a sum-network which has a vector linear solution if and only if the characteristic of the finite field belongs to the given set. It has also been shown that for any positive rational number $k/n$, there exists a sum-network which has capacity equal to $k/n$. It is a natural question whether, for any positive rational number $k/n$, and for any finite set/co-finite set of primes $\{p_1,p_2,\ldots,p_l\}$, there exists a sum-network which has a capacity achieving rate $k/n$ fractional linear network coding solution if and only if the characteristic of the finite field belongs to the given set. We show that indeed there exists such a sum-network by constructing such a sum-network.


title: Resonance contribution of scalar color octet to $t \bar{t}$ production at the LHC in the minimal four color quark-lepton symmetry model

abstract: The scalar color octet contribution to the resonance $t\bar{t}$-pair production at the LHC is calculated and analysed with account of the one loop effective two gluon vertex. It is shown that this contribution from the scalar color octet $F_2$ predicted by the minimal model with the four color quark-lepton symmetry is for $\sqrt{s}=13$ TeV of about a few percents for $750 < m_{F_2} < 1800$ GeV and can exceed 10% for $400 < m_{F_2} < 750$ GeV. It is also pointed out that the search for the scalar octet $F_2$ as the resonance in the dijet mass spectra seems to be difficult because of the smallness of its one loop effective two gluon interaction.


title: Two problems concerning irreducible elements in rings of integers of number fields

abstract: Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles dividing a nonzero element of $\mathbb{Z}_K$ of norm not exceeding $x$ (in absolute value), as $x\to\infty$. Second, we count the number of irreducible elements of $\mathbb{Z}_K$ of norm not exceeding $x$ lying in a given arithmetic progression (again, as $x\to\infty$). When $K=\mathbb{Q}$, both results are classical; a new feature in the general case is the influence of combinatorial properties of the class group of $K$.


title: FROG: A Fast and Reliable Crowdsourcing Framework (Technical Report)

abstract: For decades, the crowdsourcing has gained much attention from both academia and industry, which outsources a number of tasks to human workers. Existing works considered improving the task accuracy through voting or learning methods, they usually did not fully take into account reducing the latency of the task completion. When a task requester posts a group of tasks (e.g., sentiment analysis), and one can only obtain answers of all tasks after the last task is accomplished. As a consequence, the time delay of even one task in this group could delay the next step of the task requester's work from minutes to days, which is quite undesirable for the task requester. Inspired by the importance of the task accuracy and latency, in this paper, we will propose a novel crowdsourcing framework, namely Fast and Reliable crOwdsourcinG framework (FROG), which intelligently assigns tasks to workers, such that the latencies of tasks are reduced and the expected accuracies of tasks are met. Specifically, our FROG framework consists of two important components, task scheduler and notification modules. For the task scheduler module, we formalize a FROG task scheduling (FROG-TS) problem, in which the server actively assigns workers with tasks with high reliability and low latency. We prove that the FROG-TS problem is NP-hard. Thus, we design two heuristic approaches, request-based and batch-based scheduling. For the notification module, we define an efficient worker notifying (EWN) problem, which only sends task invitations to those workers with high probabilities of accepting the tasks. To tackle the EWN problem, we propose a smooth kernel density estimation approach to estimate the probability that a worker accepts the task invitation. Through extensive experiments, we demonstrate the effectiveness and efficiency of our proposed FROG platform on both real and synthetic data sets.


title: Influence of the iron spin crossover in ferropericlase on the lower mantle geotherm

abstract: The iron spin crossover in ferropericlase introduces anomalies in its thermodynamics and thermoelastic properties. Here we investigate how these anomalies can affect the lower mantle geotherm. The effect is examined in mantle aggregates consisting of mixtures of bridgmanite, ferropericlase, and CaSiO$_3$ perovskite, with different Mg/Si ratios varying from harzburgitic to perovskitic (Mg/Si$\sim$1.5 to 0.8). We find that the anomalies introduced by the spin crossover increase the isentropic gradient and thus the geotherm proportionally to the amount of ferropericlase. The geotherms can be as much as $\sim$ 200K hotter than the conventional adiabatic geotherm at deep lower mantle conditions. Aggregate elastic moduli and seismic velocities are also sensitive to the spin crossover and the geotherm, which impacts analyses of lower mantle velocities and composition.


title: Adiabatic Interactions of Manakov Solitons -- Effects of Cross-modulation

abstract: We investigate the asymptotic behavior of the Manakov soliton trains perturbed by cross-modulation in the adiabatic approximation. The multisoliton interactions in the adiabatic approximation are modeled by a generalized Complex Toda chain (GCTC). The cross-modulation requires special treating for the evolution of the polarization vectors of the solitons. The numerical predictions of the Manakov system are compared with the perturbed GCTC. For certain set of initial parameters GCTC describes very well the long-time evolution of the Manakov soliton trains.


title: The Fellowship of LIBOR: A Study of Spurious Interbank Correlations by the Method of Wigner-Ville Function

abstract: The manipulation of LIBOR by a group of banks became one of the major blows to the remaining confidence in financial industry. Yet, despite an enormous amount of popular literature on the subject, rigorous time-series studies are few. In my paper, I discuss the following hypothesis. Namely, if we should assume for a statistical null, the quotes, which were submitted by the member banks were true, the deviations from the LIBOR should have been entirely random because they were determined by idiosyncratic conditions by the member banks. This hypothesis can be statistically verified. Serial correlations of the rates, which cannot be explained by the differences in credit qualities of the member banks or the domicile Governments, were subjected to correlation tests. A new econometric method--the analysis of the Wigner-Ville function borrowed from quantum mechanics and signal processing--is used and explained for the statistical interpretation of regression residuals.


title: A Comparison of Various Electricity Tariff Price Forecasting Techniques in Turkey and Identifying the Impact of Time Series Periods

abstract: It is very vital for suppliers and distributors to predict the deregulated electricity prices for creating their bidding strategies in the competitive market area. Pre requirement of succeeding in this field, accurate and suitable electricity tariff price forecasting tools are needed. In the presence of effective forecasting tools, taking the decisions of production, merchandising, maintenance and investment with the aim of maximizing the profits and benefits can be successively and effectively done. According to the electricity demand, there are four various electricity tariffs pricing in Turkey; monochromic, day, peak and night. The objective is find the best suitable tool for predicting the four pricing periods of electricity and produce short term forecasts (one year ahead-monthly). Our approach based on finding the best model, which ensures the smallest forecasting error measurements of: MAPE, MAD and MSD. We conduct a comparison of various forecasting approaches in total accounts for nine teen, at least all of those have different aspects of methodology. Our beginning step was doing forecasts for the year 2015. We validated and analyzed the performance of our best model and made comparisons to see how well the historical values of 2015 and forecasted data for that specific period matched. Results show that given the time-series data, the recommended models provided good forecasts. Second part of practice, we also include the year 2015, and compute all the models with the time series of January 2011 to December 2015. Again by choosing the best appropriate forecasting model, we conducted the forecast process and also analyze the impact of enhancing of time series periods (January 2007 to December 2015) to model that we used for forecasting process.


title: Minimum spanning tree filtering of correlations for varying time scales and size of fluctuations

abstract: Based on a recently proposed $q$-dependent detrended cross-correlation coefficient $\rho_q$, we generalize the concept of minimum spanning tree (MST) by introducing a family of $q$-dependent minimum spanning trees ($q$MST) that are selective to cross-correlations between different fluctuation amplitudes and different time scales. They inherit this ability directly from the coefficients $\rho_q$ that are processed here to construct a distance matrix. Conventional MST with detrending corresponds in this context to $q=2$. We apply the $q$MSTs to sample empirical data from the stock market and discuss the results. We show that the $q$MST graphs can complement $\rho_q$ in disentangling correlations that cannot be observed by the MST graphs based on $\rho_{\rm DCCA}$ and, therefore, they can be useful in many areas where the multivariate cross-correlations are of interest. We apply our method to data from the stock market and obtain more information about correlation structure of the data than by using $q=2$ only. We show that two sets of signals that differ from each other statistically can give comparable trees for $q=2$, while only by using the trees for $q \ne 2$ we become able to distinguish between these sets. We also show that a family of $q$MSTs for a range of $q$ express the diversity of correlations in a manner resembling the multifractal analysis, where one computes a spectrum of the generalized fractal dimensions, the generalized Hurst exponents, or the multifractal singularity spectra: the more diverse the correlations are, the more variable the tree topology is for different $q$s. Our analysis exhibits that the stocks belonging to the same or similar industrial sectors are correlated via the fluctuations of moderate amplitudes, while the largest fluctuations often happen to synchronize in those stocks that do not necessarily belong to the same industry.


title: Probabilistic Linear Multistep Methods

abstract: We present a derivation and theoretical investigation of the Adams-Bashforth and Adams-Moulton family of linear multistep methods for solving ordinary differential equations, starting from a Gaussian process (GP) framework. In the limit, this formulation coincides with the classical deterministic methods, which have been used as higher-order initial value problem solvers for over a century. Furthermore, the natural probabilistic framework provided by the GP formulation allows us to derive probabilistic versions of these methods, in the spirit of a number of other probabilistic ODE solvers presented in the recent literature. In contrast to higher-order Runge-Kutta methods, which require multiple intermediate function evaluations per step, Adams family methods make use of previous function evaluations, so that increased accuracy arising from a higher-order multistep approach comes at very little additional computational cost. We show that through a careful choice of covariance function for the GP, the posterior mean and standard deviation over the numerical solution can be made to exactly coincide with the value given by the deterministic method and its local truncation error respectively. We provide a rigorous proof of the convergence of these new methods, as well as an empirical investigation (up to fifth order) demonstrating their convergence rates in practice.


title: Coherence Times of Bose-Einstein Condensates beyond the Shot-Noise Limit via Superfluid Shielding

abstract: We demonstrate a new way to extend the coherence time of separated Bose-Einstein condensates that involves immersion into a superfluid bath. When both the system and the bath have similar scattering lengths, immersion in a superfluid bath cancels out inhomogeneous potentials either imposed by external fields or inherent in density fluctuations due to atomic shot noise. This effect, which we call superfluid shielding, allows for coherence lifetimes beyond the projection noise limit. We probe the coherence between separated condensates in different sites of an optical lattice by monitoring the contrast and decay of Bloch oscillations. Our technique demonstrates a new way that interactions can improve the performance of quantum devices.


title: Tracing where IoT data are collected and aggregated

abstract: The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and how they flow in the system. The results of the analysis can be used by a designer to check the behaviour of smart objects, in particular to verify non-functional properties, among which security.


title: Vector-Boson Fusion and Vector-Boson Scattering

abstract: Vector-boson fusion and vector-boson scattering are an important class of processes for the Large Hadron Collider at CERN. It is characterized by two high-energetic jets in the forward regions of the detector and reduced jet activity in the central region. The higher center-of-mass energy during the current and subsequent runs strongly boosts the sensitivity in these processes and allows to test the predictions of the Standard Model to a high precision. In this review, we first present the main phenomenological features of vector-boson fusion and scattering processes. Then we discuss the effects of higher-order corrections, which are available at NLO QCD for all processes and up to N3LO QCD and NLO electro-weak for VBF-H production. An additional refinement is the addition of parton-shower effects, where recently a lot of progress has been made. The appearance of triple and quartic gauge vertices in the production processes enables us to probe anomalous gauge couplings. We introduce and compare the different parametrizations used in the literature and also discuss the issue of unitarity violation and common unitarization procedures. Finally, we give a short overview of current and possible future experimental searches.


title: Indistinguishable quantum walks on graphs relative to a bipartite quantum walker

abstract: A distinguishability operator is defined for the continuous-time quantum walk (CTQW) of a bipartite quantum walker on two simply connected graphs, $W_{G_i,G_j} = U_{G_i}\left(t\right) \otimes U_{G_j}\left(t'\right) - U_{G_j}\left(t'\right) \otimes U_{G_i}\left(t\right)$, where $U_{G_i}\left(t\right)$ is the unitary CTQW operator for a labeled graph $G_i$ over a time interval $t$. The null space of $W_{G_i,G_j}$ defines the vector space of initial bipartite states whose time development is either constant or only dependent on $t + t'$ and is invariant to which quantum walker subsystem goes with each graph. The set of null spaces corresponding with a set of $W_{G_i,G_j}$ have interesting relations as subspaces, intersections between subspaces, and subspaces of intersections. These relations are depicted as Euler diagrams for labeled graphs of three and four vertices.


title: A large deviation principle for weighted Riesz interactions

abstract: We prove a large deviation principle for the sequence of push-forwards of empirical measures in the setting of Riesz potential interactions on compact subsets K in R^d with continuous external fields. Our results are valid for base measures on K satisfying a strong Bernstein-Markov type property for Riesz potentials. Furthermore, we give sufficient conditions on K (which are satisfied if K is a smooth submanifold) so that a measure on K which satisfies a mass-density condition will also satisfy this strong Bernstein-Markov property.


title: Co-iterative augmented Hessian method for orbital optimization

abstract: Orbital optimization procedure is widely called in electronic structure simulation. To efficiently find the orbital optimization solution, we developed a new second order orbital optimization algorithm, co-iteration augmented Hessian (CIAH) method. In this method, the orbital optimization is embedded in the diagonalization procedure for augmented Hessian (AH) eigenvalue equation. Approximations for Hessian matrix can be easily employed in this method to improve the computational costs. We numerically performed the CIAH algorithm with SCF convergence of 20 challenging systems and Boys localization of C60 molecule. We found that CIAH algorithm has better SCF convergence and less computational costs than direct inversion iterative subspace (DIIS) algorithm. The numerical tests suggest that CIAH is a stable, reliable and efficient algorithm for orbital optimization problem.


title: Counterfactual Reasoning about Intent for Interactive Navigation in Dynamic Environments

abstract: Many modern robotics applications require robots to function autonomously in dynamic environments including other decision making agents, such as people or other robots. This calls for fast and scalable interactive motion planning. This requires models that take into consideration the other agent's intended actions in one's own planning. We present a real-time motion planning framework that brings together a few key components including intention inference by reasoning counterfactually about potential motion of the other agents as they work towards different goals. By using a light-weight motion model, we achieve efficient iterative planning for fluid motion when avoiding pedestrians, in parallel with goal inference for longer range movement prediction. This inference framework is coupled with a novel distributed visual tracking method that provides reliable and robust models for the current belief-state of the monitored environment. This combined approach represents a computationally efficient alternative to previously studied policy learning methods that often require significant offline training or calibration and do not yet scale to densely populated environments. We validate this framework with experiments involving multi-robot and human-robot navigation. We further validate the tracker component separately on much larger scale unconstrained pedestrian data sets.


title: Nature does not rely on long-lived electronic quantum coherence for photosynthetic energy transfer

abstract: During the first steps of photosynthesis, the energy of impinging solar photons is transformed into electronic excitation energy of the light-harvesting biomolecular complexes. The subsequent energy transfer to the reaction center is understood in terms of exciton quasiparticles which move on a grid of biomolecular sites on typical time scales less than 100 femtoseconds (fs). Since the early days of quantum mechanics, this energy transfer is described as an incoherent Forster hopping with classical site occupation probabilities, but with quantum mechanically determined rate constants. This orthodox picture has been challenged by ultrafast optical spectroscopy experiments with the Fenna-Matthews-Olson protein in which interference oscillatory signals up to 1.5 picoseconds were reported and interpreted as direct evidence of exceptionally long-lived electronic quantum coherence. Here, we show that the optical 2D photon echo spectra of this complex at ambient temperature in aqueous solution do not provide evidence of any long-lived electronic quantum coherence, but confirm the orthodox view of rapidly decaying electronic quantum coherence on a time scale of 60 fs. Our results give no hint that electronic quantum coherence plays any biofunctional role in real photoactive biomolecular complexes. Since this natural energy transfer complex is rather small and has a structurally well defined protein with the distances between bacteriochlorophylls being comparable to other light-harvesting complexes, we anticipate that this finding is general and directly applies to even larger photoactive biomolecular complexes.


title: Doping of Ga in antiferromagnetic semiconductor alpha-Cr2O3oxide and its effects on modified magnetic and electronic properties

abstract: The samples of Ga doped Cr2O3 oxide have been prepared using chemical co-precipitation route. X-ray diffraction pattern and Raman spectra have confirmed rhombohedral crystal structure with space group R3-C. Magnetic measurement has indicated the dilution of antiferromagnetic (AFM) spin order in Ga doped alpha-Cr2O3 system oxide, where the AFM transition temperature of bulk alpha-Cr2O3 oxide at about 320 K has been suppressed and ferrimagnetic behavior is observed from the analysis of the temperature dependence of magnetization data below 350 K. Apart from Ga doping effect, the spin freezing (50 K-70 K) and superparamagnetic behavior of the surface spins at lower temperatures, typically below 50 K, have been exhibited due to nano-sized grains of the samples. All the samples showed non-linear current-voltage (I-V) characteristics. However, I-V characteristics of the Ga doped samples are remarkably different from alpha-Cr2O3 sample. The I-V curves of Ga doped samples have exhibited many unique electronic properties, e.g., bi-stable (low resistance- LR and high resistance-HR) electronic states and negative differential resistance (NDR). Optical absorption spectra revealed three electronic transitions in the samples associated with band gap energy at about 2.67-2.81 eV, 1.91-2.11 eV, 1.28-1.35 eV, respectively.


title: Anisotropic permeability in deterministic lateral displacement arrays

abstract: We uncover anisotropic permeability in microfluidic deterministic lateral displacement (DLD) arrays. A DLD array can achieve high-resolution bimodal size-based separation of microparticles, including bioparticles, such as cells. For an application with a given separation size, correct device operation requires that the flow remains at a fixed angle to the obstacle array. We demonstrate via experiments and lattice-Boltzmann simulations that subtle array design features cause anisotropic permeability. Anisotropic permeability indicates the microfluidic array's intrinsic tendency to induce an undesired lateral pressure gradient. This can cause an inclined flow and therefore local changes in the critical separation size. Thus, particle trajectories can become unpredictable and the device useless for the desired separation task. Anisotropy becomes severe for arrays with unequal axial and lateral gaps between obstacle posts and highly asymmetric post shapes. Furthermore, of the two equivalent array layouts employed with the DLD, the rotated-square layout does not display intrinsic anisotropy. We therefore recommend this layout over the easier-to-implement parallelogram layout. We provide additional guidelines for avoiding adverse effects of anisotropy on the DLD.


title: Multi-wavelength study of the star-formation in the S237 H II region

abstract: We present a detailed multi-wavelength study of observations from X-ray, near-infrared to centimeter wavelengths to probe the star formation processes in the S237 region. Multi-wavelength images trace an almost sphere-like shell morphology of the region, which is filled with the 0.5--2 keV X-ray emission. The region contains two distinct environments - a bell-shaped cavity-like structure containing the peak of 1.4 GHz emission at center, and elongated filamentary features without any radio detection at edges of the sphere-like shell - where {\it Herschel} clumps are detected. Using the 1.4 GHz continuum and $^{12}$CO line data, the S237 region is found to be excited by a radio spectral type of B0.5V star and is associated with an expanding H{\sc ii} region. The photoionized gas appears to be responsible for the origin of the bell-shaped structure. The majority of molecular gas is distributed toward a massive {\it Herschel} clump (M$_{clump}$ $\sim$260 M$_{\odot}$), which contains the filamentary features and has a noticeable velocity gradient. The photometric analysis traces the clusters of young stellar objects (YSOs) mainly toward the bell-shaped structure and the filamentary features. Considering the lower dynamical age of the H\,{\sc ii} region (i.e. 0.2-0.8 Myr), these clusters are unlikely to be formed by the expansion of the H\,{\sc ii} region. Our results also show the existence of a cluster of YSOs and a massive clump at the intersection of filamentary features, indicating that the collisions of these features may have triggered cluster formation, similar to those found in Serpens South region.


title: Influences of Granular Constraints and Surface Effects on the Heterogeneity of Elastic, Superelastic, and Plastic Responses of Polycrystalline Shape Memory Alloys

abstract: Deformation heterogeneities within microstructures of polycrystalline shape memory alloys (SMAs) during superelastic stressing are studied using both experiments and simulations. In situ X-ray diffraction, specifically the far-field high energy diffraction microscopy (ff-HEDM) technique was used to non-destructively measure the grain-averaged statistics of position, crystal orientation, elastic strain tensor and volume for hundreds of austenite grains in a superelastically loaded nickel-titanium (NiTi) SMA. This experimental data were also used to create a synthetic microstructure within a finite element model. The development of intragranular stresses were then simulated during tensile loading of the model using anisotropic elasticity. Driving forces for phase transformation and slip were calculated from these stresses. The grain-average responses of individual austenite crystals examined before and after multiple stress-induced transformation events showed that grains at the specimen interior carry more stress and plastically deform less than the surface grains as the superelastic response shakes down. Examination of the heterogeneity within individual grains showed that regions near grain boundaries exhibit larger stress variation compared to the grain interiors. This intragranular heterogeneity is more strongly driven by the constraints of neighboring grains than the initial stress state and orientation of the individual grains.


title: Singularity categories of deformations of Kleinian singularities

abstract: Let $G$ be a finite subgroup of $\text{SL}(2,\Bbbk)$ and let $R = \Bbbk[x,y]^G$ be the coordinate ring of the corresponding Kleinian singularity. In 1998, Crawley-Boevey and Holland defined deformations $\mathcal{O}^\lambda$ of $R$ parametrised by weights $\lambda$. In this paper, we determine the singularity categories $\mathcal{D}_{\text{sg}}(\mathcal{O}^\lambda)$ of these deformations, and show that they correspond to subgraphs of the Dynkin graph associated to $R$. This generalises known results on the structure of $\mathcal{D}_{\text{sg}}(R)$. We also provide a generalisation of the intersection theory appearing in the geometric McKay correspondence to a noncommutative setting.


title: Broad Context Language Modeling as Reading Comprehension

abstract: Progress in text understanding has been driven by large datasets that test particular capabilities, like recent datasets for reading comprehension (Hermann et al., 2015). We focus here on the LAMBADA dataset (Paperno et al., 2016), a word prediction task requiring broader context than the immediate sentence. We view LAMBADA as a reading comprehension problem and apply comprehension models based on neural networks. Though these models are constrained to choose a word from the context, they improve the state of the art on LAMBADA from 7.3% to 49%. We analyze 100 instances, finding that neural network readers perform well in cases that involve selecting a name from the context based on dialogue or discourse cues but struggle when coreference resolution or external knowledge is needed.


title: Spontaneous natural optical activity in disordered media

abstract: We demonstrate natural optical activity in disordered ensembles of non-chiral plasmonic resonators. We show that the statistical distributions of rotatory power and spatial dichroism are strongly dependent on the scattering mean free path in diffusive random media. This result is explained in terms of the intrinsic geometric chirality of disordered media, as they lack mirror symmetry. We argue that chirality and natural optical activity of disordered systems can be quantified by the standard deviation of both rotatory power and spatial dichroism. Our results are based on microscopic electromagnetic wave transport theory coupled to vectorial Green's matrix method for pointlike scatterers, and are independently confirmed by full-wave simulations.


title: On Corpuscular Theory of Inflation

abstract: In order to go beyond the mean-field approximation, commonly used in the inflationary computations, an identification of the quantum constituents of the inflationary background is made. In particular, the homogeneous scalar field configuration is represented as a Bose-Einstein condensate of the off-shell inflaton degrees of freedom, with mass significantly screened by the gravitational binding energy. The gravitational counterpart of the classical background is considered to be a degenerate state of the off-shell longitudinal gravitons with the frequency of the order of the Hubble scale. As a result, the origin of the density perturbations in the slow-roll regime is identified as an uncertainty in the position of the constituent inflatons. While in the regime of eternal inflation, the scattering of the constituent gravitons becomes the relevant source of the density perturbations. The gravitational waves, on the other hand, originate from the annihilation of the constituent longitudinal gravitons at all energy scales. This results in the quantum depletion of the classical background. Leading to the upper bound on the number of e-folds, after which the semiclassical description is expected to break down, which is estimated to be of the order of the entropy of the initial Hubble patch.


title: Sphere systems, standard form, and cores of products of trees

abstract: We introduce the concept of a standard form for two embedded maximal sphere systems in the doubled handlebody, and we prove an existence and uniqueness result. In particular, we show that pairs of maximal sphere systems in the doubled handlebody (up to homeomorphism) bijectively correspond to square complexes satisfying a set of properties. This work is a variant on Hatcher's normal form.


title: The forcing number of graphs with a given girth

abstract: In this paper, we study a dynamic coloring of the vertices of a graph $G$ that starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. The forcing number, originally known as the \emph{zero forcing number}, and denoted $F(G)$, of $G$ is the cardinality of a smallest forcing set of $G$. We study lower bounds on the forcing number in terms of its minimum degree and girth, where the girth $g$ of a graph is the length of a shortest cycle in the graph. Let $G$ be a graph with minimum degree $\delta \ge 2$ and girth~$g \ge 3$. Davila and Kenter [Theory and Applications of Graphs, Volume 2, Issue 2, Article 1, 2015] conjecture that $F(G) \ge \delta + (\delta-2)(g-3)$. This conjecture has recently been proven for $g \le 6$. The conjecture is also proven when the girth $g \ge 7$ and the minimum degree is sufficiently large. In particular, it holds when $g = 7$ and $\delta \ge 481$, when $g = 8$ and $\delta \ge 649$, when $g = 9$ and $\delta \ge 30$, and when $g = 10$ and $\delta \ge 34$. In this paper, we prove the conjecture for $g \in \{7,8,9,10\}$ and for all values of $\delta \ge 2$.


title: Estimating the concentration of gold nanoparticles incorporated on Natural Rubber membranes using Multi-Level Starlet Optimal Segmentation

abstract: This study consolidates Multi-Level Starlet Segmentation (MLSS) and Multi-Level Starlet Optimal Segmentation (MLSOS), techniques for photomicrograph segmentation that use starlet wavelet detail levels to separate areas of interest in an input image. Several segmentation levels can be obtained using Multi-Level Starlet Segmentation; after that, Matthews correlation coefficient (MCC) is used to choose an optimal segmentation level, giving rise to Multi-Level Starlet Optimal Segmentation. In this paper, MLSOS is employed to estimate the concentration of gold nanoparticles with diameter around 47 nm, reducted on natural rubber membranes. These samples were used on the construction of SERS/SERRS substrates and in the study of natural rubber membranes with incorporated gold nanoparticles influence on Leishmania braziliensis physiology. Precision, recall and accuracy are used to evaluate the segmentation performance, and MLSOS presents accuracy greater than 88% for this application.


title: On the region of attraction of phase-locked states for swing equations on connected graphs with inhomogeneous dampings

abstract: We consider the synchronization problem of swing equations, a second-order Kuramoto-type model, on connected networks with inhomogeneous dampings. This was largely motivated by its relevance to the dynamics of power grids. We focus on the estimate of the region of attraction of synchronous states which is a central problem in the transient stability of power grids. In the recent literature, D\"{o}rfler, Chertkov, and Bullo [Proc. Natl. Acad. Sci. USA, 110 (2013), pp. 2005-2010] found a condition for the synchronization in smart grids. They pointed out that the region of attraction is an important unsolved problem. In [SIAM J. Control Optim., 52 (2014), pp. 2482-2511], only a special case was considered where the oscillators have homogeneous dampings and the underlying graph has a diameter less than or equal to 2. There the analysis heavily relies on these assumptions; however, they are too strict compared to the real power networks. In this paper, we continue the study and derive an estimate on the region of attraction of phase-locked states for lossless power grids on connected graphs with inhomogeneous dampings. Our main strategy is based on the gradient-like formulation and energy estimate. We refine the assumptions by constructing a new energy functional which enables us to consider such general settings.


title: Band gap modulation in polythiophene and polypyrrole-based systems

abstract: In this paper, the structural and electronic properties of polythiophene and polyprrrole-based systems have been investigated using first-principles calculations both in periodic and oligomer forms. Of particular interest is the band gap modulation through substitutions and bilayer formation. Specifically, S has been substituted by Se and Te in polythiophene, leading to polyseleophene and polytellurophene, respectively, and N has been substituted by P and As in polypyrrole. The values obtained of the binding energy suggest that all the systems studied can be realized experimentally. Stacking (bilayer formation) of pure polythiophene, polypyrrole and their derivatives leads to linear suppression of the band gap or HOMO-LUMO gap as a function of the stacking. Mixed bilayers, including one formed from polythiophene on top of polypyrrole, have also been considered. Overall, a wide range of band gaps can be achieved through substitutions and stacking. Hybrid (B3LYP) calculations also suggest the same trend in the band gap as PBE calculations. Trends in the binding energy are similar for both periodic and molecular calculations. In addition, the $\Gamma$-point phonon calculation are performed in order to check the stability of selected systems.


title: Light-pressure experiments by P. N. Lebedev and modern problems of optomechanics and quantum optics

abstract: In connection with the 150-th Anniversary of P. N. Lebedev, we present historical aspects of his scientific and organizing activity and recall his famous experimental observations and proof of the existence of light pressure along with other results that essentially influenced the development of physics in Russia and in the whole world as well. We discuss the relationship of these studies of electromagnetic waves and other kinds of vibrational phenomena investigated by P. N. Lebedev to modern studies of the interaction of photons with mirrors, gravitational waves, acoustic waves, nonstationary (dynamical) Casimir effect of photon creation in resonators with vibrating boundaries, and vibrations of voltage and current in superconducting circuits realizing the states of qubits and qudits. We discuss the possibility of existence of the nonstationary Casimir effect for gravitational waves and sound in liquid helium.


title: A Reanalysis of High Resolution XMM-Newton Data of V2491 Cyg Using Collisionally Ionized Hot Absorber Models

abstract: We present a reanalysis of XMM-Newton Reflection Grating Spectrometer data of the classical nova V2491 Cyg obtained from two different pointings, 40 d and 50 d after outburst utilizing the SRON software SPEX version 2.05.04. We aim to model absorption components using hot collisionally ionized absorber models along with interstellar absorption (of gas and dust origin separately). We find blackbody temperatures in a range 61-91 eV for the continuum yielding a white dwarf mass of 1.15-1.3 M_sun. We derive two different hot absorber components with blueshifts yielding 2900-3800 km/s for the first (day 40) and 2600-3600 km/s for the second observation 50 days after outburst consistent with ejecta/wind speeds. The two collisionally ionized hot absorption components have temperatures kT_1 =1.0-3.6 keV and kT_2 =0.4-0.87 keV with rms velocities (sigma_v) 872 km/s and 56 km/s. These are consistent with shock temperatures in the X-ray wavelengths. V2491 Cyg shows signature of H-burning with underabundant carbon C/C_sun=0.3-0.5, and enhanced nitrogen N/N_sun=5-7 and oxygen O/O_sun=16-43. We find the equivalent hydrogen column density of the hot collisionally ionized absorbers in a range (0.6-18.0)x10^{23} cm^{-2} and (2.0-5.3)x10^{23} cm^{-2} on days 40 and 50 after outburst, respectively. Our fits yield the most adequate redchisq (range 1.8-2.9) up-to-date obtained for the modeling of high resolution X-ray data of V2491 Cyg. An additional photoionized absorber (third intrinsic absorber component) originating in the shell/ejecta improves the model fits with redchisq in a range 1.7-2.5, but shows only (1-0.1)% of the absorption by the collisionaly-ionized hot gas. Our analysis reveals a second blackbody component on day 50 with effective temperature 120-131 eV and effective radius about 10% of the WD which may indicate the onset of magnetic accretion.


title: Minimum Riesz Energy Problem on the Hyperdisk

abstract: We consider the minimum Riesz $s$-energy problem on the unit disk $\mathbb D:=\{(x_1,\ldots,x_d)\in\mathbb R^d: x_1=0, x_2^2+x_3^2+\ldots+x_d^2\leq 1\}$ in the Euclidean space $\mathbb R^d$, $d\geq 3$, immersed into a smooth rotationally invariant external field $Q$. The charges are assumed to interact via the Riesz potential $1/r^s$, with $d-3 < s < d-1$, where $r$ denotes the Euclidean distance. We solve the problem by finding an explicit expression for the extremal measure. We then consider applications to a monomial external field and an external field generated by a positive point charge, located at some distance above the disk on the polar axis. We obtain an equation describing the critical height for the location of the point charge, which guarantees that the support of the extremal measure occupies the whole disk $\mathbb D$. We also show that under some mild restrictions on a general external field the support of the extremal measure will have a ring structure. Furthermore, we demonstrate how to reduce the problem of recovery of the extremal measure in this case to a Fredholm integral equation of the second kind.


title: Inferring individual attributes from search engine queries and auxiliary information

abstract: Internet data has surfaced as a primary source for investigation of different aspects of human behavior. A crucial step in such studies is finding a suitable cohort (i.e., a set of users) that shares a common trait of interest to researchers. However, direct identification of users sharing this trait is often impossible, as the data available to researchers is usually anonymized to preserve user privacy. To facilitate research on specific topics of interest, especially in medicine, we introduce an algorithm for identifying a trait of interest in anonymous users. We illustrate how a small set of labeled examples, together with statistical information about the entire population, can be aggregated to obtain labels on unseen examples. We validate our approach using labeled data from the political domain. We provide two applications of the proposed algorithm to the medical domain. In the first, we demonstrate how to identify users whose search patterns indicate they might be suffering from certain types of cancer. In the second, we detail an algorithm to predict the distribution of diseases given their incidence in a subset of the population at study, making it possible to predict disease spread from partial epidemiological data.


title: Topological phase in oxidized zigzag stanene nanoribbons

abstract: First-principles and semi-empirical tight binding calculations were performed to understand the adsorption of oxygen on the surface of two dimensional (2D) and zigzag stanene nano-ribbons. The intrinsic spin-orbit interaction is considered in the Kane-Mele tight binding model. The adsorption of an oxygen atom or molecule on the 2D stanene opens an electronic energy band gap. We investigate the helical edge states and topological phase in the pure zigzag stanene nano-ribbons. The adsorption of oxygen atoms on the zigzag stanene nano-ribbons deforms the helical edge states at the Fermi level which causes topological (non-trivial) to trivial phase transition. The structural stability of the systems is checked by performing $\Gamma$-point phonon calculations. The adsorption of an oxygen atom or molecule on the 2D staneneSpecific arrangements of adsorbed oxygen atoms on the surface of zigzag stanene nano-ribbons conserve the topological phase which has potential applications in future nano-electronic devices.


title: Temperedness of measures defined by polynomial equations over local fields

abstract: We investigate the asymptotic growth of the canonical measures on the fibers of morphisms between vector spaces over local fields of arbitrary characteristic. For non-archimedean local fields we use a version of the {\L}ojasiewicz inequality (\cite{lojasiewicz1959}, \cite{hormander1958division}) which follows from Greenberg \cite{greenberg1966rational}, \cite{bollaerts1990estimate}, together with the theory of the Brauer group of local fields to construct definite forms of arbitrarily high degree, and to transfer questions at infinity to questions near the origin. We then use these to generalize results of H{\"o}rmander \cite{hormander1958division} on estimating the growth of polynomials at infinity in terms of the distance to their zero loci. Specifically, when a fiber corresponds to a non-critical value which is stable, i.e. remains non-critical under small perturbations, we show that the canonical measure on the fiber is tempered, which generalizes results of Igusa and Raghavan \cite{igusa1978lectures}, and Virtanen and Weisbart \cite{virtanen2014elementary}.


title: New Liftable Classes for First-Order Probabilistic Inference

abstract: Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeable, undistinguished objects as a whole. In this paper, we study the domain recursion inference rule, which, despite its central role in early theoretical results on domain-lifted inference, has later been believed redundant. We show that this rule is more powerful than expected, and in fact significantly extends the range of models for which lifted inference runs in time polynomial in the number of individuals in the domain. This includes an open problem called S4, the symmetric transitivity model, and a first-order logic encoding of the birthday paradox. We further identify new classes S2FO2 and S2RU of domain-liftable theories, which respectively subsume FO2 and recursively unary theories, the largest classes of domain-liftable theories known so far, and show that using domain recursion can achieve exponential speedup even in theories that cannot fully be lifted with the existing set of inference rules.


title: Modelling avalanches in martensites

abstract: Solids subject to continuous changes of temperature or mechanical load often exhibit discontinuous avalanche-like responses. For instance, avalanche dynamics have been observed during plastic deformation, fracture, domain switching in ferroic materials or martensitic transformations. The statistical analysis of avalanches reveals a very complex scenario with a distinctive lack of characteristic scales. Much effort has been devoted in the last decades to understand the origin and ubiquity of scale-free behaviour in solids and many other systems. This chapter reviews some efforts to understand the characteristics of avalanches in martensites through mathematical modelling.


title: Fano stability diagram of a symmetric triple quantum dot

abstract: The Fano factor stability diagram of a C$_{3v}$ symmetric triangular quantum dot is analysed for increasing electron fillings $N$. At low filling, conventional Poissonian and sub-Poissonian behavior is found. At larger filling, $N\ge 2$, a breaking of the electron-hole symmetry is manifested in super-Poissonian noise with a peculiar bias voltage dependence of the Fano factor at Coulomb and interference blockade. An analysis of the Fano map unravels a nontrivial electron bunching mechanism arising from the presence of degenerate many-body states combined with orbital interference and Coulomb interactions. An expression for the associated dark states is provided for generic $N$.


title: Distinct scaling behaviors of giant electrocaloric cooling performance in low-dimensional organic, relaxor and anti-ferroelectrics

abstract: Electrocaloric (EC) materials show promise in eco-friendly solid-state refrigeration and integrable on-chip thermal management. While direct measurement of EC thin-films still remains challenging, a generic theoretical framework for quantifying the cooling properties of rich EC materials including normal-, relaxor-, organic- and anti-ferroelectrics is imperative for exploiting new flexible and room-temperature cooling alternatives. Here, we present a versatile theory that combines Master equation with Maxwell relations and analytically relates the macroscopic cooling responses in EC materials with the intrinsic diffuseness of phase transitions and correlation characteristics. Under increased electric fields, both EC entropy and adiabatic temperature changes increase quadratically initially, followed by further linear growth and eventual gradual saturation. The upper bound of entropy change (dS_max) is limited by distinct correlation volumes (V_cr) and transition diffuseness. The linearity between V_cr and the transition diffuseness is emphasized, while dS_max=300 kJ/(K.m3) is obtained for Pb0.8Ba0.2ZrO3. The dS_max in antiferroelectric Pb0.95Zr0.05TiO3, Pb0.8Ba0.2ZrO3 and polymeric ferroelectrics scales proportionally with V_cr^(-2.2), owing to the one-dimensional structural constraint on lattice-scale depolarization dynamics; whereas dS_max in relaxor and normal ferroelectrics scales as dS_max ~ V_cr^(-0.37), which tallies with a dipolar interaction exponent of 2/3 in EC materials and the well-proven fractional dimensionality of 2.5 for ferroelectric domain walls.


title: Dusty globules in the Crab Nebula

abstract: From existing broad-band images obtained with the Hubble Space Telescope, we located 92 globules, for which we derived positions, dimensions, orientations, extinctions, masses, proper motions, and their distributions. The globules have mean radii ranging from 400 to 2000 AU and are not resolved in current infrared images of the nebula. The extinction law for dust grains in these globules matches a normal interstellar extinction law. Derived masses of dust range from 1 to 60 x 10^(-6) solar masses, and the total mass contained in globules constitute a fraction of approximately 2% or less of the total dust content of the nebula. The globules are spread over the outer part of the nebula, and a fraction of them coincide in position with emission filaments, where we find elongated globules that are aligned with these filaments. Only 10% of the globules are coincident in position with the numerous H2-emitting knots found in previous studies. All globules move outwards from the centre with transversal velocities of 60 to 1600 km/s, along with the general expansion of the remnant. We discuss various hypotheses for the formation of globules in the Crab Nebula.


title: Body movement to sound interface with vector autoregressive hierarchical hidden Markov models

abstract: Interfacing a kinetic action of a person to an action of a machine system is an important research topic in many application areas. One of the key factors for intimate human-machine interaction is the ability of the control algorithm to detect and classify different user commands with shortest possible latency, thus making a highly correlated link between cause and effect. In our research, we focused on the task of mapping user kinematic actions into sound samples. The presented methodology relies on the wireless sensor nodes equipped with inertial measurement units and the real-time algorithm dedicated for early detection and classification of a variety of movements/gestures performed by a user. The core algorithm is based on the approximate Bayesian inference of Vector Autoregressive Hierarchical Hidden Markov Models (VAR-HHMM), where models database is derived from the set of motion gestures. The performance of the algorithm was compared with an online version of the K-nearest neighbours (KNN) algorithm, where we used offline expert based classification as the benchmark. In almost all of the evaluation metrics (e.g. confusion matrix, recall and precision scores) the VAR-HHMM algorithm outperformed KNN. Furthermore, the VAR-HHMM algorithm, in some cases, achieved faster movement onset detection compared with the offline standard. The proposed concept, although envisioned for movement-to-sound application, could be implemented in other human-machine interfaces.


title: Graviton resonance phenomenology and a pNGB Higgs at the LHC

abstract: We present an effective description of a spin two massive state and a pseudo Nambu-Goldstone boson Higgs in a two site model. Using this framework we model the spin two state as a massive graviton and we study its phenomenology at the LHC. We find that a reduced set of parameters can describe the most important features of this scenario. We address the question of which channel is the most sensitive to detect this graviton. Instead of designing search strategies to estimate the significance in each channel, we compare the ratio of our theoretical predictions to the limits set by available experimental searches for all the decay channels and as a function of the free parameters in the model. We discuss the phenomenological details contained in the outcome of this simple procedure. The results indicate that, for the studied masses between 0.5 and 3 TeV, the channels to look for such a graviton resonance are mainly $ZZ$, $WW$ and $\gamma\gamma$. This is the case even though top and bottom quarks dominate the branching ratios, since their experimental sensitivity is not as good as the one of the electro-weak gauge bosons. We find that as the graviton mass increases, the $ZZ$ and $WW$ channels become more important because of its relatively better enhancement over background, mainly due to fat jet techniques. We determine the region of the parameter space that has already been excluded and the reach for the LHC next stages. We also estimate the size of the loop-induced contributions to the production and decay of the graviton, and show in which region of the parameter space their effects are relevant for our analysis.


title: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment

abstract: Automated data-driven decision making systems are increasingly being used to assist, or even replace humans in many settings. These systems function by learning from historical decisions, often taken by humans. In order to maximize the utility of these systems (or, classifiers), their training involves minimizing the errors (or, misclassifications) over the given historical data. However, it is quite possible that the optimally trained classifier makes decisions for people belonging to different social groups with different misclassification rates (e.g., misclassification rates for females are higher than for males), thereby placing these groups at an unfair disadvantage. To account for and avoid such unfairness, in this paper, we introduce a new notion of unfairness, disparate mistreatment, which is defined in terms of misclassification rates. We then propose intuitive measures of disparate mistreatment for decision boundary-based classifiers, which can be easily incorporated into their formulation as convex-concave constraints. Experiments on synthetic as well as real world datasets show that our methodology is effective at avoiding disparate mistreatment, often at a small cost in terms of accuracy.


title: All silicon Josephson junctions

abstract: We have realised laser-doped all-silicon superconducting (S)/ normal metal (N) bilayers of tunable thickness and dopant concentration. We observed a strong reduction of the bilayers critical temperature when increasing the normal metal thickness, a signature of the highly transparent S/N interface associated to the epitaxial sharp laser doping profile. We extracted the interface resistance by fitting with the linearised Usadel equations, demonstrating a reduction of one order of magnitude from previous superconductor/doped Si interfaces. In this well controlled crystalline system we exploited the low resistance S/N interfaces to elaborate all-silicon lateral SNS Josephson junctions with long range proximity effect. Their dc transport properties, such as the critical and retrapping currents, could be well understood in the diffusive regime. Furthermore, this work lead to the estimation of important parameters in ultra-doped superconducting Si, such as the Fermi velocity, the coherence length, or the electron-phonon coupling constant, fundamental to conceive an all-silicon superconducting electronics.


title: Chabauty limits of algebraic groups acting on trees

abstract: Given a locally finite leafless tree $ T $, various algebraic groups over local fields might appear as closed subgroups of $ \text{Aut} (T)$. We show that the set of closed cocompact subgroups of $ \text{Aut} (T)$ that are isomorphic to a quasi-split simple algebraic group is a closed subset of the Chabauty space of $ \text{Aut} (T)$. This is done via a study of the integral Bruhat$-$Tits model of $ \text{SL}_2 $ and $ \text{SU}_3^{L/K} $, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic $ 2 $, the Tits index of simple algebraic subgroups of $ \text{Aut} (T)$ is not always preserved under Chabauty limits.


title: Smooth and sharp creation of a pointlike source for a $(3+1)$-dimensional quantum field

abstract: We analyse the smooth and sharp creation of a pointlike source for a quantised massless scalar field in $(3+1)$-dimensional Minkowski spacetime, as a model for the breakdown of correlations that has been proposed to occur at the horizon of an evaporating black hole. The creation is implemented by a time-dependent self-adjointness parameter at the excised spatial origin. In a smooth creation, the renormalised energy density $\langle T_{00} \rangle$ is well defined away from the source, but it is unbounded both above and below: the outgoing pulse contains an infinite negative energy, while a cloud of infinite positive energy lingers near the fully-formed source. In the sharp creation limit, $\langle T_{00} \rangle$ diverges everywhere in the timelike future of the creation event, and so does the response of an Unruh-DeWitt detector that operates in the timelike future of the creation event. The source creation is significantly more singular than the corresponding process in $1+1$ dimensions, analysed previously, and it may be sufficiently singular to break quantum correlations as proposed in a black hole spacetime.


title: Second main theorem for meromorphic mappings with moving hypersurfaces in subgeneral position

abstract: Let $f$ be an algebraically nondegenerate meromorphic mapping from $\mathbb C^m$ into $\mathbb P^n(\mathbb C)$ and let $Q_1,...,Q_q$ be $q$ hypersurfaces in $\mathbb P^n(\mathbb C)$ of degree $d_i$, in $N-$subgeneral position. In this paper, we will prove that, for every $\epsilon >0$, there exists a positive integer $M$ such that $$||\ (q-(N-n+1)(n+1)-\epsilon) T_f(r)\le\sum_{i=1}^q\frac{1}{d_i}N^{[M]}(r,f^*Q_i)+o(T_f(r)).$$ Moreover, an explicit estimate for $M$ is given. Our result is an extension of the previous second main theorem for the mappings and moving hyperplanes or moving hypersurfaces.


title: Shapes of Auslander-Reiten Triangles

abstract: Our main theorem classifies the Auslander-Reiten triangles according to properties of the morphisms involved. As a consequence, we are able to compute the mapping cone of an irreducible morphism. We finish by showing a technique for constructing the connecting component of the derived category of any tilted algebra. In particular we obtain a technique for constructing the derived category of any tilted algebra of finite representation type.


title: Sections of the Matsumoto-Cadavid-Korkmaz Lefschetz fibration

abstract: We give a maximal set of disjoint $(-1)$-sections of the well-known Lefschetz fibration constructed by Matsumoto, Cadavid and Korkmaz. In fact, we obtain several such sets for a fixed genus, which implies that the Matsumoto-Cadavid-Korkmaz Lefschetz fibration has more than one supporting minimal Lefschetz pencils. We also determine the diffeomorphism types of the obtained supporting minimal Lefschetz pencils.


title: Model category of marked objects

abstract: For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of $\mathcal{K}$-marked objects of $\mathbf{C}$. We consider an application of this construction to the category of simplicial sets with the Joyal model structure. Marked simplicial sets can be thought of as $(\infty,1)$-categories with some additional structure which depends on $\mathcal{F}$. In particular, we construct a model category of quasi-categories which have limits of all diagrams of any given shape.


title: Disformal transformations as a change of units

abstract: A disformal transformation is a very useful tool to analyze a general effective theory description of inflation. It can for example be used to set the tensor sound speed to unity, such that the tensor power spectrum only depends on the Hubble parameter. However, the disformal transformation has also led to quite some confusion in recent literature. We hope to clarify that confusion by pointing out that a disformal transformation is nothing else than a change of units. We show how everything that can be achieved by a (possibly time-dependent) disformal transformation, equally follows from the equivalent change of units, up to all orders in perturbation theory. We also comment on the sensitivity of the tensor power spectrum to a non-standard tensor speed of sound.


title: A Proposed Algorithm for Minimum Vertex Cover Problem and its Testing

abstract: The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is applicable to, i.e., yields a proved minimum vertex cover for, about 99.99% of the tested 610,000 graphs of order 16 and 99.67% of the tested 1,200 graphs of order 32, and Stage 2 of the algorithm is applicable to all of the above tested graphs. All of the tested graphs are randomly generated graphs of random "edge density" or in other words, random probability of each edge. It is proved that Stage 1 and Stage 2 of the algorithm run in $O(n^{5+logn})$ and $O(n^{3(5+logn)/2})$ time respectively, where $n$ is the order of input graph. Because there is no theoretical proof yet that Stage 2 is applicable to all graphs, further stages of the algorithm are proposed, which are in a general form that is consistent with Stages 1 and 2.


title: Distraction-Based Neural Networks for Document Summarization

abstract: Distributed representation learned with neural networks has recently shown to be effective in modeling natural languages at fine granularities such as words, phrases, and even sentences. Whether and how such an approach can be extended to help model larger spans of text, e.g., documents, is intriguing, and further investigation would still be desirable. This paper aims to enhance neural network models for such a purpose. A typical problem of document-level modeling is automatic summarization, which aims to model documents in order to generate summaries. In this paper, we propose neural models to train computers not just to pay attention to specific regions and content of input documents with attention models, but also distract them to traverse between different content of a document so as to better grasp the overall meaning for summarization. Without engineering any features, we train the models on two large datasets. The models achieve the state-of-the-art performance, and they significantly benefit from the distraction modeling, particularly when input documents are long.


title: Classical spin liquid instability driven by off-diagonal exchange in strong spin-orbit magnets

abstract: We show that the off-diagonal exchange anisotropy drives Mott insulators with strong spin-orbit coupling to a classical spin liquid regime, characterized by an infinite number of ground states and Ising variables living on closed or open strings. Depending on the sign of the anisotropy, quantum fluctuations either fail to lift the degeneracy down to very low temperatures, or select non-collinear magnetic states with unconventional spin correlations. The results apply to all 2D and 3D tri-coordinated materials with bond-directional anisotropy, and provide a consistent interpretation of the suppression of the x-ray magnetic circular dichroism signal reported recently for $\beta$-Li$_2$IrO$_3$ under pressure.


title: Mapping class groups are not linear in positive characteristic

abstract: For $\Sigma$ an orientable surface of finite topological type having genus at least 3 (possibly closed or possibly with any number of punctures or boundary components), we show that the mapping class group $Mod(\Sigma)$ has no faithful linear representation in any dimension over any field of positive characteristic.


title: Bayesian latent structure discovery from multi-neuron recordings

abstract: Neural circuits contain heterogeneous groups of neurons that differ in type, location, connectivity, and basic response properties. However, traditional methods for dimensionality reduction and clustering are ill-suited to recovering the structure underlying the organization of neural circuits. In particular, they do not take advantage of the rich temporal dependencies in multi-neuron recordings and fail to account for the noise in neural spike trains. Here we describe new tools for inferring latent structure from simultaneously recorded spike train data using a hierarchical extension of a multi-neuron point process model commonly known as the generalized linear model (GLM). Our approach combines the GLM with flexible graph-theoretic priors governing the relationship between latent features and neural connectivity patterns. Fully Bayesian inference via P\'olya-gamma augmentation of the resulting model allows us to classify neurons and infer latent dimensions of circuit organization from correlated spike trains. We demonstrate the effectiveness of our method with applications to synthetic data and multi-neuron recordings in primate retina, revealing latent patterns of neural types and locations from spike trains alone.


title: Recurrent switching linear dynamical systems

abstract: Many natural systems, such as neurons firing in the brain or basketball teams traversing a court, give rise to time series data with complex, nonlinear dynamics. We can gain insight into these systems by decomposing the data into segments that are each explained by simpler dynamic units. Building on switching linear dynamical systems (SLDS), we present a new model class that not only discovers these dynamical units, but also explains how their switching behavior depends on observations or continuous latent states. These "recurrent" switching linear dynamical systems provide further insight by discovering the conditions under which each unit is deployed, something that traditional SLDS models fail to do. We leverage recent algorithmic advances in approximate inference to make Bayesian inference in these models easy, fast, and scalable.


title: Beats and Expansion of Two-Component Bose-Einstein Condensates in the Thomas-Fermi Limit

abstract: A unique feature of multi-component BECs is the possibility of beating frequencies in collective oscillations. We analytically determine this beating frequency for the two-component BEC in one-dimension. We also show that the Thomas-Fermi approximation, where the quantum pressure is neglected, describes well the expansion of the two-component condensate released from an harmonic trap.