title: Texture Modelling with Nested High-order Markov-Gibbs Random Fields

abstract: Currently, Markov-Gibbs random field (MGRF) image models which include high-order interactions are almost always built by modelling responses of a stack of local linear filters. Actual interaction structure is specified implicitly by the filter coefficients. In contrast, we learn an explicit high-order MGRF structure by considering the learning process in terms of general exponential family distributions nested over base models, so that potentials added later can build on previous ones. We relatively rapidly add new features by skipping over the costly optimisation of parameters. We introduce the use of local binary patterns as features in MGRF texture models, and generalise them by learning offsets to the surrounding pixels. These prove effective as high-order features, and are fast to compute. Several schemes for selecting high-order features by composition or search of a small subclass are compared. Additionally we present a simple modification of the maximum likelihood as a texture modelling-specific objective function which aims to improve generalisation by local windowing of statistics. The proposed method was experimentally evaluated by learning high-order MGRF models for a broad selection of complex textures and then performing texture synthesis, and succeeded on much of the continuum from stochastic through irregularly structured to near-regular textures. Learning interaction structure is very beneficial for textures with large-scale structure, although those with complex irregular structure still provide difficulties. The texture models were also quantitatively evaluated on two tasks and found to be competitive with other works: grading of synthesised textures by a panel of observers; and comparison against several recent MGRF models by evaluation on a constrained inpainting task.


title: First Measurements with New High-Resolution Gadolinium-GEM Neutron Detectors

abstract: European Spallation Source instruments like the macromolecular diffractometer, NMX, require an excellent neutron detection efficiency, high-rate capabilities, time resolution, and an unprecedented spatial resolution in the order of a few hundred micrometers over a wide angular range of the incoming neutrons. For these instruments solid converters in combination with Micro Pattern Gaseous Detectors (MPGDs) are a promising option. A GEM detector with gadolinium converter was tested on a cold neutron beam at the IFE research reactor in Norway. The {\mu}TPC analysis, proven to improve the spatial resolution in the case of $^{10}$B converters, is extended to gadolinium based detectors. For the first time, a Gd-GEM was successfully operated to detect neutrons with a measured efficiency of 11.8% at a wavelength of 2 {\AA} and a position resolution better than 250 {\mu}m.


title: Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates

abstract: We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequencies as the data. A conditional Lipschitz stability estimate for the inverse problem holds in the case of wavespeeds that are a linear combination of piecewise constant functions (following a domain partition) and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partition increases. We establish an order optimal upper bound for the stability constant. We eventually realize computational experiments to demonstrate the stability constant evolution for three dimensional wavespeed reconstruction.


title: Bulk Locality from Entanglement in Gauge/Gravity Duality

abstract: Gauge/gravity duality posits an equivalence between certain strongly coupled quantum field theories and theories of gravity with negative cosmological constant in a higher number of spacetime dimensions. The map between the degrees of freedom on the two sides is non-local and incompletely understood. I describe recent work towards characterizing this map using entanglement in the QFT, where near the dual AdS boundary, the classical energy density at a point in the bulk is stored in the relative entropies of boundary subregions whose homologous minimal surfaces pass through the bulk point. I also derive bulk classical energy conditions near the AdS boundary from entanglement inequalities in the CFT. This is based on the paper [1] with Matilde Marcolli, Hirosi Ooguri and Bogdan Stoica. More generally, in recent years, there has appeared some evidence that quantum entanglement is responsible for the emergence of spacetime. I review and comment on the state of these developments.


title: Configuration- and concentration-dependent electronic properties of hydrogenated graphene

abstract: The electronic properties of hydrogenated graphenes are investigated with the first-principles calculations. Geometric structures, energy bands, charge distributions, and density of states (DOS) strongly depend on the different configurations and concentrations of hydrogen adatoms. Among three types of optimized periodical configurations, only in the zigzag systems the band gaps can be remarkably modulated by H-concentrations. There exist middle-gap semiconductors, narrow-gap semiconductors, and gapless systems. The band structures exhibit the rich features, including the destruction or recovery of the Dirac-cone structure, newly formed critical points, weakly dispersive bands, and (C,H)-related partially flat bands. The orbital-projected DOS are evidenced by the low-energy prominent peaks, delta-function-like peaks, discontinuous shoulders, and logarithmically divergent peaks. The DOS and spatial charge distributions clearly indicate that the critical bondings in C-C and C-H is responsible for the diversified properties.


title: Quasiconformal mappings on the Heisenberg group: An overview

abstract: We present a brief overview of the Kor\'anyi-Reimann theory of quasiconformal mappings on the Heisenberg group stressing on the analogies as well as on the differences between the Heisenberg group case and the classical two-dimensional case. We examine the extensions of the theory to more general spaces and we state some known results and open problems.


title: Exterior and Symmetric Powers of Modules for Cyclic 2-Groups

abstract: We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group. This makes computation straightforward. Previously, a complete description was only known for cyclic groups of prime order.


title: Learning-Based Distributed Detection-Estimation in Sensor Networks with Unknown Sensor Defects

abstract: We consider the problem of distributed estimation of an unknown deterministic scalar parameter (the target signal) in a wireless sensor network (WSN), where each sensor receives a single snapshot of the field. We assume that the observation at each node randomly falls into one of two modes: a valid or an invalid observation mode. Specifically, mode one corresponds to the desired signal plus noise observation mode (\emph{valid}), and mode two corresponds to the pure noise mode (\emph{invalid}) due to node defect or damage. With no prior information on such local sensing modes, we introduce a learning-based distributed procedure, called the mixed detection-estimation (MDE) algorithm, based on iterative closed-loop interactions between mode learning (detection) and target estimation. The online learning step re-assesses the validity of the local observations at each iteration, thus refining the ongoing estimation update process. The convergence of the MDE algorithm is established analytically. Asymptotic analysis shows that, in the high signal-to-noise ratio (SNR) regime, the MDE estimation error converges to that of an ideal (centralized) estimator with perfect information about the node sensing modes. This is in contrast to the estimation performance of a naive average consensus based distributed estimator (without mode learning), whose estimation error blows up with an increasing SNR.


title: Self-dual binary codes from small covers and simple polytopes

abstract: We explore the connection between simple polytopes and self-dual binary codes via the theory of small covers. We first show that a small cover $M^n$ over a simple $n$-polytope $P^n$ produces a self-dual code in the sense of Kreck-Puppe if and only if $P^n$ is $n$-colorable and $n$ is odd. Then we show how to describe such a self-dual binary code in terms of the combinatorial information of $P^n$. Moreover, we can define a family of binary codes $\mathfrak{B}_k(P^n)$, $0\leq k\leq n$, from an arbitrary simple $n$-polytope $P^n$. We will give some necessary and sufficient conditions for $\mathfrak{B}_k(P^n)$ to be a self-dual code. A spinoff of our study of such binary codes gives some new ways to judge whether a simple $n$-polytope $P^n$ is $n$-colorable in terms of the associated binary codes $\mathfrak{B}_k(P^n)$. In addition, we prove that the minimum distance of the self-dual binary code obtained from a $3$-colorable simple $3$-polytope is always $4$.


title: Nematic ordering in pyrochlore antiferromagnets: high-field phase of chromium spinel oxides

abstract: Motivated by recent observation of a new high field phase near saturation in chromium spinels $A$Cr$_2$O$_4$ ($A=$ Zn, Cd, Hg), we study the $S = 3/2$ pyrochlore Heisenberg antiferromagnet with biquadratic interactions. Magnon instability analysis at the saturation field reveals that a very small biquadratic interaction can induce magnon pairing in pyrochlore antiferromagnets, which leads to the emergence of a ferro-quadrupolar phase, or equivalently a spin nematic phase, below the saturation field. We present the magnetic phase diagram in an applied field, studying both $S=3/2$ and $S=1$ spin systems. The relevance of our result to chromium spinels is discussed.


title: The packing chromatic number of the infinite square lattice is between 13 and 15

abstract: Using a SAT-solver on top of a partial previously-known solution we improve the upper bound of the packing chromatic number of the infinite square lattice from 17 to 15. We discuss the merits of SAT-solving for this kind of problem as well as compare the performance of different encodings. Further, we improve the lower bound from 12 to 13 again using a SAT-solver, demonstrating the versatility of this technology for our approach.


title: Markovian language model of the DNA and its information content

abstract: This work proposes a markovian memoryless model for the DNA that simplifies enormously the complexity of it. We encode nucleotide sequences into symbolic sequences, called words, from which we establish meaningful length of words and group of words that share symbolic similarities. Interpreting a node to represent a group of similar words and edges to represent their functional connectivity allows us to construct a network of the grammatical rules governing the appearance of group of words in the DNA. Our model allows to predict the transition between group of words in the DNA with unprecedented accuracy, and to easily calculate many informational quantities to better characterize the DNA. In addition, we reduce the DNA of known bacteria to a network of only tens of nodes, show how our model can be used to detect similar (or dissimilar) genes in different organisms, and which sequences of symbols are responsible for the most of the information content of the DNA. Therefore, the DNA can indeed be treated as a language, a markovian language, where a "word" is an element of a group, and its grammar represents the rules behind the probability of transitions between any two groups.


title: Average $L^q$ growth and nodal sets of eigenfunctions of the Laplacian on surfaces

abstract: In a recent paper, we exhibit a link between the average local growth of Laplace eigenfunctions on surfaces and the size of their nodal set. In that paper, the average local growth is computed using the uniform - or $L^\infty$ - growth exponents on disks of wavelength radius. The purpose of this note is to prove similar results for a broader class of $L^q$ growth exponents with $q \in (1, \infty)$. More precisely, we show that the size of the nodal set is bounded above and below by the product of the average local $L^q$ growth with the frequency. We briefly discuss the relation between this new result and Yau's conjecture on the size of nodal sets.


title: FairTest: Discovering Unwarranted Associations in Data-Driven Applications

abstract: In a world where traditional notions of privacy are increasingly challenged by the myriad companies that collect and analyze our data, it is important that decision-making entities are held accountable for unfair treatments arising from irresponsible data usage. Unfortunately, a lack of appropriate methodologies and tools means that even identifying unfair or discriminatory effects can be a challenge in practice. We introduce the unwarranted associations (UA) framework, a principled methodology for the discovery of unfair, discriminatory, or offensive user treatment in data-driven applications. The UA framework unifies and rationalizes a number of prior attempts at formalizing algorithmic fairness. It uniquely combines multiple investigative primitives and fairness metrics with broad applicability, granular exploration of unfair treatment in user subgroups, and incorporation of natural notions of utility that may account for observed disparities. We instantiate the UA framework in FairTest, the first comprehensive tool that helps developers check data-driven applications for unfair user treatment. It enables scalable and statistically rigorous investigation of associations between application outcomes (such as prices or premiums) and sensitive user attributes (such as race or gender). Furthermore, FairTest provides debugging capabilities that let programmers rule out potential confounders for observed unfair effects. We report on use of FairTest to investigate and in some cases address disparate impact, offensive labeling, and uneven rates of algorithmic error in four data-driven applications. As examples, our results reveal subtle biases against older populations in the distribution of error in a predictive health application and offensive racial labeling in an image tagger.


title: Slope detection, foliations in graph manifolds, and L-spaces

abstract: A graph manifold rational homology $3$-sphere $W$ with a left-orderable fundamental group admits a co-oriented taut foliation, though it is unknown whether it admits a smooth co-oriented taut foliation. In this paper we extend the gluing theorem of arXiv:1401.7726 to graph manifold rational homology solid tori and use this to show that there are smooth foliations on the pieces of $W$ which come close to matching up on its JSJ tori. This is applied to prove that a graph manifold with left-orderable fundamental group is not an L-space.


title: Constraints on Abelian Extensions of the Standard Model from Two-Loop Vacuum Stability and $U(1)_{B-L}$

abstract: We present a renormalization group study of the scalar potential in a minimal $U(1)_{B-L}$ extension of the Standard Model involving one extra heavier Higgs and three heavy right-handed neutrinos with family universal B-L charge assignments. We implement a type-I seesaw for the masses of the light neutrinos of the Standard Model. In particular, compared to a previous study, we perform a two-loop extension of the evolution, showing that two-loop effects are essential for the study of the stability of the scalar potential up to the Planck scale. The analysis includes the contribution of the kinetic mixing between the two abelian gauge groups, which is radiatively generated by the evolution, and the one-loop matching conditions at the electroweak scale. By requiring the stability of the potential up to the Planck mass, significant constraints on the masses of the heavy neutrinos, on the gauge couplings and the mixing in the Higgs sector are identified.


title: Family symmetries and CP

abstract: CP-odd invariants, independent of basis and valid for any choice of CP transformation are a powerful tool in the study of CP. They are particularly convenient to study the CP properties of models with family symmetries. After interpreting the consequences of adding specific CP symmetries to a Lagrangian invariant under $\Delta(27)$, I use the invariant approach to systematically study Yukawa-like Lagrangians with an increasing field content in terms of $\Delta(27)$ representations. Included in the Lagrangians studied are models featuring explicit CP violation with calculable phases (referred to as explicit geometrical CP violation) and models that automatically conserve CP, despite having all the $\Delta(27)$ representations.


title: ALMA unveils a triple merger and gas exchange in a hyper-luminous radio galaxy at z=2: the Dragonfly Galaxy (II)

abstract: The Dragonfly Galaxy (MRC0152-209), at redshift z~2, is one of the most vigorously star-forming radio galaxies in the Universe. What triggered its activity? We present ALMA Cycle 2 observations of cold molecular CO(6-5) gas and dust, which reveal that this is likely a gas-rich triple merger. It consists of a close double nucleus (separation ~4 kpc) and a weak CO-emitter at ~10 kpc distance, all of which have counterparts in HST/NICMOS imagery. The hyper-luminous starburst and powerful radio-AGN were triggered at this precoalescent stage of the merger. The CO(6-5) traces dense molecular gas in the central region, and complements existing CO(1-0) data, which revealed more widespread tidal debris of cold gas. We also find ~10$^{10}$ M(sun) of molecular gas with enhanced excitation at the highest velocities. At least 20-50% of this high-excitation, high-velocity gas shows kinematics that suggests it is being displaced and redistributed within the merger, although with line-of-sight velocities of |v| < 500 km/s, this gas will probably not escape the system. The processes that drive the redistribution of cold gas are likely related to either the gravitational interaction between two kpc-scale discs, or starburst/AGN-driven outflows. We estimate that the rate at which the molecular gas is redistributed is at least ~1200 +- 500 M(sun)/yr, and could perhaps even approach the star formation rate of ~3000 +- 800 M(sun)/yr. The fact that the gas depletion and gas redistribution timescales are similar implies that dynamical processes can be important in the evolution of massive high-z galaxies.


title: Double Higgs boson production in the Standard Model with extra scalar particles

abstract: Three extensions of the scalar sector of the Standard Model are considered: one extra isosinglet, one extra isotriplet, two extra isotriplets (the Georgi-Machacek model). Double Higgs boson production cross section is calculated in all these extensions. Bounds from electroweak precision observables, signal strength measurements and custodial symmetry violation are estimated.


title: Duality of codes supported on regular lattices, with an application to enumerative combinatorics

abstract: We introduce a general class of regular weight functions on finite abelian groups, and study the combinatorics, the duality theory, and the metric properties of codes endowed with such functions. The weights are obtained by composing a suitable support map with the rank function of a graded lattice satisfying certain regularity properties. A regular weight on a group canonically induces a regular weight on the character group, and invertible MacWilliams identities always hold for such a pair of weights. Moreover, the Krawtchouk coefficients of the corresponding MacWilliams transformation have a precise combinatorial significance, and can be expressed in terms of the invariants of the underlying lattice. In particular, they are easy to compute in many examples. Several weight functions traditionally studied in Coding Theory belong to the class of weights introduced in this paper. Our lattice-theory approach also offers a control on metric structures that a regular weight induces on the underlying group. In particular, it allows to show that every finite abelian group admits weight functions that, simultaneously, give rise to MacWilliams identities, and endow the underlying group with a metric space structure. We propose a general notion of extremality for (not necessarily additive) codes in groups endowed with semi-regular supports, and establish a Singleton-type bound. We then investigate the combinatorics and duality theory of extremal codes, extending classical results on the weight and distance distribution of error-correcting codes. Finally, we apply the theory of MacWilliams identities to enumerative combinatorics problems, obtaining closed formulae for the number of rectangular matrices over a finite having prescribed rank and satisfying some linear conditions.


title: The flexibility of optical metrics

abstract: We firstly revisit the importance, naturalness and limitations of the so-called optical metrics for describing the propagation of light rays in the limit of geometric optics. We then exemplify their flexibility and nontriviality in some nonlinear material media and in the context of nonlinear theories of the electromagnetism, both underlain by curved backgrounds, where optical metrics could be flat and impermeable membranes only to photons could be conceived, respectively. Finally, we underline and discuss the relevance and potential applications of our analyses in a broad sense, ranging from material media to compact astrophysical systems.


title: Innovative Science

abstract: Sir, We write as senior scientists about a problem vital to the scientific enterprise and prosperity. Nowadays, funding is a lengthy and complex business. First, universities themselves must approve all proposals for submission. Funding agencies then subject those that survive to peer review, a process by which a few researchers, usually acting anonymously, assess a proposal's chances that it will achieve its goals, is the best value for money, is relevant to a national priority and will impact on a socio-economic problem. Only 25% of proposals received by the funding agencies are funded. These protracted processes force researchers to exploit existing knowledge, severely discourage open-ended studies and are hugely time-consuming. They are also new: before 1970, few researchers wrote proposals. Now they are virtually mandatory.


title: Random Unitary Evolution Model of Quantum Darwinism with pure decoherence

abstract: We study the behavior of Quantum Darwinism (Zurek, [8]) within the iterative, random unitary operations qubit-model of pure decoherence (Novotny et al, [6]). We conclude that Quantum Darwinism, which describes the quantum mechanical evolution of an open system S from the point of view of its environment E, is not a generic phenomenon, but depends on the specific form of input states and on the type of S-E-interactions. Furthermore, we show that within the random unitary model the concept of Quantum Darwinism enables one to explicitly construct and specify artificial input states of environment E that allow to store information about an open system S of interest with maximal efficiency.


title: Mapping Unseen Words to Task-Trained Embedding Spaces

abstract: We consider the supervised training setting in which we learn task-specific word embeddings. We assume that we start with initial embeddings learned from unlabelled data and update them to learn task-specific embeddings for words in the supervised training data. However, for new words in the test set, we must use either their initial embeddings or a single unknown embedding, which often leads to errors. We address this by learning a neural network to map from initial embeddings to the task-specific embedding space, via a multi-loss objective function. The technique is general, but here we demonstrate its use for improved dependency parsing (especially for sentences with out-of-vocabulary words), as well as for downstream improvements on sentiment analysis.


title: Baryon chiral perturbation theory extended beyond the low-energy region

abstract: We consider an extension of the one-nucleon sector of baryon chiral perturbation theory beyond the low-energy region. The applicability of this approach for higher energies is restricted to small scattering angles, i.e. the kinematical region, where the quark structure of hadrons cannot be resolved. The main idea is to re-arrange the low-energy effective Lagrangian according to a new power counting and to exploit the freedom of the choice of the renormalization condition for loop diagrams. We generalize the extended on-mass-shell scheme for the one-nucleon sector of baryon chiral perturbation theory by choosing a sliding scale, that is we expand the physical amplitudes around kinematical points beyond the threshold. This requires the introduction of complex-valued renormalized coupling constants which can be either extracted from experimental data, or calculated using the renormalization group evolution of coupling constants fixed in threshold region.


title: Quantum deformations of the flat space superstring

abstract: We discuss a quantum deformation of the Green-Schwarz superstring on flat space, arising as a contraction limit of the corresponding deformation of AdS_5 x S^5. This contraction limit turns out to be equivalent to a previously studied limit that yields the so-called mirror model - the model obtained from the light cone gauge fixed AdS_5 x S^5 string by a double Wick rotation. Reversing this logic, the AdS_5 x S^5 superstring is the double Wick rotation of a quantum deformation of the flat space superstring. This quantum deformed flat space string realizes symmetries of timelike kappa-Poincare type, and is T dual to dS_5 x H^5, indicating interesting relations between symmetry algebras under T duality. Our results directly extend to AdS_2 x S^2 x T^6 and AdS_3 x S^3 x T^4, and beyond string theory to many (semi)symmetric space coset sigma models, such as for example a deformation of the four dimensional Minkowski sigma model with timelike kappa-Poincare symmetry. We also discuss possible null and spacelike deformations.


title: Moments of the eigenvalue densities and of the secular coefficients of $\beta$-ensembles

abstract: We compute explicit formulae for the moments of the densities of the eigenvalues of the classical $\beta$-ensembles for finite matrix dimension as well as the expectation values of the coefficients of the characteristic polynomials. In particular, the moments are linear combinations of averages of Jack polynomials, whose coefficients are related to specific examples of Jack characters.


title: Security-aware selection of Web Services for Reliable Composition

abstract: Dependability is an important characteristic that a trustworthy computer system should have. It is a measure of Availability, Reliability, Maintainability, Safety and Security. The focus of our research is on security of web services. Web services enable the composition of independent services with complementary functionalities to produce value-added services, which allows organizations to implement their core business only and outsource other service components over the Internet, either pre-selected or on-the-fly. The selected third party web services may have security vulnerabilities. Vulnerable web services are of limited practical use. We propose to use an intrusion-tolerant composite web service for each functionality that should be fulfilled by a third party web service. The third party services employed in this approach should be selected based on their security vulnerabilities in addition to their performance. The security vulnerabilities of the third party services are assessed using a penetration testing tool. In this paper we present our preliminary research work.


title: Additivity properties of sofic entropy and measures on model spaces

abstract: Sofic entropy is an invariant for probability-preserving actions of sofic groups. It was introduced a few years ago by Lewis Bowen, and shown to extend the classical Kolmogorov-Sinai entropy from the setting of amenable groups. Some parts of Kolmogorov-Sinai entropy theory generalize to sofic entropy, but in other respects this new invariant behaves less regularly. This paper explores conditions under which sofic entropy is additive for Cartesian products of systems. It is always subadditive, but the reverse inequality can fail. We define a new entropy-notion in terms of probability distributions on the spaces of good models of an action. Using this, we prove a general lower bound for the sofic entropy of a Cartesian product in terms of separate quantities for the two factor systems involved. We also prove that this lower bound is optimal in a certain sense, and use it to derive some sufficient conditions for the strict additivity of sofic entropy itself. Various other properties of this new entropy notion are also developed.


title: Value Automata with Filters

abstract: We propose to study value automata with filters, a natural generalization of regular cost automata to nondeterminism. Models such as weighted automata and Parikh automata appear naturally as specializations. Results on the expressiveness of this model offer a general understanding of the behavior of the models that arise as special cases. A landscape of such restrictions is drawn.


title: The normalized Laplacian spectrum of subdivisions of a graph

abstract: Determining and analyzing the spectra of graphs is an important and exciting research topic in theoretical computer science. The eigenvalues of the normalized Laplacian of a graph provide information on its structural properties and also on some relevant dynamical aspects, in particular those related to random walks. In this paper, we give the spectra of the normalized Laplacian of iterated subdivisions of simple connected graphs. As an example of application of these results we find the exact values of their multiplicative degree-Kirchhoff index, Kemeny's constant and number of spanning trees.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Literature Review Of Attribute Level And Structure Level Data Linkage Techniques

abstract: Data Linkage is an important step that can provide valuable insights for evidence-based decision making, especially for crucial events. Performing sensible queries across heterogeneous databases containing millions of records is a complex task that requires a complete understanding of each contributing databases schema to define the structure of its information. The key aim is to approximate the structure and content of the induced data into a concise synopsis in order to extract and link meaningful data-driven facts. We identify such problems as four major research issues in Data Linkage: associated costs in pair-wise matching, record matching overheads, semantic flow of information restrictions, and single order classification limitations. In this paper, we give a literature review of research in Data Linkage. The purpose for this review is to establish a basic understanding of Data Linkage, and to discuss the background in the Data Linkage research domain. Particularly, we focus on the literature related to the recent advancements in Approximate Matching algorithms at Attribute Level and Structure Level. Their efficiency, functionality and limitations are critically analysed and open-ended problems have been exposed.


title: On the recovery of traveling water waves with vorticity from the pressure at the bed

abstract: We propose higher-order approximation formulae recovering the surface elevation from the pressure at the bed and the background shear flow for small-amplitude Stokes and solitary water waves. They offer improvements over the pressure transfer function and the hydrostatic approximation. The formulae compare reasonably well with asymptotic approximations of the exact relation between the pressure at the bed and the surface wave in the zero vorticity case, but they incorporate the effects of vorticity through solutions of the Rayleigh equation. Several examples are discussed.


title: Index theory for partial-bijections

abstract: We offer streamlined proofs of fundamental theorems regarding the index theory for partial self-maps of an infinite set that are bijective between cofinite subsets.


title: A quantitative version of Hawking radiation

abstract: We present a proof of the existence of the Hawking radiation for massive bosons in the Schwarzchild-de Sitter metric. It provides estimates for the rates of decay of the initial quantum state to the Hawking thermal state. The arguments in the proof include a construction of radiation fields by conformal scattering theory; a semiclassical interpretation of the blueshift effect; and the use of a WKB parametrix near the surface of a collapsing star. The proof does not rely on the spherical symmetry of the spacetime.


title: Dynamic Factor Models, Cointegration, and Error Correction Mechanisms

abstract: The paper studies Non-Stationary Dynamic Factor Models such that the factors $\mathbf F_t$ are $I(1)$ and singular, i.e. $\mathbf F_t$ has dimension $r$ and is driven by a $q$-dimensional white noise, the common shocks, with $q<r$. We show that $\mathbf F_t$ is driven by $r-c$ permanent shocks, where $c$ is the cointegration rank of $\mathbf F_t$, and $q-(r-c)<c$ transitory shocks, thus the same result as in the non-singular case for the permanent shocks but not for the transitory shocks. Our main result is obtained by combining the classic Granger Representation Theorem with recent results by Anderson and Deistler on singular stochastic vectors: if $(1-L)\mathbf F_t$ is singular and has {\it rational} spectral density then, for generic values of the parameters, $\mathbf F_t$ has an autoregressive representation with a {\it finite-degree} matrix polynomial fulfilling the restrictions of a Vector Error Correction Mechanism with $c$ error terms. This result is the basis for consistent estimation of Non-Stationary Dynamic Factor Models. The relationship between cointegration of the factors and cointegration of the observable variables is also discussed.


title: Heat assisted magnetic recording of bit patterned media beyond 10 Tb/in$^2$

abstract: The limits of the areal storage density as can be achieved with heat assisted magnetic recording (HAMR) are still an open issue. We want to address this central question and present the design of a possible bit patterned medium with an areal storage density above 10 Tb/in$^2$. The model uses hard magnetic recording grains with 5 nm diameter and 10 nm height. It assumes a realistic distribution of the Curie temperature of the underlying material as well as a realistic distribution of the grain size and the grain position. In order to compute the areal density we analyze the detailed switching behavior of a recording bit under different external conditions, which allows to compute the bit error rate of a recording process (shingled and conventional) for different grain spacings and write head positions. Hence, we are able to optimize the areal density of the presented medium.


title: Effective field theory for nuclear vibrations with quantified uncertainties

abstract: We develop an effective field theory (EFT) for nuclear vibrations. The key ingredients - quadrupole degrees of freedom, rotational invariance, and a breakdown scale around the three-phonon level - are taken from data. The EFT is developed for spectra and electromagnetic moments and transitions. We employ tools from Bayesian statistics for the quantification of theoretical uncertainties. The EFT consistently describes spectra and electromagnetic transitions for $^{62}$Ni, $^{98,100}$Ru, $^{106,108}$Pd, $^{110,112,114}$Cd, and $^{118,120,122}$Te within the theoretical uncertainties. This suggests that these nuclei can be viewed as anharmonic vibrators.


title: A user's guide to co/cartesian fibrations

abstract: We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the corresponding quasicategorical (and in particular, model-dependent) notions studied by Joyal and Lurie.


title: How to distinguish squeezed and coherent phonons in femtosecond x-ray diffuse scattering

abstract: Impulsive optical excitation can generate both coherent and squeezed phonons. The expectation value of the phonon displacement $<u_q>$ oscillates at the mode frequency for the coherent state but remains zero for a pure squeezed state. In contrast, both show oscillations in $<|u_q|^2>$ at twice the mode frequency. Therefore it can be difficult to distinguish them in a second-order measurement of the displacements, such as in first-order x-ray diffuse scattering. Here we demonstrate a simple method to distinguish squeezed from coherent atomic motion by measurement of the diffuse scattering following double impulsive excitation. We find that femtosecond optical excitation generates squeezed phonons spanning the Brillouin zone in Ge, GaAs and InSb. Our results confirm the mechanism suggested in [Nature Physics 9, 790 (2013)].


title: Parameterizing the SFC Baryogenesis Model

abstract: We have numerically explored the Scalar Field Condensate baryogenesis model for numerous sets of model's parameters, within their natural range of values. We have investigated the evolution of the baryon charge carrying field, the evolution of the baryon charge contained in the scalar field condensate and the final value of the generated baryon charge on the model's parameters: the gauge coupling constant $\alpha$, the Hubble constant at the inflationary stage $H_I$, the mass $m$, the self-coupling constants $\lambda_i$.


title: Energy Efficiency of Hybrid-ARQ under Statistical Queuing Constraints

abstract: In this paper, energy efficiency of hybrid automatic repeat request (HARQ) schemes with statistical queuing constraints is studied for both constant-rate and random Markov arrivals by characterizing the minimum energy per bit and wideband slope. The energy efficiency is investigated when either an outage constraint is imposed and (the transmission rate is selected accordingly) or the transmission rate is optimized to maximize the throughput. In both cases, it is also assumed that there is a limitation on the number of retransmissions due to deadline constraints. Under these assumptions, closed-form expressions are obtained for the minimum energy per bit and wideband slope for HARQ with chase combining (CC). Through numerical results, the performances of HARQ-CC and HARQ with incremental redundancy (IR) are compared. Moreover, the impact of source variations/burstiness, deadline constraints, outage probability, queuing constraints on the energy efficiency is analyzed.


title: Semileptonic $\Lambda_c$ decay to $\nu l^+$ and $\Lambda(1405)$

abstract: We study the semileptonic decay of $\Lambda_c$ to $\nu l^+$ and $\Lambda(1405)$, where the $\Lambda(1405)$ is seen in the invariant mass distribution of $\pi \Sigma$. We perform the hadronization of the quarks produced in the reaction in order to have a meson baryon pair in the final state and then let these hadron pairs undergo final state interaction from where the $\Lambda(1405)$ is dynamically generated. The reaction is particularly suited to study this resonance because we show that it filters I=0. It is also free of tree level $\pi \Sigma$ production, which leads to a clean signal of the resonance with no background. This same feature has as a consequence that one populates the state of the $\Lambda(1405)$ with higher mass around 1420 MeV, predicted by the chiral unitary approach. We make absolute predictions for the invariant mass distributions and find them within measurable range in present facilities. The implementation of this reaction would allow us to gain insight into the existence of the predicted two $\Lambda(1405)$ states and their nature as molecular states.


title: Markov constant and quantum instabilities

abstract: For a qualitative analysis of spectra of certain two-dimensional rectangular-well quantum systems several rigorous methods of number theory are shown productive and useful. These methods (and, in particular, a generalization of the concept of Markov constant known in Diophantine approximation theory) are shown to provide a new mathematical insight in the phenomenologically relevant occurrence of anomalies in the spectra. Our results may inspire methodical innovations ranging from the description of the stability properties of metamaterials and of certain hiddenly unitary quantum evolution models up to the clarification of the mechanisms of occurrence of ghosts in quantum cosmology.


title: Electron and hole g factors in InAs/InAlGaAs self-assembled quantum dots emitting at telecom wavelengths

abstract: We extend the range of quantum dot (QD) emission energies where electron and hole $g$ factors have been measured to the practically important telecom range. The spin dynamics in InAs/In$_{0.53}$Al$_{0.24}$Ga$_{0.23}$As self-assembled QDs with emission wavelengths at about 1.6 $\mu$m grown on InP substrate is investigated by pump-probe Faraday rotation spectroscopy in a magnetic field. Pronounced oscillations on two different frequencies, corresponding to the QD electron and hole spin precessions about the field are observed from which the corresponding $g$ factors are determined. The electron $g$ factor of about $-1.9$ has the largest negative value so far measured for III-V QDs by optical methods. This value, as well as the $g$ factors reported for other III-V QDs, differ from those expected for bulk semiconductors at the same emission energies, and this difference increases significantly for decreasing energies.


title: Infrared divergences and harmonic anomalies in the two-loop superstring effective action

abstract: We analyze the pertubative contributions to the $D^4 R^4$ and $D^6 R^4$ couplings in the low-energy effective action of type II string theory compactified on a torus $T^d$, with particular emphasis on two-loop corrections. In general, it is necessary to introduce an infrared cut-off $\Lambda$ to separate local interactions from non-local effects due to the exchange of massless states. We identify the degenerations of the genus-two Riemann surface which are responsible for power-like dependence on $\Lambda$, and give an explicit prescription for extracting the $\Lambda$-independent effective couplings. These renormalized couplings are then shown to be eigenmodes of the Laplace operator with respect to the torus moduli, up to computable anomalous source terms arising in the presence of logarithmic divergences, in precise agreement with predictions from U-duality. Our results for the two-loop $D^6 R^4$ contribution also probe essential properties of the Kawazumi-Zhang invariant


title: Nonlinear Stokes Mueller Polarimetry

abstract: The Stokes Mueller polarimetry is generalized to include nonlinear optical processes such as second- and third-harmonic generation, sum- and difference-frequency generations. The overall algebraic form of the polarimetry is preserved, where the incoming and outgoing radiations are represented by column vectors and the intervening medium is represented by a matrix. Expressions for the generalized nonlinear Stokes vector and the Mueller matrix are provided in terms of coherency and correlation matrices, expanded by higher-dimensional analogues of Pauli matrices. In all cases, the outgoing radiation is represented by the conventional $4\times 1$ Stokes vector, while dimensions of the incoming radiation Stokes vector and Mueller matrix depend on the order of the process being examined. In addition, relation between nonlinear susceptibilities and the measured Mueller matrices are explicitly provided. Finally, the approach of combining linear and nonlinear optical elements is discussed within the context of polarimetry.


title: Prompt charmonia production and polarization at LHC in the NRQCD with kt-factorization. Part II: $\chi_c$ mesons

abstract: In the framework of kt-factorization approach,the production of prompt $\chi_c$ mesons in pp collisions at the LHC energies is studied. Our consideration is based on the off-shell amplitudes for hard partonic subprocesses $g^*g^*\to\chi_{cJ}$ and non-relativistic QCD formalism for bound states. The transverse momentum dependent (unintegrated) gluon densities in a proton were derived from Ciafaloni-Catani-Fiorani-Marchesini evolution equation or, alternatively, were chosen in accordance with Kimber-Martin-Ryskin prescription. Taking into account both color singlet and color octet contributions, we deduce the corresponding non-perturbative long-distance matrix elements from the fits to the latest ATLAS data on $\chi_{c1}$ and $\chi_{c2}$ transverse momentum distributions at $\sqrt s = 7$ TeV. We find that these distributions at small and moderate pt are formed mainly by the color singlet components. We successfully described the data on the differential cross sections and relative production rates $\sigma(\chi_{c2})/\sigma(\chi_{c1})$ presented by the ATLAS, CMS and LHCb Collaborations. We find that the fit points to unequal wave functions of $\chi_{c1}$ and $\chi_{c2}$ states.


title: Supersymmetric Z' decays at the LHC

abstract: Searching for Z' bosons, predicted in GUT-inspired U(1)' gauge models and in the Sequential Standard Model, is one of the main challenges of the experiments carried out at the Large Hadron Collider. Such searches have so far focused on high-mass dilepton pairs, assuming that the Z' has only Standard Model decay modes, and have set mass exclusion limits around 2.5-3 TeV. In this talk, I investigate supersymmetric Z' decays at 14 TeV LHC, extending the MSSM in such a way to accommodate extra heavy gauge bosons. In particular, I study Z' decays into pairs of sleptons, charginos and neutralinos, leading to final states with leptons and missing energy, and present results for few reference points of the parameter space, consistent with a SM-like Higgs boson with a mass around 125 GeV. I also discuss the feasibility to search for Dark Matter candidates, by analysing Z' decays into the lightest MSSM neutralinos.


title: Learning Data-driven Reflectance Priors for Intrinsic Image Decomposition

abstract: We propose a data-driven approach for intrinsic image decomposition, which is the process of inferring the confounding factors of reflectance and shading in an image. We pose this as a two-stage learning problem. First, we train a model to predict relative reflectance ordering between image patches (`brighter', `darker', `same') from large-scale human annotations, producing a data-driven reflectance prior. Second, we show how to naturally integrate this learned prior into existing energy minimization frameworks for intrinsic image decomposition. We compare our method to the state-of-the-art approach of Bell et al. on both decomposition and image relighting tasks, demonstrating the benefits of the simple relative reflectance prior, especially for scenes under challenging lighting conditions.


title: An inconsistency in the spectrum of bosonic open 2-brane

abstract: We show that the spectrum of a bosonic open 2-brane does not contain any massless states to take the role of gravitons. Moreover, the spectrum of this open 2-brane only contains half integer mass squared values.


title: Optimality of Rate Balancing in Wireless Sensor Networks

abstract: We consider the problem of distributed binary hypothesis testing in a parallel network topology where sensors independently observe some phenomenon and send a finite rate summary of their observations to a fusion center for the final decision. We explicitly consider a scenario under which (integer) rate messages are sent over an error free multiple access channel, modeled by a sum rate constraint at the fusion center. This problem was previously studied by Chamberland and Veeravalli, who provided sufficient conditions for the optimality of one bit sensor messages. Their result is however crucially dependent on the feasibility of having as many one bit sensors as the (integer) sum rate constraint of the multiple access channel, an assumption that can often not be satisfied in practice. This prompts us to consider the case of an a-priori limited number of sensors and we provide sufficient condition under which having no two sensors with rate difference more than one bit, so called rate balancing, is an optimal strategy with respect to the Bhattacharyya distance between the hypotheses at the input to the fusion center. We further discuss explicit observation models under which these sufficient conditions are satisfied.


title: Negative Full Counting Statistics Arise From Interference Effects

abstract: The Keldysh-ordered full counting statistics is a quasi-probability distribution describing the fluctuations of a time-integrated quantum observable. While it is well known that this distribution can fail to be positive, the interpretation and origin of this negativity has been somewhat unclear. Here, we show how the full counting statistics can be tied to trajectories through Hilbert space, and how this directly connects negative quasi-probabilities to an unusual interference effect. Our findings are illustrated with the example of energy fluctuations in a driven bosonic resonator; we discuss how negative quasi-probability here could be detected experimentally using superconducting microwave circuits.


title: Mars as a comet: Solar wind interaction on a large scale

abstract: Looking at the Mars-solar wind interaction on a larger spatial scale than the near Mars region, the planet can be seen as an ion source interacting with the solar wind, in many ways like a comet, but with a smaller ion source region. Here we study the interaction between Mars and the solar wind using a hybrid model (particle ions and fluid electrons). We find that the solar wind is disturbed by Mars out to 100 Mars radii downstream of the planet, and beyond. On this large scale it is clear that the escaping ions can be classified into two different populations. A polar plume of ions picked-up by the solar wind, and a more fluid outflow of ions behind the planet. The outflow increases linear with the production up to levels of observed outflow rates, then the escape levels off for higher production rates.


title: The KK-theory of amalgamated free products

abstract: We prove a long exact sequence in KK-theory for both full and reduced amalgamated free products in the presence of conditional expectations. In the course of the proof, we established the KK-equivalence between the full amalgamated free product of two unital C*-algebras and a newly defined reduced amalgamated free product that is valid even for non GNS-faithful conditional expectations. Our results unify, simplify and generalize all the previous results obtained before by Cuntz, Germain and Thomsen.


title: Effect-Dependent Transformations for Concurrent Programs

abstract: We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of general effect-based program equivalences, including a parallelization equation that specifies sufficient conditions for replacing sequential composition with parallel composition. Effect annotations are relative to abstract locations specified by contracts rather than physical footprints allowing us in particular to show the soundness of some transformations involving fine-grained concurrent data structures, such as Michael-Scott queues, that allow concurrent access to different parts of mutable data structures. Our semantics is based on refining a trace-based semantics for first-order programs due to Brookes. By moving from concrete to abstract locations, and adding type refinements that capture the possible side-effects of both expressions and their concurrent environments, we are able to validate many equivalences that do not hold in an unrefined model. The meanings of types are expressed using a game-based logical relation over sets of traces. Two programs $e_1$ and $e_2$ are logically related if one is able to solve a two-player game: for any trace with result value $v_1$ in the semantics of $e_1$ (challenge) that the player presents, the opponent can present an (response) equivalent trace in the semantics of $e_2$ with a logically related result value $v_2$.


title: Modified Newton-Raphson GRAPE methods for optimal control of spin systems

abstract: Quadratic convergence throughout the active space is achieved for the gradient ascent pulse engineering (GRAPE) family of quantum optimal control algorithms. We demonstrate in this communication that the Hessian of the GRAPE fidelity functional is unusually cheap, having the same asymptotic complexity scaling as the functional itself. This leads to the possibility of using very efficient numerical optimization techniques. In particular, the Newton-Raphson method with a rational function optimization (RFO) regularized Hessian is shown in this work to require fewer system trajectory evaluations than any other algorithm in the GRAPE family. This communication describes algebraic and numerical implementation aspects (matrix exponential recycling, Hessian regularization, etc.) for the RFO Newton-Raphson version of GRAPE and reports benchmarks for common spin state control problems in magnetic resonance spectroscopy.


title: Power domination and zero forcing

abstract: The power domination number arises from the monitoring of electrical networks and its determination is an important problem. Upper bounds for power domination numbers can be obtained by constructions. Lower bounds for the power domination number of several families of graphs are known, but they usually arise from specific properties of each family and the methods do not generalize. In this paper we exploit the relationship between power domination and zero forcing to obtain the first general lower bound for the power domination number. We apply this bound to obtain results for both the power domination of tensor products and the zero-forcing number of lexicographic products of graphs. We also establish results for the zero forcing number of tensor products and Cartesian products of graphs.


title: Hierarchical Bayesian approach for estimating physical properties in spiral galaxies: Age Maps for M74

abstract: One of the fundamental goals of modern Astronomy is to estimate the physical parameters of galaxies from images in different spectral bands. We present a hierarchical Bayesian model for obtaining age maps from images in the \Ha\ line (taken with Taurus Tunable Filter (TTF)), ultraviolet band (far UV or FUV, from GALEX) and infrared bands (24, 70 and 160 microns ($\mu$m), from Spitzer). As shown in S\'anchez-Gil et al. (2011), we present the burst ages for young stellar populations in the nearby and nearly face on galaxy M74. As it is shown in the previous work, the \Ha\ to FUV flux ratio gives a good relative indicator of very recent star formation history (SFH). As a nascent star-forming region evolves, the \Ha\ line emission declines earlier than the UV continuum, leading to a decrease in the \Ha\/FUV ratio. Through a specific star-forming galaxy model (Starburst 99, SB99), we can obtain the corresponding theoretical ratio \Ha\ / FUV to compare with our observed flux ratios, and thus to estimate the ages of the observed regions. Due to the nature of the problem, it is necessary to propose a model of high complexity to take into account the mean uncertainties, and the interrelationship between parameters when the \Ha\ / FUV flux ratio mentioned above is obtained. To address the complexity of the model, we propose a Bayesian hierarchical model, where a joint probability distribution is defined to determine the parameters (age, metallicity, IMF), from the observed data, in this case the observed flux ratios \Ha\ / FUV. The joint distribution of the parameters is described through an i.i.d. (independent and identically distributed random variables), generated through MCMC (Markov Chain Monte Carlo) techniques.


title: Representations of the discrete Heisenberg group on distribution spaces of two-dimensional local fields

abstract: We study a natural action of the Heisenberg group of integer unipotent matrices of the third order on distribution space of a two-dimensional local field for a flag on a two-dimensional scheme.


title: Spreading of correlations and Loschmidt echo after quantum quenches of a Bose gas in the Aubry-Andr\'e potential

abstract: We study the spreading of density-density correlations and the Loschmidt echo, after different sudden quenches in an interacting one dimensional Bose gas on a lattice, also in the presence of a superimposed aperiodic potential. We use a time dependent Bogoliubov approach to calculate the evolution of the correlation functions and employ the linked cluster expansion to derive the Loschmidt echo.


title: Generalizing the Frailty Assumptions in Survival Analysis

abstract: This paper studies Cox's regression hazard model with an unobservable random frailty where no specific distribution is postulated for the frailty variable, and the marginal lifetime distribution allows both parametric and non-parametric models. Laplace's approximation method and gradient search on smooth manifolds embedded in Euclidean space are applied, and a non-iterative profile likelihood optimization method is proposed for estimating the regression coefficients. The proposed method is compared with the Expected-Maximization method developed based on a gamma frailty assumption, and also in the case when the frailty model is misspecified.


title: Reconstruction of Chirp Mass in the Search of Compact Binaries

abstract: Excess energy method is used in searches of gravitational waves (GWs) produced from sources with poorly modeled characteristics. It identifies GW events by searching for a coincidence appearance of excess energy in a GW detector network. While it is sensitive to a wide range of signal morphologies, the energy outliers can be populated by background noise events (background), thereby reducing the statistical confidence of a true signal. However, if the physics of the source is partially understood, weak model dependent constraints can be imposed to suppress the background. This letter presents a novel idea of using the reconstructed chirp mass along with two goodness of fit parameters for suppressing background when search is focused on GW produced from the compact binary coalescence.


title: Exact Inference Techniques for the Analysis of Bayesian Attack Graphs

abstract: Attack graphs are a powerful tool for security risk assessment by analysing network vulnerabilities and the paths attackers can use to compromise network resources. The uncertainty about the attacker's behaviour makes Bayesian networks suitable to model attack graphs to perform static and dynamic analysis. Previous approaches have focused on the formalization of attack graphs into a Bayesian model rather than proposing mechanisms for their analysis. In this paper we propose to use efficient algorithms to make exact inference in Bayesian attack graphs, enabling the static and dynamic network risk assessments. To support the validity of our approach we have performed an extensive experimental evaluation on synthetic Bayesian attack graphs with different topologies, showing the computational advantages in terms of time and memory use of the proposed techniques when compared to existing approaches.


title: Tensor spaces - the basics

abstract: We present the basic concepts of tensor products of vector spaces, emphasizing linear algebraic and combinatorial techniques as needed for applied areas of research. The topics include (1) Introduction; (2) Basic multilinear algebra; (3) Tensor products of vector spaces; (4) Tensor products of matries; (5) Inner products on tensor spaces; (6) Direct sums and tensor products; (7) Background concepts and notation.


title: On the arithmetic of density

abstract: The $\kappa$-density of a cardinal $\mu\ge\kappa$ is the least cardinality of a dense collection of $\kappa$-subsets of $\mu$ and is denoted by $\mathcal D(\mu,\kappa)$. The Singular Density Hypothesis (SDH) for a singular cardinal $\mu$ of cofinality $cf\mu=\kappa$ is the equation $\mathcal D(\mu,\kappa)=\mu^+$. The Generalized Density Hypothesis (GDH) for $\mu$ and $\lambda$ such that $\lambda\le\mu$ is: $\mathcal D(\mu,\lambda)=\mu$ if $cf\mu\not=cf\lambda$ and $\mathcal D(\mu,\lambda)=\mu^+$ if $cf\mu=cf\lambda$. Density is shown to satisfy Silver's theorem. The most important case is: Theorem 2.6. If $\kappa=cf\kappa<\theta=cf\mu<\mu$ and the set of cardinals $\lambda<\mu$ of cofinality $\kappa$ that satisfy the \textsf{SDH} is stationary in $\mu$ then the SDH holds at $\mu$. A more general version is given in Theorem 2.8 A corollary of Theorem 2.6 is: Theorem 3.2 If the Singular Density Hypothesis holds for all sufficiently large singular cardinals of some fixed cofinality $\kappa$, then for all cardinals $\lambda$ with $cf\lambda \ge \kappa$, for all sufficiently large $\mu$, the GDH holds.


title: On Modeling and Estimation for the Relative Risk and Risk Difference

abstract: A common problem in formulating models for the relative risk and risk difference is the variation dependence between these parameters and the baseline risk, which is a nuisance model. We address this problem by proposing the conditional log odds-product as a preferred nuisance model. This novel nuisance model facilitates maximum-likelihood estimation, but also permits doubly-robust estimation for the parameters of interest. Our approach is illustrated via simulations and a data analysis.


title: Large deviations for Markov processes with resetting

abstract: Markov processes restarted or reset at random times to a fixed state or region in space have been actively studied recently in connection with random searches, foraging, and population dynamics. Here we study the large deviations of time-additive functions or observables of Markov processes with resetting. By deriving a renewal formula linking generating functions with and without resetting we are able to obtain the rate function of such observables, characterizing the likelihood of their fluctuations in the long-time limit. We consider as an illustration the large deviations of the area of the Ornstein-Uhlenbeck process with resetting. Other applications involving diffusions, random walks, and jump processes with resetting or catastrophes are discussed.


title: AC-driven microwave loss modulation in a fluxonic metamaterial

abstract: We introduce a fluxonic metamaterial on the basis of nanopatterned superconducting Nb microstrips and employ it for modulation and synthesis of quantized loss levels in the lower GHz range by a sine-wave quasistatic ac drive. The nanopatterns are uniaxial nanogrooves with identical and different slope steepness, which induce a pinning potential of the washboard type for Abrikosov vortices. For the fundamental matching field, when the location of vortex rows geometrically matches the nanogrooves, the following effects are observed: The forward transmission coefficient $S_{21}(f)$ of the microstrips can be controllably modulated within a range of about $3$\,dB by the ac current. For the sample with symmetric grooves, depending on the choice of the operation point in the current-voltage curve, the shape and the duty cycle of the output signal can be tuned. For the sample with asymmetric grooves, depending on the ac amplitude, a sine-to-triangular or a sine-to-rectangular pulse shape conversion is observed. The possibility of synthesizing quantized loss levels by a serial connection of the two samples with different nanopatterns is exemplified and can be used for the development of multilevel excess-loss-based fluxonic devices.


title: Distinct solutions of finite-dimensional complementarity problems

abstract: Complementarity problems often permit distinct solutions, a fact of major significance in optimization, game theory and other fields. In this paper, we develop a numerical technique for computing multiple isolated solutions of complementarity problems, starting from the same initial guess. This technique, called deflation, is applied in conjunction with existing algorithms that reformulate the complementarity problem as the rootfinding problem of a semismooth residual. After one solution is found, the idea of deflation is to apply operators to the arguments of the corresponding semismooth reformulation to ensure that solvers will not converge to that same solution again. This ensures that if the semismooth solver is restarted from the same initial guess and it converges, it will converge to a different solution. We prove theoretical results on the effectiveness of the method, and apply it to several difficult finite-dimensional complementarity problems from the literature. While deflation is not guaranteed to find all solutions, for every problem considered with a finite number of solutions, we identify initial guesses from which all known solutions are computed with deflation.


title: On the Unboundedness of Higher Regularity Sobolev Norms of Solutions for the Critical Schr\"odinger-Debye System with Vanishing Relaxation Delay

abstract: We consider the Schr\"odinger-Debye system in $\mathbb{R}^n$, for $n=3,4$. Developing on previously known local well-posedness results, we start by establishing global well-posedness in $H^1(\mathbb{R}^3)\times L^2(\mathbb{R}^3)$ for a broad class of initial data. We then concentrate on the initial value problem in $n=4$, which is the energy-critical dimension for the corresponding cubic nonlinear Schr\"odinger equation. We start by proving local well-posedness in $H^1(\mathbb{R}^4)\times H^1(\mathbb{R}^4)$. Then, for the focusing case of the system, we derive a virial type identity and use it to prove that for radially symmetric smooth initial data with negative energy, there is a positive time $T_0$, depending only on the data, for which, either the $H^1(\mathbb{R}^4)\times H^1(\mathbb{R}^4)$ solutions blow-up in $[0,T_0]$, or the higher regularity Sobolev norms are unbounded on the intervals $[0, T]$, for $T>T_0$, as the delay parameter vanishes. We finish by presenting a global well-posedness result for regular initial data which is small in the $H^1(\mathbb{R}^4)\times H^1(\mathbb{R}^4)$ norm.


title: Information equilibrium as an economic principle

abstract: A general information equilibrium model in the case of ideal information transfer is defined and then used to derive the relationship between supply (information destination) and demand (information source) with the price as the detector of information exchange between demand and supply. We recover the properties of the traditional economic supply-demand diagram. Information equilibrium is then applied to macroeconomic problems, recovering some common macroeconomic models in particular limits like the AD-AS model, IS-LM model (in a low inflation limit), the quantity theory of money (in a high inflation limit) and the Solow-Swan growth model. Information equilibrium results in empirically accurate models of inflation and interest rates, and can be used to motivate a 'statistical economics', analogous to statistical mechanics for thermodynamics.


title: Hessenberg varieties for the minimal nilpotent orbit

abstract: For a connected, simply-connected complex simple algebraic group $G$, we examine a class of Hessenberg varieties associated with the minimal nilpotent orbit. In particular, we compute the Poincar\'{e} polynomials and irreducible components of these varieties in Lie type $A$. Furthermore, we show these Hessenberg varieties to be GKM with respect to the action of a maximal torus $T\subseteq G$. The corresponding GKM graphs are then explicitly determined. Finally, we present the ordinary and $T$-equivariant cohomology rings of our varieties as quotients of those of the flag variety.


title: Distilling Model Knowledge

abstract: Top-performing machine learning systems, such as deep neural networks, large ensembles and complex probabilistic graphical models, can be expensive to store, slow to evaluate and hard to integrate into larger systems. Ideally, we would like to replace such cumbersome models with simpler models that perform equally well. In this thesis, we study knowledge distillation, the idea of extracting the knowledge contained in a complex model and injecting it into a more convenient model. We present a general framework for knowledge distillation, whereby a convenient model of our choosing learns how to mimic a complex model, by observing the latter's behaviour and being penalized whenever it fails to reproduce it. We develop our framework within the context of three distinct machine learning applications: (a) model compression, where we compress large discriminative models, such as ensembles of neural networks, into models of much smaller size; (b) compact predictive distributions for Bayesian inference, where we distil large bags of MCMC samples into compact predictive distributions in closed form; (c) intractable generative models, where we distil unnormalizable models such as RBMs into tractable models such as NADEs. We contribute to the state of the art with novel techniques and ideas. In model compression, we describe and implement derivative matching, which allows for better distillation when data is scarce. In compact predictive distributions, we introduce online distillation, which allows for significant savings in memory. Finally, in intractable generative models, we show how to use distilled models to robustly estimate intractable quantities of the original model, such as its intractable partition function.


title: Decomposing 1-Sperner hypergraphs

abstract: A hypergraph is Sperner if no hyperedge contains another one. A Sperner hypergraph is equilizable (resp., threshold) if the characteristic vectors of its hyperedges are the (minimal) binary solutions to a linear equation (resp., inequality) with positive coefficients. These combinatorial notions have many applications and are motivated by the theory of Boolean functions and integer programming. We introduce in this paper the class of $1$-Sperner hypergraphs, defined by the property that for every two hyperedges the smallest of their two set differences is of size one. We characterize this class of Sperner hypergraphs by a decomposition theorem and derive several consequences from it. In particular, we obtain bounds on the size of $1$-Sperner hypergraphs and their transversal hypergraphs, show that the characteristic vectors of the hyperedges are linearly independent over the reals, and prove that $1$-Sperner hypergraphs are both threshold and equilizable. The study of $1$-Sperner hypergraphs is motivated also by their applications in graph theory, which we present in a companion paper.


title: Nearly-free electrons in a 5d delafossite oxide metal

abstract: Understanding the role of electron correlations in strong spin-orbit transition-metal oxides is key to the realisation of numerous exotic phases including spin-orbit assisted Mott insulators, correlated topological solids, and prospective new high-temperature superconductors. To date, most attention has been focussed on the $5d$ iridium-based oxides. Here, we instead consider the Pt-based delafossite oxide PtCoO$_2$. Our transport measurements, performed on single-crystal samples etched to well-defined geometries using focussed ion-beam techniques, yield a room-temperature resistivity of only 2.1~$\mu\Omega$cm, establishing PtCoO$_2$ as the most conductive oxide known. From angle-resolved photoemission and density-functional theory, we show that the underlying Fermi surface is a single cylinder of nearly hexagonal cross-section, with very weak dispersion along k$_z$. Despite being predominantly composed of $d$-orbital character, the conduction band is remarkably steep, with an average effective mass of only 1.14$m_e$. Moreover, the sharp spectral features observed in photoemission remain well-defined with little additional broadening for over 500~meV below E$_F$, pointing to suppressed electron-electron scattering. Together, our findings establish PtCoO$_2$ as a model nearly-free electron system in a $5d$ delafossite transition-metal oxide.


title: Lower Bounds for non-Archimedean Lyapunov Exponents

abstract: Let $K$ be a complete, algebraically closed, non-Archimedean valued field, and let $\textbf{P}^1$ denote the Berkovich projective line over $K$. The Lyapunov exponent for a rational map $\phi\in K(z)$ of degree $d\geq 2$ measures the exponential rate of growth along a typical orbit of $\phi$. When $\phi$ is defined over $\mathbb{C}$, the Lyapunov exponent is bounded below by $\frac{1}{2}\log d$. In this article, we give a lower bound for $L(\phi)$ for maps $\phi$ defined over non-Archimedean fields $K$. The bound depends only on the degree $d$ and the Lipschitz constant of $\phi$. For maps $\phi$ whose Julia sets satisfy a certain boundedness condition, we are able to remove the dependence on the Lipschitz constant.


title: Elasto-capillarity Simulations based on the Navier-Stokes-Cahn-Hilliard Equations

abstract: We consider a computational model for complex-fluid-solid interaction based on a diffuse-interface model for the complex fluid and a hyperelastic-material model for the solid. The diffuse-interface complex-fluid model is described by the incompressible Navier-Stokes-Cahn-Hilliard equations with preferential-wetting boundary conditions at the fluid-solid interface. The corresponding fluid traction on the interface includes a capillary-stress contribution, and the dynamic interface condition comprises the traction exerted by the non-uniform fluid-solid surface tension. We present a weak formulation of the aggregated complex-fluid-solid-interaction problem, based on an Arbitrary-Lagrangian-Eulerian formulation of the Navier-Stokes-Cahn-Hilliard equations and a proper reformulation of the complex-fluid traction and the fluid-solid surface tension. To validate the presented complex-fluid-solid-interaction model, we present numerical results and conduct a comparison to experimental data for a droplet on a soft substrate.


title: Uniform Learning in a Deep Neural Network via "Oddball" Stochastic Gradient Descent

abstract: When training deep neural networks, it is typically assumed that the training examples are uniformly difficult to learn. Or, to restate, it is assumed that the training error will be uniformly distributed across the training examples. Based on these assumptions, each training example is used an equal number of times. However, this assumption may not be valid in many cases. "Oddball SGD" (novelty-driven stochastic gradient descent) was recently introduced to drive training probabilistically according to the error distribution - training frequency is proportional to training error magnitude. In this article, using a deep neural network to encode a video, we show that oddball SGD can be used to enforce uniform error across the training set.


title: Entanglement as a resource for local state discrimination in multipartite systems

abstract: We explore the question of using an entangled state as a universal resource for implementing quantum measurements by local operations and classical communication (LOCC). We show that for most systems consisting of three or more subsystems, there is no entangled state from the same space that can enable all measurements by LOCC. This is in direct contrast to the bipartite case, where a maximally entangled state is an universal resource. Our results are obtained showing an equivalence between the problem of local state transformation and that of entanglement-assisted local unambiguous state discrimination.


title: Composite Vector Particles in External Electromagnetic Fields

abstract: Lattice quantum chromodynamics (QCD) studies of electromagnetic properties of hadrons and light nuclei, such as magnetic moments and polarizabilities, have proven successful with the use of background field methods. With an implementation of nonuniform background electromagnetic fields, properties such as charge radii and higher electromagnetic multipole moments (for states of higher spin) can be additionally obtained. This can be achieved by matching lattice QCD calculations to a corresponding low-energy effective theory that describes the static and quasi-static response of hadrons and nuclei to weak external fields. With particular interest in the case of vector mesons and spin-1 nuclei such as the deuteron, we present an effective field theory of spin-1 particles coupled to external electromagnetic fields. To constrain the charge radius and the electric quadrupole moment of the composite spin-1 field, the single-particle Green's functions in a linearly varying electric field in space are obtained within the effective theory, providing explicit expressions that can be used to match directly onto lattice QCD correlation functions. The viability of an extraction of the charge radius and the electric quadrupole moment of the deuteron from the upcoming lattice QCD calculations of this nucleus is discussed.


title: Reciprocity and self-tuning relations without wrapping

abstract: We consider scalar Wilson operators of ${\cal N}=4$ SYM at high spin, $s$, and generic twist in the multi-color limit. We show that the corresponding (non)linear integral equations (originating from the asymptotic Bethe Ansatz equations) respect certain 'reciprocity' and functional 'self-tuning' relations up to all terms $\frac{1}{s(\ln s)^n}$ (inclusive) at any fixed 't Hooft coupling $\lambda$. Of course, this relation entails straightforwardly the well-known (homonymous) relations for the anomalous dimension at the same order in $s$. On this basis we give some evidence that wrapping corrections should enter the non-linear integral equation and anomalous dimension expansions at the next order $\frac{(\ln s)^{2}}{s^2}$, at fixed 't Hooft coupling, in such a way to re-establish the aforementioned relation (which fails otherwise).


title: Semi-stable extensions over 1-dimensional bases

abstract: Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agree for smooth varieties over ${\mathbb C}((t))$ with semi-ample canonical class.


title: Resolving Ionisation and Metallicity on Parsec Scales Across Mrk 71 with HST-WFC3

abstract: Blue Compact Dwarf (BCD) Galaxies in the nearby Universe provide a means for studying feedback mechanisms and star-formation processes in low-metallicity environments in great detail. Due to their vicinity, these local analogues to young galaxies are well suited for high-resolution studies that would be unfeasible for primordial galaxies in the high-redshift universe. Here we present HST-WFC3 observations of one such BCD, Mrk 71, one of the most powerful local starbursts known, in the light of [O II], He II, Hb, [O III], Ha, and [S II]. At D=3.44 Mpc, this extensive suite of emission line images enables us to explore the chemical and physical conditions of Mrk 71 on ~2 pc scales. Using these high spatial-resolution observations, we use emission line diagnostics to distinguish ionisation mechanisms on a pixel-by-pixel basis and show that despite the previously reported hypersonic gas and super-bubble blow out, the gas in Mrk 71 is photoionised, with no sign of shock-excited emission. Using strong-line metallicity diagnostics, we present the first 'metallicity image' of a galaxy, revealing chemically inhomogeneity on scales of <50 pc. We additionally demonstrate that while chemical structure can be lost at large spatial scales, metallicity-diagnostics can break down on spatial scales smaller than a HII region. HeII emission line images are used to identify up to six Wolf-Rayet stars in Mrk 71, three of which lie on the edge of blow-out region. This study not only demonstrates the benefits of high-resolution spatially-resolved observations in assessing the effects of feedback mechanisms, but also the limitations of fine spatial scales when employing emission-line diagnostics. Both aspects are especially relevant as we enter the era of extremely large telescopes, when observing structure on ~10 pc scales will no longer be limited to the local universe.


title: A Stochastic Beamformed Amplify-and-Forward Scheme in a Multigroup Multicast MIMO Relay Network with Per-Antenna Power Constraints

abstract: In this paper, we consider a two-hop one-way relay network for multigroup multicast transmission between long-distance users, in which the relay is equipped with multiple antennas, while the transmitters and receivers are all with a single antenna. Assuming that perfect channel state information is available, we study amplify-and-forward (AF) schemes that aim at optimizing the max-min-fair (MMF) rate. We begin by considering the classic beamformed AF (BF-AF) scheme, whose corresponding MMF design problem can be formulated as a rank-constrained fractional semidefinite program (SDP). We show that the gap between the BF-AF rate and the SDR rate associated with an optimal SDP solution is sensitive to the number of users as well as the number of power constraints in the relay system. This reveals that the BF-AF scheme may not be well suited for large-scale systems. We therefore propose the stochastic beamformed AF (SBF-AF) schemes, which differ from the BF-AF scheme in that time-varying AF weights are used. We prove that the MMF rates of the proposed SBF-AF schemes are at most $0.8317$ bits/s/Hz less than the SDR rate, irrespective of the number of users or power constraints. Thus, SBF-AF can outperform BF-AF especially in large-scale systems. Finally, we present numerical results to demonstrate the viability of our proposed schemes.


title: A flexible construction of equivariant Floer homology and applications

abstract: Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsv\'ath-Szab\'o, Lipshitz-Treumann, Szab\'o, Sarkar-Seed-Szab\'o, and others. In this paper we give another construction of equivariant Floer cohomology with respect to a finite group action and use it to prove some invariance properties of these spectral sequences; prove that some of these spectral sequences agree; improve Hendricks's Smith-type inequalities; give some theoretical and practical computability results for these spectral sequences; define some new spectral sequences conjecturally related to Sarkar-Seed-Szab\'o's; and introduce a new concordance homomorphism and concordance invariants. We also digress to prove invariance of Manolescu's reduced symplectic Khovanov homology.


title: Sharp correspondence principle and quantum measurements

abstract: We prove sharp remainder bounds for the Berezin-Toeplitz quantization and present applications to semiclassical quantum measurements.


title: The Bouncy Particle Sampler: A Non-Reversible Rejection-Free Markov Chain Monte Carlo Method

abstract: Markov chain Monte Carlo methods have become standard tools in statistics to sample from complex probability measures. Many available techniques rely on discrete-time reversible Markov chains whose transition kernels build up over the Metropolis-Hastings algorithm. We explore and propose several original extensions of an alternative approach introduced recently in Peters and de With (2012) where the target distribution of interest is explored using a continuous-time Markov process. In the Metropolis-Hastings algorithm, a trial move to a region of lower target density, equivalently "higher energy", than the current state can be rejected with positive probability. In this alternative approach, a particle moves along straight lines continuously around the space and, when facing a high energy barrier, it is not rejected but its path is modified by bouncing against this barrier. The resulting non-reversible Markov process provides a rejection-free MCMC sampling scheme. We propose several original techniques to simulate this continuous-time process exactly in a wide range of scenarios of interest to statisticians. When the target distribution factorizes as a product of factors involving only subsets of variables, such as the posterior distribution associated to a probabilistic graphical model, it is possible to modify the original algorithm to exploit this structure and update in parallel variables within each clique. We present several extensions by proposing methods to sample mixed discrete-continuous distributions and distributions restricted to a connected smooth domain. We also show that it is possible to move the particle using a general flow instead of straight lines. We demonstrate the efficiency of this methodology through simulations on a variety of applications and show that it can outperform Hybrid Monte Carlo schemes in interesting scenarios.


title: Generalized Springer Theory for D-modules on a Reductive Lie Algebra

abstract: Given a reductive group $G$, we give a description of the abelian category of $G$-equivariant $D$-modules on $\mathfrak{g}=\mathrm{Lie}(G)$, which specializes to Lusztig's generalized Springer correspondence upon restriction to the nilpotent cone. More precisely, the category has an orthogonal decomposition in to blocks indexed by cuspidal data $(L,\mathcal{E})$, consisting of a Levi subgroup $L$, and a cuspidal local system $\mathcal{E}$ on a nilpotent $L$-orbit. Each block is equivalent to the category of $D$-modules on the center $\mathfrak{z}(\mathfrak{l})$ of $\mathfrak{l}$ which are equivariant for the action of the relative Weyl group $N_G(L)/L$. The proof involves developing a theory of parabolic induction and restriction functors, and studying the corresponding monads acting on categories of cuspidal objects. It is hoped that the same techniques will be fruitful in understanding similar questions in the group, elliptic, mirabolic, quantum, and modular settings.


title: Regional and Global Science: Latin American and Caribbean publications in the SciELO Citation Index and the Web of Science

abstract: We compare the visibility of Latin American and Caribbean (LAC) publications in the Core Collection indexes of the Web of Science (WoS)--Science Citation Index Expanded, Social Sciences Citation Index, and Arts & Humanities Citation Index--and the SciELO Citation Index (SciELO CI) which was integrated into the larger WoS platform in 2014. The purpose of this comparison is to contribute to our understanding of the communication of scientific knowledge produced in Latin America and the Caribbean, and to provide some reflections on the potential benefits of the articulation of regional indexing exercises into WoS for a better understanding of geographic and disciplinary contributions. How is the regional level of SciELO CI related to the global range of WoS? In WoS, LAC authors are integrated at the global level in international networks, while SciELO has provided a platform for interactions among LAC researchers. The articulation of SciELO into WoS may improve the international visibility of the regional journals, but at the cost of independent journal inclusion criteria.


title: Recovering hidden signals of statistical anisotropy from a masked or partial CMB sky

abstract: Any isotropy violating phenomena on cosmic microwave background (CMB) induces off-diagonal correlations in the two-point function. These correlations themselves can be used to estimate the underlying anisotropic signals. Masking due to residual foregrounds, or availability of partial sky due to survey limitation, are unavoidable circumstances in CMB studies. But, masking induces additional correlations, and thus complicates the recovery of such signals. In this work, we discuss a procedure based on bipolar spherical harmonic (BipoSH) formalism to comprehensively addresses any spurious correlations induced by masking and successfully recover hidden signals of anisotropy in observed CMB maps. This method is generic, and can be applied to recover a variety of isotropy violating phenomena. Here, we illustrate the procedure by recovering the subtle Doppler boost signal from simulated boosted CMB skies, which has become possible with the unprecedented full-sky sensitivity of PLANCK probe.


title: Elliptic complexes on manifolds with boundary

abstract: We show that elliptic complexes of (pseudo)differential operators on smooth compact manifolds with boundary can always be complemented to a Fredholm problem by boundary conditions involving global pseudodifferential projections on the boundary (similarly as the spectral boundary conditions of Atiyah, Patodi and Singer for a single operator). We prove that boundary conditions without projections can be chosen if, and only if, the topological Atiyah-Bott obstruction vanishes. These results make use of a Fredholm theory for complexes of operators in algebras of generalized pseudodifferential operators of Toeplitz type which we also develop in the present paper.


title: Proving homological stability for homeomorphisms of manifolds

abstract: Following the argument for diffeomorphisms by Galatius and Randal-Williams, we prove that homeomorphisms of 1-connected manifolds of even dimension at least 6 exhibit homological stability. We deduce similar results for PL homeomorphisms and homeomorphisms as a discrete group.


title: Novel Scenarios for Majorana Neutrino Mass Generation and Leptogenesis from Kalb-Ramond Torsion

abstract: The Kalb-Ramond (KR) antisymmetric tensor field arises naturally in the gravitational multiplet of string theory. Nevertheless, the respective low-energy field theory action, in which, for reasons of gauge invariance, the only dependence on the KR field is through its field strength, constitutes an interesting model \emph{per se}. In this context, the KR field strength also acts as a totally antisymmetric torsion field, while in four space-time dimensions is \emph{dual} to an (KR) axion-like pseudoscalar field. In this context, we review here first the r\^ole of quantum fluctuations of the KR axion on the generation of Majorana mass for neutrinos, via a mixing with ordinary axions that may exist in the theory as providers of dark matter candidates. Then we proceed to discuss the r\^ole of constant in time (thus Lorentz violating) KR torsion backgrounds, that may exist in the early Universe but are completely negligible today, on inducing Leptogenesis by means of \emph{tree-level} CP violating decays of Right Handed Massive Majorana neutrinos in the presence of such H-torsion backgrounds. Some speculations regarding microscopic D-brane world models, where such scenarios may be realised, are also given.


title: Comparison of Horace and Photos Algorithms for Multi-Photon Emission in the Context of the W Boson Mass Measurement

abstract: The W boson mass measurement is sensitive to QED radiative corrections due to virtual photon loops and real photon emission. The largest shift in the measured mass, which depends on the transverse momentum spectrum of the charged lepton from the boson decay, is caused by the emission of real photons from the final-state lepton. There are a number of calculations and codes available to model the final-state photon emission. We perform a detailed study, comparing the results from the Horace and Photos implementations of the final-state multi-photon emission in the context of a direct measurement of the W boson mass at the Tevatron. Mass fits are performed using a simulation of the CDF II detector.


title: Formation of bubbly horizon in liquid-saturated porous medium by surface temperature oscillation

abstract: We study non-isothermal diffusion transport of a weakly-soluble substance in a liquid-saturated porous medium being in contact with the reservoir of this substance. The surface temperature of the porous medium half-space oscillates in time, which results in a decaying solubility wave propagating deep into the porous medium. In such a system, the zones of saturated solution and non-dissolved phase coexist with the zones of undersaturated solution. The effect is firstly considered for the case of annual oscillation of the surface temperature of water-saturated ground being in contact with atmosphere. We reveal the phenomenon of formation of a near-surface bubbly horizon due to the temperature oscillation. An analytical theory of the phenomenon is developed. Further, the treatment is extended to the case of higher frequency oscillations and case of weakly-soluble solids and liquids.


title: Safety technology for train based on multi-sensors and braking system

abstract: This work deals with integration and transmission of safety information for smart railway vehicles and control and design of cooperative emergency brake systems for high speed trains. Due to increased speed of high-speed train, safety of passengers is becoming more critical. From this perspective, three different approaches to ensure the safety of passengers are useful. These approaches are based on integrated use of multi-sensors and emergency brake system. Methodology for integrated use of sensors to obtain situation-aware safety related information and for enhanced braking is to be discussed in details in this work


title: Nonlinear combining of multiple laser beams in Kerr medium

abstract: We consider combining of multiple laser beams into a single near diffraction-limited beam by beam self-focusing (collapse) in a Kerr medium. The beams with the total power above critical are combined in the near field and then propagated in the Kerr medium. Nonlinearity results in self-focusing event, combining multiple beams into nearly a diffraction-limited beam that carries the critical power. Beam quality of the combined beam is analyzed as a function of the number of combining beams and the level of random fluctuations of the combining beams phases.


title: Secure State Estimation against Sensor Attacks in the Presence of Noise

abstract: We consider the problem of estimating the state of a noisy linear dynamical system when an unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure state estimation algorithm, and derive (optimal) bounds on the achievable state estimation error given an upper bound on the number of attacked sensors. The proposed state estimator involves Kalman filters operating over subsets of sensors to search for a sensor subset which is reliable for state estimation. To further improve the subset search time, we propose Satisfiability Modulo Theory based techniques to exploit the combinatorial nature of searching over sensor subsets. Finally, as a result of independent interest, we give a coding theoretic view of attack detection and state estimation against sensor attacks in a noiseless dynamical system.


title: Faraday Rotation, Band Splitting, and One-Way Propagation of Plasmon Waves on a Nanoparticle Chain

abstract: We calculate the dispersion relations of plasmonic waves propagating along a chain of semiconducting or metallic nanoparticles in the presence of both a static magnetic field ${\bf B}$ and a liquid crystalline host. The dispersion relations are obtained using the quasistatic approximation and a dipole-dipole approximation to treat the interaction between surface plasmons on different nanoparticles. For a plasmons propagating along a particle chain in a nematic liquid crystalline host with both ${\bf B}$ and the director parallel to the chain, we find a small, but finite, Faraday rotation angle. For ${\bf B}$ perpendicular to the chain, but director still parallel to the chain, the field couples the longitudinal and one of the two transverse plasmonic branches. This coupling is shown to split the two branches at the zero field crossing by an amount proportional to $|{\bf B}|$. In a cholesteric liquid crystal host and an applied magnetic field parallel to the chain, the dispersion relations for left- and right-moving waves are found to be different. For some frequencies, the plasmonic wave propagates only in one of the two directions.


title: Bootstrapping 2D CFTs in the Semiclassical Limit

abstract: We study two dimensional conformal field theories in the semiclassical limit. In this limit, the four-point function is dominated by intermediate primaries of particular weights along with their descendants, and the crossing equations simplify drastically. For a four-point function receiving sufficiently small contributions from the light primaries, the structure constants involving heavy primaries follow a universal formula. Applying our results to the four-point function of the $\mathbb Z_2$ twist field in the symmetric product orbifold, we produce the Hellerman bound and the logarithmically corrected Cardy formula that is valid for $h \geq c/12$.


title: Picosecond-petawatt laser-block ignition of avalanche boron fusion by ultrahigh acceleration and ultrahigh magnetic fields

abstract: Fusion energy from reacting hydrogen (protons) with the boron isotope 11 (HB11) resulting in three stable helium nuclei, is without problem of nuclear radiation in contrast to DT fusion. But the HB11 reaction driven by nanosecond laser pulses with thermal compression and ignition by lasers is extremely difficult. This changed radically when irradiation with picosecond laser pulses produces a non-thermal plasma block ignition with ultrahigh acceleration. This uses the nonlinear (ponderomotive) force to surprisingly resulting in same thresholds as DT fusion even under pessimistic assumption of binary reactions. After evaluation of reactions trapped cylindrically by kilotesla magnetic fields and using the measured highly increased HB11 fusion gains for the proof of an avalanche of the three alphas in secondary reactions, possibilities for an absolutely clean energy source at competitive costs were concluded.