title: A constructive approach to Schaeffer's conjecture

abstract: J.J. Schaeffer proved that for $any$ induced matrix norm and $any$ invertible $T=T(n)$ the inequality \[\left|\det T\right|\left\Vert T^{-1}\right\Vert \leq\mathcal{S}\left\Vert T\right\Vert ^{n-1}\] holds with $\mathcal{S}=\mathcal{S}(n)\leq\sqrt{en}$. He conjectured that the best $\mathcal{S}$ was actually bounded. This was rebutted by Gluskin-Meyer-Pajor and subsequent contributions by J. Bourgain and H. Queffelec that successively improved lower estimates on $\mathcal{S}$. These articles rely on a link to the theory of power sums of complex numbers. A probabilistic or number theoretic analysis of such inequalities is employed to prove the existence of $T$ with growing $\mathcal{S}$ but the explicit construction of such $T$ remains an open task. In this article we propose a constructive approach to Schaeffer's conjecture that is not related to power sum theory. As a consequence we present an explicit sequence of Toeplitz matrices with singleton spectrum $\{\lambda\}\subset\mathbb{D}-\{0\}$ such that $\mathcal{S}\geq c(\lambda)\sqrt{n}$. Our framework naturally extends to provide lower estimates on the resolvent $\left\Vert (\zeta-T)^{-1}\right\Vert$ when $\zeta\neq0$. We also obtain new upper estimates on the resolvent when the spectrum is given. This yields new upper bounds on $\left\Vert T^{-1}\right\Vert$ in terms of the eigenvalues of $T$ which slightly refine Schaeffer's original estimate.


title: Properties of the water to boron nitride interaction: from zero to two dimensions with benchmark accuracy

abstract: Molecular adsorption on surfaces plays an important part in catalysis, corrosion, desalination, and various other processes that are relevant to industry and in nature. As a complement to experiments, accurate adsorption energies can be obtained using various sophisticated electronic structure methods that can now be applied to periodic systems. The adsorption energy of water on boron nitride substrates, going from zero to 2-dimensional periodicity, is particularly interesting as it calls for an accurate treatment of polarizable electrostatics and dispersion interactions, as well as posing a practical challenge to experiments and electronic structure methods. Here, we present reference adsorption energies, static polarizabilities, and dynamic polarizabilities, for water on BN substrates of varying size and dimension. Adsorption energies are computed with coupled cluster theory, fixed-node quantum Monte Carlo (FNQMC), the random phase approximation (RPA), and second order M{\o}ller-Plesset (MP2) theory. These explicitly correlated methods are found to agree in molecular as well as periodic systems. The best estimate of the water/h-BN adsorption energy is $-107\pm7$ meV from FNQMC. In addition, the water adsorption energy on the BN substrates could be expected to grow monotonically with the size of the substrate due to increased dispersion interactions but interestingly, this is not the case here. This peculiar finding is explained using the static polarizabilities and molecular dispersion coefficients of the systems, as computed from time-dependent density functional theory (DFT). Dynamic as well as static polarizabilities are found to be highly anisotropic in these systems. In addition, the many-body dispersion method in DFT emerges as a particularly useful estimation of finite size effects for other expensive, many-body wavefunction based methods.


title: Truthful Allocation Mechanisms Without Payments: Characterization and Implications on Fairness

abstract: We study the mechanism design problem of allocating a set of indivisible items without monetary transfers. Despite the vast literature on this very standard model, it still remains unclear how do truthful mechanisms look like. We focus on the case of two players with additive valuation functions and our purpose is twofold. First, our main result provides a complete characterization of truthful mechanisms that allocate all the items to the players. Our characterization reveals an interesting structure underlying all truthful mechanisms, showing that they can be decomposed into two components: a selection part where players pick their best subset among prespecified choices determined by the mechanism, and an exchange part where players are offered the chance to exchange certain subsets if it is favorable to do so. In the remaining paper, we apply our main result and derive several consequences on the design of mechanisms with fairness guarantees. We consider various notions of fairness, (indicatively, maximin share guarantees and envy-freeness up to one item) and provide tight bounds for their approximability. Our work settles some of the open problems in this agenda, and we conclude by discussing possible extensions to more players.


title: Ab-initio multi-scale simulation of high-harmonic generation in solids

abstract: High-harmonic generation by a highly non-linear interaction of infrared laser fields with matter allows for the generation of attosecond pulses in the XUV spectral regime. This process, well established for atoms, has been recently extended to the condensed phase. Remarkably well pronounced harmonics up to order ~30 have been observed for dielectrics. We present the first ab-initio multi-scale simulation of solid-state high-harmonic generation. We find that mesoscopic effects of the extended system, in particular the realistic sampling of the entire Brillouin zone, the pulse propagation in the dense medium, and the inhomogeneous illumination of the crystal have a strong effect on the formation of clean harmonic spectra. Our results provide a novel explanation for the formation of clean harmonics and have implications for a wide range of non-linear optical processes in dense media.


title: Towards an ASM thesis for reflective sequential algorithms

abstract: Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched with reflection. That is, we present a set of postulates which we conjecture capture the fundamental properties of reflective sequential algorithms (RSAs). Then we look at the plausibility of an ASM thesis for the class of RSAs, defining a model of abstract state machine (which we call reflective ASM) that we conjecture captures the class of RSAs as defined by our postulates.


title: Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs

abstract: Connectivity related concepts are of fundamental interest in graph theory. The area has received extensive attention over four decades, but many problems remain unsolved, especially for directed graphs. A directed graph is 2-edge-connected (resp., 2-vertex-connected) if the removal of any edge (resp., vertex) leaves the graph strongly connected. In this paper we present improved algorithms for computing the maximal 2-edge- and 2-vertex-connected subgraphs of a given directed graph. These problems were first studied more than 35 years ago, with $\widetilde{O}(mn)$ time algorithms for graphs with m edges and n vertices being known since the late 1980s. In contrast, the same problems for undirected graphs are known to be solvable in linear time. Henzinger et al. [ICALP 2015] recently introduced $O(n^2)$ time algorithms for the directed case, thus improving the running times for dense graphs. Our new algorithms run in time $O(m^{3/2})$, which further improves the running times for sparse graphs. The notion of 2-connectivity naturally generalizes to k-connectivity for $k>2$. For constant values of k, we extend one of our algorithms to compute the maximal k-edge-connected in time $O(m^{3/2} \log{n})$, improving again for sparse graphs the best known algorithm by Henzinger et al. [ICALP 2015] that runs in $O(n^2 \log n)$ time.


title: A Local Energy Identity for Parabolic Equations with Divergence-Free Drift

abstract: We prove a local energy identity for a class of distributional solutions, in $L_{2,\infty} \cap W^{1,0}_2$, of parabolic equations with divergence-free drift.


title: Finding counterparts for All-sky X-ray surveys with Nway: a Bayesian algorithm for cross-matching multiple catalogues

abstract: We release the AllWISE counterparts and Gaia matches to 106,573 and 17,665 X-ray sources detected in the ROSAT 2RXS and XMMSL2 surveys with |b|>15. These are the brightest X-ray sources in the sky, but their position uncertainties and the sparse multi-wavelength coverage until now rendered the identification of their counterparts a demanding task with uncertain results. New all-sky multi-wavelength surveys of sufficient depth, like AllWISE and Gaia, and a new Bayesian statistics based algorithm, NWAY, allow us, for the first time, to provide reliable counterpart associations. NWAY extends previous distance and sky density based association methods and, using one or more priors (e.g., colors, magnitudes), weights the probability that sources from two or more catalogues are simultaneously associated on the basis of their observable characteristics. Here, counterparts have been determined using a WISE color-magnitude prior. A reference sample of 4524 XMM/Chandra and Swift X-ray sources demonstrates a reliability of ~ 94.7% (2RXS) and 97.4% (XMMSL2). Combining our results with Chandra-COSMOS data, we propose a new separation between stars and AGN in the X-ray/WISE flux-magnitude plane, valid over six orders of magnitude. We also release the NWAY code and its user manual. NWAY was extensively tested with XMM-COSMOS data. Using two different sets of priors, we find an agreement of 96% and 99% with published Likelihood Ratio methods. Our results were achieved faster and without any follow-up visual inspection. With the advent of deep and wide area surveys in X-rays (e.g. SRG/eROSITA, Athena/WFI) and radio (ASKAP/EMU, LOFAR, APERTIF, etc.) NWAY will provide a powerful and reliable counterpart identification tool.


title: Free-form modelling of galaxy clusters: a Bayesian and data-driven approach

abstract: A new method is presented for modelling the physical properties of galaxy clusters. Our technique moves away from the traditional approach of assuming specific parameterised functional forms for the variation of physical quantities within the cluster, and instead allows for a 'free-form' reconstruction, but one for which the level of complexity is determined automatically by the observational data and may depend on position within the cluster. This is achieved by representing each independent cluster property as some interpolating or approximating function that is specified by a set of control points, or 'nodes', for which the number of nodes, together with their positions and amplitudes, are allowed to vary and are inferred in a Bayesian manner from the data. We illustrate our nodal approach in the case of a spherical cluster by modelling the electron pressure profile Pe(r) in analyses both of simulated Sunyaev-Zel'dovich (SZ) data from the Arcminute MicroKelvin Imager (AMI) and of real AMI observations of the cluster MACS J0744+3927 in the CLASH sample. We demonstrate that one may indeed determine the complexity supported by the data in the reconstructed Pe(r), and that one may constrain two very important quantities in such an analysis: the cluster total volume integrated Comptonisation parameter (Ytot) and the extent of the gas distribution in the cluster (rmax). The approach is also well-suited to detecting clusters in blind SZ surveys.


title: Bloch's conjecture on surfaces of general type with an involution

abstract: In this short note we prove that the Bloch's conjecture holds for a surface of general type of numerical Godeaux type or some class of numerical Campedelli type, with geometric genus zero equipped with an involution, when the quotient of the surface by the involution is a rational surface.


title: A Vector Field Method for Radiating Black Hole Spacetimes

abstract: We develop a commuting vector field method for a general class of radiating spacetimes. The metrics considered are certain long range perturbations of Minkowski space including those constructed from global stability problems in general relativity. Our method provides sharp peeling estimates for solutions to both linear and nonlinear (null form) scalar fields.


title: Multi-View Task-Driven Recognition in Visual Sensor Networks

abstract: Nowadays, distributed smart cameras are deployed for a wide set of tasks in several application scenarios, ranging from object recognition, image retrieval, and forensic applications. Due to limited bandwidth in distributed systems, efficient coding of local visual features has in fact been an active topic of research. In this paper, we propose a novel approach to obtain a compact representation of high-dimensional visual data using sensor fusion techniques. We convert the problem of visual analysis in resource-limited scenarios to a multi-view representation learning, and we show that the key to finding properly compressed representation is to exploit the position of cameras with respect to each other as a norm-based regularization in the particular signal representation of sparse coding. Learning the representation of each camera is viewed as an individual task and a multi-task learning with joint sparsity for all nodes is employed. The proposed representation learning scheme is referred to as the multi-view task-driven learning for visual sensor network (MT-VSN). We demonstrate that MT-VSN outperforms state-of-the-art in various surveillance recognition tasks.


title: Addressing Ambiguity in Multi-target Tracking by Hierarchical Strategy

abstract: This paper presents a novel hierarchical approach for the simultaneous tracking of multiple targets in a video. We use a network flow approach to link detections in low-level and tracklets in high-level. At each step of the hierarchy, the confidence of candidates is measured by using a new scoring system, ConfRank, that considers the quality and the quantity of its neighborhood. The output of the first stage is a collection of safe tracklets and unlinked high-confidence detections. For each individual detection, we determine if it belongs to an existing or is a new tracklet. We show the effect of our framework to recover missed detections and reduce switch identity. The proposed tracker is referred to as TVOD for multi-target tracking using the visual tracker and generic object detector. We achieve competitive results with lower identity switches on several datasets comparing to state-of-the-art.


title: A method for constructing parity-check matrices of non-binary quasi-cyclic LDPC codes

abstract: An algorithm for constructing parity-check matrices of non-binary quasi-cyclic low-density parity-check (NB QC-LDPC) codes is proposed. The algorithm finds short cycles in the base matrix and tries to eliminate them by selecting the circulants and the elements of GF(q). Firstly the algorithm tries to eliminate the cycles with the smallest number edges going outside the cycle. The efficiency of the algorithm is demonstrated by means of simulations. In particular, it was shown that NB QC-LDPC codes constructed with use of our algorithm loose less that 0.1 dB in comparison to the best NB LDPC codes.


title: Hilbert series for twisted commutative algebras

abstract: Suppose that for each n >= 0 we have a representation $M_n$ of the symmetric group S_n. Such sequences arise in a wide variety of contexts, and often exhibit uniformity in some way. We prove a number of general results along these lines in this paper: our prototypical theorem states that if $M_n$ can be given a suitable module structure over a twisted commutative algebra then the sequence $M_n$ follows a predictable pattern. We phrase these results precisely in the language of Hilbert series (or Poincar\'e series, or formal characters) of modules over tca's.


title: Lagrangian perturbation theory for modified gravity

abstract: We present a formalism to compute Lagrangian displacement fields for a wide range of cosmologies in the context of perturbation theory up to third order. We emphasize the case of theories with scale dependent gravitational strengths, such as chameleons, but our formalism can be accommodated to other modified gravity theories. In the non-linear regime two qualitative features arise. One, as is well known, is that nonlinearities lead to a screening of the force mediated by the scalar field. The second is a consequence of the transformation of the Klein-Gordon equation from Eulerian to Lagrangian coordinates, producing frame-lagging terms that are important especially at large scales, and if not considered, the theory does not reduce to the $\Lambda$CDM model in that limit. We apply our formalism to compute the 1-loop power spectrum and the correlation function in $f(R)$ gravity by using different resummation schemes. We further discuss the IR divergences of these formalisms.


title: Low Impact Artificial Intelligences

abstract: There are many goals for an AI that could become dangerous if the AI becomes superintelligent or otherwise powerful. Much work on the AI control problem has been focused on constructing AI goals that are safe even for such AIs. This paper looks at an alternative approach: defining a general concept of `low impact'. The aim is to ensure that a powerful AI which implements low impact will not modify the world extensively, even if it is given a simple or dangerous goal. The paper proposes various ways of defining and grounding low impact, and discusses methods for ensuring that the AI can still be allowed to have a (desired) impact despite the restriction. The end of the paper addresses known issues with this approach and avenues for future research.


title: High-pressure structural, elastic, and thermodynamic properties of zircon-type HoPO4 and TmPO4

abstract: Zircon-type HoPO4 and TmPO4 have been studied by single-crystal x-ray diffraction and ab initio calculations. We report information on the influence of pressure on the crystal structure, and on the elastic and thermodynamic properties. The equation of state for both compounds is accurately determined. We have also obtained information on the polyhedral compressibility which is used to explain the anisotropic axial compressibility and the bulk compressibility. Both compounds are ductile and more resistive to volume compression than to shear deformation at all pressures. Furthermore, the elastic anisotropy is enhanced upon compression. Finally, the calculations indicate that the possible causes that make unstable the zircon structure are mechanical instabilities and the softening of a silent B1u mode.


title: Real-Time Observation of Exciton-Phonon Coupling Dynamics in Self-Assembled Hybrid Perovskite Quantum Wells

abstract: Self-assembled hybrid perovskite quantum wells have attracted attention due to their tunable emission properties, ease of fabrication and device integration. However, the dynamics of excitons in these materials, especially how they couple to phonons remains an open question. Here, we investigate two widely used materials, namely butylammonium lead iodide $(CH_3(CH_2)3NH_3)2PbI_4$ and hexylammonium lead iodide $(CH_3(CH_2)5NH_3)2PbI_4$, both of which exhibit broad photoluminescence tails at room temperature. We performed femtosecond vibrational spectroscopy to obtain a real-time picture of the exciton phonon interaction and directly identified the vibrational modes that couple to excitons. We show that the choice of the organic cation controls which vibrational modes the exciton couples to. In butylammonium lead iodide, excitons dominantly couple to a 100 cm-1 phonon mode, whereas in hexylammonium lead iodide, excitons interact with phonons with frequencies of 88 cm-1 and 137 cm-1. Using the determined optical phonon energies, we analyzed PL broadening mechanisms. At low temperatures (<100 K), the broadening is due to acoustic phonon scattering, whereas at high temperatures, LO phonon-exciton coupling is the dominant mechanism. Our results help explain the broad photoluminescence lineshapes observed in hybrid perovskite quantum wells and provide insights into the mechanism of exciton-phonon coupling in these materials.


title: Fast Regression with an $\ell_\infty$ Guarantee

abstract: Sketching has emerged as a powerful technique for speeding up problems in numerical linear algebra, such as regression. In the overconstrained regression problem, one is given an $n \times d$ matrix $A$, with $n \gg d$, as well as an $n \times 1$ vector $b$, and one wants to find a vector $\hat{x}$ so as to minimize the residual error $\|Ax-b\|_2$. Using the sketch and solve paradigm, one first computes $S \cdot A$ and $S \cdot b$ for a randomly chosen matrix $S$, then outputs $x' = (SA)^{\dagger} Sb$ so as to minimize $\|SAx' - Sb\|_2$. The sketch-and-solve paradigm gives a bound on $\|x'-x^*\|_2$ when $A$ is well-conditioned. Our main result is that, when $S$ is the subsampled randomized Fourier/Hadamard transform, the error $x' - x^*$ behaves as if it lies in a "random" direction within this bound: for any fixed direction $a\in \mathbb{R}^d$, we have with $1 - d^{-c}$ probability that \[ \langle a, x'-x^*\rangle \lesssim \frac{\|a\|_2\|x'-x^*\|_2}{d^{\frac{1}{2}-\gamma}}, \quad (1) \] where $c, \gamma > 0$ are arbitrary constants. This implies $\|x'-x^*\|_{\infty}$ is a factor $d^{\frac{1}{2}-\gamma}$ smaller than $\|x'-x^*\|_2$. It also gives a better bound on the generalization of $x'$ to new examples: if rows of $A$ correspond to examples and columns to features, then our result gives a better bound for the error introduced by sketch-and-solve when classifying fresh examples. We show that not all oblivious subspace embeddings $S$ satisfy these properties. In particular, we give counterexamples showing that matrices based on Count-Sketch or leverage score sampling do not satisfy these properties. We also provide lower bounds, both on how small $\|x'-x^*\|_2$ can be, and for our new guarantee (1), showing that the subsampled randomized Fourier/Hadamard transform is nearly optimal.


title: K-shell photoabsorption and photoionization of trace elements. II. Isoelectronic sequences with electron number $12\leq N \leq 18$

abstract: We are concerned with improving the diagnostic potential of the K lines and edges of elements with low cosmic abundances that are observed in the X-ray spectra of supernova remnants, galaxy clusters and accreting black holes and neutron stars. Since accurate photoabsorption and photoionization cross sections are needed in their spectral models, they have been computed for isoelectronic sequences with electron number $12\leq N\leq 18$ using a multi-channel method. Target representations are obtained with the atomic structure code AUTOSTRUCTURE, and ground-state cross sections are computed with the Breit--Pauli $R$-matrix method (BPRM) in intermediate coupling, including damping (radiative and Auger) effects. The contributions from channels associated with the 2s-hole $[2{\rm s}]\mu$ target configurations and those containing 3d orbitals are studied in the Mg and Ar isoelectronic sequences. Cross sections for the latter ions are also calculated in the isolated-resonance approximation as implemented in AUTOSTRUCTURE and compared with BPRM to test their accuracy. It is confirmed that the collisional channels associated with the $[2{\rm s}]\mu$ target configurations must be taken into account owing to significant increases in the monotonic background cross section between the L and K edges. Target configurations with 3d orbitals give rise to fairly conspicuous unresolved transition arrays in the L-edge region, but to a much lesser extent in the K-edge which is our main concern; therefore, they have been neglected throughout owing to their computationally intractable channel inventory, thus allowing the computation of cross sections for all the ions with $12\leq N\leq 18$ in intermediate coupling with BPRM. We find that the isolated-resonance approximations performs satisfactorily.


title: Iterates of $M_1$

abstract: Assume $\boldsymbol{\Delta}^1_{2}$-determinacy. Let $L_{\kappa_3}[T_2]$ be the admissible closure of the Martin-Solovay tree and let $M_{1,\infty}$ be the direct limit of $M_1$ via countable trees. We show that $L_{\kappa_3}[T_2] \cap V_{u_{\omega}} = M_{1,\infty} | u_{\omega}$.


title: Strength Factors: An Uncertainty System for a Quantified Modal Logic

abstract: We present a new system S for handling uncertainty in a quantified modal logic (first-order modal logic). The system is based on both probability theory and proof theory. The system is derived from Chisholm's epistemology. We concretize Chisholm's system by grounding his undefined and primitive (i.e. foundational) concept of reasonablenes in probability and proof theory. S can be useful in systems that have to interact with humans and provide justifications for their uncertainty. As a demonstration of the system, we apply the system to provide a solution to the lottery paradox. Another advantage of the system is that it can be used to provide uncertainty values for counterfactual statements. Counterfactuals are statements that an agent knows for sure are false. Among other cases, counterfactuals are useful when systems have to explain their actions to users. Uncertainties for counterfactuals fall out naturally from our system. Efficient reasoning in just simple first-order logic is a hard problem. Resolution-based first-order reasoning systems have made significant progress over the last several decades in building systems that have solved non-trivial tasks (even unsolved conjectures in mathematics). We present a sketch of a novel algorithm for reasoning that extends first-order resolution. Finally, while there have been many systems of uncertainty for propositional logics, first-order logics and propositional modal logics, there has been very little work in building systems of uncertainty for first-order modal logics. The work described below is in progress; and once finished will address this lack.


title: A geometric approach to counting norms in cyclic extensions of function fields

abstract: In this paper we prove an explicit version of a function field analogue of a classical result of Odoni about norms in number fields in the case of a cyclic Galois extensions. In the particular case of a quadratic extension, we recover the result of Bary-Soroker, Smilanski, and Wolf which deals with finding asymptotics for a function field version on sums of two squares, improved upon by Gorodetsky , and reproved by the author in his Ph.D thesis using the method of this paper. The main tool is a twisted Grothendieck Lefschetz trace formula, inspired by the work of Church, Farb and Ellenberg on representation stability and asymptotic for point counts on varieties. Using a combinatorial description of the cohomology we obtain a precise quantitative result which works in the $q^n\rightarrow \infty$ regime, and a new type of homological stability phenomena, which arises from the computation of certain inner products of representations.


title: Cost-optimal caching for D2D networks with user mobility: Modeling, analysis, and computational approaches

abstract: Caching popular files at user equipments (UEs) provides an effective way to alleviate the burden of the backhaul networks. Generally, popularity-based caching is not a system-wide optimal strategy, especially for user mobility scenarios. Motivated by this observation, we consider optimal caching with presence of mobility. A cost-optimal caching problem (COCP) for device-to-device (D2D) networks is modelled, in which the impact of user mobility, cache size, and total number of encoded segments are all accounted for. Compared with the related studies, our investigation guarantees that the collected segments are non-overlapping, takes into account the cost of downloading from the network, and provides a rigorous problem complexity analysis. The hardness of the problem is proved via a reduction from the satisfiability problem. Next, a lower-bounding function of the objective function is derived. By the function, an approximation of COCP (ACOCP) achieving linearization is obtained, which features two advantages. First, the ACOCP approach can use an off-the-shelf integer linear programming algorithm to obtain the global optimal solution, and it can effectively deliver solutions for small-scale and mediumscale system scenarios. Second, and more importantly, based on the ACOCP approach, one can derive the lower bound of global optimum of COCP, thus enabling performance benchmarking of any suboptimal algorithm. To tackle large scenarios with low complexity, we first prove that the optimal caching placement of one user, giving other users' caching placements, can be derived in polynomial time. Then, based on this proof, a mobility aware user-by-user (MAUU) algorithm is developed. Simulation results verify the effectivenesses of the two approaches by comparing them to the lower bound of global optimum and conventional caching algorithms.


title: Probing Lepton Flavour Universality with $K \to \pi \nu \bar\nu$ decays

abstract: We analyse the rare processes $K \to \pi\nu\bar\nu$ in view of the recent hints of violations of Lepton Flavour Universality (LFU) observed in B meson decays. If, as suggested by present data, the new interactions responsible for LFU violations couple mainly to the third generation of left-handed fermions, $K \to \pi\nu\bar\nu$ decays turn out to be particularly interesting: these are the only kaon decays with third-generation leptons (the $\tau$ neutrinos) in the final state. In order to relate B-physics anomalies and K decays we adopt an Effective Field Theory approach, assuming that the new interactions satisfy an approximate $U(2)_q\times U(2)_\ell$ flavour symmetry. In this framework we show that O(1) deviations from the Standard Model predictions in $K \to \pi\nu\bar\nu$ branching ratios, closely correlated to similar effects in $B \to K^{(*)}\nu\bar\nu$, are naturally expected. The correlation of $\mathcal{B}(K \to \pi\nu\bar\nu)$, $\mathcal{B}(B \to K^{(*)}\nu\bar\nu)$, and the LFU violations in B decays would provide a very valuable tool to shed more light on this interesting phenomenon.


title: Direct comparison of global fits to the B ->$ K^* $$\mu^+\mu^-$ data assuming hadronic corrections or new physics

abstract: The LHCb measurements on the B ->$ K^*$$\mu^+ \mu^-$ angular observables have shown slight deviations from their Standard Model predictions. The significance of the deviations in the B -> $K^*$$\mu^+ \mu^-$ decay depends on the assumptions on the size of the non-factorisable power corrections. At present, there are no theoretical predictions on the size of these power corrections in order to identify whether the reason behind these anomalies is due to unknown hadronic corrections or New Physics effects. We have performed a statistical comparison of fitting the data to each of the possible explanations.


title: Gelfand-Tsetlin modules over $\mathfrak{gl}(n,\mathbb C)$ with arbitrary characters

abstract: A Gelfand-Tsetlin tableau $T(v)$ induces a character $\chi_v$ of the Gelfand-Tsetlin subalgebra $\Gamma$ of $U = U(\mathfrak{gl}(n,\mathbb C))$. By a theorem due to Ovsienko, for each tableau $T(v)$ there exists a finite number of nonisomorphic irreducible Gelfand-Tsetlin modules with $\chi_v$ in its support, though explicit examples of such modules are only known for special families of characters. In this article we build a family of Gelfand-Tsetlin modules parametrized by characters, such that each character appears in its corresponding module. We also find the support of these modules, with multiplicities.


title: Deep manifold-to-manifold transforming network for action recognition

abstract: Symmetric positive definite (SPD) matrices (e.g., covariances, graph Laplacians, etc.) are widely used to model the relationship of spatial or temporal domain. Nevertheless, SPD matrices are theoretically embedded on Riemannian manifolds. In this paper, we propose an end-to-end deep manifold-to-manifold transforming network (DMT-Net) which can make SPD matrices flow from one Riemannian manifold to another more discriminative one. To learn discriminative SPD features characterizing both spatial and temporal dependencies, we specifically develop three novel layers on manifolds: (i) the local SPD convolutional layer, (ii) the non-linear SPD activation layer, and (iii) the Riemannian-preserved recursive layer. The SPD property is preserved through all layers without any requirement of singular value decomposition (SVD), which is often used in the existing methods with expensive computation cost. Furthermore, a diagonalizing SPD layer is designed to efficiently calculate the final metric for the classification task. To evaluate our proposed method, we conduct extensive experiments on the task of action recognition, where input signals are popularly modeled as SPD matrices. The experimental results demonstrate that our DMT-Net is much more competitive over state-of-the-art.


title: Recursive Jigsaw Reconstruction: HEP event analysis in the presence of kinematic and combinatoric ambiguities

abstract: We introduce $Recursive~Jigsaw~Reconstruction$, a technique for analyzing reconstructed particle interactions in the presence of kinematic and combinatoric unknowns associated with unmeasured and indistinguishable particles, respectively. By factorizing missing information according to decays and rest frames of intermediate particles, an interchangeable and configurable set of $Jigsaw~Rules$, algorithms for resolving these unknowns, are applied to approximately reconstruct decays with arbitrarily many particles, in their entirety. That the Recursive Jigsaw Reconstruction approach can be used to analyze $any$ event topology of interest, with any number of ambiguities, is demonstrated through a twelve different simulated LHC physics examples. These include the production and decay of $W$, $Z$, Higgs bosons, and supersymmetric particles including gluinos, stop quarks, charginos, and neutralinos.


title: Zeeman interaction and Jahn-Teller effect in $\Gamma_8$ multiplet

abstract: We present a thorough analysis of the interplay of magnetic moment and the Jahn-Teller effect in the $\Gamma_8$ cubic multiplet. We find that in the presence of dynamical Jahn-Teller effect, the Zeeman interaction remains isotropic, whereas the $g$ and $G$ factors can change their signs. The static Jahn-Teller distortion also can change the sign of these $g$ factors as well as the nature of the magnetic anisotropy. Combining the theory with state-of-the-art {\it ab initio} calculations, we analyzed the magnetic properties of Np$^{4+}$ and Ir$^{4+}$ impurity ions in cubic environment. The calculated $g$ factors of Np$^{4+}$ impurity agree well with experimental data. The {\it ab initio} calculation predicts strong Jahn-Teller effect in Ir$^{4+}$ ion in cubic environment and the strong vibronic reduction of $g$ and $G$ factors.


title: The two-to-infinity norm and singular subspace geometry with applications to high-dimensional statistics

abstract: The singular value matrix decomposition plays a ubiquitous role throughout statistics and related fields. Myriad applications including clustering, classification, and dimensionality reduction involve studying and exploiting the geometric structure of singular values and singular vectors. This paper provides a novel collection of technical and theoretical tools for studying the geometry of singular subspaces using the two-to-infinity norm. Motivated by preliminary deterministic Procrustes analysis, we consider a general matrix perturbation setting in which we derive a new Procrustean matrix decomposition. Together with flexible machinery developed for the two-to-infinity norm, this allows us to conduct a refined analysis of the induced perturbation geometry with respect to the underlying singular vectors even in the presence of singular value multiplicity. Our analysis yields singular vector entrywise perturbation bounds for a range of popular matrix noise models, each of which has a meaningful associated statistical inference task. In addition, we demonstrate how the two-to-infinity norm is the preferred norm in certain statistical settings. Specific applications discussed in this paper include covariance estimation, singular subspace recovery, and multiple graph inference. Both our Procrustean matrix decomposition and the technical machinery developed for the two-to-infinity norm may be of independent interest.


title: Handlebody phases and the polyhedrality of the holographic entropy cone

abstract: The notion of a holographic entropy cone has recently been introduced and it has been proven that this cone is polyhedral. However, the original definition was fully geometric and did not strictly require a holographic duality. We introduce a new definition of the cone, insisting that the geometries used for its construction should be dual to states of a CFT. As a result, the polyhedrality of this holographic cone does not immediately follow. A numerical evaluation of the Euclidean action for the geometries that realize extremal rays of the original cone indicates that these are subdominant bulk phases of natural path integrals. The result challenges the expectation that such geometries are in fact dual to CFT states.


title: Dipolar spin ice states with fast monopole hopping rate in CdEr$_2$X$_4$ (X = Se, S)

abstract: Excitations in a spin ice behave as magnetic monopoles, and their population and mobility control the dynamics of a spin ice at low temperature. CdEr$_2$Se$_4$ is reported to have the Pauling entropy characteristic of a spin ice, but its dynamics are three-orders of magnitude faster than the canonical spin ice Dy$_2$Ti$_2$O$_7$. In this letter we use diffuse neutron scattering to show that both CdEr$_2$Se$_4$ and CdEr$_2$S$_4$ support a dipolar spin ice state -- the host phase for a Coulomb gas of emergent magnetic monopoles. These Coulomb gases have similar parameters to that in Dy$_2$Ti$_2$O$_7$, i.e. dilute and uncorrelated, so cannot provide three-orders faster dynamics through a larger monopole population alone. We investigate the monopole dynamics using ac susceptometry and neutron spin echo spectroscopy, and verify the crystal electric field Hamiltonian of the Er$^{3+}$ ions using inelastic neutron scattering. A quantitative calculation of the monopole hopping rate using our Coulomb gas and crystal electric field parameters shows that the fast dynamics in CdEr$_2$X$_4$ (X = Se, S) are primarily due to much faster monopole hopping. Our work suggests that CdEr$_2$X$_4$ offer the possibility to study alternative spin ice ground states and dynamics, with equilibration possible at much lower temperatures than the rare earth pyrochlore examples.


title: Approximation of LRU Caches Miss Rate: Application to Power-law Popularities

abstract: Building on the 1977 pioneering work of R. Fagin, we give a closed-form expression for the approximated Miss Rate (MR) of LRU Caches assuming a power-law popularity. Asymptotic behavior of this expression is an already known result when power-law parameter is above 1. It is extended to any value of the parameter. In addition, we bring a new analysis of the conditions (cache relative size, popularity parameter) under which the ratio of LRU MR to Static MR is worst-case.


title: Efficient Decentralized Visual Place Recognition From Full-Image Descriptors

abstract: In this paper, we discuss the adaptation of our decentralized place recognition method described in [1] to full image descriptors. As we had shown, the key to making a scalable decentralized visual place recognition lies in exploting deterministic key assignment in a distributed key-value map. Through this, it is possible to reduce bandwidth by up to a factor of n, the robot count, by casting visual place recognition to a key-value lookup problem. In [1], we exploited this for the bag-of-words method [3], [4]. Our method of casting bag-of-words, however, results in a complex decentralized system, which has inherently worse recall than its centralized counterpart. In this paper, we instead start from the recent full-image description method NetVLAD [5]. As we show, casting this to a key-value lookup problem can be achieved with k-means clustering, and results in a much simpler system than [1]. The resulting system still has some flaws, albeit of a completely different nature: it suffers when the environment seen during deployment lies in a different distribution in feature space than the environment seen during training.


title: Pseudo-split fibres and arithmetic surjectivity

abstract: Let $f: X \to Y$ be a dominant morphism of smooth, proper and geometrically integral varieties over a number field $k$, with geometrically integral generic fibre. We give a necessary and sufficient geometric criterion for the induced map $X(k_v) \to Y(k_v)$ to be surjective for almost all places $v$ of $k$. This generalizes a result of Denef which had previously been conjectured by Colliot-Th\'el\`ene, and can be seen as an optimal geometric version of the celebrated Ax-Kochen theorem.


title: Concentration of ground states in stationary Mean-Field Games systems

abstract: In this paper we provide the existence of classical solutions to stationary mean field game systems in the whole space $\mathbb{R}^N$, with coercive potential and aggregating local coupling, under general conditions on the Hamiltonian. The only structural assumption we make is on the growth at infinity of the coupling term in terms of the growth of the Hamiltonian. This result is obtained using a variational approach based on the analysis of the non-convex energy associated to the system. Finally, we show that in the vanishing viscosity limit mass concentrates around the flattest minima of the potential. We also describe the asymptotic shape of the rescaled solutions in the vanishing viscosity limit, in particular proving the existence of ground states, i.e. classical solutions to mean field game systems in the whole space without potential, and with aggregating coupling.


title: Generating Steganographic Text with LSTMs

abstract: Motivated by concerns for user privacy, we design a steganographic system ("stegosystem") that enables two users to exchange encrypted messages without an adversary detecting that such an exchange is taking place. We propose a new linguistic stegosystem based on a Long Short-Term Memory (LSTM) neural network. We demonstrate our approach on the Twitter and Enron email datasets and show that it yields high-quality steganographic text while significantly improving capacity (encrypted bits per word) relative to the state-of-the-art.


title: The Cramer Distance as a Solution to Biased Wasserstein Gradients

abstract: The Wasserstein probability metric has received much attention from the machine learning community. Unlike the Kullback-Leibler divergence, which strictly measures change in probability, the Wasserstein metric reflects the underlying geometry between outcomes. The value of being sensitive to this geometry has been demonstrated, among others, in ordinal regression and generative modelling. In this paper we describe three natural properties of probability divergences that reflect requirements from machine learning: sum invariance, scale sensitivity, and unbiased sample gradients. The Wasserstein metric possesses the first two properties but, unlike the Kullback-Leibler divergence, does not possess the third. We provide empirical evidence suggesting that this is a serious issue in practice. Leveraging insights from probabilistic forecasting we propose an alternative to the Wasserstein metric, the Cram\'er distance. We show that the Cram\'er distance possesses all three desired properties, combining the best of the Wasserstein and Kullback-Leibler divergences. To illustrate the relevance of the Cram\'er distance in practice we design a new algorithm, the Cram\'er Generative Adversarial Network (GAN), and show that it performs significantly better than the related Wasserstein GAN.


title: Knowledge Base Completion: Baselines Strike Back

abstract: Many papers have been published on the knowledge base completion task in the past few years. Most of these introduce novel architectures for relation learning that are evaluated on standard datasets such as FB15k and WN18. This paper shows that the accuracy of almost all models published on the FB15k can be outperformed by an appropriately tuned baseline - our reimplementation of the DistMult model. Our findings cast doubt on the claim that the performance improvements of recent models are due to architectural changes as opposed to hyper-parameter tuning or different training objectives. This should prompt future research to re-consider how the performance of models is evaluated and reported.


title: A theoretical guarantee for data completion via geometric separation

abstract: Scientific and commercial data is often incomplete. Recovery of the missing information is an important pre-processing step in data analysis. Real-world data can in many cases be represented as a superposition of two or more different types of structures. For example, images may often be decomposed into texture and cartoon-like components. When incomplete data comes from a distribution well-represented as a mixture of different structures, a sparsity-based method combining concepts from data completion and data separation can successfully recover the missing data. This short note presents a theoretical guarantee for success of the combined separation and completion approach which generalizes proofs from the distinct problems.


title: Understanding solar cycle variability

abstract: The level of solar magnetic activity, as exemplified by the number of sunspots and by energetic events in the corona, varies on a wide range of time scales. Most prominent is the 11-year solar cycle, which is significantly modulated on longer time scales. Drawing from dynamo theory together with empirical results of past solar activity and of similar phenomena on solar-like stars, we show that the variability of the solar cycle can be essentially understood in terms of a weakly nonlinear limit cycle affected by random noise. In contrast to ad-hoc `toy models' for the solar cycle, this leads to a generic normal-form model, whose parameters are all constrained by observations. The model reproduces the characteristics of the variable solar activity on time scales between decades and millennia, including the occurrence and statistics of extended periods of very low activity (grand minima). Comparison with results obtained with a Babcock-Leighton-type dynamo model confirms the validity of the normal-mode approach.


title: Lighting Two Candles With One Flame: An Unaided Human Identification Protocol With Security Beyond Conventional Limit

abstract: Designing an efficient protocol for avoiding the threat of recording based attack in presence of a powerful eavesdropper remains a challenge for more than two decades. During authentication, the absence of any secure link between the prover and verifier makes things even more vulnerable as, after observing a threshold challenge-response pair, users' secret may easily get derived due to information leakage. Existing literature only present new methodologies with ensuring superior aspects over previous ones, while ignoring the aspects on which their proposed schemes cope poorly. Unsurprisingly, most of them are far from satisfactory - either are found far from usable or lack of security features. To overcome this issue, we first introduce the concept of "leakage control" which puts a bar on the natural information leakage rate and greatly helps in increasing both the usability and security standards. Not just prevention, but also, by introducing the threat detection strategy (based on the concept of honeyword), our scheme "lights two candles". It not only eliminates the long terms security and usability conflict under the practical scenario, but along with threat detection from the client side, it is capable of protecting the secret at the server side under the distributed framework, and thus, guaranteeing security beyond the conventional limit.


title: Computation-Performance Optimization of Convolutional Neural Networks with Redundant Kernel Removal

abstract: Deep Convolutional Neural Networks (CNNs) are widely employed in modern computer vision algorithms, where the input image is convolved iteratively by many kernels to extract the knowledge behind it. However, with the depth of convolutional layers getting deeper and deeper in recent years, the enormous computational complexity makes it difficult to be deployed on embedded systems with limited hardware resources. In this paper, we propose two computation-performance optimization methods to reduce the redundant convolution kernels of a CNN with performance and architecture constraints, and apply it to a network for super resolution (SR). Using PSNR drop compared to the original network as the performance criterion, our method can get the optimal PSNR under a certain computation budget constraint. On the other hand, our method is also capable of minimizing the computation required under a given PSNR drop.


title: F(750), We Miss You as a Bound State of 6 Top and 6 Antitop Quarks, Multiple Point Principle

abstract: We review our speculation, that in the pure Standard Model the exchange of Higgses, including also the ones "eaten by $W^{\pm}$ and Z", and of gluons together make a bound state of 6 top plus 6 anti top quarks bind so strongly that its mass gets down to about 1/3 of the mass of the collective mass 12 $m_t$ of the 12 constituent quarks. The true importance of this speculated bound state is that it makes it possible to uphold, even inside the Standard Mode, our proposal for what is really a new law of nature saying that there are several phases of empty space, vacua, all having very small energy densities (of the order of the present energy density in the universe). The reason suggested for believing in this new law called the "Multiple (Criticality) Point Principle" is, that estimating the mass of the speculated bound state using the "Multiple Point Principle" leads to two consistent mass-values; and they even agree with a crude bag-model like estimate of the mass of this bound state. Very, unfortunately, the statistical fluctuation so popular last year, when interpreted as the digamma resonance F(750), turned out not to be a real resonance, because our estimated bound state mass is just around the mass of 750 GeV.


title: Recurrent Estimation of Distributions

abstract: This paper presents the recurrent estimation of distributions (RED) for modeling real-valued data in a semiparametric fashion. RED models make two novel uses of recurrent neural networks (RNNs) for density estimation of general real-valued data. First, RNNs are used to transform input covariates into a latent space to better capture conditional dependencies in inputs. After, an RNN is used to compute the conditional distributions of the latent covariates. The resulting model is efficient to train, compute, and sample from, whilst producing normalized pdfs. The effectiveness of RED is shown via several real-world data experiments. Our results show that RED models achieve a lower held-out negative log-likelihood than other neural network approaches across multiple dataset sizes and dimensionalities. Further context of the efficacy of RED is provided by considering anomaly detection tasks, where we also observe better performance over alternative models.


title: Search for pair production of vector-like top quarks in events with one lepton, jets, and missing transverse momentum in $\sqrt{s} = 13$ TeV pp collisions with the ATLAS detector

abstract: The results of a search for vector-like top quarks using events with exactly one lepton, at least four jets, and large missing transverse momentum are reported. The search is optimised for pair production of vector-like top quarks in the $Z(\rightarrow \! \! \nu \nu) \, t + X$ decay channel. LHC pp collision data at a centre-of-mass energy of $\sqrt{s}=13$ TeV recorded by the ATLAS detector in 2015 and 2016 are used, corresponding to an integrated luminosity of 36.1 $\mathrm{fb}^{-1}$. No significant excess over the Standard Model expectation is seen and upper limits on the production cross-section of a vector-like $T$ quark pair as a function of the $T$ quark mass are derived. The observed (expected) 95% CL lower limits on the $T$ mass are 870 GeV (890 GeV) for the weak-isospin singlet model, 1.05 TeV (1.06 TeV) for the weak-isospin doublet model and 1.16 TeV (1.17 TeV) for the pure $Zt$ decay mode. Limits are also set on the mass as a function of the decay branching ratios, excluding large parts of the parameter space for masses below 1 TeV.


title: Population trapping in the excited states using vacuum-induced coherence and adiabatic process

abstract: We theoretically investigate how population can be trapped in the excited doublet in presence of vacuum-induced coherence (VIC). We employ delayed pulses to transfer population from a metastable state to the excited states. Subsequently, spontaneous emission from the excited doublet builds coherence between them. This coherence can be probed by using chirping, which leads to the decoupling of the excited doublet from the ground state thereby ensuring population transfer via delayed pulses. Our results indicate that the existence of VIC leads to the generation of a mixed state in the excited state manifold, where trapping of the population occurs even in the presence of large decay. This trapping may be realized in molecular systems and can be understood as a sensitive probe of VIC. We present suitable numerical analysis to support our results.


title: Tutte Polynomials of Symmetric Hyperplane Arrangements

abstract: Originally in 1954 the Tutte polynomial was a bivariate polynomial associated to a graph in order to enumerate the colorings of this graph and of its dual graph at the same time. However the Tutte polynomial reveals more of the internal structure of a graph, and contains even other specializations from other sciences like the Jones polynomial in Knot theory, the partition function of the Pott model in statistical physics, and the reliability polynomial in network theory. In this article, we study the Tutte polynomial associated to more general objects which are the arrangements of hyperplanes. Indeed determining the Tutte polynomial of a graph is equivalent to determining the Tutte polynomial of a special hyperplane arrangement called graphic arrangement. In 2007 Ardila computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups, and the characteristic polynomials of the Catalan arrangements. The charateristic polynomial is also a specialization of the Tutte polynomial. In 2012 Seo computed the characteristic polynomials of the Shi threshold arrangements, and in 2017 Song computed the characteristic polynomials of the $\mathcal{I}_n$ arrangements in the plane and in the space. We aim to bring a more general result by introducing a wider class of hyperplane arrangements which is the set of symmetric hyperplane arrangements. We compute the Tutte polynomial of a symmetric hyperplane arrangement, and, as examples of application, we deduce the Tutte polynomials of the Catalan, the Shi threshold, and the $\mathcal{I}_n$ arrangements.


title: A Low Dimensionality Representation for Language Variety Identification

abstract: Language variety identification aims at labelling texts in a native language (e.g. Spanish, Portuguese, English) with its specific variation (e.g. Argentina, Chile, Mexico, Peru, Spain; Brazil, Portugal; UK, US). In this work we propose a low dimensionality representation (LDR) to address this task with five different varieties of Spanish: Argentina, Chile, Mexico, Peru and Spain. We compare our LDR method with common state-of-the-art representations and show an increase in accuracy of ~35%. Furthermore, we compare LDR with two reference distributed representation models. Experimental results show competitive performance while dramatically reducing the dimensionality --and increasing the big data suitability-- to only 6 features per variety. Additionally, we analyse the behaviour of the employed machine learning algorithms and the most discriminating features. Finally, we employ an alternative dataset to test the robustness of our low dimensionality representation with another set of similar languages.


title: Two-dimensional electron systems in ATiO3 perovskites (A = Ca, Ba, Sr): control of orbital hybridization and order

abstract: We report the existence of a two-dimensional electron system (2DES) at the (001) surface of CaTiO3. Using angle-resolved photoemission spectroscopy, we find a hybridization between the d_xz and d_yz orbitals, not observed in the 2DESs at the surfaces of other ATiO3 perovskites, e.g. SrTiO3 or BaTiO3. Based on a comparison of the 2DES properties in these three materials, we show how the electronic structure of the 2DES (bandwidth, orbital order and electron density) is coupled to different typical lattice distortions in perovskites. The orbital hybridization in orthorhombic CaTiO3 results from the rotation of the oxygen octahedra, which can also occur at the interface of oxide heterostructures to compensate strain. More generally, the control of the orbital order in 2DES by choosing different A-site cations in perovskites offers a new gateway towards 2DESs in oxide heterostructures beyond SrTiO3.


title: Tracking System Behaviour from Resource Usage Data

abstract: Resource usage data, collected using tools such as TACC Stats, capture the resource utilization by nodes within a high performance computing system. We present methods to analyze the resource usage data to understand the system performance and identify performance anomalies. The core idea is to model the data as a three-way tensor corresponding to the compute nodes, usage metrics, and time. Using the reconstruction error between the original tensor and the tensor reconstructed from a low rank tensor decomposition, as a scalar performance metric, enables us to monitor the performance of the system in an online fashion. This error statistic is then used for anomaly detection that relies on the assumption that the normal/routine behavior of the system can be captured using a low rank approx- imation of the original tensor. We evaluate the performance of the algorithm using information gathered from system logs and show that the performance anomalies identified by the proposed method correlates with critical errors reported in the system logs. Results are shown for data collected for 2013 from the Lonestar4 system at the Texas Advanced Computing Center (TACC)


title: A Multi-Layer K-means Approach for Multi-Sensor Data Pattern Recognition in Multi-Target Localization

abstract: Data-target association is an important step in multi-target localization for the intelligent operation of un- manned systems in numerous applications such as search and rescue, traffic management and surveillance. The objective of this paper is to present an innovative data association learning approach named multi-layer K-means (MLKM) based on leveraging the advantages of some existing machine learning approaches, including K-means, K-means++, and deep neural networks. To enable the accurate data association from different sensors for efficient target localization, MLKM relies on the clustering capabilities of K-means++ structured in a multi-layer framework with the error correction feature that is motivated by the backpropogation that is well-known in deep learning research. To show the effectiveness of the MLKM method, numerous simulation examples are conducted to compare its performance with K-means, K-means++, and deep neural networks.


title: Classification of balanced toral elements of exceptional Lie algebras

abstract: Let $\mathfrak{g}$ be a simple Lie algebra of exceptional type over an algebraically closed field $k$, and let $G$ be a simple linear algebraic group with Lie algebra $\mathfrak{g}$. For $\mathrm{char} \, k =p >0$, we present a complete classification of the $G$-conjugacy classes of balanced toral elements of $\mathfrak{g}$. As a result, we also obtain the classification of conjugacy classes of balanced inner torsion automorphisms of $\mathfrak{g}$ of order $p$ when $\mathrm{char} \, k =0$.


title: Drop pattern resulting from the breakup of a bidimensional grid of liquid filaments

abstract: A rectangular grid formed by liquid filaments on a partially wetting substrate evolves in a series of breakups leading to arrays of drops with different shapes distributed in a rather regular bidimensional pattern. Our study is focused on the configuration produced when two long parallel filaments of silicone oil, which are placed upon a glass substrate previously coated with a fluorinated solution, are crossed perpendicularly by another pair of long parallel filaments. A remarkable feature of this kind of grids is that there are two qualitatively different types of drops. While one set is formed at the crossing points, the rest are consequence of the breakup of shorter filaments formed between the crossings. Here, we analyze the main geometric features of all types of drops, such as shape of the footprint and contact angle distribution along the drop periphery. The formation of a series of short filaments with similar geometric and physical properties allows us to have simultaneously quasi identical experiments to study the subsequent breakups. We develop a simple hydrodynamic model to predict the number of drops that results from a filament of given initial length and width. This model is able to yield the length intervals corresponding to a small number of drops and its predictions are successfully compared with the experimental data as well as with numerical simulations of the full Navier--Stokes equation that provide a detailed time evolution of the dewetting motion of the filament till the breakup into drops. Finally, the prediction for finite filaments is contrasted with the existing theories for infinite ones.


title: Attainable Knowledge and Omniscience

abstract: The paper investigates an evidence-based semantics for epistemic logics. It is shown that the properties of knowledge obtained from a potentially infinite body of evidence are described by modal logic S5. At the same time, the properties of knowledge obtained from only a finite subset of this body are described by modal logic S4. The main technical result is a sound and complete bi-modal logical system that describes properties of these two modalities and their interplay.


title: The influence of contrarians in the dynamics of opinion formation

abstract: In this work we consider the presence of contrarian agents in discrete 3-state kinetic exchange opinion models. The contrarians are individuals that adopt the choice opposite to the prevailing choice of their contacts, whatever this choice is. We consider binary as well as three-agent interactions, with stochastic parameters, in a fully-connected population. Our numerical results suggest that the presence of contrarians destroys the absorbing state of the original model, changing the transition to the para-ferromagnetic type. In this case, the consequence for the society is that the three opinions coexist in the population, in both phases (ordered and disordered). Furthermore, the order-disorder transition is suppressed for a sufficient large fraction of contrarians. In some cases the transition is discontinuous, and it changes to continuous before it is suppressed. Some of our results are complemented by analytical calculations based on the master equation.


title: Generative Models of Visually Grounded Imagination

abstract: It is easy for people to imagine what a man with pink hair looks like, even if they have never seen such a person before. We call the ability to create images of novel semantic concepts visually grounded imagination. In this paper, we show how we can modify variational auto-encoders to perform this task. Our method uses a novel training objective, and a novel product-of-experts inference network, which can handle partially specified (abstract) concepts in a principled and efficient way. We also propose a set of easy-to-compute evaluation metrics that capture our intuitive notions of what it means to have good visual imagination, namely correctness, coverage, and compositionality (the 3 C's). Finally, we perform a detailed comparison of our method with two existing joint image-attribute VAE methods (the JMVAE method of Suzuki et.al. and the BiVCCA method of Wang et.al.) by applying them to two datasets: the MNIST-with-attributes dataset (which we introduce here), and the CelebA dataset.


title: Ab initio calculations of the concentration dependent band gap reduction in dilute nitrides

abstract: While being of persistent interest for the integration of lattice-matched laser devices with silicon circuits, the electronic structure of dilute nitride III/V-semiconductors has presented a challenge to ab initio computational approaches. The root of this lies in the strong distortion N atoms exert on most host materials. Here, we resolve these issues by combining density functional theory calculations based on the meta-GGA functional presented by Tran and Blaha (TB09) with a supercell approach for the dilute nitride Ga(NAs). Exploring the requirements posed to supercells, we show that the distortion field of a single N atom must be allowed to decrease so far, that it does not overlap with its periodic images. This also prevents spurious electronic interactions between translational symmetric atoms, allowing to compute band gaps in very good agreement with experimentally derived reference values. These results open up the field of dilute nitride compound semiconductors to predictive ab initio calculations.


title: Thermodynamics of star polymer solutions: a coarse-grained study

abstract: We consider a coarse-grained (CG) model with pairwise interactions, suitable to describe low-density solutions of star-branched polymers of functionality $f$. Each macromolecule is represented by a CG molecule with $(f+1)$ interaction sites, which captures the star topology. Potentials are obtained by requiring the CG model to reproduce a set of distribution functions computed in the microscopic model in the zero-density limit. Explicit results are given for $f=6,12$ and $40$. We use the CG model to compute the osmotic equation of state of the solution for concentrations $c$ such that $\Phi_p = c/c^* \lesssim 1$, where $c^*$ is the overlap concentration. We also investigate in detail the phase diagram for f=40, identifying the boundaries of the solid intermediate phase. Finally, we investigate how the polymer size changes with $c$. For $\Phi_p\lesssim 0.3$ polymers become harder as $f$ increases at fixed reduced concentration $c/c^*$. On the other hand, for $\Phi_p\gtrsim 0.3$, polymers show the opposite behavior: At fixed $\Phi_p$, the larger the value of $f$, the larger their size reduction is.


title: Quench action and Renyi entropies in integrable systems

abstract: Entropy is a fundamental concept in equilibrium statistical mechanics, yet its origin in the non-equilibrium dynamics of isolated quantum systems is not fully understood. A strong consensus is emerging around the idea that the stationary thermodynamic entropy is the von Neumann entanglement entropy of a large subsystem embedded in an infinite system. Also motivated by cold-atom experiments, here we consider the generalisation to Renyi entropies. We develop a new technique to calculate the diagonal Renyi entropy in the quench action formalism. In the spirit of the replica treatment for the entanglement entropy, the diagonal Renyi entropies are generalised free energies evaluated over a thermodynamic macrostate which depends on the Renyi index and, in particular, it is not the same describing the von Neumann entropy. The technical reason for this, maybe surprising, result is that the evaluation of the moments of the diagonal density matrix shifts the saddle point of the quench action. An interesting consequence is that different Renyi entropies encode information about different regions of the spectrum of the post-quench Hamiltonian. Our approach provides a very simple proof of the long-standing issue that, for integrable systems, the diagonal entropy is half of the thermodynamic one and it allows us to generalise this result to the case of arbitrary Renyi entropy.


title: On the moments of the gaps between consecutive primes

abstract: We derive heuristically formula for the $k$--moments $M_k(x)$ of the gaps between consecutive primes$<x $ represented directly by $x$$\pi(x)$ --- the number of primes up to: $M_k(x)= \Gamma(k+1)x^k/\pi^{k-1}(x)+\mathcal{O}(x)$, We illustrate obtained results by computer data.


title: Thermoelectric and thermomagnetic effects in Kaluza's kinetic theory

abstract: A five-dimensional treatment of the Boltzmann equation is used to establish the constitutive equations that relate thermodynamic fluxes and forces up to first order in the gradients for simple charged fluids in the presence of electromagnetic fields. The formalism uses the ansatz first introduced by Kaluza back in 1921, proposing that the particle charge-mass ratio is proportional to the fifth component of its velocity field. It is shown that in this approach, space-time curvature yields thermodynamic forces leading to generalizations of the well-known cross-effects present in linear irreversible thermodynamics.


title: Reflection Invariant and Symmetry Detection

abstract: Symmetry detection and discrimination are of fundamental meaning in science, technology, and engineering. This paper introduces reflection invariants and defines the directional moment to detect symmetry for shape analysis and object recognition. And it demonstrates that detection of reflection symmetry can be done in a simple way by solving a trigonometric system derived from the directional moment, and discrimination of reflection symmetry can be achieved by application of the reflection invariants in 2D and 3D. Rotation symmetry can also be determined based on that.The experiments in 2D and 3D, including the regular triangle, the square, and the five Platonic objects, show that all the reflection lines or planes can be deterministically found using directional moments up to order six. This result can be used to simplify the efforts of symmetry detection in research areas, such as protein structure, model retrieval, inverse engineering, and machine vision etc.


title: On the Riemann-Roch formula without projective hypothesis

abstract: Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither on the schemes nor on the morphism. We also prove, without projective assumptions, an arithmetic Riemann-Roch theorem involving Arakelov's higher $K$-theory and motivic cohomology as well as an analogue result for the relative cohomology of a morphism. These results are obtained as corollaries of a motivic statement that is valid for morphisms between oriented absolute spectra in the stable homotopy category of $S$.


title: Forward-Backward Selection with Early Dropping

abstract: Forward-backward selection is one of the most basic and commonly-used feature selection algorithms available. It is also general and conceptually applicable to many different types of data. In this paper, we propose a heuristic that significantly improves its running time, while preserving predictive accuracy. The idea is to temporarily discard the variables that are conditionally independent with the outcome given the selected variable set. Depending on how those variables are reconsidered and reintroduced, this heuristic gives rise to a family of algorithms with increasingly stronger theoretical guarantees. In distributions that can be faithfully represented by Bayesian networks or maximal ancestral graphs, members of this algorithmic family are able to correctly identify the Markov blanket in the sample limit. In experiments we show that the proposed heuristic increases computational efficiency by about two orders of magnitude in high-dimensional problems, while selecting fewer variables and retaining predictive performance. Furthermore, we show that the proposed algorithm and feature selection with LASSO perform similarly when restricted to select the same number of variables, making the proposed algorithm an attractive alternative for problems where no (efficient) algorithm for LASSO exists.


title: On The Limitation of Some Fully Observable Multiple Session Resilient Shoulder Surfing Defense Mechanisms

abstract: Using password based authentication technique, a system maintains the login credentials (username, password) of the users in a password file. Once the password file is compromised, an adversary obtains both the login credentials. With the advancement of technology, even if a password is maintained in hashed format, then also the adversary can invert the hashed password to get the original one. To mitigate this threat, most of the systems nowadays store some system generated fake passwords (also known as honeywords) along with the original password of a user. This type of setup confuses an adversary while selecting the original password. If the adversary chooses any of these honeywords and submits that as a login credential, then system detects the attack. A large number of significant work have been done on designing methodologies (identified as $\text{M}^{\text{DS}}_{\text{OA}}$) that can protect password against observation or, shoulder surfing attack. Under this attack scenario, an adversary observes (or records) the login information entered by a user and later uses those credentials to impersonate the genuine user. In this paper, we have shown that because of their design principle, a large subset of $\text{M}^{\text{DS}}_{\text{OA}}$ (identified as $\text{M}^{\text{FODS}}_{\text{SOA}}$) cannot afford to store honeywords in password file. Thus these methods, belonging to $\text{M}^{\text{FODS}}_{\text{SOA}}$, are unable to provide any kind of security once password file gets compromised. Through our contribution in this paper, by still using the concept of honeywords, we have proposed few generic principles to mask the original password of $\text{M}^{\text{FODS}}_{\text{SOA}}$ category methods. We also consider few well-established methods like S3PAS, CHC, PAS and COP belonging to $\text{M}^{\text{FODS}}_{\text{SOA}}$, to show that proposed idea is implementable in practice.


title: Structural and electronic properties of $\alpha,\beta$-(BEDT-TTF)$_2$I$_3$ and $\kappa$-(BEDT-TTF)$_2$X$_3$ (X=I,F,Br,Cl) organic charge transfer salts

abstract: (BEDT-TFF)$_2$I$_3$ charge transfer salts are reported to show superconductivity and pressure induced quasi two-dimensional Dirac cones at the Fermi level. By performing state of the art ab initio calculations in the framework of density functional theory, we investigate the structural and electronic properties of the three structural phases $\alpha$, $\beta$ and $\kappa$. \edit{We furthermore report about the irreducible representations of the corresponding electronic band structures, symmetry of their crystal structure, and discuss the origin of band crossings. Additionally, we discuss the chemically induced strain in $\kappa$-(BEDT-TTF)$_2$I$_3$ achieved by replacing the Iodine layer with other Halogens: Fluorine, Bromine and Chlorine. In the case of $\kappa$-(BEDT-TTF)$_2$F$_3$, we identify topologically protected crossings within the band structure. These crossings are forced to occur due to the non-symmorphic nature of the crystal.} The calculated electronic structures presented here are added to the organic materials database (OMDB).


title: On a Relation of Vacuum Energy to the Hierarchy of Forces

abstract: We investigate the relation between vacuum energy and the hierarchy of forces in habitable universes. The hierarchy of forces studied in \cite{fred} was bound by $\frac{\alpha_G}{\alpha} \le 10^{-34}$, using structure formation arguments which involve the fine structure constant $\alpha$ and the gravitational constant $\alpha_G$. Previously we showed that the requirement of vacuum domination epoch occuring after matter radiation equality time, places a bound on vacuum energy in terms of the density perturbation parameter Q. Here we impose a further condition: we require that at equality time the size of the gas cloud which forms a galaxy at virialization time, be smaller than the horizon size. The latter condition leads to an intriguing relation whereby vacuum energy is bound by a power law function of the hierarchy of forces. The constraint introduced by the hierarchy of forces on the amount of dark energy is suggestive of an unknown microphysical mechanism that relates vacuum energy to the other constants of nature, specifically to the gravitational and fine structure constants and to their hierarchy.


title: DISPATCH: A Numerical Simulation Framework for the Exa-scale Era. I. Fundamentals

abstract: We introduce a high-performance simulation framework that permits the semi-independent, task-based solution of sets of partial differential equations, typically manifesting as updates to a collection of `patches' in space-time. A hybrid MPI/OpenMP execution model is adopted, where work tasks are controlled by a rank-local `dispatcher' which selects, from a set of tasks generally much larger than the number of physical cores (or hardware threads), tasks that are ready for updating. The definition of a task can vary, for example, with some solving the equations of ideal magnetohydrodynamics (MHD), others non-ideal MHD, radiative transfer, or particle motion, and yet others applying particle-in-cell (PIC) methods. Tasks do not have to be grid-based, while tasks that are, may use either Cartesian or orthogonal curvilinear meshes. Patches may be stationary or moving. Mesh refinement can be static or dynamic. A feature of decisive importance for the overall performance of the framework is that time steps are determined and applied locally; this allows potentially large reductions in the total number of updates required in cases when the signal speed varies greatly across the computational domain, and therefore a corresponding reduction in computing time. Another feature is a load balancing algorithm that operates `locally' and aims to simultaneously minimise load and communication imbalance. The framework generally relies on already existing solvers, whose performance is augmented when run under the framework, due to more efficient cache usage, vectorisation, local time-stepping, plus near-linear and, in principle, unlimited OpenMP and MPI scaling.


title: Weak-field limit of Kaluza-Klein models with spherically symmetric static scalar field: observational constraints

abstract: In a multidimensional Kaluza-Klein model with Ricci-flat internal space, we study the gravitational field in the weak-field limit. This field is created by two coupled sources. First, this is a point-like massive body which has a dust-like equation of state in the external space and an arbitrary parameter $\Omega$ of equation of state in the internal space. The second source is a static spherically symmetric massive scalar field centered at the origin where the point-like massive body is. The found perturbed metric coefficients are used to calculate the parameterized post-Newtonian (PPN) parameter $\gamma$. We define under which conditions $\gamma$ can be very close to unity in accordance with the relativistic gravitational tests in the Solar system. This can take place for both massive or massless scalar fields. For example, to have $\gamma \approx 1$ in the Solar system, the mass of scalar field should be $\mu \gtrsim 5.05\times 10^{-49}$g $\sim 2.83\times 10^{-16}$eV. In all cases, we arrive at the same conclusion that to be in agreement with the relativistic gravitational tests, the gravitating mass should have tension: $\Omega=-1/2$.


title: Detecting topology change via correlations and entanglement from gauge/gravity correspondence

abstract: We compute a momentum space version of the entanglement spectrum and entanglement entropy of general Young tableau states, and one-point functions on Young tableau states. These physical quantities are used to measure the topology of the dual spacetime geometries in the context of gauge/gravity correspondence. The idea that Young tableau states can be obtained by superposing coherent states is explicitly verified. In this quantum superposition, a topologically distinct geometry is produced by superposing states dual to geometries with a trivial topology. Furthermore we have a refined bound for the overlap between coherent states and the rectangular Young tableau state, by using the techniques of symmetric groups and representations. This bound is exponentially suppressed by the total edge length of the Young tableau. It is also found that the norm squared of the overlaps is bounded above by inverse powers of the exponential of the entanglement entropies. We also compute the overlaps between Young tableau states and other states including squeezed states and multi-mode entangled states which have similarities with those appeared in quantum information theory.

categories: hep-th gr-qc math-ph math.MP math.OA quant-ph


title: Resonance enhancement of dark matter interactions: the case for early kinetic decoupling and velocity dependent resonance width

abstract: Motivated by the possibility of enhancing dark matter (DM) self-interaction cross-section $\sigma_{\rm self}$, we have revisited the issue of DM annihilation through a Breit-Wigner resonance. In this case thermally averaged annihilation cross-section has strong temperature dependence, whereas elastic scattering of DM on the thermal bath particles is suppressed. This leads to the early kinetic decoupling of DM and an interesting interplay in the evolution of DM density and temperature that can be described by a set of coupled Boltzmann equations. The standard Breit-Wigner parametrization of a resonance propagator is also corrected by including momentum dependence of the resonance width. It has been shown that this effects may change predictions of DM relic density by more than order of magnitude in some regions of the parameter space. Model independent discussion is illustrated within a theory of Abelian vector dark matter. The model assumes extra $U(1)$ symmetry group factor and an additional complex Higgs field needed to generate a mass for the dark vector boson, which provides an extra neutral Higgs boson $h_2$. We discuss the resonance amplification of $\sigma_{\rm self}$. It turns out that if DM abundance is properly reproduced, the Fermi-LAT data favor heavy DM and constraint the enhancement of $\sigma_{\rm self}$ to the range, which cannot provide a solution to the small-scale structure problems.}


title: Mesoscopic model for DNA G-quadruplex unfolding

abstract: Genomes contain rare guanine-rich sequences capable of assembling into four-stranded helical structures, termed G-quadruplexes, with potential roles in gene regulation and chromosome stability. Their mechanical unfolding has only been reported to date by all-atom simulations, which cannot dissect the major physical interactions responsible for their cohesion. Here, we propose a mesoscopic model to describe both the mechanical and thermal stability of DNA G-quadruplexes, where each nucleotide of the structure, as well as each central cation located at the inner channel, is mapped onto a single bead. In this framework we are able to simulate loading rates similar to the experimental ones, which are not reachable in simulations with atomistic resolution. In this regard, we present single-molecule force-induced unfolding experiments by a high-resolution optical tweezers on a DNA telomeric sequence capable of forming a G-quadruplex conformation. Fitting the parameters of the model to the experiments we find a correct prediction of the rupture-force kinetics and a good agreement with previous near equilibrium measurements. Since G-quadruplex unfolding dynamics is halfway in complexity between secondary nucleic acids and tertiary protein structures, our model entails a nanoscale paradigm for non-equilibrium processes in the cell.


title: Initial Angular Momentum and Flow in High Energy Nuclear Collisions

abstract: We study the transfer of angular momentum in high energy nuclear collisions from the colliding nuclei to the region around midrapidity, using the classical approximation of the Color Glass Condensate (CGC) picture. We find that the angular momentum shortly after the collision (up to times ~ 1/Q_s, where Q_s is the saturation scale) is carried by the "beta-type" flow of the initial classical gluon field, introduced by some of us earlier. beta^i ~ mu_1 nabla^i mu_2 - mu_2 nabla^i mu_1 (i=1,2) describes the rapidity-odd transverse energy flow and emerges from Gauss' Law for gluon fields. Here mu_1 and mu_2 are the averaged color charge fluctuation densities in the two nuclei, respectively. Interestingly, strong coupling calculations using AdS/CFT techniques also find an energy flow term featuring this particular combination of nuclear densities. In classical CGC the order of magnitude of the initial angular momentum per rapidity in the reaction plane, at a time 1/Q_s, is |dL_2/d eta| ~ R_A/Q_s^3 epsilon_0/2 at midrapidity, where R_A is the nuclear radius, and epsilon_0 is the average initial energy density. This result emerges as a cancellation between a vortex of energy flow in the reaction plane aligned with the total angular momentum, and energy shear flow opposed to it. We discuss in detail the process of matching classical Yang-Mills results to fluid dynamics. We will argue that dissipative corrections should not be discarded to ensure that macroscopic conservation laws, e.g. for angular momentum, hold. Viscous fluid dynamics tends to dissipate the shear flow contribution that carries angular momentum in boost-invariant fluid systems. This leads to small residual angular momentum around midrapidity at late times for collisions at high energies.


title: Towards the exact Bremsstrahlung function of ABJM theory

abstract: We present the three-loop calculation of the Bremsstrahlung function associated to the 1/2-BPS cusp in ABJM theory, including color subleading corrections. Using the BPS condition we reduce the computation to that of a cusp with vanishing angle. We work within the framework of heavy quark effective theory (HQET) that further simplifies the analytic evaluation of the relevant cusp anomalous dimension in the near-BPS limit. The result passes nontrivial tests, such as exponentiation, and is in agreement with the conjecture made in [1] for the exact expression of the Bremsstrahlung function, based on the relation with fermionic latitude Wilson loops.


title: Accuracy of Estimating Highly Eccentric Binary Black Hole Parameters with Gravitational-Wave Detections

abstract: Mergers of stellar-mass black holes on highly eccentric orbits are among the targets for ground-based gravitational-wave detectors, including LIGO, VIRGO, and KAGRA. These sources may commonly form through gravitational-wave emission in high velocity dispersion systems or through the secular Kozai-Lidov mechanism in triple systems. Gravitational waves carry information about the binaries' orbital parameters and source location. Using the Fisher matrix technique, we determine the measurement accuracy with which the LIGO-VIRGO-KAGRA network could measure the source parameters of eccentric binaries using a matched filtering search of the repeated burst and eccentric inspiral phases of the waveform. We account for general relativistic precession and the evolution of the orbital eccentricity and frequency during the inspiral. We find that the signal-to-noise ratio and the parameter measurement accuracy may be significantly higher for eccentric sources than for circular sources. This increase is sensitive to the initial pericenter distance, the initial eccentricity, and component masses. For instance, compared to a 30 Msun-30 Msun non-spinning circular binary, the chirp mass and sky localization accuracy can improve for an initially highly eccentric binary by a factor of ~129 (38) and ~2 (11) assuming an initial pericenter distance of 20 Mtot (10 Mtot).


title: Sub-$\mu$eV Decoherence-Induced Population Pulsation Resonances in an InGaN system

abstract: We report on high frequency resolution coherent nonlinear optical spectroscopy on an ensemble of InGaN disks in GaN nanowires at 300 K. Sub-$\mu$eV resonances in the inhomogeneously broadened third order ($\chi^{(3)}$) absorption spectrum show asymmetric line shapes, where the degree of asymmetry depends on the wavelength of the excitation beams. Theory based on the Optical Bloch Equations (OBE) indicates that the lineshape asymmetry is a result of fast decoherence in the system and the narrow resonances originate from coherent population pulsations that are induced by decoherence in the system. Using the OBE, we estimate that the decoherence time of the optically induced dipole (formed between the unexcited ground state the excited electron-hole pair) at room temperature is 125 fs, corresponding to a linewidth of ~10 meV. The decay time of the excitation is ~5-10 ns, depending on the excitation energy. The lineshapes are well fit with the OBE indicating that the resonances are characterized by discrete levels with no evidence of many body physics.


title: A generalized model of social and biological contagion

abstract: We present a model of contagion that unifies and generalizes existing models of the spread of social influences and micro-organismal infections. Our model incorporates individual memory of exposure to a contagious entity (e.g., a rumor or disease), variable magnitudes of exposure (dose sizes), and heterogeneity in the susceptibility of individuals. Through analysis and simulation, we examine in detail the case where individuals may recover from an infection and then immediately become susceptible again (analogous to the so-called SIS model). We identify three basic classes of contagion models which we call \textit{epidemic threshold}, \textit{vanishing critical mass}, and \textit{critical mass} classes, where each class of models corresponds to different strategies for prevention or facilitation. We find that the conditions for a particular contagion model to belong to one of the these three classes depend only on memory length and the probabilities of being infected by one and two exposures respectively. These parameters are in principle measurable for real contagious influences or entities, thus yielding empirical implications for our model. We also study the case where individuals attain permanent immunity once recovered, finding that epidemics inevitably die out but may be surprisingly persistent when individuals possess memory.


title: PCM-TV-TFV: A Novel Two Stage Framework for Image Reconstruction from Fourier Data

abstract: We propose in this paper a novel two-stage Projection Correction Modeling (PCM) framework for image reconstruction from (non-uniform) Fourier measurements. PCM consists of a projection stage (P-stage) motivated by the multi-scale Galerkin method and a correction stage (C-stage) with an edge guided regularity fusing together the advantages of total variation (TV) and total fractional variation (TFV). The P-stage allows for continuous modeling of the underlying image of interest. The given measurements are projected onto a space in which the image is well represented. We then enhance the reconstruction result at the C-stage that minimizes an energy functional consisting of a fidelity in the transformed domain and a novel edge guided regularity. We further develop efficient proximal algorithms to solve the corresponding optimization problem. Various numerical results in both 1D signals and 2D images have also been presented to demonstrate the superior performance of the proposed two-stage method to other classical one-stage methods.


title: The Design of Long-Life, High-Efficiency PEM Fuel Cell Power Supplies for Low Power Sensor Networks

abstract: Field sensor networks have important applications in environmental monitoring, particularly climate change, air, water and soil quality, in disaster monitoring and in border security. The reduced cost of electronics, sensors and actuators make it possible to deploy hundreds if not thousands of these sensor modules. However power technology have not kept up. Current power supply technologies such as batteries limit many applications due to their low specific energy. Photovoltaics typically requires large bulky panels and is dependent on varying solar insolation and therefore requires backup power sources. Polymer Electrolyte Membrane (PEM) fuel cells are a promising alternative, because they are clean, quiet and operate at high efficiency. However challenges remain in achieving long lives due to factors such as catalyst degradation and hydrogen storage. In this work, we devise a framework for designing fuel cells power supplies for field sensor networks to achieve long lives and utilize lithium hydride hydrogen storage technology that offers high energy density of up to 5,000 Wh/kg. Using this design framework, we identify operating conditions to maximize the life of the power supply, meet the required power output and minimize fuel consumption. We devise a series of controllers to achieve this capability and demonstrate it using a bench-top experiment that operated for 5,000 hours. The laboratory experiments point towards a pathway to design and scale these fuel cell power supplies for various field applications. Our studies show the proposed PEM fuel cell hybrid system fueled using lithium hydride offers at least a 3 fold reduction in mass compared to state of the art batteries and 3-5 fold reduction in mass compared to current fuel cell technologies.


title: Semi-Supervised Learning for Detecting Human Trafficking

abstract: Human trafficking is one of the most atrocious crimes and among the challenging problems facing law enforcement which demands attention of global magnitude. In this study, we leverage textual data from the website "Backpage"- used for classified advertisement- to discern potential patterns of human trafficking activities which manifest online and identify advertisements of high interest to law enforcement. Due to the lack of ground truth, we rely on a human analyst from law enforcement, for hand-labeling a small portion of the crawled data. We extend the existing Laplacian SVM and present S3VM-R, by adding a regularization term to exploit exogenous information embedded in our feature space in favor of the task at hand. We train the proposed method using labeled and unlabeled data and evaluate it on a fraction of the unlabeled data, herein referred to as unseen data, with our expert's further verification. Results from comparisons between our method and other semi-supervised and supervised approaches on the labeled data demonstrate that our learner is effective in identifying advertisements of high interest to law enforcement


title: Absorption-free superluminal light propagation in a Landau-quantized graphene

abstract: In recent years, control of group velocity of light has attracted enormous interest. One of the main challenges is to realize an absorption-free fast or slow light propagation. Here, we study dispersion and absorption properties of a weak probe field in a Landau-quantized graphene and report a gain-assisted superluminal light propagation. Moreover, an attempt is made to develop an analytical expression and necessary parameters for switching the group velocity of the probe field from subluminal to superluminal. It's worth mentioning that large dephasing rate in graphene offers feasibility of superluminal propagation of ultrashort light pulses. Additionally, dynamical behavior of dispersion and absorption of a weak probe field in a closed-type graphene system is investigated, and it is found that the absorption and dispersion can be dramatically affected by both the relative phase of applied fields and the Rabi frequencies in such a way that a large transient gain can be achieved and a transient absorption can be completely eliminated.


title: Continuous Transitions Between Quantum and Classical Electrodynamics

abstract: The Maxwell equations in the presence of sources are first derived without making use of the potentials and the Hamilton-Jacobi equation for classical electrodynamics is written down. The manifestly gauge invariant theory is then quantized to write down the Hamilton-Jacobi equation in quantum electrodynamics. Finally, an interpolating field theory is proposed that describes continuous transitions between quantum and classical electrodynamics. It is shown that energy flow lines are identical for quantum and classical fields in the case of the double-slit arrangement but differ in the case of vortex beams.


title: Electrical conductivity of quasi-two-dimensional foams

abstract: Quasi-two-dimensional (quasi-2D) foams consist of monolayers of bubbles squeezed between two narrowly spaced plates. These simplified foams have served successfully in the past to shed light on numerous issues in foam physics. Here we consider the electrical conductivity of such model foams. We compare experiments to a model which we propose, and which successfully relates the structural and the conductive properties of the foam over the full range of the investigated liquid content. We show in particular that in the case of quasi-2D foams the liquid in the nodes needs to be taken into account even at low liquid content. We think that these results may provide different approaches for the characterization of foam properties and for the in situ characterization of the liquid content of foams in confining geometries, such as microfluidics