Publications with Fulltext
Permanent URI for this collectionhttps://hdl.handle.net/20.500.14288/6
Browse
Publication Open Access 2D hybrid meshes for direct simulation Monte Carlo solvers(Institute of Physics (IOP) Publishing, 2013) Şengil, Nevsan; Department of Mathematics; Şengil, Uluç; Master Student; Department of Mathematics; College of SciencesThe efficiency of the direct simulation Monte Carlo (DSMC) method decreases considerably if gas is not rarefied. In order to extend the application range of the DSMC method towards non-rarefied gas regimes, the computational efficiency of the DSMC method should be increased further. One of the most time consuming parts of the DSMC method is to determine which DSMC molecules are in close proximity. If this information is calculated quickly, the efficiency of the DSMC method will be increased. Although some meshless methods are proposed, mostly structured or non-structured meshes are used to obtain this information. The simplest DSMC solvers are limited with the structured meshes. In these types of solvers, molecule indexing according to the positions can be handled very fast using simple arithmetic operations. But structured meshes are geometry dependent. Complicated geometries require the use of unstructured meshes. In this case, DSMC molecules are traced cell-by-cell. Different cell-by-cell tracing techniques exist. But, these techniques require complicated trigonometric operations or search algorithms. Both techniques are computationally expensive. In this study, a hybrid mesh structure is proposed. Hybrid meshes are both less dependent on the geometry like unstructured meshes and computationally efficient like structured meshes.Publication Open Access A class of Banach algebras whose duals have the Schur property(TÜBİTAK, 1999) Mustafayev, H.; Department of Mathematics; Ülger, Ali; Faculty Member; Department of Mathematics; College of SciencesCall a commutative Banach algebra A a γ-algebra if it contains a bounded group Λ such that aco(Λ) contains a multiple of the unit ball of A. In this paper, first by exhibiting several concrete examples, we show that the class of γ-algebras is quite rich. Then, for a γ-algebra A, we prove that A* has the Schur property iff the Gelfand spectrum Σ of A is scattered iff A* = ap(A) iff A* = Span(Σ).Publication Open Access A generalization of the Hardy-Littlewood conjecture(Colgate University, 2022) Department of Mathematics; Alkan, Emre; Faculty Member; Department of Mathematics; College of Sciences; 32803A famous conjecture of Hardy and Littlewood claims the subadditivity of the prime counting function, namely that ?(x+y) ? ?(x)+?(y) holds for all integers x, y ? 2, where ?(x) is the number of primes not exceeding x. It is widely believed nowadays that this conjecture is not true since Hensley and Richards stunningly discovered an incompatibility with the prime k-tuples conjecture. Despite this drawback, here we generalize the subadditivity conjecture to subsets of prime numbers possessing a rich collection of preassigned structures. We show that subadditivity holds in this extended manner over certain ranges of the parameters which are wide enough to imply that it holds in an almost all sense. Under the prime k-tuples conjecture, very large values of convex combinations of the prime counting function are obtained infinitely often, thereby indicating a strong deviation of ?(x) from being convex, even in a localized form. Finally, a Tauberian type condition is given for subsets of prime numbers which in turn implies an extension of a classical phenomenon, originally suggested by Legendre, about the asymptotically best fit functions to ?(x) of the shape x/(log x ? A).Publication Open Access A note on a strongly damped wave equation with fast growing nonlinearities(American Institute of Physics (AIP) Publishing, 2015) Zelik, Sergey; Department of Mathematics; Kalantarov, Varga; Faculty Member; Department of Mathematics; College of Sciences; 117655A strongly damped wave equation including the displacement depending nonlinear damping term and nonlinear interaction function is considered. The main aim of the note is to show that under the standard dissipativity restrictions on the nonlinearities involved, the initial boundary value problem for the considered equation is globally well-posed in the class of sufficiently regular solutions and the semigroup generated by the problem possesses a global attractor in the corresponding phase space. These results are obtained for the nonlinearities of an arbitrary polynomial growth and without the assumption that the considered problem has a global Lyapunov function. (C) 2015 AIP Publishing LLCPublication Open Access A note on weakly compact homomorphisms between uniform algebras(Polish Academy of Sciences, 1997) Department of Mathematics; Ülger, Ali; Faculty Member; Department of Mathematics; College of SciencesPublication Open Access A polynomial embedding of pair of partial orthogonal latin squares(Elsevier, 2014) Donovan, Diane M.; Department of Mathematics; Yazıcı, Emine Şule; Faculty Member; Department of Mathematics; College of Sciences; 27432We show that a pair of orthogonal partial Latin squares of order n can be embedded in a pair of orthogonal Latin squares of order at most 16n(4) and all orders greater than or equal to 48n(4). This paper provides the first direct polynomial order embedding construction for pairs of orthogonal partial Latin squares.Publication Open Access A statistical subgrid scale model for large eddy simulations(American Institute of Physics (AIP) Publishing, 2013) Kara, Rukiye; Department of Mathematics; Çağlar, Mine; Faculty Member; Department of Mathematics; College of Sciences; 105131Çinlar velocity is a promising subgrid velocity model for large eddy simulation. The energy spectrum plays a central role for modeling the subgrid stress term in filtered Navier-Stokes equations. Considering a truncated Gamma distribution for radius of eddies, the subgrid scale energy spectrum has been computed analytically. In this study, we develop a new subgrid stress model for representing the small scale effects in LES by defining the parameters of the energy spectrum.Publication Open Access A stochastic representation for mean curvature type geometric flows(Institute of Mathematical Statistics (IMS), 2003) Touzi, N.; Department of Mathematics; Soner, Halil Mete; Faculty Member; Department of Mathematics; College of Administrative Sciences and EconomicsA smooth solution {Gamma(t)}(tis an element of[0,T]) subset of R-d of a parabolic geometric flow is characterized as the reachability set of a stochastic target problem. In this control problem the controller tries to steer the state process into a given deterministic set T with probability one. The reachability set, V(t), for the target problem is the set of all initial data x from which the state process X-X(v)(t) is an element of T for some control process v. This representation is proved by studying the squared distance function to Gamma(t). For the codimension k mean curvature flow, the state process is dX(t) = root2P dW(t), where W(t) is a d-dimensional Brownian motion, and the control P is any projection matrix onto a (d - k)-dimensional plane. Smooth solutions of the inverse mean curvature flow and a discussion of non smooth solutions are also given.Publication Open Access A subspace framework for H-infinity-norm minimization(Society for Industrial and Applied Mathematics (SIAM), 2020) Aliyev, Nicat; Benner, Peter; Voigt, Matthias; Department of Mathematics; Mengi, Emre; Faculty Member; Department of Mathematics; College of Sciences; 113760We deal with the minimization of the H-infinity-norm of the transfer function of a parameter-dependent descriptor system over the set of admissible parameter values. Subspace frameworks are proposed for such minimization problems where the involved systems are of large order. The proposed algorithms are greedy interpolatary approaches inspired by our recent work [Aliyev et al., SIAM J. Matrix Anal. Appl., 38 (2017), pp. 1496-1516] for the computation of the H-infinity-norm. In this work, we minimize the H-infinity-norm of a reduced-order parameter-dependent system obtained by two-sided restrictions onto certain subspaces. Then we expand the subspaces so that Hermite interpolation properties hold between the full and reduced-order system at the optimal parameter value for the reduced-order system. We formally establish the superlinear convergence of the subspace frameworks under some smoothness and nondegeneracy assumptions. The fast convergence of the proposed frameworks in practice is illustrated by several large-scale systems.Publication Open Access A subspace method for large-scale eigenvalue optimization(Society for Industrial and Applied Mathematics (SIAM), 2018) Meerbergen, Karl; Michiels, Wim; Department of Mathematics; Kangal, Fatih; Mengi, Emre; Faculty Member; Department of Mathematics; College of Sciences; Graduate School of Sciences and Engineering; N/A; 113760We consider the minimization or maximization of the Jth largest eigenvalue of an analytic and Hermitian matrix-valued function, and build on Mengi, Yildirim, and Kilic [SIAM T. Matrix Anal. Appl., 35, pp. 699-724, 2014]. This work addresses the setting when the matrix-valued function involved is very large. We describe subspace procedures that convert the original problem into a small-scale one by means of orthogonal projections and restrictions to certain subspaces, and that gradually expand these subspaces based on the optimal solutions of small-scale problems. Global convergence and superlinear rate-of-convergence results with respect to the dimensions of the subspaces are presented in the infinite dimensional setting, where the matrix-valued function is replaced by a compact operator depending on parameters. In practice, it suffices to solve eigenvalue optimization problems involving matrices with sizes on the scale of tens, instead of the original problem involving matrices with sizes on the scale of thousands.Publication Open Access Active invisibility cloaks in one dimension(American Physical Society (APS), 2015) Department of Mathematics; Department of Physics; Mostafazadeh, Ali; Faculty Member; Department of Mathematics; Department of Physics; College of Sciences; 4231We outline a general method of constructing finite-range cloaking potentials which render a given finite-range real or complex potential, v(x), unidirectionally reflectionless or invisible at a wave number, k(0), of our choice. We give explicit analytic expressions for three classes of cloaking potentials which achieve this goal while preserving some or all of the other scattering properties of v(x). The cloaking potentials we construct are the sum of up to three constituent unidirectionally invisible potentials. We discuss their utility in making v(x) bidirectionally invisible at k(0) and demonstrate the application of our method to obtain antireflection and invisibility cloaks for a Bragg reflector.Publication Open Access Addendum to 'Unidirectionally invisible potentials as local building blocks of all scattering potentials'(American Physical Society (APS), 2014) Department of Mathematics; Department of Physics; Mostafazadeh, Ali; Faculty Member; Department of Mathematics; Department of Physics; College of Sciences; 4231In [Phys. Rev. A 90, 023833 (2014)], we offer a solution to the problem of constructing a scattering potential v(x) which possesses scattering properties of one's choice at an arbitrarily prescribed wave number. This solution involves expressing v(x) as the sum of n <= 6 finite-range unidirectionally invisible potentials. We improve this result by reducing the upper bound on n from 6 to 4. In particular, we show that we can construct v(x) as the sum of up to n = 3 finite-range unidirectionally invisible potentials, unless if it is required to be bidirectionally reflectionless.Publication Open Access Adiabatic approximation, semiclassical scattering, and unidirectional invisibility(Institute of Physics (IOP) Publishing, 2014) Department of Mathematics; Mostafazadeh, Ali; Faculty Member; Department of Mathematics; College of Sciences; 4231The transfer matrix of a possibly complex and energy-dependent scattering potential can be identified with the S-matrix of a two-level time-dependent non-Hermitian Hamiltonian H(tau). We show that the application of the adiabatic approximation to H(tau) corresponds to the semiclassical description of the original scattering problem. In particular, the geometric part of the phase of the evolving eigenvectors of H(tau) gives the pre-exponential factor of the WKB wave functions. We use these observations to give an explicit semiclassical expression for the transfer matrix. This allows for a detailed study of the semiclassical unidirectional reflectionlessness and invisibility. We examine concrete realizations of the latter in the realm of optics.Publication Open Access Adiabatic series expansion and higher-order semiclassical approximations in scattering theory(Institute of Physics (IOP) Publishing, 2014) Department of Mathematics; Mostafazadeh, Ali; Faculty Member; Department of Mathematics; College of Sciences; 4231The scattering properties of any complex scattering potential, nu: R -> C, can be obtained from the dynamics of a particular non-unitary two-level quantum system. S-nu. The application of the adiabatic approximation to S-nu yields a semiclassical treatment of the scattering problem. We examine the adiabatic series expansion for the evolution operator of S-v and use it to obtain corrections of arbitrary order to the semiclassical formula for the transfer matrix of S-nu. This results in a high-energy approximation scheme that unlike the semiclassical approximation can be applied for potentials with large derivatives.Publication Open Access An optimal stopping problem for spectrally negative Markov additive processes(Elsevier, 2021) Kyprianou, A.; Vardar Acar, C.; Department of Mathematics; Çağlar, Mine; Faculty Member; Department of Mathematics; College of Sciences; 105131Previous authors have considered optimal stopping problems driven by the running maximum of a spectrally negative Lévy process as well as of a one-dimensional diffusion; see e.g. Kyprianou and Ott (2014); Ott (2014); Ott (2013); Alvarez and Matomäki (2014); Guo and Shepp (2001); Pedersen (2000); Gapeev (2007). Many of the aforementioned results are either implicitly or explicitly dependent on Peskir's maximality principle, cf. (Peskir, 1998). In this article, we are interested in understanding how some of the main ideas from these previous works can be brought into the setting of problems driven by the maximum of a class of Markov additive processes (more precisely Markov modulated Lévy processes). Similarly to Ott (2013); Kyprianou and Ott (2014); Ott (2014), the optimal stopping boundary is characterised by a system of ordinary first-order differential equations, one for each state of the modulating component of the Markov additive process. Moreover, whereas scale functions played an important role in the previously mentioned work, we work instead with scale matrices for Markov additive processes here; as introduced by Kyprianou and Palmowski (2008); Ivanovs and Palmowski (2012). We exemplify our calculations in the setting of the Shepp–Shiryaev optimal stopping problem (Shepp and Shiryaev, 1993; Shepp and Shiryaev, 1995), as well as a family of capped maximum optimal stopping problems.Publication Open Access An uncountable ergodic Roth theorem and applications(American Institute of Mathematical Sciences, 2022) Schmid, Polona durcik; Greenfeld, Rachel; Iseli, Annina; Jamneshan; Madrid, Jose; Department of Mathematics; Jamneshan, Asgar; Faculty Member; Department of Mathematics; College of Sciences; 332404We establish an uncountable amenable ergodic Roth theorem, in which the acting group is not assumed to be countable and the space need not be separable. This generalizes a previous result of Bergelson, McCutcheon and Zhang, and complements a result of Zorin-Kranich. We establish the following two additional results: First, a combinatorial application about triangular patterns in certain subsets of the Cartesian square of arbitrary amenable groups, extending a result of Bergelson, McCutcheon and Zhang for countable amenable groups. Second, a new uniformity aspect in the double recurrence theorem for Gamma-systems for uniformly amenable groups Gamma. As a special case, we obtain this uniformity over all Z-systems, and our result seems to be novel already in this case. Our uncountable Roth theorem is crucial in the proof of both of these results.Publication Open Access An uncountable Furstenberg-Zimmer structure theory(Cambridge University Press (CUP), 2022) Department of Mathematics; Jamneshan, Asgar; Faculty Member; Department of Mathematics; College of Sciences; 332404Furstenberg-Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure-preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogs of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg-Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi.Publication Open Access An uncountable Mackey-Zimmer theorem(Institute of Mathematics of the Polish Academy of Sciences, 2022) Tao, Terence; Department of Mathematics; Jamneshan, Asgar; Faculty Member; Department of Mathematics; College of Sciences; 332404The Mackey–Zimmer theorem classifies ergodic group extensions X of a measure-preserving system Y by a compact group K, by showing that such extensions are isomorphic to a group skew-product X?Y??H for some closed subgroup H of K. An analogous theorem is also available for ergodic homogeneous extensions X of Y, namely that they are isomorphic to a homogeneous skew-product Y??H/M. These theorems have many uses in ergodic theory, for instance playing a key role in the Host–Kra structural theory of characteristic factors of measure-preserving systems.The existing proofs of the Mackey–Zimmer theorem require various “countability”, “separability”, or “metrizability” hypotheses on the group ? that acts on the system, the base space Y, and the group K used to perform the extension. In this paper we generalize the Mackey–Zimmer theorem to “uncountable” settings in which these hypotheses are omitted, at the cost of making the notion of a measure-preserving system and a group extension more abstract. However, this abstraction is partially counteracted by the use of a “canonical model” for abstract measure-preserving systems developed in a companion paper. In subsequent work we will apply this theorem to also obtain uncountable versions of the Host–Kra structural theory.Publication Open Access An uncountable Moore-Schmidt theorem(Cambridge University Press (CUP), 2022) Tao, Terence; Department of Mathematics; Jamneshan, Asgar; Faculty Member; Department of Mathematics; College of Sciences; 332404We prove an extension of the Moore-Schmidt theorem on the triviality of the first cohomology class of cocycles for the action of an arbitrary discrete group on an arbitrary measure space and for cocycles with values in an arbitrary compact Hausdorff abelian group. The proof relies on a 'conditional' Pontryagin duality for spaces of abstract measurable maps.Publication Open Access Analysis of push-type epidemic data dissemination in fully connected networks(Elsevier, 2014) Sezer, Ali Devin; Department of Mathematics; Çağlar, Mine; Faculty Member; Department of Mathematics; College of Sciences; 105131Consider a fully connected network of nodes, some of which have a piece of data to be disseminated to the whole network. We analyze the following push-type epidemic algorithm: in each push round, every node that has the data, i.e., every infected node, randomly chooses c E Z. other nodes in the network and transmits, i.e., pushes, the data to them. We write this round as a random walk whose each step corresponds to a random selection of one of the infected nodes; this gives recursive formulas for the distribution and the moments of the number of newly infected nodes in a push round. We use the formula for the distribution to compute the expected number of rounds so that a given percentage of the network is infected and continue a numerical comparison of the push algorithm and the pull algorithm (where the susceptible nodes randomly choose peers) initiated in an earlier work. We then derive the fluid and diffusion limits of the random walk as the network size goes to infinity and deduce a number of properties of the push algorithm: (1) the number of newly infected nodes in a push round, and the number of random selections needed so that a given percent of the network is infected, are both asymptotically normal, (2) for large networks, starting with a nonzero proportion of infected nodes, a pull round infects slightly more nodes on average, (3) the number of rounds until a given proportion lambda of the network is infected converges to a constant for almost all lambda is an element of (0, 1). Numerical examples for theoretical results are provided.