title: The number of multiplicative Sidon sets of integers

abstract: A set $S$ of natural numbers is multiplicative Sidon if the products of all pairs in $S$ are distinct. Erd\H{o}s in 1938 studied the maximum size of a multiplicative Sidon subset of $\{1,\ldots, n\}$, which was later determined up to the lower order term: $\pi(n)+\Theta(\frac{n^{3/4}}{(\log n)^{3/2}})$. We show that the number of multiplicative Sidon subsets of $\{1,\ldots, n\}$ is $T(n)\cdot 2^{\Theta(\frac{n^{3/4}}{(\log n)^{3/2}})}$ for a certain function $T(n)\approx 2^{1.815\pi(n)}$ which we specify. This is a rare example in which the order of magnitude of the lower order term in the exponent is determined. It resolves the enumeration problem for multiplicative Sidon sets initiated by Cameron and Erd\H{o}s in the 80s. We also investigate its extension for generalised multiplicative Sidon sets. Denote by $S_k$, $k\ge 2$, the number of multiplicative $k$-Sidon subsets of $\{1,\ldots, n\}$. We show that $S_k(n)=(\beta_k+o(1))^{\pi(n)}$ for some $\beta_k$ we define explicitly. Our proof is elementary.


title: On water delivery in the inner solar nebula: Monte Carlo simulations of forsterite hydration

abstract: Endogenous or exogenous, dry or wet, various scenarios have been so far depicted for the origin of water on our Solar Systems rocky bodies. Hydrated silicates found in meteorites and in interplanetary dust particles together with observations of abundant water reservoirs in the habitable zone of protoplanetary disks are evidences that support aqueous alteration of silicate dust grains by water vapor condensation in a nebular setting. We investigate the thermodynamics (temperature and pressure dependencies) and kinetics (adsorption rates and energies, surface diffusion and cluster formation) of water adsorption on surfaces of forsterite grains. (abbreviated) The protoplanetary disk model (ProDiMo) code is tuned to simulate the thermochemical disk structure of the early solar nebula at three evolutionary stages. Pressure, temperature and water vapor abundance within 1 au from the protosun were extracted and used as input for a Monte Carlo code to model water associative adsorption using adsorption energies that resemble the forsterite [100] crystal lattice. Hydration of forsterite surfaces by water vapor adsorption could have occurred within the nebula lifetime already at a density of 1e8 cm-3, with increasing surface coverage for higher water vapor densities. Full surface coverage is attained for temperatures lower than 500 K, while for hotter grain surfaces water cluster formation plays a crucial role. (abbreviated) This work shows that water cluster formation enhances the water surface coverage and enables a stable water layer to form at high temperature and low water vapor density conditions. Finally, surface diffusion of physisorbed water molecules shortens the timescale for reaching steady state, enabling phyllosilicate formation within the solar nebula timescale.


title: Weighted Fundamental Group

abstract: In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study weighted versions of classical theorems like van Kampen's theorem. In addition, we also investigate the abelianization, lower central series and applications of weighted fundamental groups.


title: Pairs of Lie-type and large orbits of group actions on filtered modules. (A characteristic-free approach to finite determinacy.)

abstract: Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determinacy question to an "infinitesimal determinacy", i.e., to the tangent spaces at the orbits of the group action. In this work we formulate a universal, characteristic-free approach to finite determinacy, not necessarily over a field, and for a large class of group actions. We do not restrict to pro-algebraic or Lie groups, rather we introduce the notion of "pairs of (weak) Lie type", which are groups together with a substitute for the tangent space to the orbit such that the orbit is locally approximated by its tangent space, in a precise sense. This construction may be considered as a kind of replacement of the exponential resp. logarithmic maps. It is of independent interest as it provides a general method to pass from the tangent space to the orbit of a group action in any characteristic. In this generality we establish the "determinacy versus infinitesimal determinacy" criteria, a far reaching generalization of numerous classical and recent results, together with some new applications.


title: Cascades and transitions in turbulent flows

abstract: Turbulence is characterized by the non-linear cascades of energy and other inviscid invariants across a huge range of scales, from where they are injected to where they are dissipated. Recently, new experimental, numerical and theoretical works have revealed that many turbulent configurations deviate from the ideal 3D/2D isotropic cases characterized by the presence of a strictly direct/inverse energy cascade, respectively. We review recent works from a unified point of view and we present a classification of all known transfer mechanisms. Beside the classical cases of direct and inverse cascades, the different scenarios include: split cascades to small and large scales simultaneously, multiple/dual cascades of different quantities, bi-directional cascades where direct and inverse transfers of the same invariant coexist in the same scale-range and finally equilibrium states where no cascades are present, including the case when a condensate is formed. We classify all transitions as the control parameters are changed and we analyse when and why different configurations are observed. Our discussion is based on a set of paradigmatic applications: helical turbulence, rotating and/or stratified flows, MHD and passive/active scalars where the transfer properties are altered as one changes the embedding dimensions, the thickness of the domain or other relevant control parameters, as the Reynolds, Rossby, Froude, Peclet, or Alfven numbers. We discuss the presence of anomalous scaling laws in connection with the intermittent nature of the energy dissipation in configuration space. An overview is also provided concerning cascades in other applications such as bounded flows, quantum, relativistic and compressible turbulence, and active matter, together with implications for turbulent modelling. Finally, we present a series of open problems and challenges that future work needs to address.

categories: physics.flu-dyn cond-mat.soft cond-mat.stat-mech nlin.CD physics.geo-ph


title: Vanishing k-space fidelity and phase diagram's bulk-edge-bulk correspondence

abstract: The fidelity between two infinitesimally close states or the fidelity susceptibility of a system are known to detect quantum phase transitions. Here we show that the k-space fidelity between two states far from each other and taken deep inside (bulk) of two phase s, generically vanishes at the k-points where there are gapless points in the energy spectrum that give origin to the lines (edges) separating the phases in the phase diagram. We consider a general case of two-band models and present a sufficient condition for the existence of gapless points, given there are pairs of parameter points for which the fidelity between the corresponding states is zero. By presenting an explicit counter-example, we showed that the sufficient condition is not necessary. Further, we showed that, unless the set of parameter points is suitably constrained, the existence of gapless points generically imply the accompanied pairs of parameter points with vanishing fidelity. Also, we showed the connection between the vanishing fidelity and gapless points on a number of concrete examples (topological triplet superconductor, topological insulator, 1d Kitaev model of spinless fermions, BCS superconductor, Ising model in a transverse field, graphene and Haldane Chern insulator), as well as for the more general case of Dirac-like Hamiltonians. We also briefly discuss the relation between the vanishing fidelity and gapless points at finite temperatures.


title: The quark chemical potential of QCD phase transition and the stochastic background of gravitational waves

abstract: The detection of stochastic background of gravitational waves (GWs), produced by cosmological phase transitions (PTs), is of fundamental importance because allows to probe the physics related to PT energy scales. Motivated by the decisive role of non-zero quark chemical potential towards understanding physics in the core of neutron stars, quark stars and heavy-ion collisions, in this paper we qualitatively explore the stochastic background of GW spectrum generated by a cosmological source such as high-density QCD first order PT during the early Universe. Specifically, we calculate the frequency peak $f_{peak}$ redshifted at today time and the fractional energy density $\Omega_{gw}h^2$ in light of equation-of-state improved by the finite quark (baryon) chemical potential (we consider an effective three flavor chiral quarks model of QCD). Our calculations reveal a striking increase in $f_{peak}$ and $\Omega_{gw}h^2$ due to the quark chemical potential, which means to improve the chances of detection, in possible future observations (in particular SKA/PTA experiments), of the stochastic background of GWs from QCD first order PT. Even if the improvements could be weak, by updating the sensitivity of relevant detectors in the future, we can still remain hopeful. Concerning the phenomenological contribution of QCD equation-of-state, and in particular the possibility to detect a stochastic GW signal, we further show that the role of the quark chemical potential is model-dependent. This feature allows to discriminate among possible QCD effective models depending on their capability to shed light on the dynamic of QCD-PT through future observations of primordial GWs. In this perspective, the results are indeed encouraging to employ the GWs to study the QCD PT in high density strong interaction matter.


title: Sharp lifespan estimates of blowup solutions to semilinear wave equations with time-dependent effective damping

abstract: We consider the initial value problem for the semilinear wave equation with time-dependent effective damping. The interest is the behavior of lifespan of solutions in view of the asymptotic profile of the damping as $t\to \infty$. The result of this paper is the sharp lifespan estimates of blowup solutions for general time-dependent damping including threshold cases between effective and overdamping.


title: Non-Asymptotic Fundamental Limits of Guessing Subject to Distortion

abstract: This paper investigates the problem of guessing subject to distortion, which was introduced by Arikan and Merhav. While the primary concern of the previous study was asymptotic analysis, our primary concern is non-asymptotic analysis. We prove non-asymptotic achievability and converse bounds of the moment of the number of guesses without side information (resp. with side information) by using a quantity based on the R\'enyi entropy (resp. the Arimoto-R\'enyi conditional entropy). Also, we introduce an error probability and show similar results. Further, from our bounds, we derive a single-letter characterization of the asymptotic exponent of guessing moment for a stationary memoryless source.


title: Fourier analysis perspective for sufficient dimension reduction problem

abstract: A theory of sufficient dimension reduction (SDR) is developed from an optimizational perspective. In our formulation of the problem, instead of dealing with raw data, we assume that our ground truth includes a mapping ${\mathbf f}: {\mathbb R}^n\rightarrow {\mathbb R}^m$ and a probability distribution function $p$ over ${\mathbb R}^n$, both given analytically. We formulate SDR as a problem of finding a function ${\mathbf g}: {\mathbb R}^k\rightarrow {\mathbb R}^m$ and a matrix $P\in {\mathbb R}^{k\times n}$ such that ${\mathbb E}_{{\mathbf x}\sim p({\mathbf x})} \left|{\mathbf f}({\mathbf x}) - {\mathbf g}(P{\mathbf x})\right|^2$ is minimal. It turns out that the latter problem allows a reformulation in the dual space, i.e. instead of searching for ${\mathbf g}(P{\mathbf x})$ we suggest searching for its Fourier transform. First, we characterize all tempered distributions that can serve as the Fourier transform of such functions. The reformulation in the dual space can be interpreted as a problem of finding a $k$-dimensional linear subspace $S$ and a tempered distribution ${\mathbf t}$ supported in $S$ such that ${\mathbf t}$ is "close" in a certain sense to the Fourier transform of ${\mathbf f}$. Instead of optimizing over generalized functions with a $k$-dimensional support, we suggest minimizing over ordinary functions but with an additional term $R$ that penalizes a strong distortion of the support from any $k$-dimensional linear subspace. For a specific case of $R$, we develop an algorithm that can be formulated for functions given in the initial form as well as for their Fourier transforms. Eventually, we report results of numerical experiments with a discretized version of the latter algorithm.


title: Ulrich bundles on some twisted flags

abstract: In this note we prove that certain twisted flag varieties carry Ulrich bundles.


title: Magnetogenesis by non-minimal coupling to gravity in the Starobinsky inflationary model

abstract: The $R^2$ term in the Starobinsky inflationary model can be regarded as a leading quantum correction to the gravitational effective action. We assume that parity-preserving and parity-violating (axial) non-minimal couplings between curvature and electromagnetic field are also present in the effective action. In the Einstein frame, they turn into non-trivial couplings of the scalaron and curvature to the electromagnetic field. We make an assessment of inflationary magnetogenesis in this model. In the case of parity-preserving couplings, amplification of magnetic field is negligibly small. In the case of axial couplings, magnetogenesis is hampered by strong back-reaction on the inflationary process, resulting in possible amplification of magnetic field at most by the factor $10^5$ relative to its vacuum fluctuations.


title: Fast and Robust Matching for Multimodal Remote Sensing Image Registration

abstract: While image registration has been studied in remote sensing community for decades, registering multimodal data [e.g., optical, LiDAR, SAR, and map] remains a challenging problem because of significant nonlinear intensity differences between such data. To address this problem, this paper presents a fast and robust matching framework integrating local descriptors for multimodal registration. In the proposed framework, a local descriptor, such as Histogram of Oriented Gradient (HOG), Local Self Similarity (LSS), or Speeded-Up Robust Feature (SURF), is first extracted at each pixel to form a pixel-wise feature representation of an image. Then we define a similarity measure based on the feature representation in frequency domain using the 3 Dimensional Fast Fourier Transform (3DFFT) technique, followed by a template matching scheme to detect control points between images. In this procedure, we also propose a novel pixel-wise feature representation using orientated gradients of images, which is named channel features of orientated gradients (CFOG). This novel feature is an extension of the pixel-wise HOG descriptors, and outperforms that both in matching performance and computational efficiency. The major advantage of the proposed framework includes: (1) structural similarity representation using the pixel-wise feature description and (2) high computational efficiency due to the use of 3DFFT. Experimental results on different types of multimodal images show the superior matching performance of the proposed framework than the state-of-the-art methods.The proposed matching framework have been used in the software products of a Chinese listed company. The matlab code is available in this manuscript.


title: Mode-sum renormalization of $\langle\Phi^{2}\rangle$ for a quantum scalar field inside a Schwarzschild black hole

abstract: The full computation of the renormalized expectation values $\langle\Phi^{2}\rangle_{ren}$ and $\langle\hat{T}_{\mu\nu}\rangle_{ren}$ in 4D black hole interiors has been a long standing challenge, which has impeded the investigation of quantum effects on the internal structure of black holes for decades. Employing a recently developed mode sum renormalization scheme to numerically implement the point-splitting method, we report here the first computation of $\langle\Phi^{2}\rangle_{ren}$ in Unruh state in the region inside the event horizon of a 4D Schwarzschild black hole. We further present its Hartle-Hawking counterpart, which we calculated using the same method, and obtain a fairly good agreement with previous results attained using an entirely different method by Candelas and Jensen in 1986. Our results further agree upon approaching the event horizon when compared with previous results calculated outside the black hole. Finally, the results we obtained for Hartle-Hawking state at the event horizon agree with previous analytical results published by Candelas in 1980. This work sets the stage for further explorations of $\langle\Phi^{2}\rangle_{ren}$ and $\langle\hat{T}_{\mu\nu}\rangle_{ren}$ in 4D black hole interiors.


title: M\"obius orthogonality for $q$-semimultiplicative sequences

abstract: We show that all $q$-semimultiplicative sequences are asymptotically orthogonal to the M\"obius function, thus proving the Sarnak conjecture for this class of sequences. This generalises analogous results for the sum-of-digits function and other digital sequences which follow from previous work of Mauduit and Rivat.


title: Stimulated Brillouin scattering in dispersed graphene

abstract: We address the problem of the interaction of powerful laser radiation with a transparent substance containing a low concentration of strongly absorbing nanoparticles under the condition of Stimulated Brillouin scattering (SBS) whose behavior in such media was unexplored. SBS energies in N-methyl-2-pyrrolidone (NMP) and water are measured at the wavelength of 532 nm. An experimental value $g_B = 18.6 \pm 1.8$ cm/GW for a previously unknown Brillouin gain factor of NMP is reported. A strong SBS quenching in the liquids by graphene nanoflakes is found. SBS threshold linear dependences on graphene absorption coefficient (concentration) are established and found suitable for the detection of small nanoparticles quantities in water with a minimal detectable concentration of $5 \cdot 10^{-8}$ g/ml. The effect is considered through an electrostriction - thermal expansion antagonism induced by carbon vapor bubbles formation. It is found to be very sensitive to changes in density, refractive index and acoustic absorption coefficient. Using the SBS method, their determination and the bubbling nanosecond time-scaling can be performed. The effect is advantageous for SBS suppression when it is undesirable in laser technologies and optical telecommunication networks.


title: Spin-dependent scattering and magnetic proximity effect in Ni-doped Co/Cu multilayers as a probe of atomic magnetism

abstract: We investigate the spin transport and ferromagnetic resonance properties of giant magnetoresistive (GMR) Co/Cu-Ni multilayers with variable levels of Ni doping in the Cu spacer. We present an experimental evidence for a magnetic-to-diamagnetic transition in the atomic magnetic moment of Ni in the Cu matrix for concentrations below 15 at. % Ni. As its concentration is increased, Ni atoms turn into spin scattering centers, which is manifested experimentally as a step-like change in the GMR of the multilayers. This behavior is observed in multilayers with gradient-doped Cu spacers, where only the inner region was doped with Ni. In the uniformly doped spacers the GMR decreases monotonously with increasing Ni content, indicating that Ni atoms are magnetic and act as spin relaxation centers in the entire dopant-concentration range studied. We explain the difference in the observed GMR behavior as due to a strong magnetic proximity effect in the uniform spacers, which is efficiently suppressed in the gradient spacers. The observed magnetic phase transition is fully supported by our detailed ab-initio calculations, taking into consideration structural relaxation in the system as well as potential Ni clustering. Controlling the loss or gain of the atomic magnetism for a specific dopant can be a tool in probing and controlling spin relaxation in materials and devices for spin-valve and spin-torque based applications.


title: Lower bound for the cost of connecting tree with given vertex degree sequence

abstract: The optimal connecting network problem generalizes many models of structure optimization known from the literature, including communication and transport network topology design, graph cut and graph clustering, structure identification from data, etc. For the case of connecting trees with the given sequence of vertex degrees, the cost of the optimal tree is shown to be bounded from below by the solution of a semidefinite optimization program with bilinear matrix constraints, which is reduced to the solution of a series of convex programs with linear matrix inequality constraints. The proposed lower bound estimate is used to construct several heuristic algorithms and to evaluate their quality on a variety of generated and real-life data sets. Keywords: Optimal communication network, generalized Wiener index, origin-destination matrix, semidefinite programming, quadratic matrix inequality.


title: Ensemble-based Overlapping Community Detection using Disjoint Community Structures

abstract: While there has been a plethora of approaches for detecting disjoint communities from real-world complex networks, some methods for detecting overlapping community structures have also been recently proposed. In this work, we argue that, instead of developing separate approaches for detecting overlapping communities, a promising alternative is to infer the overlapping communities from multiple disjoint community structures. We propose an ensemble-based approach, called EnCoD, that leverages the solutions produced by various disjoint community detection algorithms to discover the overlapping community structure. Specifically, EnCoD generates a feature vector for each vertex from the results of the base algorithms and learns which features lead to detect densely connected overlapping regions in an unsupervised way. It keeps on iterating until the likelihood of each vertex belonging to its own community maximizes. Experiments on both synthetic and several real-world networks (with known ground-truth community structures) reveal that EnCoD significantly outperforms nine state-of-the-art overlapping community detection algorithms. Finally, we show that EnCoD is generic enough to be applied to networks where the vertices are associated with explicit semantic features. To the best of our knowledge, EnCoD is the second ensemble-based overlapping community detection approach after MEDOC [1].


title: Intelligent Middle-Level Game Control

abstract: We propose the concept of intelligent middle-level game control, which lies on a continuum of control abstraction levels between the following two dual opposites: 1) high-level control that translates player's simple commands into complex actions (such as pressing Space key for jumping), and 2) low-level control which simulates real-life complexities by directly manipulating, e.g., joint rotations of the character as it is done in the runner game QWOP. We posit that various novel control abstractions can be explored using recent advances in movement intelligence of game characters. We demonstrate this through design and evaluation of a novel 2-player martial arts game prototype. In this game, each player guides a simulated humanoid character by clicking and dragging body parts. This defines the cost function for an online continuous control algorithm that executes the requested movement. Our control algorithm uses Covariance Matrix Adaptation Evolution Strategy (CMA-ES) in a rolling horizon manner with custom population seeding techniques. Our playtesting data indicates that intelligent middle-level control results in producing novel and innovative gameplay without frustrating interface complexities.


title: $p$-Branes with $AdS_{p+1}$ vacuum as models of $R^2$ gravity

abstract: Branes with constant mean curvature of their hyper-worldsheets of codim 1 are treated as the Nambu-Goldstone fields of the broken Poincare symmetry. Mapping of their action into quadratic curvature gravity action with spontaneously generated gravity, is shown. Equation for the brane potential extremals and its solution describing hyper-ws of constant curvature are found. For membranes in $\mathbf{R}^{1,3}$ this extremum is shown to be a saddle 3-dim. hypersurface which defines classically unstable vacuum.


title: Gravitational lensing beyond geometric optics: I. Formalism and observables

abstract: The laws of geometric optics and their corrections are derived for scalar, electromagnetic, and gravitational waves propagating in generic curved spacetimes. Local peeling-type results are obtained, where different components of high-frequency fields are shown to scale with different powers of their frequencies. Additionally, finite-frequency corrections are identified for a number of conservation laws and observables. Among these observables are a field's energy and momentum densities, as well as several candidates for its corrected "propagation directions."


title: Spectral Theory Approach for a Class of Radial Indefinite Variational Problems

abstract: Considering the radial nonlinear Schrodinger equation - \Delta u + V(x)u = g(x,u) in R^N, N \geq 3 we aim to find a radial nontrivial solution for it, where V changes sign ensuring this problem is indefinite and g is an asymptotically linear nonlinearity. We work with variational methods associating to the problem an indefinite functional in order to apply our Abstract Linking Theorem for Cerami sequences in [8] to get a non-trivial critical point for this functional. Our goal is to make use of spectral properties of operator A:= - \Delta + V(x) restricted to H^1_{rad}(R^N), the space of radially symmetric functions in H^1(R^N), for obtaining a linking geometry structure to the problem and by means of special properties of radially symmetric functions get the necessary compactness.


title: Detailed modelling of the EBL along VHE {\gamma}-ray paths

abstract: Interactions between the extragalactic background light (EBL) and very high energy {\gamma} rays (VHE; E > 10 GeV) from cosmological sources alter their {\gamma}-ray spectrum. The stronger absorption of harder {\gamma} rays causes a steepening of the observed {\gamma}-ray spectrum at the high energy tail which can be expressed by an increase of the power index. The effect provides a link between high energy astrophysics and the evolution of galaxies. In this work we develop a new hybrid EBL model by augmenting our previous analytic model with information from semi-analytic galaxy catalogues. The model allows us to study the {\gamma}-ray opacities of individual {\gamma}-ray paths through the (simulated) universe and evaluate the effect of local fluctuations in the EBL intensity along each path. We confirm an order of magnitude fluctuations in the local EBL (based on the cumulative light from model galaxy distributions within spheres of 50 $h^{-1}$Mpc). However, the effect of these fluctuations on the VHE {\gamma}-ray opacity is insignificant due to the overall very small contribution of the local EBL to the total EBL. We also investigate the effect which a galaxy crossing the line of sight of the {\gamma}-ray source may have on the VHE spectrum. We find that galaxies with stellar masses of M$ > 10^{11}$ M$_{\odot}$ could have significant effect on the {\gamma}-ray absorption. It is unlikely that the observed variation in the spectral index is caused by the proximity of single galaxies to the {\gamma}-ray paths as these are extremely rare.


title: TLR: Transfer Latent Representation for Unsupervised Domain Adaptation

abstract: Domain adaptation refers to the process of learning prediction models in a target domain by making use of data from a source domain. Many classic methods solve the domain adaptation problem by establishing a common latent space, which may cause the loss of many important properties across both domains. In this manuscript, we develop a novel method, transfer latent representation (TLR), to learn a better latent space. Specifically, we design an objective function based on a simple linear autoencoder to derive the latent representations of both domains. The encoder in the autoencoder aims to project the data of both domains into a robust latent space. Besides, the decoder imposes an additional constraint to reconstruct the original data, which can preserve the common properties of both domains and reduce the noise that causes domain shift. Experiments on cross-domain tasks demonstrate the advantages of TLR over competing methods.


title: Haze Density Estimation via Modeling of Scattering Coefficients of Iso-depth Regions

abstract: Vision based haze density estimation is of practical implications for the purpose of precaution alarm and emergency reactions toward disastrous hazy weathers. In this paper, we introduce a haze density estimation framework based on modeling of scattering coefficients of iso-depth regions. A haze density metric of Normalized Scattering Coefficient (NSC) is proposed to measure current haze density level with reference to two reference scales. Iso-depth regions are determined via superpixel segmentation. Efficient searching and matching of iso-depth units could be carried out for measurements via unstationary cameras. A robust dark SP selection method is used to produce reliable predictions for most out-door scenarios.


title: Almost pure $J_{\mathrm{eff}} = 1/2$ Mott state of In$_2$Ir$_2$O$_7$ in the limit of reduced inter-site hopping

abstract: The pyrochlore iridate In$_2$Ir$_2$O$_7$ is a strong $J_{\mathrm{eff}} = 1/2$ Mott insulator with frustrated magnetism. Despite the large trigonal crystal field, a small admixture of $J_{\mathrm{eff}} = 3/2$ component in the $J_{\mathrm{eff}} = 1/2$ bands and a small splitting of $J_{\mathrm{eff}} = 3/2$ bands are observed as compared with other pyrochlore iridates A$_2$Ir$_2$O$_7$ (A: trivalent cation). We argue that the reduced inter-site hopping between the $J_{\mathrm{eff}} = 1/2$ and the $J_{\mathrm{eff}} = 3/2$ manifold plays a predominant role in the distinct behavior of In$_2$Ir$_2$O$_7$ compared with other A$_2$Ir$_2$O$_7$. The effect of the intersite hopping should not be dismissed in the local physics of spin-orbital-entangled $J_{\mathrm{eff}} = 1/2$ Mott insulators.


title: A Dark Vector Resonance at CLIC

abstract: One of the main problems in Particle Physics is to understand the origin and nature of Dark Matter. An exciting possibility is to consider that the Dark Matter belongs to a new complex but hidden sector. In this paper, we assume the existence of a strongly interacting dark sector consisting on a new scalar doublet and new vector resonances, in concordance with a model recently proposed by our group. Since in a previous work it was found that it is very challenging to find the new vector resonances at the LHC, here we study the possibility of finding them at the a future Compact Linear Collider (CLIC) running at $\sqrt{s}=3$ TeV. We consider two distinct scenarios: when the non-standard scalars are heavy, the dark resonance is intense enough to make its discovery possible at CLIC when the resonance mass is in the range $[2000,3000]$ GeV. In the second scenario, when the non-standard scalars are light, the new vector boson is too broad to be recognized as a resonance and is not detectable except when the mass of the scalars is close to (but smaller than) a half of the resonance mass and the scale of the dark sector is high. In all the positive cases, less than a tenth of the maximum integrated luminosity is needed to reach the discovery level. Finally, we also comment about the mono-$Z$ production.


title: GridFace: Face Rectification via Learning Local Homography Transformations

abstract: In this paper, we propose a method, called GridFace, to reduce facial geometric variations and improve the recognition performance. Our method rectifies the face by local homography transformations, which are estimated by a face rectification network. To encourage the image generation with canonical views, we apply a regularization based on the natural face distribution. We learn the rectification network and recognition network in an end-to-end manner. Extensive experiments show our method greatly reduces geometric variations, and gains significant improvements in unconstrained face recognition scenarios.


title: Mixed Initiative Systems for Human-Swarm Interaction: Opportunities and Challenges

abstract: Human-swarm interaction (HSI) involves a number of human factors impacting human behaviour throughout the interaction. As the technologies used within HSI advance, it is more tempting to increase the level of swarm autonomy within the interaction to reduce the workload on humans. Yet, the prospective negative effects of high levels of autonomy on human situational awareness can hinder this process. Flexible autonomy aims at trading-off these effects by changing the level of autonomy within the interaction when required; with mixed-initiatives combining human preferences and automation's recommendations to select an appropriate level of autonomy at a certain point of time. However, the effective implementation of mixed-initiative systems raises fundamental questions on how to combine human preferences and automation recommendations, how to realise the selected level of autonomy, and what the future impacts on the cognitive states of a human are. We explore open challenges that hamper the process of developing effective flexible autonomy. We then highlight the potential benefits of using system modelling techniques in HSI by illustrating how they provide HSI designers with an opportunity to evaluate different strategies for assessing the state of the mission and for adapting the level of autonomy within the interaction to maximise mission success metrics.


title: A resummed method of moments for the relativistic hydrodynamic expansion

abstract: The relativistic method of moments is one of the most successful approaches to extract second order viscous hydrodynamics from a kinetic underlying background. The equations can be systematically improved to higher order, and they have already shown a fast convergence to the kinetic results. In order to generalize that method, we introduced long range effects in the form of effective (medium dependent) masses and gauge (coherent) fields. The most straightforward generalization of the hydrodynamic expansion is problematic, or simply ill-defined, at higher order. Instead of introducing an additional set of approximations, we propose to rewrite the series in terms of moments resumming the contributions of infinite non-hydrodynamics modes. The resulting equations are consistent with hydrodynamics and well defined at all order. We tested the new approximation against the exact solutions of the Boltzmann-Maxwell-Vlasov equations in $(0+1)$-dimensions, finding a fast and stable convergence to the exact results.


title: Classification of minimal representations of real simple Lie groups

abstract: Based on an idea in [Gan--Savin, Represent. Theory (2005)], we give a classification of minimal representations of connected simple real Lie groups not of type $A$. Actually, we prove that there exist no new minimal representations up to infinitesimal equivalence.


title: Inhomogeneous coherent states in small-world networks: application to the functional brain networks

abstract: We study the dynamics of the processes in the small-world networks with a power-law degree distribution where every node is considered to be in one of the two available statuses. We present an algorithm for generation of such network and determine analytically a temporal dependence of the network nodes degrees and using the maximum entropy principle we define a degree distribution of the network. We discuss the results of the Ising discrete model for small-world networks and in the framework of the continuous approach using the principle of least action, we derive an equation of motion for the order parameter in these networks in the form of a fractional differential equation. The obtained equation enables the description of the problem of a spontaneous symmetry breaking in the system and determination of the spatio-temporal dependencies of the order parameter in varies stable phases of the system. In the cases of one and two component order parameters with taken into account major and secondary order parameters we obtain analytical solutions of the equation of motion for the order parameters and determine solutions for various regimes of the system functioning. We apply the obtained results to the description of the processes in the brain and discuss the problems of emergence of mind.


title: Directly visualizing the sign change of d-wave superconducting gap in Bi2Sr2CaCu2O8+{\delta} by phase-referenced quasiparticle interference

abstract: The superconducting state is achieved by the condensation of Cooper pairs and is protected by the superconducting gap. The pairing interaction between the two electrons of a Cooper pair determines the superconducting gap function. Thus, it is very pivotal to detect the gap structure for understanding the mechanism of superconductivity. In cuprate superconductors, it has been well established that the superconducting gap may have a d-wave function {\Delta} = {\Delta}_0cos2{\theta}. This gap function has an alternative sign change by every pi/2 in the momentum space when the in-plane azimuthal angle theta is scanned. It is very hard to visualize this sign change. Early experiments for recommending or proving this d-wave gap function were accomplished by the specially designed phase sensitive measurements based on the Josephson effect. Here we report the measurements of scanning tunneling spectroscopy in one of the model cuprate system Bi2Sr2CaCu2O8+{\delta} and conduct the analysis of phase-referenced quasiparticle interference (QPI). Due to the unique quasiparticle excitations in the superconducting state of cuprate, we have seen the seven basic scattering vectors that connect each pair of the terminals of the banana-shaped contour of constant quasiparticle energy (CCE). The phase-referenced QPI clearly visualizes the sign change of the d-wave gap. Our results illustrate a very effective way for determining the sign change of unconventional superconductors.


title: BinMatch: A Semantics-based Hybrid Approach on Binary Code Clone Analysis

abstract: Binary code clone analysis is an important technique which has a wide range of applications in software engineering (e.g., plagiarism detection, bug detection). The main challenge of the topic lies in the semantics-equivalent code transformation (e.g., optimization, obfuscation) which would alter representations of binary code tremendously. Another chal- lenge is the trade-off between detection accuracy and coverage. Unfortunately, existing techniques still rely on semantics-less code features which are susceptible to the code transformation. Besides, they adopt merely either a static or a dynamic approach to detect binary code clones, which cannot achieve high accuracy and coverage simultaneously. In this paper, we propose a semantics-based hybrid approach to detect binary clone functions. We execute a template binary function with its test cases, and emulate the execution of every target function for clone comparison with the runtime information migrated from that template function. The semantic signatures are extracted during the execution of the template function and emulation of the target function. Lastly, a similarity score is calculated from their signatures to measure their likeness. We implement the approach in a prototype system designated as BinMatch which analyzes IA-32 binary code on the Linux platform. We evaluate BinMatch with eight real-world projects compiled with different compilation configurations and commonly-used obfuscation methods, totally performing over 100 million pairs of function comparison. The experimental results show that BinMatch is robust to the semantics-equivalent code transformation. Besides, it not only covers all target functions for clone analysis, but also improves the detection accuracy comparing to the state-of-the-art solutions.


title: Let CONAN tell you a story: Procedural quest generation

abstract: This work proposes an engine for the Creation Of Novel Adventure Narrative (CONAN), which is a procedural quest generator. It uses a planning approach to story generation. The engine is tested on its ability to create quests, which are sets of actions that must be performed in order to achieve a certain goal, usually for a reward. The engine takes in a world description represented as a set of facts, including characters, locations, and items, and generates quests according to the state of the world and the preferences of the characters. We evaluate quests through the classification of the motivations behind the quests, based on the sequences of actions required to complete the quests. We also compare different world descriptions and analyze the difference in motivations for the quests produced by the engine. Compared against human structural quest analysis, the current engine was found to be able to replicate the quest structures found in commercial video game quests.


title: Adapting the Neural Encoder-Decoder Framework from Single to Multi-Document Summarization

abstract: Generating a text abstract from a set of documents remains a challenging task. The neural encoder-decoder framework has recently been exploited to summarize single documents, but its success can in part be attributed to the availability of large parallel data automatically acquired from the Web. In contrast, parallel data for multi-document summarization are scarce and costly to obtain. There is a pressing need to adapt an encoder-decoder model trained on single-document summarization data to work with multiple-document input. In this paper, we present an initial investigation into a novel adaptation method. It exploits the maximal marginal relevance method to select representative sentences from multi-document input, and leverages an abstractive encoder-decoder model to fuse disparate sentences to an abstractive summary. The adaptation method is robust and itself requires no training data. Our system compares favorably to state-of-the-art extractive and abstractive approaches judged by automatic metrics and human assessors.


title: Automatic Detection of Vague Words and Sentences in Privacy Policies

abstract: Website privacy policies represent the single most important source of information for users to gauge how their personal data are collected, used and shared by companies. However, privacy policies are often vague and people struggle to understand the content. Their opaqueness poses a significant challenge to both users and policy regulators. In this paper, we seek to identify vague content in privacy policies. We construct the first corpus of human-annotated vague words and sentences and present empirical studies on automatic vagueness detection. In particular, we investigate context-aware and context-agnostic models for predicting vague words, and explore auxiliary-classifier generative adversarial networks for characterizing sentence vagueness. Our experimental results demonstrate the effectiveness of proposed approaches. Finally, we provide suggestions for resolving vagueness and improving the usability of privacy policies.


title: Jointly Deep Multi-View Learning for Clustering Analysis

abstract: In this paper, we propose a novel Joint framework for Deep Multi-view Clustering (DMJC), where multiple deep embedded features, multi-view fusion mechanism and clustering assignments can be learned simultaneously. Our key idea is that the joint learning strategy can sufficiently exploit clustering-friendly multi-view features and useful multi-view complementary information to improve the clustering performance. How to realize the multi-view fusion in such a joint framework is the primary challenge. To do so, we design two ingenious variants of deep multi-view joint clustering models under the proposed framework, where multi-view fusion is implemented by two different schemes. The first model, called DMJC-S, performs multi-view fusion in an implicit way via a novel multi-view soft assignment distribution. The second model, termed DMJC-T, defines a novel multi-view auxiliary target distribution to conduct the multi-view fusion explicitly. Both DMJC-S and DMJC-T are optimized under a KL divergence like clustering objective. Experiments on six challenging image datasets demonstrate the superiority of both DMJC-S and DMJC-T over single/multi-view baselines and the state-of-the-art multiview clustering methods, which proves the effectiveness of the proposed DMJC framework. To our best knowledge, this is the first work to model the multi-view clustering in a deep joint framework, which will provide a meaningful thinking in unsupervised multi-view learning.


title: On the balanced condition for the Eguchi-Hanson metric

abstract: Let $g_{EH}$ be the Eguchi-Hanson metric on the blow-up of $\mathbb{C}^2$ at the origin. In this paper we show that $mg_{EH}$ is not balanced for any positive integer $m$.


title: The empirical likelihood prior applied to bias reduction of general estimating equations

abstract: The practice of employing empirical likelihood (EL) components in place of parametric likelihood functions in the construction of Bayesian-type procedures has been well-addressed in the modern statistical literature. We rigorously derive the EL prior, a Jeffreys-type prior, which asymptotically maximizes the Shannon mutual information between data and the parameters of interest. The focus of our approach is on an integrated Kullback-Leibler distance between the EL-based posterior and prior density functions. The EL prior density is the density function for which the corresponding posterior form is asymptotically negligibly different from the EL. We show that the proposed result can be used to develop a methodology for reducing the asymptotic bias of solutions of general estimating equations and M-estimation schemes by removing the first-order term. This technique is developed in a similar manner to methods employed to reduce the asymptotic bias of maximum likelihood estimates via penalizing the underlying parametric likelihoods by their Jeffreys invariant priors. A real data example related to a study of myocardial infarction illustrates the attractiveness of the proposed technique in practical aspects. Keywords: Asymptotic bias, Biased estimating equations, Empirical likelihood, Expected Kullback-Leibler distance, Penalized likelihood, Reference prior.


title: Indoor Coverage Enhancement for mmWave Systems with Passive Reflectors: Measurements and Ray Tracing Simulations

abstract: The future 5G networks are expected to use millimeter wave (mmWave) frequency bands, mainly due to the availability of large unused spectrum. However, due to high path loss at mmWave frequencies, coverage of mmWave signals can get severely reduced, especially for non-line-of-sight (NLOS) scenarios. In this work, we study the use of passive metallic reflectors of different shapes/sizes to improve mmWave signal coverage for indoor NLOS scenarios. Software defined radio based mmWave transceiver platforms operating at 28 GHz are used for indoor measurements. Subsequently, ray tracing (RT) simulations are carried out in a similar environment using Remcom Wireless InSite software. The cumulative distribution functions of the received signal strength for the RT simulations in the area of interest are observed to be reasonably close with those obtained from the measurements. Our measurements and RT simulations both show that there is significant (on the order of 20 dB) power gain obtained with square metallic reflectors, when compared to no reflector scenario for an indoor corridor. We also observe that overall mmWave signal coverage can be improved utilizing reflectors of different shapes and orientations.


title: Specific heat in strongly hole-doped Iron-based superconductors

abstract: We compute the specific heat $C(T)$ in an Fe-based superconductor with only hole pockets. We use a three-orbital/three pocket model with two smaller hole pockets made out of $d_{xz}$ and $d_{yz}$ orbitals and a larger pocket made out of $d_{xy}$ orbital. We use as an input the experimental fact that the mass of $d_{xy}$ fermion is much heavier than that of $d_{xz}/d_{yz}$ fermions. We argue that the heavy $d_{xy}$ band contributes most to the specific heat in the normal state, but the superconducting gap on the $d_{xy}$ pocket is parametrically smaller than that on $d_{xz}/d_{yz}$ pockets. We argue that in this situation the jump of $C(T)$ at $T_c$ is determined by $d_{xz}/d_{yz}$ fermions, and the ratio $(C_s-C_n)/C_n$ is a fraction of that in a one-band BCS theory. Below $T_c$, $C(T)$ remains relatively flat down to some $T^*$, below which $C(T)$ rapidly drops. This behavior is consistent with the data for KFe$_2$As$_2$ and related materials. We argue that the data on $C(T)$ can be reproduced without assuming that the quasiparticle residue $Z$ on $d_{xy}$ band is small. We further argue that the very existence of a finite $T^* < T_c$ favors $s^{+-}$ gap structure over $d-$wave, because in the latter case $T^*$ would vanish.


title: Inversion problem in measure and Fourier-Stieltjes algebras

abstract: In this paper we study the inversion problem in measure and Fourier-Stieltjes algebras from qualitative and quantitative point of view extending the results obtained by N. Nikolski.


title: SentencePiece: A simple and language independent subword tokenizer and detokenizer for Neural Text Processing

abstract: This paper describes SentencePiece, a language-independent subword tokenizer and detokenizer designed for Neural-based text processing, including Neural Machine Translation. It provides open-source C++ and Python implementations for subword units. While existing subword segmentation tools assume that the input is pre-tokenized into word sequences, SentencePiece can train subword models directly from raw sentences, which allows us to make a purely end-to-end and language independent system. We perform a validation experiment of NMT on English-Japanese machine translation, and find that it is possible to achieve comparable accuracy to direct subword training from raw sentences. We also compare the performance of subword training and segmentation with various configurations. SentencePiece is available under the Apache 2 license at https://github.com/google/sentencepiece.


title: An $L^2$-index formula of monopoles with Dirac-type singularities

abstract: We prove the Fredholmness of Dirac operators of monopoles with Dirac-type singularities on oriented complete Riemannian $3$-folds, and we also calculate the $L^2$-indices of them.


title: Optimal Control for Discrete-time Markov Jump Linear System with Control Input Delay

abstract: This paper deals with the finite horizon optimal control problem for discrete-time Markov jump linear system with input delay. The correlation among the jumping parameters and the input delay are considered simultaneously, which forms the basic difficulty of the design. one of the key techniques is to solve a delayed forward and backward jumping parameter difference equation which is obtained by an improved maximum principle, and the other is the introduction of a "d-step backward formula". Based on the proposed techniques, a necessary and sufficient condition for the existence of the optimal controller is given in an explicit form and an analytical solution to the optimal controller is supplied. The optimal controller is a linear function of the current time state and the historical time control input, where the feedback gains are a set of jumping parameter matrices derived by solving a new type of coupled difference Riccati equation. The key step in the derivation is to establish the relationship between the costate and the real state of the system. The result obtained in this paper can be viewed as a generalization of the standard case, in which there is only one mode of operation.


title: Mixed side-chain geometries for aggregation control of poly(fluorene-alt-bithiophene) and their effects on photophysics and charge transport

abstract: In organic optoelectronics, order of conjugated molecules is required for good charge transport, but strong aggregation behavior may generate grain boundaries and trapping, opposing those benefits. Side chains on a polymer's backbone are major reason for and also tool to modify its morphological characteristics. In this report, we show on the example poly(9,9-dioctylfluorenyl-co-bithiophene) (F8T2) that by a combination of two types of side-chains on the backbone of equal number of carbons, one promoting crystallization, another hindering it, organization of the main chains can be controlled, without changing its major properties. We compare the traditional F8T2 derivative with octyl substituent with two modified species, one containing solely 2-ethylhexyl side-chains and another with both types randomly distributed. Thermal characteristics, photophysics and morphology are compared and effects on film formation and charge transport in bulk-heterojunction blends demonstrated on photovoltaic devices utilizing F8T2s as donor and the fullerene derivative ICBA as acceptor material.


title: Short-Term Environmental Effects and Their Influence on Spatial Homogeneity of Organic Solar Cell Functionality

abstract: Here, we focus on induced degradation and spatial inhomogeneity of organic photovoltaic devices under different environmental conditions, uncoupled from the influence of a hole-transport (HT) layer. During testing of devices comprising the standard photoactive layer of P3HT as donor, blended with PCBM as acceptor, a comparison was made between the nonencapsulated devices upon exposure to dry air, dry air with illumination and humid air. The impact on the active layer's photophysics is discussed, along with the device physics in terms of integral solar cell performance and spatially resolved photocurrent distribution with point-to-point analysis of the diode characteristics to determine the origin of the observed behavior. The results show that even without the widely used hygroscopic HT layer, PEDOT:PSS, humidity is still a major factor in the short-term environmental degradation of organic solar cells with this architecture, and not only oxygen or light, as is often reported. Different from previous reports where water-induced device degradation was spatially homogeneous and formation of Al2O3 islands was only seen for oxygen permeation through pinholes in aluminum, we observed insulating islands merely after humidity exposure in the present study. Further, we demonstrated with laser beam induced current mapping and point-to-point diode analysis that the water-induced performance losses are a result of the exposed device area comprising regions with entirely unaltered high output and intact diode behavior and those with severe degradation showing detrimentally lowered output and voltage-independent charge blocking, which is essentially insulating behavior. It is suggested that this is caused by transport of water through pinholes to the organic/metal interface, where they form insulating oxide or hydroxide islands, while the organic active layer stays unharmed.


title: Improved Decision Rule Approximations for Multi-Stage Robust Optimization via Copositive Programming

abstract: We study decision rule approximations for generic multi-stage robust linear optimization problems. We consider linear decision rules for the case when the objective coefficients, the recourse matrices, and the right-hand sides are uncertain, and consider quadratic decision rules for the case when only the right-hand sides are uncertain. The resulting optimization problems are NP-hard but amenable to copositive programming reformulations that give rise to tight conservative approximations. We further enhance these approximations through new piecewise decision rule schemes. Finally, we prove that our proposed approximations are tighter than the state-of-the-art schemes and demonstrate their superiority through numerical experiments.


title: Lexicosyntactic Inference in Neural Models

abstract: We investigate neural models' ability to capture lexicosyntactic inferences: inferences triggered by the interaction of lexical and syntactic information. We take the task of event factuality prediction as a case study and build a factuality judgment dataset for all English clause-embedding verbs in various syntactic contexts. We use this dataset, which we make publicly available, to probe the behavior of current state-of-the-art neural systems, showing that these systems make certain systematic errors that are clearly visible through the lens of factuality prediction.


title: Associated non-prompt $J/\psi + \mu$ and $J/\psi + J/\psi$ production at LHC as a test for TMD gluon density

abstract: We consider the associated production of $J/\psi$ mesons and muons originating from the $b$-flavored hadron decays and non-prompt double $J/\psi$ production at the LHC using the $k_T$-factorization approach. To describe the inclusive $b$-hadron decays into the different charmonium states we apply fragmentation approach and adopt fragmentation functions based on the non-relativistic QCD factorization. The transverse momentum dependent (TMD) gluon densities in a proton are determined using the Catani-Ciafaloni-Fiorani-Marchesini equation and Kimber-Martin-Ryskin prescription. We investigate the effects coming from parton showers, estimate the double parton scattering contribution and compare our predictions with the first experimental data taken by the ATLAS and LHCb Collaborations at $\sqrt s = 8$~TeV. These data can serve as an additional test for TMD gluon density function in a proton.


title: Liouville-type theorems for the stationary MHD equations in 2D

abstract: This note is devoted to investigating Liouville type properties of the two dimensional stationary incompressible Magnetohydrodynamics equations. More precisely, under smallness conditions only on the magnetic field, we show that there are no non-trivial solutions to MHD equations either the Dirichlet integral or some $L^p$ norm of the velocity-magnetic fields are finite. In particular, these results generalize the corresponding Liouville type properties for the 2D Navier-Stokes equations, such as Gilbarg-Weinberger \cite{GW1978} and Koch-Nadirashvili-Seregin-Sverak \cite{KNSS}, to the MHD setting.


title: Regenerated Cellulose Fiber Solar Cell

abstract: Wearable electronics and smart textiles are growing fields in the cause to integrate modern communication and computing tools into clothing instead of carrying around smart phones and tablets. Naturally, this also requires power sources to be integrated in textiles. In this paper, a proof-of-concept is presented in form of a photovoltaic cell based on a commercially available viscose fiber. This has been realized using a silver nanowire network around the viscose fiber to establish electrical contact and a photoactive coating using the standard workhorse among organic thin film solar cells, a blend of poly(3-hexylthiophene) (P3HT) and phenyl-C61-butyric acid methyl ester (PCBM). Structure and performance of single fiber devices demonstrate their feasibility and functionality. The applied materials and methods are compatible to solution processing therewith qualifying for potential roll-to-roll large-scale production.


title: On Bragg resonances and wave triad interactions in two-layered shear flows

abstract: The standard resonance conditions for Bragg scattering as well as weakly nonlinear wave triads have been traditionally derived in the absence of any background velocity. In this paper, we have studied how these resonance conditions get modified when uniform, as well as various piecewise linear velocity profiles, are considered for two-layered shear flows. Background velocity can influence the resonance conditions in two ways (i) by causing Doppler shifts, and (ii) by changing the intrinsic frequencies of the waves. For Bragg resonance, even a uniform velocity field changes the resonance condition. Velocity shear strongly influences the resonance conditions since, in addition to changing the intrinsic frequencies, it can cause unequal Doppler shifts between the surface, pycnocline, and the bottom. Using multiple scale analysis and Fredholm alternative, we analytically obtain the equations governing both the Bragg resonance and the wave triads. We have also extended the Higher Order Spectral method, a highly efficient computational tool usually used to study triad and Bragg resonance problems, to incorporate the effect of piecewise linear velocity profile. A significant aspect, both in theoretical and numerical fronts, has been extending the potential flow approximation, which is the basis of studying these kinds of problems, to incorporate piecewise constant background shear.


title: The energy-momentum tensor of gravitational waves, Wyman spacetime and freely falling observers

abstract: A good definition for the energy momentum tensor of gravity (EMTG) in General Relativity (GR) is a hard, if not impossible, task. On the other hand, in its teleparallel version, known as The Teleparallel Equivalent of General Relativity (TEGR), one can define the EMTG in a very satisfactory way. In this paper, it is proved that the EMTG of TEGR for linearized gravitational waves (GWs) is the same as the version of GR that is usually given in the literature. In addition, the exact version of the EMTG for a $pp-$wave with a $+$ polarization is obtained in a freely falling frame (FFF). Unlike the previous case, the energy density can be either positive or negative, depending on the details of the wave. The gravitational energy density for the Wyman spacetimes is obtained both in a static frame and in a FFF. It turns out that observers in free fall can measure the effects of gravity.


title: Observational consequences of structured jets from neutron star mergers in the local Universe

abstract: The recent multi-messenger discovery of binary neutron star (BNS) merger GW170817 showed that $\gamma$-ray emission in short GRBs is wider than the central energetic narrow cone, and weakly expands out to tens of degrees. Here we explore some of the observational consequences of this structured emission, taking the reconstructed angular emission profile of gamma-ray burst GRB170817A to be typical. We calculate the expected fraction of gravitational-wave observations from BNS mergers that will have an observed GRB counterpart to be $\sim30\%$, implying that joint gravitational-wave and GRB observations will be common. Further, we find that $\sim10\%$ of observed short GRBs occur within 200 Mpc. Finally, we estimate a BNS merger rate of $\sim500$ Gpc$^{-3}$yr$^{-1}$.


title: Adaptive Cubic Regularization Methods with Dynamic Inexact Hessian Information and Applications to Finite-Sum Minimization

abstract: We consider the Adaptive Regularization with Cubics approach for solving nonconvex optimization problems and propose a new variant based on inexact Hessian information chosen dynamically. The theoretical analysis of the proposed procedure is given. The key property of ARC framework, constituted by optimal worst-case function/derivative evaluation bounds for first- and second-order critical point, is guaranteed. Application to large-scale finite-sum minimization based on subsampled Hessian is discussed and analyzed in both a deterministic and probabilistic manner and equipped with numerical experiments on synthetic and real datasets.


title: Multisymplectic structures and invariant tensors for Lie systems

abstract: A Lie system is the non-autonomous system of differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie algebra. This work pioneers the analysis of Lie systems admitting a Vessiot--Guldberg Lie algebra of Hamiltonian vector fields relative to a multisymplectic structure: the multisymplectic Lie systems. Geometric methods are developed to consider a Lie system as a multisymplectic one. By attaching a multisymplectic Lie system via its multisymplectic structure with a tensor coalgebra, we find methods to derive superposition rules, constants of motion, and invariant tensor fields relative to the evolution of the multisymplectic Lie system. Our results are illustrated with examples occurring in physics, mathematics, and control theory.


title: Spatio-temporal prediction of crimes using network analytic approach

abstract: It is quite evident that majority of the population lives in urban area today than in any time of the human history. This trend seems to increase in coming years. A study [5] says that nearly 80.7% of total population in USA stays in urban area. By 2030 nearly 60% of the population in the world will live in or move to cities. With the increase in urban population, it is important to keep an eye on criminal activities. By doing so, governments can enforce intelligent policing systems and hence many government agencies and local authorities have made the crime data publicly available. In this paper, we analyze Chicago city crime data fused with other social information sources using network analytic techniques to predict criminal activity for the next year. We observe that as we add more layers of data which represent different aspects of the society, the quality of prediction is improved. Our prediction models not just predict total number of crimes for the whole Chicago city, rather they predict number of crimes for all types of crimes and for different regions in City of Chicago.


title: Non-isomorphism of categories of algebras

abstract: This paper was accepted for Comment. Math. Univ. Carolinae in 1968 but then got lost during the military occupation of Prague and surrounding events. My own long-lost carbon copy of it turned up in my Columbia office. The only changes to the text are addition of a footnote and some commas.


title: Chiral Optical Tamm States at the Interface between a Cholesteric and an All-Dielectric Polarization-Preserving Anisotropic Mirror

abstract: The chiral optical Tamm state is a new localized state of light at the interface between a polarization-preserving anisotropic mirror and an optically chiral medium such as a cholesteric liquid crystal. In this study the metal-free polarization-preserving mirror is used for efficient resonance control. We stress the advantage of the all-dielectric structure in obtaining high Q factor. The light is localized near the interface and the field decreases exponentially with the distance from the interface. The penetration of the field into the chiral medium is virtually blocked at wavelengths corresponding to the photonic band gap and close to the pitch of the helix. The polarization-preserving mirror has another photonic band gap as well. Our analytics agrees well with precise calculations, enabling intelligent design for laser and sensing applications.


title: XL-NBT: A Cross-lingual Neural Belief Tracking Framework

abstract: Task-oriented dialog systems are becoming pervasive, and many companies heavily rely on them to complement human agents for customer service in call centers. With globalization, the need for providing cross-lingual customer support becomes more urgent than ever. However, cross-lingual support poses great challenges---it requires a large amount of additional annotated data from native speakers. In order to bypass the expensive human annotation and achieve the first step towards the ultimate goal of building a universal dialog system, we set out to build a cross-lingual state tracking framework. Specifically, we assume that there exists a source language with dialog belief tracking annotations while the target languages have no annotated dialog data of any form. Then, we pre-train a state tracker for the source language as a teacher, which is able to exploit easy-to-access parallel data. We then distill and transfer its own knowledge to the student state tracker in target languages. We specifically discuss two types of common parallel resources: bilingual corpus and bilingual dictionary, and design different transfer learning strategies accordingly. Experimentally, we successfully use English state tracker as the teacher to transfer its knowledge to both Italian and German trackers and achieve promising results.


title: Implications of Realistic Fracture Criteria on Crack Morphology

abstract: We study the effects realistic fracture criteria have on crack morphology obtained in numerical simulations with a stochastic discrete element method. Results are obtained with two criteria which are consistent with the theory of elasticity and compared with previous results using the original criterion, chosen when the method was first published, The conventional choice has been to consider the combined loading as an interaction between bending and tensile forces only, leaving out shear forces altogether. Moreover the combination of bending and tension used in the old criterion is correct only for plastic deformations. Our results show that the inclusion of shear forces have a profound effect on crack morphology. We consider two types of external loading, torsion applied to a circular cylinder and tension applied to a cube. In the tensile case, the exponent which characterises scaling of crack roughness with system size is found to be very close to the experimental value zeta = 0:5 when realistic fracture criteria are used. In the present calculations we obtain zeta = 0.52, a value which remains constant for all disorders. It is proposed that the small-scale exponent zeta = 0.8 appears as a consequence of cleavage between crystal planes and consequently requires a different fracture criterion than that which is used on larger scales.


title: Critical Filling Factor for the Formation of a Quantum Wigner Crystal Screened by a Nearby Layer

abstract: One of the most fascinating ground states of an interacting electron system is the so-called Wigner crystal where the electrons, in order to minimize their repulsive Coulomb energy, form an ordered array. Here we report measurements of the critical filling factor ($\nu_{C}$) below which a magnetic-field-induced, quantum Wigner crystal forms in a dilute, two-dimensional electron layer when a second, high-density electron layer is present in close proximity. The data reveal that the Wigner crystal forms at a significantly smaller $\nu_{C}$ compared to the $\nu_{C}$ ($\simeq 0.20$) in single-layer two-dimensional electron systems. The measured $\nu_{C}$ exhibits a strong dependence on the interlayer distance, reflecting the interaction and screening from the adjacent, high-density layer.


title: $Z_2\times Z_2$-cordial cycle-free hypergraphs

abstract: Hovey introduced $A$-cordial labelings as a generalization of cordial and harmonious labelings \cite{Hovey}. If $A$ is an Abelian group, then a labeling $f \colon V (G) \rightarrow A$ of the vertices of some graph $G$ induces an edge labeling on $G$, the edge $uv$ receives the label $f (u) + f (v)$. A graph $G$ is $A$-cordial if there is a vertex-labeling such that (1) the vertex label classes differ in size by at most one and (2) the induced edge label classes differ in size by at most one. The problem of $A$-cordial labelings of graphs can be naturally extended for hypergraphs. It was shown that not every $2$-uniform hypertree (i.e., tree) admits a $Z_2\times Z_2$-cordial labeling \cite{Pechnik}. The situation changes if we consider $p$-uniform hypetrees for a bigger $p$. We prove that a $p$-uniform hypertree is $Z_2\times Z_2$-cordial for any $p>2$, and so is every path hypergraph in which all edges have size at least~3. The property is not valid universally in the class of hypergraphs of maximum degree~1, for which we provide a necessary and sufficient condition.


title: Dynamic simulations in SixTrack

abstract: The DYNK module allows element settings in SixTrack to be changed on a turn-by-turn basis. This document contains a technical description of the DYNK module in SixTrack. It is mainly intended for a developer or advanced user who wants to modify the DYNK module, for example by adding more functions that can be used to calculate new element settings, or to add support for new elements that can be used with DYNK.


title: Local rigidity of Lyapunov spectrum for toral automorphisms

abstract: We study the regularity of the conjugacy between an Anosov automorphism $L$ of a torus and its small perturbation. We assume that $L$ has no more than two eigenvalues of the same modulus and that $L^4$ is irreducible over $\mathbb Q$. We consider a volume-preserving $C^1$-small perturbation $f$ of $L$. We show that if Lyapunov exponents of $f$ with respect to the volume are the same as Lyapunov exponents of $L$, then $f$ is $C^{1+\text{H\"older}}$ conjugate to $L$. Further, we establish a similar result for irreducible partially hyperbolic automorphisms with two-dimensional center bundle.


title: Dynamic Temporal Alignment of Speech to Lips

abstract: Many speech segments in movies are re-recorded in a studio during postproduction, to compensate for poor sound quality as recorded on location. Manual alignment of the newly-recorded speech with the original lip movements is a tedious task. We present an audio-to-video alignment method for automating speech to lips alignment, stretching and compressing the audio signal to match the lip movements. This alignment is based on deep audio-visual features, mapping the lips video and the speech signal to a shared representation. Using this shared representation we compute the lip-sync error between every short speech period and every video frame, followed by the determination of the optimal corresponding frame for each short sound period over the entire video clip. We demonstrate successful alignment both quantitatively, using a human perception-inspired metric, as well as qualitatively. The strongest advantage of our audio-to-video approach is in cases where the original voice in unclear, and where a constant shift of the sound can not give a perfect alignment. In these cases state-of-the-art methods will fail.


title: An incremental local-first community detection method for dynamic graphs

abstract: Community detections for large-scale real world networks have been more popular in social analytics. In particular, dynamically growing network analyses become important to find long-term trends and detect anomalies. In order to analyze such networks, we need to obtain many snapshots and apply same analytic methods to them. However, it is inefficient to extract communities from these whole newly generated networks with little differences every time, and then it is impossible to follow the network growths in the real time. We proposed an incremental community detection algorithm for high-volume graph streams. It is based on the top of a well-known batch-oriented algorithm named DEMON[1]. We also evaluated performance and precisions of our proposed incremental algorithm with real-world big networks with up to 410,236 vertices and 2,439,437 edges and computed in less than one second to detect communities in an incremental fashion - which achieves up to 107 times faster than the original algorithm without sacrificing accuracies.


title: A Search for R-Parity Violated Scalar Tau-neutrino ($\widetilde{\nu_{\tau}}$) at the Future Circular Collider

abstract: Future Circular Collider is one of the next generation energy-frontier proton-proton colliders with 100 TeV center of mass energy and promising very high luminosity. FCC will be an extraordinary machine for searching Beyond the Standard Model physics because of its very high center of mass energy and luminosity. Searching supersymmetric particles via R-parity violated interactions could be listed in promising BSM physics at the FCC. Scalar tau neutrino is one of the most interesting predictions. A search for $\widetilde{\nu}_{\tau}$ neutrino decaying into $e\mu$ final state via R-parity violated interactions has been conducted at the FCC-pp. It is seen from this research that FCC-pp will be able to discover $\widetilde{\nu}_{\tau}$ up to 28.8 TeV, observe 32.0 TeV and exclude 34.5 TeV mass values by taking $\lambda_{311}^{\prime}=0.11$ and $\lambda_{312}=\lambda_{321}=0.07$ at $\mathcal{L}_{int}=17500\,fb^{-1}$. FCC-pp, also, will allow to examine very low values of the Yukawa coupling constants which cause R-parity violation interactions. It is obviously seen that FCC-pp will give an opportunity for detailed research on scalar tau neutrino production and decay via R-parity violated interactions.


title: Eliminating the Blind Spot: Adapting 3D Object Detection and Monocular Depth Estimation to 360{\deg} Panoramic Imagery

abstract: Recent automotive vision work has focused almost exclusively on processing forward-facing cameras. However, future autonomous vehicles will not be viable without a more comprehensive surround sensing, akin to a human driver, as can be provided by 360{\deg} panoramic cameras. We present an approach to adapt contemporary deep network architectures developed on conventional rectilinear imagery to work on equirectangular 360{\deg} panoramic imagery. To address the lack of annotated panoramic automotive datasets availability, we adapt a contemporary automotive dataset, via style and projection transformations, to facilitate the cross-domain retraining of contemporary algorithms for panoramic imagery. Following this approach we retrain and adapt existing architectures to recover scene depth and 3D pose of vehicles from monocular panoramic imagery without any panoramic training labels or calibration parameters. Our approach is evaluated qualitatively on crowd-sourced panoramic images and quantitatively using an automotive environment simulator to provide the first benchmark for such techniques within panoramic imagery.


title: SABRE: Protecting Bitcoin against Routing Attacks

abstract: Routing attacks remain practically effective in the Internet today as existing countermeasures either fail to provide protection guarantees or are not easily deployable. Blockchain systems are particularly vulnerable to such attacks as they rely on Internet-wide communication to reach consensus. In particular, Bitcoin -the most widely-used cryptocurrency- can be split in half by any AS-level adversary using BGP hijacking. In this paper, we present SABRE, a secure and scalable Bitcoin relay network which relays blocks worldwide through a set of connections that are resilient to routing attacks. SABRE runs alongside the existing peer-to-peer network and is easily deployable. As a critical system, SABRE design is highly resilient and can efficiently handle high bandwidth loads, including Denial of Service attacks. We built SABRE around two key technical insights. First, we leverage fundamental properties of inter-domain routing (BGP) policies to host relay nodes: (i) in locations that are inherently protected against routing attacks; and (ii) on paths that are economically preferred by the majority of Bitcoin clients. These properties are generic and can be used to protect other Blockchain-based systems. Second, we leverage the fact that relaying blocks is communication-heavy, not computation-heavy. This enables us to offload most of the relay operations to programmable network hardware (using the P4 programming language). Thanks to this hardware/software co-design, SABRE nodes operate seamlessly under high load while mitigating the effects of malicious clients. We present a complete implementation of SABRE together with an extensive evaluation. Our results demonstrate that SABRE is effective at securing Bitcoin against routing attacks, even with deployments as small as 6 nodes.


title: Evolving Algebras 1993: Lipari Guide

abstract: Computation models and specification methods seem to be worlds apart. The project on abstract state machines (in short ASMs, also known as evolving algebras) started as an attempt to bridge the gap by improving on Turing's thesis. We sought more versatile machines which would be able to step-for-step simulate arbitrary algorithms on their natural abstraction levels. The ASM thesis asserts that ASMs are such versatile machines. The guide provides the definitions of sequential, parallel and distributed ASMs.


title: Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

abstract: We provide a general and syntactically-defined family of sequent calculi, called \emph{semi-analytic}, to formalize the informal notion of a "nice" sequent calculus. We show that any sufficiently strong (multimodal) substructural logic with a semi-analytic sequent calculus enjoys the Craig Interpolation Property, CIP. As a positive application, our theorem provides a uniform and modular method to prove the CIP for several multimodal substructural logics, including many fragments and variants of linear logic. More interestingly, on the negative side, it employs the lack of the CIP in almost all substructural, superintuitionistic and modal logics to provide a formal proof for the well-known intuition that almost all logics do not have a "nice" sequent calculus. More precisely, we show that many substructural logics including $\mathsf{UL^-}$, $\mathsf{MTL}$, $\mathsf{R}$, $\mathsf{L}_n$ (for $n \geq 3$), $\mathsf{G}_n$ (for $n \geq 4$), and almost all extensions of $\mathsf{IMTL}$, $\mathsf{L}$, $\mathsf{BL}$, $\mathsf{RM^e}$, $\mathsf{IPC}$, $\mathsf{S4}$, and $\mathsf{Grz}$, (except for at most 1, 1, 3, 8, 7, 37, and 6 of them, respectively) do not have a semi-analytic calculus. Keywords. Craig interpolation, sequent calculi, substructural logics, linear logics, subexponential modalities


title: The mass of the young planet Pictoris b through the astrometric motion of its host star

abstract: The young massive Jupiters discovered with high-contrast imaging provide a unique opportunity to study the formation and early evolution of gas giant planets. A key question is to what extent gravitational energy from accreted gas contributes to the internal energy of a newly formed planet. This has led to a range of formation scenarios from 'cold' to 'hot' start models. For a planet of a given mass, these initial conditions govern its subsequent evolution in luminosity and radius. Except for upper limits from radial velocity studies, disk modelling, and dynamical instability arguments, no mass measurements of young planets are yet available to distinguish between these different models. Here we report on the detection of the astrometric motion of Beta Pictoris, the 21 Myr-old host star of an archetypical directly-imaged gas giant planet, around the system's centre of mass. Subtracting the highly accurate Hipparcos-Gaia proper motion from the internal 3-yr Hipparcos astrometric data reveals the reflex motion of the star, giving a model-independent planet mass of M=11+-2 MJup. This is consistent with scenarios in which the planet is formed in a high-entropy state as assumed by hot start models. The ongoing data collection by Gaia will in the near future lead to mass measurements of other young gas giants and form a great asset to further constrain early evolution scenarios.


title: Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation

abstract: In [7] and [8], Iemhoff introduced a connection between the existence of a terminating sequent calculi of a certain kind and the uniform interpolation property of the super-intuitionistic logic that the calculus captures. In this paper, we will generalize this relationship to also cover the substructural setting on the one hand and a much more powerful class of rules on the other. The resulted relationship then provides a uniform method to establish uniform interpolation property for the logics $\mathbf{FL_e}$, $\mathbf{FL_{ew}}$, $\mathbf{CFL_e}$, $\mathbf{CFL_{ew}}$, $\mathbf{IPC}$, $\mathbf{CPC}$ and their $\mathbf{K}$ and $\mathbf{KD}$-type modal extensions. More interestingly though, on the negative side, we will show that no extension of $\mathbf{FL_e}$ can enjoy a certain natural type of terminating sequent calculus unless it has the uniform interpolation property. It excludes almost all super-intutionistic logics and the logics $\mathbf{K4}$ and $\mathbf{S4}$ from having such a reasonable calculus.


title: X-ray emission from warm-hot intergalactic medium: the role of resonantly scattered cosmic X-ray background

abstract: We revisit calculations of the X-ray emission from warm-hot intergalactic medium (WHIM) with particular focus on contribution from the resonantly scattered cosmic X-ray background (CXB). If the significant part of the CXB emission is resolved into point sources, the properties of the WHIM along the line of sight are recorded in the absorption lines in the stacked spectrum of resolved sources and in the emission lines in the remaining diffuse signal. For the strongest resonant lines, this implies a factor of $\sim30$ boost in emissivity compared to the intrinsic emissivity over the major part of the density-temperature parameter space region relevant for WHIM. The overall boost for the 0.5-1 keV band is $\sim4$, declining steeply at temperatures above $10^{6}$ K and over-densities $\delta\gtrsim100$. In addition to the emissivity boost, contribution of the resonant scattering changes relative intensities of the lines, so it should be taken into account when line-ratio-diagnostics from high resolution spectra or redshift determination from low resolution spectra are considered. Comparison between WHIM signatures in X-ray absorption and emission should allow differentiating truly diffuse gas of small overdensity from denser clumps having small filling factor by future X-ray missions.


title: Tunable colloidal photonic crystals

abstract: Spherical colloids arranged in a crystalline order are known to produce structural colors. The intensity and brilliance of such photonic crystals require high size-monodispersity of the colloids, a low number of lattice defects and disorder, as well as a relatively large refractive index contrast between the scattering colloids and the continuous background. Here we present the unexpected photonic properties of aqueous suspensions of charge-stabilized, 186 nm large, fluorinated colloids with a refractive index of 1.37. Employing reflectivity, optical observation, small angle x-ray scattering measurements and reflectivity modeling, we demonstrate that these suspensions become partially transparent while showing strong, almost angle-independent color in reflection despite the very small refractive index difference. Under certain conditions, additional sharp Bragg reflections are observed. We were able to tune the observed structural colors continuously across the entire visible range by simply changing the volume fraction of these colloidal suspensions, which show a white appearance when dilute, structural color and Bragg peaks when concentrated enough to form Wiegner crystal, and angle-independent color when very concentrated and in a glassy phase.


title: Study of $B_s\to\ell^+\ell^-\gamma$ decays in covariant quark model

abstract: We study the rare radiative leptonic decays $B_s\to\ell^+\ell^-\gamma$ ($\ell=e,\mu,\tau$) within the Standard Model, considering both the structure-dependent amplitude and bremsstrahlung. In the framework of the covariant confined quark model developed by us, we calculate the form factors characterizing the $B_s\to\gamma$ transition in the full kinematical region of the dilepton momentum squared and discuss their behavior. We provide the analytic formula for the differential decay distribution and give predictions for the branching fractions in both cases: with and without long-distance contributions. Finally, we compare our results with those obtained in other approaches.


title: Interior-Boundary Conditions for Schrodinger Operators on Codimension-1 Boundaries

abstract: Interior-boundary conditions (IBCs) are boundary conditions on wave functions for Schr\"odinger equations that allow that probability can flow into (and thus be lost at) a boundary of configuration space while getting added in another part of configuration space. IBCs are of particular interest because they allow defining Hamiltonians involving particle creation and annihilation (as used in quantum field theories) without the need for renormalization or ultraviolet cut-off. For those Hamiltonians, the relevant boundary has codimension 3. In this paper, we develop (what we conjecture is) the general form of IBCs for the Laplacian operator (or Schr\"odinger operators), but we focus on the simpler case of boundaries with codimension 1.


title: Many-electron effect to the dynamical polarization of silicene-like two-dimension Dirac materials

abstract: We discuss the dynamical polarization with finite momentum and frequency in the presence of many-electron effect, including the screened Coulomb interaction, self-energy and vertex correction. The longitudinal conductivity, screened Coulomb interaction, and the response function are calculated. The behavior of the Dirac Fermions, including the propagation of the charge density which exhibits the causality, affects largely the low-temperature physical properties of the Dirac semimetal, like the silicene. For the polarization-related quantities (like the dielectric function), the method of standard random phase approximation (RPA) provides the non-interaction results (ignore the many electron effect), for a more exact result, we discuss the self-energy and the vertex correction for the two-dimension Dirac model. We found that, after the self-energy correction, the longitudinal conductivity increase compared to the noninteracting one in optical limit. For the renormalization treatment, the ultraviolet cutoff is setted as $\Lambda=t$ in our calculations, i.e., within the range between two Van Hove singularities where the density of states divergent logarithmically. %The $\Lambda$ is indeed a non-universal parameter and can also be choiced larger than arbitary ${\bf q}$ or $\omega$. The (corrected) screened Coulomb interaction and the response function are also discussed. Our results are helpful to the application of the Dirac materials (or the Weyl semimetal) in spintronics or valleytronics.


title: Counting Connected Graphs without Overlapping Cycles

abstract: The simple connected graphs may be classified by their cycle composition (number and lengths of cycles). This work derives the counting series of the simple connected graphs that have cycles of unrestricted number and length, but no overlapping cycles. Cycle pairs of these graphs of interest must not have common nodes or edges. The recipe of counting these graphs is based on the counting series of the associated planted graphs, multisets of planted graphs, a recursive synthesis of enriched trees, and a generalized Otter's formula that maps the underlying rooted block graphs to the underlying block graphs.


title: Pseudorandom Generators for Read-Once Branching Programs, in any Order

abstract: A central question in derandomization is whether randomized logspace (RL) equals deterministic logspace (L). To show that RL=L, it suffices to construct explicit pseudorandom generators (PRGs) that fool polynomial-size read-once (oblivious) branching programs (roBPs). Starting with the work of Nisan, pseudorandom generators with seed-length $O(\log^2 n)$ were constructed. Unfortunately, improving on this seed-length in general has proven challenging and seems to require new ideas. A recent line of inquiry has suggested focusing on a particular limitation of the existing PRGs, which is that they only fool roBPs when the variables are read in a particular known order, such as $x_1<\cdots<x_n$. In comparison, existentially one can obtain logarithmic seed-length for fooling the set of polynomial-size roBPs that read the variables under any fixed unknown permutation $x_{\pi(1)}<\cdots<x_{\pi(n)}$. While recent works have established novel PRGs in this setting for subclasses of roBPs, there were no known $n^{o(1)}$ seed-length explicit PRGs for general polynomial-size roBPs in this setting. In this work, we follow the "bounded independence plus noise" paradigm of Haramaty, Lee and Viola, and give an improved analysis in the general roBP unknown-order setting. With this analysis we obtain an explicit PRG with seed-length $O(\log^3 n)$ for polynomial-size roBPs reading their bits in an unknown order. Plugging in a recent Fourier tail bound of Chattopadhyay, Hatami, Reingold, and Tal, we can obtain a $\widetilde{O}(\log^2 n)$ seed-length when the roBP is of constant width.


title: Gate-Controlled Magnetoresistance of a Paramagnetic Insulator|Platinum Interface

abstract: We report an electric field-induced in-plane magnetoresistance of an atomically flat paramagnetic insulator|platinum (Pt) interface at low temperatures with an ionic liquid gate. Transport experiments as a function of applied magnetic field strength and direction obey the spin Hall magnetoresistance phenomenology with perpendicular magnetic anisotropy. Our results establish the utility of ionic gating as an alternative method to control spintronic devices without using ferromagnets.


title: Neural Machine Translation of Text from Non-Native Speakers

abstract: Neural Machine Translation (NMT) systems are known to degrade when confronted with noisy data, especially when the system is trained only on clean data. In this paper, we show that augmenting training data with sentences containing artificially-introduced grammatical errors can make the system more robust to such errors. In combination with an automatic grammar error correction system, we can recover 1.5 BLEU out of 2.4 BLEU lost due to grammatical errors. We also present a set of Spanish translations of the JFLEG grammar error correction corpus, which allows for testing NMT robustness to real grammatical errors.


title: The defect recollement, the MacPherson-Vilonen construction, and pp formulas

abstract: For any abelian category $\mathcal{A}$, Auslander constructed a localisation $w:\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})\to \mathcal{A}$ called the defect, which is the left adjoint to the Yoneda embedding $Y:\mathcal{A}\to\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$. If $\mathcal{A}$ has enough projectives, then this localisation is part of a recollement called the defect recollement. We show that this recollement is an instance of the MacPherson-Vilonen construction if and only if $\mathcal{A}$ is hereditary. We also discuss several subcategories of $\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$ which arise as canonical features of the defect recollement, and characterise them by properties of their projective presentations and their orthogonality with other subcategories. We apply some parts of the defect recollement to the model theory of modules. Let $R$ be a ring and let $\phi/\psi$ be a pp-pair. When $R$ is an artin algebra, we show that there is a smallest pp formula $\rho$ such that $\psi\leqslant\rho\leqslant\phi$ which agrees with $\phi$ on injectives, and that there is a largest pp formula $\mu$ such that $\psi\leqslant \mu\leqslant \phi$ and $\psi R=\mu R$. When $R$ is left coherent, we show that there is a largest pp formula $\sigma$ such that $\psi\leqslant\sigma\leqslant \phi$ which agrees with $\psi$ on injectives, and that the pp-pair $\psi/\phi$ is isomorphic to a pp formula if and only if $\psi=\sigma$, and that there is a smallest pp formula $\nu$ such that $\psi\leqslant \nu\leqslant\phi$ and $\phi R=\nu R$. We also show that, for any pp-pair $\phi/\psi$, $w(\phi/\psi)\cong (D\psi)R/(D\phi)R$, where $D$ is the elementary duality of pp formulas. We also give an expression for $w(\phi/\psi)$ in terms of the free realisation of $\phi$ and $\psi$.


title: Spatially-resolved galaxy angular momentum

abstract: The total specific angular momentum j of a galaxy disk is matched with that of its dark matter halo, but the distributions are different, in that there is a lack of both low- and high-j baryons with respect to the CDM predictions. I illustrate how the probability density function PDF(j/j_mean) can inform us of a galaxy's morphology and evolutionary history with a spanning set of examples from present-day galaxies and a galaxy at z~1.5. The shape of PDF(j/j_mean) is correlated with photometric morphology, with disk-dominated galaxies having more symmetric PDF(j/j_mean) and bulge-dominated galaxies having a strongly-skewed PDF(j/j_mean). Galaxies with bigger bulges have more strongly-tailed PDF(j/j_mean), but disks of all sizes have a similar PDF(j/j_mean). In future, PDF(j/j_mean) will be useful as a kinematic decomposition tool.