title: Inventions on presenting textual items in Graphical User Interface

abstract: Although a GUI largely replaces textual descriptions by graphical icons, the textual items are not completely removed. The textual items are inevitably used in window titles, message boxes, help items, menu items and popup items. Textual items are necessary for communicating messages that are beyond the limitation of graphical messages. However, it is necessary to harness the textual items on the graphical interface in such a way that they complement each other to produce the best effect. One has to keep various considerations in mind while applying textual items in Graphical User Interface. This article illustrates a few inventions on presenting textual items in a Graphical user Interface.


title: Inventions on GUI for Eye Cursor Controls Systems

abstract: Operating a GUI through eyeball is a complex mechanism and not used as often as mouse or trackball. But there are situations where eye-mouse devices can play a tremendous role especially where the hands of the user are not available or busy to perform other activities. The difficulties of implementing an eye-cursor control system are many. The article illustrates some inventions on eye-cursor control system, which attempt to eliminate the difficulties of the prior art mechanisms.


title: Quality Sensitive Price Competition in Spectrum Oligopoly: Part II

abstract: We investigate a spectrum oligopoly market where each primary seeks to sell secondary access to its channel at multiple locations. Transmission qualities of a channel evolve randomly. Each primary needs to select a price and a set of non-interfering locations (which is an independent set in the conflict graph of the region) at which to offer its channel without knowing the transmission qualities of the channels of its competitors. We formulate the above problem as a non-cooperative game. We consider two scenarios-i) when the region is small, ii) when the region is large. In the first setting, we focus on a class of conflict graphs, known as mean valid graphs which commonly arise when the region is small. We explicitly compute a symmetric Nash equilibrium (NE); the NE is threshold type in that primaries only choose independent set whose cardinality is greater than a certain threshold. The threshold on the cardinality increases with increase in quality of the channel on sale. We show that the symmetric NE strategy profile is unique in a special class of conflict graphs (linear graph). In the second setting, we consider node symmetric conflict graphs which arises when the number of locations is large (potentially, infinite). We explicitly compute a symmetric NE that randomizes equally among the maximum independent sets at a given channel state vector. In the NE a primary only selects the maximum independent set at a given channel state vector. We show that the two symmetric NEs computed in two settings exhibit important structural difference.


title: Interaction Effects on the Magneto-optical Response of Magnetoplasmonic Dimers

abstract: The effect that dipole-dipole interactions have on the magneto-optical (MO) properties of magnetoplasmonic dimers is theoretically studied. The specific plasmonic versus magnetoplasmonic nature of the dimer's metallic components and their specific location within the dimer plays a crucial role on the determination of these properties. We find that it is possible to generate an induced MO activity in a purely plasmonic component, even larger than that of the MO one, therefore dominating the overall MO spectral dependence of the system. Adequate stacking of these components may allow obtaining, for specific spectral regions, larger MO activities in systems with reduced amount of MO metal and therefore with lower optical losses. Theoretical results are contrasted and confirmed with experiments for selected structures.


title: Composition temperature-dependent g-modes in superfluid neutron stars

abstract: We demonstrate a possibility of existence of a peculiar temperature-dependent composition $g$-modes in superfluid neutron stars. We calculate the Brunt-V$\ddot{\rm a}$is$\ddot{\rm a}$l$\ddot{\rm a}$ frequency for these modes, as well as their eigenfrequencies. The latter turn out to be rather large, up to $\sim 500$ Hz for a chosen model of a neutron star. This result indicates, in particular, that use of the barotropic equation of state may be not a good approximation for calculation of inertial modes even in most rapidly rotating superfluid neutron stars.


title: Aggregation of predictors for nonstationary sub-linear processes and online adaptive forecasting of time varying autoregressive processes

abstract: In this work, we study the problem of aggregating a finite number of predictors for nonstationary sub-linear processes. We provide oracle inequalities relying essentially on three ingredients: (1) a uniform bound of the $\ell^1$ norm of the time varying sub-linear coefficients, (2) a Lipschitz assumption on the predictors and (3) moment conditions on the noise appearing in the linear representation. Two kinds of aggregations are considered giving rise to different moment conditions on the noise and more or less sharp oracle inequalities. We apply this approach for deriving an adaptive predictor for locally stationary time varying autoregressive (TVAR) processes. It is obtained by aggregating a finite number of well chosen predictors, each of them enjoying an optimal minimax convergence rate under specific smoothness conditions on the TVAR coefficients. We show that the obtained aggregated predictor achieves a minimax rate while adapting to the unknown smoothness. To prove this result, a lower bound is established for the minimax rate of the prediction risk for the TVAR process. Numerical experiments complete this study. An important feature of this approach is that the aggregated predictor can be computed recursively and is thus applicable in an online prediction context.


title: Active-set prediction for interior point methods using controlled perturbations

abstract: We propose the use of controlled perturbations to address the challenging question of optimal active-set prediction for interior point methods. Namely, in the context of linear programming, we consider perturbing the inequality constraints/bounds so as to enlarge the feasible set. We show that if the perturbations are chosen appropriately, the solution of the original problem lies on or close to the central path of the perturbed problem. We also find that a primal-dual path-following algorithm applied to the perturbed problem is able to accurately predict the optimal active set of the original problem when the duality gap for the perturbed problem is not too small; furthermore, depending on problem conditioning, this prediction can happen sooner than predicting the active set for the perturbed problem or when the original one is solved. Encouraging preliminary numerical experience is reported when comparing activity prediction for the perturbed and unperturbed problem formulations.


title: Inventions on using sound and speech in GUI

abstract: Voice Recognition (VR) facilitates a human interaction with the machine. VR may be used to replace the manual task of pushing buttons on a wireless telephone keypad. This is particularly useful when the hands of the user are busy with other activities like driving a car. However, the VRS system has several limitations. The VRS requires lot of training and customization in order to be effectively used by individual users as each individual falls into different voice patterns. Besides the voice interface is complex and is not as reliable as the keyboard or mouse. This article illustrates some interesting inventions on using sound and voice in Graphical User Interfaces.


title: Why a Global Time is Needed in a Dependable SoS

abstract: A system-of-systems (SoS) is a large information processing system formed by the integration of autonomous computer systems (called constituent systems, CS), physical machines and humans for the purpose of providing new synergistic services and/or more efficient economic processes. In a number of applications, e.g robotics, the autonomous CSs must coordinate their actions in the temporal domain to realize the desired objectives. In this paper we argue that the introduction of a proper global physical time establishes a shared view about the progress of physical time and helps to realize the temporal coordination of the autonomous CSs. The available global time can also be used to simplify the solution of many challenging problems within the SoS, such as distributed resource allocation, and helps to improve the dependability and fault-tolerance of the SoS.


title: Inventions on Using Colors in Graphical User Interfaces

abstract: Color is an important aspect of any graphical user interface (GUI). Color is used to make a GUI attractive and meaningful. But there are difficulties in using colors too. Improper use of color can result in adverse effects. Wrong colors at wrong place can make the GUI look clumsy and confusing. Apart from the aesthetics issues there are many other issues involved with colors too. One of the contradictions relating to usage of color is "The color of the GUI should be customizable to suit user preference. But at the same time it should not be customizable, as that would cause annoyance and confusion to other users." Another contraction relating to using color is "The user should be displayed all 16 million colors to select the desired color precisely, But from another angle the user should not be displayed all 16 million colors as that would create confusion and difficulty in selection." This article analyses some inventions selected from US Patent database and illustrates how the inventors have been able to solve various contradictions relating to usage of colors in Graphical User Interface.


title: Computational Fluid Dynamics Modeling of a wood-burning stove-heated sauna using NIST's Fire Dynamics Simulator

abstract: The traditional sauna is studied from a thermal and fluid dynamics standpoint using the NIST's Fire Dynamics Simulator (FDS) software. Calculations are performed in order to determine temperature and velocity fields, heat flux, soot and steam cloud transport, etc. Results are discussed in order to assess the reliability of this new kind of utilization of the FDS fire safety engineering software.


title: On the (Non)Equivalence of the Schr\"odinger and Heisenberg Pictures of Quantum Mechanics

abstract: The aim of this short Note is to show that the Schr\"odinger and Heisenberg pictures of quantum mechanics are not equivalent unless one uses a quantization rule clearly stated by Born and Jordan in their famous 1925 paper. This rule is sufficient and necessary to ensure energy conservation in Heisenberg's matrix mechanics. It follows, in particular, that Schr\"odinger and Heisenberg mechanics are not equivalent if one quantizes observables using the Weyl prescription.


title: Inventions on GUI Aesthetics

abstract: Aesthetics or "look and feel" is one of the most important features of any graphical user interface. Better aesthetics makes the interface user-friendlier and more popular. Better aesthetics helps the user to understand the meaning of various components and memorize the navigation paths. A better look and feel ultimately makes a GUI more efficient and effective. Various methods are adopted to improve the aesthetics of a GUI, such as, by using colors, using 3D graphics, using pictorial icons, using sound etc. It is important to provide links to all the important features on a desktop or on a quick access panel. But too many icons or buttons sometimes creates confusion. Hence it is important to restrict the temptation of putting everything on the first screen or load the rarely used buttons on the toolbar. One should ensure that the aesthetics of a GUI is not compromising with its accessibility and other important features. This article illustrates some inventions made on GUI aesthetics.


title: Symplectic harmonicity and generalized coeffective cohomologies

abstract: Relations between the symplectically harmonic cohomology and the coeffective cohomology of a symplectic manifold are obtained. This is achieved through a generalization of the latter, which in addition allows us to provide a coeffective version of the filtered cohomologies introduced by C.-J. Tsai, L.-S. Tseng and S.-T. Yau. We construct closed (simply connected) manifolds endowed with a family of symplectic forms $\omega_t$ such that the dimensions of these symplectic cohomology groups vary with respect to $t$. A complete study of these cohomologies is given for 6-dimensional symplectic nilmanifolds, and concrete examples with special cohomological properties are obtained on an $8$-dimensional solvmanifold and on 2-step nilmanifolds in higher dimensions.


title: Configuration and Self-averaging in disordered systems

abstract: The main aim of this work is to present two different methodologies for configuration averaging in disordered systems. The Recursion method is suitable for the calculation of spatial or self-averaging, while the Augmented space formalism averages over different possible configurations of the system. We have applied these techniques to a simple example and compared their results. Based on these, we have reexamined the concept of spatial ergodicity in disordered systems. The specific aspect, we have focused on, is the question "Why does an experimentalist often obtain the averaged result on a single sample ?" We have found that in our example of disordered graphene, the two lead to the same result within the error limits of the two methods.


title: Inventions on selecting GUI elements

abstract: Selecting an object or element is a fundamental operation in any graphic user interface. It is necessary to select an object before doing any operation (such as, dragging, copying, opening, deleting etc.) on that object. The GUI may provide features to select any single object or even multiple objects. The feature of selecting multiple objects can provides tremendous power to the GUI as the user can do complex operations on multiple objects in one go. However, the process of selection is not as simple as it appears to the user of a GUI. The internal logic of a selection mechanism can be very complex in some situations. The article describes some fundamental difficulties associated with the selection mechanism, and illustrates the solutions provided by different inventions selected from US patent database.


title: A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles

abstract: We show that the failure of the usual Verdier duality on Bun(G) leads to a new duality functor on the category of D-modules, and we study its relation to the operation of Eisenstein series.


title: A Family of Descriptive Approaches To Preferred Answer Sets

abstract: In logic programming under the answer set semantics, preferences on rules are used to choose which of the conflicting rules are applied. Many interesting semantics have been proposed. Brewka and Eiter's Principle I expresses the basic intuition behind the preferences. All the approaches that satisfy Principle I introduce a rather imperative feature into otherwise declarative language. They understand preferences as the order, in which the rules of a program have to be applied. In this paper we present two purely declarative approaches for preference handling that satisfy Principle I, and work for general conflicts, including direct and indirect conflicts between rules. The first approach is based on the idea that a rule cannot be defeated by a less preferred conflicting rule. This approach is able to ignore preferences between non-conflicting rules, and, for instance, is equivalent with the answer set semantics for the subclass of stratified programs. It is suitable for the scenarios, when developers do not have full control over preferences. The second approach relaxes the requirement for ignoring conflicting rules, which ensures that it stays in the NP complexity class. It is based on the idea that a rule cannot be defeated by a rule that is less preferred or depends on a less preferred rule. The second approach can be also characterized by a transformation to logic programs without preferences. It turns out that the approaches form a hierarchy, a branch in the hierarchy of the approaches by Delgrande et. al., Wang et. al., and Brewka and Eiter. Finally, we show an application for which the existing approaches are not usable, and the approaches of this paper produce expected results.


title: Inventions on Displaying and Resizing Windows

abstract: Windows are used quite frequently in a GUI environment. The greatest advantage of using windows is that each window creates a virtual screen space. Hence, although the physical screen space is limited to a few inches, use of windows can create unlimited screen space to display innumerable items. The use of windows facilitates the user to open and interact with multiple programs or documents simultaneously in different windows. Sometimes a single program may also open multiple windows to display various items. The user can resize the windows and move their location time to time as desired. However, there are several concerns of a window relating to its size, appearance, positioning, color, visibility, resizability etc. For example, the window should have a minimum and a maximum size, dragging and resizing the window should be easy, one window should not be obscured by another window, windows should adjust their size and location in order to match with the changes in the resolution and display environment etc. This article illustrates six patents from US Patent database solving problems relating to displaying and resizing of windows. The inventions include automatic resizing and relocating of windows, alternative modes of displaying windows to accommodate within the limited display area, combining both spatial and temporal methods to resize the window, locking and minimizing windows and making the windows invisible on specific situations.


title: Birational Geometry of Singular Moduli Spaces of O'Grady Type

abstract: Following Bayer and Macr\`{i}, we study the birational geometry of singular moduli spaces $M$ of sheaves on a K3 surface $X$ which admit symplectic resolutions. More precisely, we use the Bayer-Macr\`{i} map from the space of Bridgeland stability conditions $\mathrm{Stab}(X)$ to the cone of movable divisors on $M$ to relate wall-crossing in $\mathrm{Stab}(X)$ to birational transformations of $M$. We give a complete classification of walls in $\mathrm{Stab}(X)$ and show that every birational model of $M$ obtained by performing a finite sequence of flops from $M$ appears as a moduli space of Bridgeland semistable objects on $X$. An essential ingredient of our proof is an isometry between the orthogonal complement of a Mukai vector inside the algebraic Mukai lattice of $X$ and the N\'{e}ron-Severi lattice of $M$ which generalises results of Yoshioka, as well as Perego and Rapagnetta. Moreover, this allows us to conclude that the symplectic resolution of $M$ is deformation equivalent to the 10-dimensional irreducible holomorphic symplectic manifold found by O'Grady.


title: On Strong and Default Negation in Logic Program Updates (Extended Version)

abstract: Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation in heads of rules and optionally provide support for strong negation by means of a syntactic transformation. In this paper we pinpoint the limitations of both these approaches and argue that both types of negation should be first-class citizens in the context of updates. We identify principles that plausibly constrain their interaction but are not simultaneously satisfied by any existing rule update semantics. Then we extend one of the most advanced semantics with direct support for strong negation and show that it satisfies the outlined principles as well as a variety of other desirable properties.


title: Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics

abstract: Moving Target Defense (MTD) can enhance the resilience of cyber systems against attacks. Although there have been many MTD techniques, there is no systematic understanding and {\em quantitative} characterization of the power of MTD. In this paper, we propose to use a cyber epidemic dynamics approach to characterize the power of MTD. We define and investigate two complementary measures that are applicable when the defender aims to deploy MTD to achieve a certain security goal. One measure emphasizes the maximum portion of time during which the system can afford to stay in an undesired configuration (or posture), without considering the cost of deploying MTD. The other measure emphasizes the minimum cost of deploying MTD, while accommodating that the system has to stay in an undesired configuration (or posture) for a given portion of time. Our analytic studies lead to algorithms for optimally deploying MTD.

categories: cs.SY cs.CR cs.SI math.DS physics.soc-ph


title: Reallocation Mechanisms

abstract: We consider reallocation problems in settings where the initial endowment of each agent consists of a subset of the resources. The private information of the players is their value for every possible subset of the resources. The goal is to redistribute resources among agents to maximize efficiency. Monetary transfers are allowed, but participation is voluntary. We develop incentive-compatible, individually-rational and budget balanced mechanisms for several classic settings, including bilateral trade, partnership dissolving, Arrow-Debreu markets, and combinatorial exchanges. All our mechanisms (except one) provide a constant approximation to the optimal efficiency in these settings, even in ones where the preferences of the agents are complex multi-parameter functions.


title: Effective Chiral Symmetry Restoration for Heavy-Light Mesons

abstract: We study the spectrum of heavy-light mesons within a model with linear instantaneous confining potential. The single-quark Green function and spontaneous breaking of chiral symmetry are obtained from the Schwinger-Dyson (gap) equation. For the meson spectrum we derive a Bethe-Salpeter equation (BSE). We solve thiss equation numerically in the heavy-light limit and obtain effective restoration of chiral and $U(1)_A$ symmetries at large spins.


title: Analogy Between Gambling and Measurement-Based Work Extraction

abstract: In information theory, one area of interest is gambling, where mutual information characterizes the maximal gain in wealth growth rate due to knowledge of side information; the betting strategy that achieves this maximum is named the Kelly strategy. In the field of physics, it was recently shown that mutual information can characterize the maximal amount of work that can be extracted from a single heat bath using measurement-based control protocols, i.e., using "information engines". However, to the best of our knowledge, no relation between gambling and information engines has been presented before. In this paper, we briefly review the two concepts and then demonstrate an analogy between gambling, where bits are converted into wealth, and information engines, where bits representing measurements are converted into energy. From this analogy follows an extension of gambling to the continuous-valued case, which is shown to be useful for investments in currency exchange rates or in the stock market using options. Moreover, the analogy enables us to use well-known methods and results from one field to solve problems in the other. We present three such cases: maximum work extraction when the probability distributions governing the system and measurements are unknown, work extraction when some energy is lost in each cycle, e.g., due to friction, and an analysis of systems with memory. In all three cases, the analogy enables us to use known results in order to obtain new ones.


title: Thermodynamic Geometry of Reissener-Nordstr\"{o}m-de Sitter black hole and its extremal case

abstract: We study the thermodynamics and the different thermodynamic geometric methods of Reissener-Nordstr\"{o}m-de Sitter black hole and its extremal case, which is similar to the de Sitter black hole coupled to a scalar field, rather called an MTZ black hole. While studying the thermodynamics of the systems, we could find some abnormalities. In both cases, the thermodynamic geometric methods could give the correct explanation for the all abnormal thermodynamic behaviors in the system.


title: Assessing T cell clonal size distribution: a non-parametric approach

abstract: Clonal structure of the human peripheral T-cell repertoire is shaped by a number of homeostatic mechanisms, including antigen presentation, cytokine and cell regulation. Its accurate tuning leads to a remarkable ability to combat pathogens in all their variety, while systemic failures may lead to severe consequences like autoimmune diseases. Here we develop and make use of a non-parametric statistical approach to assess T cell clonal size distributions from recent next generation sequencing data. For 41 healthy individuals and a patient with ankylosing spondylitis, who undergone treatment, we invariably find power law scaling over several decades and for the first time calculate quantitatively meaningful values of decay exponent. It has proved to be much the same among healthy donors, significantly different for an autoimmune patient before the therapy, and converging towards a typical value afterwards. We discuss implications of the findings for theoretical understanding and mathematical modeling of adaptive immunity.


title: On some properties of a class of fractional stochastic heat equations

abstract: We consider nonlinear parabolic stochastic equations of the form $\partial_t u=\sL u + \lambda \sigma(u)\dot \xi$ on the ball $B(0,\,R)$, where $\dot \xi$ denotes some Gaussian noise and $\sigma$ is Lipschitz continuous. Here $\sL$ corresponds to an $\alpha$-stable process killed upon exiting $B(0, R)$. We will consider two types of noise; space-time white noise and spatially correlated noise. Under a linear growth condition on $\sigma$, we study growth properties of the second moment of the solutions.


title: Leveraged {ETF} implied volatilities from {ETF} dynamics

abstract: The growth of the exhange-traded fund (ETF) industry has given rise to the trading of options written on ETFs and their leveraged counterparts {(LETFs)}. We study the relationship between the ETF and LETF implied volatility surfaces when the underlying ETF is modeled by a general class of local-stochastic volatility models. A closed-form approximation for prices is derived for European-style options whose payoff depends on the terminal value of the ETF and/or LETF. Rigorous error bounds for this pricing approximation are established. A closed-form approximation for implied volatilities is also derived. We also discuss a scaling procedure for comparing implied volatilities across leverage ratios. The implied volatility expansions and scalings are tested in three well-known settings: CEV, Heston and SABR.


title: Pinning dynamic systems of networks with Markovian switching couplings and controller-node set

abstract: In this paper, we study pinning control problem of coupled dynamical systems with stochastically switching couplings and stochastically selected controller-node set. Here, the coupling matrices and the controller-node sets change with time, induced by a continuous-time Markovian chain. By constructing Lyapunov functions, we establish tractable sufficient conditions for exponentially stability of the coupled system. Two scenarios are considered here. First, we prove that if each subsystem in the switching system, i.e. with the fixed coupling, can be stabilized by the fixed pinning controller-node set, and in addition, the Markovian switching is sufficiently slow, then the time-varying dynamical system is stabilized. Second, in particular, for the problem of spatial pinning control of network with mobile agents, we conclude that if the system with the average coupling and pinning gains can be stabilized and the switching is sufficiently fast, the time-varying system is stabilized. Two numerical examples are provided to demonstrate the validity of these theoretical results, including a switching dynamical system between several stable sub-systems, and a dynamical system with mobile nodes and spatial pinning control towards the nodes when these nodes are being in a pre-designed region.


title: Leonard pairs having LB-TD form

abstract: Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$. Let $\text{Mat}_{d+1}(\mathbb{F})$ denote the $\mathbb{F}$-algebra consisting of the $(d+1) \times (d+1)$ matrices that have all entries in $\mathbb{F}$. We consider a pair of diagonalizable matrices $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$, each acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{d+1}(\mathbb{F})$. For a Leonard pair $A,A^*$ there is a nonzero scalar $q$ that is used to describe the eigenvalues of $A$ and $A^*$. In the present paper we find all Leonard pairs $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$ such that $A$ is lower bidiagonal with subdiagonal entries all $1$ and $A^*$ is irreducible tridiagonal, under the assumption that $q$ is not a root of unity. This gives a partial solution of a problem given by Paul Terwilliger.


title: Evidence for AGN Feedback in the Broad Absorption Lines and Reddening of Mrk 231

abstract: We present the first J-band spectrum of Mrk 231, which reveals a large \ion{He}{1}*$\lambda 10830$ broad absorption line with a profile similar to that of the well-known \ion{Na}{1} broad absorption line. Combining this spectrum with optical and UV spectra from the literature, we show that the unusual reddening noted by \citet{veilleux13} is explained by a reddening curve like those previously used to explain low values of total-to-selective extinction in SNe Ia. The nuclear starburst may be the origin and location of the dust. Spatially-resolved emission in the broad absorption line trough suggests nearly full coverage of the continuum emission region. The broad absorption lines reveal higher velocities in the \ion{He}{1}* lines (produced in the quasar-photoionized \ion{H}{2} region) compared with the \ion{Na}{1} and \ion{Ca}{2} lines (produced in the corresponding partially-ionized zone). {\it Cloudy} simulations show that a density increase is required between the \ion{H}{2} and partially-ionized zones to produce ionic column densities consistent with the optical and IR absorption line measurements and limits, and that the absorber lies $\sim 100\rm \, pc$ from the central engine. These results suggest that the \ion{He}{1}* lines are produced in an ordinary quasar BAL wind that impacts upon, compresses, and accelerates the nuclear starburst's dusty effluent (feedback in action), and the \ion{Ca}{2} and \ion{Na}{1} lines are produced in this dusty accelerated gas. This unusual circumstance explains the rarity of \ion{Na}{1} absorption lines; without the compression along our line of sight, Mrk~231 would appear as an ordinary FeLoBAL.


title: Optically induced superconductivity in striped La2-xBaxCuO4 by polarization-selective excitation in the near infrared

abstract: We show that superconducting interlayer coupling, which coexists with and is depressed by stripe order in La1.885Ba0.115CuO4, can be enhanced by excitation with near-infrared laser pulses. For temperatures lower than Tc = 13 K, we observe a blue-shift of the equilibrium Josephson plasma resonance, detected by terahertz-frequency reflectivity measurements. Key to this measurement is the ability to probe the optical properties at frequencies as low as 150 GHz, detecting the weak interlayer coupling strengths. For T > Tc a similar plasma resonance, absent at equilibrium, is induced up to the spin-ordering temperature TSO = 40 K. These effects are reminiscent but qualitatively different from the light-induced superconductivity observed by resonant phonon excitation in La1.675Eu0.2Sr0.125CuO6.5. Importantly, enhancement of the below-Tc interlayer coupling and its appearance above Tc are preferentially achieved when the near-infrared pump light is polarized perpendicular to the superconducting planes, likely due to more effective melting of stripe order and the less effective excitation of quasiparticles from the Cooper pair condensate when compared to in-plane excitation.


title: Quantum Gravity models - brief conceptual summary

abstract: After short historical overview we describe the difficulties with application of standard QFT methods in quantum gravity (QG). The incompatibility of QG with the use of classical continuous space-time required conceptually new approach. We present briefly three proposals: loop quantum gravity (LQG), the field-theoretic framework on noncommutative space-time and QG models formulated on discretized (triangularized) space-time. We evaluate these models as realizing expected important properties of QG: background independence, consistent quantum diffeomorphisms, noncommutative or discrete structure of space-time at very short distances, finite/renormalizable QG corrections. We only briefly outline an important issue of embedding QG into larger geometric and dynamical frameworks (e.g. supergravity, (super)strings, p-branes, M-theory), with the aim to achieve full unification of all fundamental interactions.


title: Relativistic theory of surficial Love numbers

abstract: A relativistic theory of surficial Love numbers, which characterize the surface deformation of a body subjected to tidal forces, was initiated by Damour and Nagar. We revisit this effort in order to extend it, clarify some of its aspects, and simplify its computational implementation. First, we refine the definition of surficial Love numbers proposed by Damour and Nagar, and formulate it directly in terms of the deformed curvature of the body's surface, a meaningful geometrical quantity. Second, we develop a unified theory of surficial Love numbers that applies equally well to material bodies and black holes. Third, we derive a compactness-dependent relation between the surficial and (electric-type) gravitational Love numbers of a perfect-fluid body, and show that it reduces to the familiar Newtonian relation when the compactness is small. And fourth, we simplify the tasks associated with the practical computation of the surficial and gravitational Love numbers for a material body.


title: Treelike families of multiweights

abstract: Let ${\cal T}=(T,w)$ be a weighted finite tree with leaves $1,..., n$. For any $I :=\{i_1,..., i_k \} \subset \{1,...,n\}$, let $D_I ({\cal T})$ be the weight of the minimal subtree of $T$ connecting $i_1,..., i_k$; the $D_{I} ({\cal T})$ are called $k$-weights of ${\cal T}$. Given a family of real numbers parametrized by the $k$-subsets of $\{1,..., n\}$, $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$, we say that a weighted tree ${\cal T}=(T,w)$ with leaves $1,..., n$ realizes the family if $D_I({\cal T})=D_I$ for any $ I $. We give a characterization of the families of real numbers that are realized by some weighted tree.


title: Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes

abstract: We consider the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When t is odd and n\neq 8 or t is doubly even and t\neq 8, the existence problem is completely solved; when t is singly even, many infinite families are obtained. Applications of our results to two-dimensional balanced sampling plans and optimal two-dimensional optical orthogonal codes are also discussed.


title: Nothing is Certain but Doubt and Tests

abstract: Effective software safety standards will contribute to confidence, or assurance, in the safety of the systems in which the software is used. It is infeasible to demonstrate a correlation between standards and accidents, but there is an alternative view that makes standards "testable". Software projects are subject to uncertainty; good standards reduce uncertainty more than poor ones. Similarly assurance or integrity levels in standards should define an uncertainty gradient. The paper proposes an argument -based method of reasoning about uncertainty that can be used as a basis for conducting experiments (tests) to evaluate standards.


title: Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?

abstract: Safety and assurance standards often rely on the principle that requirements errors can be minimised by expressing the requirements more formally. Although numerous case studies have shown that the act of formalising previously informal requirements finds requirements errors, this principle is really just a hypothesis. An industrially persuasive causal relationship between formalisation and better requirements has yet to be established. We describe multiple competing explanations for this hypothesis, in terms of the levels of precision, re-formulation, expertise, effort and automation that are typically associated with formalising requirements. We then propose an experiment to distinguish between these explanations, without necessarily excluding the possibility that none of them are correct.


title: Towards Assessing Necessary Competence

abstract: We sketch a series of studies and experiments designed to provide empirical evidence about the truth or falsity of claims that non-prescriptive approaches to standards demand greater competence from regulators than prescriptive approaches require.


title: The Efficacy of DO-178B

abstract: DO-178B was based on the consensus of the avionic software community as it existed in 1992. Twenty two years after publication, we have no publically available experimental data as to its efficacy. It appears to work extremely well, since there have been no hull loss accidents in passenger service ascribed to software failure. This is a comforting and surprising result. However, if we don't know why DO-178B works so well, there is a danger that we could stop doing something that really matters, which could lead to an accident.


title: On the efficacy of safety-related software standards

abstract: Difficulty of safety-related software standards to help producing software for safe systems is discussed. Some research activity and other actions are proposed to focus on and possibly resolve long-lasting related problems.


title: Cluster dynamics and cluster size distributions in systems of self-propelled particles

abstract: Systems of self-propelled particles (SPP) interacting by a velocity alignment mechanism in the presence of noise exhibit a rich clustering dynamics. It can be argued that clusters are responsible for the distribution of (local) information in these systems. Here, we investigate the statistical properties of single clusters in SPP systems, like the asymmetric spreading of clusters with respect to their moving direction. In addition, we formulate a Smoluchowski-type kinetic model to describe the evolution of the cluster size distribution (CSD). This model predicts the emergence of steady-state CSDs in SPP systems. We test our theoretical predictions in simulations of SPP with nematic interactions and find that our simple kinetic model reproduces qualitatively the transition to aggregation observed in simulations.


title: Graphical small cancellation groups with the Haagerup property

abstract: We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the graphical C'(lambda)-small cancellation condition with respect to graphs endowed with a compatible wall structure. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture and, hence, the Baum-Connes conjecture with arbitrary coefficients hold for them. As the main step we show that C'(lambda)-complexes satisfy the linear separation property. Our result provides many new examples and a general technique to show the Haagerup property for graphical small cancellation groups.


title: A complete 3-dimensional Blaschke-Santal\'o diagram

abstract: We present a complete 3-dimensional Blaschke-Santal\'o diagram for planar convex bodies with respect to the four classical magnitudes inner and outer radius, diameter and (minimal) width in euclidean spaces.


title: Fractal free energy landscapes in structural glasses

abstract: Glasses are amorphous solids whose constituent particles are caged by their neighbors and thus cannot flow. This sluggishness is often ascribed to the free energy landscape containing multiple minima (basins) separated by high barriers. Here we show, using theory and numerical simulation, that the landscape is much rougher than is classically assumed. Deep in the glass, it undergoes a "roughness transition" to fractal basins. This brings about isostaticity at jamming and marginality of glassy states near jamming. Critical exponents for the basin width, the weak force distribution, and the spatial spread of quasi-contacts at jamming can be analytically determined. Their value is found to be compatible with numerical observations. This advance therefore incorporates the jamming transition of granular materials into the framework of glass theory. Because temperature and pressure control which features of the landscape are experienced, glass mechanics and transport are expected to reflect the features of the topology we discuss here. Hitherto mysterious properties of low-temperature glasses could be explained by this approach.


title: Information Measures: the Curious Case of the Binary Alphabet

abstract: Four problems related to information divergence measures defined on finite alphabets are considered. In three of the cases we consider, we illustrate a contrast which arises between the binary-alphabet and larger-alphabet settings. This is surprising in some instances, since characterizations for the larger-alphabet settings do not generalize their binary-alphabet counterparts. Specifically, we show that $f$-divergences are not the unique decomposable divergences on binary alphabets that satisfy the data processing inequality, thereby clarifying claims that have previously appeared in the literature. We also show that KL divergence is the unique Bregman divergence which is also an $f$-divergence for any alphabet size. We show that KL divergence is the unique Bregman divergence which is invariant to statistically sufficient transformations of the data, even when non-decomposable divergences are considered. Like some of the problems we consider, this result holds only when the alphabet size is at least three.


title: Finding groups in Zariski-like structures

abstract: We study quasiminimal classes, i.e. abstract elementary classes (AECs) that arise from a quasiminimal pregeometry structure. For these classes, we develop an independence notion, and in particular, a theory of independence in $\M^{eq}$. We then generalize Hrushovski's Group Configuration Theorem to our setting. In an attempt to generalize Zariski geometries to the context of quasiminimal classes, we give the axiomatization for Zariski-like structures, and as an application of our group configuration theorem, show that groups can be found in them assuming that the pregeometry obtained from the bounded closure operator is non-trivial. Finally, we study the cover of the multiplicative group of an algebraically closed field and show that it provides an example of a Zariski-like structure.


title: Relations between Information and Estimation in Discrete-Time L\'evy Channels

abstract: Fundamental relations between information and estimation have been established in the literature for the discrete-time Gaussian and Poisson channels. In this work, we demonstrate that such relations hold for a much larger class of observation models. We introduce the natural family of discrete-time L\'evy channels where the distribution of the output conditioned on the input is infinitely divisible. For L\'evy channels, we establish new representations relating the mutual information between the channel input and output to an optimal expected estimation loss, thereby unifying and considerably extending results from the Gaussian and Poisson settings. We demonstrate the richness of our results by working out two examples of L\'evy channels, namely the gamma channel and the negative binomial channel, with corresponding relations between information and estimation. Extensions to the setting of mismatched estimation are also presented.


title: Diffusion LMS over Multitask Networks

abstract: The diffusion LMS algorithm has been extensively studied in recent years. This efficient strategy allows to address distributed optimization problems over networks in the case where nodes have to collaboratively estimate a single parameter vector. Problems of this type are referred to as single-task problems. Nevertheless, there are several problems in practice that are multitask-oriented in the sense that the optimum parameter vector may not be the same for every node. This brings up the issue of studying the performance of the diffusion LMS algorithm when it is run, either intentionally or unintentionally, in a multitask environment. In this paper, we conduct a theoretical analysis on the stochastic behavior of diffusion LMS in the case where the so-called single-task hypothesis is violated. We explain under what conditions diffusion LMS continues to deliver performance superior to non-cooperative strategies in the multitask environment. When the conditions are violated, we explain how to endow the nodes with the ability to cluster with other similar nodes to remove bias. We propose an unsupervised clustering strategy that allows each node to select, via adaptive adjustments of combination weights, the neighboring nodes with which it can collaborate to estimate a common parameter vector. Simulations are presented to illustrate the theoretical results, and to demonstrate the efficiency of the proposed clustering strategy. The framework is applied to a useful problem involving a multi-target tracking task.


title: Non-Kondo-like Electronic Structure in the Correlated Rare-Earth Hexaboride YbB$_6$

abstract: We present angle-resolved photoemission studies on the rare-earth hexaboride YbB$_6$, which has recently been predicted to be a topological Kondo insulator. Our data do not agree with the prediction and instead show that YbB$_6$ exhibits a novel topological insulator state in the absence of a Kondo mechanism. We find that the Fermi level electronic structure of YbB$_6$ has three 2D Dirac cone like surface states enclosing the Kramers' points, while the f-orbital which would be relevant for the Kondo mechanism is $\sim1$ eV below the Fermi level. Our first-principles calculation shows that the topological state which we observe in YbB$_6$ is due to an inversion between Yb $d$ and B $p$ bands. These experimental and theoretical results provide a new approach for realizing novel correlated topological insulator states in rare-earth materials.


title: Entanglement entropy of $\alpha$-vacua in de Sitter space

abstract: We consider the entanglement entropy of a free massive scalar field in the one parameter family of $\alpha$-vacua in de Sitter space by using a method developed by Maldacena and Pimentel. An $\alpha$-vacuum can be thought of as a state filled with particles from the point of view of the Bunch-Davies vacuum. Of all the $\alpha$-vacua we find that the entanglement entropy takes the minimal value in the Bunch-Davies solution. We also calculate the asymptotic value of the R\'enyi entropy and find that it increases as $\alpha$ increases. We argue these feature stem from pair condensation within the non-trivial $\alpha$-vacua where the pairs have an intrinsic quantum correlation.


title: Signal/noise enhancement strategies for stochastically estimated correlation functions

abstract: We develop strategies for enhancing the signal/noise ratio for stochastically sampled correlation functions. The techniques are general and offer a wide range of applicability. We demonstrate the potential of the approach with a generic two-state system, and then explore the practical applicability of the method for single hadron correlators in lattice quantum chromodynamics. In the latter case, we determine the ground state energies of the pion, proton, and delta baryon, as well as the ground and first excited state energy of the rho meson using matrices of correlators computed on an exemplary ensemble of anisotropic gauge configurations. In the majority of cases, we find a modest reduction in the statistical uncertainties on extracted energies compared to conventional variational techniques. However, in the case of the delta baryon, we achieve a factor of three reduction in statistical uncertainties. The variety of outcomes achieved for single hadron correlators illustrates an inherent dependence of the method on the properties of the system under consideration and the operator basis from which the correlators are constructed.


title: Novel Approach to Real Polynomial Root-finding and Matrix Eigen-solving

abstract: Univariate polynomial root-finding is both classical and important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the polynomial has no nonreal roots, but typically nonreal roots are much more numerous than the real ones. We dramatically accelerate the known algorithms in this case by exploiting the correlation between the computations with matrices and polynomials, extending the techniques of the matrix sign iteration, and exploiting the structure of the companion matrix of the input polynomial. We extend some of the proposed techniques to the approximation of the real eigenvalues of a real nonsymmetric matrix.


title: Subspace clustering of dimensionality-reduced data

abstract: Subspace clustering refers to the problem of clustering unlabeled high-dimensional data points into a union of low-dimensional linear subspaces, assumed unknown. In practice one may have access to dimensionality-reduced observations of the data only, resulting, e.g., from "undersampling" due to complexity and speed constraints on the acquisition device. More pertinently, even if one has access to the high-dimensional data set it is often desirable to first project the data points into a lower-dimensional space and to perform the clustering task there; this reduces storage requirements and computational cost. The purpose of this paper is to quantify the impact of dimensionality-reduction through random projection on the performance of the sparse subspace clustering (SSC) and the thresholding based subspace clustering (TSC) algorithms. We find that for both algorithms dimensionality reduction down to the order of the subspace dimensions is possible without incurring significant performance degradation. The mathematical engine behind our theorems is a result quantifying how the affinities between subspaces change under random dimensionality reducing projections.


title: KMS states on the C*-algebra of a higher-rank graph and periodicity in the path space

abstract: We study the KMS states of the C*-algebra of a strongly connected finite k-graph. We find that there is only one 1-parameter subgroup of the gauge action that can admit a KMS state. The extreme KMS states for this preferred dynamics are parameterised by the characters of an abelian group that captures the periodicity in the infinite-path space of the graph. We deduce that there is a unique KMS state if and only if the k-graph C*-algebra is simple, giving a complete answer to a question of Yang. When the k-graph C*-algebra is not simple, our results reveal a phase change of an unexpected nature in its Toeplitz extension.


title: An abstract inverse problem for boundary triples with an application to the Friedrichs Model

abstract: We discuss the detectable subspaces of an operator. We analyse the relation between the M-function (the abstract Dirichlet to Neumann map) and the resolvent bordered by projections onto the detectable subspaces. The abstract results are explored further by an extensive study of the Friedrichs model, together with illustrative applications to the Schroedinger and Hain-Luest-type models.


title: On (4,2)-Choosable Graphs

abstract: A graph $G$ is called $(a,b)$-choosable if for any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $a$ permissible colours, there is a $b$-tuple $L$-colouring of $G$. An $(a,1)$-choosable graph is also called $a$-choosable. In the pioneering paper on list colouring of graphs by Erd\H{o}s, Rubin and Taylor, $2$-choosable graphs are characterized. Confirming a special case of a conjecture of Erd\H{o}s--Rubin--Taylor, Tuza and Voigt proved that $2$-choosable graphs are $(2m,m)$-choosable for any positive integer $m$. On the other hand, Voigt proved that if $m$ is an odd integer, then these are the only $(2m,m)$-choosable graphs; however, when $m$ is even, there are $(2m,m)$-choosable graphs that are not $2$-choosable. A graph is called $3$-choosable-critical if it is not $2$-choosable, but all its proper subgraphs are $2$-choosable. Voigt conjectured that for every positive integer $m$, all bipartite $3$-choosable-critical graphs are $(4m,2m)$-choosable. In this paper, we determine which $3$-choosable-critical graphs are $(4,2)$-choosable, refuting Voigt's conjecture in the process. Nevertheless, a weaker version of the conjecture is true: we prove that there is an even integer $k$ such that for any positive integer $m$, every bipartite $3$-choosable-critical graph is $(2km,km)$-choosable. Moving beyond $3$-choosable-critical graphs, we present an infinite family of non-$3$-choosable-critical graphs which have been shown by computer analysis to be $(4,2)$-choosable. This shows that the family of all $(4,2)$-choosable graphs has rich structure.


title: vVote: a Verifiable Voting System

abstract: The Pret a Voter cryptographic voting system was designed to be flexible and to offer voters a familiar and easy voting experience. In this paper we present a case study of our efforts to adapt Pret a Voter to the idiosyncrasies of elections in the Australian state of Victoria. This technical report includes general background, user experience and details of the cryptographic protocols and human processes. We explain the problems, present solutions, then analyse their security properties and explain how they tie in to other design decisions. We hope this will be an interesting case study on the application of end-to-end verifiable voting protocols to real elections. A preliminary version of this paper appeared as the 10th February 2014 version of "Draft Technical Report for VEC vVote System". The team involved in developing the vVote design described in this report were: Craig Burton, Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve Schneider and Vanessa Teague.


title: Model-free quantification of time-series predictability

abstract: This paper provides insight into when, why, and how forecast strategies fail when they are applied to complicated time series. We conjecture that the inherent complexity of real-world time-series data---which results from the dimension, nonlinearity, and non-stationarity of the generating process, as well as from measurement issues like noise, aggregation, and finite data length---is both empirically quantifiable and directly correlated with predictability. In particular, we argue that redundancy is an effective way to measure complexity and predictive structure in an experimental time series and that weighted permutation entropy is an effective way to estimate that redundancy. To validate these conjectures, we study 120 different time-series data sets. For each time series, we construct predictions using a wide variety of forecast models, then compare the accuracy of the predictions with the permutation entropy of that time series. We use the results to develop a model-free heuristic that can help practitioners recognize when a particular prediction method is not well matched to the task at hand: that is, when the time series has more predictive structure than that method can capture and exploit.


title: Prospects and Limitations of Algorithmic Cooling

abstract: Heat-bath algorithmic cooling (AC) of spins is a theoretically powerful effective cooling approach, that (ideally) cools spins with low polarization exponentially better than cooling by reversible entropy manipulations alone. Here, we investigate the limitations and prospects of AC. For non-ideal and semioptimal AC, we study the impact of finite relaxation times of reset and computation spins on the achievable effective cooling. We derive, via simulations, the attainable cooling levels for given ratios of relaxation times using two semioptimal practicable algorithms. We expect this analysis to be valuable for the planning of future experiments. For ideal and optimal AC, we make use of lower bounds on the number of required reset steps, based on entropy considerations, to present important consequences of using AC as a tool for improving signal-to-noise ratio in liquid-state magnetic resonance spectroscopy. We discuss the potential use of AC for noninvasive clinical diagnosis and drug monitoring, where it may have significantly lower specific absorption rate (SAR) with respect to currently used methods.


title: Imaginary mass lune determinants

abstract: Functional determinants for a scalar field with negative mass squared are numerically evaluated on an orbifolded three-sphere, in particular on a lune and on a regular 4--polytope fundamental domain. Graphs are provided of the logdets and some Hartle-Hawking probabilities, on the basis of the dS/CFT correspondence.


title: 1-Complete semiholomorphic foliations

abstract: A semiholomorphic foliations of type (n, d) is a differentiable real manifold X of dimension 2n + d, foliated by complex leaves of complex dimension n. In the present work, we introduce an appropriate notion of pseudoconvexity (and consequently, q-completeness) for such spaces, given by the interplay of the usual pseudoconvexity, along the leaves, and the positivity of the transversal bundle. For 1-complete real analytic semiholomorphic foliations, we obtain a vanishing theorem for the CR cohomology, which we use to show an extension result for CR functions on Levi flat hypersurfaces and an embedding theorem in C^N . In the compact case, we introduce a notion of weak positivity for the transversal bundle, which allows us to construct a real analytic embedding in CP^N .


title: Size change effect on the optical behavior of ultra small metal particles

abstract: In this paper we analyse the importance of a detailed description of the electronic transitions in ultra-small nanoparticles through the optical response to very small changes of size in systems, whose dimensions are in the subnanometric scale. We present a carefully calculation of the optical response of these systems by using the exact eigen-energies and wave functions for nanospheres with diameter smaller than 10nm, to obtain the dielectric function under different conditions of confinement. The aim is to use the so obtained dielectric function to present the absorption spectra of one electron confined in a sphere in two cases: 1) infinite confinement and 2) finite confinement, in which, the value of the wells depth is carefully calculated after adjusting the number of atoms that composed each sphere, so that the energies and dipole matrix elements give a more accurate information of the optical response. Moreover, we extend the calculation of this dielectric function for obtaining the optical constants needed to find the plasmon frequency, throught a numerical method of finite elements that solves the Maxwells equations, in order to obtain the enhancement of the near electric field. We show an interesting behavior for particles sizes less than 10 nm, finding that the variation induced in the eigen-energies, through slight size changes in the particle, provides significant variations in the optical response of these nanoparticles. This effect, can be observed in the optical absorption spectra and in the localized surface plasmon energies as confirmed in recent observation of plasmonic phenomena at the subnanometer to atomic scale.


title: Galaxy and Mass Assembly (GAMA): The halo mass of galaxy groups from maximum-likelihood weak lensing

abstract: We present a maximum-likelihood weak lensing analysis of the mass distribution in optically selected spectroscopic Galaxy Groups (G$^3$Cv5) in the Galaxy And Mass Assembly (GAMA) survey, using background Sloan Digital Sky Survey (SDSS) photometric galaxies. The scaling of halo mass, $M_h$, with various group observables is investigated. Our main results are: 1) the measured relations of halo mass with group luminosity, virial volume and central galaxy stellar mass, $M_\star$, agree very well with predictions from mock group catalogues constructed from a GALFORM semi-analytical galaxy formation model implemented in the Millennium $\Lambda$CDM N-body simulation; 2) the measured relations of halo mass with velocity dispersion and projected half-abundance radius show weak tension with mock predictions, hinting at problems in the mock galaxy dynamics and their small scale distribution; 3) the median $M_h|M_\star$ measured from weak lensing depends more sensitively on the lognormal dispersion in $M_\star$ at fixed $M_h$ than it does on the median $M_\star|M_h$. Our measurements suggest an intrinsic dispersion of $\sigma_{\log(M_\star)}\sim 0.15$; 4) Comparing our mass estimates with those in the catalogue, we find that the G$^3$Cv5 mass can give biased results when used to select subsets of the group sample. Of the various new halo mass estimators that we calibrate using our weak lensing measurements, group luminosity is the best single-proxy estimator of group mass.


title: Star-Generating Vectors of Rudin's Quotient Modules

abstract: The purpose of this paper is to study a class of quotient modules of the Hardy module $H^2(D^n)$. Along with the two variables quotient modules introduced by W. Rudin, we introduce and study a large class of quotient modules, namely Rudin's quotient modules of $H^2(D^n)$. By exploiting the structure of minimal representations we obtain an explicit co-rank formula for Rudin's quotient modules.


title: Orthogonal Fault Tolerance for Dynamically Adaptive Systems

abstract: In dynamic systems that adapt to users' needs and changing environments, dependability needs cannot be avoided. This paper proposes an orthogonal fault tolerance model as a means to manage and reason about multiple fault tolerance mechanisms that co-exist in dynamically adaptive systems. One of the key challenges associated with dynamically evolving fault tolerance needs is the feature interaction problem arising from the integration of fault tolerance features. The proposed approach provides a separation of fault tolerance concerns to study the effects of integrated fault tolerance on the system. This approach uses state machine and operational semantics to reason about these interactions and inconsistencies. The proposed approach is supported by the tool NuSMV to simulate and verify the state machines against logic statements.


title: Attending to experimental physics practices and lifelong learning skills in an introductory laboratory course

abstract: We have designed an introductory laboratory course that engaged first-year undergraduate students in two complementary types of iteration: (1) iterative improvement of experiments through cycles of modeling systems, designing experiments, analyzing data, and refining models and designs; and (2) iterative improvement of self through cycles of reflecting on progress, soliciting feedback, and implementing changes to study habits and habits of mind. The course consisted of three major activities: a thermal expansion activity, which spanned the first half of the semester; final research projects, which spanned the second half of the semester; and guided student reflections, which took place throughout the duration of the course. We describe our curricular designs and report examples of student work that demonstrate students' iterative improvements in multiple contexts.


title: Going higher in the First-order Quantifier Alternation Hierarchy on Words

abstract: We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular language to the levels $\mathcal{B}\Sigma_2$ (boolean combination of formulas having only 1 alternation) and $\Sigma_3$ (formulas having only 2 alternations beginning with an existential block). Our proof works by considering a deeper problem, called separation, which, once solved for lower levels, allows us to solve membership for higher levels.


title: Unit verification procedure as a test of real time messaging-based processes

abstract: The article presents the first results of a PhD study connected to testing of safety critical medical devices: a systematically executed case study at a Hungarian manufacturer of medical devices. The article shortly describes the process of testing currently being used. Elements of the testing approach less commonly applied in software industry are emphasized . The ending point of the actual testing process in the case study is the starting point for further research: the automated analysis of the testing results. The author started to develop a new approach, using a combination of tools, and modeling a model-based test generating tool - something that is both novel and intensive as an area of research.


title: Algebras of quasi-quaternion type

abstract: We define algebras of quasi-quaternion type, which are symmetric algebras of tame representation type whose stable module category has certain structure similar to that of the algebras of quaternion type introduced by Erdmann. We observe that symmetric tame algebras that are also 2-CY-tilted are of quasi-quaternion type. We present a combinatorial construction of such algebras by introducing the notion of triangulation quivers. The class of algebras that we get contains Erdmann's algebras of quaternion type on the one hand and the Jacobian algebras of the quivers with potentials associated by Labardini to triangulations of closed surfaces with punctures on the other hand, hence it serves as a bridge between modular representation theory of finite groups and cluster algebras.


title: Bypassing Erd\H{o}s' Girth Conjecture: Hybrid Stretch and Sourcewise Spanners

abstract: An $(\alpha,\beta)$-spanner of an $n$-vertex graph $G=(V,E)$ is a subgraph $H$ of $G$ satisfying that $dist(u, v, H) \leq \alpha \cdot dist(u, v, G)+\beta$ for every pair $(u, v)\in V \times V$, where $dist(u,v,G')$ denotes the distance between $u$ and $v$ in $G' \subseteq G$. It is known that for every integer $k \geq 1$, every graph $G$ has a polynomially constructible $(2k-1,0)$-spanner of size $O(n^{1+1/k})$. This size-stretch bound is essentially optimal by the girth conjecture. It is therefore intriguing to ask if one can "bypass" the conjecture by settling for a multiplicative stretch of $2k-1$ only for \emph{neighboring} vertex pairs, while maintaining a strictly \emph{better} multiplicative stretch for the rest of the pairs. We answer this question in the affirmative and introduce the notion of \emph{$k$-hybrid spanners}, in which non neighboring vertex pairs enjoy a \emph{multiplicative} $k$-stretch and the neighboring vertex pairs enjoy a \emph{multiplicative} $(2k-1)$ stretch (hence, tight by the conjecture). We show that for every unweighted $n$-vertex graph $G$ with $m$ edges, there is a (polynomially constructible) $k$-hybrid spanner with $O(k^2 \cdot n^{1+1/k})$ edges. \indent An alternative natural approach to bypass the girth conjecture is to allow ourself to take care only of a subset of pairs $S \times V$ for a given subset of vertices $S \subseteq V$ referred to here as \emph{sources}. Spanners in which the distances in $S \times V$ are bounded are referred to as \emph{sourcewise spanners}. Several constructions for this variant are provided (e.g., multiplicative sourcewise spanners, additive sourcewise spanners and more).


title: Identification of redundant and synergetic circuits in triplets of electrophysiological data

abstract: Neural systems are comprised of interacting units, and relevant information regarding their function or malfunction can be inferred by analyzing the statistical dependencies between the activity of each unit. Whilst correlations and mutual information are commonly used to characterize these dependencies, our objective here is to extend interactions to triplets of variables to better detect and characterize dynamic information transfer. Our approach relies on the measure of interaction information (II). The sign of II provides information as to the extent to which the interaction of variables in triplets is redundant (R) or synergetic (S). Here, based on this approach, we calculated the R and S status for triplets of electrophysiological data recorded from drug-resistant patients with mesial temporal lobe epilepsy in order to study the spatial organization and dynamics of R and S close to the epileptogenic zone (the area responsible for seizure propagation). In terms of spatial organization, our results show that R matched the epileptogenic zone while S was distributed more in the surrounding area. In relation to dynamics, R made the largest contribution to high frequency bands (14-100Hz), whilst S was expressed more strongly at lower frequencies (1-7Hz). Thus, applying interaction information to such clinical data reveals new aspects of epileptogenic structure in terms of the nature (redundancy vs. synergy) and dynamics (fast vs. slow rhythms) of the interactions. We expect this methodology, robust and simple, can reveal new aspects beyond pair-interactions in networks of interacting units in other setups with multi-recording data sets (and thus, not necessarily in epilepsy, the pathology we have approached here).


title: On cycle integrals of weakly holomorphic modular forms

abstract: In this paper, we investigate cycle integrals of weakly holomorphic modular forms. We show that these integrals coincide with the cycle integrals of classical cusp forms. We use these results to define a Shintani lift from integral weight weakly holomorphic modular forms to half-integral weight holomorphic modular forms.


title: Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

abstract: External or internal domain-specific languages (DSLs) or (fluent) APIs? Whoever you are -- a developer or a user of a DSL -- you usually have to choose your side; you should not! What about metamorphic DSLs that change their shape according to your needs? We report on our 4-years journey of providing the "right" support (in the domain of feature modeling), leading us to develop an external DSL, different shapes of an internal API, and maintain all these languages. A key insight is that there is no one-size-fits-all solution or no clear superiority of a solution compared to another. On the contrary, we found that it does make sense to continue the maintenance of an external and internal DSL. The vision that we foresee for the future of software languages is their ability to be self-adaptable to the most appropriate shape (including the corresponding integrated development environment) according to a particular usage or task. We call metamorphic DSL such a language, able to change from one shape to another shape.


title: On fractional Hadamard powers of positive block matrices

abstract: Entrywise powers of matrices have been well-studied in the literature, and have recently received renewed attention in the regularization of high-dimensional correlation matrices. In this paper, we study powers of positive semidefinite block matrices $(H_{st})_{s,t=1}^n$ with complex entries. We first characterize the powers $\alpha\in\mathbb{R}$ such that the blockwise power map $(H_{st}) \mapsto (H_{st}^\alpha)$ preserves Loewner positivity. The characterization is obtained by exploiting connections with the theory of matrix monotone functions developed by Loewner. Second, we revisit previous work by Choudhury [Proc. AMS 108] who had provided a lower bound on $\alpha$ for preserving positivity when the blocks $H_{st}$ pairwise commute. We completely settle this problem by characterizing the full set of powers preserving positivity in this setting. Our characterizations generalize previous work by FitzGerald-Horn, Bhatia-Elsner, and Hiai from scalars to arbitrary block size, and in particular, generalize the Schur Product Theorem. Finally, a natural and unifying framework for studying the case of diagonalizable blocks consists of replacing real powers by general characters of the complex plane. We thus classify such characters, and generalize our results to this more general setting. In the course of our work, given $\beta\in\mathbb{Z}$, we provide lower and upper bounds for the threshold power $\alpha >0$ above which the complex characters $re^{i\theta}\mapsto r^\alpha e^{i\beta\theta}$ preserve positivity when applied entrywise to positive semidefinite matrices. In particular, we completely resolve the $n=3$ case of a question raised in 2001 by Xingzhi Zhan. As an application, we extend previous work by de Pillis [Duke Math. J. 36] by classifying the characters $K$ of the complex plane for which the map $(H_{st})_{s,t=1}^n \mapsto (K({\rm tr}(H_{st})))_{s,t=1}^n$ preserves positivity.


title: A Finite Element Method With Singularity Reconstruction for Fractional Boundary Value Problems

abstract: We consider a two-point boundary value problem involving a Riemann-Liouville fractional derivative of order $\al\in (1,2)$ in the leading term on the unit interval $(0,1)$. Generally the standard Galerkin finite element method can only give a low-order convergence even if the source term is very smooth due to the presence of the singularity term $x^{\al-1}$ in the solution representation. In order to enhance the convergence, we develop a simple singularity reconstruction strategy by splitting the solution into a singular part and a regular part, where the former captures explicitly the singularity. We derive a new variational formulation for the regular part, and establish that the Galerkin approximation of the regular part can achieve a better convergence order in the $L^2(0,1)$, $H^{\al/2}(0,1)$ and $L^\infty(0,1)$-norms than the standard Galerkin approach, with a convergence rate for the recovered singularity strength identical with the $L^2(0,1)$ error estimate. The reconstruction approach is very flexible in handling explicit singularity, and it is further extended to the case of a Neumann type boundary condition on the left end point, which involves a strong singularity $x^{\al-2}$. Extensive numerical results confirm the theoretical study and efficiency of the proposed approach.


title: Learning Subspaces of Different Dimension

abstract: We introduce a Bayesian model for inferring mixtures of subspaces of different dimensions. The key challenge in such a mixture model is specification of prior distributions over subspaces of different dimensions. We address this challenge by embedding subspaces or Grassmann manifolds into a sphere of relatively low dimension and specifying priors on the sphere. We provide an efficient sampling algorithm for the posterior distribution of the model parameters. We illustrate that a simple extension of our mixture of subspaces model can be applied to topic modeling. We also prove posterior consistency for the mixture of subspaces model. The utility of our approach is demonstrated with applications to real and simulated data.


title: Ultrathin Semiconductor Perfect Light Absorbers with High Spectral, Polarization, and Angle Selectivity for Arbitrary Wavelengths

abstract: Enabling perfect light absorption in ultrathin materials promises the development of exotic photonic devices. Here we demonstrate new strategies that can provide capabilities to rationally design ultrathin (thickness < {\lambda}/10~{\lambda}/5) semiconductor perfect absorbers for arbitrary wavelengths, including those at which the intrinsic absorption of the semiconductor is weak, e.g. Si for near-IR wavelengths. This is in stark contrast with the existing studies on ultrathin perfect absorbers, which have focused on metallic materials or highly-absorptive semiconductors. Our design strategies are built upon an intuitive model, coupled leaky mode theory that we recently developed and can turn the design for perfect absorbers to the design for leaky modes. The designed absorber is featured with extraordinary absorption enhancement, miniaturized dimension, and high selectivity for the wavelength, polarization, and angle of incident light. It can enable the development of flexible, light-weight, high-performance, cost-effective, and multifunctional optoelectronic devices that are difficult with current light absorbers.


title: Second order fluid dynamics for the unitary Fermi gas from kinetic theory

abstract: We compute second order transport coefficients of the dilute Fermi gas at unitarity. The calculation is based on kinetic theory and the Boltzmann equation at second order in the Knudsen expansion. The second order transport coefficients describe the shear stress relaxation time, non-linear terms in the strain-stress relation, and non-linear couplings between vorticity and strain. An exact calculation in the dilute limit gives $\tau_R=\eta/P$, where $\tau_R$ is the shear stress relaxation time, $\eta$ is the shear viscosity, and $P$ is pressure. This relation is identical to the result obtained using the Bhatnagar-Gross-Krook (BGK) approximation to the collision term, but other transport coefficients are sensitive to the exact collision integral.


title: Evaluating the Assessment of Software Fault-Freeness

abstract: We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.


title: Stochastic Perturbations of Periodic Orbits with Sliding

abstract: Vector fields that are discontinuous on codimension-one surfaces are known as Filippov systems and can have attracting periodic orbits involving segments that are contained on a discontinuity surface of the vector field. In this paper we consider the addition of small noise to a general Filippov system and study the resulting stochastic dynamics near such a periodic orbit. Since a straight-forward asymptotic expansion in terms of the noise amplitude is not possible due to the presence of discontinuity surfaces, in order to quantitatively determine the basic statistical properties of the dynamics, we treat different parts of the periodic orbit separately. Dynamics distant from discontinuity surfaces is analyzed by the use of a series expansion of the transitional probability density function. Stochastically perturbed sliding motion is analyzed through stochastic averaging methods. The influence of noise on points at which the periodic orbit escapes a discontinuity surface is determined by zooming into the transition point. We combine the results to quantitatively determine the effect of noise on the oscillation time for a three-dimensional canonical model of relay control. For some parameter values of this model, small noise induces a significantly large reduction in the average oscillation time. By interpreting our results geometrically, we are able to identify four features of the relay control system that contribute to this phenomenon.


title: An Approach to Maintaining Safety Case Evidence After A System Change

abstract: Developers of some safety critical systems construct a safety case. Developers changing a system during development or after release must analyse the change's impact on the safety case. Evidence might be invalidated by changes to the system design, operation, or environmental context. Assumptions valid in one context might be invalid elsewhere. The impact of change might not be obvious. This paper proposes a method to facilitate safety case maintenance by highlighting the impact of changes.


title: Pseudocalar meson and vector meson interactions and dynamically generated axial-vector mesons

abstract: The axial-vector mesons $a_1(1260)$, $b_1(1235)$, $f_1(1285)$, $h_1(1170)$, $h_1(1380)$, and $K_1(1270)$ are dynamically generated in the unitized chiral perturbation theory. Such a picture has been tested extensively in the past few years. In this work, we calculate the interaction kernel up to $\mathcal{O}(p^2)$ and study the impact on the dynamically generated axial-vector states. In anticipation of future lattice QCD simulations, we calculate the scattering lengths and the pole positions as functions of the pion mass, with the light-quark mass dependence of the kaon, the eta, and the vector mesons determined by the $n_f=2+1$ lattice QCD simulations of the PACS-CS Collaboration.


title: Topological phase transition in the quench dynamics of a one-dimensional Fermi gas

abstract: We study the quench dynamics of a one-dimensional ultracold Fermi gas in an optical lattice potential with synthetic spin-orbit coupling. At equilibrium, the ground state of the system can undergo a topological phase transition and become a topological superfluid with Majorana edge states. As the interaction is quenched near the topological phase boundary, we identify an interesting dynamical phase transition of the quenched state in the long-time limit, characterized by an abrupt change of the pairing gap at a critical quenched interaction strength. We further demonstrate the topological nature of this dynamical phase transition from edge-state analysis of the quenched states. Our findings provide interesting clues for the understanding of topological phase transitions in dynamical processes, and can be useful for the dynamical detection of Majorana edge states in corresponding systems.


title: Security Analysis of Cloud Computing

abstract: This paper produces a baseline security analysis of the Cloud Computing Operational Environment in terms of threats, vulnerabilities and impacts. An analysis is conducted and the top three threats are identified with recommendations for practitioners. The conclusion of the analysis is that the most serious threats are non-technical and can be solved via management processes rather than technical countermeasures


title: Precedence-constrained Scheduling of Malleable Jobs with Preemption

abstract: Scheduling jobs with precedence constraints on a set of identical machines to minimize the total processing time (makespan) is a fundamental problem in combinatorial optimization. In practical settings such as cloud computing, jobs are often malleable, i.e., can be processed on multiple machines simultaneously. The instantaneous processing rate of a job is a non-decreasing function of the number of machines assigned to it (we call it the processing function). Previous research has focused on practically relevant concave processing functions, which obey the law of diminishing utility and generalize the classical (non-malleable) problem. Our main result is a $(2+\epsilon)$-approximation algorithm for concave processing functions (for any $\epsilon > 0$), which is the best possible under complexity theoretic assumptions. The approximation ratio improves to $(1 + \epsilon)$ for the interesting and practically relevant special case of power functions, i.e., $p_j(z) = c_j \cdot z^{\gamma}$.


title: Weight enumerator of some irreducible cyclic codes

abstract: In this article, we show explicitly all possible weight enumerators for every irreducible cyclic code of length $n$ over a finite field $\mathbb F_q$, in the case which each prime divisor of $n$ is also a divisor of $q-1$.


title: SLOCC Invariants for Multipartite Mixed States

abstract: We construct a nontrivial set of invariants for any multipartite mixed states under the SLOCC symmetry. These invariants are given by hyperdeterminants and independent from basis change. In particular, a family of d^2 invariants for arbitrary d-dimensional even partite mixed states are explicitly given.


title: One-bit compressive sensing with norm estimation

abstract: Consider the recovery of an unknown signal ${x}$ from quantized linear measurements. In the one-bit compressive sensing setting, one typically assumes that ${x}$ is sparse, and that the measurements are of the form $\operatorname{sign}(\langle {a}_i, {x} \rangle) \in \{\pm1\}$. Since such measurements give no information on the norm of ${x}$, recovery methods from such measurements typically assume that $\| {x} \|_2=1$. We show that if one allows more generally for quantized affine measurements of the form $\operatorname{sign}(\langle {a}_i, {x} \rangle + b_i)$, and if the vectors ${a}_i$ are random, an appropriate choice of the affine shifts $b_i$ allows norm recovery to be easily incorporated into existing methods for one-bit compressive sensing. Additionally, we show that for arbitrary fixed ${x}$ in the annulus $r \leq \| {x} \|_2 \leq R$, one may estimate the norm $\| {x} \|_2$ up to additive error $\delta$ from $m \gtrsim R^4 r^{-2} \delta^{-2}$ such binary measurements through a single evaluation of the inverse Gaussian error function. Finally, all of our recovery guarantees can be made universal over sparse vectors, in the sense that with high probability, one set of measurements and thresholds can successfully estimate all sparse vectors ${x}$ within a Euclidean ball of known radius.


title: Approximate amenability of Segal algebras II

abstract: We prove that every proper Segal algebra of a SIN group is not approximately amenable.


title: Fletcher-Turek Model Averaged Profile Likelihood Confidence Intervals

abstract: We evaluate the model averaged profile likelihood confidence intervals proposed by Fletcher and Turek (2011) in a simple situation in which there are two linear regression models over which we average. We obtain exact expressions for the coverage and the scaled expected length of the intervals and use these to compute these quantities in particular situations. We show that the Fletcher-Turek confidence intervals can have coverage well below the nominal coverage and expected length greater than that of the standard confidence interval with coverage equal to the same minimum coverage. In these situations, the Fletcher-Turek confidence intervals are unfortunately not better than the standard confidence interval used after model selection but ignoring the model selection process.


title: Heat equation with a nonlinear boundary condition and uniformly local $L^r$ spaces

abstract: We establish the local existence and the uniqueness of solutions of the heat equation with a nonlinear boundary condition for the initial data in uniformly local $L^r$ spaces. Furthermore, we study the sharp lower estimates of the blow-up time of the solutions with the initial data $\lambda\psi$ as $\lambda\to 0$ or $\lambda\to\infty$ and the lower blow-up estimates of the solutions.


title: Causality in Databases: The Diagnosis and Repair Connections

abstract: In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and the third one is an established subject in knowledge representation. We show how to obtain database repairs from causes and the other way around. The vast body of research on database repairs can be applied to the newer problem of determining actual causes for query answers. By formulating a causality problem as a diagnosis problem, we manage to characterize causes in terms of a system's diagnoses.


title: Nature of Orbital and Spin Rashba Coupling in the Surface Bands of SrTiO3 and KTaO3

abstract: Tight-binding models for the recently observed surface electronic bands of SrTiO3 and KTaO3 are analyzed with a view to bringing out the relevance of momentum-space chiral angular momentum structures of both orbital and spin origins. Depending on the strength of electric field associated with inversion symmetry breaking at the surface, the orbital and the accompanying spin angular momentum structures reveal complex linear and cubic dependencies in the momentum k (linear and cubic Rashba effects, respectively) in a band-specific manner. Analytical expressions for the cubic orbital and spin Rashba effects are derived by way of unitary transformation technique we developed, and compared to numerical calculations. Due to the C4v symmetry of the perovskite structure the cubic Rashba effect appears as in-plane modulations.


title: Blue Emission in Proteins

abstract: Recent literatures reported blue-green emission from amyloid fibril as exclusive signature of fibril formation. This unusual visible luminescence is regularly used to monitor fibril growth. Blue-green emission has also been observed in crystalline protein and in solution. However, the origin of this emission is not known exactly. Our spectroscopic study of serum proteins reveals that the blue-green emission is a property of protein monomer. Evidences suggest that semiconductor-like band structure of proteins with the optical band-gap in the visible region is possibly the origin of this phenomenon. We show here that the band structure of proteins is primarily the result of electron delocalization through the peptide chain, rather than through the hydrogen bond network in secondary structure.


title: Extracting Parton Distribution Functions from Lattice QCD Calculations

abstract: Parton distribution functions (PDFs) are nonperturbative quantities describing the relation between a hadron and quarks and gluons within it. We propose to extract PDFs from QCD global analysis of "data" generated by lattice QCD calculations of good "lattice cross sections", which are basically single-hadron matrix elements that are lattice QCD calculable and perturbative QCD factorizable into the PDFs. To demonstrate the existence of good "lattice cross sections", we take quasi-quark distribution introduced by Ji [1] as a case study to show that it could be factorized into the PDFs to all orders in perturbation theory if it can be multiplicatively renormalized. We calculate the factorized coefficients at the next-to-leading order in $\alpha_s$.


title: Testing the $d^{*}_{x^{2}-y^{2}}$-wave pairing symmetry by quasiparticle interference in BiS$_{2}$-based superconductors

abstract: The quasiparticle interference (QPI) patterns in BiS$_{2}$-based superconductors are theoretically investigated by taking into account the spin-orbital coupling and assuming the recently proposed $d^{*}_{x^{2}-y^{2}}$-wave pairing symmetry. We found two distinct scattering wave vectors whose evolution can be explained based on the evolution of the constant-energy contours. The QPI spectra presented in this paper can thus be compared with future scanning tunneling microscopy experiments to test whether the pairing symmetry is $d^{*}_{x^{2}-y^{2}}$-wave in BiS$_{2}$-based superconductors.


title: Performance Estimates of the Pseudo-Random Method for Radar Detection

abstract: A performance of the pseudo-random method for the radar detection is analyzed. The radar sends a pseudo-random sequence of length $N$, and receives echo from $r$ targets. We assume the natural assumptions of uniformity on the channel and of the square root cancellation on the noise. Then for $r \leq N^{1-\delta}$, where $\delta > 0$, the following holds: (i) the probability of detection goes to one, and (ii) the expected number of false targets goes to zero, as $N$ goes to infinity.


title: Bandgap Controlling of the Oxygen-Vacancy-Induced Two-Dimensional Electron Gas in SrTiO3

abstract: We report very large bandgap enhancement in SrTiO3 (STO) films (fabricated by pulsed laser deposition below 800 {\deg}C), which can be up to 20% greater than the bulk value, depending on the deposition temperature. The origin is comprehensively investigated and finally attributed to Sr/Ti antisite point defects, supported by density functional theory calculations. More importantly, the bandgap enhancement can be utilized to tailor the electronic and magnetic phases of the two-dimensional electron gas (2DEG) in STO-based interface systems. For example, the oxygen-vacancy-induced 2DEG (2DEG-V) at the interface between amorphous LaAlO3 and STO films is more localized and the ferromagnetic order in the STO-film-based 2DEG-V can be clearly seen from low-temperature magnetotransport measurements. This opens an attractive path to tailor electronic, magnetic and optical properties of STO-based oxide interface systems under intensive focus in the oxide electronics community. Meanwhile, our study provides key insight into the origin of the fundamental issue that STO films are difficult to be doped into the fully metallic state by oxygen vacancies.


title: Effect of anisotropy in the $S=1$ underscreened Kondo lattice

abstract: We study the effect of crystal field anisotropy in the underscreened $S=1$ Kondo lattice model. Starting from the two orbital Anderson lattice model and including a local anisotropy term, we show, through Schrieffer-Wolff transformation, that local anisotropy is equivalent to an anisotropic Kondo interaction ($J_{\parallel} \neq{J_{\perp}}$). The competition and coexistence between ferromagnetism and Kondo effect in this effective model is studied within a generalized mean-field approximation. Several regimes are obtained, depending on the parameters, exhibiting or not coexistence of magnetic order and Kondo effect. Particularly, we show that a re-entrant Kondo phase at low temperature can be obtained. We are also able to describe phases where the Kondo temperature is smaller than the Curie temperature ($T_K<T_C$). We propose that some aspects of uranium and neptunium compounds that present coexistence of Kondo effect and ferromagnetism, can be understood within this model.


title: A global optimization paradigm based on change of measures

abstract: A global optimization framework, acronymed COMBEO (Change OfMeasure Based Evolutionary Optimization), is proposed. An important aspect in the development is a set of derivative-free additive directional terms obtainable through a change of measures en route to the imposition of any stipulated conditions aimed at driving the realized design variables (particles) to the global optimum. The generalized setting offered by the new approach also enables several basic ideas, used with other global search methods such as the particle swarm or the differential evolution, to be rationally incorporated in the proposed setup via a change of measures. The global search may be further aided by imparting to the directional update terms additional layers of random perturbations such as scrambling and selection. Depending on the precise choice of the optimality conditions and the extent of random perturbation, the search can be readily rendered either greedy or more exploratory. As numerically demonstrated, the new proposal appears to provide for a more rational, more accurate and faster alternative to most available evolutionary optimization schemes, prominent amongst which are the differential evolution and the particle swarm methods.


title: Detecting "protein words" through unsupervised word segmentation

abstract: Unsupervised word segmentation methods were applied to analyze the protein sequence. Protein sequences, such as 'MTMDKSELVQKA...', were used as input to these methods. Segmented 'protein word' sequences, such as 'MTM DKSE LVQKA', were then obtained. We compare the 'protein words' produced by unsupervised segmentation and the protein secondary structure segmentation. An interesting finding is that the unsupervised word segmentation is more efficient than secondary structure segmentation in expressing information. Our experiment also suggests there may be some 'protein ruins' in current noncoding regions.


title: The number of coefficients of automorphic $L$-functions for $GL_m$ of same signs

abstract: Let $\pi$ be an irreducible unitary cuspidal representation for $GL_m({\Bbb A}_{\Bbb Q})$, and let $L(s, \pi)$ be the automorphic $L$-function attached to $\pi$, which has a Dirichlet series expression in the half-plane $\mbox{Re} s>1$. When $\pi$ is self-contragredient, all the coefficients in the Dirichlet series expression are real. In this paper we give non-trivial lower bounds for the number of positive and negative coefficients, respectively.


title: Nucleon pole contribution in the $pp\to ppK^+K^-$ reaction below the $\phi$ meson threshold

abstract: Nucleon pole contribution in the $pp\to ppK^+K^-$ reaction below the threshold of the production of the $\phi$ meson is studied within the effective Lagrangian approach. It is assumed that the $K^- p$ final state originates from the decay of the hyperons $\Lambda(1115)$ and $\Lambda(1405)$. In addition to the $pp$ final state interaction (FSI) parametrized using the Jost function, we have also considered the $K^+K^-$ FSI with the techniques of the chiral unitary approach, where the scalar mesons $f_0(980)$ and $a_0(980)$ were dynamically generated. Hence, the contributions from scalar mesons $f_0(980)$ and $a_0(980)$ occur through the $K^+ K^-$ FSI. It is shown that the available experimental data are well reproduced, especially the total cross sections and the invariant mass distributions of $pp$ and $K^+K^-$. Furthermore, different forms of the couplings (pseudoscalar and pseudovector) for the $\pi NN$ interaction and different strengths for the proton-proton FSI are also investigated. It is found that the contributions from hyperon $\Lambda(1115)$ and $\Lambda(1405)$ are different between these two kinds of couplings. On the other hand, the effects of the proton-proton FSI can be adjusted by the cut off parameters used in the form factors.