title: On majorants of eigenvalues of Sturm-Liouville problems with potentials from balls of weighted spaces

abstract: It is constructively proved that for class $A_{r,\gamma}=\{q\in L_{1,loc}(0,1): q\leq 0, \int_0^1 rq^\gamma\,dx\leqslant 1\}$, where $r\in C[0,1]$ is uniformly positive weight and $\gamma>1$, there exists a unique potential $\hat q\in A_{r,\gamma}$ such that minimal eigenvalue $\lambda_0(\hat q)$ of boundary problem $$-y"+\hat qy=\lambda y, y(0)=y(1)=0 $$ is equal to $M_{r,\gamma}=\sup_{q\in A_{r,\gamma}}\lambda_0(q)$. For case $\gamma=1$ we obtain that there exists a unique potential $\hat q\in\Gamma_{r,\gamma}$ with analogous property. Here $\Gamma_{r,\gamma}$ is a closure of $A_{r,\gamma}$ in the space $W_{2,loc}^{-1}(0,1)$ of generalized functions.


title: Multidimensional epidemic thresholds in diffusion processes over interdependent networks

abstract: Several systems can be modeled as sets of interdependent networks where each network contains distinct nodes. Diffusion processes like the spreading of a disease or the propagation of information constitute fundamental phenomena occurring over such coupled networks. In this paper we propose a new concept of multidimensional epidemic threshold characterizing diffusion processes over interdependent networks, allowing different diffusion rates on the different networks and arbitrary degree distributions. We analytically derive and numerically illustrate the conditions for multilayer epidemics, i.e., the appearance of a giant connected component spanning all the networks. Furthermore, we study the evolution of infection density and diffusion dynamics with extensive simulation experiments on synthetic and real networks.


title: Solving the Shortest Vector Problem in $2^n$ Time via Discrete Gaussian Sampling

abstract: We give a randomized $2^{n+o(n)}$-time and space algorithm for solving the Shortest Vector Problem (SVP) on n-dimensional Euclidean lattices. This improves on the previous fastest algorithm: the deterministic $\widetilde{O}(4^n)$-time and $\widetilde{O}(2^n)$-space algorithm of Micciancio and Voulgaris (STOC 2010, SIAM J. Comp. 2013). In fact, we give a conceptually simple algorithm that solves the (in our opinion, even more interesting) problem of discrete Gaussian sampling (DGS). More specifically, we show how to sample $2^{n/2}$ vectors from the discrete Gaussian distribution at any parameter in $2^{n+o(n)}$ time and space. (Prior work only solved DGS for very large parameters.) Our SVP result then follows from a natural reduction from SVP to DGS. We also show that our DGS algorithm implies a $2^{n + o(n)}$-time algorithm that approximates the Closest Vector Problem to within a factor of $1.97$. In addition, we give a more refined algorithm for DGS above the so-called smoothing parameter of the lattice, which can generate $2^{n/2}$ discrete Gaussian samples in just $2^{n/2+o(n)}$ time and space. Among other things, this implies a $2^{n/2+o(n)}$-time and space algorithm for $1.93$-approximate decision SVP.


title: GCM simulations of Titan's middle and lower atmosphere and comparison to observations

abstract: Simulation results are presented from a new general circulation model (GCM) of Titan, the Titan Atmospheric Model (TAM), which couples the Flexible Modeling System (FMS) spectral dynamical core to a suite of external/sub-grid-scale physics. These include a new non-gray radiative transfer module that takes advantage of recent data from Cassini-Huygens, large-scale condensation and quasi-equilibrium moist convection schemes, a surface model with "bucket" hydrology, and boundary layer turbulent diffusion. The model produces a realistic temperature structure from the surface to the lower mesosphere, including a stratopause, as well as satisfactory superrotation. The latter is shown to depend on the dynamical core's ability to build up angular momentum from surface torques. Simulated latitudinal temperature contrasts are adequate, compared to observations, and polar temperature anomalies agree with observations. In the lower atmosphere, the insolation distribution is shown to strongly impact turbulent fluxes, and surface heating is maximum at mid-latitudes. Surface liquids are unstable at mid- and low-latitudes, and quickly migrate poleward. The simulated humidity profile and distribution of surface temperatures, compared to observations, corroborate the prevalence of dry conditions at low latitudes. Polar cloud activity is well represented, though the observed mid-latitude clouds remain somewhat puzzling, and some formation alternatives are suggested.


title: Splitting necklaces and measurable colorings of the real line

abstract: A (continuous) necklace is simply an interval of the real line colored measurably with some number of colors. A well-known application of the Borsuk-Ulam theorem asserts that every $k$-colored necklace can be fairly split by at most $k$ cuts (from the resulting pieces one can form two collections, each capturing the same measure of every color). Here we prove that for every $k\geq 1$ there is a measurable $(k+3)$-coloring of the real line such that no interval can be fairly split using at most $k$ cuts. In particular, there is a measurable $4$-coloring of the real line in which no two adjacent intervals have the same measure of every color. An analogous problem for the integers was posed by Erd\H{o}s in 1961 and solved in the affirmative in 1991 by Ker\"anen. Curiously, in the discrete case the desired coloring also uses four colors.


title: Simulations of Titan's paleoclimate

abstract: We investigate the effects of varying Saturn's orbit on the atmospheric circulation and surface methane distribution of Titan. Using a new general circulation model of Titan's atmosphere, we simulate its climate under four characteristic configurations of orbital parameters that correspond to snapshots over the past 42 kyr, capturing the amplitude range of long-period cyclic variations in eccentricity and longitude of perihelion. The model, which covers pressures from the surface to 0.5 mbar, reproduces the present-day temperature profile and tropospheric superrotation. In all four simulations, the atmosphere efficiently transports methane poleward, drying out the low- and mid-latitudes, indicating that these regions have been desert-like for at least tens of thousands of years. Though circulation patterns are not significantly different, the amount of surface methane that builds up over either pole strongly depends on the insolation distribution; in the present-day, methane builds up preferentially in the north, in agreement with observations, where summer is milder but longer. The same is true, to a lesser extent, for the configuration 14 kyr ago, while the south pole gains more methane in the case for 28 kyr ago, and the system is almost symmetric 42 kyr ago. This confirms the hypothesis that orbital forcing influences the distribution of surface liquids, and that the current observed asymmetry could have been partially or fully reversed in the past. The evolution of the orbital forcing implies that the surface reservoir is transported on timescales of $\sim$30 kyr, in which case the asymmetry reverses with a period of $\sim$125 kyr. Otherwise, the orbital forcing does not produce a net asymmetry over longer timescales, and is not a likely mechanism for generating the observed dichotomy.


title: Propositional Logics of Dependence

abstract: In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.


title: My Contact Homology Shopping List

abstract: We list the properties of contact homology, beyond purely formal, needed for the proofs of some of the recent applications of contact homology in dynamics to work. The list is put together for the AIM Transversality in Contact Homology Workshop.


title: Heterotic String Compactification and New Vector Bundles

abstract: We propose a construction of K\"ahler and non-K\"ahler Calabi-Yau manifolds by branched double covers of twistor spaces. In this construction we use the twistor spaces of four-manifolds with self-dual conformal structures, with the examples of connected sum of $n$ $\mathbb{P}^{2}$s. We also construct $K3$-fibered Calabi-Yau manifolds from the branched double covers of the blow-ups of the twistor spaces. These manifolds can be used in heterotic string compactifications to four dimensions. We also construct stable and polystable vector bundles. Some classes of these vector bundles can give rise to supersymmetric grand unified models with three generations of quarks and leptons in four dimensions.


title: Tableau Formulas for One-Row Macdonald Polynomials of Types $C_n$ and $D_n$

abstract: We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions of the deformed $\mathcal{W}$ algebra generators automatically give rise to the tableau formulas when we principally specialize the coordinate variables.


title: Coloring, sparseness, and girth

abstract: An $r$-augmented tree is a rooted tree plus $r$ edges added from each leaf to ancestors. For $d,g,r\in\mathbb{N}$, we construct a bipartite $r$-augmented complete $d$-ary tree having girth at least $g$. The height of such trees must grow extremely rapidly in terms of the girth. Using the resulting graphs, we construct sparse non-$k$-choosable bipartite graphs, showing that maximum average degree at most $2(k-1)$ is a sharp sufficient condition for $k$-choosability in bipartite graphs, even when requiring large girth. We also give a new simple construction of non-$k$-colorable graphs and hypergraphs with any girth $g$.


title: Minimizing the Latency of Quantum Circuits during Mapping to the Ion-Trap Circuit Fabric

abstract: Quantum computers are exponentially faster than their classical counterparts in terms of solving some specific, but important problems. The biggest challenge in realizing a quantum computing system is the environmental noise. One way to decrease the effect of noise (and hence, reduce the overhead of building fault tolerant quantum circuits) is to reduce the latency of the quantum circuit that runs on a quantum circuit. In this paper, a novel algorithm is presented for scheduling, placement, and routing of a quantum algorithm, which is to be realized on a target quantum circuit fabric technology. This algorithm, and the accompanying software tool, advances state-of-the-art in quantum CAD methodologies and methods while considering key characteristics and constraints of the ion-trap quantum circuit fabric. Experimental results show that the presented tool improves results of the previous tool by about 41%.


title: Squash: A Scalable Quantum Mapper Considering Ancilla Sharing

abstract: Quantum algorithms for solving problems of interesting size often result in circuits with a very large number of qubits and quantum gates. Fortunately, these algorithms also tend to contain a small number of repetitively-used quantum kernels. Identifying the quantum logic blocks that implement such quantum kernels is critical to the complexity management for realizing the corresponding quantum circuit. Moreover, quantum computation requires some type of quantum error correction coding to combat decoherence, which in turn results in a large number of ancilla qubits in the circuit. Sharing the ancilla qubits among quantum operations (even though this sharing can increase the overall circuit latency) is important in order to curb the resource demand of the quantum algorithm. This paper presents a multi-core reconfigurable quantum processor architecture, called Requp, which supports a layered approach to mapping a quantum algorithm and ancilla sharing. More precisely, a scalable quantum mapper, called Squash, is introduced, which divides a given quantum circuit into a number of quantum kernels- each kernel comprises k parts such that each part will run on exactly one of k available cores. Experimental results demonstrate that Squash can handle large-scale quantum algorithms while providing an effective mechanism for sharing ancilla qubits.


title: Dynamic Algorithms for Interval Scheduling on a Single Machine

abstract: We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time $O(\log n)$ for query operation and $O(d\log^2 n)$ for insertion and removal operations, where $n$ and $d$ are the maximal numbers of intervals and pairwise overlapping intervals respectively. We also show that for a monotonic set, that is when no interval properly contains another interval, the amortised complexity is $O(\log n)$ for both query and update operations. We compare the two algorithms for the monotonic interval sets using experiments.


title: Analysis and Computation of the Joint Queue Length Distribution in a FIFO Single-Server Queue with Multiple Batch Markovian Arrival Streams

abstract: This paper considers a work-conserving FIFO single-server queue with multiple batch Markovian arrival streams governed by a continuous-time finite-state Markov chain. A particular feature of this queue is that service time distributions of customers may be different for different arrival streams. After briefly discussing the actual waiting time distributions of customers from respective arrival streams, we derive a formula for the vector generating function of the time-average joint queue length distribution in terms of the virtual waiting time distribution. Further assuming the discrete phase-type batch size distributions, we develop a numerically feasible procedure to compute the joint queue length distribution. Some numerical examples are provided also.


title: Combining Conventional Cryptography with Information Theoretic Security

abstract: This paper highlights security issues that can arise when incorrect assumptions are made on the capabilities of an eavesdropper. In particular, we analyze a channel model based on a split Binary Symmetric Channel (BSC). Corresponding security parameters are chosen based on this channel model, and assumptions on the eavesdroppers capabilities. A gradual relaxation of the restrictions on the eavesdropper's capabilities will be made, and the resulting loss of security will be quantified. An alternative will then be presented that is based on stochastic encoding and creating artificially noisy channels through the usage of private keys. The artificial channel will be constructed through a deterministic process that will be computationally intractable to reverse.


title: Reformulations of the Yang-Mills theory toward quark confinement and mass gap

abstract: We propose the reformulations of the $SU(N)$ Yang-Mills theory toward quark confinement and mass gap. In fact, we have given a new framework for reformulating the $SU(N)$ Yang-Mills theory using new field variables. This includes the preceding works given by Cho, Faddeev and Niemi, as a special case called the maximal option in our reformulations. The advantage of our reformulations is that the original non-Abelian gauge field variables can be changed into the new field variables such that one of them called the restricted field gives the dominant contribution to quark confinement in the gauge-independent way. Our reformulations can be combined with the $SU(N)$ extension of the Diakonov-Petrov version of the non-Abelian Stokes theorem for the Wilson loop operator to give a gauge-invariant definition for the magnetic monopole in the $SU(N)$ Yang-Mills theory without the scalar field. In the so-called minimal option, especially, the restricted field is non-Abelian and involves the non-Abelian magnetic monopole with the stability group $U(N-1)$. This suggests the non-Abelian dual superconductivity picture for quark confinement. This should be compared with the maximal option: the restricted field is Abelian and involves only the Abelian magnetic monopoles with the stability group $U(1)^{N-1}$, just like the Abelian projection. We give some applications of this reformulation, e.g., the stability for the homogeneous chromomagnetic condensation of the Savvidy type, the large N treatment for deriving the dimensional transmutation and understanding the mass gap, and also the numerical simulations on a lattice which are given by Dr. Shibata in a subsequent talk.


title: Discriminating between two reformulations of SU(3) Yang-Mills theory on a lattice

abstract: In oder to investigate quark confinement, we give a new reformulation of the $SU(N)$ Yang-Mills theory on a lattice and present the results of the numerical simulations of the $SU(3)$ Yang-Mills theory on a lattice. The numerical simulations include the derivation of the linear potential for static interquark potential, i.e., non-vanishing string tension, in which the "Abelian" dominance and magnetic monopole dominance are established, confirmation of the dual Meissner effect by measuring the chromoelectric flux tube between quark-antiquark pair, the induced magnetic-monopole current, and the type of dual superconductivity, etc.


title: Construction of Vietnamese SentiWordNet by using Vietnamese Dictionary

abstract: SentiWordNet is an important lexical resource supporting sentiment analysis in opinion mining applications. In this paper, we propose a novel approach to construct a Vietnamese SentiWordNet (VSWN). SentiWordNet is typically generated from WordNet in which each synset has numerical scores to indicate its opinion polarities. Many previous studies obtained these scores by applying a machine learning method to WordNet. However, Vietnamese WordNet is not available unfortunately by the time of this paper. Therefore, we propose a method to construct VSWN from a Vietnamese dictionary, not from WordNet. We show the effectiveness of the proposed method by generating a VSWN with 39,561 synsets automatically. The method is experimentally tested with 266 synsets with aspect of positivity and negativity. It attains a competitive result compared with English SentiWordNet that is 0.066 and 0.052 differences for positivity and negativity sets respectively.


title: An eigenvalue problem for fully nonlinear elliptic equations with gradient constraints

abstract: We consider the problem of finding $\lambda\in \mathbb{R}$ and a function $u:\mathbb{R}^n\rightarrow\mathbb{R}$ that satisfy the PDE $$ \max\left\{\lambda + F(D^2u) -f(x),H(Du)\right\}=0, \quad x\in \mathbb{R}^n. $$ Here $F$ is elliptic, positively homogeneous and superadditive, $f$ is convex and superlinear, and $H$ is typically assumed to be convex. Examples of this type of PDE arise in the theory of singular ergodic control. We show that there is a unique $\lambda^*$ for which the above equation has a solution $u$ with appropriate growth as $|x|\rightarrow \infty$. Moreover, associated to $\lambda^*$ is a convex solution $u^*$ that has bounded second derivatives, provided $F$ is uniformly elliptic and $H$ is uniformly convex. It is unknown whether or not $u^*$ is unique up to an additive constant; however, we verify this is the case when $n=1$ or when $F, f,H$ are "rotational."


title: Equilibrium measures at temperature zero for H\'enon-like maps at the first bifurcation

abstract: We develop a thermodynamic formalism for a strongly dissipative H\'enon-like map at the first bifurcation parameter at which the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set. For any $t\in\mathbb R$ we prove the existence of an invariant Borel probability measure which minimizes the free energy associated with a non continuous geometric potential $-t\log J^u$, where $J^u$ denotes the Jacobian in the unstable direction. Under a mild condition, we show that any accumulation point of these measures as $t\to+\infty$ minimizes the unstable Lyapunov exponent. We also show that the equilibrium measures converge as $t\to-\infty$ to a Dirac measure which maximizes the unstable Lyapunov exponent.


title: An Effective Approach for Mobile ad hoc Network via I-Watchdog Protocol

abstract: Mobile ad hoc network (MANET) is now days become very famous due to their fixed infrastructure-less quality and dynamic nature. They contain a large number of nodes which are connected and communicated to each other in wireless nature. Mobile ad hoc network is a wireless technology that contains high mobility of nodes and does not depend on the background administrator for central authority, because they do not contain any infrastructure. Nodes of the MANET use radio wave for communication and having limited resources and limited computational power. The Topology of this network is changing very frequently because they are distributed in nature and self-configurable. Due to its wireless nature and lack of any central authority in the background, Mobile ad hoc networks are always vulnerable to some security issues and performance issues. The security imposes a huge impact on the performance of any network. Some of the security issues are black hole attack, flooding, wormhole attack etc. In this paper, we will discuss issues regarding low performance of Watchdog protocol used in the MANET and proposed an improved Watchdog mechanism, which is called by I-Watchdog protocol that overcomes the limitations of Watchdog protocol and gives high performance in terms of throughput, delay.


title: Deterministic and stochastic algorithms for resolving the flow fields in ducts and networks using energy minimization

abstract: Several deterministic and stochastic multi-variable global optimization algorithms (Conjugate Gradient, Nelder-Mead, Quasi-Newton, and Global) are investigated in conjunction with energy minimization principle to resolve the pressure and volumetric flow rate fields in single ducts and networks of interconnected ducts. The algorithms are tested with seven types of fluid: Newtonian, power law, Bingham, Herschel-Bulkley, Ellis, Ree-Eyring and Casson. The results obtained from all those algorithms for all these types of fluid agree very well with the analytically derived solutions as obtained from the traditional methods which are based on the conservation principles and fluid constitutive relations. The results confirm and generalize the findings of our previous investigations that the energy minimization principle is at the heart of the flow dynamics systems. The investigation also enriches the methods of Computational Fluid Dynamics for solving the flow fields in tubes and networks for various types of Newtonian and non-Newtonian fluids.


title: Introduction of DC line structures into a superconducting microwave 3D cavity

abstract: We report a technique that can noninvasively add multiple DC wires into a 3D superconducting microwave cavity for electronic devices that require DC electrical terminals. We studied the influence of our DC lines on the cavity performance systematically. We found that the quality factor of the cavity is reduced if any of the components of the electrical wires cross the cavity equipotential planes. Using this technique, we were able to incorporate a quantum dot (QD) device into a 3D cavity. We then controlled and measured the QD transport signal using the DC lines. We have also studied the heating effects of the QD by the microwave photons in the cavity.


title: Some results on contraction rates for Bayesian inverse problems

abstract: We prove a general lemma for deriving contraction rates for linear inverse problems with non parametric nonconjugate priors. We then apply it to get contraction rates for both mildly and severely ill posed linear inverse problems with Gaussian priors in non conjugate cases. In the severely illposed case, our rates match the minimax rates using scalable priors with scales which do not depend upon the smoothness of true solution. In the mildly illposed case, our rates match the minimax rates using scalable priors when the true solution is not too smooth. Further, using the lemma, we find contraction rates for inversion of a semilinear operator with Gaussian priors. We find the contraction rates for a compactly supported prior. We also discuss the minimax rates applicable to our examples when the Sobolev balls in which the true solution lies, are different from the usual Sobolev balls defined via the basis of forward operator.


title: Adaptive Market Efficiency of Agricultural Commodity Futures Contracts

abstract: In this paper we investigate the adaptive market efficiency of the agricultural commodity futures market, using a sample of eight futures contracts. Using a battery of nonlinear tests, we uncover the nonlinear serial dependence in the returns series. We run the Hinich portmanteau bicorrelation test to uncover the moments in which the nonlinear serial dependence, and therefore adaptive market efficiency, occurs for our sample.


title: Asymptotic stability of stochastic LTV systems with applications to distributed dynamic fusion

abstract: In this paper, we investigate asymptotic stability of linear time-varying systems with (sub-) stochastic system matrices. Motivated by distributed dynamic fusion over networks of mobile agents, we impose some mild regularity conditions on the elements of time-varying system matrices. We provide sufficient conditions under which the asymptotic stability of the LTV system can be guaranteed. By introducing the notion of slices, as non-overlapping partitions of the sequence of systems matrices, we obtain stability conditions in terms of the slice lengths and some network parameters. In addition, we apply the LTV stability results to the distributed leader-follower algorithm, and show the corresponding convergence and steady-state. An illustrative example is also included to validate the effectiveness of our approach.


title: Global uniqueness of small representations

abstract: We prove that automorphic representations whose local components are certain small representations have multiplicity one. The proof is based on the multiplicity-one theorem for certain functionals of small representations, also proved in this paper.


title: Ergodic decomposition of group actions on rooted trees

abstract: We prove a general result about the decomposition on ergodic components of group actions on boundaries of spherically homogeneous rooted trees. Namely, we identify the space of ergodic components with the boundary of the orbit tree associated with the action, and show that the canonical system of ergodic invariant probability measures coincides with the system of uniform measures on the boundaries of minimal invariant subtrees of the tree. A special attention is given to the case of groups generated by finite automata. Few examples, including the lamplighter group, Sushchansky group, and the, so called, Universal group are considered in order to demonstrate applications of the theorem.


title: Fermiology of 122 family of Fe-based superconductors: An ab initio study

abstract: Fermiology of various 122 systems are studied through first principles simulation. Electron doping causes expansion of electron and shrinkage of hole Fermi pockets. Isovalent Ru substitution (upto 35%) makes no visible modification in the electron and hole like FSs providing no clue regarding the nature of charge carrier doping. However, in case of 32% P doping there are considerable changes in the hole Fermi surfaces (FSs). From our calculations, it is very clear that two dimensionality of FSs may favour electron pair scattering between quasi-nested FSs which has important bearings in various orders (magnetic, orbital, superconducting) present in Fe-based superconductors.


title: A dynamical study of the chirally rotated Schr\"odinger functional in QCD

abstract: The chirally rotated Schr\"odinger functional for Wilson-fermions allows for finite-volume, mass-independent renormalization schemes compatible with automatic O($a$) improvement. So far, in QCD, the set-up has only been studied in the quenched approximation. Here we present first results for $N_{\rm f} = 2$ dynamical quark-flavours for several renormalization factors of quark-bilinears. We discuss how these renormalization factors can be easily obtained from simple ratios of two-point functions, and show how automatic O($a$) improvement is at work. As a by-product of this investigation the renormalization of the non-singlet axial current, $Z_A$, is determined very precisely.


title: Photospheric Flow Field Related to the Evolution of the Sun's Polar Magnetic Patches Observed by Hinode SOT

abstract: We investigated the role of photospheric plasma motions in the formation and evolution of polar magnetic patches using time-sequence observations with high spatial resolution. The observations were obtained with the spectropolarimeter on board the Hinode satellite. From the statistical analysis using 75 magnetic patches, we found that they are surrounded by strong converging, supergranulation associated flows during their apparent life time and that the converging flow around the patch boundary is better observed in the Doppler velocity profile in the deeper photosphere. Based on our analysis we suggest that the like-polarity magnetic fragments in the polar region are advected and clustered by photospheric converging flows thereby resulting in the formation of polar magnetic patches. Our observations show that, in addition to direct cancellation magnetic patches decay by fragmentation followed by unipolar disappearance or unipolar disappearance without fragmentation. It is possible that the magnetic patches of existing polarity fragment or diffuse away into smaller elements and eventually cancel out with opposite polarity fragments that reach the polar region around solar cycle maximum. This could be one of the possible mechanisms by which the existing polarity decay during the reversal of the polar magnetic field.


title: Potentially non-klt locus and its applications

abstract: We introduce the notion of potentially klt pairs for normal projective varieties with pseudoeffective anticanonical divisor. The potentially non-klt locus is a subset of $X$ which is birationally transformed precisely into the non-klt locus on a $-K_X$-minimal model of $X$. We prove basic properties of potentially non-klt locus in comparison with those of classical non-klt locus. As applications, we give a new characterization of varieties of Fano type, and we also improve results on the rational connectedness of uniruled varieties with pseudoeffective anticanonical divisor.


title: Primeness results for von Neumann algebras associated with surface braid groups

abstract: In this paper we introduce a new class of non-amenable groups denoted by ${\bf NC}_1 \cap {\bf Quot}(\mathcal C_{rss})$ which give rise to $\textit{prime}$ von Neumann algebras. This means that for every $\Gamma \in {\bf NC}_1 \cap {\bf Quot}(\mathcal C_{rss})$ its group von Neumann algebra $L(\Gamma)$ cannot be decomposed as a tensor product of diffuse von Neumann algebras. We show ${\bf NC}_1 \cap {\bf Quot}(\mathcal C_{rss})$ is fairly large as it contains many examples of groups intensively studied in various areas of mathematics, notably: all infinite central quotients of pure surface braid groups; all mapping class groups of (punctured) surfaces of genus $0,1,2$; most Torelli groups and Johnson kernels of (punctured) surfaces of genus $0,1,2$; and, all groups hyperbolic relative to finite families of residually finite, exact, infinite, proper subgroups.


title: Linking $U(2)\times U(2)$ to $O(4)$ model via decoupling

abstract: The nature of chiral phase transition of massless two flavor QCD depends on the fate of flavor singlet axial symmetry $U_A(1)$ at the critical temperature ($T_c$). Assuming that a finite $U_A(1)$ breaking remains at $T_c$, the corresponding three dimensional effective theory is composed of four massless and four massive scalar fields. We study the renormalization group flow of the effective theory in the $\epsilon$-expansion, using a mass dependent renormalization scheme, and determine the region of the attractive basin flowing into the $O(4)$ fixed point with a focus on its dependence on the size of the $U_A(1)$ breaking. The result is discussed from a perspective of the decoupling of massive fields. It is pointed out that, although the effective theory inside the attractive basin eventually reaches the $O(4)$ fixed point, the approaching rate, one of the universal exponents, is different from that of the standard $O(4)$ model. We present the reason for this peculiarity, and propose a novel possibility for chiral phase transition in two-flavor QCD.


title: Perfect linkage of Cohen--Macaulay modules over Cohen--Macaulay rings

abstract: In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal Cohen-Macaulay approximations and Yoshino-Isogawa linkage. We recover a theorem of Yoshino and Isogawa, and analyze the structure of double perfect linkage. Moreover, we establish a criterion for two Cohen-Macaulay modules of codimension one to be perfectly linked, and apply it to the classical linkage theory for ideals. We also construct various examples of linkage of modules and ideals.


title: An NBDMMM Algorithm Based Framework for Allocation of Resources in Cloud

abstract: Cloud computing is a technological advancement in the arena of computing and has taken the utility vision of computing a step further by providing computing resources such as network, storage, compute capacity and servers, as a service via an internet connection. These services are provided to the users in a pay per use manner subjected to the amount of usage of these resources by the cloud users. Since the usage of these resources is done in an elastic manner thus an on demand provisioning of these resources is the driving force behind the entire cloud computing infrastructure therefore the maintenance of these resources is a decisive task that must be taken into account. Eventually, infrastructure level performance monitoring and enhancement is also important. This paper proposes a framework for allocation of resources in a cloud based environment thereby leading to an infrastructure level enhancement of performance in a cloud environment. The framework is divided into four stages Stage 1: Cloud service provider monitors the infrastructure level pattern of usage of resources and behavior of the cloud users. Stage 2: Report the monitoring activities about the usage to cloud service providers. Stage 3: Apply proposed Network Bandwidth Dependent DMMM algorithm .Stage 4: Allocate resources or provide services to cloud users, thereby leading to infrastructure level performance enhancement and efficient management of resources. Analysis of resource usage pattern is considered as an important factor for proper allocation of resources by the service providers, in this paper Google cluster trace has been used for accessing the resource usage pattern in cloud. Experiments have been conducted on cloudsim simulation framework and the results reveal that NBDMMM algorithm improvises allocation of resources in a virtualized cloud.


title: A Decision Matrix and Monitoring based Framework for Infrastructure Performance Enhancement in A Cloud based Environment

abstract: Cloud environment is very different from traditional computing environment and therefore tracking the performance of cloud leverages additional requirements. The movement of data in cloud is very fast. Hence, it requires that resources and infrastructure available at disposal must be equally competent. Infrastructure level performance in cloud involves the performance of servers, network and storage which act as the heart and soul for driving the entire cloud business. Thus a constant improvement and enhancement of infrastructure level performance is an important task that needs to be taken into account. This paper proposes a framework for infrastructure performance enhancement in a cloud based environment. The framework is broadly divided into four steps: a) Infrastructure level monitoring of usage pattern and behaviour of the cloud end users, b) Reporting of the monitoring activities to the cloud service provider c) Cloud service provider assigns priority according to our decision matrix based max-min algorithm (DMMM) d) Providing services to cloud users leading to infrastructure performance enhancement. Our framework is based on decision matrix and monitoring in cloud using our proposed decision matrix based max-min algorithm, which draws its inspiration from the original min-min algorithm. This algorithm makes use of decision matrix to make decisions regarding distribution of resources among the cloud users.


title: Proton structure from hard p-p processes at high energies

abstract: Up to now, the existence of intrinsic (or valence-like) heavy quark components of the proton distribution function has not yet been confirmed or rejected. We show that this hypothesis can be verified at experiments on the inclusive production of the open strangeness (NA61) and at measurements of prompt photons or vector bosons accompanied by heavy flavour jets performed at LHC, CERN. Our theoretical study demonstrates that investigations of the intrinsic heavy quark contributions look very promising in hard processes like $pp\rightarrow K^\pm+X$ and $pp\rightarrow\gamma/Z/W +c(b)+X$. A possible observation of these components at the CBM, NICA experiments is discussed also.


title: Spatial Variation of the Correlated Color Temperature of Lightning Channel

abstract: In present work, we propose the analysis method of lightning based on the color analysis. We analyzed the digital still images in which the cloud-to-ground (CG) and intracloud (IC) lightning flashes are shown. Applying some digital image processing techniques, we extracted lightning channels. Then, the correlated color temperature (CCT) of the extracted lightning channels was obtained by mapping digital pixels of the extracted lightning channels to CIE 1931 xy-chromaticity diagram. Our results indicate that the CCT of lightning channels changes spatially. Furthermore, it suggests that the energy of lightning channels changes spatially.


title: Attacks exploiting deviation of mean photon number in quantum key distribution and coin tossing

abstract: The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communication protocols: the Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol without decoy states, Scarani-Acin-Ribordy-Gisin 2004 (SARG04) QKD protocol, and a coin-tossing protocol. For QKD, we model both a strong attack using technology possible in principle, and a realistic attack bounded by today's technology. To maintain the mean photon number in two-way systems, such as plug-and-play and relativistic quantum cryptography schemes, bright pulse energy incoming from the communication channel must be monitored. Implementation of a monitoring detector has largely been ignored so far, except for ID Quantique's commercial QKD system Clavis2. We scrutinize this implementation for security problems, and show that designing a hack-proof pulse-energy-measuring detector is far from trivial. Indeed the first implementation has three serious flaws confirmed experimentally, each of which may be exploited in a cleverly constructed Trojan-horse attack. We discuss requirements for a loophole-free implementation of the monitoring detector.


title: Intensity distribution of the parhelic circle and embedded parhelia at low solar elevations: theory and experiments

abstract: We describe the intensity distribution of the parhelic circle for plate-oriented hexagonal ice crystals at very low solar elevations using geometrical optics. An experimental as well as theoretical study of in-plane ray-paths provides details on the mechanism for several halos, including the parhelia, the $120^{\circ}$ parhelia, the blue spot and the Liljequist parhelia. Azimuthal coordinates for associated characteristic features in the intensity distribution are compared to data obtained using a rotating hexagonal glass prism.


title: Asymptotically Safe Dark Matter

abstract: We introduce a new paradigm for dark matter (DM) interactions in which the interaction strength is asymptotically safe. In models of this type, the coupling strength is small at low energies but increases at higher energies, and asymptotically approaches a finite constant value. The resulting phenomenology of this "asymptotically safe DM" is quite distinct. One interesting effect of this is to partially offset the low-energy constraints from direct detection experiments without affecting thermal freeze-out processes which occur at higher energies. High-energy collider and indirect annihilation searches are the primary ways to constrain or discover asymptotically safe dark matter.


title: K-invariants in the algebra U(g) $\otimes$ C(p) for the group SU(2,1)

abstract: Let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ be the Cartan decomposition of the complexified Lie algebra $\mathfrak{g}=\mathfrak{sl}(3,\mathbb{C})$ of the group $G=SU(2,1)$. Let $K=S(U(2) \times U(1))$; so $K$ is a maximal compact subgroup of $G$. Let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$, and let $C(\mathfrak{p})$ be the Clifford algebra with respect to the trace form $B(X,Y)=\text{tr}(XY)$ on $\mathfrak{p}$. We are going to prove that the algebra of K-invariants in $U(\mathfrak{g}) \otimes C(\mathfrak{p})$ is generated by five explicitly given elements. This is useful for studying algebraic Dirac induction for $(\mathfrak{g},K)$-modules. Along the way we will also recover the (well known) structure of the algebra $U(\mathfrak{g})^K$.


title: Prequantum Classical Statistical Field Theory: Simulation of Probabilities of Photon Detection with the Aid of Classical Brownian Motion

abstract: In this paper we present results of numerical simulation based on Prequantum Classical Statistical Field Theory (PCSFT), a model with hidden variables of the field-type reproducing probabilistic predictions of quantum mechanics (QM). PCSFT is combined with measurement theory based on detectors of the threshold type. The latter describes discrete events corresponding to the continuous fields model, PCSFT. Numerical modeling demonstrated that the classical Brownian motion (the Wiener process valued in complex Hilbert space) producing clicks when approaching the detection threshold gives probabilities of detection predcited by the formalism QM (as well as PCSFT). This numerical result is important, since the transition from PCSFT to the threshold detection has a complex mathematical structure (in the framework of classical random processes) and it was modeled only approximately. We also perform numerical simulation for the PCSFT-value of the coefficient of second order coherence. Our result matches well with the prediction of quantum theory. Thus, opposite to semiclassical theory, PCSFT cannot be rejected as a consequence of measurements of $g^{(2)}(0).$ Finally, we analyze the output of the recent experiment performed in NIST questioning the validity of some predictions of PCSFT.


title: Numerical simulations of thin accretion discs with PLUTO

abstract: Our goal is to perform global simulations of thin accretion discs around compact bodies like neutron stars with dipolar magnetic profile and black holes by exploiting the facilities provided by state-of-the-art grid-based, high resolution shock capturing (HRSC) and finite volume codes. We have used the Godunov-type code PLUTO to simulate a thin disc around a compact object prescribed with a pseudo-Newtonian potential in a purely hydrodynamical (HD) regime, with numerical viscosity as a first step towards achieving our goal as mentioned above.


title: Multiplet classification for SU(n,n)

abstract: In the present paper we review our project of systematic construction of invariant differential operators on the example of the non-compact algebras su(n,n) for n=2,3,4. We give explicitly the main multiplets of indecomposable elementary representations and some reduced multiplets. We give explicitly the minimal representations. Due to the recently established parabolic relations the multiplet classification results are valid also for the algebras sl(2n,R) and when n=2k for the algebras su*(4k) with suitably chosen maximal parabolic subalgebras.


title: Performance of the gas gain monitoring system of the CMS RPC muon detector

abstract: The RPC muon detector of the CMS experiment at the LHC (CERN, Geneva, Switzerland) is equipped with a Gas Gain Monitoring (GGM) system. A report on the stability of the system during the 2011-2012 data taking run is given, as well as the observation of an effect which suggests a novel method for the monitoring of gas mixture composition.


title: Derived categories of toric varieties III

abstract: We prove derived McKay correspondence in special cases and the decomposition of toric K-equivalence into flops.


title: Physical Measures for Infinitely Renormalizable Lorenz Maps

abstract: A physical measure on the attractor of a system describes the statistical behavior of typical orbits. An example occurs in unimodal dynamics. Namely, all infinitely renormalizable unimodal maps have a physical measure. For Lorenz dynamics, even in the simple case of infinitely renormalizable systems, the existence of physical measures is more delicate. In this article we construct examples of infinitely renormalizable Lorenz maps which do not have a physical measure. A priori bounds on the geometry play a crucial role in (unimodal) dynamics. There are infinitely renormalizable Lorenz maps which do not have a priori bounds. This phenomenon is related to the position of the critical point of the consecutive renormalizations. The crucial technical ingredient used to obtain these examples without a physical measure, is the control of the position of these critical points.


title: Group Algebra and Coding Theory

abstract: Group algebras have been used in the context of Coding Theory since the beginning of the latter, but not in its full power. The work of Ferraz and Polcino Milies entitled Idempotents in group algebras and minimal abelian codes (Finite Fields and their Applications, 13, (2007) 382-393) gave origin to many thesis and papers linking these two subjects. In these works, the techniques of group algebras are mainly brought into play for the computing of the idempotents that generate the minimal codes and the minimum weight of such codes. In this paper I summarize the main results of the work done by doctorate students and research partners of Polcino Milies and Ferraz.


title: Silicon MOS Pixel Based on the Deep Trapping Gate Principle: Design and Material Science Challenges

abstract: The deep trapping gate pixel device was described recently as an alternative to CMOS 3T pixel. The feasibilty of this device was studied with technological and transport simulations used in classical electron devices and process design. A buried gate containing localized deep level centers (Deep Trapping Gate or DTG) is the key for the operation of this field effect pixel detector. This can be made with deep levels or a quantum box. This buried gate can modulates the drain-source current, the same way the upper gate does. This principle was evaluated with realistic simulations physical parameters and this shows that the signal magnitude is sufficient for an energy deposition of a Minimum Ionizing Particle within a limited silicon thickness (a few microns). We will study here the potential techniques usable for the fabrication of the device with their drawbacks, advantages and limits. The first technique introduced is impurity implantation, followed by annealing. The problems related to the control of the defects in the DTG will be examined in the light of recent work on ion implantation. As an alternative recent work on quantum dots opens the possibility to the use Ge dots as a DTG. Ion implantation can again be used with some limitations. As an alternative to ion implantation an epitaxial DTG could be fabricated using standard techniques. The first conclusion of this study is that all the established techniques necessary for the development of the DTG pixel can reasonably be successful because the related bottlenecks may be overcome. The deep levels concentration in the DTG (above 10^18 cm-3) is higher than the concentration of radiation induced defects for integrated fluences lower than 1x10^16 cm-3.


title: Uniform Approach to Double Shuffle and Duality Relations of Various q-Analogs of Multiple Zeta Values via Rota-Baxter Algebras

abstract: The multiple zeta values (MZVs) have been studied extensively in recent years. Currently there exist a few different types of $q$-analogs of the MZVs ($q$-MZVs) defined and studied by mathematicians and physicists. In this paper, we give a uniform treatment of these $q$-MZVs by considering their double shuffle relations (DBSFs) and duality relations. The main idea is a modification and generalization of the one used by Castillo Medina et al. who have considered the DBSFs of a special type of $q$-MZVs. We generalize their method to a few other types of $q$-MZVs including the one defined by the author in 2003. With different approach, Takeyama has already studied this type by "regularization" and observed that there exist $\mathbb Q$-linear relations which are not consequences of the DBSFs. He also discovered a new family of relations which we call the duality relations in this paper. This deficiency of DBSFs occurs among other types, too, so we generalize the duality relations to all of these values and find that there are still some missing relations. This leads to the most general type of $q$-MZVs together with a new kind of relations called $\bf P$-$\bf Q$ relations which are used to lower the deficiencies further. As an application, we will confirm a conjecture of Okounkov on the dimensions of certain $q$-MZV spaces, either theoretically or numerically, for the weight up to 12. Some relevant numerical data are provided at the end.


title: Action constrained quasi-Newton methods

abstract: At the heart of Newton based optimization methods is a sequence of symmetric linear systems. Each consecutive system in this sequence is similar to the next, so solving them separately is a waste of computational effort. Here we describe automatic preconditioning techniques for iterative methods for solving such sequences of systems by maintaining an estimate of the inverse system matrix. We update the estimate of the inverse system matrix with quasi-Newton type formulas based on what we call an action constraint instead of the secant equation. We implement the estimated inverses as preconditioners in a Newton-CG method and prove quadratic termination. Our implementation is the first parallel quasi-Newton preconditioners, in full and limited memory variants. Tests on logistic Support Vector Machine problems reveal that our method is very efficient, converging in wall clock time before a Newton-CG method without preconditioning. Further tests on a set of classic test problems reveal that the method is robust. The action constraint makes these updates flexible enough to mesh with trust-region and active set methods, a flexibility that is not present in classic quasi-Newton methods.


title: Maximal Cohen-Macaulay approximations and Serre's condition

abstract: This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal Cohen--Macaulay module is a direct summand of a maximal Cohen--Macaulay approximation of a (Cohen--Macaulay) module of codimension $n+1$.


title: Prethick subcateogries of modules and characterizations of local rings

abstract: This paper studies characterizing local rings in terms of homological dimensions. The key tool is the notion of a prethick subcategory which we introduce in this paper. Our methods recover the theorems of Salarian, Sather-Wagstaff and Yassemi.


title: Sigma theory and twisted conjugacy-II: Houghton groups and pure symmetric automorphism groups

abstract: We say that $x,y\in \Gamma$ are in the same $\phi$-twisted conjugacy class and write $x\sim_\phi y$ if there exists an element $\gamma\in \Gamma$ such that $y=\gamma x\phi(\gamma^{-1})$. This is an equivalence relation on $\Gamma$ called the $\phi$-twisted conjugacy. Let $R(\phi)$ denote the number of $\phi$-twisted conjugacy classes in $\Gamma$. If $R(\phi)$ is infinite for all $\phi\in Aut(\Gamma)$, we say that $\Gamma$ has the $R_\infty$-property. The purpose of this note is to show that the symmetric group $S_\infty$, the Houghton groups and the pure symmetric automorphism groups have the $R_\infty$-property. We show, also, that the Richard Thompson group $T$ has the $R_\infty$-property. We obtain a general result establishing the $R_\infty$-property of finite direct product of finitely generated groups.


title: Raman spectroscopy at the edges of multilayer graphene

abstract: Edges naturally exist in a single-layer graphene sample. Similarly, individual graphene layers in a multilayer graphene sample contribute their own edges. We study the Raman spectrum at the edge of a graphene layer laid on n layer graphene (nLG). We found that the D band observed from the edge of the top graphene layer exhibits an identical line shape to that of disordered (n+1)LG induced by ion-implantation. Based on the spectral features of the D and 2D bands, we identified two types of alignment configurations at the edges of mechanically-exfoliated bilayer and trilayer graphenes, whose edges are well-aligned from their optical images.


title: Calculus for Fourier Integral Operators in generalized SG classes

abstract: We construct a calculus for generalized $\mathbf{SG}$ Fourier integral operators, extending known results to a broader class of symbols of $\mathbf{SG}$ type. In particular, we do not require that the phase functions are homogeneous. We also prove the $L^2(\mathbf{R}^{d})$-boundedness of the generalized $\mathbf{SG}$ Fourier integral operators having regular phase functions and amplitudes uniformly bounded on $\mathbf{R}^{2d}$.


title: A curious relationship between Potts glass models

abstract: A Potts glass model proposed by Nishimori and Stephen[H. Nishimori and M. J. Stephen, Phys. Rev. B 27, 5644 (1983)] is analyzed by means of the replica mean field theory. This model is a discrete model, has a gauge symmetry, and is called the Potts gauge glass model. By comparing the present results with the results of the conventional Potts glass model, we find the coincidences and differences between the models. We find a coincidence that the property for the Potts glass phase in this model is coincident with that in the conventional model at the mean field level. We find a difference that, unlike in the case of the conventional $p$-state Potts glass model, this system for large $p$ does not become ferromagnetic at low temperature under a concentration of ferromagnetic interaction. The present results support the act of numerically investigating the present model for study of the Potts glass phase in finite dimensions.


title: Observation of a crossover in kinetic aggregation of Palladium colloids

abstract: We use field emission scanning electron microscope (FE-SEM) to investigate the growth of palladium colloids over the surface of thin films of WO3/glass. The film is prepared by Pulsed Laser Deposition (PLD) at different temperatures. A PdCl2 (aq) droplet is injected on the surface and in the presence of steam hydrogen the droplet is dried through a reduction reaction process. Two distinct aggregation regimes of palladium colloids are observed over the substrates. We argue that the change in aggregation dynamics emerges when the measured water drop Contact Angel (CA) for the WO3/glass thin films passes a certain threshold value, namely CA = 46 degrees, where a crossover in kinetic aggregation of palladium colloids occurs. Our results suggest that the mass fractal dimension of palladium aggregates follows a power-law behavior. The fractal dimension (Df) in the fast aggregation regime, where the measured CA values vary from 27 up to 46 degrees, according to different substrate deposition temperatures, is Df = 1.75 (0.02). This value of Df is in excellent agreement with kinetic aggregation of other colloidal systems in fast aggregation regime. Whereas for the slow aggregation regime, with CA = 58 degrees, the fractal dimension changes abruptly to Df=1.92 (0.03). We have also used a modified Box-Counting method to calculate fractal dimension of gray-level images and observe that the crossover at around CA = 46 degrees remains unchanged.


title: Search for the dark photon in $\pi^0$ decays by the NA48/2 experiment at CERN

abstract: A sample of $4.687\times 10^6$ fully reconstructed $K^\pm\to\pi^\pm\pi^0_D$, $\pi^0_D\to\gamma e^+e^-$ decay candidates in the kinematic range $m_{ee}>10~{\rm MeV}/c^2$ with a negligible background contamination collected by the NA48/2 experiment at CERN in 2003-04 is analysed to search for the dark photon ($A'$) via the decay chain $K^\pm\to\pi^\pm\pi^0$, $\pi^0\to\gamma A'$, $A'\to e^+e^-$. No signal is observed, and preliminary exclusion limits on space of dark photon mass $m_A'$ and mixing parameter $\varepsilon^2$ are reported.


title: Power Flow as an Algebraic System

abstract: Steady states of alternating-current (AC) circuits have been studied in considerable detail. In 1982, Baillieul and Byrnes derived an upper bound on the number of steady states in a loss-less AC circuit [IEEE TCAS, 29(11): 724--737] and conjectured that this bound holds for AC circuits in general. We prove this is indeed the case, among other results, by studying a certain multi-homogeneous structure in an algebraisation.


title: Rota-Baxter type operators, rewriting systems and Gr\"obner-Shirshov bases

abstract: In this paper we apply the methods of rewriting systems and Gr\"obner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gr\"obner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.


title: Constrained Optimization for Liquid Crystal Equilibria: Extended Results

abstract: This paper investigates energy-minimization finite-element approaches for the computation of nematic liquid crystal equilibrium configurations. We compare the performance of these methods when the necessary unit-length constraint is enforced by either continuous Lagrange multipliers or a penalty functional. Building on previous work in [1,2], the penalty method is derived and the linearizations within the nonlinear iteration are shown to be well-posed under certain assumptions. In addition, the paper discusses the effects of tailored trust-region methods and nested iteration for both formulations. Such methods are aimed at increasing the efficiency and robustness of each algorithms' nonlinear iterations. Three representative, free-elastic, equilibrium problems are considered to examine each method's performance. The first two configurations have analytical solutions and, therefore, convergence to the true solution is considered. The third problem considers more complicated boundary conditions, relevant in ongoing research, simulating surface nano-patterning. A multigrid approach is introduced and tested for a flexoelectrically coupled model to establish scalability for highly complicated applications. The Lagrange multiplier method is found to outperform the penalty method in a number of measures, trust regions are shown to improve robustness, and nested iteration proves highly effective at reducing computational costs.


title: Finding almost squares VI

abstract: In this paper, we continue the study of almost squares and extend the result of the author's fourth paper of the series to almost squares with closer factors.


title: Monads and distributive laws for Rota-Baxter and differential algebras

abstract: In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through the First Fundamental Theorem of Calculus. In this paper we study this relationship from a categorical point of view in the context of distributive laws which can be tracked back to the distributive law of multiplication over addition. The monad giving Rota-Baxter algebras and the comonad giving differential algebras are constructed. Then a mixed distributive law of the monad over the comonad is established. As a consequence, we obtain monads and comonads giving the composite structures of differential and Rota-Baxter algebras.


title: Unlikely intersections and multiple roots of sparse polynomials

abstract: We present a structure theorem for the multiple non-cyclotomic irreducible factors appearing in the family of all univariate polynomials with a given set of coefficients and varying exponents. Roughly speaking, this result shows that the multiple non-cyclotomic irreducible factors of a sparse polynomial, are also sparse. To prove this, we give a variant of a theorem of Bombieri and Zannier on the intersection of a fixed subvariety of codimension 2 of the multiplicative group with all the torsion curves, with bounds having an explicit dependence on the height of the subvariety. We also use this latter result to give some evidence on a conjecture of Bolognesi and Pirola.


title: Coordinate Descent with Arbitrary Sampling I: Algorithms and Complexity

abstract: We study the problem of minimizing the sum of a smooth convex function and a convex block-separable regularizer and propose a new randomized coordinate descent method, which we call ALPHA. Our method at every iteration updates a random subset of coordinates, following an arbitrary distribution. No coordinate descent methods capable to handle an arbitrary sampling have been studied in the literature before for this problem. ALPHA is a remarkably flexible algorithm: in special cases, it reduces to deterministic and randomized methods such as gradient descent, coordinate descent, parallel coordinate descent and distributed coordinate descent -- both in nonaccelerated and accelerated variants. The variants with arbitrary (or importance) sampling are new. We provide a complexity analysis of ALPHA, from which we deduce as a direct corollary complexity bounds for its many variants, all matching or improving best known bounds.


title: Singularity categories and singular equivalences for resolving subcategories

abstract: Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as complete intersections over which the stable categories of resolving subcategories have trivial singularity categories. We also generalize several results of Yoshino on totally reflexive modules.


title: Spinodal nanodecomposition in magnetically doped semiconductors

abstract: This review presents the recent progress in computational materials design, experimental realization, and control methods of spinodal nanodecomposition under three- and two-dimensional crystal-growth conditions in spintronic materials, such as magnetically doped semiconductors. The computational description of nanodecomposition, performed by combining first-principles calculations with kinetic Monte Carlo simulations, is discussed together with extensive electron microscopy, synchrotron radiation, scanning probe, and ion beam methods that have been employed to visualize binodal and spinodal nanodecomposition (chemical phase separation) as well as nanoprecipitation (crystallographic phase separation) in a range of semiconductor compounds with a concentration of transition metal (TM) impurities beyond the solubility limit. The role of growth conditions, co-doping by shallow impurities, kinetic barriers, and surface reactions in controlling the aggregation of magnetic cations is highlighted. According to theoretical simulations and experimental results the TM-rich regions appear either in the form of nanodots (the {\em dairiseki} phase) or nanocolumns (the {\em konbu} phase) buried in the host semiconductor. Particular attention is paid to Mn-doped group III arsenides and antimonides, TM-doped group III nitrides, Mn- and Fe-doped Ge, and Cr-doped group II chalcogenides, in which ferromagnetic features persisting up to above room temperature correlate with the presence of nanodecomposition and account for the application-relevant magneto-optical and magnetotransport properties of these compounds. Finally, it is pointed out that spinodal nanodecomposition can be viewed as a new class of bottom-up approach to nanofabrication.


title: Coordinate Descent with Arbitrary Sampling II: Expected Separable Overapproximation

abstract: The design and complexity analysis of randomized coordinate descent methods, and in particular of variants which update a random subset (sampling) of coordinates in each iteration, depends on the notion of expected separable overapproximation (ESO). This refers to an inequality involving the objective function and the sampling, capturing in a compact way certain smoothness properties of the function in a random subspace spanned by the sampled coordinates. ESO inequalities were previously established for special classes of samplings only, almost invariably for uniform samplings. In this paper we develop a systematic technique for deriving these inequalities for a large class of functions and for arbitrary samplings. We demonstrate that one can recover existing ESO results using our general approach, which is based on the study of eigenvalues associated with samplings and the data describing the function.


title: Lower bound on the electroweak wall velocity from hydrodynamic instability

abstract: The subsonic expansion of bubbles in a strongly first-order electroweak phase transition is a convenient scenario for electroweak baryogenesis. For most extensions of the Standard Model, stationary subsonic solutions (i.e., deflagrations) exist for the propagation of phase transition fronts. However, deflagrations are known to be hydrodynamically unstable for wall velocities below a certain critical value. We calculate this critical velocity for several extensions of the Standard Model and compare with an estimation of the wall velocity. In general, we find a region in parameter space which gives stable deflagrations as well as favorable conditions for electroweak baryogenesis.


title: Remarks on the energy costs of insulators in enzymatic cascades

abstract: The connection between optimal biological function and energy use, measured for example by the rate of metabolite consumption, is a current topic of interest in the systems biology literature which has been explored in several different contexts. In [J. P. Barton and E. D. Sontag, Biophys. J. 104, 6 (2013)], we related the metabolic cost of enzymatic futile cycles with their capacity to act as insulators which facilitate modular interconnections in biochemical networks. There we analyzed a simple model system in which a signal molecule regulates the transcription of one or more target proteins by interacting with their promoters. In this note, we consider the case of a protein with an active and an inactive form, and whose activation is controlled by the signal molecule. As in the original case, higher rates of energy consumption are required for better insulator performance.


title: Direct twisted Galois stratification

abstract: The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.


title: Hercules X-1 - another 'first': long-term decay of the cyclotron line energy

abstract: Her~X-1 is one of the most remarkable members of the class of binary X-ray pulsars. It does not only show a large number of observable features, but has repeatedly been the first object for which fundamental discoveries were made: it was the first to show a super-orbital modulation, the first to reveal a cyclotron line in its spectrum and the first in which systematic variations of the cyclotron line energy were detected, namely variations with pulse phase (by $\sim$ 25\%) and a positive correlation with X-ray luminosity ($\sim$ 5\% increase for a factor of two increase in luminosity). Now we have found another 'first': a long-term decrease of the pulse phase averaged cyclotron line energy E$_{\rm cyc}$ by $\sim$ 5\,keV in 20 years. At the time of the discovery of the cyclotron line in 1976, its energy was $\sim$ 35\,keV, remeasured around a similar energy by various instruments until 1990. Between 1990 and 1994 a jump upwards beyond 41\,keV occurred, we are now back at $\sim$ 37\,keV With respect to the physical cause of the discovered effect, we suggest it to be connected to a geometric displacement of the cyclotron resonant scattering region in the polar magnetic field or due to to a true physical change in the field configuration at the accretion mound or column by the continued accretion. The variation with time might be due to a non-perfect equilibrium between the rate at which material is accreted and the rate at which material is lost at the base of the accretion mound, allowing for a variation of the configuration of the accretion mound (height, total mass, field distribution). We do believe that we see the signature of a local change in the field configuration, rather than a decay of the global magnetic field, since the observed timescale of a few decades is very short.


title: Wavefronts and Light Cones for Kerr Spacetimes

abstract: We investigate the light propagation by means of simulations of wavefronts and light cones for Kerr spacetimes. Simulations of this kind give us a new insight to better understand the light propagation in presence of massive rotating black holes. A relevant result is that wavefronts are back scattered with winding around the black hole. To generate these visualizations, an interactive computer program with a graphical user interface, called JWFront, was written in Java.


title: Size of product of a number and its multiplicative inverse, Moments of L-functions and Exponential Sums

abstract: In this paper, we study the average size of the product of a number and its multiplicative inverse modulo a prime p. This turns out to be related to moments of L-functions and leads to a curious asymptotic formula for a certain triple exponential sum.


title: Functional correspondence by matrix completion

abstract: In this paper, we consider the problem of finding dense intrinsic correspondence between manifolds using the recently introduced functional framework. We pose the functional correspondence problem as matrix completion with manifold geometric structure and inducing functional localization with the $L_1$ norm. We discuss efficient numerical procedures for the solution of our problem. Our method compares favorably to the accuracy of state-of-the-art correspondence algorithms on non-rigid shape matching benchmarks, and is especially advantageous in settings when only scarce data is available.


title: Quantization and injective submodules of differential operator modules

abstract: The Lie algebra of vector fields on $R^m$ acts naturally on the spaces of differential operators between tensor field modules. Its projective subalgebra is isomorphic to $sl_{m+1}$, and its affine subalgebra is a maximal parabolic subalgebra of the projective subalgebra with Levi factor $gl_m$. We prove two results. First, we realize all injective objects of the parabolic category O$^{gl_m}(sl_{m+1})$ of $gl_m$-finite $sl_{m+1}$-modules as submodules of differential operator modules. Second, we study projective quantizations of differential operator modules, i.e., $sl_{m+1}$-invariant splittings of their order filtrations. In the case of modules of differential operators from a tensor density module to an arbitrary tensor field module, we determine when there exists a unique projective quantization, when there exists no projective quantization, and when there exist multiple projective quantizations.


title: Kekule' textures, pseudo-spin one Dirac cones and quadratic band crossings in a graphene-hexagonal indium chalcogenide bilayer

abstract: Using density-functional theory, we calculate the electronic bandstructure of single-layer graphene on top of hexagonal In_2Te_2 monolayers. The geometric configuration with In and Te atoms at centers of carbon hexagons leads to a Kekule' texture with an ensuing bandgap of 20 meV. The alternative structure, nearly degenerate in energy, with the In and Te atoms on top of carbon sites is characterized instead by gapless spectrum with the original Dirac cones of graphene reshaped, depending on the graphene-indium chalcogenide distance, either in the form of an undoubled pseudo-spin one Dirac cone or in a quadratic band crossing point at the Fermi level. These electronic phases harbor charge fractionalization and topological Mott insulating states of matter.


title: Steklov eigenvalues and quasiconformal maps of simply connected planar domains

abstract: We investigate isoperimetric upper bounds for sums of consecutive Steklov eigenvalues of planar domains. The normalization involves the perimeter and scale-invariant geometric factors which measure deviation of the domain from roundness. We prove sharp upper bounds for both starlike and simply connected domains, for a large collection of spectral functionals including partial sums of the zeta function and heat trace. The proofs rely on a special class of quasiconformal mappings.


title: Detectability of bigravity with graviton oscillations using gravitational wave observations

abstract: The gravitational waveforms in the ghost-free bigravity theory exhibit deviations from those in general relativity. The main difference is caused by graviton oscillations in the bigravity theory. We investigate the prospects for the detection of the corrections to gravitational waveforms from coalescing compact binaries due to graviton oscillations and for constraining bigravity parameters with the gravitational wave observations. We consider the bigravity model discussed by the De Felice-Nakamura-Tanaka subset of the bigravity model, and the phenomenological model in which the bigravity parameters are treated as independent variables. In both models, the bigravity waveform shows strong amplitude modulation, and there can be a characteristic frequency of the largest peak of the amplitude, which depends on the bigravity parameters. We show that there is a detectable region of the bigravity parameters for the advanced ground-based laser interferometers, such as Advanced LIGO, Advanced Virgo, and KAGRA. This region corresponds to the effective graviton mass of $\mu \geq 10^{-17}~{\rm cm}^{-1}$ for $\tilde{c}-1 \geq 10^{-19}$ in the phenomenological model, while $\mu \geq 10^{-16.5}~{\rm cm}^{-1}$ for $\kappa\xi_c^2 \geq 10^{0.5}$ in the De Felice-Nakamura-Tanaka subset of the bigravity model, respectively, where $\tilde{c}$ is the propagation speed of the massive graviton and $\kappa\xi_c^2$ corresponds to the corrections to the gravitational constant in general relativity. These regions are not excluded by existing solar system tests. We also show that, in the case of $1.4-1.4M_{\rm sun}$ binaries at the distance of $200~{\rm Mpc}$, $\log\mu^2$ is determined with an accuracy of ${\cal O}$(0.1)\% at the 1$\sigma$ level for a fiducial model with $\mu^2=10^{-33}~{\rm cm}^{-2}$ in the case of the phenomenological model.


title: Inflation and dark energy from the Brans-Dicke theory

abstract: We consider the Brans-Dicke theory motivated by the $f(R) = R + \alpha R^n - \beta R^{2-n}$ model to obtain a stable minimum of the Einstein frame scalar potential of the Brans-Dicke field. As a result we have obtained an inflationary scalar potential with non-zero value of residual vacuum energy, which may be a source of Dark Energy. In addition we discuss the probability of quantum tunnelling from the minimum of the potential. Our results can be easily consistent with PLANCK or BICEP2 data for appropriate choices of the value of $n$ and $\omega$.


title: The same key to different doors - temperature puzzles

abstract: The notion of temperature in many body elementary particle processes is in a common use for decades. Thermal models have become simple and universal effective tools to describe particle production -- not only in high energy heavy ion collisions but also in high energy elementary particle collisions. We perform a critical analysis of the temperature concepts in such processes. Although the temperature concept is a very useful tool, nevertheless it should be used with the care, taking into account that usually it is just model dependent fitted parameter.


title: Quantum Exclusion of Positive Cosmological Constant?

abstract: We show that a positive cosmological constant is incompatible with the quantum-corpuscular resolution of de Sitter metric in form of a coherent state. The reason is very general and is due to the quantum self-destruction of the coherent state because of the scattering of constituent graviton quanta. This process creates an irreversible quantum clock, which precludes eternal de Sitter. It also eliminates the possibility of Boltzmann brains and Poincare recurrences. This effect is expected to be part of any microscopic theory that takes into account the quantum corpuscular structure of the cosmological background. This observation puts the cosmological constant problem in a very different light, promoting it, from a naturalness problem, into a question of quantum consistency. We are learning that quantum gravity cannot tolerate exceedingly-classical sources.


title: Decomposition of number arrangements in the cube

abstract: A subset $M \subset \textbf{R}^3$ is called a \emph{basic subset}, if for any funciton $f \colon M \to \textbf{R}$ there exist such functions $f_1; f_2; f_3 \colon \textbf{R} \to \textbf{R}$ that $f(x_1, x_2, x_3) = f_1(x_1) + f_2(x_2) + f_3(x_3)$ for each point $(x_1, x_2, x_3)\in M$. In this article we prove a criterion for a basic subset for some specific subsets in terms of some graph properties. We also introduce several constructions for mimimal non-basic subsets. The article is written in Russian.


title: Persian Sentiment Analyzer: A Framework based on a Novel Feature Selection Method

abstract: In the recent decade, with the enormous growth of digital content in internet and databases, sentiment analysis has received more and more attention between information retrieval and natural language processing researchers. Sentiment analysis aims to use automated tools to detect subjective information from reviews. One of the main challenges in sentiment analysis is feature selection. Feature selection is widely used as the first stage of analysis and classification tasks to reduce the dimension of problem, and improve speed by the elimination of irrelevant and redundant features. Up to now as there are few researches conducted on feature selection in sentiment analysis, there are very rare works for Persian sentiment analysis. This paper considers the problem of sentiment classification using different feature selection methods for online customer reviews in Persian language. Three of the challenges of Persian text are using of a wide variety of declensional suffixes, different word spacing and many informal or colloquial words. In this paper we study these challenges by proposing a model for sentiment classification of Persian review documents. The proposed model is based on lemmatization and feature selection and is employed Naive Bayes algorithm for classification. We evaluate the performance of the model on a manually gathered collection of cellphone reviews, where the results show the effectiveness of the proposed approaches.


title: Accretion of the Moon from non-canonical disks

abstract: Impacts that leave the Earth-Moon system with a large excess in angular momentum have recently been advocated as a means of generating a protolunar disc with a composition that is nearly identical to that of the Earth's mantle. We here investigate the accretion of the Moon from discs generated by such "non-canonical" impacts, which are typically more compact than discs produced by canonical impacts and have a higher fraction of their mass initially located inside the Roche limit. Our model predicts a similar overall accretional history for both canonical and non-canonical discs, with the Moon forming in three consecutive steps over hundreds of years. However, we find that, to yield a lunar-mass Moon, the more compact non-canonical discs must initially be more massive than implied by prior estimates, and only a few of the discs produced by impact simulations to date appear to meet this condition. Non-canonical impacts require that capture of the Moon into the evection resonance with the Sun reduced the Earth-Moon angular momentum by a factor of 2 or more. We find that the Moon's semimajor axis at the end of its accretion is approximately $7R_\oplus$, which is comparable to the location of the evection resonance for a post-impact Earth with a 2.5 h rotation period in the absence of a disc. Thus, the dynamics of the Moon's assembly may directly affect its ability to be captured into the resonance.


title: Avoiding tipping points in fisheries management through Gaussian Process Dynamic Programming

abstract: Model uncertainty and limited data are fundamental challenges to robust management of human intervention in a natural system. These challenges are acutely highlighted by concerns that many ecological systems may contain tipping points, such as Allee population sizes. Before a collapse, we do not know where the tipping points lie, if they exist at all. Hence, we know neither a complete model of the system dynamics nor do we have access to data in some large region of state-space where such a tipping point might exist. We illustrate how a Bayesian Non-Parametric (BNP) approach using a Gaussian Process (GP) prior provides a flexible representation of this inherent uncertainty. We embed GPs in a Stochastic Dynamic Programming (SDP) framework in order to make robust management predictions with both model uncertainty and limited data. We use simulations to evaluate this approach as compared with the standard approach of using model selection to choose from a set of candidate models. We find that model selection erroneously favors models without tipping points -- leading to harvest policies that guarantee extinction. The GPDP performs nearly as well as the true model and significantly outperforms standard approaches. We illustrate this using examples of simulated single-species dynamics, where the standard model selection approach should be most effective, and find that it still fails to account for uncertainty appropriately and leads to population crashes, while management based on the GPDP does not, since it does not underestimate the uncertainty outside of the observed data.


title: A rationality result for the exterior and the symmetric square $L$-function

abstract: Let $G={\rm GL}_{2n}$ over a totally real number field $F$ and $n\geq 2$. Let $\Pi$ be a cuspidal automorphic representation of $G(\mathbb A)$, which is cohomological and a functorial lift from SO$(2n+1)$. The latter condition can be equivalently reformulated that the exterior square $L$-function of $\Pi$ has a pole at $s=1$. In this paper, we prove a rationality result for the residue of the exterior square $L$-function at $s=1$ and also for the holomorphic value of the symmetric square $L$-function at $s=1$ attached to $\Pi$. On the way, we also show a rationality result for the residue of the Rankin--Selberg $L$-function at $s=1$, which is very much in the spirit of our recent joint paper with Harris and Lapid, as well as of one of the main results in a recent article of Balasubramanyam--Raghuram.


title: On 3-uniform hypergraphs without a cycle of a given length

abstract: We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Gy\"ori and Lemons by a factor of $\Theta(k^2)$. Similar bounds are shown for linear hypergraphs.


title: Limits, Regularity and Removal for Finite Structures

abstract: Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.


title: Subgroups of $SF(\omega)$ and the relation of almost containedness

abstract: The relations of almost containedness and orthogonality in the lattice of groups of finitary permutations are studied in the paper. We define six cardinal numbers naturally corresponding to to these relations by the standard scheme of $P(\omega)$. We obtain some consistency results concerning these numbers and some versions of the Ramsey theorem.


title: Impact of Wavelength and Modulation Conversion on Transluscent Elastic Optical Networks Using MILP

abstract: Compared to legacy wavelength division multiplexing networks, elastic optical networks (EON) have added flexibility to network deployment and management. EONs can include previously available technology, such as signal regeneration and wavelength conversion, as well as new features such as finer-granularity spectrum assignment and modulation conversion. Yet each added feature adds to the cost of the network. In order to quantify the potential benefit of each technology, we present a link-based mixed-integer linear programming (MILP) formulation to solve the optimal resource allocation problem. We then propose a recursive model in order to either augment existing network deployments or speed up the resource allocation computation time for larger networks with higher traffic demand requirements than can be solved using an MILP. We show through simulation that systems equipped with signal regenerators or wavelength converters require a notably smaller total bandwidth, depending on the topology of the network. We also show that the suboptimal recursive solution speeds up the calculation and makes the running-time more predictable, compared to the optimal MILP.


title: Ion-specific colloidal aggregation: population balance equations and potential of mean force

abstract: Recently reported colloidal aggregation data obtained for different monovalent salts (NaCl, NaNO$_3$, and NaSCN) and at high electrolyte concentrations are matched with the stochastic solutions of the master equation to obtain bond average lifetimes and bond formation probabilities. This was done for a cationic and an anionic system of similar particle size and absolute charge. Following the series Cl$^-$, NO$_3^-$, SCN$^-$, the parameters obtained from the fitting procedure to the kinetic data suggest: i) The existence of a potential of mean force (PMF) barrier and an increasing trend for it for both latices. ii) An increasing trend for the PMF at contact, for the cationic system, and a practically constant value for the anionic system. iii) A decreasing trend for the depth of the secondary minimum. This complex behavior is in general supported by Monte Carlo simulations, which are implemented to obtain the PMF of a pair of colloidal particles immersed in the corresponding electrolyte solution. All these findings contrast the Derjaguin, Landau, Verwey, and Overbeek theory predictions.


title: Constant-force approach to discontinuous potentials

abstract: Aiming to approach the thermodynamical properties of hard-core systems by standard molecular dynamics simulation, we propose setting a repulsive constant-force for overlapping particles. That is, the discontinuity of the pair potential is replaced by a linear function with a large negative slope. Hence, the core-core repulsion, usually modeled with a power function of distance, yields a large force as soon as the cores slightly overlap. This leads to a quasi-hardcore behavior. The idea is tested for a triangle potential of short range. The results obtained by replica exchange molecular dynamics for several repulsive forces are contrasted with the ones obtained for the discontinuous potential and by means of replica exchange Monte Carlo. We found remarkable agreements for the vapor-liquid coexistence densities as well as for the surface tension.


title: Idempotent pairs and PRINC domains

abstract: A pair of elements $a,b$ in an integral domain $R$ is an idempotent pair if either $a(1-a) \in bR$, or $b(1-b) \in aR$. $R$ is said to be a PRINC domain if all the ideals generated by an idempotent pair are principal. We show that in an order $R$ of a Dedekind domain every regular prime ideal can be generated by an idempotent pair; moreover, if $R$ is PRINC, then its integral closure, which is a Dedekind domain, is PRINC, too. Hence, a Dedekind domain is PRINC if and only if it is a PID. Furthermore, we show that the only imaginary quadratic orders $\mathbb Z[\sqrt{-d}]$, $d > 0$ square-free, that are PRINC and not integrally closed, are for $d=3,7$.


title: Analysis of Saturated Belief Propagation Decoding of Low-Density Parity-Check Codes

abstract: We consider the effect of log-likelihood ratio saturation on belief propagation decoder low-density parity-check codes. Saturation is commonly done in practice and is known to have a significant effect on error floor performance. Our focus is on threshold analysis and stability of density evolution. We analyze the decoder for standard low-density parity-check code ensembles and show that belief propagation decoding generally degrades gracefully with saturation. Stability of density evolution is, on the other hand, rather strongly effected by saturation and the asymptotic qualitative effect of saturation is similar to reduction by one of variable node degree. We also show under what conditions the block threshold for the saturated belief propagation corresponds with the bit threshold.


title: Conversion of HOL Light proofs into Metamath

abstract: We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of the HOL family of proof languages (HOL4, HOL Light, ProofPower, and Isabelle), into the ZFC-based Metamath language. This task is divided into two steps: the translation of an OpenTheory proof into a Metamath HOL formalization, $\mathtt{\text{hol.mm}}$, followed by the embedding of the HOL formalization into the main ZFC foundations of the main Metamath library, $\mathtt{\text{set.mm}}$. This process provides a means to link the simplicity of the Metamath foundations to the intense automation efforts which have borne fruit in HOL Light, allowing the production of complete Metamath proofs of theorems in HOL Light, while also proving that HOL Light is consistent, relative to Metamath's ZFC axiomatization.


title: Halting Migration: Numerical Calculations of Corotation Torques in the Weakly Nonlinear Regime

abstract: Planets in their formative years can migrate due to the influence of gravitational torques in the protoplanetary disk they inhabit. For low-mass planets in an isothermal disk, it is known that there is a strong negative torque on the planet due to its linear perturbation to the disk, causing fast inward migration. The current investigation demonstrates that in these same isothermal disks, for intermediate-mass planets, there is a strong positive nonlinear corotation torque due to the effects of gas being pulled through a gap on horseshoe orbits. For intermediate-mass planets, this positive torque can partially or completely cancel the linear (Type I) torque, leading to slower or outward migration, even in an isothermal disk. The effect is most significant for Super-Earth and Sub-Jovian planets, during the transition from a low-mass linear perturber to a non-linear gap-opening planet, when the planet has opened a so-called 'partial gap'. In this study, numerical calculations of planet-disk interactions calculate these torques explicitly, and scalings are empirically constructed for migration rates in this weakly nonlinear regime. These results find outward migration is possible for planets with masses in the 20 - 100 Earth Mass range.


title: Multiple alignment of structures using center of proteins

abstract: In this paper we report on an algorithm for aligning multiple protein structures. The algorithm has been tested on a variety of inputs and it performs well in comparison to well-known algorithms for this problem.


title: Few-body physics of ultracold atoms and molecules with long-range interactions

abstract: The quantum mechanical few-body problem at ultracold energies poses severe challenges to theoretical techniques, particularly when long-range interactions are present that decay only as a power-law potential. In this paper we review the techniques and progress in studies of universal few-body physics for ultracold atoms, particularly those related to long-range interactions.


title: A key to the projective model of homogeneous metric spaces

abstract: A metric introduced on a projective space yields a homogeneous metric space known as a Cayley-Klein geometry. This construction is applicable not only to Euclidean and non-Euclidean spaces but also to kinematic spaces (space-times). A convenient algebraic framework for Cayley-Klein geometries called the projective model is developed in [1, 2]. It is based on Grassmann and Clifford algebras and provides a set of algebraic tools for modeling points, lines, planes and their geometric transformations such as projections and isometries. Isometry groups and their Lie algebras find a natural and intuitive expression in the projective model. The aim of this paper is to translate the foundational concepts of the projective model from the language of projective geometry to a more familiar language of vector algebra and thereby facilitate its spread and adoption among physicists and applied mathematicians. I apply the projective model to Minkowski, de-Sitter, and anti-de-Sitter space-times in two dimensions. In particular, I show how the action of the Poincare group can be captured by the Clifford algebra in a uniform fashion with respect to rotations (boosts) and translations.


title: Symmetry and Dirac points in graphene spectrum

abstract: Existence and stability of Dirac points in the dispersion relation of operators periodic with respect to the hexagonal lattice is investigated for different sets of additional symmetries. The following symmetries are considered: rotation by $2\pi/3$ and inversion, rotation by $2\pi/3$ and horizontal reflection, inversion or reflection with weakly broken rotation symmetry, and the case where no Dirac points arise: rotation by $2\pi/3$ and vertical reflection. All proofs are based on symmetry considerations. In particular, existence of degeneracies in the spectrum is deduced from the (co)representation of the relevant symmetry group. The conical shape of the dispersion relation is obtained from its invariance under rotation by $2\pi/3$. Persistence of conical points when the rotation symmetry is weakly broken is proved using a geometric phase in one case and parity of the eigenfunctions in the other.